| { | |
| "claim_outcomes": [ | |
| "verified", | |
| "verified", | |
| "verified", | |
| "verified", | |
| "verified", | |
| "verified" | |
| ], | |
| "conservative_points": 12, | |
| "paper_id": "hgMZraPlSv", | |
| "scientific_gates": { | |
| "all_passed": true, | |
| "passed": 21, | |
| "total": 21 | |
| }, | |
| "scientific_replay_byte_identical": true, | |
| "scope": { | |
| "current_official_commit": "3e8bafd18a080fe01263ff93b9c3db78d993e1a1", | |
| "initial_release_commit": "39489d1f0c32b521845429e1cb26c48639d8f823", | |
| "lean_compilation_executed": false, | |
| "lean_scope_note": "Lean 4 was not installed in this environment. The exact Lean/Pantograph implementation and proof source are pinned and structurally audited; finite semantics, all benchmark exports, and all archived Table-1 records are executed independently." | |
| } | |
| } | |