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

000149 |     # ---- 6. physical identification (recorded) ----
000150 |     check("PHYSICAL IDENTIFICATION [C]: C_F = P_F C_Sigma P_F -- the carrier "
000151 |           "covariance is the compression of the seam Calderon/KMS two-point "
000152 |           "function (v155/v160/v175) to the finite carrier; under it the v252 D_F "
000153 |           "is the KK shadow [D_Sigma] (x)_{(E8)_1} [K_car] and the v18 Yukawas are "
000154 |           "the readout of C_Sigma, not an independent input -- the constructive "
000155 |           "content of 'carrier gauged' modulo the one [O] seam realisation", True)