A registered result in its source context
Original ledger classification: Physical (conjecture)
Recorded statement: CONJECTURE: Q_l source=0.66446; Q_source+phi0/|W(A3)|=Q_source+phi0/24=0.666 679 overshoots 2/3 by 1.3e-5 (source->pole correction conjecture, |W(A3)|=24)
Statement, assumptions and sources
Paper context: Frontier and open physical interfaces
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
FR.KOIDE.02
Original ledger classification: Physical (conjecture)
Original claim text
CONJECTURE: Q_l source=0.66446; Q_source+phi0/|W(A3)|=Q_source+phi0/24=0.666679 overshoots 2/3 by 1.3e-5 (source->pole correction conjecture, |W(A3)|=24)
Original classification detail
Physical (conjecture)
Dependencies as recorded
FR.KOIDE.01
Open the original ledger source, row 35Location 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.
- Frontier and open physical interfaces
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.
- Dark matter — the candidate is fixed, the scale is pendingFrontier and open physical interfaces
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- The Koide relation — near [formula in source] , computed exactlyFrontier and open physical interfaces
Registered verification modules
- v25_frontier_conjectures.pyRegistered verification module · frontier
Read the description recorded in the module registry
conjectures: Koide φ₀/24; axion f_a = M_scal/128
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.