A registered result in its source context
Original ledger classification: Exact identity-grade theorem [Identity]: closed boolean normal form, census-free derivation; no marker move (Python-only per GATE.WOLFRAM.02)
Recorded statement: v880 (part 1) -- the closed census-free normal form of the distinguished quadratic refinement: q*(x) = sum_{i<j} x_i x_j + sum_i x_i = C(|x|+1, 2) mod 2, WEIGHT-ONLY with value table (0,1,1,0,0); the 16 refinements of the bit form ARE the…
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
CFIN.QSTAR.NORMALFORM.01
Original ledger classification: Exact identity-grade theorem [Identity]: closed boolean normal form, census-free derivation; no marker move (Python-only per GATE.WOLFRAM.02)
Original claim text
v880 (part 1) -- the closed census-free normal form of the distinguished quadratic refinement: q*(x) = sum_{i<j} x_i x_j + sum_i x_i = C(|x|+1, 2) mod 2, WEIGHT-ONLY with value table (0,1,1,0,0); the 16 refinements of the bit form ARE the 16 linear shifts of the polar quadric and the frozen v845 selector acts on the linear part as c1=c2=c3 (4) -> c4=1 (2) -> c1=1 (1), FORCING c = (1,1,1,1) -- the 2^16 search is replaced by a theorem; zeros = {0} u the five ovoid messages (weights 3, 4); sigma splits 5 = 1+1+3 and 10 = 1+3+3+3 (9 = N_fam^2 family cycles). Probe qstar_doily_anchor_probe.py S1 (26/26 total, FINITE-ANCHOR-CLOSED).
Original classification detail
FINITE-ANCHOR-CLOSED (S1): q* = polar quadric + forced linear part (1,1,1,1); weight-only (0,1,1,0,0); sigma splits 5 = 1+1+3, 10 = 1+3+3+3
Dependencies as recorded
NORMALFORM.CFIN.01; v845; v774
Open the original ledger source, row 719Location 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.