A registered result in its source context
Original ledger classification: Identity [I] (rigidity) + [A] (U_point)
Recorded statement: Readout Rigidity (Theorem U2): c_u/c_d is CONSTANT on the discrete selector stratum S_{8,Q}={det R=8, SNF(R)=(1,1,8), Spec(Q+)={1,2,3}}, independent of the continuous D4 position => c_u/c_d=55/117 needs NO point-uniqueness. (U_wall) splits…
Statement, assumptions and sources
Paper context: TFPT Gesamtsynthese 2026-09-28
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.RIGID.01
Original ledger classification: Identity [I] (rigidity) + [A] (U_point)
Original claim text
Readout Rigidity (Theorem U2): c_u/c_d is CONSTANT on the discrete selector stratum S_{8,Q}={det R=8, SNF(R)=(1,1,8), Spec(Q+)={1,2,3}}, independent of the continuous D4 position => c_u/c_d=55/117 needs NO point-uniqueness. (U_wall) splits into U_unitary (v40, Phi=0 finite) + U_H2 (v39, R/Q/K from bundle) + U_Lambda2 (v42/v45, exterior Plucker 55/117) + U_point (open, only for full U_f* matrix). D4 fixes the chamber, selectors cut the point. The flavor bridge is a finite exterior readout-rigidity theorem, NOT a PDE gate
Original classification detail
Identity [I] (rigidity) + [A] (U_point)
Dependencies as recorded
GATE.UWALL.03; v39; v40; v42
Open the original ledger source, row 67Location 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.
- Research contracts
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.
- Nachweise der erneuten PrüfungTFPT Gesamtsynthese 2026-09-28
- Massen und Yukawa-Kopplungen aus derselben markierten StrukturTFPT Gesamtsynthese 2026-09-28
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.
- Quarks: hierarchy from the same word-lengthsStandard Model and flavor structure
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- (1) Flavor residual — ratios closed combinatorially; only the absolute scale is the wall-selection [formula in source] /tfpt 2 standard model
- Front matter / supportResearch contracts
- Quarks: hierarchy from the same word-lengthstfpt 2 standard model
- Quark [formula in source] -rationals: best values at current precisiontfpt 2 standard model
- (1) Flavor residual — ratios closed combinatorially; only the absolute scale is the wall-selection [formula in source] /Standard Model and flavor structure
- Sector inventory: have all the old-cascade sectors been computed?input 5 tfpt 3 e8 audit bootstrap
All 40 linked sections
- Research Contract 1 — [formula in source]
- What this means for the theory-of-everything question
- Closures that the architecture rests on
- H2: the moduli computation, set up explicitly
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)
- The hard reduction: the live residual as typed interfaces
- The honest open-items list
- The companion documents
- Front matter / support
- The honest open-items list
- The honest open-items list
- Front matter / support
- Is the entire Standard Model thereby derived?
- Sector inventory: have all the old-cascade sectors been computed?
- 2026-06-12 (version system, predictions/K5, readability pass B3)
- Predictions for running and upcoming experiments
- Closing the flavor block: two theorems
- Front matter / support
- The Standard Model in one master formula
- Closures that the architecture rests on
- Conclusion
- Is the entire Standard Model thereby derived?
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)
- H2: the moduli computation, set up explicitly
- The Standard Model in one master formula
- Quark [formula in source] -rationals: best values at current precision
- Research Contract 1 — [formula in source]
- Closing the flavor block: two theorems
- Sector inventory: have all the old-cascade sectors been computed?
- Closures that the architecture rests on
- Cosmology is the Pascal action grammar of the carrier
- Conclusion
Registered verification modules
- v49_readout_rigidity.pyRegistered verification module · masses
Read the description recorded in the module registry
Readout Rigidity: c_u/c_d = 55/117 constant on the stratum
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.