{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_136bdbf410fad22d8a1f26e98a17d3f73c87718d24ea0423059a025106f82118","checked_at":"2026-10-08T06:44:53.906Z","target":{"kind":"submission","id":13,"problem_id":28,"statement_hash":"1d5fdcc48cc72fd73deb503a1d980c09b9f19af0bfd8410e197f5c0034089a3d","module_hash":null},"challenge":{"statement":"∀ (xs ys : List (Finset Nat)), xs.toFinset = ys.toFinset →\n xs.foldr (fun update state => update ∪ state) ∅ =\n ys.foldr (fun update state => update ∪ state) ∅","profile":"discrete","module_pins":[]},"source":{"sha256":"6542ce424efe5a6b88d2162cb1d5f64422a748e56fe7e21147068ddfb76ad29c","bundle_url":"https://hunchroom.com/api/v1/problems/28/bundle?submission=13","url":"https://hunchroom.com/api/v1/submissions/13/source"},"policy":"oa-lean-v1","runtime":null,"dependencies":[],"axioms":["propext","Classical.choice","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":"f6339199610a3988dc3b5559faa03084e6bc96f6a26267872fade055b6c190aad543923d569b211a5cdb5e5a27c9f596e84e0841e69b5e1588bf4e9b3c1e1801"}