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
Bounded accessible branch expansion eviction: Budget eviction drops user pin or requested branch · case 01
Budget eviction drops user pin or requested branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Budget eviction drops user pin or requested branch · case 02
Budget eviction drops user pin or requested branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Budget eviction drops user pin or requested branch · case 03
Budget eviction drops user pin or requested branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Budget eviction drops user pin or requested branch · case 04
Budget eviction drops user pin or requested branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Budget eviction drops user pin or requested branch · case 05
Budget eviction drops user pin or requested branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction chooses lexicographic or most-recent branch · case 01
Eviction chooses lexicographic or most-recent branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction chooses lexicographic or most-recent branch · case 02
Eviction chooses lexicographic or most-recent branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction chooses lexicographic or most-recent branch · case 03
Eviction chooses lexicographic or most-recent branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction chooses lexicographic or most-recent branch · case 04
Eviction chooses lexicographic or most-recent branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction chooses lexicographic or most-recent branch · case 05
Eviction chooses lexicographic or most-recent branch produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Expansion budget stop compares count instead of weights or misses equality · case 01
Expansion budget stop compares count instead of weights or misses equality produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Expansion budget stop compares count instead of weights or misses equality · case 02
Expansion budget stop compares count instead of weights or misses equality produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Expansion budget stop compares count instead of weights or misses equality · case 03
Expansion budget stop compares count instead of weights or misses equality produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Expansion budget stop compares count instead of weights or misses equality · case 04
Expansion budget stop compares count instead of weights or misses equality produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Expansion budget stop compares count instead of weights or misses equality · case 05
Expansion budget stop compares count instead of weights or misses equality produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction retains expanded descendants or branch root · case 01
Eviction retains expanded descendants or branch root produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction retains expanded descendants or branch root · case 02
Eviction retains expanded descendants or branch root produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction retains expanded descendants or branch root · case 03
Eviction retains expanded descendants or branch root produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction retains expanded descendants or branch root · case 04
Eviction retains expanded descendants or branch root produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction retains expanded descendants or branch root · case 05
Eviction retains expanded descendants or branch root produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction ignores pinned descendant inside candidate subtree · case 01
Eviction ignores pinned descendant inside candidate subtree produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction ignores pinned descendant inside candidate subtree · case 02
Eviction ignores pinned descendant inside candidate subtree produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction ignores pinned descendant inside candidate subtree · case 03
Eviction ignores pinned descendant inside candidate subtree produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction ignores pinned descendant inside candidate subtree · case 04
Eviction ignores pinned descendant inside candidate subtree produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Eviction ignores pinned descendant inside candidate subtree · case 05
Eviction ignores pinned descendant inside candidate subtree produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Oversized required path is accepted or invalid request succeeds · case 01
Oversized required path is accepted or invalid request succeeds produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Oversized required path is accepted or invalid request succeeds · case 02
Oversized required path is accepted or invalid request succeeds produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Oversized required path is accepted or invalid request succeeds · case 03
Oversized required path is accepted or invalid request succeeds produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Oversized required path is accepted or invalid request succeeds · case 04
Oversized required path is accepted or invalid request succeeds produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Oversized required path is accepted or invalid request succeeds · case 05
Oversized required path is accepted or invalid request succeeds produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected expansion leaks partial eviction changes · case 01
Rejected expansion leaks partial eviction changes produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected expansion leaks partial eviction changes · case 02
Rejected expansion leaks partial eviction changes produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected expansion leaks partial eviction changes · case 03
Rejected expansion leaks partial eviction changes produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected expansion leaks partial eviction changes · case 04
Rejected expansion leaks partial eviction changes produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected expansion leaks partial eviction changes · case 05
Rejected expansion leaks partial eviction changes produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected request or wrong timestamp corrupts branch recency · case 01
Rejected request or wrong timestamp corrupts branch recency produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected request or wrong timestamp corrupts branch recency · case 02
Rejected request or wrong timestamp corrupts branch recency produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected request or wrong timestamp corrupts branch recency · case 03
Rejected request or wrong timestamp corrupts branch recency produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected request or wrong timestamp corrupts branch recency · case 04
Rejected request or wrong timestamp corrupts branch recency produces the wrong hierarchical widget state in a regression fixture.
Bounded accessible branch expansion eviction: Rejected request or wrong timestamp corrupts branch recency · case 05
Rejected request or wrong timestamp corrupts branch recency produces the wrong hierarchical widget state in a regression fixture.
Binomial root list is ordered by key instead of rank · case 01
The bounded binomial forest certificate reports an incorrect canonical.
Binomial root list is ordered by key instead of rank · case 02
The bounded binomial forest certificate reports an incorrect canonical.
Binomial root list is ordered by key instead of rank · case 03
The bounded binomial forest certificate reports an incorrect canonical.
Binomial root list is ordered by key instead of rank · case 04
The bounded binomial forest certificate reports an incorrect canonical.
Binomial root list is ordered by key instead of rank · case 05
The bounded binomial forest certificate reports an incorrect canonical.
Binomial consolidation misses equal-rank roots separated in the list · case 01
The bounded binomial forest certificate reports an incorrect collisions.
Binomial consolidation misses equal-rank roots separated in the list · case 02
The bounded binomial forest certificate reports an incorrect collisions.
Binomial consolidation misses equal-rank roots separated in the list · case 03
The bounded binomial forest certificate reports an incorrect collisions.
Binomial consolidation misses equal-rank roots separated in the list · case 04
The bounded binomial forest certificate reports an incorrect collisions.
Binomial consolidation misses equal-rank roots separated in the list · case 05
The bounded binomial forest certificate reports an incorrect collisions.
Binomial minimum pointer is chosen by tree rank · case 01
The bounded binomial forest certificate reports an incorrect minimum.
Binomial minimum pointer is chosen by tree rank · case 02
The bounded binomial forest certificate reports an incorrect minimum.
Binomial minimum pointer is chosen by tree rank · case 03
The bounded binomial forest certificate reports an incorrect minimum.
Binomial minimum pointer is chosen by tree rank · case 04
The bounded binomial forest certificate reports an incorrect minimum.
Binomial minimum pointer is chosen by tree rank · case 05
The bounded binomial forest certificate reports an incorrect minimum.
Binomial forest size sums roots instead of tree populations · case 01
The bounded binomial forest certificate reports an incorrect population.
Binomial forest size sums roots instead of tree populations · case 02
The bounded binomial forest certificate reports an incorrect population.
Binomial forest size sums roots instead of tree populations · case 03
The bounded binomial forest certificate reports an incorrect population.
Binomial forest size sums roots instead of tree populations · case 04
The bounded binomial forest certificate reports an incorrect population.
Binomial forest size sums roots instead of tree populations · case 05
The bounded binomial forest certificate reports an incorrect population.
Binomial rank cardinality treats the exponent as a linear count · case 01
The bounded binomial forest certificate reports an incorrect cardinality.
Binomial rank cardinality treats the exponent as a linear count · case 02
The bounded binomial forest certificate reports an incorrect cardinality.
Binomial rank cardinality treats the exponent as a linear count · case 03
The bounded binomial forest certificate reports an incorrect cardinality.
Binomial rank cardinality treats the exponent as a linear count · case 04
The bounded binomial forest certificate reports an incorrect cardinality.
Binomial rank cardinality treats the exponent as a linear count · case 05
The bounded binomial forest certificate reports an incorrect cardinality.
Binomial child rank chain accepts ascending children · case 01
The bounded binomial forest certificate reports an incorrect children.
Binomial child rank chain accepts ascending children · case 02
The bounded binomial forest certificate reports an incorrect children.
Binomial child rank chain accepts ascending children · case 03
The bounded binomial forest certificate reports an incorrect children.
Binomial child rank chain accepts ascending children · case 04
The bounded binomial forest certificate reports an incorrect children.
Binomial child rank chain accepts ascending children · case 05
The bounded binomial forest certificate reports an incorrect children.
Fibonacci ring traversal verifies only one reciprocal link · case 01
The bounded fibonacci rings certificate reports an incorrect reciprocity.
Fibonacci ring traversal verifies only one reciprocal link · case 02
The bounded fibonacci rings certificate reports an incorrect reciprocity.
Fibonacci ring traversal verifies only one reciprocal link · case 03
The bounded fibonacci rings certificate reports an incorrect reciprocity.
Fibonacci ring traversal verifies only one reciprocal link · case 04
The bounded fibonacci rings certificate reports an incorrect reciprocity.
Fibonacci ring traversal verifies only one reciprocal link · case 05
The bounded fibonacci rings certificate reports an incorrect reciprocity.
Fibonacci child ownership is checked against the grandparent · case 01
The bounded fibonacci rings certificate reports an incorrect backlinks.
Fibonacci child ownership is checked against the grandparent · case 02
The bounded fibonacci rings certificate reports an incorrect backlinks.
Fibonacci child ownership is checked against the grandparent · case 03
The bounded fibonacci rings certificate reports an incorrect backlinks.
Fibonacci child ownership is checked against the grandparent · case 04
The bounded fibonacci rings certificate reports an incorrect backlinks.
Fibonacci child ownership is checked against the grandparent · case 05
The bounded fibonacci rings certificate reports an incorrect backlinks.
Fibonacci degree accepts hidden extra children · case 01
The bounded fibonacci rings certificate reports an incorrect degrees.
Fibonacci degree accepts hidden extra children · case 02
The bounded fibonacci rings certificate reports an incorrect degrees.
Fibonacci degree accepts hidden extra children · case 03
The bounded fibonacci rings certificate reports an incorrect degrees.
Fibonacci degree accepts hidden extra children · case 04
The bounded fibonacci rings certificate reports an incorrect degrees.
Fibonacci degree accepts hidden extra children · case 05
The bounded fibonacci rings certificate reports an incorrect degrees.
Fibonacci promoted roots retain a loss mark · case 01
The bounded fibonacci rings certificate reports an incorrect root marks.
Fibonacci promoted roots retain a loss mark · case 02
The bounded fibonacci rings certificate reports an incorrect root marks.
Fibonacci promoted roots retain a loss mark · case 03
The bounded fibonacci rings certificate reports an incorrect root marks.
Fibonacci promoted roots retain a loss mark · case 04
The bounded fibonacci rings certificate reports an incorrect root marks.
Fibonacci promoted roots retain a loss mark · case 05
The bounded fibonacci rings certificate reports an incorrect root marks.
Fibonacci root detection mistakes a self-ring for a root · case 01
The bounded fibonacci rings certificate reports an incorrect root ids.
Fibonacci root detection mistakes a self-ring for a root · case 02
The bounded fibonacci rings certificate reports an incorrect root ids.
Fibonacci root detection mistakes a self-ring for a root · case 03
The bounded fibonacci rings certificate reports an incorrect root ids.
Fibonacci root detection mistakes a self-ring for a root · case 04
The bounded fibonacci rings certificate reports an incorrect root ids.
Fibonacci root detection mistakes a self-ring for a root · case 05
The bounded fibonacci rings certificate reports an incorrect root ids.
Fibonacci minimum certificate accepts a minimum-valued child · case 01
The bounded fibonacci rings certificate reports an incorrect minimum valid.
Fibonacci minimum certificate accepts a minimum-valued child · case 02
The bounded fibonacci rings certificate reports an incorrect minimum valid.
Fibonacci minimum certificate accepts a minimum-valued child · case 03
The bounded fibonacci rings certificate reports an incorrect minimum valid.
Fibonacci minimum certificate accepts a minimum-valued child · case 04
The bounded fibonacci rings certificate reports an incorrect minimum valid.
Fibonacci minimum certificate accepts a minimum-valued child · case 05
The bounded fibonacci rings certificate reports an incorrect minimum valid.
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 ↗