A registered result in its source context
Original ledger classification: Physical (input)
Recorded statement: RESIDUAL GATE (5.0 review, B5): N_star is a reheating INPUT (observed n_s=0.9649 -> N*=57, continuous), not a compiler consequence; kept [P]
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
GATE.NSTAR.01
Original ledger classification: Physical (input)
Original claim text
RESIDUAL GATE (5.0 review, B5): N_star is a reheating INPUT (observed n_s=0.9649 -> N*=57, continuous), not a compiler consequence; kept [P]
Original classification detail
Physical (input)
Dependencies as recorded
reheating
Open the original ledger source, row 54Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Standard Model and flavor structure
- E8 audit and bootstrap
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-07-21 (the two 2026-07-20 prediction-of-record rows promoted to the suite: v494 — [formula in source] running [formula in source] [formula in source] -distortion branch discriminator machine-checked, ledger rows COSMO.RUNNING.01/ COSMO.MUDIST.01, prediction surfaces synced; no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- Status summary and open audit pointsArchitecture, E8 and the electromagnetic fixed point
- Status summary and open audit pointstfpt 1 architecture e8
- Status summary and open audit pointstfpt 1 architecture e8
Registered verification modules
- v22_open_gates_audit.pyRegistered verification module · frontier
Read the description recorded in the module registry
residual-gates audit: forced part vs named residual
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.