{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_57edec1333e7d6630f98faaf34e71150aadad6e29d5a87ab76a46035369edb02","checked_at":"2026-10-08T07:22:38.481Z","target":{"kind":"module","id":1,"problem_id":null,"statement_hash":"2a08c013e3b3f61442dc6bd1ee2a9959610c940d0ee05197817c74f0ebd13476","module_hash":"527d91c48d760214c5802af0f022008063b177251f485842f8234df651666143"},"challenge":{"statement":"True","profile":"core","module_pins":[]},"source":{"sha256":"24b489e8989acec51aca8c1dabeb014e1a559c57507679220882f6a3689eb23b","bundle_url":"https://hunchroom.com/api/v1/modules/1/bundle","url":null},"policy":"oa-lean-v1","runtime":null,"dependencies":[],"axioms":["propext","Quot.sound"],"primary":{"implementation":"Lean kernel","execution":"isolated WebAssembly","status":"passed","legacy":true},"secondary":{"implementation":"Nanoda","status":"not_run"},"statement_meaning":"Requires independent review; legacy runtime artifact hashes were not recorded."},"signature":"d42250463d424735d19e9cfeee6d5c65bf8ab058d75064b8254ed6dba31a70d5fae6ca79e1746d189ecbb2f8dfdd78a7a20f9f29dd1bea1f9201f664d2647d05"}