TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/elliptic-review-results.txt Original file SHA-256: e64e17ff8f2c7ccf01ca2697329703ceee5227b5bb186bcb1d70b107662eba23 Inclusive original lines: 1-2 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 | PASS 17/17 000002 | RESULT_SHA256 1f3f8f6c0f22d134f9bc6b45835a654aca860221e8b6f37bc1bec513bb2effbb