The common anchor and its integer invariants
Original ledger classification: Identity
Recorded statement: anchor-first: a=(1,1,2) elementary symmetric e_k=(4,5,2)=(|mu4|,g_car,|Z2|), c3=1/(2 e1 pi)=1/(8pi); power sums p_n=2+2^n give |R(E8)|=p1p2p3=240, dim E8=248, rank=p4-p3=8, binary ladder 2^n. Inputs reduce {c3,g_car} -> {a,pi}
Statement, assumptions and sources
Paper context: TFPT — Introduction and reading guide
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
ANCHOR.GEN.01
Original ledger classification: Identity
Original claim text
anchor-first: a=(1,1,2) elementary symmetric e_k=(4,5,2)=(|mu4|,g_car,|Z2|), c3=1/(2 e1 pi)=1/(8pi); power sums p_n=2+2^n give |R(E8)|=p1p2p3=240, dim E8=248, rank=p4-p3=8, binary ladder 2^n. Inputs reduce {c3,g_car} -> {a,pi}
Original classification detail
Identity
Dependencies as recorded
a=(1,1,2) parabolic anchor
Open the original ledger source, row 24Location 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.
- TFPT — Introduction and reading guide
- Architecture, E8 and the electromagnetic fixed point
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.
- 2026-06-14 (overview figures + P1/P2 reduction reflected on the axiom surfaces)Research changelog; TFPT — Introduction and reading guide
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
- How to read this documentArchitecture, E8 and the electromagnetic fixed point
- Sharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )TFPT — Introduction and reading guide
- 2026-07-21 (IX) ( v499 — the P2 weight-typing postulate HARDENED: the anchor [formula in source] typed as the Birkhoff–Grothendieck splitting exponents of the Deligne canonical extension, so integrality/positivity/sum- [formula in source] become theorems given the \ anchors; the v491 check-9 residual sharpened, the tfpt_2 ``balanced'' selection typed as stability; Wolfram extension [formula in source] (verified engine run); no gate closes, no marker moves — AX.P2.01 stays a declared axiom, QGEO.SYM stays )Research changelog; TFPT — Introduction and reading guide
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- How to read this documenttfpt 1 architecture e8
- 2026-06-12 (version system, predictions/K5, readability pass B3)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v23_anchor_generator.pyRegistered verification module · core
Read the description recorded in the module registry
anchor a=(1,1,2): e_k=(4,5,2); power sums → 240, 248
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.