A registered result in its source context
Original ledger classification: Lattice
Recorded statement: N_fam=3; Omega_adm=48; b1=41/10; dim S+ = 16
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
CAR.SM.01
Original ledger classification: Lattice
Original claim text
N_fam=3; Omega_adm=48; b1=41/10; dim S+ = 16
Original classification detail
Lattice
Dependencies as recorded
CAR.PAS.01
Open the original ledger source, row 8Location 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
- Standard Model and flavor structure
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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
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
- 2. −1,138 ist eine echte bessere VariationsgrenzeTFPT Universalraum Spinlift Hauptdokument 2026-09-15 v1.6.10
- What This Note Is Aboutnote carrier rigidity lean4
- Eine vollständig verbundene SechserantwortTFPT Gesamtsynthese 2026-09-28
- Grammar I — the carrier grammar ( [formula in source] )tfpt 1 architecture e8
- The ladder is binomial; [formula in source] singles out [formula in source]tfpt 1 architecture e8
- T6: Parameter brauchen einen gemeinsamen empirischen Testmain
- Appendix: computational verificationtfpt 1 architecture e8
All 56 linked sections
- 3.2 Nicht nur gezählt: die vier Zustände und ihre Kopplungen
- Front matter / support
- [formula in source] as the Pascal closure
- T6: Parameter brauchen einen gemeinsamen empirischen Test
- Paper V1.06 - 01.09.2025
- Neutrinos
- Appendix: computational verification
- 2. −1,138 ist eine echte bessere Variationsgrenze
- Neutrinos
- Proof-obligation ledger
- Front matter / support
- 2026-07-21 (XIX) ( e8-ladder-bed v2 — the 2DCS extension executed with an honest preregistered kill_2d verdict at the DETECTOR level: the known-answer map recovers [formula in source] rungs incl.\ [formula in source] via F3 difference coordinates (MC [formula in source] ), but the 2D control battery breaks (scramble [formula in source] , jitter [formula in source] at the destructive [formula in source] level) — the v1 1D results (BCVO [formula in source] , CoNb [formula in source] O [formula in source] [formula in source] ) are untouched; scorecard row updated, status/stage unchanged; experiments level only — no verification module, no gate closes, no marker moves)
- Paper V1.06 - 01.09.2025
- Appendix: computational verification
- Die 48 und die 41 sind zwei Antworten derselben geladenen Quelle
- Group-theoretic audits (optional)
- 2. −1,138 ist eine echte bessere Variationsgrenze
- How to read this document
- Research Contract 2 — [formula in source]
- Grammar I — the carrier grammar ( [formula in source] )
- [formula in source] as the Pascal closure
- v3 — correcting overclaims
- Front matter / support
- The ladder is binomial; [formula in source] singles out [formula in source]
- 2026-07-13 ( v474 — the operator level of the entropic-action bridge: the [formula in source] Clifford/spinor structure exhibited on the carrier Fock space, the Hodge fold identified as the [formula in source] conjugation, and the v473 [formula in source] -target decided — supports exactly [formula in source] , the naive pair-block reading killed; no status moves)
- SV2 — Abdeckung und Dokumentationsprüfung der zweiten Fassung
- 2026-06-23 (Track 2 of the forward plan v2 — the AMBIENT REDUNDANCY statement ( v369): the holographic route to Gravity-complete that sidesteps building the general Euclidean QG measure)
- Proof-obligation ledger
- The ladder is binomial; [formula in source] singles out [formula in source]
- [formula in source] as the Pascal closure
- Front matter / support
- Appendix: computational verification
- Group-theoretic audits (optional)
- Headline: the Pascal compiler on five carrier slots
- Research Contract 2 — [formula in source]
- Headline: the Pascal compiler on five carrier slots
- 3.2 Nicht nur gezählt: die vier Zustände und ihre Kopplungen
- Front matter / support
- Front matter / support
- Grammar I — the carrier grammar ( [formula in source] )
- 3.2 Nicht nur gezählt: die vier Zustände und ihre Kopplungen
- 3.2 Nicht nur gezählt: die vier Zustände und ihre Kopplungen
- Headline: the Pascal compiler on five carrier slots
- Vier statt einer Richtung - jetzt konstruiert
- Research Contract 2 — [formula in source]
- T6: Parameter brauchen einen gemeinsamen empirischen Test
- Appendix: computational verification
- Front matter / support
Registered verification modules
- v2_carrier_pascal.pyRegistered verification module · core
Read the description recorded in the module registry
g_car=5 Pascal closure; 16=1+5+10, Ω_adm=48, b₁=41/10
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.