TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/verification_recovery_20261029/targeted-replay.json
Original file SHA-256: c1e7b3aca67bc93f4aab72ea726077139e06d512771968dbbefead2838e65275
Inclusive original lines: 1-24
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 |   "date": "2026-10-29",
000003 |   "full_suite_executed": false,
000004 |   "runs": [
000005 |     {
000006 |       "script": "verification/v622_seam_identification.py",
000007 |       "exit_code": 0,
000008 |       "passed": 10,
000009 |       "failed": 0,
000010 |       "verdict": "SEAM-IDENTIFIED",
000011 |       "scope": "Exact discrete NS kernel, mark geometry and cut dictionary; not interacting cover or physical P1 identification"
000012 |     },
000013 |     {
000014 |       "script": "verification/v1030_alg2_sector_frame.py",
000015 |       "exit_code": 0,
000016 |       "passed": 27,
000017 |       "failed": 0,
000018 |       "verdict": "CONDITIONAL_SECTOR_AND_FRAME_LEMMAS_PROVED; MICROSCOPIC_FE_GEN_AND_ALG2_OPEN",
000019 |       "scope": "Finite sector/frame algebra and conditional norm estimate; actual microscopic hypotheses not proved"
000020 |     }
000021 |   ],
000022 |   "complete_TFPT_solution": false,
000023 |   "ledger_changed": false
000024 | }