Remove inherited-read side table with shape-guarded read and accessor sites - #11713

Closed

proggeramlug wants to merge 40 commits into

PerryTS:mainfrom

proggeramlug:codex-a2-one-shape

Commits on Oct 1, 2026

perf: validate inherited method sites by holder shape and loaded slot

Ralph Küpper
authored and
Ralph Küpper
committed
2e5cd30
perf: retire inherited read side table and marked value invalidation

Ralph Küpper
authored and
Ralph Küpper
committed
7c2fb81
fix: gate process-global read sites when workers start

Ralph Küpper
authored and
Ralph Küpper
committed
8ba8606
test: refuse class prototype identities at read-holder sites

Ralph Küpper
authored and
Ralph Küpper
committed
cec5347
test: reconcile A2 root-holder inventory after P4
Ralph Küpper
committed
19e8a24
docs: note inherited-read single-path change
Ralph Küpper
committed
7f4bd97
test: require relocated inherited method holder root
Ralph Küpper
committed
44f20d6
fix: acquire method-site slot publication before worker gate
Ralph Küpper
committed
79cfd60
test: adapt class-prototype admission fixture to birth rep
Ralph Küpper
committed
b411d73
Cache direct class prototype getters at read sites
Ralph Küpper
committed
5921301
Admit live-linked declared class accessors
Ralph Küpper
committed
6c64679
Cache multiple receiver shapes for one absent read holder
Ralph Küpper
committed
1aedbb6
test: cover polymorphic absent reads across prototype and GC changes
Ralph Küpper
committed
0dda83e
Warm lazy class getter site without latching and root read key
Ralph Küpper
committed
398133b
Add bounded collecting class read memo for absent and inherited data
Ralph Küpper
committed
8d4d48b
Add class-instance optional-read parity fixture
Ralph Küpper
committed
0d1ab04
Test class read memo worker gate on collecting hit
Ralph Küpper
committed
fd227ae
Add real-worker class read gate parity fixture
Ralph Küpper
committed
fd7d638
Keep multi-absent lookup off ordinary holder hits
Ralph Küpper
committed
fc84b40
Scope read-holder key and test pointers to noncollecting use
Ralph Küpper
committed
fc74ad4
Scope class read key confirmation after generic getter
Ralph Küpper
committed
b7eea0a
perf: answer depth-one data holder before rare read kinds
Ralph Küpper
committed
5beae69
perf: keep rare holder reads out of inline class-field hit
Ralph Küpper
committed
43582ee
perf: reuse holder shape proof on class getter hit
Ralph Küpper
committed
2323621
Memoize direct class setters at packed PutValue sites
Ralph Küpper
committed
6de5642
Test inherited setter site across evacuation and real worker gate
Ralph Küpper
committed
9e4c103
Restrict setter memo to store-admitted receiver shapes
Ralph Küpper
committed
93afad3
Give bundled setter worker a distinct class name
Ralph Küpper
committed
4b5d947
Probe direct setter before chain-store miss route
Ralph Küpper
committed
84da0a7
Guard class accessor sites with registry generation
Ralph Küpper
committed
1429cf3
Decode only raw class accessor entries on read hits
Ralph Küpper
committed
d6d18cc
Use validity epoch for direct class setter link
Ralph Küpper
committed
b7105ce
test: align A2 runtime gates with worker and value-store invariants
Ralph Küpper
committed
e483324
test: preserve sticky worker gate across A2 unit tests
Ralph Küpper
committed
a0db1b4
test: isolate A2 worker-gate units in fresh processes
Ralph Küpper
committed
026cb9a
ci: reconcile A2 root inventory with scope-context main
Ralph Küpper
committed
ecfd2a9
changelog: key inherited-read one-shape note to PR 11713
Ralph Küpper
committed
431b205
Fix A2 test lint and rooted setter unit custody
Ralph Küpper
committed
9498b64
test: make one-shape multi-absent witness nonvacuous
Ralph Küpper
committed
25f58d9
test(map): root ordered-delete fixture across string allocations
Ralph Küpper
committed
e985048