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
Buffered heap flush threshold measures the insertion buffer including equality · case 01
The bounded buffered flush certificate reports an incorrect trigger.
Buffered heap flush threshold measures the insertion buffer including equality · case 02
The bounded buffered flush certificate reports an incorrect trigger.
Buffered heap flush threshold measures the insertion buffer including equality · case 03
The bounded buffered flush certificate reports an incorrect trigger.
Buffered heap flush threshold measures the insertion buffer including equality · case 04
The bounded buffered flush certificate reports an incorrect trigger.
Buffered heap flush threshold measures the insertion buffer including equality · case 05
The bounded buffered flush certificate reports an incorrect trigger.
Buffered heap flush performs a global key-and-identity merge · case 01
The bounded buffered flush certificate reports an incorrect resident.
Buffered heap flush performs a global key-and-identity merge · case 02
The bounded buffered flush certificate reports an incorrect resident.
Buffered heap flush performs a global key-and-identity merge · case 03
The bounded buffered flush certificate reports an incorrect resident.
Buffered heap flush performs a global key-and-identity merge · case 04
The bounded buffered flush certificate reports an incorrect resident.
Buffered heap flush performs a global key-and-identity merge · case 05
The bounded buffered flush certificate reports an incorrect resident.
Buffered heap clears insertion buffer only after a completed flush · case 01
The bounded buffered flush certificate reports an incorrect buffer.
Buffered heap clears insertion buffer only after a completed flush · case 02
The bounded buffered flush certificate reports an incorrect buffer.
Buffered heap clears insertion buffer only after a completed flush · case 03
The bounded buffered flush certificate reports an incorrect buffer.
Buffered heap clears insertion buffer only after a completed flush · case 04
The bounded buffered flush certificate reports an incorrect buffer.
Buffered heap clears insertion buffer only after a completed flush · case 05
The bounded buffered flush certificate reports an incorrect buffer.
Buffered heap queries include buffered keys before flushing · case 01
The bounded buffered flush certificate reports an incorrect minimum.
Buffered heap queries include buffered keys before flushing · case 02
The bounded buffered flush certificate reports an incorrect minimum.
Buffered heap queries include buffered keys before flushing · case 03
The bounded buffered flush certificate reports an incorrect minimum.
Buffered heap queries include buffered keys before flushing · case 04
The bounded buffered flush certificate reports an incorrect minimum.
Buffered heap queries include buffered keys before flushing · case 05
The bounded buffered flush certificate reports an incorrect minimum.
Buffered heap logical size counts each buffered entry once across promotion · case 01
The bounded buffered flush certificate reports an incorrect size.
Buffered heap logical size counts each buffered entry once across promotion · case 02
The bounded buffered flush certificate reports an incorrect size.
Buffered heap logical size counts each buffered entry once across promotion · case 03
The bounded buffered flush certificate reports an incorrect size.
Buffered heap logical size counts each buffered entry once across promotion · case 04
The bounded buffered flush certificate reports an incorrect size.
Buffered heap logical size counts each buffered entry once across promotion · case 05
The bounded buffered flush certificate reports an incorrect size.
Buffered heap flush write count reflects the actual promoted batch · case 01
The bounded buffered flush certificate reports an incorrect writes.
Buffered heap flush write count reflects the actual promoted batch · case 02
The bounded buffered flush certificate reports an incorrect writes.
Buffered heap flush write count reflects the actual promoted batch · case 03
The bounded buffered flush certificate reports an incorrect writes.
Buffered heap flush write count reflects the actual promoted batch · case 04
The bounded buffered flush certificate reports an incorrect writes.
Buffered heap flush write count reflects the actual promoted batch · case 05
The bounded buffered flush certificate reports an incorrect writes.
Heap merge frontier emits the current run cursor rather than its first record · case 01
The bounded run frontier certificate reports an incorrect emitted.
Heap merge frontier emits the current run cursor rather than its first record · case 02
The bounded run frontier certificate reports an incorrect emitted.
Heap merge frontier emits the current run cursor rather than its first record · case 03
The bounded run frontier certificate reports an incorrect emitted.
Heap merge frontier emits the current run cursor rather than its first record · case 04
The bounded run frontier certificate reports an incorrect emitted.
Heap merge frontier emits the current run cursor rather than its first record · case 05
The bounded run frontier certificate reports an incorrect emitted.
Heap merge frontier advances only the selected run · case 01
The bounded run frontier certificate reports an incorrect offsets.
Heap merge frontier advances only the selected run · case 02
The bounded run frontier certificate reports an incorrect offsets.
Heap merge frontier advances only the selected run · case 03
The bounded run frontier certificate reports an incorrect offsets.
Heap merge frontier advances only the selected run · case 04
The bounded run frontier certificate reports an incorrect offsets.
Heap merge frontier advances only the selected run · case 05
The bounded run frontier certificate reports an incorrect offsets.
Heap merge frontier refreshes each head from its post-pop cursor · case 01
The bounded run frontier certificate reports an incorrect heads.
Heap merge frontier refreshes each head from its post-pop cursor · case 02
The bounded run frontier certificate reports an incorrect heads.
Heap merge frontier refreshes each head from its post-pop cursor · case 03
The bounded run frontier certificate reports an incorrect heads.
Heap merge frontier refreshes each head from its post-pop cursor · case 04
The bounded run frontier certificate reports an incorrect heads.
Heap merge frontier refreshes each head from its post-pop cursor · case 05
The bounded run frontier certificate reports an incorrect heads.
Heap merge frontier detects exhaustion at the exact terminal offset · case 01
The bounded run frontier certificate reports an incorrect exhausted.
Heap merge frontier detects exhaustion at the exact terminal offset · case 02
The bounded run frontier certificate reports an incorrect exhausted.
Heap merge frontier detects exhaustion at the exact terminal offset · case 03
The bounded run frontier certificate reports an incorrect exhausted.
Heap merge frontier detects exhaustion at the exact terminal offset · case 04
The bounded run frontier certificate reports an incorrect exhausted.
Heap merge frontier detects exhaustion at the exact terminal offset · case 05
The bounded run frontier certificate reports an incorrect exhausted.
Heap merge frontier remaining count excludes previously consumed records · case 01
The bounded run frontier certificate reports an incorrect remaining.
Heap merge frontier remaining count excludes previously consumed records · case 02
The bounded run frontier certificate reports an incorrect remaining.
Heap merge frontier remaining count excludes previously consumed records · case 03
The bounded run frontier certificate reports an incorrect remaining.
Heap merge frontier remaining count excludes previously consumed records · case 04
The bounded run frontier certificate reports an incorrect remaining.
Heap merge frontier remaining count excludes previously consumed records · case 05
The bounded run frontier certificate reports an incorrect remaining.
Heap merge next winner may come from another run and returns its identity · case 01
The bounded run frontier certificate reports an incorrect next run.
Heap merge next winner may come from another run and returns its identity · case 02
The bounded run frontier certificate reports an incorrect next run.
Heap merge next winner may come from another run and returns its identity · case 03
The bounded run frontier certificate reports an incorrect next run.
Heap merge next winner may come from another run and returns its identity · case 04
The bounded run frontier certificate reports an incorrect next run.
Heap merge next winner may come from another run and returns its identity · case 05
The bounded run frontier certificate reports an incorrect next run.
Persistent meld allocates on recursive unwind without copying the terminal subtree · case 01
The bounded persistent meld reuse certificate reports an incorrect alloc order.
Persistent meld allocates on recursive unwind without copying the terminal subtree · case 02
The bounded persistent meld reuse certificate reports an incorrect alloc order.
Persistent meld allocates on recursive unwind without copying the terminal subtree · case 03
The bounded persistent meld reuse certificate reports an incorrect alloc order.
Persistent meld allocates on recursive unwind without copying the terminal subtree · case 04
The bounded persistent meld reuse certificate reports an incorrect alloc order.
Persistent meld allocates on recursive unwind without copying the terminal subtree · case 05
The bounded persistent meld reuse certificate reports an incorrect alloc order.
Persistent meld reuses the untouched terminal subtree across snapshots · case 01
The bounded persistent meld reuse certificate reports an incorrect terminal.
Persistent meld reuses the untouched terminal subtree across snapshots · case 02
The bounded persistent meld reuse certificate reports an incorrect terminal.
Persistent meld reuses the untouched terminal subtree across snapshots · case 03
The bounded persistent meld reuse certificate reports an incorrect terminal.
Persistent meld reuses the untouched terminal subtree across snapshots · case 04
The bounded persistent meld reuse certificate reports an incorrect terminal.
Persistent meld reuses the untouched terminal subtree across snapshots · case 05
The bounded persistent meld reuse certificate reports an incorrect terminal.
Persistent meld reconnects copied winners in visitation order rather than unwind order · case 01
The bounded persistent meld reuse certificate reports an incorrect links.
Persistent meld reconnects copied winners in visitation order rather than unwind order · case 02
The bounded persistent meld reuse certificate reports an incorrect links.
Persistent meld reconnects copied winners in visitation order rather than unwind order · case 03
The bounded persistent meld reuse certificate reports an incorrect links.
Persistent meld reconnects copied winners in visitation order rather than unwind order · case 04
The bounded persistent meld reuse certificate reports an incorrect links.
Persistent meld reconnects copied winners in visitation order rather than unwind order · case 05
The bounded persistent meld reuse certificate reports an incorrect links.
Persistent meld empty recursion returns the shared terminal root · case 01
The bounded persistent meld reuse certificate reports an incorrect root.
Persistent meld empty recursion returns the shared terminal root · case 02
The bounded persistent meld reuse certificate reports an incorrect root.
Persistent meld empty recursion returns the shared terminal root · case 03
The bounded persistent meld reuse certificate reports an incorrect root.
Persistent meld empty recursion returns the shared terminal root · case 04
The bounded persistent meld reuse certificate reports an incorrect root.
Persistent meld empty recursion returns the shared terminal root · case 05
The bounded persistent meld reuse certificate reports an incorrect root.
Persistent meld allocates once per visited winner and never for its base case · case 01
The bounded persistent meld reuse certificate reports an incorrect allocation count.
Persistent meld allocates once per visited winner and never for its base case · case 02
The bounded persistent meld reuse certificate reports an incorrect allocation count.
Persistent meld allocates once per visited winner and never for its base case · case 03
The bounded persistent meld reuse certificate reports an incorrect allocation count.
Persistent meld allocates once per visited winner and never for its base case · case 04
The bounded persistent meld reuse certificate reports an incorrect allocation count.
Persistent meld allocates once per visited winner and never for its base case · case 05
The bounded persistent meld reuse certificate reports an incorrect allocation count.
Persistent meld leaves both prior snapshots reachable · case 01
The bounded persistent meld reuse certificate reports an incorrect old snapshot.
Persistent meld leaves both prior snapshots reachable · case 02
The bounded persistent meld reuse certificate reports an incorrect old snapshot.
Persistent meld leaves both prior snapshots reachable · case 03
The bounded persistent meld reuse certificate reports an incorrect old snapshot.
Persistent meld leaves both prior snapshots reachable · case 04
The bounded persistent meld reuse certificate reports an incorrect old snapshot.
Persistent meld leaves both prior snapshots reachable · case 05
The bounded persistent meld reuse certificate reports an incorrect old snapshot.
Paged heap addresses divide the zero-based global slot into page and offset · case 01
The bounded paged heap layout certificate reports an incorrect address.
Paged heap addresses divide the zero-based global slot into page and offset · case 02
The bounded paged heap layout certificate reports an incorrect address.
Paged heap addresses divide the zero-based global slot into page and offset · case 03
The bounded paged heap layout certificate reports an incorrect address.
Paged heap addresses divide the zero-based global slot into page and offset · case 04
The bounded paged heap layout certificate reports an incorrect address.
Paged heap addresses divide the zero-based global slot into page and offset · case 05
The bounded paged heap layout certificate reports an incorrect address.
Paged heap parent arithmetic must occur before translating into page coordinates · case 01
The bounded paged heap layout certificate reports an incorrect parent.
Paged heap parent arithmetic must occur before translating into page coordinates · case 02
The bounded paged heap layout certificate reports an incorrect parent.
Paged heap parent arithmetic must occur before translating into page coordinates · case 03
The bounded paged heap layout certificate reports an incorrect parent.
Paged heap parent arithmetic must occur before translating into page coordinates · case 04
The bounded paged heap layout certificate reports an incorrect parent.
Paged heap parent arithmetic must occur before translating into page coordinates · case 05
The bounded paged heap layout certificate reports an incorrect parent.
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 ↗