TFPT scientific source excerpt
Original repository path: verification/v258_dirac_covariance_induction.py
Original file SHA-256: 16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1
Inclusive original lines: 40-58
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.

000040 |         scale mu_geo: building C_F from the v252 charged spectrum and inducing
000041 |         returns the SAME mass spectrum (D_F^ind ~_U D_F).  The built operator and
000042 |         the covariance readout are the same operator.
000043 |   [E] 5. MAJORANA = OFF-DIAGONAL COVARIANCE.  the type-I seesaw block is the
000044 |         particle<->antiparticle off-diagonal of C_F; inducing it reproduces the
000045 |         seesaw eigenvalue m_D^2/M_R -- the sigma/Majorana term is a covariance
000046 |         entry, not an extra postulate.
000047 |   [C] 6. PHYSICAL IDENTIFICATION.  C_F = P_F C_Sigma P_F: the carrier covariance is
000048 |         the compression of the seam Calderon/KMS two-point function (the boundary
000049 |         quasi-free state, v155/v160/v175) to the finite carrier P_F.  Under it, the
000050 |         v252 D_F is the KK-theoretic shadow [D_Sigma] (x)_{(E8)_1} [K_car] of the
000051 |         boundary geometry; the v18 Yukawa numbers are the READOUT of C_Sigma, not
000052 |         an independent input.  This is the constructive content of "carrier gauged"
000053 |         once the seam realisation (the one [O] premise) is granted.
000054 | 
000055 | Status: [E] for the exact modular inversion + contraction + chirality-odd +
000056 | unitary-equivalence + Majorana-as-covariance (items 1-5); [C] for the seam-side
000057 | identification C_F = P_F C_Sigma P_F (item 6), which rests on the same open seam
000058 | realisation as the rest of the QFT layer.  Python-only (numpy linear algebra).