TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/hodge_complement_20261028/e8-a4-results.json
Original file SHA-256: 2816fbc59ad82469571831c4ae852753a4a147d07fd247d835b0b8adfb49c334
Inclusive original lines: 401-574
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.

000401 |     "1,-1,-1,1,-1,-1,-1,-1": "1",
000402 |     "1,-1,-1,1,-1,-1,1,1": "1",
000403 |     "1,-1,-1,1,-1,1,-1,1": "-1",
000404 |     "1,-1,-1,1,-1,1,1,-1": "1",
000405 |     "1,-1,1,-1,-1,-1,-1,-1": "1",
000406 |     "1,-1,1,-1,-1,-1,1,1": "-1",
000407 |     "1,-1,1,-1,-1,1,-1,1": "1",
000408 |     "1,-1,1,-1,-1,1,1,-1": "1",
000409 |     "1,1,-1,-1,-1,-1,-1,-1": "1",
000410 |     "1,1,-1,-1,-1,-1,1,1": "1",
000411 |     "1,1,-1,-1,-1,1,-1,1": "-1",
000412 |     "1,1,-1,-1,-1,1,1,-1": "1",
000413 |     "2,0,0,0,2,0,0,0": "1",
000414 |     "2,0,0,2,0,0,0,0": "-1",
000415 |     "2,0,2,0,0,0,0,0": "1",
000416 |     "2,2,0,0,0,0,0,0": "-1"
000417 |   },
000418 |   "insertion_phase_chart": {
000419 |     "-1,-1,-1,-1,1,-1,-1,1": "1",
000420 |     "-1,-1,-1,-1,1,-1,1,-1": "-1",
000421 |     "-1,-1,-1,-1,1,1,-1,-1": "1",
000422 |     "-1,-1,-1,-1,1,1,1,1": "1",
000423 |     "-1,-1,-1,1,-1,-1,-1,1": "-1",
000424 |     "-1,-1,-1,1,-1,-1,1,-1": "-1",
000425 |     "-1,-1,-1,1,-1,1,-1,-1": "1",
000426 |     "-1,-1,-1,1,-1,1,1,1": "-1",
000427 |     "-1,-1,1,-1,-1,-1,-1,1": "1",
000428 |     "-1,-1,1,-1,-1,-1,1,-1": "-1",
000429 |     "-1,-1,1,-1,-1,1,-1,-1": "1",
000430 |     "-1,-1,1,-1,-1,1,1,1": "1",
000431 |     "-1,1,-1,-1,-1,-1,-1,1": "-1",
000432 |     "-1,1,-1,-1,-1,-1,1,-1": "-1",
000433 |     "-1,1,-1,-1,-1,1,-1,-1": "1",
000434 |     "-1,1,-1,-1,-1,1,1,1": "-1",
000435 |     "0,0,0,0,2,-2,0,0": "1",
000436 |     "0,0,0,0,2,0,-2,0": "-1",
000437 |     "0,0,0,0,2,0,0,-2": "1",
000438 |     "0,0,0,0,2,0,0,2": "-1",
000439 |     "0,0,0,0,2,0,2,0": "1",
000440 |     "0,0,0,0,2,2,0,0": "1",
000441 |     "0,0,0,2,0,-2,0,0": "-1",
000442 |     "0,0,0,2,0,0,-2,0": "1",
000443 |     "0,0,0,2,0,0,0,-2": "1",
000444 |     "0,0,0,2,0,0,0,2": "-1",
000445 |     "0,0,0,2,0,0,2,0": "-1",
000446 |     "0,0,0,2,0,2,0,0": "-1",
000447 |     "0,0,2,0,0,-2,0,0": "1",
000448 |     "0,0,2,0,0,0,-2,0": "-1",
000449 |     "0,0,2,0,0,0,0,-2": "1",
000450 |     "0,0,2,0,0,0,0,2": "-1",
000451 |     "0,0,2,0,0,0,2,0": "1",
000452 |     "0,0,2,0,0,2,0,0": "1",
000453 |     "0,2,0,0,0,-2,0,0": "-1",
000454 |     "0,2,0,0,0,0,-2,0": "1",
000455 |     "0,2,0,0,0,0,0,-2": "1",
000456 |     "0,2,0,0,0,0,0,2": "-1",
000457 |     "0,2,0,0,0,0,2,0": "-1",
000458 |     "0,2,0,0,0,2,0,0": "-1",
000459 |     "1,-1,-1,-1,-1,-1,-1,1": "1",
000460 |     "1,-1,-1,-1,-1,-1,1,-1": "-1",
000461 |     "1,-1,-1,-1,-1,1,-1,-1": "1",
000462 |     "1,-1,-1,-1,-1,1,1,1": "-1",
000463 |     "2,0,0,0,0,-2,0,0": "1",
000464 |     "2,0,0,0,0,0,-2,0": "-1",
000465 |     "2,0,0,0,0,0,0,-2": "1",
000466 |     "2,0,0,0,0,0,0,2": "1",
000467 |     "2,0,0,0,0,0,2,0": "-1",
000468 |     "2,0,0,0,0,2,0,0": "-1"
000469 |   },
000470 |   "output_bar10_phase_chart": {
000471 |     "-2,-2,0,0,0,0,0,0": "-1",
000472 |     "-2,0,-2,0,0,0,0,0": "1",
000473 |     "-2,0,0,-2,0,0,0,0": "-1",
000474 |     "-2,0,0,0,-2,0,0,0": "1",
000475 |     "-1,-1,1,1,1,-1,-1,1": "1",
000476 |     "-1,-1,1,1,1,-1,1,-1": "-1",
000477 |     "-1,-1,1,1,1,1,-1,-1": "1",
000478 |     "-1,-1,1,1,1,1,1,1": "1",
000479 |     "-1,1,-1,1,1,-1,-1,1": "1",
000480 |     "-1,1,-1,1,1,-1,1,-1": "1",
000481 |     "-1,1,-1,1,1,1,-1,-1": "-1",
000482 |     "-1,1,-1,1,1,1,1,1": "1",
000483 |     "-1,1,1,-1,1,-1,-1,1": "1",
000484 |     "-1,1,1,-1,1,-1,1,-1": "-1",
000485 |     "-1,1,1,-1,1,1,-1,-1": "1",
000486 |     "-1,1,1,-1,1,1,1,1": "1",
000487 |     "-1,1,1,1,-1,-1,-1,1": "1",
000488 |     "-1,1,1,1,-1,-1,1,-1": "1",
000489 |     "-1,1,1,1,-1,1,-1,-1": "-1",
000490 |     "-1,1,1,1,-1,1,1,1": "1",
000491 |     "0,-2,-2,0,0,0,0,0": "1",
000492 |     "0,-2,0,-2,0,0,0,0": "-1",
000493 |     "0,-2,0,0,-2,0,0,0": "1",
000494 |     "0,0,-2,-2,0,0,0,0": "1",
000495 |     "0,0,-2,0,-2,0,0,0": "-1",
000496 |     "0,0,0,-2,-2,0,0,0": "1",
000497 |     "1,-1,-1,1,1,-1,-1,1": "-1",
000498 |     "1,-1,-1,1,1,-1,1,-1": "1",
000499 |     "1,-1,-1,1,1,1,-1,-1": "-1",
000500 |     "1,-1,-1,1,1,1,1,1": "1",
000501 |     "1,-1,1,-1,1,-1,-1,1": "-1",
000502 |     "1,-1,1,-1,1,-1,1,-1": "-1",
000503 |     "1,-1,1,-1,1,1,-1,-1": "1",
000504 |     "1,-1,1,-1,1,1,1,1": "1",
000505 |     "1,-1,1,1,-1,-1,-1,1": "-1",
000506 |     "1,-1,1,1,-1,-1,1,-1": "1",
000507 |     "1,-1,1,1,-1,1,-1,-1": "-1",
000508 |     "1,-1,1,1,-1,1,1,1": "1",
000509 |     "1,1,-1,-1,1,-1,-1,1": "-1",
000510 |     "1,1,-1,-1,1,-1,1,-1": "1",
000511 |     "1,1,-1,-1,1,1,-1,-1": "-1",
000512 |     "1,1,-1,-1,1,1,1,1": "1",
000513 |     "1,1,-1,1,-1,-1,-1,1": "-1",
000514 |     "1,1,-1,1,-1,-1,1,-1": "-1",
000515 |     "1,1,-1,1,-1,1,-1,-1": "1",
000516 |     "1,1,-1,1,-1,1,1,1": "1",
000517 |     "1,1,1,-1,-1,-1,-1,1": "-1",
000518 |     "1,1,1,-1,-1,-1,1,-1": "1",
000519 |     "1,1,1,-1,-1,1,-1,-1": "-1",
000520 |     "1,1,1,-1,-1,1,1,1": "1"
000521 |   },
000522 |   "neutral_root_phases": {
000523 |     "-2,0,0,0,2,0,0,0": "-1",
000524 |     "-2,0,0,2,0,0,0,0": "1",
000525 |     "-2,0,2,0,0,0,0,0": "-1",
000526 |     "-2,2,0,0,0,0,0,0": "1",
000527 |     "0,-2,0,0,2,0,0,0": "1",
000528 |     "0,-2,0,2,0,0,0,0": "-1",
000529 |     "0,-2,2,0,0,0,0,0": "1",
000530 |     "0,0,-2,0,2,0,0,0": "-1",
000531 |     "0,0,-2,2,0,0,0,0": "1",
000532 |     "0,0,0,-2,2,0,0,0": "1",
000533 |     "0,0,0,2,-2,0,0,0": "-1",
000534 |     "0,0,2,-2,0,0,0,0": "-1",
000535 |     "0,0,2,0,-2,0,0,0": "1",
000536 |     "0,2,-2,0,0,0,0,0": "-1",
000537 |     "0,2,0,-2,0,0,0,0": "1",
000538 |     "0,2,0,0,-2,0,0,0": "-1",
000539 |     "2,-2,0,0,0,0,0,0": "-1",
000540 |     "2,0,-2,0,0,0,0,0": "1",
000541 |     "2,0,0,-2,0,0,0,0": "-1",
000542 |     "2,0,0,0,-2,0,0,0": "1",
000543 |     "-1,-1,-1,-1,-1,-1,-1,-1": "1",
000544 |     "-1,-1,-1,-1,-1,-1,1,1": "-1",
000545 |     "-1,-1,-1,-1,-1,1,-1,1": "1",
000546 |     "-1,-1,-1,-1,-1,1,1,-1": "-1",
000547 |     "0,0,0,0,0,-2,-2,0": "-1",
000548 |     "0,0,0,0,0,-2,0,-2": "1",
000549 |     "0,0,0,0,0,-2,0,2": "1",
000550 |     "0,0,0,0,0,-2,2,0": "-1",
000551 |     "0,0,0,0,0,0,-2,-2": "1",
000552 |     "0,0,0,0,0,0,-2,2": "-1",
000553 |     "0,0,0,0,0,0,2,-2": "1",
000554 |     "0,0,0,0,0,0,2,2": "-1",
000555 |     "0,0,0,0,0,2,-2,0": "1",
000556 |     "0,0,0,0,0,2,0,-2": "-1",
000557 |     "0,0,0,0,0,2,0,2": "-1",
000558 |     "0,0,0,0,0,2,2,0": "1",
000559 |     "1,1,1,1,1,-1,-1,1": "1",
000560 |     "1,1,1,1,1,-1,1,-1": "-1",
000561 |     "1,1,1,1,1,1,-1,-1": "1",
000562 |     "1,1,1,1,1,1,1,1": "-1"
000563 |   },
000564 |   "sources": [
000565 |     {
000566 |       "path": "tfpt_explorer/current_block_geometry.py",
000567 |       "sha256": "c9efcac4ba33d4ee3dc20f8c3c69a0f6ff6b2084893a5edf4aaae6c204d9056b"
000568 |     },
000569 |     {
000570 |       "path": "verification/v498_celestial_wp5b_singular_vector.py",
000571 |       "sha256": "9f5a2d62523283595b754fea6f70ddc6501a251daf86752cbc67ded252b96180"
000572 |     }
000573 |   ]
000574 | }