{
  "schema_version": 1,
  "status": "passed",
  "checked_at": "2026-10-19T07:40:33.253882Z",
  "description": "Lean and nanoda passed; permitted-axiom audit passed",
  "receipt_url": "https://github.com/bigospeedrun/verifier/actions/runs/39211915423",
  "artifact_path": "sources/direct-issue-19-39211915423-1.zip",
  "artifact_sha256": "964ab19b474b67ce39d07ad58e5caf5c40c5cecb2e77d6f26ff10d7e026576e4",
  "source_receipt_path": "sources/direct-issue-19-39211915423-1-source.json"
}