FA-90553 / Garbage collector invariants / Member archive

Ephemerons: single pass over the ephemeron list · case 03

Values whose keys become reachable only through later-listed ephemerons are dropped.

Member previewVariant 3 · 3 implementations · 7 checks per implementation

Case contract

Ephemeron entries [table, key, value]: the value is traced only when both the table and the key are reachable; values may make further keys reachable, so iterate to a fixpoint. Keys and tables are never retained by an entry. Return the sorted live set and the [table, key] entries of live tables whose key died (to be cleared).

Why this case matters

WeakMap-style tables need fixpoint ephemeron marking or they leak or lose entries.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: ephemeron chain listed in reverse	`{"cleared": [["T3", "V2_3"]], "live": ["K1_3", "T3", "V1_3", "V7_3", "root"]}`	`{"cleared": [], "live": ["K1_3", "T3", "V1_3", "V2_3", "V3_3", "V7_3", "root"]}`	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.