A registered result in its source context
Original ledger classification: Lattice
Recorded statement: finite hexagonal resolvent D_y^-1 = (sum y^{5-m} delta^m U6^m)/(y^6-delta^6) proven; quark c-digits need U_f* holonomy (open finite step)
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
FLAV.RESOLV.01
Original ledger classification: Lattice
Original claim text
finite hexagonal resolvent D_y^-1 = (sum y^{5-m} delta^m U6^m)/(y^6-delta^6) proven; quark c-digits need U_f* holonomy (open finite step)
Original classification detail
Lattice
Dependencies as recorded
C6 transport kernel
Open the original ledger source, row 19Location 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
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
- 2026-06-12 (sync infrastructure: single-source script index, content maps, one audit)Research changelog; TFPT — Introduction and reading guide
- Quarks: hierarchy from the same word-lengthstfpt 2 standard model
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v17_hexagonal_resolvent.pyRegistered verification module · frontier
Read the description recorded in the module registry
finite hexagonal resolvent (the quark c backbone)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.