gc: diagnostics, two rooting fixes, and the ungated corpus/lowering cell (#7803 investigation) - #8084

Open

proggeramlug wants to merge 60 commits into

mainfrom

fix/7803-zod-gc-rooting

Commits on Aug 14, 2026

feat(gc): two diagnostics for localizing an uncaught-throw rooting bug
Ralph Küpper
committed
e6bc033
fix(codegen): root the callee across argument evaluation in three call arms
Ralph Küpper
committed
8842a0b
docs(gc-handoff): #7803 session 2 -- localized, and the fix that did not fix it
Ralph Küpper
committed
3f9785e
docs(gc-handoff): #7803 is on the new-Function/dyn_eval path (0/16 vs 8/16)
Ralph Küpper
committed
03170d1
feat(gc): give the dyn_eval interpreter cooperative GC safepoints (#7803)
Ralph Küpper
committed
368e1f2
ci(gc): gate the fourth corpus/lowering cell — dependency-scale, native roots
Ralph Küpper
committed
a0130dd
ci(gc): tighten the dep-native budget 26 -> 3, the clean-build number
Ralph Küpper
committed
3a0e22f
docs(gc-handoff): the interp-safepoint A/B points away from the interpreter's own frames
Ralph Küpper
committed
ad7fe45
docs(gc-handoff): state what #7803 verified, what it did not, and the gap-suite block
Ralph Küpper
committed
24aedf6
fix(gc): refresh the argument buffer in two dispatch arms that collect first (#7803)
Ralph Küpper
committed
6d1f842
docs(gc-handoff): close out session 2 -- what landed, what is blocked on host load
Ralph Küpper
committed
f8ea0af
docs(gc-handoff): §25 refuted too — four rooting fixes, bug survives all four
Ralph Küpper
committed
f903a47
docs(gc-handoff): §25 final rate 6/16 — mid-baseline, no effect
Ralph Küpper
committed
ce459bb
docs(gc-handoff): gap suite partial — no regressions, and a gap test that can never pass
Ralph Küpper
committed
424e283
docs(gc-handoff): gap suite 554/554 — no regressions from this branch
Ralph Küpper
committed
803c634
feat(gc): layout-neutral from-space poisoning, PERRY_GC_POISON_FROMSPACE (#7803)
Ralph Küpper
committed
ce30133
docs(gc-handoff): poison A/B is inconclusive — and the session's real blocker is experiment power
Ralph Küpper
committed
25aad0e
docs(gc-handoff): unpaced schedule works — and more collections make the bug LESS likely
Ralph Küpper
committed
5978031
docs(gc-handoff): the unpaced schedule REPLAYS exactly — the missing experimental control
Ralph Küpper
committed
2ad8e49
feat(gc): PERRY_GC_TENURING_SURVIVALS pins the promotion age (#7803 diagnostic)
Ralph Küpper
committed
a520e10
docs(gc-handoff): promotion hypothesis not supported — and why the sampling route is exhausted
Ralph Küpper
committed
c28da0c
docs(gc-handoff): the dispatch tower's stale-argument population is 36 sites, not 10
Ralph Küpper
committed
b8fdcb3
docs(gc-handoff): self-contained brief for closing #7803
Ralph Küpper
committed
309453b
docs(changelog): fragment for PR #8084
Ralph Küpper
committed
3d5ddd4
docs(gc-handoff): RATE=1 unpaced seed search cannot distinguish seeds (#7803)
Ralph Küpper
committed
5d9b7d0
feat(gc): name the copying walk in the pin-latch abort (#7803)
Ralph Küpper
committed
abb25aa
docs(gc-handoff): seed 3 fails 2/2 under RATE=0.1 ALLOC_KB=0 (#7803)
Ralph Küpper
committed
8e53786
docs(gc-handoff): seed 3 is the #7803 reproducer (3/3 fail)
Ralph Küpper
committed
6905b5c
feat(gc): split the pin-latch walk phase by root-slot kind (#7803)
Ralph Küpper
committed
e3472e3
feat(gc): dump the mutator backtrace on the pin-latch abort (#7803)
Ralph Küpper
committed
fcf3cd5
docs(gc-handoff): #7803 slot is a native stack map in Doc.write / generateFastpass
Ralph Küpper
committed
370fc3a
fix(ci): read STATEPOINT_REWRITE_PASSES across rustfmt-wrapped lines
Ralph Küpper
committed
5f76bf5
feat(gc): name the owning frame and slot in the pin-latch abort (#7803)
Ralph Küpper
committed
6ae8e50
fix(codegen): root the spread-new bundle accumulator and callee (#7803)
Ralph Küpper
committed
af4a267
docs(gc-handoff): §37 — #7803 named: spread-new bundle wrote through a moved accumulator
Ralph Küpper
committed
03d29a0
fix(gc): rebuild the promoted remembered set AFTER the drain, not before (#7803)
Ralph Küpper
committed
ab558bf
docs(gc-handoff): §38 — the real #7803 cause: remembered-set rebuild ran before the drain
Ralph Küpper
committed
02cddba
feat(gc): fromspace-scan abort dumps the owner object; drain-promotion regression test (#7803)
Ralph Küpper
committed
58fc9e4
fix(gc): fromspace scan skips array capacity slack; pin-latch identifies its target (#7803)
Ralph Küpper
committed
b06c4ce
docs(gc-handoff): §38 second amendment — scan cycle-2 finding retracted (array slack)
Ralph Küpper
committed
59bc2f0
fix(gc): carry RS4GC derived pointers through the compact map — gc_map v4 (#7803)
Ralph Küpper
committed
5a0fe11
docs(gc-handoff): §39 — #7803 named and fixed: v3 map collapsed derived pointers
Ralph Küpper
committed
fdd9ed2
feat(gc): PERRY_GC_THIS_SET_CHECK — trap the producer of an incoherent implicit this (#7803)
Ralph Küpper
committed
cc88aed
feat(gc): this-set trap grades both directions (slot vs cell corruption) (#7803)
Ralph Küpper
committed
771a6a7
feat(gc): PERRY_GC_NATIVE_SLOT_VERIFY — abort on the cycle that creates a stale native slot (#7803)
Ralph Küpper
committed
41f7ab3

Commits on Aug 15, 2026

feat(gc): native-slot verifier reports cycle kind and target space (#7803)
Ralph Küpper
committed
1842824
feat(gc): native-slot verifier compares against the rewrite walk's stats (#7803)
Ralph Küpper
committed
a6f6986
feat(gc): native-slot verifier prints the collector's own classification (#7803)
Ralph Küpper
committed
ed1b9bb
feat(gc): native-slot verifier dumps the target's raw header (#7803)
Ralph Küpper
committed
c779575
docs(gc-handoff): §40 — v4 flips seeds 1/2/5; seed-3 residual pinned to slot and cycle
Ralph Küpper
committed
f05b2eb
docs(changelog): gc_map v4 + second root cause for PR #8084
Ralph Küpper
committed
a2d5d85
docs(gc-handoff): rewrite the front door — v4 landed, seed-3 residual is the remaining work
Ralph Küpper
committed
7f33cca
feat(gc): native-slot verifier dumps every matched record and slot value (#7803)
Ralph Küpper
committed
02f20c3
docs(gc-handoff): §41 — gap suite green on the v4 tree; chatter is host noise
Ralph Küpper
committed
a30d59a
docs(gc-handoff): §42 — seed-3 victim target is a constant arena offset invisible to the snapshot
Ralph Küpper
committed
b877997
style: rustfmt reflow
Ralph Küpper
committed
6e6790b
Merge remote-tracking branch 'origin/main' into fix/7803-zod-gc-rooting
Ralph Küpper
committed
627c17b
Merge remote-tracking branch 'origin/main' into fix/7803-zod-gc-rooting
Ralph Küpper
committed
0e32a5b
docs(gc-handoff): §43 — widened poll set keeps the dep-native arm at 2/3 (40/40 seeded)
Ralph Küpper
committed
b918a8a
fix(gc): unbreak cargo-test and clear the lint gates for #7803
Ralph Küpper
committed
1bfc503