TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/original_insertions/results.json
Original file SHA-256: aa268cad36cde7493cfb6c658ecdaa2dd5eebaa1220fabd3ea58f46fa4c625b8
Inclusive original lines: 1-75
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": "EXACT_CONTROLS_PASS_WITH_ANALYTIC_CLASSIFICATION_IN_PROOF",
000003 |   "original_source_sha256": "820254440e178430422e50605067775656236602996307f67c9e69124ba5d163",
000004 |   "finite_constructor_control": {
000005 |     "dimension": 96,
000006 |     "rank": 96,
000007 |     "positive_internal_grades": 48,
000008 |     "negative_internal_grades": 48,
000009 |     "quaternion_insertion_witnesses": 4,
000010 |     "input_status": "integer controls, not physical Yukawas"
000011 |   },
000012 |   "constant_commutants": [
000013 |     {
000014 |       "masses": [
000015 |         1,
000016 |         2
000017 |       ],
000018 |       "commutant_complex_dimension": 2
000019 |     },
000020 |     {
000021 |       "masses": [
000022 |         1,
000023 |         -1
000024 |       ],
000025 |       "commutant_complex_dimension": 4
000026 |     },
000027 |     {
000028 |       "masses": [
000029 |         1,
000030 |         0
000031 |       ],
000032 |       "commutant_complex_dimension": 3
000033 |     },
000034 |     {
000035 |       "masses": [
000036 |         1,
000037 |         -1,
000038 |         0
000039 |       ],
000040 |       "commutant_complex_dimension": 6
000041 |     }
000042 |   ],
000043 |   "existing_normal_kernel_controls": [
000044 |     {
000045 |       "positive": 1,
000046 |       "negative": 0,
000047 |       "net_level": 1,
000048 |       "single_right_time_ward": true
000049 |     },
000050 |     {
000051 |       "positive": 2,
000052 |       "negative": 1,
000053 |       "net_level": 1,
000054 |       "single_right_time_ward": false
000055 |     },
000056 |     {
000057 |       "positive": 3,
000058 |       "negative": 2,
000059 |       "net_level": 1,
000060 |       "single_right_time_ward": false
000061 |     },
000062 |     {
000063 |       "positive": 4,
000064 |       "negative": 3,
000065 |       "net_level": 1,
000066 |       "single_right_time_ward": false
000067 |     }
000068 |   ],
000069 |   "mixed_va_cocycle_at_original_profiles": "-4*I",
000070 |   "right_cocycle_at_original_profiles": "-2*I",
000071 |   "actual_product_grading_and_reflection_symbols": "PASS",
000072 |   "state": "retained pure two-face CAR graph; right face thermal",
000073 |   "actual_physical_P1_source_image_derived": false,
000074 |   "full_TFPT_solution": false
000075 | }