TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/RECURSIVE-WORD-SOURCE-STRUCTURE.json
Original file SHA-256: d9317e9629b264b27bacb50f95b721af77a1cd2147998226fb0fe0748f6964db
Inclusive original lines: 1-194
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 |   "contract": "ORIGINAL-RECURSIVE-WORD-SOURCE-20261030",
000003 |   "all_passed": true,
000004 |   "checks": {
000005 |     "memory_dimension63": true,
000006 |     "sector_sum_is_original_memory_defect": true,
000007 |     "weighted_sector_sum_is_clock_defect": true,
000008 |     "clock_defect_metric_Hermitian": true,
000009 |     "negative_clock_defect_strictly_positive": true,
000010 |     "opposite_imaginary_sector_input_forms_equal": true
000011 |   },
000012 |   "memory_clock_multiplicities": {
000013 |     "1": 18,
000014 |     "I": 14,
000015 |     "-1": 17,
000016 |     "-I": 14
000017 |   },
000018 |   "clock_sector_input_Gram_forms": {
000019 |     "1": [
000020 |       [
000021 |         "60848/9",
000022 |         "-11792*I/9",
000023 |         "0",
000024 |         "0",
000025 |         "0"
000026 |       ],
000027 |       [
000028 |         "47168*I/3",
000029 |         "54464/3",
000030 |         "0",
000031 |         "0",
000032 |         "0"
000033 |       ],
000034 |       [
000035 |         "0",
000036 |         "0",
000037 |         "2816",
000038 |         "0",
000039 |         "0"
000040 |       ],
000041 |       [
000042 |         "0",
000043 |         "0",
000044 |         "0",
000045 |         "2816",
000046 |         "0"
000047 |       ],
000048 |       [
000049 |         "0",
000050 |         "0",
000051 |         "0",
000052 |         "0",
000053 |         "0"
000054 |       ]
000055 |     ],
000056 |     "I": [
000057 |       [
000058 |         "3072",
000059 |         "0",
000060 |         "0",
000061 |         "0",
000062 |         "0"
000063 |       ],
000064 |       [
000065 |         "0",
000066 |         "5120",
000067 |         "0",
000068 |         "0",
000069 |         "0"
000070 |       ],
000071 |       [
000072 |         "0",
000073 |         "0",
000074 |         "1024",
000075 |         "0",
000076 |         "0"
000077 |       ],
000078 |       [
000079 |         "0",
000080 |         "0",
000081 |         "0",
000082 |         "1024",
000083 |         "0"
000084 |       ],
000085 |       [
000086 |         "0",
000087 |         "0",
000088 |         "0",
000089 |         "0",
000090 |         "2048"
000091 |       ]
000092 |     ],
000093 |     "-1": [
000094 |       [
000095 |         "29056/3",
000096 |         "-5248*I/3",
000097 |         "0",
000098 |         "0",
000099 |         "0"
000100 |       ],
000101 |       [
000102 |         "20992*I",
000103 |         "18944",
000104 |         "0",
000105 |         "0",
000106 |         "0"
000107 |       ],
000108 |       [
000109 |         "0",
000110 |         "0",
000111 |         "4096",
000112 |         "0",
000113 |         "0"
000114 |       ],
000115 |       [
000116 |         "0",
000117 |         "0",
000118 |         "0",
000119 |         "4096",
000120 |         "0"
000121 |       ],
000122 |       [
000123 |         "0",
000124 |         "0",
000125 |         "0",
000126 |         "0",
000127 |         "1024"
000128 |       ]
000129 |     ],
000130 |     "-I": [
000131 |       [
000132 |         "3072",
000133 |         "0",
000134 |         "0",
000135 |         "0",
000136 |         "0"
000137 |       ],
000138 |       [
000139 |         "0",
000140 |         "5120",
000141 |         "0",
000142 |         "0",
000143 |         "0"
000144 |       ],
000145 |       [
000146 |         "0",
000147 |         "0",
000148 |         "1024",
000149 |         "0",
000150 |         "0"
000151 |       ],
000152 |       [
000153 |         "0",
000154 |         "0",
000155 |         "0",
000156 |         "1024",
000157 |         "0"
000158 |       ],
000159 |       [
000160 |         "0",
000161 |         "0",
000162 |         "0",
000163 |         "0",
000164 |         "2048"
000165 |       ]
000166 |     ]
000167 |   },
000168 |   "input_form_ranks": [
000169 |     4,
000170 |     5,
000171 |     5,
000172 |     5
000173 |   ],
000174 |   "code_metric": [
000175 |     "96",
000176 |     "8",
000177 |     "8",
000178 |     "8",
000179 |     "1"
000180 |   ],
000181 |   "negative_clock_defect_leading_minors": [
000182 |     "2449408",
000183 |     "830270865408",
000184 |     "68015789294223360",
000185 |     "5571853458982777651200",
000186 |     "34233467651990185888972800"
000187 |   ],
000188 |   "original_unit_f4_response_amplitudes": {
000189 |     "L_L": "6144",
000190 |     "L_J_L": "0",
000191 |     "incorrect_code_only_L_L": "1024"
000192 |   },
000193 |   "scope": "Same original single-beta L and native J alphabet only. Sector dimensions are not physical spatial dimensions or particle counts."
000194 | }