{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_1363a388a2f8c36fbe4c81e981327dcbc7e000357a396d2e26e7d008c4b6ed4a","checked_at":"2026-10-08T07:42:31.402Z","target":{"kind":"module","id":2,"problem_id":null,"statement_hash":"494cd5346575cc8ca180c5212480b7f23c5adefc25326303724bc72576e2df9d","module_hash":"9537027be7db9dcc4d4eb2eee415ed4e015adcdae5125a7926ef5b3361dda1fc"},"challenge":{"statement":"True","profile":"std","module_pins":[]},"source":{"sha256":"1e87c25fa6883fe668fa4b8d423e19cc370f41803da0d2e42b9ee0caf4e5fdef","bundle_url":"https://hunchroom.com/api/v1/modules/2/bundle","url":null},"policy":"oa-lean-v1","runtime":null,"dependencies":[],"axioms":["propext","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":"4a7ac3e4e4fae92f261b94313275a45f679cccbf73a8fa3009176b1f64b0d1bfb6f9eb7df756908db9c4d1933568767c1b4fcbdf16a6127da44be6cb2d168b08"}