A registered result in its source context
Original ledger classification: Lattice
Recorded statement: cascade D_n=60-2n: endpoints; exponent rungs -> 240; IR tail 46080; variance 6552
Statement, assumptions and sources
Paper context: E8 audit and bootstrap
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
CAS.01
Original ledger classification: Lattice
Original claim text
cascade D_n=60-2n: endpoints; exponent rungs -> 240; IR tail 46080; variance 6552
Original classification detail
Lattice
Dependencies as recorded
-
Open the original ledger source, row 38Location 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.
- 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.
- Dependency Graphnote carrier rigidity lean4
- The old cascade, recalledinput 5 tfpt 3 e8 audit bootstrap
- 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
- A. Ein tatsächlich neuer Rechenwert trägt eine stärkere SchrankeTFPT Universalraum Spinlift Hauptdokument 2026-09-15 v1.6.10
- The old cascade, recalledE8 audit and bootstrap
- Verification Suite Summarytffpt-theory-fullv2
- Reproducibilitytfpt-theory-fullv21
All 40 linked sections
- Verification Suite Summary
- A. Ein tatsächlich neuer Rechenwert trägt eine stärkere Schranke
- 2. −1,138 ist eine echte bessere Variationsgrenze
- Yukawa: Stage D resolves the v5 critique.
- 3. Der Text vermischt drei verschiedene Näherungszustände
- Appendix: computational verification
- Reproducibility
- A. Ein tatsächlich neuer Rechenwert trägt eine stärkere Schranke
- Research Contract 1 — [formula in source]
- Appendix: computational verification
- Reproducibility
- 2. −1,138 ist eine echte bessere Variationsgrenze
- 9. Was die alte E8-Kaskade wirklich beisteuert
- 3. Der Text vermischt drei verschiedene Näherungszustände
- Reproducibility
- 3. Der Text vermischt drei verschiedene Näherungszustände
- Appendix: computational verification
- 2026-06-17 (Honest data cross-check + emergent-QFT figures: the unification tension, v246)
- Reproducibility
- Front matter / support
- The [formula in source] carrier atlas — stated unambiguously
- The [formula in source] carrier atlas — stated unambiguously
- The old cascade, recalled
- Reproducibility
- Research Contract 1 — [formula in source]
- The [formula in source] carrier atlas — stated unambiguously
- v6 — Yukawa Stage D and Calderón interface
- Reproducibility
- v4 — Yukawa Stage B
- Verification Suite Summary
- v5 — Yukawa Stage C
- Front matter / support
Registered verification modules
- v5_e8_cascade.pyRegistered verification module · frontier
Read the description recorded in the module registry
cascade D = 60 − 2n: endpoints, exponent rungs → 240
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.