Formal Records

Formal impossibility results establishing non-derivable authority.

📦 FR — DOWNLOAD ALL RECORDS (.ZIP)

Foundation

📄 FR 1 — Three Primitives — Canonical Logic Sequence

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

📄 FR 3 — ADCI Closure Theorem (Value Layer): Agency, Dignity, Continuity, Interpretive Authority

Structural Lemmas

📄 FR 4 — The Adjacency Lemma: The Interface–Authority Boundary

📄 FR 5 — Lemma C — Ghost Authority Lemma

Closure Results

📄 FR 6 — The Law of Declared Authority: Necessary Closure for Legitimacy in Decision-Permitting Systems (standalone)

📄 FR 7 — Bell Non-Closure and the Law of Declared Authority: A Structural Correspondence

📄 FR 8 — Twisted Pair Legitimacy Theorem (Dual-Legitimacy Architecture)

Derived

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

📄 FR 10 — Primitive Stability Theorem: On the Conditions Under Which a Primitive Claim Is Valid

📄 FR 11 — The GBSH Correspondence [NEW]

Original Zenodo deposit versions with verified PDF metadata dates are archived at github.com/3primitives-io/3primitives-formal-records