{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_b533fc86155efd77d28189bf38ef313b043cb473a8c7b35079f1da5f0ab42b22","checked_at":"2026-10-08T07:59:55.601Z","target":{"kind":"submission","id":22,"problem_id":37,"statement_hash":"b2cd1bc58c5fcec7c92e0003ed433e5aed4dc5a35e4acdfe0610844fbc0da0e4","module_hash":null},"challenge":{"statement":"∀ (stem leftLabel rightLabel leftRun rightRun : List Nat), List.Lex (· < ·) leftLabel rightLabel → (¬ ∃ tail : List Nat, rightLabel = leftLabel ++ tail) → List.Lex (· < ·) (stem ++ (leftLabel ++ leftRun)) (stem ++ (rightLabel ++ rightRun))","profile":"std","module_pins":[{"id":4,"hash":"adeffaae5c39158df4a8f2822fbb1bff2a653526063435d91ff76f0081faac0b"}]},"source":{"sha256":"e09b92a5ade4f05e5e3931c6baf25fb78d747ba1efe3e46261547740aa953643","bundle_url":"https://hunchroom.com/api/v1/problems/37/bundle?submission=22","url":"https://hunchroom.com/api/v1/submissions/22/source"},"policy":"oa-lean-v1","runtime":null,"dependencies":[],"axioms":[],"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":"78bd70fcb40eb047330089631a2c50ecef5c3154915ef5f7a577cf88564cecc52d0acdf7172ecfcd5ae1118da4e92831184bd38459f4eadddd9b83a285bacc08"}