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
Heap handle liveness is independent of payload truthiness · case 01
The bounded handle generation certificate reports an incorrect live.
Heap handle liveness is independent of payload truthiness · case 02
The bounded handle generation certificate reports an incorrect live.
Heap handle liveness is independent of payload truthiness · case 03
The bounded handle generation certificate reports an incorrect live.
Heap handle liveness is independent of payload truthiness · case 04
The bounded handle generation certificate reports an incorrect live.
Heap handle liveness is independent of payload truthiness · case 05
The bounded handle generation certificate reports an incorrect live.
Heap recycled-slot generation must match exactly · case 01
The bounded handle generation certificate reports an incorrect generation.
Heap recycled-slot generation must match exactly · case 02
The bounded handle generation certificate reports an incorrect generation.
Heap recycled-slot generation must match exactly · case 03
The bounded handle generation certificate reports an incorrect generation.
Heap recycled-slot generation must match exactly · case 04
The bounded handle generation certificate reports an incorrect generation.
Heap recycled-slot generation must match exactly · case 05
The bounded handle generation certificate reports an incorrect generation.
Heap resolution combines owner and generation checks to prevent ABA aliasing · case 01
The bounded handle generation certificate reports an incorrect resolved.
Heap resolution combines owner and generation checks to prevent ABA aliasing · case 02
The bounded handle generation certificate reports an incorrect resolved.
Heap resolution combines owner and generation checks to prevent ABA aliasing · case 03
The bounded handle generation certificate reports an incorrect resolved.
Heap resolution combines owner and generation checks to prevent ABA aliasing · case 04
The bounded handle generation certificate reports an incorrect resolved.
Heap resolution combines owner and generation checks to prevent ABA aliasing · case 05
The bounded handle generation certificate reports an incorrect resolved.
Heap slot recycling increments the existing generation rather than resetting it · case 01
The bounded handle generation certificate reports an incorrect recycle.
Heap slot recycling increments the existing generation rather than resetting it · case 02
The bounded handle generation certificate reports an incorrect recycle.
Heap slot recycling increments the existing generation rather than resetting it · case 03
The bounded handle generation certificate reports an incorrect recycle.
Heap slot recycling increments the existing generation rather than resetting it · case 04
The bounded handle generation certificate reports an incorrect recycle.
Heap slot recycling increments the existing generation rather than resetting it · case 05
The bounded handle generation certificate reports an incorrect recycle.
Lazy heap pop rejects obsolete versions even when the handle remains live · case 01
The bounded lazy pop certificate reports an incorrect selected.
Lazy heap pop rejects obsolete versions even when the handle remains live · case 02
The bounded lazy pop certificate reports an incorrect selected.
Lazy heap pop rejects obsolete versions even when the handle remains live · case 03
The bounded lazy pop certificate reports an incorrect selected.
Lazy heap pop rejects obsolete versions even when the handle remains live · case 04
The bounded lazy pop certificate reports an incorrect selected.
Lazy heap pop rejects obsolete versions even when the handle remains live · case 05
The bounded lazy pop certificate reports an incorrect selected.
Lazy heap returns the current payload instead of internal handle or version · case 01
The bounded lazy pop certificate reports an incorrect payload.
Lazy heap returns the current payload instead of internal handle or version · case 02
The bounded lazy pop certificate reports an incorrect payload.
Lazy heap returns the current payload instead of internal handle or version · case 03
The bounded lazy pop certificate reports an incorrect payload.
Lazy heap returns the current payload instead of internal handle or version · case 04
The bounded lazy pop certificate reports an incorrect payload.
Lazy heap returns the current payload instead of internal handle or version · case 05
The bounded lazy pop certificate reports an incorrect payload.
Lazy heap stale-discard accounting excludes the delivered live record · case 01
The bounded lazy pop certificate reports an incorrect discarded.
Lazy heap stale-discard accounting excludes the delivered live record · case 02
The bounded lazy pop certificate reports an incorrect discarded.
Lazy heap stale-discard accounting excludes the delivered live record · case 03
The bounded lazy pop certificate reports an incorrect discarded.
Lazy heap stale-discard accounting excludes the delivered live record · case 04
The bounded lazy pop certificate reports an incorrect discarded.
Lazy heap stale-discard accounting excludes the delivered live record · case 05
The bounded lazy pop certificate reports an incorrect discarded.
Lazy heap pop removes only the stale prefix and selected current record · case 01
The bounded lazy pop certificate reports an incorrect suffix.
Lazy heap pop removes only the stale prefix and selected current record · case 02
The bounded lazy pop certificate reports an incorrect suffix.
Lazy heap pop removes only the stale prefix and selected current record · case 03
The bounded lazy pop certificate reports an incorrect suffix.
Lazy heap pop removes only the stale prefix and selected current record · case 04
The bounded lazy pop certificate reports an incorrect suffix.
Lazy heap pop removes only the stale prefix and selected current record · case 05
The bounded lazy pop certificate reports an incorrect suffix.
Lazy heap pop invalidates the delivered handle while retaining other live entries · case 01
The bounded lazy pop certificate reports an incorrect live after.
Lazy heap pop invalidates the delivered handle while retaining other live entries · case 02
The bounded lazy pop certificate reports an incorrect live after.
Lazy heap pop invalidates the delivered handle while retaining other live entries · case 03
The bounded lazy pop certificate reports an incorrect live after.
Lazy heap pop invalidates the delivered handle while retaining other live entries · case 04
The bounded lazy pop certificate reports an incorrect live after.
Lazy heap pop invalidates the delivered handle while retaining other live entries · case 05
The bounded lazy pop certificate reports an incorrect live after.
Lazy heap logical emptiness follows the presence of a current physical record · case 01
The bounded lazy pop certificate reports an incorrect empty.
Lazy heap logical emptiness follows the presence of a current physical record · case 02
The bounded lazy pop certificate reports an incorrect empty.
Lazy heap logical emptiness follows the presence of a current physical record · case 03
The bounded lazy pop certificate reports an incorrect empty.
Lazy heap logical emptiness follows the presence of a current physical record · case 04
The bounded lazy pop certificate reports an incorrect empty.
Lazy heap logical emptiness follows the presence of a current physical record · case 05
The bounded lazy pop certificate reports an incorrect empty.
Lazy compaction filters by current version and restores priority order · case 01
The bounded lazy compaction certificate reports an incorrect kept.
Lazy compaction filters by current version and restores priority order · case 02
The bounded lazy compaction certificate reports an incorrect kept.
Lazy compaction filters by current version and restores priority order · case 03
The bounded lazy compaction certificate reports an incorrect kept.
Lazy compaction filters by current version and restores priority order · case 04
The bounded lazy compaction certificate reports an incorrect kept.
Lazy compaction filters by current version and restores priority order · case 05
The bounded lazy compaction certificate reports an incorrect kept.
Lazy compaction counts obsolete physical records rather than logical size difference · case 01
The bounded lazy compaction certificate reports an incorrect stale.
Lazy compaction counts obsolete physical records rather than logical size difference · case 02
The bounded lazy compaction certificate reports an incorrect stale.
Lazy compaction counts obsolete physical records rather than logical size difference · case 03
The bounded lazy compaction certificate reports an incorrect stale.
Lazy compaction counts obsolete physical records rather than logical size difference · case 04
The bounded lazy compaction certificate reports an incorrect stale.
Lazy compaction counts obsolete physical records rather than logical size difference · case 05
The bounded lazy compaction certificate reports an incorrect stale.
Lazy compaction detects duplicate current entries without confusing obsolete versions · case 01
The bounded lazy compaction certificate reports an incorrect duplicate current.
Lazy compaction detects duplicate current entries without confusing obsolete versions · case 02
The bounded lazy compaction certificate reports an incorrect duplicate current.
Lazy compaction detects duplicate current entries without confusing obsolete versions · case 03
The bounded lazy compaction certificate reports an incorrect duplicate current.
Lazy compaction detects duplicate current entries without confusing obsolete versions · case 04
The bounded lazy compaction certificate reports an incorrect duplicate current.
Lazy compaction detects duplicate current entries without confusing obsolete versions · case 05
The bounded lazy compaction certificate reports an incorrect duplicate current.
Lazy compaction coverage requires a current physical representative · case 01
The bounded lazy compaction certificate reports an incorrect missing.
Lazy compaction coverage requires a current physical representative · case 02
The bounded lazy compaction certificate reports an incorrect missing.
Lazy compaction coverage requires a current physical representative · case 03
The bounded lazy compaction certificate reports an incorrect missing.
Lazy compaction coverage requires a current physical representative · case 04
The bounded lazy compaction certificate reports an incorrect missing.
Lazy compaction coverage requires a current physical representative · case 05
The bounded lazy compaction certificate reports an incorrect missing.
Lazy compaction reports physical current-entry count including corruption duplicates · case 01
The bounded lazy compaction certificate reports an incorrect post size.
Lazy compaction reports physical current-entry count including corruption duplicates · case 02
The bounded lazy compaction certificate reports an incorrect post size.
Lazy compaction reports physical current-entry count including corruption duplicates · case 03
The bounded lazy compaction certificate reports an incorrect post size.
Lazy compaction reports physical current-entry count including corruption duplicates · case 04
The bounded lazy compaction certificate reports an incorrect post size.
Lazy compaction reports physical current-entry count including corruption duplicates · case 05
The bounded lazy compaction certificate reports an incorrect post size.
Lazy heap compaction threshold adds slack after doubling logical occupancy · case 01
The bounded lazy compaction certificate reports an incorrect trigger.
Lazy heap compaction threshold adds slack after doubling logical occupancy · case 02
The bounded lazy compaction certificate reports an incorrect trigger.
Lazy heap compaction threshold adds slack after doubling logical occupancy · case 03
The bounded lazy compaction certificate reports an incorrect trigger.
Lazy heap compaction threshold adds slack after doubling logical occupancy · case 04
The bounded lazy compaction certificate reports an incorrect trigger.
Lazy heap compaction threshold adds slack after doubling logical occupancy · case 05
The bounded lazy compaction certificate reports an incorrect trigger.
Min-max heap level parity comes from tree depth rather than array parity · case 01
The bounded minmax levels certificate reports an incorrect parity.
Min-max heap level parity comes from tree depth rather than array parity · case 02
The bounded minmax levels certificate reports an incorrect parity.
Min-max heap level parity comes from tree depth rather than array parity · case 03
The bounded minmax levels certificate reports an incorrect parity.
Min-max heap level parity comes from tree depth rather than array parity · case 04
The bounded minmax levels certificate reports an incorrect parity.
Min-max heap level parity comes from tree depth rather than array parity · case 05
The bounded minmax levels certificate reports an incorrect parity.
Min-max heap grandparent skips two binary levels · case 01
The bounded minmax levels certificate reports an incorrect grandparents.
Min-max heap grandparent skips two binary levels · case 02
The bounded minmax levels certificate reports an incorrect grandparents.
Min-max heap grandparent skips two binary levels · case 03
The bounded minmax levels certificate reports an incorrect grandparents.
Min-max heap grandparent skips two binary levels · case 04
The bounded minmax levels certificate reports an incorrect grandparents.
Min-max heap grandparent skips two binary levels · case 05
The bounded minmax levels certificate reports an incorrect grandparents.
Min-level bubbling compares grandchildren and allows equal priorities · case 01
The bounded minmax levels certificate reports an incorrect min violations.
Min-level bubbling compares grandchildren and allows equal priorities · case 02
The bounded minmax levels certificate reports an incorrect min violations.
Min-level bubbling compares grandchildren and allows equal priorities · case 03
The bounded minmax levels certificate reports an incorrect min violations.
Min-level bubbling compares grandchildren and allows equal priorities · case 04
The bounded minmax levels certificate reports an incorrect min violations.
Min-level bubbling compares grandchildren and allows equal priorities · case 05
The bounded minmax levels certificate reports an incorrect min violations.
Max-level bubbling reverses the grandchild comparison while allowing ties · case 01
The bounded minmax levels certificate reports an incorrect max violations.
Max-level bubbling reverses the grandchild comparison while allowing ties · case 02
The bounded minmax levels certificate reports an incorrect max violations.
Max-level bubbling reverses the grandchild comparison while allowing ties · case 03
The bounded minmax levels certificate reports an incorrect max violations.
Max-level bubbling reverses the grandchild comparison while allowing ties · case 04
The bounded minmax levels certificate reports an incorrect max violations.
Max-level bubbling reverses the grandchild comparison while allowing ties · case 05
The bounded minmax levels certificate reports an incorrect max violations.
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 ↗