Understand the failure.
Verify the repair.
Small, reproducible software failures. The broken implementation, the fix that didn’t work, and the one that passed—preserved together.
Explore the cases ↓How results are verified ↗WHAT THE ARCHIVE CONTAINS
100840 executable cases. 20168 are open.
Every case records the implementation that fails, the fix that did not work, and the repair that passed its checks—with recorded outputs and source hashes. This release adds 100840 cases across 20168 failure mechanisms and 254 domains.
The open tier gives you the failure and the unsuccessful fix for one case in every mechanism. The remaining 80672 cases, 5 variants per mechanism, are member-only: the verified repair, its recorded checks, and the full fixture suite are held in the member archive. Read the methodology ↗
A RECORD OF WHAT WENT WRONG
Browse the archive / 100840
Calendar queue interval lower bounds retain origin and virtual revolution · case 01
The bounded calendar placement certificate reports an incorrect lower bounds.
Calendar queue interval lower bounds retain origin and virtual revolution · case 02
The bounded calendar placement certificate reports an incorrect lower bounds.
Calendar queue interval lower bounds retain origin and virtual revolution · case 03
The bounded calendar placement certificate reports an incorrect lower bounds.
Calendar queue interval lower bounds retain origin and virtual revolution · case 04
The bounded calendar placement certificate reports an incorrect lower bounds.
Calendar queue interval lower bounds retain origin and virtual revolution · case 05
The bounded calendar placement certificate reports an incorrect lower bounds.
Calendar queue interval upper bounds are exclusive next-bucket starts · case 01
The bounded calendar placement certificate reports an incorrect upper bounds.
Calendar queue interval upper bounds are exclusive next-bucket starts · case 02
The bounded calendar placement certificate reports an incorrect upper bounds.
Calendar queue interval upper bounds are exclusive next-bucket starts · case 03
The bounded calendar placement certificate reports an incorrect upper bounds.
Calendar queue interval upper bounds are exclusive next-bucket starts · case 04
The bounded calendar placement certificate reports an incorrect upper bounds.
Calendar queue interval upper bounds are exclusive next-bucket starts · case 05
The bounded calendar placement certificate reports an incorrect upper bounds.
Calendar queue cycle eligibility excludes aliased future revolutions · case 01
The bounded calendar placement certificate reports an incorrect cycle eligible.
Calendar queue cycle eligibility excludes aliased future revolutions · case 02
The bounded calendar placement certificate reports an incorrect cycle eligible.
Calendar queue cycle eligibility excludes aliased future revolutions · case 03
The bounded calendar placement certificate reports an incorrect cycle eligible.
Calendar queue cycle eligibility excludes aliased future revolutions · case 04
The bounded calendar placement certificate reports an incorrect cycle eligible.
Calendar queue cycle eligibility excludes aliased future revolutions · case 05
The bounded calendar placement certificate reports an incorrect cycle eligible.
Calendar queue exact-boundary events belong to the new half-open bucket · case 01
The bounded calendar placement certificate reports an incorrect boundaries.
Calendar queue exact-boundary events belong to the new half-open bucket · case 02
The bounded calendar placement certificate reports an incorrect boundaries.
Calendar queue exact-boundary events belong to the new half-open bucket · case 03
The bounded calendar placement certificate reports an incorrect boundaries.
Calendar queue exact-boundary events belong to the new half-open bucket · case 04
The bounded calendar placement certificate reports an incorrect boundaries.
Calendar queue exact-boundary events belong to the new half-open bucket · case 05
The bounded calendar placement certificate reports an incorrect boundaries.
Calendar resize recomputes both width division and destination bucket count · case 01
The bounded calendar rehash certificate reports an incorrect buckets.
Calendar resize recomputes both width division and destination bucket count · case 02
The bounded calendar rehash certificate reports an incorrect buckets.
Calendar resize recomputes both width division and destination bucket count · case 03
The bounded calendar rehash certificate reports an incorrect buckets.
Calendar resize recomputes both width division and destination bucket count · case 04
The bounded calendar rehash certificate reports an incorrect buckets.
Calendar resize recomputes both width division and destination bucket count · case 05
The bounded calendar rehash certificate reports an incorrect buckets.
Calendar resize distinguishes events that actually change physical bucket · case 01
The bounded calendar rehash certificate reports an incorrect moved.
Calendar resize distinguishes events that actually change physical bucket · case 02
The bounded calendar rehash certificate reports an incorrect moved.
Calendar resize distinguishes events that actually change physical bucket · case 03
The bounded calendar rehash certificate reports an incorrect moved.
Calendar resize distinguishes events that actually change physical bucket · case 04
The bounded calendar rehash certificate reports an incorrect moved.
Calendar resize distinguishes events that actually change physical bucket · case 05
The bounded calendar rehash certificate reports an incorrect moved.
Calendar resize may split old bucket aliases and must reclassify each event individually · case 01
The bounded calendar rehash certificate reports an incorrect split aliases.
Calendar resize may split old bucket aliases and must reclassify each event individually · case 02
The bounded calendar rehash certificate reports an incorrect split aliases.
Calendar resize may split old bucket aliases and must reclassify each event individually · case 03
The bounded calendar rehash certificate reports an incorrect split aliases.
Calendar resize may split old bucket aliases and must reclassify each event individually · case 04
The bounded calendar rehash certificate reports an incorrect split aliases.
Calendar resize may split old bucket aliases and must reclassify each event individually · case 05
The bounded calendar rehash certificate reports an incorrect split aliases.
Calendar resize occupancy counts all events after redistribution · case 01
The bounded calendar rehash certificate reports an incorrect occupancy.
Calendar resize occupancy counts all events after redistribution · case 02
The bounded calendar rehash certificate reports an incorrect occupancy.
Calendar resize occupancy counts all events after redistribution · case 03
The bounded calendar rehash certificate reports an incorrect occupancy.
Calendar resize occupancy counts all events after redistribution · case 04
The bounded calendar rehash certificate reports an incorrect occupancy.
Calendar resize occupancy counts all events after redistribution · case 05
The bounded calendar rehash certificate reports an incorrect occupancy.
Calendar resize logical cycle span uses both new sizing parameters · case 01
The bounded calendar rehash certificate reports an incorrect cycle span.
Calendar resize logical cycle span uses both new sizing parameters · case 02
The bounded calendar rehash certificate reports an incorrect cycle span.
Calendar resize logical cycle span uses both new sizing parameters · case 03
The bounded calendar rehash certificate reports an incorrect cycle span.
Calendar resize logical cycle span uses both new sizing parameters · case 04
The bounded calendar rehash certificate reports an incorrect cycle span.
Calendar resize logical cycle span uses both new sizing parameters · case 05
The bounded calendar rehash certificate reports an incorrect cycle span.
Calendar resize preserves every member independently of occupancy or old capacity · case 01
The bounded calendar rehash certificate reports an incorrect members.
Calendar resize preserves every member independently of occupancy or old capacity · case 02
The bounded calendar rehash certificate reports an incorrect members.
Calendar resize preserves every member independently of occupancy or old capacity · case 03
The bounded calendar rehash certificate reports an incorrect members.
Calendar resize preserves every member independently of occupancy or old capacity · case 04
The bounded calendar rehash certificate reports an incorrect members.
Calendar resize preserves every member independently of occupancy or old capacity · case 05
The bounded calendar rehash certificate reports an incorrect members.
Heap frontier orders candidates by priority then structural index rather than index alone · case 01
The bounded heap frontier certificate reports an incorrect ready.
Heap frontier orders candidates by priority then structural index rather than index alone · case 02
The bounded heap frontier certificate reports an incorrect ready.
Heap frontier orders candidates by priority then structural index rather than index alone · case 03
The bounded heap frontier certificate reports an incorrect ready.
Heap frontier orders candidates by priority then structural index rather than index alone · case 04
The bounded heap frontier certificate reports an incorrect ready.
Heap frontier orders candidates by priority then structural index rather than index alone · case 05
The bounded heap frontier certificate reports an incorrect ready.
Heap frontier next candidate competes with all retained branches · case 01
The bounded heap frontier certificate reports an incorrect chosen.
Heap frontier next candidate competes with all retained branches · case 02
The bounded heap frontier certificate reports an incorrect chosen.
Heap frontier next candidate competes with all retained branches · case 03
The bounded heap frontier certificate reports an incorrect chosen.
Heap frontier next candidate competes with all retained branches · case 04
The bounded heap frontier certificate reports an incorrect chosen.
Heap frontier next candidate competes with all retained branches · case 05
The bounded heap frontier certificate reports an incorrect chosen.
Heap frontier expands both actual zero-based children and no parent alias · case 01
The bounded heap frontier certificate reports an incorrect children.
Heap frontier expands both actual zero-based children and no parent alias · case 02
The bounded heap frontier certificate reports an incorrect children.
Heap frontier expands both actual zero-based children and no parent alias · case 03
The bounded heap frontier certificate reports an incorrect children.
Heap frontier expands both actual zero-based children and no parent alias · case 04
The bounded heap frontier certificate reports an incorrect children.
Heap frontier expands both actual zero-based children and no parent alias · case 05
The bounded heap frontier certificate reports an incorrect children.
Heap frontier emits the selected candidate key instead of its slot or preceding parent · case 01
The bounded heap frontier certificate reports an incorrect next key.
Heap frontier emits the selected candidate key instead of its slot or preceding parent · case 02
The bounded heap frontier certificate reports an incorrect next key.
Heap frontier emits the selected candidate key instead of its slot or preceding parent · case 03
The bounded heap frontier certificate reports an incorrect next key.
Heap frontier emits the selected candidate key instead of its slot or preceding parent · case 04
The bounded heap frontier certificate reports an incorrect next key.
Heap frontier emits the selected candidate key instead of its slot or preceding parent · case 05
The bounded heap frontier certificate reports an incorrect next key.
Read-only heap frontier enumeration must preserve the source heap representation · case 01
The bounded heap frontier certificate reports an incorrect heap after.
Read-only heap frontier enumeration must preserve the source heap representation · case 02
The bounded heap frontier certificate reports an incorrect heap after.
Read-only heap frontier enumeration must preserve the source heap representation · case 03
The bounded heap frontier certificate reports an incorrect heap after.
Read-only heap frontier enumeration must preserve the source heap representation · case 04
The bounded heap frontier certificate reports an incorrect heap after.
Read-only heap frontier enumeration must preserve the source heap representation · case 05
The bounded heap frontier certificate reports an incorrect heap after.
Heap frontier consumes only its next candidate while retaining alternate branches · case 01
The bounded heap frontier certificate reports an incorrect frontier after.
Heap frontier consumes only its next candidate while retaining alternate branches · case 02
The bounded heap frontier certificate reports an incorrect frontier after.
Heap frontier consumes only its next candidate while retaining alternate branches · case 03
The bounded heap frontier certificate reports an incorrect frontier after.
Heap frontier consumes only its next candidate while retaining alternate branches · case 04
The bounded heap frontier certificate reports an incorrect frontier after.
Heap frontier consumes only its next candidate while retaining alternate branches · case 05
The bounded heap frontier certificate reports an incorrect frontier after.
Persistent heap update copies the full search path while sharing off-path subtrees · case 01
The bounded persistent path copy certificate reports an incorrect allocations.
Persistent heap update copies the full search path while sharing off-path subtrees · case 02
The bounded persistent path copy certificate reports an incorrect allocations.
Persistent heap update copies the full search path while sharing off-path subtrees · case 03
The bounded persistent path copy certificate reports an incorrect allocations.
Persistent heap update copies the full search path while sharing off-path subtrees · case 04
The bounded persistent path copy certificate reports an incorrect allocations.
Persistent heap update copies the full search path while sharing off-path subtrees · case 05
The bounded persistent path copy certificate reports an incorrect allocations.
Persistent heap copied parents must point to copied children without mutating old parents · case 01
The bounded persistent path copy certificate reports an incorrect edges.
Persistent heap copied parents must point to copied children without mutating old parents · case 02
The bounded persistent path copy certificate reports an incorrect edges.
Persistent heap copied parents must point to copied children without mutating old parents · case 03
The bounded persistent path copy certificate reports an incorrect edges.
Persistent heap copied parents must point to copied children without mutating old parents · case 04
The bounded persistent path copy certificate reports an incorrect edges.
Persistent heap copied parents must point to copied children without mutating old parents · case 05
The bounded persistent path copy certificate reports an incorrect edges.
Persistent heap off-path sibling references retain their original generation · case 01
The bounded persistent path copy certificate reports an incorrect shared.
Persistent heap off-path sibling references retain their original generation · case 02
The bounded persistent path copy certificate reports an incorrect shared.
Persistent heap off-path sibling references retain their original generation · case 03
The bounded persistent path copy certificate reports an incorrect shared.
Persistent heap off-path sibling references retain their original generation · case 04
The bounded persistent path copy certificate reports an incorrect shared.
Persistent heap off-path sibling references retain their original generation · case 05
The bounded persistent path copy certificate reports an incorrect shared.
Persistent heap prior snapshot retains every original path node including the target · case 01
The bounded persistent path copy certificate reports an incorrect old refs.
Persistent heap prior snapshot retains every original path node including the target · case 02
The bounded persistent path copy certificate reports an incorrect old refs.
Persistent heap prior snapshot retains every original path node including the target · case 03
The bounded persistent path copy certificate reports an incorrect old refs.
Persistent heap prior snapshot retains every original path node including the target · case 04
The bounded persistent path copy certificate reports an incorrect old refs.
Persistent heap prior snapshot retains every original path node including the target · case 05
The bounded persistent path copy certificate reports an incorrect old refs.
INSPECTABLE BY DESIGN
Every result has a runnable source.
Runnable implementations with recorded outputs, source hashes, and explicit contracts. Related variants share a failure mechanism and belong together in evaluation splits.
Read the methodology ↗