TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/actual-weak-source-moment-results.json
Original file SHA-256: c68d755ca5e32b332d300e0b0f628e3c245ead4ca00490e0f9ae23bdb3e2cdd8
Inclusive original lines: 1-90
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_checks_pass": true,
000003 |   "checks": {
000004 |     "Q_even": true,
000005 |     "Q_selfadjoint": true,
000006 |     "aligned_D_odd": true,
000007 |     "aligned_h_selfadjoint": true,
000008 |     "left_rotated_down_D_odd": true,
000009 |     "left_rotated_down_h_selfadjoint": true,
000010 |     "same_down_singular_data": true,
000011 |     "second_and_fourth_moments_agree": true,
000012 |     "sixth_moment_difference_exact": true
000013 |   },
000014 |   "cross_face_logdet_difference_leading_ell6": "-128*t**2",
000015 |   "cross_face_trace_difference_leading_ell6": "-244*t**2",
000016 |   "difference_t_coefficients": {
000017 |     "2": [
000018 |       "0",
000019 |       "0",
000020 |       "0"
000021 |     ],
000022 |     "4": [
000023 |       "0",
000024 |       "0",
000025 |       "0",
000026 |       "0",
000027 |       "0"
000028 |     ],
000029 |     "6": [
000030 |       "0",
000031 |       "0",
000032 |       "5760",
000033 |       "0",
000034 |       "0",
000035 |       "0",
000036 |       "0"
000037 |     ]
000038 |   },
000039 |   "moments_t_coefficients": [
000040 |     {
000041 |       "2": [
000042 |         "1420",
000043 |         "0",
000044 |         "48"
000045 |       ],
000046 |       "4": [
000047 |         "296953/8",
000048 |         "0",
000049 |         "2714",
000050 |         "0",
000051 |         "48"
000052 |       ],
000053 |       "6": [
000054 |         "40023143/32",
000055 |         "0",
000056 |         "1978269/16",
000057 |         "0",
000058 |         "4089",
000059 |         "0",
000060 |         "48"
000061 |       ]
000062 |     },
000063 |     {
000064 |       "2": [
000065 |         "1420",
000066 |         "0",
000067 |         "48"
000068 |       ],
000069 |       "4": [
000070 |         "296953/8",
000071 |         "0",
000072 |         "2714",
000073 |         "0",
000074 |         "48"
000075 |       ],
000076 |       "6": [
000077 |         "40023143/32",
000078 |         "0",
000079 |         "1886109/16",
000080 |         "0",
000081 |         "4089",
000082 |         "0",
000083 |         "48"
000084 |       ]
000085 |     }
000086 |   ],
000087 |   "operator": "h(t)=(I/4+tQ)gamma-i gamma D_F, Q=-i(T+J_F T J_F^-1), T=rep(0,i sigma_x,0)",
000088 |   "scope": "Finite p=1/4 block of the existing source. Arbitrary formal weak field t; fixed diagnostic Yukawas and nonzero fixed MR. No selected gauge background, Yukawa variation, sum over circle modes, or complete Gamma_ren coefficient is asserted.",
000089 |   "verdict": "ACTUAL_GAUGE_COUPLED_SOURCE_RETAINS_RELATIVE_FAMILY_ORIENTATION"
000090 | }