closureStatus_unconditional
plain-language theorem explainer
Records the honest closure ledger for the zero-argument quantum-gravity master assembly: theorem-built witnesses are installed, yet full physical closure is denied. Six load-bearing frontiers (D2 quadrature, general triangulation, tensor TT recovery, Lorentzian causal triangulations, GHY boundary term, echo mechanism) stay marked open. Anyone citing the unconditional master route should quote this status. The body is a pure structure literal of booleans.
Claim. The unconditional master-theorem closure status is the record with theorem-built witnesses installed equal to true, full physical closure equal to false, and every listed open frontier (D2 quadrature, general triangulation, tensor $TT$ recovery, Lorentzian causal triangulations, boundary GHY term, and echo mechanism open-or-rejected) equal to true.
background
The module supplies a zero-argument route through the older conditional quantum-gravity master theorem by installing theorem-built witnesses for its five inputs. The conditional statement remains the audit surface; this file only packages the canonical witnesses so callers need not pass hypotheses by hand.
The status structure separates two layers. The first boolean records a Lean fact: the witnesses exist. The remaining booleans record physical-scope frontiers those witnesses do not close (D2 quadrature, general triangulations, tensor $TT$ recovery, Lorentzian causal triangulations, the GHY boundary term, and the echo mechanism). The primary D2 witness asserts Regge-to-EH continuum convergence on the canonical periodic six-tet cubic torus plus the contracted discrete Bianchi identity for Schläfli-satisfying data; that is scoped content, not full QG recovery.
Downstream certificates and papers are meant to read this ledger before treating the assembly as complete physical closure.
proof idea
No proof obligations. The definition is a structure literal that assigns each field of the closure-status record to an explicit Boolean: witnesses installed true, full physical closure false, and every open-frontier flag true. Downstream theorems such as the not-full-physical-closure lemma simply unfold these equalities by reflexivity.
why it matters
This ledger is the anti-overclaim guard for the unconditional master assembly. It feeds the theorem that witnesses are installed yet full physical closure is false, and the theorem that at least one load-bearing target (in fact D2 quadrature) remains open. Without it, scoped Regge/EH and Bianchi witnesses could be misread as complete quantum-gravity recovery.
In the broader Recognition gravity stack it sits above the handoff integration, page-curve, PTA, and strong-field structural modules: those supply the witnesses; this record states what they do and do not finish. It does not itself advance the forcing chain (T0–T8) or the RCL; it polices citation hygiene at the gravity master-theorem surface.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.