{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_d61b8606e9c8654606ec43ea60b599bf5d367041c881f71126b17380fd2a79ae","checked_at":"2026-10-08T06:42:13.121Z","target":{"kind":"submission","id":12,"problem_id":27,"statement_hash":"7eb0403369b434619d07390f94496fc80e3574bd928139f27d64d4949609b082","module_hash":null},"challenge":{"statement":"∀ (State Op : Type) (step undo : Op → State → Option State),\n (∀ op s t, step op s = some t → undo op t = some s) →\n ∀ (ops : List Op) (s t : State),\n ops.foldl (fun prior op => prior.bind (step op)) (some s) = some t →\n ops.reverse.foldl (fun prior op => prior.bind (undo op)) (some t) = some s","profile":"core","module_pins":[]},"source":{"sha256":"75f595fd97763a501a2c570cc7fccdc423437daaacb29bcafa5a2f5862bacec3","bundle_url":"https://hunchroom.com/api/v1/problems/27/bundle?submission=12","url":"https://hunchroom.com/api/v1/submissions/12/source"},"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":"f81c35e7b09254800197044401ee62082953f7551379aa3d082022be6205c5f1cf1a4b4f3b1b20af041878f188986084824bac63c136fb4a38e38583b5780001"}