Formal and Empirical Records

Formal impossibility results establishing non-derivable authority.

📦 FR — DOWNLOAD ALL RECORDS (.ZIP)

Foundation

📄 FR 1 — Three Primitives — Canonical Logic Sequence [v2.2]

📄 FR 2 — AI Cannot Govern AI: A Formal Proof of Structural Openness in Intelligent Systems [v2.3]

📄 FR 3 — ADCI Closure Theorem (Value Layer): Agency, Dignity, Continuity, Interpretive Authority [v2.2]

Structural Lemmas

📄 FR 4 — The Adjacency Lemma: The Interface–Authority Boundary [v2.3]

📄 FR 5 — Lemma C — Ghost Authority Lemma [v2.3]

Closure Results

📄 FR 6 — The Law of Declared Authority: Necessary Closure for Legitimacy in Decision-Permitting Systems [v2.3]

📄 FR 7 — Bell Non-Closure and the Law of Declared Authority: A Structural Correspondence [v2.2]

📄 FR 8 — Twisted Pair Legitimacy Theorem (Dual-Legitimacy Architecture) [v2.2]

Convergence

📄 FR 9 — AGI as a Decision-Complete System: A Mathematical Definition [v2.2]

📄 FR 10 — Primitive Stability Theorem: On the Conditions Under Which a Primitive Claim Is Valid [v2.0]

📄 FR 11 — The GBSH Correspondence [v2.0]

📄 FR 12 — The Forced Bijection [v1.4]

📄 FR 13 — ILMM Coupling Theorem [v2.0]

Empirical

📄 ER 1 — Spontaneous Legibility Assumption [v1.6↑] [NEW]

📄 ER 2 — Structural Floor Hypothesis [v1.3] [NEW]

📄 ER 3 — The Floor Is Learned [v1.1] [NEW]

📄 ER 4 — Cross Architecture Scaling [v1.1] [NEW]

Infrastructure

📄 ILMM [v3.0]