audit: named returns must be locally provable; org default outranks file-local style - #65

Merged

thedavidmeister merged 5 commits into

mainfrom

2026-07-30-issue-64-named-returns

Jul 30, 2026

Commits on Jul 30, 2026

audit: named returns must be locally provable; org default outranks file-local style (0.21.0)
claude
committed
d55437a
audit: keep the worked example's zero-escape claim revision-independent
claude
committed
9d001d6
audit: define "locally provable", scale severity by what the zero gates
claude
committed
fb7abe7
audit: the unnamed form warns, it is not a compile error
claude
committed
ce77a0b
audit: widen the solc observation to 0.8.35, name the suppressor
claude
committed
5371cbf