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
Direct rebuild trigger selection: Duplicate declarations schedule duplicate jobs · case 01
Duplicate declarations schedule duplicate jobs.
Direct rebuild trigger selection: Duplicate declarations schedule duplicate jobs · case 02
Duplicate declarations schedule duplicate jobs.
Direct rebuild trigger selection: Duplicate declarations schedule duplicate jobs · case 03
Duplicate declarations schedule duplicate jobs.
Direct rebuild trigger selection: Duplicate declarations schedule duplicate jobs · case 04
Duplicate declarations schedule duplicate jobs.
Direct rebuild trigger selection: Duplicate declarations schedule duplicate jobs · case 05
Duplicate declarations schedule duplicate jobs.
Generated file ownership: Disabled generators reserve output ownership · case 01
Disabled generators reserve output ownership.
Generated file ownership: Disabled generators reserve output ownership · case 02
Disabled generators reserve output ownership.
Generated file ownership: Disabled generators reserve output ownership · case 03
Disabled generators reserve output ownership.
Generated file ownership: Disabled generators reserve output ownership · case 04
Disabled generators reserve output ownership.
Generated file ownership: Disabled generators reserve output ownership · case 05
Disabled generators reserve output ownership.
Generated file ownership: Only one output of a generator is registered · case 01
Only one output of a generator is registered.
Generated file ownership: Only one output of a generator is registered · case 02
Only one output of a generator is registered.
Generated file ownership: Only one output of a generator is registered · case 03
Only one output of a generator is registered.
Generated file ownership: Only one output of a generator is registered · case 04
Only one output of a generator is registered.
Generated file ownership: Only one output of a generator is registered · case 05
Only one output of a generator is registered.
Generated file ownership: Multiple writers silently overwrite ownership · case 01
Multiple writers silently overwrite ownership.
Generated file ownership: Multiple writers silently overwrite ownership · case 02
Multiple writers silently overwrite ownership.
Generated file ownership: Multiple writers silently overwrite ownership · case 03
Multiple writers silently overwrite ownership.
Generated file ownership: Multiple writers silently overwrite ownership · case 04
Multiple writers silently overwrite ownership.
Generated file ownership: Multiple writers silently overwrite ownership · case 05
Multiple writers silently overwrite ownership.
Generated file ownership: Output names replace producing rule identities · case 01
Output names replace producing rule identities.
Generated file ownership: Output names replace producing rule identities · case 02
Output names replace producing rule identities.
Generated file ownership: Output names replace producing rule identities · case 03
Output names replace producing rule identities.
Generated file ownership: Output names replace producing rule identities · case 04
Output names replace producing rule identities.
Generated file ownership: Output names replace producing rule identities · case 05
Output names replace producing rule identities.
Generated file ownership: Ownership results depend on rule order · case 01
Ownership results depend on rule order.
Generated file ownership: Ownership results depend on rule order · case 02
Ownership results depend on rule order.
Generated file ownership: Ownership results depend on rule order · case 03
Ownership results depend on rule order.
Generated file ownership: Ownership results depend on rule order · case 04
Ownership results depend on rule order.
Generated file ownership: Ownership results depend on rule order · case 05
Ownership results depend on rule order.
Release candidate selection: Yanked versions remain eligible · case 01
Yanked versions remain eligible.
Release candidate selection: Yanked versions remain eligible · case 02
Yanked versions remain eligible.
Release candidate selection: Yanked versions remain eligible · case 03
Yanked versions remain eligible.
Release candidate selection: Yanked versions remain eligible · case 04
Yanked versions remain eligible.
Release candidate selection: Yanked versions remain eligible · case 05
Yanked versions remain eligible.
Release candidate selection: Prereleases displace stable releases · case 01
Prereleases displace stable releases.
Release candidate selection: Prereleases displace stable releases · case 02
Prereleases displace stable releases.
Release candidate selection: Prereleases displace stable releases · case 03
Prereleases displace stable releases.
Release candidate selection: Prereleases displace stable releases · case 04
Prereleases displace stable releases.
Release candidate selection: Prereleases displace stable releases · case 05
Prereleases displace stable releases.
Release candidate selection: Wrong-platform builds satisfy a requirement · case 01
Wrong-platform builds satisfy a requirement.
Release candidate selection: Wrong-platform builds satisfy a requirement · case 02
Wrong-platform builds satisfy a requirement.
Release candidate selection: Wrong-platform builds satisfy a requirement · case 03
Wrong-platform builds satisfy a requirement.
Release candidate selection: Wrong-platform builds satisfy a requirement · case 04
Wrong-platform builds satisfy a requirement.
Release candidate selection: Wrong-platform builds satisfy a requirement · case 05
Wrong-platform builds satisfy a requirement.
Release candidate selection: Versions below the required minimum are selected · case 01
Versions below the required minimum are selected.
Release candidate selection: Versions below the required minimum are selected · case 02
Versions below the required minimum are selected.
Release candidate selection: Versions below the required minimum are selected · case 03
Versions below the required minimum are selected.
Release candidate selection: Versions below the required minimum are selected · case 04
Versions below the required minimum are selected.
Release candidate selection: Versions below the required minimum are selected · case 05
Versions below the required minimum are selected.
Release candidate selection: The oldest compatible version wins · case 01
The oldest compatible version wins.
Release candidate selection: The oldest compatible version wins · case 02
The oldest compatible version wins.
Release candidate selection: The oldest compatible version wins · case 03
The oldest compatible version wins.
Release candidate selection: The oldest compatible version wins · case 04
The oldest compatible version wins.
Release candidate selection: The oldest compatible version wins · case 05
The oldest compatible version wins.
Closed-open version range intersection: A zero lower bound is treated as absent · case 01
A zero lower bound is treated as absent.
Closed-open version range intersection: A zero lower bound is treated as absent · case 02
A zero lower bound is treated as absent.
Closed-open version range intersection: A zero lower bound is treated as absent · case 03
A zero lower bound is treated as absent.
Closed-open version range intersection: A zero lower bound is treated as absent · case 04
A zero lower bound is treated as absent.
Closed-open version range intersection: A zero lower bound is treated as absent · case 05
A zero lower bound is treated as absent.
Closed-open version range intersection: A zero upper bound is treated as absent · case 01
A zero upper bound is treated as absent.
Closed-open version range intersection: A zero upper bound is treated as absent · case 02
A zero upper bound is treated as absent.
Closed-open version range intersection: A zero upper bound is treated as absent · case 03
A zero upper bound is treated as absent.
Closed-open version range intersection: A zero upper bound is treated as absent · case 04
A zero upper bound is treated as absent.
Closed-open version range intersection: A zero upper bound is treated as absent · case 05
A zero upper bound is treated as absent.
Closed-open version range intersection: Intersection chooses the least restrictive lower bound · case 01
Intersection chooses the least restrictive lower bound.
Closed-open version range intersection: Intersection chooses the least restrictive lower bound · case 02
Intersection chooses the least restrictive lower bound.
Closed-open version range intersection: Intersection chooses the least restrictive lower bound · case 03
Intersection chooses the least restrictive lower bound.
Closed-open version range intersection: Intersection chooses the least restrictive lower bound · case 04
Intersection chooses the least restrictive lower bound.
Closed-open version range intersection: Intersection chooses the least restrictive lower bound · case 05
Intersection chooses the least restrictive lower bound.
Closed-open version range intersection: Intersection chooses the least restrictive upper bound · case 01
Intersection chooses the least restrictive upper bound.
Closed-open version range intersection: Intersection chooses the least restrictive upper bound · case 02
Intersection chooses the least restrictive upper bound.
Closed-open version range intersection: Intersection chooses the least restrictive upper bound · case 03
Intersection chooses the least restrictive upper bound.
Closed-open version range intersection: Intersection chooses the least restrictive upper bound · case 04
Intersection chooses the least restrictive upper bound.
Closed-open version range intersection: Intersection chooses the least restrictive upper bound · case 05
Intersection chooses the least restrictive upper bound.
Closed-open version range intersection: An empty touching range is reported satisfiable · case 01
An empty touching range is reported satisfiable.
Closed-open version range intersection: An empty touching range is reported satisfiable · case 02
An empty touching range is reported satisfiable.
Closed-open version range intersection: An empty touching range is reported satisfiable · case 03
An empty touching range is reported satisfiable.
Closed-open version range intersection: An empty touching range is reported satisfiable · case 04
An empty touching range is reported satisfiable.
Closed-open version range intersection: An empty touching range is reported satisfiable · case 05
An empty touching range is reported satisfiable.
Dependency group activation: Runtime dependencies require opt-in · case 01
Runtime dependencies require opt-in.
Dependency group activation: Runtime dependencies require opt-in · case 02
Runtime dependencies require opt-in.
Dependency group activation: Runtime dependencies require opt-in · case 03
Runtime dependencies require opt-in.
Dependency group activation: Runtime dependencies require opt-in · case 04
Runtime dependencies require opt-in.
Dependency group activation: Runtime dependencies require opt-in · case 05
Runtime dependencies require opt-in.
Dependency group activation: Inactive optional groups are installed · case 01
Inactive optional groups are installed.
Dependency group activation: Inactive optional groups are installed · case 02
Inactive optional groups are installed.
Dependency group activation: Inactive optional groups are installed · case 03
Inactive optional groups are installed.
Dependency group activation: Inactive optional groups are installed · case 04
Inactive optional groups are installed.
Dependency group activation: Inactive optional groups are installed · case 05
Inactive optional groups are installed.
Dependency group activation: False environment markers are ignored · case 01
False environment markers are ignored.
Dependency group activation: False environment markers are ignored · case 02
False environment markers are ignored.
Dependency group activation: False environment markers are ignored · case 03
False environment markers are ignored.
Dependency group activation: False environment markers are ignored · case 04
False environment markers are ignored.
Dependency group activation: False environment markers are ignored · case 05
False environment markers are ignored.
Dependency group activation: Disabled declarations remain active · case 01
Disabled declarations remain active.
Dependency group activation: Disabled declarations remain active · case 02
Disabled declarations remain active.
Dependency group activation: Disabled declarations remain active · case 03
Disabled declarations remain active.
Dependency group activation: Disabled declarations remain active · case 04
Disabled declarations remain active.
Dependency group activation: Disabled declarations remain active · case 05
Disabled declarations remain active.
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 ↗