Skip to main content

A registered result in its source context

Original ledger classification: Identity (exact) [E]/[C]

Recorded statement: DIAMOND F_TRANSFER PATH (2026-06-16): F_transfer is ONE path on the Sheet Diamond, not four external interfaces. Family M(s,t)=R+Q diag(s,t,t): the transfer corners K=M(1,-1), C=M(1,0), F=M(1,1) lie on the SHEET axis (s=1). The sheet axis…

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

FTR.PATH.01

Original ledger classification: Identity (exact) [E]/[C]

Original claim text

DIAMOND F_TRANSFER PATH (2026-06-16): F_transfer is ONE path on the Sheet Diamond, not four external interfaces. Family M(s,t)=R+Q diag(s,t,t): the transfer corners K=M(1,-1), C=M(1,0), F=M(1,1) lie on the SHEET axis (s=1). The sheet axis is CURVED det M(1,t)=4t^2+14t+14 (dets (K,C,F)=(4,14,32), 2nd diff 8=rank E8), the winding axis det M(s,0)=6s+8 is FLAT (slope 6=|R^+(A3)|); the Plucker ladder Pl(C)-Pl(K)=(1,8,10)=(N_Phi,rank E8,A_Lambda), Pl(F)-Pl(C)=(1,8,16)=(N_Phi,rank E8,dim S^+) (DIAMOND.PLUCKER.01). F_transfer = the K->C->F sheet geodesic, the Koide source->pole its 1-D Moebius projection; the external solver evaluates continuously ALONG the known discrete path. The diagonal cut t=s mixes the axes (negative control).

Original classification detail

[E] M(s,t)=R+Q diag(s,t,t), K/C/F on the sheet axis, curved (2nd diff 8) vs flat winding (slope 6), Plucker steps (1,8,10),(1,8,16); F_transfer = the sheet geodesic, Koide its 1-D projection [C]

Dependencies as recorded

DIAMOND.PLUCKER.01; DIAMOND.AXIS.01; CONTRACT.F.01

Open the original ledger source, row 314

Location 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.

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.

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.

All 11 linked sections

Registered verification modules

  • v224_diamond_ftransfer_path.pyRegistered verification module · masses
    Read the description recorded in the module registry

    F_transfer as ONE path on the Sheet Diamond, not four external interfaces. Family M(s,t)=R+Q diag(s,t,t): the transfer corners K=M(1,−1),C=M(1,0),F=M(1,1) lie on the SHEET axis (s=1). The sheet axis is curved det M(1,t)=4t²+14t+14 (2nd diff 8=rank E₈), the winding axis det M(s,0)=6s+8 flat (slope 6=|R⁺(A₃)|); Plücker ladder Pl(C)−Pl(K)=(1,8,10), Pl(F)−Pl(C)=(1,8,16). F_transfer = the K→C→F sheet geodesic, Koide source→pole its 1-D Möbius projection.

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.

Search later reviewed research for this identifierRead the coverage boundaries