A registered result in its source context
Original ledger classification: Lattice
Recorded statement: g_car=5 is the UNIQUE rank with N_fam in Z+ and g+N_fam=8; split (b,s)=(3,2) unique from b+s=5,b^2+s^2=13; Tr Y=Tr Y^3=0 (anomaly-free)
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.UNIQ.01
Original ledger classification: Lattice
Original claim text
g_car=5 is the UNIQUE rank with N_fam in Z+ and g+N_fam=8; split (b,s)=(3,2) unique from b+s=5,b^2+s^2=13; Tr Y=Tr Y^3=0 (anomaly-free)
Original classification detail
Lattice
Dependencies as recorded
E8 closure; SM gauge algebra dim 12
Open the original ledger source, row 9Location 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.
- The landscape: [formula in source] is overdeterminedArchitecture, E8 and the electromagnetic fixed point
- 1. Was die gelesenen Quellen tatsächlich zusammensetzenTFPT Universalraum Spinlift Hauptdokument 2026-09-15 v1.6.10
- How to read this documenttfpt 1 architecture e8
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- How to read this documentArchitecture, E8 and the electromagnetic fixed point
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- [formula in source] as the Pascal closureArchitecture, E8 and the electromagnetic fixed point
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
All 25 linked sections
- 2026-06-25 (The cyclotomic norm triple [formula in source] the carrier-5 clock: v418)
- 1. Was die gelesenen Quellen tatsächlich zusammensetzen
- Front matter / support
- The landscape: [formula in source] is overdetermined
- The whole integer skeleton from one pair [formula in source]
- The hard reduction: the live residual as typed interfaces
- Group-theoretic audits (optional)
- How to read this document
- [formula in source] as the Pascal closure
- 2026-06-12 (version system, predictions/K5, readability pass B3)
- Front matter / support
- [formula in source] as the Pascal closure
- Group-theoretic audits (optional)
- The compact status formula: three honest layers
- Front matter / support
- The whole integer skeleton from one pair [formula in source]
- The landscape: [formula in source] is overdetermined
Registered verification modules
- v14_carrier_uniqueness.pyRegistered verification module · core
Read the description recorded in the module registry
g_car=5 unique; split (3,2); Tr Y = Tr Y³ = 0
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.