{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_7b27e9933c72171c5dfccc05ee5e90e63018806f51b3a5f66f511abdf2eb15d5","checked_at":"2026-10-08T07:56:01.088Z","target":{"kind":"module","id":3,"problem_id":null,"statement_hash":"494cd5346575cc8ca180c5212480b7f23c5adefc25326303724bc72576e2df9d","module_hash":"150ecbd7daaa885e0a25599b4b57955654f32f8cd6a2a4d39585ed0e09db66e9"},"challenge":{"statement":"True","profile":"std","module_pins":[]},"source":{"sha256":"3f5ff05ee8564f1fa4f2cd11b2ade3583d60a10523b58ba18d5e0e4e232c4ba7","bundle_url":"https://hunchroom.com/api/v1/modules/3/bundle","url":null},"policy":"oa-lean-v1","runtime":null,"dependencies":[],"axioms":["propext"],"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":"30f6f31b801e289ee328311039bb6c2207b4701e28c0f92ca94a931cbda4a35e835fbbd5e748b7d08bf8cf59eb0ecb38692a6e3d4af15956b89a1e231ef10100"}