TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/admissible_pair_20261028/single_ward_refinement/WARD-VERIFICATION.json
Original file SHA-256: de21c0d7dccbf44396cfbb7853bb0dc671c97427d89f790d21a8c12e0120ca4b
Inclusive original lines: 1-8
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 |   "checker": "check_covariant_rigidity.py",
000003 |   "normal_optimized_equal": true,
000004 |   "checker_sha256": "46a0edd1825f3e6a440f26a452fe333742dce26e40f5f87e19c2711a3bc9fce1",
000005 |   "result": "covariant-rigidity-results.json",
000006 |   "result_sha256": "760848d95be53cf860e2a3ee0c9a48153fb85ff3b07c1bdbe74cd651ae363ec2",
000007 |   "stdout_sha256": "59724daa436235595b44f7322b1d89c41aa79901daf34defee0ded94c78fcc2c"
000008 | }