TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/quarter-stress-current-results.json
Original file SHA-256: d80d8494d40ac47751f90ba5dd9480cd20ddc73ea8b906b5d5ce3fcf51155668
Inclusive original lines: 1-70
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 |   "claim": "MATH.ORIGINAL-SEAM.QUARTER-STRESS-CURRENT.01",
000003 |   "complete_TFPT_solution": false,
000004 |   "finite_literal_car_replay": {
000005 |     "central_term_modes": [
000006 |       1,
000007 |       2,
000008 |       3,
000009 |       4,
000010 |       5,
000011 |       6,
000012 |       7
000013 |     ],
000014 |     "full_truncation_ccr_negative_control": true,
000015 |     "vector_mode_pairs": 126
000016 |   },
000017 |   "independent_cover_factor_negative_control": {
000018 |     "difference_vacuum_norm_polynomial": "k*(2*k - 1)*(2*k + 1)/6",
000019 |     "level_one_current_norms_modes_1_to_4": [
000020 |       1,
000021 |       2,
000022 |       3,
000023 |       4
000024 |     ],
000025 |     "no_common_rescaling": true,
000026 |     "no_nonzero_real_linear_stress_combination_is_heisenberg": true,
000027 |     "norms_modes_1_to_4": [
000028 |       "1/2",
000029 |       "5",
000030 |       "35/2",
000031 |       "42"
000032 |     ]
000033 |   },
000034 |   "old_winding_comparison": {
000035 |     "current": "2(Ad_Gamma(u_cov)^(-1)(L_3_4)-L_1_4)",
000036 |     "first_arrow_matrix_units_pull_back_exactly": true,
000037 |     "first_arrow_sea_and_subtraction_agree": true,
000038 |     "full_cover_vacuum_preservation_claimed": false,
000039 |     "u_cov_W0_equals_W1": true,
000040 |     "u_cov_W1_equals_W0_u_base": true,
000041 |     "wrap_sea_change_base_mode": -1
000042 |   },
000043 |   "physical_gates_closed": [],
000044 |   "scope": "Same original periodic CAR frame, sea, subtraction and finite-energy core. Old cut-cover winding comparison retained. No bare-P1 CAR-kernel derivation or point-local unfolded W8 map.",
000045 |   "sources": [
000046 |     {
000047 |       "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/check_w8_stress_cyclic.py",
000048 |       "sha256": "5caccc07fb478f1e68c756b4312619b015582968bb5e3a441c637d951b4f7923"
000049 |     },
000050 |     {
000051 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt",
000052 |       "sha256": "62a9eeb4519b59d4514445f9d4dd5d2059e29179956a4c97ec94b7bae9ae3094"
000053 |     },
000054 |     {
000055 |       "path": "experiments/theory-contracts/native-octic-seam-origin-20261025/GEOMETRIC-SOURCE-JET.txt",
000056 |       "sha256": "aa409fd5dbce2d3b32639aeb45be5666f0627172a73c933e1c07121a99b59058"
000057 |     },
000058 |     {
000059 |       "path": "experiments/theory-contracts/canonical-seam-fermionization-20261025/MOBIUS-QUARTER-OPERATOR-DICTIONARY.txt",
000060 |       "sha256": "0b5f5cb8a4e47bedc3c6febb00666893da1797335644d0fb058072379589bd59"
000061 |     }
000062 |   ],
000063 |   "synthesis": {
000064 |     "L_1_4_coefficient": -2,
000065 |     "L_3_4_coefficient": 2,
000066 |     "all_nonzero_modes_symbolic": true,
000067 |     "zero_mode_including_all_charge_terms": true
000068 |   },
000069 |   "verdict": "EXACT_IN_THE_EXISTING_COMMON_CAR_FRAME"
000070 | }