A registered result in its source context
Original ledger classification: Identity [I] (generator) + Numerical [N] (fragility) + Physical [P] (conditional steps)
Recorded statement: KOIDE FLOW TIME (P2 sharpened on both ends; corrects the ROBUSTNESS of v93 negative (i), not its arithmetic): [I] CANONICAL GENERATOR - the v82 flow is generated by dq/dt = (Delta/N_fam)(q-2)(q-5) = (Delta/N_fam) det B(q), Delta = 6…
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.06
Original ledger classification: Identity [I] (generator) + Numerical [N] (fragility) + Physical [P] (conditional steps)
Original claim text
KOIDE FLOW TIME (P2 sharpened on both ends; corrects the ROBUSTNESS of v93 negative (i), not its arithmetic): [I] CANONICAL GENERATOR - the v82 flow is generated by dq/dt = (Delta/N_fam)(q-2)(q-5) = (Delta/N_fam) det B(q), Delta = 6 log(3/2) = the gap; the time-1 map IS the v82 Moebius F (machine-checked; e^-Delta = (2/3)^6 exact) => the missing P2 object is precisely a QFT mechanism producing 'gap x anchor-block quadric / family count'. [N] DATA-FRAGILITY: rho_pole = -2.2e-6 makes the flow time hypersensitive to m_tau (PDG 1776.93+-0.09 MeV): t(-1sig)=2.35, t(central)=2.84, and Q crosses 2/3 INSIDE the band (+0.43 sigma, t->infinity) => within +0.5 sigma t passes EVERY integer >=3; the v93 exclusion of pole=F^n(source) holds only at the central value. [P] CONDITIONAL discrete steps (registry untouched, NOT predictions of record): n=2 EXCLUDED (-2.9 sigma) [N]; n=3 = N_fam steps predicts m_tau = 1776.9427 MeV (+0.14 sigma; source-variant stable to 0.0002 MeV); n=4 1776.9667 / exact branch 1776.9690 not separable now; kill criterion sigma(m_tau) ~ 0.01 MeV (Belle II). [I/N] LOOK-ELSEWHERE FIREWALL: the scale reading ln(M_scal/m_tau)/ln(W) is destroyed by negative controls (W = 46080, 40320, 51840 all give |pull| < 0.1 sigma) - rejected and recorded so it is not re-fished. P2 type unchanged ([P], one identification); the discrete-vs-continuous question is now EXPERIMENTAL, not settled
Original classification detail
P2 sharpened: canonical generator [I]; discrete-vs-continuous = experimental question
Dependencies as recorded
FR.KOIDE.04; FR.KOIDE.05 (robustness of negative (i) corrected); COSMO.NSTAR.01 (M_scal)
Open the original ledger source, row 177Location 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
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.
- The Koide relation — near [formula in source] , computed exactlyFrontier 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.
- 2. The four frozen clocks (one per solver, no residual freedom)ftransfer clocks contract
- Certifiability and recommended ordertfpt research contracts
- OutcomeRed-team audit
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-06-25 (Safeguards visuals [formula in source] paper expansion [formula in source] the website safeguards band)Research changelog; TFPT — Introduction and reading guide
- Certifiability and recommended ordertfpt research contracts
- 2026-06-25 (Three closure-strategy modules v425– v427 [formula in source] the Safeguards paper)Research changelog; TFPT — Introduction and reading guide
- =150 2026-07-31 (XI) (the continuous half of the cross-ratio check executed and closed: UNIFLOW-DEGENERATE ( v575 promoted) — the native exports are forced degenerate by the single-flow theorem, so the continuous half closes onto v425; both halves of the preregistered check are now executed)Research changelog; TFPT — Introduction and reading guide
All 9 linked sections
Registered verification modules
- v99_koide_flow_time.pyRegistered verification module · registry
Read the description recorded in the module registry
Koide flow time (P2 sharpened; corrects the ROBUSTNESS of v93's negative (i)): canonical generator dq/dt = (Δ/N_fam)(q−2)(q−5) = (Δ/N_fam)·det B(q), time-1 map = the v82 Möbius F (e^−Δ = (2/3)⁶ exact) [I]; the non-integrality of t = 2.84 is DATA-FRAGILE — Q crosses 2/3 at +0.43σ(m_τ), t passes every integer ≥ 3 within +0.5σ [N]; conditional steps (registry untouched): n=2 excluded (−2.9σ), n=3 = N_fam steps ⇒ m_τ = 1776.9427 MeV (+0.14σ), decision at σ(m_τ) ~ 0.01 MeV (Belle II) [P]; ln(46080) scale reading destroyed by negative controls (look-elsewhere firewall)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.