authored
plain-language theorem explainer
Records that the RS quantum-gravity master conditional was authored in Session 97 with five open-track hypotheses, and that Session 100 structurally discharges the PTA stochastic-GW and strong-field tracks. Gravity auditors cite it when tracing which inputs remain on the partial master theorem. The body is a provenance/status marker (no computational proof content).
Claim. The Session-97 master conditional for RS quantum gravity was stated with five hypothesis inputs: continuum/Bianchi regularity of the Einstein–Hilbert sector, unconditional amplitude linearity, Page-curve derivation, PTA stochastic gravitational waves distinct from inflation, and strong-field tests distinct from GR. Session 100 supplies structural witnesses for the last two, so the residual partial conditional needs only the first three.
background
Recognition Science packages its gravity program as a single master conditional whose conclusion is the RS quantum-gravity master claim. Session 97 stated that claim under five named hypothesis interfaces, one per then-open track: continuum-plus-Bianchi regularity of the regularized Einstein–Hilbert sector (Tracks 1.B/1.C), unconditional forcing of amplitude linearity (Tracks 2.C/2.D), derivation of the Page curve (Track 3.C), PTA stochastic GW spectra distinct from inflation (Track 6.B), and strong-field tests distinct from GR (Track 6.C).
This module is the Session-100 partial advancement. New structural modules supply Lean witnesses for Tracks 6.B and 6.C (PTAStochasticGWStructural retires the PTA hypothesis input; StrongFieldStructural retires the strong-field input). Spatial dimension $D=3$ is already forced upstream (T8/T9). The local status is structural-conditional: zero sorry, zero RS-internal axioms, three hypothesis inputs still open.
Discovery is explicitly not claimed. Master-plan §6 still requires the remaining three inputs, the master paper, the §7 falsifier register, and the six §8 done-criteria.
proof idea
No algebraic or tactic proof is attached (zero proof-body lines). The declaration is a session-provenance marker tying the Session-97 five-hypothesis master conditional to the Session-100 reduction. Substantive discharge of the two closed inputs lives in the upstream structural witnesses: the PTA module supplies the hypothesis that retires PTAStochasticGWDistinctFromInflation, and the strong-field structural module likewise witnesses distinctness from GR. Downstream, the partial conditional theorem simply plugs those two witnesses into the master predicate and keeps the three open interfaces as parameters.
why it matters
This marker is the audit hinge between the original five-input master conditional and the three-input partial form used by rs_quantum_gravity_master_partial_conditional. Downstream deeper-partial and structural modules further shrink the open set (Session 102 reports zero remaining hypothesis inputs on the fully structural template, with closure counts updated accordingly).
In the RS forcing chain the gravity master sits above T5–T8 (unique $J$, $\varphi$, eight-tick octave, $D=3$) and must still absorb continuum/Bianchi regularity, unconditional amplitude linearity, and the Page curve before discovery-complete status. The declaration therefore documents progress on Tracks 6.B/6.C without closing Tracks 1–3, and without populating the §7 falsifier register or the §8 done-criteria.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.