TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/old-hodge-to-a4-results.json
Original file SHA-256: 7d7ba9590cd8380400ddc04d57f9580fcb7fe06e184ed23dff316c7047435976
Inclusive original lines: 201-400
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,
000202 |         3
000203 |       ],
000204 |       "output_pair": [
000205 |         1,
000206 |         4
000207 |       ],
000208 |       "old_wedge_sign": -1,
000209 |       "volume_character": 1,
000210 |       "new_epsilon_sign": -1
000211 |     },
000212 |     {
000213 |       "omitted": 2,
000214 |       "input_pair": [
000215 |         0,
000216 |         4
000217 |       ],
000218 |       "output_pair": [
000219 |         1,
000220 |         3
000221 |       ],
000222 |       "old_wedge_sign": 1,
000223 |       "volume_character": 1,
000224 |       "new_epsilon_sign": 1
000225 |     },
000226 |     {
000227 |       "omitted": 2,
000228 |       "input_pair": [
000229 |         1,
000230 |         3
000231 |       ],
000232 |       "output_pair": [
000233 |         0,
000234 |         4
000235 |       ],
000236 |       "old_wedge_sign": 1,
000237 |       "volume_character": 1,
000238 |       "new_epsilon_sign": 1
000239 |     },
000240 |     {
000241 |       "omitted": 2,
000242 |       "input_pair": [
000243 |         1,
000244 |         4
000245 |       ],
000246 |       "output_pair": [
000247 |         0,
000248 |         3
000249 |       ],
000250 |       "old_wedge_sign": -1,
000251 |       "volume_character": 1,
000252 |       "new_epsilon_sign": -1
000253 |     },
000254 |     {
000255 |       "omitted": 2,
000256 |       "input_pair": [
000257 |         3,
000258 |         4
000259 |       ],
000260 |       "output_pair": [
000261 |         0,
000262 |         1
000263 |       ],
000264 |       "old_wedge_sign": 1,
000265 |       "volume_character": 1,
000266 |       "new_epsilon_sign": 1
000267 |     },
000268 |     {
000269 |       "omitted": 3,
000270 |       "input_pair": [
000271 |         0,
000272 |         1
000273 |       ],
000274 |       "output_pair": [
000275 |         2,
000276 |         4
000277 |       ],
000278 |       "old_wedge_sign": 1,
000279 |       "volume_character": -1,
000280 |       "new_epsilon_sign": -1
000281 |     },
000282 |     {
000283 |       "omitted": 3,
000284 |       "input_pair": [
000285 |         0,
000286 |         2
000287 |       ],
000288 |       "output_pair": [
000289 |         1,
000290 |         4
000291 |       ],
000292 |       "old_wedge_sign": -1,
000293 |       "volume_character": -1,
000294 |       "new_epsilon_sign": 1
000295 |     },
000296 |     {
000297 |       "omitted": 3,
000298 |       "input_pair": [
000299 |         0,
000300 |         4
000301 |       ],
000302 |       "output_pair": [
000303 |         1,
000304 |         2
000305 |       ],
000306 |       "old_wedge_sign": 1,
000307 |       "volume_character": -1,
000308 |       "new_epsilon_sign": -1
000309 |     },
000310 |     {
000311 |       "omitted": 3,
000312 |       "input_pair": [
000313 |         1,
000314 |         2
000315 |       ],
000316 |       "output_pair": [
000317 |         0,
000318 |         4
000319 |       ],
000320 |       "old_wedge_sign": 1,
000321 |       "volume_character": -1,
000322 |       "new_epsilon_sign": -1
000323 |     },
000324 |     {
000325 |       "omitted": 3,
000326 |       "input_pair": [
000327 |         1,
000328 |         4
000329 |       ],
000330 |       "output_pair": [
000331 |         0,
000332 |         2
000333 |       ],
000334 |       "old_wedge_sign": -1,
000335 |       "volume_character": -1,
000336 |       "new_epsilon_sign": 1
000337 |     },
000338 |     {
000339 |       "omitted": 3,
000340 |       "input_pair": [
000341 |         2,
000342 |         4
000343 |       ],
000344 |       "output_pair": [
000345 |         0,
000346 |         1
000347 |       ],
000348 |       "old_wedge_sign": 1,
000349 |       "volume_character": -1,
000350 |       "new_epsilon_sign": -1
000351 |     },
000352 |     {
000353 |       "omitted": 4,
000354 |       "input_pair": [
000355 |         0,
000356 |         1
000357 |       ],
000358 |       "output_pair": [
000359 |         2,
000360 |         3
000361 |       ],
000362 |       "old_wedge_sign": 1,
000363 |       "volume_character": 1,
000364 |       "new_epsilon_sign": 1
000365 |     },
000366 |     {
000367 |       "omitted": 4,
000368 |       "input_pair": [
000369 |         0,
000370 |         2
000371 |       ],
000372 |       "output_pair": [
000373 |         1,
000374 |         3
000375 |       ],
000376 |       "old_wedge_sign": -1,
000377 |       "volume_character": 1,
000378 |       "new_epsilon_sign": -1
000379 |     },
000380 |     {
000381 |       "omitted": 4,
000382 |       "input_pair": [
000383 |         0,
000384 |         3
000385 |       ],
000386 |       "output_pair": [
000387 |         1,
000388 |         2
000389 |       ],
000390 |       "old_wedge_sign": 1,
000391 |       "volume_character": 1,
000392 |       "new_epsilon_sign": 1
000393 |     },
000394 |     {
000395 |       "omitted": 4,
000396 |       "input_pair": [
000397 |         1,
000398 |         2
000399 |       ],
000400 |       "output_pair": [