Formal Records

Formal impossibility results establishing non-derivable authority.

Foundational Records

📄 Three Primitives — Canonical Logic Sequence

📄 ADCI Closure Theorem (Value Layer): Agency, Dignity, Continuity, Interpretive Authority [NEW]

📄 AI Cannot Govern AI: A Formal Proof of Structural Openness in Intelligent Systems

Coupling Theorem

📄 Twisted Pair Legitimacy Theorem (Dual-Legitimacy Architecture) [NEW]

The Law

📄 The Law of Declared Authority: Necessary Closure for Legitimacy in Decision-Permitting Systems

Structural Correspondence

📄 Bell Non-Closure and the Law of Declared Authority: A Structural Correspondence [NEW]

Lemmas

📄 The Adjacency Lemma: The Interface–Authority Boundary

📄 Lemma C — Ghost Authority Lemma

Derived Definition

📄 AGI as a Decision-Complete System: A Mathematical Definition