Skip to content

fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed - #74

Open
hyperpolymath wants to merge 3 commits into
mainfrom
claude/lucid-hopper-wvkv5e
Open

fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed#74
hyperpolymath wants to merge 3 commits into
mainfrom
claude/lucid-hopper-wvkv5e

Commits

  1. Commits on Nov 9, 2026