perf(codegen): route the class-id dispatch tower to the proven-`this` clone behind an inline keys check (#7142) - #7169

Merged

proggeramlug merged 8 commits into

mainfrom

perf/7142-tower-pshape-keys-guard

Aug 1, 2026

Commits on Aug 1, 2026

wip(codegen): route class-id dispatch tower to proven-this clone behind inline keys check (#7142)
Ralph Küpper
committed
1a88e92
test(codegen): tower routing + keys-guard + profitability ratchets (#7142)
Ralph Küpper
committed
14e49c1
test(gap): cross-module delete reproducer for the tower keys guard (#7142)
Ralph Küpper
committed
5c05334
test(gap): register the tower keys-guard reproducer in the GC x repsel corpus (#7142)
Ralph Küpper
committed
d03a78b
docs(changelog): tower->pshape keys-guarded routing fragment (#7169)
Ralph Küpper
committed
eaed4d8
test(codegen): unit-test the tower routing profitability threshold (#7142)
Ralph Küpper
committed
574be38
docs(codegen): record the tower route's GC ordering invariant (#7142)
Ralph Küpper
committed
5aae37a
docs(changelog): record the measured instruction delta (#7169)
Ralph Küpper
committed
5b3571a