{
  "claim_id": "BEAL_BLOCK67_WRAPPER_LABEL_CORRECTION",
  "mathematics": {
    "assertion_tested": "Verify the actual unchanged Block67 subprocess exited0 with its documented PASS status, all8 original scientific hashes match,9 rejection controls ran, and the failed wrapper record/logs remain intact.",
    "coefficient_domain": "Exact hashes and metadata. No new mathematical arithmetic.",
    "conventions": "Block67 documented PASS differs from generic wrapper PASS_DECLARED_CHECKS requirement.",
    "inputs": [
      "Authentic original failed-wrapper record and its successful scientific subprocess report, plus original canonical output hashes."
    ],
    "bounds": {
      "scientific_outputs": 8,
      "negative_controls": 9,
      "scientific_executions_repeated": 0
    },
    "non_claims": [
      "Does not turn the failed wrapper into a successful wrapper, modify records or rerun the arithmetic experiment."
    ]
  },
  "execution_artifacts": [
    "evidence/computation/validate_block67_status.py",
    "evidence/computation/contracts/block67_status.json",
    "evidence/computation/plans/block67.json",
    "evidence/computation/block67-run/extraction_and_invocation.json",
    "evidence/computation/block67-run/manifest.json",
    "evidence/computation/block67-run/report.json",
    "evidence/computation/block67-run/stderr.txt",
    "evidence/computation/block67-run/stdout.txt",
    "evidence/computation/block67-run/verifier_stderr.txt",
    "evidence/computation/block67-run/verifier_stdout.txt"
  ],
  "software": [
    {
      "name": "computation-python",
      "version": "3.12.14"
    }
  ],
  "randomness": {
    "used": false,
    "generator": "",
    "seed": null
  }
}