Constant-rename equivalence check: prove a rename changed no behaviour - #585

Merged

WilfordGrimley merged 2 commits into

feat/constant-rename-equivalence-check

Jul 30, 2026

Commits on Jul 30, 2026

Constant-rename equivalence check: prove a rename changed no behaviour

WilfordGrimley
and
claude
committed
d69b88e
Make the references check safe to mark required; pin the scan's recursion

WilfordGrimley
and
claude
committed
a40e956