TFPT scientific source excerpt
Original repository path: verification/v250_dirac_triple_contract.py
Original file SHA-256: ab2fb45997bc3b8b7dd32e66c52c315c1bbdac7df43d0bd7d3ccfe16ba94d089
Inclusive original lines: 6-13
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.

000006 | The target object is a real, even, almost-commutative spectral triple
000007 |     (A, H, D, J, gamma) = (C^inf(M) (x) A_F,  L^2(M,S) (x) H_F,
000008 |                            D_M (x) 1 + gamma_5 (x) D_F,  J, gamma)
000009 | with A_F the Pati-Salam algebra (v248), H_F = 3 x 16, and D_F built from the TFPT
000010 | flavor data (R, L, phi0, Majorana branch).
000011 | 
000012 |   [E] 1. FINITE HILBERT SPACE.  H_F = N_fam x dim S^+ = 3 x 16 = 48 (three
000013 |         generations of the SO(10) spinor); the PS algebra A_F (v248) acts on it.