A registered result in its source context
Original ledger classification: Lattice
Recorded statement: g_car = 5 unique Pascal solution (proof + check)
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.PAS.01
Original ledger classification: Lattice
Original claim text
g_car = 5 unique Pascal solution (proof + check)
Original classification detail
Lattice
Dependencies as recorded
-
Open the original ledger source, row 7Location 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
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 57 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
- Front matter / support
- 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.