A registered result in its source context
Original ledger classification: Identity [I] (exact operator factor + negative control) + Physical [C] (the transfer mechanism)
Recorded statement: OPERATOR ORIGIN OF THE KOIDE SOURCE->POLE FACTOR 53/54 (external-review proposal 2026-06-14, validated; upgrades the FR.KOIDE.03 conjecture from a bare arithmetic guess 1-1/(2 N_fam^3) to an exact operator identity on the carrier):…
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.07
Original ledger classification: Identity [I] (exact operator factor + negative control) + Physical [C] (the transfer mechanism)
Original claim text
OPERATOR ORIGIN OF THE KOIDE SOURCE->POLE FACTOR 53/54 (external-review proposal 2026-06-14, validated; upgrades the FR.KOIDE.03 conjecture from a bare arithmetic guess 1-1/(2 N_fam^3) to an exact operator identity on the carrier): u_pole/u_source = a^T (R+Q) 1 / (2 * 1^T R a) = 53/(2*27) = 53/54. (1) THE CUBIC FAMILY BLOCK [I]: 1^T R a = 27, the E6xA2 flavor-shadow split 248 = dim E6 + det R + 2(1^T R a)N_fam = 78 + 8 + 2*27*3, so 2*27 = 54 is the sheet-doubled denominator. (2) THE MISSING CORNER [I]: the Sheet Diamond has present corners R=M(0,0), K=M(1,-1), L=M(2,0) and the ABSENT corner F=R+Q=M(1,1) with anchor-block determinant det B_F = 52 = dim F4 (FLAV.PENCIL.02/v80); its anchor response a^T(R+Q)1 = 53 = 52+1 (F4 shadow + singlet). (3) THE RATIO [I]: a^T(R+Q)1/(2*1^T R a) = 53/54 = 1-1/(2 N_fam^3) exactly (54 = 2 N_fam^3 = 2*27), so the two readings coincide but this one is structural, not fitted. (4) NEGATIVE CONTROL [I]: only the missing corner F gives 53 -- a^T M 1 for M in {R,Q,K,L} = {32,21,35,56}, none = 53 (specific, not generic). PHYSICAL STATUS [C]: the FACTOR is now sourced exactly; the MECHANISM (the leptonic pole-mass transfer evaluates the F corner) stays a conjecture, an F_transfer special case (F_pole: source->pole). Koide thus moves from 'near miss + conjecture' to 'operator-sourced source->pole transfer'; the prediction itself stays [C]. Cross-ref HOR.TRISECT.01 (the same Sheet-Diamond double-cover grammar carries the gravity clock, exponent ratio |Z2|)
Original classification detail
Identity [I]: 53/54 = a^T(R+Q)1/(2*1^T R a) sourced from the missing Sheet-Diamond corner F (det B_F=52); mechanism stays [C]
Dependencies as recorded
FR.KOIDE.03; FLAV.PENCIL.02; FLAV.PLUCKER.02; v80_operator_pencil_geometry.py
Open the original ledger source, row 178Location 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.
- 2026-06-14 (operator origin of the Koide 53/54 factor: the missing Sheet-Diamond corner, v183)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.
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)tfpt research contracts
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- 2026-06-23 (Track 3 — the [formula in source] functor promoted from contracts to TYPED runnable solvers with kill tests: Koide source [formula in source] pole ( v371), [formula in source] Boltzmann ( v372), axion finite- [formula in source] relic ( v373), [formula in source] uncertainty budget ( v374))Research changelog; TFPT — Introduction and reading guide
- Front matter / supportE8 audit and bootstrap
- 2026-06-15 (the F_transfer functor contract CONTRACT.F.01)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportStandard Model and flavor structure
- Certifiability and recommended ordertfpt research contracts
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)tfpt research contracts
All 17 linked sections
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)
- Group-theoretic audits (optional)
- Summary
- Front matter / support
- 2026-06-14 (F_transfer round: eta_B honest test v184, axion relic v185, discipline guard v187)
- Group-theoretic audits (optional)
- The Koide relation — near [formula in source] , computed exactly
- Certifiability and recommended order
- Certifiability and recommended order
Registered verification modules
- v183_koide_f_corner_transfer.pyRegistered verification module · registry
Read the description recorded in the module registry
the Koide source→pole factor 53/54 has an OPERATOR origin (external-review proposal, validated): u_pole/u_source = aᵀ(R+Q)𝟙 / (2·𝟙ᵀRa) = 53/(2·27) = 53/54. (1) 𝟙ᵀRa=27 is the E6×A2 cubic family block (248 = dim E6 78 + det R 8 + 2·27·N_fam); (2) F=R+Q is the MISSING Sheet-Diamond corner M(1,1) with det B_F=52=dim F4 (v80) and anchor response aᵀ(R+Q)𝟙=53=52+1; (3) 53/54 = 1−1/(2N_fam³) exactly (54=2·27); (4) negative control: only F gives 53 (R/Q/K/L give 32/21/35/56). Upgrades FR.KOIDE.03 from a bare guess to an operator identity; [I] factor exact, [C] the leptonic source→pole reading the F corner stays an F_transfer conjecture.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.