A registered result in its source context
Original ledger classification: Identity [I]
Recorded statement: K+xQ pencil endpoints (audit ext. of v37): P(x)=det(K+xQ)=3x^3+7x^2+6x+4 anchored at four integer nodes by compiler atoms: P(-1)=2=|Z2| (K-Q sheet endpoint), P(0)=4=det K=|mu4|, P(1)=20=det L (transport), P(2)=68=2 p5(a) (twice anchor…
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.KQ.02
Original ledger classification: Identity [I]
Original claim text
K+xQ pencil endpoints (audit ext. of v37): P(x)=det(K+xQ)=3x^3+7x^2+6x+4 anchored at four integer nodes by compiler atoms: P(-1)=2=|Z2| (K-Q sheet endpoint), P(0)=4=det K=|mu4|, P(1)=20=det L (transport), P(2)=68=2 p5(a) (twice anchor power sum p5=34). Also det(K-Q)=2=|Z2|, trace(K-Q)=3=N_fam. Audit-level detail of the mass->transport pencil, not a new gate [I]
Original classification detail
Identity [I]
Dependencies as recorded
FLAV.KQ.01; v37
Open the original ledger source, row 118Location 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.
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Front matter / supportStandard Model and flavor structure
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v52_pencil_endpoints.pyRegistered verification module · flavor
Read the description recorded in the module registry
pencil endpoints P(−1,0,1,2) = (2,4,20,68)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.