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
Series availability sums incompatible cell inventories · case 01
Series discharge is allowed to draw the sum of individual cell inventories.
Series availability sums incompatible cell inventories · case 02
Series discharge is allowed to draw the sum of individual cell inventories.
Series availability sums incompatible cell inventories · case 03
Series discharge is allowed to draw the sum of individual cell inventories.
Series availability sums incompatible cell inventories · case 04
Series discharge is allowed to draw the sum of individual cell inventories.
Series availability sums incompatible cell inventories · case 05
Series discharge is allowed to draw the sum of individual cell inventories.
Removing a module loses charge provenance · case 01
Pack removal subtracts module capacity instead of that module inventory.
Removing a module loses charge provenance · case 02
Pack removal subtracts module capacity instead of that module inventory.
Removing a module loses charge provenance · case 03
Pack removal subtracts module capacity instead of that module inventory.
Removing a module loses charge provenance · case 04
Pack removal subtracts module capacity instead of that module inventory.
Removing a module loses charge provenance · case 05
Pack removal subtracts module capacity instead of that module inventory.
Cycle wear is inferred from net inventory change · case 01
Opposite direction transfers cancel before discharge throughput is counted.
Cycle wear is inferred from net inventory change · case 02
Opposite direction transfers cancel before discharge throughput is counted.
Cycle wear is inferred from net inventory change · case 03
Opposite direction transfers cancel before discharge throughput is counted.
Cycle wear is inferred from net inventory change · case 04
Opposite direction transfers cancel before discharge throughput is counted.
Cycle wear is inferred from net inventory change · case 05
Opposite direction transfers cancel before discharge throughput is counted.
Reserve policy permanently deletes charge · case 01
The protected reserve is subtracted from stored inventory even without delivery.
Reserve policy permanently deletes charge · case 02
The protected reserve is subtracted from stored inventory even without delivery.
Reserve policy permanently deletes charge · case 03
The protected reserve is subtracted from stored inventory even without delivery.
Reserve policy permanently deletes charge · case 04
The protected reserve is subtracted from stored inventory even without delivery.
Reserve policy permanently deletes charge · case 05
The protected reserve is subtracted from stored inventory even without delivery.
Overflow charge is retained as a hidden future credit · case 01
Only the final event sum is clipped to capacity.
Overflow charge is retained as a hidden future credit · case 02
Only the final event sum is clipped to capacity.
Overflow charge is retained as a hidden future credit · case 03
Only the final event sum is clipped to capacity.
Overflow charge is retained as a hidden future credit · case 04
Only the final event sum is clipped to capacity.
Overflow charge is retained as a hidden future credit · case 05
Only the final event sum is clipped to capacity.
Idle loss is charged once per observation · case 01
Repeated observations accumulate loss regardless of elapsed model time.
Idle loss is charged once per observation · case 02
Repeated observations accumulate loss regardless of elapsed model time.
Idle loss is charged once per observation · case 03
Repeated observations accumulate loss regardless of elapsed model time.
Idle loss is charged once per observation · case 04
Repeated observations accumulate loss regardless of elapsed model time.
Idle loss is charged once per observation · case 05
Repeated observations accumulate loss regardless of elapsed model time.
Replacement inherits the previous cell wear counter · case 01
A slot stores wear independently of the identity occupying it.
Replacement inherits the previous cell wear counter · case 02
A slot stores wear independently of the identity occupying it.
Replacement inherits the previous cell wear counter · case 03
A slot stores wear independently of the identity occupying it.
Replacement inherits the previous cell wear counter · case 04
A slot stores wear independently of the identity occupying it.
Replacement inherits the previous cell wear counter · case 05
A slot stores wear independently of the identity occupying it.
Balancing credits the receiver without debiting losses · case 01
Transfer loss is ignored while moving inventory between cells.
Balancing credits the receiver without debiting losses · case 02
Transfer loss is ignored while moving inventory between cells.
Balancing credits the receiver without debiting losses · case 03
Transfer loss is ignored while moving inventory between cells.
Balancing credits the receiver without debiting losses · case 04
Transfer loss is ignored while moving inventory between cells.
Balancing credits the receiver without debiting losses · case 05
Transfer loss is ignored while moving inventory between cells.
Repeated route operations are collapsed into one completion · case 01
Repeated route operations are collapsed into one completion.
Repeated route operations are collapsed into one completion · case 02
Repeated route operations are collapsed into one completion.
Repeated route operations are collapsed into one completion · case 03
Repeated route operations are collapsed into one completion.
Repeated route operations are collapsed into one completion · case 04
Repeated route operations are collapsed into one completion.
Repeated route operations are collapsed into one completion · case 05
Repeated route operations are collapsed into one completion.
Inspection evidence survives a rework cycle incorrectly · case 01
Inspection evidence survives a rework cycle incorrectly.
Inspection evidence survives a rework cycle incorrectly · case 02
Inspection evidence survives a rework cycle incorrectly.
Inspection evidence survives a rework cycle incorrectly · case 03
Inspection evidence survives a rework cycle incorrectly.
Inspection evidence survives a rework cycle incorrectly · case 04
Inspection evidence survives a rework cycle incorrectly.
Inspection evidence survives a rework cycle incorrectly · case 05
Inspection evidence survives a rework cycle incorrectly.
Merged lot genealogy loses one input branch · case 01
Merged lot genealogy loses one input branch.
Merged lot genealogy loses one input branch · case 02
Merged lot genealogy loses one input branch.
Merged lot genealogy loses one input branch · case 03
Merged lot genealogy loses one input branch.
Merged lot genealogy loses one input branch · case 04
Merged lot genealogy loses one input branch.
Merged lot genealogy loses one input branch · case 05
Merged lot genealogy loses one input branch.
A descendant lot escapes an upstream quality hold · case 01
A descendant lot escapes an upstream quality hold.
A descendant lot escapes an upstream quality hold · case 02
A descendant lot escapes an upstream quality hold.
A descendant lot escapes an upstream quality hold · case 03
A descendant lot escapes an upstream quality hold.
A descendant lot escapes an upstream quality hold · case 04
A descendant lot escapes an upstream quality hold.
A descendant lot escapes an upstream quality hold · case 05
A descendant lot escapes an upstream quality hold.
An in-process lot silently adopts a revised route · case 01
An in-process lot silently adopts a revised route.
An in-process lot silently adopts a revised route · case 02
An in-process lot silently adopts a revised route.
An in-process lot silently adopts a revised route · case 03
An in-process lot silently adopts a revised route.
An in-process lot silently adopts a revised route · case 04
An in-process lot silently adopts a revised route.
An in-process lot silently adopts a revised route · case 05
An in-process lot silently adopts a revised route.
A deviation approval leaks to another operation · case 01
A deviation approval leaks to another operation.
A deviation approval leaks to another operation · case 02
A deviation approval leaks to another operation.
A deviation approval leaks to another operation · case 03
A deviation approval leaks to another operation.
A deviation approval leaks to another operation · case 04
A deviation approval leaks to another operation.
A deviation approval leaks to another operation · case 05
A deviation approval leaks to another operation.
Tool qualification for one operation authorizes another · case 01
Tool qualification for one operation authorizes another.
Tool qualification for one operation authorizes another · case 02
Tool qualification for one operation authorizes another.
Tool qualification for one operation authorizes another · case 03
Tool qualification for one operation authorizes another.
Tool qualification for one operation authorizes another · case 04
Tool qualification for one operation authorizes another.
Tool qualification for one operation authorizes another · case 05
Tool qualification for one operation authorizes another.
One operator satisfies both release signatures · case 01
One operator satisfies both release signatures.
One operator satisfies both release signatures · case 02
One operator satisfies both release signatures.
One operator satisfies both release signatures · case 03
One operator satisfies both release signatures.
One operator satisfies both release signatures · case 04
One operator satisfies both release signatures.
One operator satisfies both release signatures · case 05
One operator satisfies both release signatures.
Duplicate samples mask an unqualified mold cavity · case 01
Duplicate samples mask an unqualified mold cavity.
Duplicate samples mask an unqualified mold cavity · case 02
Duplicate samples mask an unqualified mold cavity.
Duplicate samples mask an unqualified mold cavity · case 03
Duplicate samples mask an unqualified mold cavity.
Duplicate samples mask an unqualified mold cavity · case 04
Duplicate samples mask an unqualified mold cavity.
Duplicate samples mask an unqualified mold cavity · case 05
Duplicate samples mask an unqualified mold cavity.
A line clearance survives an intervening product run · case 01
A line clearance survives an intervening product run.
A line clearance survives an intervening product run · case 02
A line clearance survives an intervening product run.
A line clearance survives an intervening product run · case 03
A line clearance survives an intervening product run.
A line clearance survives an intervening product run · case 04
A line clearance survives an intervening product run.
A line clearance survives an intervening product run · case 05
A line clearance survives an intervening product run.
Already-applied dilution steps are multiplied again · case 01
Already-applied dilution steps are multiplied again.
Already-applied dilution steps are multiplied again · case 02
Already-applied dilution steps are multiplied again.
Already-applied dilution steps are multiplied again · case 03
Already-applied dilution steps are multiplied again.
Already-applied dilution steps are multiplied again · case 04
Already-applied dilution steps are multiplied again.
Already-applied dilution steps are multiplied again · case 05
Already-applied dilution steps are multiplied again.
Aliquot blank is subtracted after dilution correction · case 01
Aliquot blank is subtracted after dilution correction.
Aliquot blank is subtracted after dilution correction · case 02
Aliquot blank is subtracted after dilution correction.
Aliquot blank is subtracted after dilution correction · case 03
Aliquot blank is subtracted after dilution correction.
Aliquot blank is subtracted after dilution correction · case 04
Aliquot blank is subtracted after dilution correction.
Aliquot blank is subtracted after dilution correction · case 05
Aliquot blank is subtracted after dilution correction.
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 ↗