Conditionality Footer

Dependencies

Notebook I (the axioms; independence at AP20 §4.2, fenced KS-P.2). AP08 (Einstein’s field equations, geometry as record). AP09 (quantum mechanics, Born rule, the loop). AP10 (N = 3 spatial → D = 4 → Lovelock). AP12 (ℏ). AP13 (decoherence, classical limit). AP20 (EH + QRA proved). AP14 is unconditional on EH.

Dependents

Any downstream result requiring the quantum-gravitational interface: black-hole thermodynamics, Planck-scale phenomenology, the cosmological constant problem. Within Notebook IV, AP28 (G’s value as a counting argument).

Kill switches engaged

KS-25 (one-loop amplitude/coefficient finiteness, LIVE — EMPIRICAL). KS-26 (monoid combinatorics, LIVE — HARD). KS-27 (higher-loop finiteness, LIVE — EMPIRICAL). KS-21 (commutation corrections, LIVE — EMPIRICAL, affected/untriggered).

Structural debts owed

D7 — virtual-record sum and higher-derivative terms. The principal debt for the all-orders finiteness claim. The one-loop result stands without it.

Items held open without claiming debt status

Gap 1 (explicit record-writing operator ℛ̂ — fixes γ). Gap 2 (explicit form of the virtual measure — reduces to Gap 1). Gap 3 (EH as an explicit large-N convergence theorem — EH itself supplied by AP20). Logarithmic and Λ-dependent refinements of the correction.