A registered result in its source context
Original ledger classification: Lattice
Recorded statement: bootstrap mu^2-5mu+4=0; g_car=5 three ways; 8=rankE8=h(D5)=phi(30)
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
BOOT.01
Original ledger classification: Lattice
Original claim text
bootstrap mu^2-5mu+4=0; g_car=5 three ways; 8=rankE8=h(D5)=phi(30)
Original classification detail
Lattice
Dependencies as recorded
-
Open the original ledger source, row 39Location 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 landscape: [formula in source] is overdeterminedArchitecture, E8 and the electromagnetic fixed point
- What This Note Is Aboutnote carrier rigidity lean4
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretationorigin theory
- Front matter / supportnote carrier rigidity lean4
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- 2026-06-22 (correction: the inputs are bootstrap-forced fixed points, not free axioms – [formula in source] IS the icosahedral [formula in source] of [formula in source] , and the golden ratio is emergent from the [formula in source] -glue, not external: v350)Research changelog; TFPT — Introduction and reading guide
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretationinput 4 origin theory
All 40 linked sections
- The unique attractor: a gapped transport selects ONE fixed point
- A closure program (next phase)
- The loop for [formula in source] — an overdetermined fixed point
- 2026-06-29 (discoverability — an SEO/GEO pass on the public website: a generated /llms.txt, explicit AI-crawler robots.txt, query-targeted metadata, and the first real backlinks from the README and the Zenodo deposit)
- v9 — review-readiness pass and Stage D transparency
- Was die Experimente als Rückbedingungen hinzufügen
- The landscape: [formula in source] is overdetermined
- Yukawa: Stage D resolves the v5 critique.
- Appendix: computational verification
- Appendix: computational verification
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretation
- Outcome
- The hard reduction: the live residual as typed interfaces
- A closure program (next phase)
- 2026-06-12 (version system, predictions/K5, readability pass B3)
- Front matter / support
- Appendix: computational verification
- 2026-06-22 (two consequences: the [formula in source] which-net ambiguity resolved by the order-4 clock, and BOTH axioms shown bootstrap-forced so the only irreducibles are the framework [formula in source] [formula in source] : v351, v352)
- The loop for [formula in source] — an overdetermined fixed point
- The unique attractor: a gapped transport selects ONE fixed point
- Front matter / support
- v7 — Signature lock, predicate rename, interface discipline
- A closure program (next phase)
- A closure program (next phase)
- The loop for [formula in source] — an overdetermined fixed point
- The compact status formula: three honest layers
- 2026-06-22 (the bird's-eye rethink: TFPT is a unique self-consistent LOOP with ZERO free dials, not a linear axiom system; [formula in source] is a fixed geometric constant, not a dial; the one residual is the continuum closure: v353)
- v6 — Yukawa Stage D and Calderón interface
- 2026-06-14 (overview figures + P1/P2 reduction reflected on the axiom surfaces)
- The landscape: [formula in source] is overdetermined
- The unique attractor: a gapped transport selects ONE fixed point
- In plain words
Registered verification modules
- v6_bootstrap.pyRegistered verification module · horizon
Read the description recorded in the module registry
reverse glue μ²−5μ+4=0; g_car=5 three ways; 8 = rank E₈ = φ(30)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.