TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-O1-HIGGS-LAW.json
Original file SHA-256: 6ad1f27ede01522d64884cbcb9d57f573e7673833cd76e5c61afa217218839bc
Inclusive original lines: 1-63
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 |   "all_passed": true,
000003 |   "checks": {
000004 |     "angular_covariance_00": true,
000005 |     "anomalous_pair_00": true,
000006 |     "angular_covariance_01": true,
000007 |     "anomalous_pair_01": true,
000008 |     "angular_covariance_10": true,
000009 |     "anomalous_pair_10": true,
000010 |     "angular_covariance_11": true,
000011 |     "anomalous_pair_11": true,
000012 |     "whole_fourth_tensor_0000": true,
000013 |     "whole_fourth_tensor_0001": true,
000014 |     "whole_fourth_tensor_0010": true,
000015 |     "whole_fourth_tensor_0011": true,
000016 |     "whole_fourth_tensor_0100": true,
000017 |     "whole_fourth_tensor_0101": true,
000018 |     "whole_fourth_tensor_0110": true,
000019 |     "whole_fourth_tensor_0111": true,
000020 |     "whole_fourth_tensor_1000": true,
000021 |     "whole_fourth_tensor_1001": true,
000022 |     "whole_fourth_tensor_1010": true,
000023 |     "whole_fourth_tensor_1011": true,
000024 |     "whole_fourth_tensor_1100": true,
000025 |     "whole_fourth_tensor_1101": true,
000026 |     "whole_fourth_tensor_1110": true,
000027 |     "whole_fourth_tensor_1111": true,
000028 |     "Gaussian_radial_moment_0": true,
000029 |     "Gaussian_radial_moment_1": true,
000030 |     "Gaussian_radial_moment_2": true,
000031 |     "Gaussian_radial_moment_3": true,
000032 |     "all_finite_quartic_moments_same_covariance": true,
000033 |     "real_S3_Fourier_coefficient_0": true,
000034 |     "real_S3_Fourier_coefficient_1": true,
000035 |     "real_S3_Fourier_coefficient_2": true,
000036 |     "real_S3_Fourier_coefficient_3": true,
000037 |     "real_S3_Fourier_coefficient_4": true,
000038 |     "exact_Bessel_kernel_series": true,
000039 |     "connected_fourth_coefficient": true,
000040 |     "native96_quadratic_0.0": true,
000041 |     "native96_quartic_Majorana_0.0": true,
000042 |     "native96_quadratic_1.5": true,
000043 |     "native96_quartic_Majorana_1.5": true,
000044 |     "native96_quadratic_3.0": true,
000045 |     "native96_quartic_Majorana_3.0": true,
000046 |     "native96_quadratic_4.5": true,
000047 |     "native96_quartic_Majorana_4.5": true,
000048 |     "same_covariance_same_native_quadratic": true,
000049 |     "same_covariance_different_native_quartic": true,
000050 |     "original_nonzero_Y_quartic_positive": true
000051 |   },
000052 |   "details": {
000053 |     "native_covariance_scale_diagnostic": 1.5,
000054 |     "native_traces": {
000055 |       "A": 366.23671674506375,
000056 |       "B": 3440.433768084257,
000057 |       "C": 235.9418949896545,
000058 |       "M2": 37.75200056547823,
000059 |       "M4": 604.7445092726797
000060 |     }
000061 |   },
000062 |   "scope": "Given O1 mode isometry/covariance and actual unitary weak-invariant positive constant-fiber marginal only;no primitive source/measure selected,no full fixed-background radial claim,no new Lean"
000063 | }