TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/admissible_pair_20261028/VERIFICATION.json
Original file SHA-256: b9529e1bb6c0052d486653339caf731d0a4ddab5dc20939a27ba6ec1d0417f6d
Inclusive original lines: 1-29
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 |   "scope": "Three decisive checks only; not a full publication or physical TFPT closure.",
000003 |   "checks": [
000004 |     {
000005 |       "checker": "check_covariant_rigidity.py",
000006 |       "normal_optimized_equal": true,
000007 |       "checker_sha256": "5bd291b2ebe05e605bde9493e8c27d5bb8434fddc0abcf3688c4bfc30b7ddd81",
000008 |       "result": "covariant-rigidity-results.json",
000009 |       "result_sha256": "289d87ae0ba76260b153e12da8ce0147fc4e75526295c04d44f0443383336cf0",
000010 |       "stdout_sha256": "597bad93800557fd2363d024f06233749eea697857f592dd860feeca134e1ba8"
000011 |     },
000012 |     {
000013 |       "checker": "admissible_pair_source.py",
000014 |       "normal_optimized_equal": true,
000015 |       "checker_sha256": "108640d5938126a1b610b16c0844a64e14b290a10b612af85eaf7c5af8f854be",
000016 |       "result": "result.json",
000017 |       "result_sha256": "5d5dbe5da58f14d2bde0896ef26afb5ee29dbb401b7a565d6fe85011353273c9",
000018 |       "stdout_sha256": "5d5dbe5da58f14d2bde0896ef26afb5ee29dbb401b7a565d6fe85011353273c9"
000019 |     },
000020 |     {
000021 |       "checker": "check_source_clock_wedge_cycle.py",
000022 |       "normal_optimized_equal": true,
000023 |       "checker_sha256": "e76d515e58538f3c45337e33c02d72570d73b64ed48e0f5dc9a5c4bb0fcdbdd6",
000024 |       "result": "source-clock-wedge-cycle.json",
000025 |       "result_sha256": "1368db44991fb2f66ff2e54ded474bbd000fe13d21d409c08437fdda6d845f64",
000026 |       "stdout_sha256": "13bb02d8004b74899911d466e6d28cbdfdd34409591f162e3ffe6f1dd17f8276"
000027 |     }
000028 |   ]
000029 | }