A registered result in its source context
Original ledger classification: Exact identity-grade theorem [Identity]: the incidence geometry IS the Clifford multiplication; no marker move
Recorded statement: v880 (part 3) -- the doily IS the multiplication table Lambda^2 E x Lambda^2 E -> Lambda^4 E of the five-slot carrier: via the v845 parity lift the three iota-supports of every doily line partition {1..5} as {i} u {j,k} u {l,m}; b_jk ^…
Statement, assumptions and sources
Paper context: Architecture, E8 and the electromagnetic fixed point
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
DOILY.HODGE.FACTOR.01
Original ledger classification: Exact identity-grade theorem [Identity]: the incidence geometry IS the Clifford multiplication; no marker move
Original claim text
v880 (part 3) -- the doily IS the multiplication table Lambda^2 E x Lambda^2 E -> Lambda^4 E of the five-slot carrier: via the v845 parity lift the three iota-supports of every doily line partition {1..5} as {i} u {j,k} u {l,m}; b_jk ^ b_lm = +-f_i EXACT (integer exterior algebra); the map line -> (i; {j,k},{l,m}) is a BIJECTION onto all 5 x 3 = 15 configurations (three perfect matchings per carrier slot); CONVERSE: the wedge is nonzero EXACTLY on doily lines (external lines: all pairwise products vanish; secants carry <= 1 pair point). Probe S3.
Original classification detail
FINITE-ANCHOR-CLOSED (S3): support partition + exact wedge factorization + bijection 15 = 5 x 3 + converse (nonzero exactly on doily lines)
Dependencies as recorded
CFIN.QSTAR.NORMALFORM.01; v845; v774; v854
Open the original ledger source, row 721Location 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.
- Architecture, E8 and the electromagnetic fixed point
- E8 audit and bootstrap
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.
- How to read this documenttfpt 1 architecture e8
- Front matter / supportArchitecture, E8 and the electromagnetic fixed point
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- How to read this documenttfpt 1 architecture e8
- Research Contract 2 — [formula in source]tfpt research contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Front matter / supportE8 audit and bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
Registered verification modules
- v880_finite_anchor_theorems.pyRegistered verification module · core
Read the description recorded in the module registry
CFIN.QSTAR.NORMALFORM.01 + DOILY.ANCHOR.CLASSIFY.01 + DOILY.HODGE.FACTOR.01 + P2.QUADRATIC.EXHAUSTION.01: **die vier endlichen Anker-Sätze (26/26, FINITE-ANCHOR-CLOSED)** — die geschlossene, zensus-freie Normalform q*(x) = Σ_{i<j}x_ix_j + Σx_i = C(|x|+1,2) mod 2 (gewichts-rein; Selektor auf dem Linearteil erzwungen); die EXKLUSIVE Anker-Klassifikation der PG(3,2)-Linien (alle 15 Doily-Linien tragen {2,1,1} = a = (1,1,2), Linien-Vieta (4,5,2); 10 Sekanten = falscher Anker (1,2,2), 10 externe); die Doily als Multiplikationstafel Λ²E×Λ²E→Λ⁴E des Fünf-Slot-Carriers (Wedge ≠ 0 GENAU auf Doily-Linien); Ein-Schritt-Exhaustion erzwingt g = 5 ([E]-Satz, Calderón-Prämisse bleibt [O] — P2 verengt, nicht eliminiert). Alle Kontrollen feuern.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.