Skip to content
#

safety-protocols

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Python 3 TeX 1

Kalera77 / cognitive-shadow-theorem

Star 0

Formal proof (Coq, TLA⁺) that any digital model of a conscious agent leaves an ineliminable residue—the cognitive shadow. Includes dynamic interface theorems, safety protocols, a clinical protocol for locked‑in syndrome (FORCED_REPORT), and an empirical roadmap.

coq agi neuroscience artificial-intelligence proof-assistant cognitive-science bci formal-verification brain-computer-interface tla metacognition consciousness medical-ai safety-protocols locked-in-syndrome disorders-of-consciousness
  • Updated May 5, 2026
  • TeX

Improve this page

Add a description, image, and links to the safety-protocols topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the safety-protocols topic, visit your repo's landing page and select "manage topics."

Learn more