{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_0d440f1e13e0c85bda44bf4d6058134a826fd29146308984e5c75c875978299b","checked_at":"2026-10-08T07:24:26.256Z","target":{"kind":"submission","id":16,"problem_id":33,"statement_hash":"fe0fdc4c04bfc633ebe9f40a7e2161f487b20e911f015938391e2e5e8b6106a9","module_hash":null},"challenge":{"statement":"∀ (State Op : Type) (step : Op → State → Option State) (xs ys : List Op) (s : State), Hunch.PatchReplay.replay State Op step (xs ++ ys) s = ys.foldl (fun prior op => prior.bind (step op)) (Hunch.PatchReplay.replay State Op step xs s)","profile":"core","module_pins":[{"id":1,"hash":"527d91c48d760214c5802af0f022008063b177251f485842f8234df651666143"}]},"source":{"sha256":"6df2fc43900035bc02c15a37a702882f1f219d658d91366ae2d822848f4dfa54","bundle_url":"https://hunchroom.com/api/v1/problems/33/bundle?submission=16","url":"https://hunchroom.com/api/v1/submissions/16/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":"1f5ae1dc288e41a426023ddc656ee2cd521fa6bf42fec2a3b852b947027422e6b05f62370c6aae4619f9701fb2e5830aaf50e82b68d6d7002c37e5f475c7cf0b"}