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

hyperpolymath merged 1 commit into

mainhyperpolymath/affinescript:mainfrom

claude/fence-stub-returnshyperpolymath/affinescript:claude/fence-stub-returnsCopy head branch name to clipboard