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
Indexed erase fills the selected hole instead of shifting unrelated heap slots · case 01
The bounded indexed erase routing certificate reports an incorrect slots.
Indexed erase fills the selected hole instead of shifting unrelated heap slots · case 02
The bounded indexed erase routing certificate reports an incorrect slots.
Indexed erase fills the selected hole instead of shifting unrelated heap slots · case 03
The bounded indexed erase routing certificate reports an incorrect slots.
Indexed erase fills the selected hole instead of shifting unrelated heap slots · case 04
The bounded indexed erase routing certificate reports an incorrect slots.
Indexed erase fills the selected hole instead of shifting unrelated heap slots · case 05
The bounded indexed erase routing certificate reports an incorrect slots.
Indexed erase invalidates the selected handle instead of the moved tail handle · case 01
The bounded indexed erase routing certificate reports an incorrect removed.
Indexed erase invalidates the selected handle instead of the moved tail handle · case 02
The bounded indexed erase routing certificate reports an incorrect removed.
Indexed erase invalidates the selected handle instead of the moved tail handle · case 03
The bounded indexed erase routing certificate reports an incorrect removed.
Indexed erase invalidates the selected handle instead of the moved tail handle · case 04
The bounded indexed erase routing certificate reports an incorrect removed.
Indexed erase invalidates the selected handle instead of the moved tail handle · case 05
The bounded indexed erase routing certificate reports an incorrect removed.
Indexed erase can require upward repair when a tail crosses subtree priority boundaries · case 01
The bounded indexed erase routing certificate reports an incorrect direction.
Indexed erase can require upward repair when a tail crosses subtree priority boundaries · case 02
The bounded indexed erase routing certificate reports an incorrect direction.
Indexed erase can require upward repair when a tail crosses subtree priority boundaries · case 03
The bounded indexed erase routing certificate reports an incorrect direction.
Indexed erase can require upward repair when a tail crosses subtree priority boundaries · case 04
The bounded indexed erase routing certificate reports an incorrect direction.
Indexed erase can require upward repair when a tail crosses subtree priority boundaries · case 05
The bounded indexed erase routing certificate reports an incorrect direction.
Indexed erase remaps the tail handle to its new hole · case 01
The bounded indexed erase routing certificate reports an incorrect replacement location.
Indexed erase remaps the tail handle to its new hole · case 02
The bounded indexed erase routing certificate reports an incorrect replacement location.
Indexed erase remaps the tail handle to its new hole · case 03
The bounded indexed erase routing certificate reports an incorrect replacement location.
Indexed erase remaps the tail handle to its new hole · case 04
The bounded indexed erase routing certificate reports an incorrect replacement location.
Indexed erase remaps the tail handle to its new hole · case 05
The bounded indexed erase routing certificate reports an incorrect replacement location.
Indexed erase preserves every other identity including equal-priority members · case 01
The bounded indexed erase routing certificate reports an incorrect retained.
Indexed erase preserves every other identity including equal-priority members · case 02
The bounded indexed erase routing certificate reports an incorrect retained.
Indexed erase preserves every other identity including equal-priority members · case 03
The bounded indexed erase routing certificate reports an incorrect retained.
Indexed erase preserves every other identity including equal-priority members · case 04
The bounded indexed erase routing certificate reports an incorrect retained.
Indexed erase preserves every other identity including equal-priority members · case 05
The bounded indexed erase routing certificate reports an incorrect retained.
Indexed erase shrinks logical size exactly once even for tail deletion · case 01
The bounded indexed erase routing certificate reports an incorrect size.
Indexed erase shrinks logical size exactly once even for tail deletion · case 02
The bounded indexed erase routing certificate reports an incorrect size.
Indexed erase shrinks logical size exactly once even for tail deletion · case 03
The bounded indexed erase routing certificate reports an incorrect size.
Indexed erase shrinks logical size exactly once even for tail deletion · case 04
The bounded indexed erase routing certificate reports an incorrect size.
Indexed erase shrinks logical size exactly once even for tail deletion · case 05
The bounded indexed erase routing certificate reports an incorrect size.
Bucket priority bitmap encodes priority positions rather than counts · case 01
The bounded priority bitset certificate reports an incorrect actual mask.
Bucket priority bitmap encodes priority positions rather than counts · case 02
The bounded priority bitset certificate reports an incorrect actual mask.
Bucket priority bitmap encodes priority positions rather than counts · case 03
The bounded priority bitset certificate reports an incorrect actual mask.
Bucket priority bitmap encodes priority positions rather than counts · case 04
The bounded priority bitset certificate reports an incorrect actual mask.
Bucket priority bitmap encodes priority positions rather than counts · case 05
The bounded priority bitset certificate reports an incorrect actual mask.
Bucket priority minimum uses the least set bit with zero-based position · case 01
The bounded priority bitset certificate reports an incorrect minimum.
Bucket priority minimum uses the least set bit with zero-based position · case 02
The bounded priority bitset certificate reports an incorrect minimum.
Bucket priority minimum uses the least set bit with zero-based position · case 03
The bounded priority bitset certificate reports an incorrect minimum.
Bucket priority minimum uses the least set bit with zero-based position · case 04
The bounded priority bitset certificate reports an incorrect minimum.
Bucket priority minimum uses the least set bit with zero-based position · case 05
The bounded priority bitset certificate reports an incorrect minimum.
Bucket priority maximum uses the highest set bit with zero-based position · case 01
The bounded priority bitset certificate reports an incorrect maximum.
Bucket priority maximum uses the highest set bit with zero-based position · case 02
The bounded priority bitset certificate reports an incorrect maximum.
Bucket priority maximum uses the highest set bit with zero-based position · case 03
The bounded priority bitset certificate reports an incorrect maximum.
Bucket priority maximum uses the highest set bit with zero-based position · case 04
The bounded priority bitset certificate reports an incorrect maximum.
Bucket priority maximum uses the highest set bit with zero-based position · case 05
The bounded priority bitset certificate reports an incorrect maximum.
Bucket bitmap consistency identifies set bits whose buckets are empty · case 01
The bounded priority bitset certificate reports an incorrect ghosts.
Bucket bitmap consistency identifies set bits whose buckets are empty · case 02
The bounded priority bitset certificate reports an incorrect ghosts.
Bucket bitmap consistency identifies set bits whose buckets are empty · case 03
The bounded priority bitset certificate reports an incorrect ghosts.
Bucket bitmap consistency identifies set bits whose buckets are empty · case 04
The bounded priority bitset certificate reports an incorrect ghosts.
Bucket bitmap consistency identifies set bits whose buckets are empty · case 05
The bounded priority bitset certificate reports an incorrect ghosts.
Bucket bitmap consistency identifies occupied buckets lacking their bit · case 01
The bounded priority bitset certificate reports an incorrect missing.
Bucket bitmap consistency identifies occupied buckets lacking their bit · case 02
The bounded priority bitset certificate reports an incorrect missing.
Bucket bitmap consistency identifies occupied buckets lacking their bit · case 03
The bounded priority bitset certificate reports an incorrect missing.
Bucket bitmap consistency identifies occupied buckets lacking their bit · case 04
The bounded priority bitset certificate reports an incorrect missing.
Bucket bitmap consistency identifies occupied buckets lacking their bit · case 05
The bounded priority bitset certificate reports an incorrect missing.
Bucket pop clears occupancy only when the bucket becomes empty · case 01
The bounded priority bitset certificate reports an incorrect after pop.
Bucket pop clears occupancy only when the bucket becomes empty · case 02
The bounded priority bitset certificate reports an incorrect after pop.
Bucket pop clears occupancy only when the bucket becomes empty · case 03
The bounded priority bitset certificate reports an incorrect after pop.
Bucket pop clears occupancy only when the bucket becomes empty · case 04
The bounded priority bitset certificate reports an incorrect after pop.
Bucket pop clears occupancy only when the bucket becomes empty · case 05
The bounded priority bitset certificate reports an incorrect after pop.
Cyclic priority buckets use absolute-key residue independent of the current cursor · case 01
The bounded dial window certificate reports an incorrect buckets.
Cyclic priority buckets use absolute-key residue independent of the current cursor · case 02
The bounded dial window certificate reports an incorrect buckets.
Cyclic priority buckets use absolute-key residue independent of the current cursor · case 03
The bounded dial window certificate reports an incorrect buckets.
Cyclic priority buckets use absolute-key residue independent of the current cursor · case 04
The bounded dial window certificate reports an incorrect buckets.
Cyclic priority buckets use absolute-key residue independent of the current cursor · case 05
The bounded dial window certificate reports an incorrect buckets.
Cyclic priority expiry compares absolute keys rather than residues · case 01
The bounded dial window certificate reports an incorrect expired.
Cyclic priority expiry compares absolute keys rather than residues · case 02
The bounded dial window certificate reports an incorrect expired.
Cyclic priority expiry compares absolute keys rather than residues · case 03
The bounded dial window certificate reports an incorrect expired.
Cyclic priority expiry compares absolute keys rather than residues · case 04
The bounded dial window certificate reports an incorrect expired.
Cyclic priority expiry compares absolute keys rather than residues · case 05
The bounded dial window certificate reports an incorrect expired.
Cyclic priority queue excludes the next revolution boundary from the active window · case 01
The bounded dial window certificate reports an incorrect future.
Cyclic priority queue excludes the next revolution boundary from the active window · case 02
The bounded dial window certificate reports an incorrect future.
Cyclic priority queue excludes the next revolution boundary from the active window · case 03
The bounded dial window certificate reports an incorrect future.
Cyclic priority queue excludes the next revolution boundary from the active window · case 04
The bounded dial window certificate reports an incorrect future.
Cyclic priority queue excludes the next revolution boundary from the active window · case 05
The bounded dial window certificate reports an incorrect future.
Cyclic priority extraction selects an absolute active key rather than a stale or modulo minimum · case 01
The bounded dial window certificate reports an incorrect next.
Cyclic priority extraction selects an absolute active key rather than a stale or modulo minimum · case 02
The bounded dial window certificate reports an incorrect next.
Cyclic priority extraction selects an absolute active key rather than a stale or modulo minimum · case 03
The bounded dial window certificate reports an incorrect next.
Cyclic priority extraction selects an absolute active key rather than a stale or modulo minimum · case 04
The bounded dial window certificate reports an incorrect next.
Cyclic priority extraction selects an absolute active key rather than a stale or modulo minimum · case 05
The bounded dial window certificate reports an incorrect next.
Cyclic priority cursor advance handles physical wrap and distinguishes no candidate · case 01
The bounded dial window certificate reports an incorrect advance.
Cyclic priority cursor advance handles physical wrap and distinguishes no candidate · case 02
The bounded dial window certificate reports an incorrect advance.
Cyclic priority cursor advance handles physical wrap and distinguishes no candidate · case 03
The bounded dial window certificate reports an incorrect advance.
Cyclic priority cursor advance handles physical wrap and distinguishes no candidate · case 04
The bounded dial window certificate reports an incorrect advance.
Cyclic priority cursor advance handles physical wrap and distinguishes no candidate · case 05
The bounded dial window certificate reports an incorrect advance.
Cyclic bucket traversal follows logical key order across wraparound · case 01
The bounded dial window certificate reports an incorrect active order.
Cyclic bucket traversal follows logical key order across wraparound · case 02
The bounded dial window certificate reports an incorrect active order.
Cyclic bucket traversal follows logical key order across wraparound · case 03
The bounded dial window certificate reports an incorrect active order.
Cyclic bucket traversal follows logical key order across wraparound · case 04
The bounded dial window certificate reports an incorrect active order.
Cyclic bucket traversal follows logical key order across wraparound · case 05
The bounded dial window certificate reports an incorrect active order.
Calendar queue virtual bucket uses floor division relative to origin including negative offsets · case 01
The bounded calendar placement certificate reports an incorrect virtual.
Calendar queue virtual bucket uses floor division relative to origin including negative offsets · case 02
The bounded calendar placement certificate reports an incorrect virtual.
Calendar queue virtual bucket uses floor division relative to origin including negative offsets · case 03
The bounded calendar placement certificate reports an incorrect virtual.
Calendar queue virtual bucket uses floor division relative to origin including negative offsets · case 04
The bounded calendar placement certificate reports an incorrect virtual.
Calendar queue virtual bucket uses floor division relative to origin including negative offsets · case 05
The bounded calendar placement certificate reports an incorrect virtual.
Calendar queue physical bucket wraps negative and positive virtual indices by modulo · case 01
The bounded calendar placement certificate reports an incorrect physical.
Calendar queue physical bucket wraps negative and positive virtual indices by modulo · case 02
The bounded calendar placement certificate reports an incorrect physical.
Calendar queue physical bucket wraps negative and positive virtual indices by modulo · case 03
The bounded calendar placement certificate reports an incorrect physical.
Calendar queue physical bucket wraps negative and positive virtual indices by modulo · case 04
The bounded calendar placement certificate reports an incorrect physical.
Calendar queue physical bucket wraps negative and positive virtual indices by modulo · case 05
The bounded calendar placement certificate reports an incorrect physical.
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 ↗