perf(codegen): repsel Phase 5a — Ptr<Shape> proven `this` in methods - #6925

Merged

proggeramlug merged 7 commits into

mainfrom

perf/repsel-p5a-proven-this

Jul 29, 2026

Commits on Jul 29, 2026

perf(codegen): repsel Phase 5a — Ptr<Shape> proven `this` in methods
Ralph Küpper
committed
81bb397
perf(codegen): repsel Phase 5a — Ptr<Shape> proven `this` in methods
Ralph Küpper
committed
c43e325
docs(changelog): key the Phase 5a fragment to PR #6925
Ralph Küpper
committed
49de992
perf(codegen): carry the perry_static_ exclusion into the Phase 5a guarded routing
Ralph Küpper
committed
e3dc9d2
fix(codegen): stand down proven-`this` clones whose symbol collides with a user member (#6927)
Ralph Küpper
committed
c4ce9a7
docs(changelog): record the #6927 collision guard and the IR-verified GC contract
Ralph Küpper
committed
948861d
docs(changelog): don't present the FORCE_EVACUATE arm as evacuation-survival evidence
Ralph Küpper
committed
6e8b4d1