A registered result in its source context
Original ledger classification: Physical (conditional; sharpened)
Recorded statement: geometric origin of Q reduced: Q_+ = A3 exponent grading (spec 1;2;3); Q_-^2 = N_fam on support; open = realise Q_+/Q_- on parabolic P1\mu4 UPDATE (2026-07-31, v567, QGEO.QRECON.01): the declared reductions (Q_+ spectrum, Q_-^2 budget)…
Statement, assumptions and sources
Paper context: TFPT — Introduction and reading guide
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
FLAV.QGEO.01
Original ledger classification: Physical (conditional; sharpened)
Original claim text
geometric origin of Q reduced: Q_+ = A3 exponent grading (spec 1;2;3); Q_-^2 = N_fam on support; open = realise Q_+/Q_- on parabolic P1\mu4 UPDATE (2026-07-31, v567, QGEO.QRECON.01): the declared reductions (Q_+ spectrum, Q_-^2 budget) plus the v10 winding normalisation and the seam-line demand reconstruct the ANCHOR carrier-free (one code class on all 28 admissible pairs) and Q itself up to ONE binary sheet-coupling choice (q32 in {2,0}; the 81-pin) -- the v11 carrier budgets are bypassed entirely; the audit relocates to GATE.QGEO.01 and the binary selector. Markers unchanged.
Original classification detail
Physical (conditional; sharpened)
Dependencies as recorded
FLAV.KQ.01; parabolic Hodge on P1\mu4
Open the original ledger source, row 15Location 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
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.
- =150 2026-07-31 (II) (the No-Carrier-Reconstruction audit, Stage A: the anchor self-code is carrier-free, and [formula in source] reconstructs up to ONE binary sheet-coupling choice (RECONSTRUCTS-TO-FAMILY) + v567 promoted + ledger/paper/diary/website sync)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.
- Closing the audit gates: is [formula in source] , [formula in source] , [formula in source] derived or imported?Standard Model and flavor structure
- Closing the audit gates: is [formula in source] , [formula in source] , [formula in source] derived or imported?tfpt 2 standard model
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v13_open_gates.pyRegistered verification module · frontier
Read the description recorded in the module registry
gate closures: M = 41 = 10 b₁; Q₊ = A₃ exponents
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.