{
  "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."
  }
}