TFPT scientific source excerpt
Original repository path: verification/v474_entropic_hodge_carrier.py
Original file SHA-256: 4058bc3b6da2939ca9555804fb36d6044837c036403949e1262ec32d29e23505
Inclusive original lines: 9-19
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000009 |   [E] 1. CAR => CLIFFORD (the spinor structure EXHIBITED).  On the 32-dim Fock
000010 |         space Lambda^* C^5 the ten operators Gamma_{2k} = a_k^dag + a_k,
000011 |         Gamma_{2k+1} = i(a_k^dag - a_k) satisfy {Gamma_a, Gamma_b} = 2 delta_ab
000012 |         exactly -- the so(10) = D5 Clifford algebra acts on the carrier
000013 |         exterior algebra (exact integer matrices).
000014 |   [E] 2. S+ = Lambda^even AS A D5-MODULE (operator level).  The 45 bilinears
000015 |         M_ab = [Gamma_a, Gamma_b]/4 all commute with the grading involution
000016 |         gamma = (-1)^N, span a 45-dimensional Lie algebra (= dim so(10)), and
000017 |         preserve the 16-dim even subspace: the carrier half-spinor IS the even
000018 |         exterior algebra with its spinor structure -- the v2/v44/v197 count,
000019 |         now with the algebra action checked.