Beal: source and evidence

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 {
2   "claim_id": "BEAL_BLOCK67_WRAPPER_LABEL_CORRECTION",
3   "mathematics": {
4     "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.",
5     "coefficient_domain": "Exact hashes and metadata. No new mathematical arithmetic.",
6     "conventions": "Block67 documented PASS differs from generic wrapper PASS_DECLARED_CHECKS requirement.",
7     "inputs": [
8       "Authentic original failed-wrapper record and its successful scientific subprocess report, plus original canonical output hashes."
9     ],
10     "bounds": {
11       "scientific_outputs": 8,
12       "negative_controls": 9,
13       "scientific_executions_repeated": 0
14     },
15     "non_claims": [
16       "Does not turn the failed wrapper into a successful wrapper, modify records or rerun the arithmetic experiment."
17     ]
18   },
19   "execution_artifacts": [
20     "evidence/computation/validate_block67_status.py",
21     "evidence/computation/contracts/block67_status.json",
22     "evidence/computation/plans/block67.json",
23     "evidence/computation/block67-run/extraction_and_invocation.json",
24     "evidence/computation/block67-run/manifest.json",
25     "evidence/computation/block67-run/report.json",
26     "evidence/computation/block67-run/stderr.txt",
27     "evidence/computation/block67-run/stdout.txt",
28     "evidence/computation/block67-run/verifier_stderr.txt",
29     "evidence/computation/block67-run/verifier_stdout.txt"
30   ],
31   "software": [
32     {
33       "name": "computation-python",
34       "version": "3.12.14"
35     }
36   ],
37   "randomness": {
38     "used": false,
39     "generator": "",
40     "seed": null
41   }
42 }

Back to source controls

Back to Beal: source and evidence