A registered result in its source context
Original ledger classification: Identity [I] (canonical readings; old readings = corollaries)
Recorded statement: RIGHT-PLUECKER CANONICALISATION of the quark-ratio integers (load-bearing improvement; supersedes the loose-26 readings as the canonical source): with Pi_R(M) = 2x2 minors of (M1 | Ma): Pi_R(Q)=(0,4,5), Pi_R(K)=(12,12,-2),…
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.PLUCKER.02
Original ledger classification: Identity [I] (canonical readings; old readings = corollaries)
Original claim text
RIGHT-PLUECKER CANONICALISATION of the quark-ratio integers (load-bearing improvement; supersedes the loose-26 readings as the canonical source): with Pi_R(M) = 2x2 minors of (M1 | Ma): Pi_R(Q)=(0,4,5), Pi_R(K)=(12,12,-2), Pi_R(R)=(8,12,4), Pi_R(L)=(20,30,10)=10*(2,3,1) with sum 60 = E8 cascade start (v91 loop closed). CANONICAL READINGS: ||Pi_L(K)||_1=11 and ||Pi_R(K)||_1=26 put BOTH quark-ratio integers in the SAME operator K - the left anchor block reads flavor ORIENTATION (c_u/c_d = g_car*11/(N_fam^2 Delta_Q) = 55/117, v37/v42/v49), the right block reads transport PROPAGATION (c_t/c_b = N_fam/||Pi_R(K)||_1 = 3/26). The older 26-readings Pl(L)_13=26 and 2*Delta_Q=26 are now COROLLARIES of the canonical norm, not independent choices - same retirement pattern as the '11' (v45). c_c/c_s = p_5(a)/(Omega_adm-1) = 34/47 keeps its anchor-power reading; the 34=2*17 (E8 exponent) reading stays AUDIT only. tfpt_2 Pluecker keybox updated to the canonical boxed form
Original classification detail
Identity [I]: 11 = left and 26 = right Pluecker norm of K; older 26-readings corollaries
Dependencies as recorded
FLAV.PLUCKER.01; FLAV.QRATIO.01; FLAV.RIGID.01; v37; v42
Open the original ledger source, row 172Location 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.
- 2026-06-15 (the diamond axis geometry — two axes + the transfer corner)Research changelog; TFPT — Introduction and reading guide
- Quarks: hierarchy from the same word-lengthsStandard Model and flavor structure
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Quarks: hierarchy from the same word-lengthstfpt 2 standard model
- 2026-06-24 (The sheet generator [formula in source] as a binary internal compiler: v410– v414)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportStandard Model and flavor structure
- 2026-06-11Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v94_sheet_diamond.pyRegistered verification module · registry
Read the description recorded in the module registry
Sheet diamond: R, K, L, F are four points of ONE surface M(s,t) = R+Q·diag(s,t,t) (mass pencil = the cut (1+x,x−1); diagonal cut reproduces v85's non-square disc 153 — built-in negative control); winding line det B = 2·det for ALL s with the s=6 triple lock; cofactor normal (5,−9,6) selects generation 1; quark-ratio integers canonicalised as left/right Plücker norms of K (11, 26); reality threshold corrected to s*≈2.83; spine-quotient firewall rejected (16/7, 7/6, 5/6, 8/7 counterexamples)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.