TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/original-action-covariance-results.json
Original file SHA-256: 5ce09f5d534e958cbb8a73b481b2efa45886a10a32e2d1c865961cf1a1e43df2
Inclusive original lines: 1-37
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.

000001 | {
000002 |   "verdict": "PASS_SCOPED_ORIGINAL_COVARIANCE_DERIVATION",
000003 |   "source_operator": "verification/v252_full_finite_triple.py:full_D,rep_PS,Kswap",
000004 |   "original_parameter_basis": {
000005 |     "real_Yukawa_directions": 72,
000006 |     "real_symmetric_Majorana_directions": 12,
000007 |     "total": 84
000008 |   },
000009 |   "diagnostic_group_element": "Original v254 quaternion(0,1); cos(theta)=0,sin(theta)=1",
000010 |   "symbolic_exact_identities": {
000011 |     "majorana_block_identity": true,
000012 |     "quadratic_norm_identity": true,
000013 |     "linear_trace_square_defect": true,
000014 |     "fourth_trace_majorana_factor": true,
000015 |     "fourth_trace_yukawa_diagonal_factor": true
000016 |   },
000017 |   "native_max_residuals": {
000018 |     "full_covariance": 0.0,
000019 |     "A2_without_MR": 0.0,
000020 |     "Majorana_block_formula": 0.0,
000021 |     "A2_norm_formula": 3.552713678800501e-15,
000022 |     "TrD2_defect_formula": 1.7763568394002505e-15,
000023 |     "SM_control_A2": 0.0,
000024 |     "original_v252_fixture_TrD4_relative_error": 1.643581576432312e-16
000025 |   },
000026 |   "derived_formulas": {
000027 |     "A2": "hat(u) [ A1, hat(u)^* ]",
000028 |     "Majorana_A2": "((qR-I)e_nu)((qR-I)e_nu)^T tensor M_R",
000029 |     "A2_HS_norm_squared": "8*(1-cos(theta))^2*||M_R||_HS^2",
000030 |     "linear_TrD2_gauge_defect": "4*(1-cos(theta))^2*||M_R||_HS^2",
000031 |     "linear_TrD4_gauge_defect_at_original_group_element": "12*Tr[(MR MR*)^2]+16*Tr[(Ye* Ye)(MR MR*)]"
000032 |   },
000033 |   "scope": "Original PS representation and its gauge orbit; group rotation is diagnostic, no new physical coupling. Covariance is necessary and does not uniquely specify arbitrary gauge-invariant additions to the action.",
000034 |   "new_physical_fields": false,
000035 |   "full_Sadm_derived": false,
000036 |   "physical_spectrum_computed": false
000037 | }