The positive solution of the alpha equation

Location 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
  Browse this documentRead the PDFOriginal source

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.

• The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
• Is the entire Standard Model thereby derived?Standard Model and flavor structure
• Front matter / supportTFPT — Introduction and reading guide
• Is the entire Standard Model thereby derived?tfpt 2 standard model

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.

• 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
• Research Contract — FLAV.NUSCALE.06 (pentagon-class misalignment candidate)tfpt research contracts
• B. Die einfache Darstellung vermischt zwei NäherungszuständeTFPT Universalraum Quellkomposition Konsolidierung 2026-09-15 v1.6.9
• B. Die einfache Darstellung vermischt zwei NäherungszuständeTFPT Universalraum Spinlift Hauptdokument 2026-09-15 v1.6.10
• Zusätzliche Primärliteraturmain
• Originale Herleitungs- und AusschlussorteTFPT Gesamtsynthese 2026-09-28

Registered verification modules

• v3_em_alpha.pyRegistered verification module · em
  Read the description recorded in the module registry

  α⁻¹ = 137.0359992168 unique root of F_U(1)=0; ablation

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.