FA-72189 / Error-correcting codes / Member archive

Row retirement pools corrected errors across rows · case 04

Unrelated rows are retired because their neighbours had errors.

Member previewVariant 4 · 3 implementations · 8 checks per implementation

Case contract

Memory-controller ECC policy. events are [time, row, kind] with kind "ce" (corrected) or "ue" (uncorrectable), processed in time order (stable for equal times). A "ue" retires its row immediately. A "ce" is added to the row's history, entries at or before time - window expire, and the row retires when the remaining count reaches the threshold. Events for a retired row are ignored. Return sorted [row, retirement time] pairs.

Why this case matters

Servers retire DRAM rows that show repeated corrected errors before they turn uncorrectable.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression [[[27, 3, "ce"], [2, 1, "ce"], [8, 1, "ce"], [28, 10, "ce"], [25, 1...	`[[2, 8], [3, 27]]`	`[[2, 8]]`	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.