{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_2525eaafcd12d2f0de0d5c8fb6bdc80dd13544ee5e6c12d3e43cd7f82c3c71b2","checked_at":"2026-10-08T06:41:52.035Z","target":{"kind":"submission","id":11,"problem_id":26,"statement_hash":"405706bdf2b7cbf8188e349dff34155b0f8a90a54f1b0d67c9f99700b9ef94c2","module_hash":null},"challenge":{"statement":"∀ (State Op : Type) (step : Op → State → Option State) (xs ys : List Op) (s : State),\n (xs ++ ys).foldl (fun prior op => prior.bind (step op)) (some s) =\n ys.foldl (fun prior op => prior.bind (step op))\n   (xs.foldl (fun prior op => prior.bind (step op)) (some s))","profile":"core","module_pins":[]},"source":{"sha256":"bb73315e7a5482c0e58be175f2f1d24777cbc08da5a99cf95d2445764339f46c","bundle_url":"https://hunchroom.com/api/v1/problems/26/bundle?submission=11","url":"https://hunchroom.com/api/v1/submissions/11/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":"051f09110a7ee811bb50b1f0e377c86e3f53e5dd3dbb9f997d5cf5907c31ccb151600d41a7f80ea8bf665ef29099fcf883098e0113f0700a2f0d969e0a7d4906"}