{
  "schema_version": 1,
  "status": "passed",
  "checked_at": "2026-10-17T19:58:55.662213Z",
  "description": "Lean and nanoda passed; permitted-axiom audit passed",
  "receipt_url": "https://github.com/bigospeedrun/verifier/actions/runs/39061582815",
  "artifact_path": "sources/direct-issue-16-39061582815-1.zip",
  "artifact_sha256": "204a2afba82f30d11bafaf3ab50454abbae09ab47d100a71930dd244fb852e67",
  "source_receipt_path": "sources/direct-issue-16-39061582815-1-source.json"
}