rs_quantum_gravity_master_unconditional
plain-language theorem explainer
assembles the quantum-gravity master statement with five canonical theorem-built witnesses (Regge/EH continuum plus Bianchi, amplitude linearity, nontrivial Page curve, PTA band, strong-field channels) and no free hypotheses. Gravity auditors and Track 7.A reviewers cite it as the zero-argument closure surface. The proof is a direct application of the conditional master theorem to those witnesses.
Claim. The Recognition Science quantum-gravity master proposition holds when instantiated on the five canonical witnesses: physical Regge-to-Einstein-Hilbert continuum convergence plus contracted discrete Bianchi identity; unconditional many-body amplitude linearity; a nontrivial recognition-tick Page curve with derived entropy; a PTA stochastic-GW band distinct from inflation; and named strong-field channels distinct from GR.
background
The module supplies theorem-built witnesses for the five inputs that the older conditional master theorem took as arguments. That conditional form remains the audit surface; this file is the zero-argument route through it.
The master proposition packages foundation clauses (T0–T8 forcing chain, J-cost uniqueness, Lorentzian $1{+}3$) with gravity tracks: Regge/EH continuum limit and discrete Bianchi, forced amplitude linearity with BMV positivity, Hawking temperature and RS-distinct observables, Page-curve dynamics, PTA stochastic GW, and strong-field tests. The five witnesses here discharge the still-open tracks in scoped form.
Primary D2 content is physical: on the canonical periodic six-tet cubic torus, product-filter refinements send the normalized nonlinear Regge aggregate to the continuum EH integral, and every Schläfli-satisfying Regge datum obeys the contracted discrete Bianchi identity at each vertex. D3 is many-body amplitude linearity; D4 is a nontrivial Page process on $\mathrm{Fin},2\otimes\mathrm{Fin},2$ with interior peak $S_{\mathrm{BH}}/2$; D5 covers PTA and strong-field distinctness.
proof idea
One-line term wrapper. Apply rs_quantum_gravity_master_conditional to the five canonical witnesses already constructed in this module: continuum-plus-Bianchi, amplitude-linearity, nontrivial Page-curve, PTA-distinct, and strong-field-distinct. No extra tactics or algebraic work; the conditional theorem discharges the eight closed clauses once those five inputs are supplied.
why it matters
This is the scoped theorem-built assembly of the Track 7.A master plan statement: a zero-argument Lean theorem that the quantum-gravity master proposition holds on the current witness route. Downstream, the non-circularity certificate uses it to assert that the five witness inputs hold unconditionally (no master clause assumed) and that the D4 Page field is non-vacuous.
It sits on the foundation landmarks carried inside the master proposition (T0–T8, J-cost uniqueness, Lorentzian $1{+}3$) together with the gravity tracks above. It does not close full physical QG from primitives: D2 stays on the six-tet torus product filter, general triangulation and Lorentzian causal-simplex problems remain open, and black-hole echoes are not yet horizon-consistent. The machine-readable scope audit is closureStatus_unconditional.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.