{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_8dc8058ea8b778ec0d21fd90cc6d744e536f52431f857100b7c40af955d83bff","checked_at":"2026-10-08T07:59:59.010Z","target":{"kind":"submission","id":23,"problem_id":38,"statement_hash":"ed49272ff126428652c11f7f3a2871cdf6847bc99085047e72aa947bc2d029b7","module_hash":null},"challenge":{"statement":"(∀ d : Nat, d < 52 → Hunch.PositionEncoding.parseDigit (Hunch.PositionEncoding.digitCode d) = d) ∧ (∀ a b : Nat, a < 52 → b < 52 → (Hunch.PositionEncoding.digitCode a < Hunch.PositionEncoding.digitCode b ↔ a < b))","profile":"std","module_pins":[{"id":4,"hash":"adeffaae5c39158df4a8f2822fbb1bff2a653526063435d91ff76f0081faac0b"}]},"source":{"sha256":"1116cfcc1625be11fe02306ca819e9c62d7d58d21cb5fd95f7cd811507ff4943","bundle_url":"https://hunchroom.com/api/v1/problems/38/bundle?submission=23","url":"https://hunchroom.com/api/v1/submissions/23/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":"039b2153d014e1724743c4400dc6065f8718f41163a13485a181b5ba10ed05d0decfe72c92d23c251508baad35c639e9afbaab9f69474dd7d096ad3902112707"}