A registered result in its source context
Original ledger classification: Lattice/Lie [L] (typing) + [P] (normalisation)
Recorded statement: LIE-LEVEL GROUNDING of the exterior leg (no special math): the carrier half-spinor is the even exterior algebra 16=Lambda^even(5)=C(5,0)+C(5,2)+C(5,4)=1+10+5 (already in CAR.SM.01). Under SU(5)<SO(10): u^c in 10=Lambda^2(5), d^c in…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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
GATE.UWALL.17
Original ledger classification: Lattice/Lie [L] (typing) + [P] (normalisation)
Original claim text
LIE-LEVEL GROUNDING of the exterior leg (no special math): the carrier half-spinor is the even exterior algebra 16=Lambda^even(5)=C(5,0)+C(5,2)+C(5,4)=1+10+5 (already in CAR.SM.01). Under SU(5)<SO(10): u^c in 10=Lambda^2(5), d^c in 5bar=Lambda^4(5) => exterior degrees deg(u)=2, deg(d)=4; deg(u)+deg(d)=6=|R+(A3)| (hexagon), deg(d)-deg(u)=2=|Z2| (sheet); up Yukawa family-symmetric Sym^2 dim6, down general dim9=N_fam^2. So the 'Lambda^2 exterior leg' is the carrier's OWN Lambda^2 grading (up quark lives in Lambda^2(5)), NOT exotic Hodge data => discrete invariant re-typed to carrier exterior DEGREE [L]. HONEST: grounds the TYPE; Plucker number 55/117 stays family Pl(K) [I]; carrier-L2<->family-L2F link (family x carrier=15) + normalisation remain [P]
Original classification detail
Lattice/Lie [L] (typing) + [P] (normalisation)
Dependencies as recorded
GATE.UWALL.15; CAR.SM.01; SU(5)<SO(10)
Open the original ledger source, row 115Location 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.
- Standard Model and flavor structure
- Research contracts
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.
- [formula in source] as the Pascal closureArchitecture, E8 and the electromagnetic fixed point
- Research Contract 1 — [formula in source]tfpt research contracts
- Research Contract 2 — [formula in source]tfpt research contracts
- Front matter / supportResearch contracts
- [formula in source] as the Pascal closuretfpt 1 architecture e8
- Front matter / supportResearch contracts
- 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)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v44_carrier_exterior.pyRegistered verification module · masses
Read the description recorded in the module registry
Lie grounding: 16 = Λ^even(5) = 1 + 10 + 5
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.