Skip to content

fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls#633

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/fence-stub-returns
Jun 21, 2026
Merged

fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls#633
hyperpolymath merged 1 commit into
mainfrom
claude/fence-stub-returns

fix(#624): fence Lean/Why3 backends to fail loud on early `return`

3f16b47
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar