FA-90454 / Garbage collector invariants / Member archive

Sliding compaction: pointers to object starts resolve to the previous object · case 04

References to an object's first byte are reported as dangling or attributed to its neighbour.

Member previewVariant 4 · 3 implementations · 6 checks per implementation

Case contract

Mark-compact with sliding. objs are [start, size, fields] in arbitrary order; pointers (fields and roots) may point anywhere inside an object and belong to the object whose [start, start+size) contains them; a pointer outside every object is ["dangling-pointer", p]. Mark from the roots, assign new addresses to live objects in address order starting at base with no gaps, and relocate every pointer to new start + original offset. Return the new layout [new, old, fields], new roots and the new top.

Why this case matters

Sliding compaction must preserve address order and interior offsets while squeezing out dead space.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: interior pointers relocate with their object	`["dangling-pointer", 100]`	`{"layout": [[100, 100, [128, null]], [116, 124, [104]]], "roots": [100], "top": 140}`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.