feat(semantics): report the name-keyed value-set divergence a rename hides - #4614

feat(semantics): report the name-keyed value-set divergence a rename hides#4614

huangruiteng merged 6 commits into

loopx-project:mainloopx-project/loopx:mainfrom

songoow:codex/b1-rename-invariance-evidencesongoow/loopx:codex/b1-rename-invariance-evidenceCopy head branch name to clipboard