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

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

hyperpolymath merged 4 commits into

mainhyperpolymath/contractiles:mainfrom

claude/lucid-hopper-wvkv5ehyperpolymath/contractiles:claude/lucid-hopper-wvkv5eCopy head branch name to clipboard