{
 "what": "the lab's run of its Lean proof gate, which builds the theorem files behind the home page's Lean theorem cards and audits their axioms: the command, when it ran, and its exit code (its printed output is not published)",
 "measured_utc": "2026-10-05T21:32:28Z",
 "source": {
  "repository": "genesis (packaging & extraction)",
  "revision": "80c2b67f",
  "path": "attest/witness_receipts_2026-09-12.json",
  "sha256": "a6f22a5b01a3a8a0786e6d32eb6624c88ae24a435acf2b25922442b77efcf446",
  "bytes": 37590
 },
 "not_served": "the source file records every result's run; this site publishes the one entry its pages read, and the sha256 above commits to the rest",
 "method": "read from the committed bytes above with a JSON pointer per field; no value is recomputed here",
 "pointers": {
  "command": "/receipts/3:screening-ceiling-forall-n/command",
  "ran_at_utc": "/receipts/3:screening-ceiling-forall-n/ran_at_utc",
  "exit": "/receipts/3:screening-ceiling-forall-n/exit",
  "verdict": "/receipts/3:screening-ceiling-forall-n/verdict"
 },
 "command": "PYTHONPATH=. python3 scripts/audit/verify_lean_proofs_gate.py",
 "ran_at_utc": "2026-09-12T00:43:36Z",
 "exit": 0,
 "verdict": "EXIT0_NO_TOUCH"
}