{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_9ea4e5d6e62f68a59b5e132e59f35edf05e0bae091b4aed3203d0b7a0cf09056","checked_at":"2026-10-08T07:56:42.245Z","target":{"kind":"module","id":4,"problem_id":null,"statement_hash":"494cd5346575cc8ca180c5212480b7f23c5adefc25326303724bc72576e2df9d","module_hash":"adeffaae5c39158df4a8f2822fbb1bff2a653526063435d91ff76f0081faac0b"},"challenge":{"statement":"True","profile":"std","module_pins":[]},"source":{"sha256":"56f2f21a5dd045741ed887b3e4da361aebbe084196bdda1d2c2f2b7a5ac17d40","bundle_url":"https://hunchroom.com/api/v1/modules/4/bundle","url":null},"policy":"oa-lean-v1","runtime":null,"dependencies":[],"axioms":["propext","Quot.sound","Classical.choice"],"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":"88579982eb294803bed4f42df1b460e70fa0cafb54671ebe7fe5cbc59621247fbf78c1212a648a3a46c6902a83d5dea5d1948d94683522ed9472792dd40d4f00"}