MasterTheoremUnconditionalClosureStatus
plain-language theorem explainer
Status record for the zero-argument quantum-gravity master assembly: eight booleans separating installed theorem-built witnesses from still-open physical frontiers. Anyone citing the unconditional master route should read this before treating scoped witnesses as full recovery. It is a plain structure definition, not a proved claim.
Claim. An honest closure-status record with eight boolean fields: (1) theorem-built witnesses for the older conditional master theorem are installed; (2) full physical quantum-gravity closure holds; and open-frontier flags for (3) D2 quadrature, (4) general triangulation, (5) tensor transverse-traceless recovery, (6) Lorentzian causal triangulations, (7) boundary Gibbons–Hawking–York terms, and (8) the echo mechanism (open or rejected).
background
This 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 theorem remains the audit surface; the unconditional path is the canonical assembly of those witnesses.
The primary D2 witness asserts two physical clauses on the canonical periodic six-tet cubic torus: normalized full nonlinear Regge aggregates converge to the continuum Einstein–Hilbert integral under product-filter refinement, and every Schläfli-satisfying Regge datum obeys the contracted discrete Bianchi identity at every vertex. An endpoint-receipt route is retained for audit.
The structure itself does not prove those clauses. It packages an honest boolean dashboard so downstream certificates cannot silently promote scoped witnesses to complete physical recovery.
proof idea
No proof: this is a structure declaration whose fields are plain Bools. Meaning lives in the field names and the accompanying doc-comment. The sole downstream inhabitant sets witnesses-installed to true, full physical closure to false, and the listed frontier flags to true (open), encoding the conservative reading of the assembly.
why it matters
Without this record, the useful unconditional master assembly could be misread as closed quantum-gravity recovery. Downstream closureStatus_unconditional is the canonical inhabitant: witnesses installed, full physical closure false, D2 quadrature / general triangulation / tensor TT recovery (and related frontiers) still open.
In the Recognition gravity stack this sits after continuum and Bianchi witness work on Regge data, and before any claim that the forcing chain plus ledger geometry has recovered full dynamical gravity. It deliberately keeps the master theorem citable while blocking overclaim on Lorentzian causal triangulations, boundary GHY terms, and echo mechanisms. Framework landmarks (eight-tick structure, D = 3) are ambient context, not discharged here.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.