Skip to main content

A registered result in its source context

Original ledger classification: Identity (exact)

Recorded statement: PLUCKER TRANSFER LADDER (2026-06-15): the anchor-Plucker coordinates lift K->C->F in two exact steps: Pl(K)=(-1,6,4), Pl(C)=(0,14,14), Pl(F)=(1,22,30); Pl(C)-Pl(K)=(1,8,10)=(N_Phi, rank E_8, A_Lambda) and Pl(F)-Pl(C)=(1,8,16)=(N_Phi, rank…

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

DIAMOND.PLUCKER.01

Original ledger classification: Identity (exact)

Original claim text

PLUCKER TRANSFER LADDER (2026-06-15): the anchor-Plucker coordinates lift K->C->F in two exact steps: Pl(K)=(-1,6,4), Pl(C)=(0,14,14), Pl(F)=(1,22,30); Pl(C)-Pl(K)=(1,8,10)=(N_Phi, rank E_8, A_Lambda) and Pl(F)-Pl(C)=(1,8,16)=(N_Phi, rank E_8, dim S^+). Each step adds (1,8) in the first two coordinates; the third adds first the decuple A_Lambda=10 then the full spinor generation dim S^+=16. The Plucker identity is [E]; the F_transfer source->pole reading (a two-stage sheet lift in the Anchor Plane) stays [C]

Original classification detail

[E] Pl ladder K->C->F: steps (1,8,10) and (1,8,16) = decuple then full generation; transfer reading [C]

Dependencies as recorded

v94_sheet_diamond.py; v213_ftransfer_functor.py

Open the original ledger source, row 304

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.

Registered verification modules

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

    Diamond axis geometry: the Sheet Diamond (v94) is a discrete geometry with two axes around the centered cross (v95: C center, U winding, V sheet), and the missing corner F is the transfer completion. Three exact [E] lemmas + honest audit/heuristic typing, no new numbers. [E] AXIS CURVATURE: det(C+xU)=14+6x linear (winding flat, slope 6=|R⁺(A₃)|), det(C+yV)=14+14y+4y² quadratic with 2nd difference 8=rank E₈; det B(C+xU)=2 det(C+xU), anchor-block sheet 2nd difference 6=|R⁺(A₃)| — curvatures (8,6)=(rank E₈, |R⁺(A₃)|). [E] PLÜCKER TRANSFER LADDER: Pl(K)=(−1,6,4)→Pl(C)=(0,14,14)→Pl(F)=(1,22,30); C−K=(1,8,10)=(N_Φ,rank E₈,A_Λ), F−C=(1,8,16)=(N_Φ,rank E₈,dim S⁺) — decuple 10 then full generation 16 (identity [E], transfer reading [C]). [E] SPECTRAL RAMIFICATION: for Q,K,C,F the cubic discriminant=q(r)²·Disc(q); squares (1,3,4,6)=(N_Φ,N_fam,|μ₄|,|R⁺(A₃)|), kernels (13,48,65,105)=(Δ_Q,Ω_adm,g_car·Δ_Q,N_fam·g_car·7), F carries 105=3·5·7. [I] audit anchor-defect spectrum Δ_a(Q,K,R,C,L,F)=(8,16,18,21,24,26); [I] audit pair-sum atlas {12,24,28,36,40,52} total 64, staircase sum 81=N_fam⁴ — 28=2 dim G₂, 52=dim F₄ audit-only, not spine. [C] heuristic: F the transfer-completion corner, a search principle not a hard filter.

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