FA-90627 / Garbage collector invariants / Member archive

Adaptive tenuring: objects at the threshold age neither promoted nor kept · case 02

Survivors whose age equals the threshold vanish from both lists.

Member previewVariant 2 · 3 implementations · 7 checks per implementation

Case contract

Survivors are [id, age, size] after a minor collection. desired = capacity * ratio // 100. Walking ages 1..max_threshold, accumulate sizes; the first age at which the running total exceeds desired becomes the tenuring threshold (max_threshold if never exceeded). Objects with age >= threshold are promoted; the rest are placed youngest first (ties by id) into the survivor space of the given capacity, and any that do not fit overflow into promotion. Return threshold, promoted ids, kept ids and bytes used.

Why this case matters

Tenuring policy controls premature promotion and survivor overflow in generational collectors.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: cumulative sizes cross the desired size	`{"kept": [1, 2, 5], "promoted": [4], "threshold": 3, "used": 47}`	`{"kept": [1, 2, 5], "promoted": [3, 4], "threshold": 3, "used": 47}`	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.