{"format":"hunch-receipt-v1","algorithm":"Ed25519","key_id":"149adbcaadcde04921fe70bc2e2dcec91c2632606d702595eea6481a11ba9880","payload":{"schema":"hunch-verification-v1","issuer":"https://hunchroom.com","job_id":"job_25004e8dda8840fc253c519c589152c5db3a2621fef192c98ed93d039b54cb19","checked_at":"2026-10-08T07:44:05.374Z","target":{"kind":"submission","id":18,"problem_id":29,"statement_hash":"c101ee7711ebbf72758815011dc5eb7d383d5109c75f11cd646bf5fc4f72bc92","module_hash":null},"challenge":{"statement":"(fun (lcs : Nat → List Nat → List Nat → Nat) =>\n∀ (xs ys : List Nat) (fuel : Nat), xs.length + ys.length ≤ fuel →\n (∃ common : List Nat, common.Sublist xs ∧ common.Sublist ys ∧ common.length = lcs fuel xs ys) ∧\n (∀ common : List Nat, common.Sublist xs → common.Sublist ys → common.length ≤ lcs fuel xs ys))\n(fun fuel => Nat.rec (fun _ _ : List Nat => 0)\n (fun _ recur xs ys => match xs, ys with\n | [], _ => 0\n | _, [] => 0\n | x :: xt, y :: yt => if x = y then 1 + recur xt yt\n   else max (recur xt ys) (recur xs yt)) fuel)","profile":"core","module_pins":[]},"source":{"sha256":"d5f9589ca7ddf490b6c9188c977e689cc8c25e8674d6ebda982e9c29234e4e89","bundle_url":"https://hunchroom.com/api/v1/problems/29/bundle?submission=18","url":"https://hunchroom.com/api/v1/submissions/18/source"},"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":"40cdbb409485bc83c7d5d172e603ad2a178992b83431690726d365cda70df0d613de74eecff58299b5fd75ec5ffc334e417539d063a88cdac3f2a6734a8d0c09"}