TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/hodge_complement_20261028/e8-clifford-response-results.json Original file SHA-256: 67fe9e3f06140c5c23452e9a7bfaefc02441ff1e7b55708e55409cd0a398e7ee Inclusive original lines: 201-300 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. 000201 | "0,0,-2,0,0,-2,0,0": "1", 000202 | "0,0,-2,0,0,0,-2,0": "1", 000203 | "0,0,-2,0,0,0,0,-2": "-1", 000204 | "0,0,-2,0,0,0,0,2": "1", 000205 | "0,0,-2,0,0,0,2,0": "1", 000206 | "0,0,-2,0,0,2,0,0": "1", 000207 | "0,0,-2,0,2,0,0,0": "1", 000208 | "0,0,-2,2,0,0,0,0": "1", 000209 | "0,0,0,-2,-2,0,0,0": "1", 000210 | "0,0,0,-2,0,-2,0,0": "1", 000211 | "0,0,0,-2,0,0,-2,0": "1", 000212 | "0,0,0,-2,0,0,0,-2": "1", 000213 | "0,0,0,-2,0,0,0,2": "-1", 000214 | "0,0,0,-2,0,0,2,0": "1", 000215 | "0,0,0,-2,0,2,0,0": "1", 000216 | "0,0,0,-2,2,0,0,0": "1", 000217 | "0,0,0,0,-2,-2,0,0": "1", 000218 | "0,0,0,0,-2,0,-2,0": "1", 000219 | "0,0,0,0,-2,0,0,-2": "-1", 000220 | "0,0,0,0,-2,0,0,2": "1", 000221 | "0,0,0,0,-2,0,2,0": "1", 000222 | "0,0,0,0,-2,2,0,0": "1", 000223 | "0,0,0,0,0,-2,-2,0": "1", 000224 | "0,0,0,0,0,-2,0,-2": "1", 000225 | "0,0,0,0,0,-2,0,2": "-1", 000226 | "0,0,0,0,0,-2,2,0": "1", 000227 | "0,0,0,0,0,0,-2,-2": "-1", 000228 | "0,0,0,0,0,0,-2,2": "1", 000229 | "0,0,0,0,0,0,2,-2": "1", 000230 | "0,0,0,0,0,0,2,2": "-1", 000231 | "0,0,0,0,0,2,-2,0": "1", 000232 | "0,0,0,0,0,2,0,-2": "-1", 000233 | "0,0,0,0,0,2,0,2": "1", 000234 | "0,0,0,0,0,2,2,0": "1", 000235 | "0,0,0,0,2,-2,0,0": "1", 000236 | "0,0,0,0,2,0,-2,0": "1", 000237 | "0,0,0,0,2,0,0,-2": "1", 000238 | "0,0,0,0,2,0,0,2": "-1", 000239 | "0,0,0,0,2,0,2,0": "1", 000240 | "0,0,0,0,2,2,0,0": "1", 000241 | "0,0,0,2,-2,0,0,0": "1", 000242 | "0,0,0,2,0,-2,0,0": "1", 000243 | "0,0,0,2,0,0,-2,0": "1", 000244 | "0,0,0,2,0,0,0,-2": "-1", 000245 | "0,0,0,2,0,0,0,2": "1", 000246 | "0,0,0,2,0,0,2,0": "1", 000247 | "0,0,0,2,0,2,0,0": "1", 000248 | "0,0,0,2,2,0,0,0": "1", 000249 | "0,0,2,-2,0,0,0,0": "1", 000250 | "0,0,2,0,-2,0,0,0": "1", 000251 | "0,0,2,0,0,-2,0,0": "1", 000252 | "0,0,2,0,0,0,-2,0": "1", 000253 | "0,0,2,0,0,0,0,-2": "1", 000254 | "0,0,2,0,0,0,0,2": "-1", 000255 | "0,0,2,0,0,0,2,0": "1", 000256 | "0,0,2,0,0,2,0,0": "1", 000257 | "0,0,2,0,2,0,0,0": "1", 000258 | "0,0,2,2,0,0,0,0": "1", 000259 | "0,2,-2,0,0,0,0,0": "1", 000260 | "0,2,0,-2,0,0,0,0": "1", 000261 | "0,2,0,0,-2,0,0,0": "1", 000262 | "0,2,0,0,0,-2,0,0": "1", 000263 | "0,2,0,0,0,0,-2,0": "1", 000264 | "0,2,0,0,0,0,0,-2": "-1", 000265 | "0,2,0,0,0,0,0,2": "1", 000266 | "0,2,0,0,0,0,2,0": "1", 000267 | "0,2,0,0,0,2,0,0": "1", 000268 | "0,2,0,0,2,0,0,0": "1", 000269 | "0,2,0,2,0,0,0,0": "1", 000270 | "0,2,2,0,0,0,0,0": "1", 000271 | "2,-2,0,0,0,0,0,0": "1", 000272 | "2,0,-2,0,0,0,0,0": "1", 000273 | "2,0,0,-2,0,0,0,0": "1", 000274 | "2,0,0,0,-2,0,0,0": "1", 000275 | "2,0,0,0,0,-2,0,0": "1", 000276 | "2,0,0,0,0,0,-2,0": "1", 000277 | "2,0,0,0,0,0,0,-2": "1", 000278 | "2,0,0,0,0,0,0,2": "1", 000279 | "2,0,0,0,0,0,2,0": "-1", 000280 | "2,0,0,0,0,2,0,0": "-1", 000281 | "2,0,0,0,2,0,0,0": "-1", 000282 | "2,0,0,2,0,0,0,0": "-1", 000283 | "2,0,2,0,0,0,0,0": "-1", 000284 | "2,2,0,0,0,0,0,0": "-1" 000285 | }, 000286 | "sources": [ 000287 | { 000288 | "path": "tfpt_explorer/current_block_geometry.py", 000289 | "sha256": "c9efcac4ba33d4ee3dc20f8c3c69a0f6ff6b2084893a5edf4aaae6c204d9056b" 000290 | }, 000291 | { 000292 | "path": "verification/v498_celestial_wp5b_singular_vector.py", 000293 | "sha256": "9f5a2d62523283595b754fea6f70ddc6501a251daf86752cbc67ded252b96180" 000294 | }, 000295 | { 000296 | "path": "verification/v810_cutcode_moment.py", 000297 | "sha256": "8dcf729eb9be10b4d51ecdc61f41624f8cf87a991cd5a2c72eaeb2269212afae" 000298 | } 000299 | ] 000300 | }