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
Lot partition: child sale activation · case 01
Unaccepted child lots are offered before their partition exists.
Lot partition: child sale activation · case 02
Unaccepted child lots are offered before their partition exists.
Lot partition: child sale activation · case 03
Unaccepted child lots are offered before their partition exists.
Lot partition: child sale activation · case 04
Unaccepted child lots are offered before their partition exists.
Lot partition: child sale activation · case 05
Unaccepted child lots are offered before their partition exists.
Lot partition: reservation inheritance · case 01
Parent encumbrance is lost or inherited from an unrelated child reservation.
Lot partition: reservation inheritance · case 02
Parent encumbrance is lost or inherited from an unrelated child reservation.
Lot partition: reservation inheritance · case 03
Parent encumbrance is lost or inherited from an unrelated child reservation.
Lot partition: reservation inheritance · case 04
Parent encumbrance is lost or inherited from an unrelated child reservation.
Lot partition: reservation inheritance · case 05
Parent encumbrance is lost or inherited from an unrelated child reservation.
Lot partition: sold parent partition block · case 01
Partition changes an already sold parent or child schedule.
Lot partition: sold parent partition block · case 02
Partition changes an already sold parent or child schedule.
Lot partition: sold parent partition block · case 03
Partition changes an already sold parent or child schedule.
Lot partition: sold parent partition block · case 04
Partition changes an already sold parent or child schedule.
Lot partition: sold parent partition block · case 05
Partition changes an already sold parent or child schedule.
Lot partition: serial disjointness · case 01
The same physical serial is sold through two different children.
Lot partition: serial disjointness · case 02
The same physical serial is sold through two different children.
Lot partition: serial disjointness · case 03
The same physical serial is sold through two different children.
Lot partition: serial disjointness · case 04
The same physical serial is sold through two different children.
Lot partition: serial disjointness · case 05
The same physical serial is sold through two different children.
Lot partition: serial coverage · case 01
A partition omits parent serials from every child.
Lot partition: serial coverage · case 02
A partition omits parent serials from every child.
Lot partition: serial coverage · case 03
A partition omits parent serials from every child.
Lot partition: serial coverage · case 04
A partition omits parent serials from every child.
Lot partition: serial coverage · case 05
A partition omits parent serials from every child.
Lot partition: child certificates · case 01
Parent certification is treated as an issued certificate for every child.
Lot partition: child certificates · case 02
Parent certification is treated as an issued certificate for every child.
Lot partition: child certificates · case 03
Parent certification is treated as an issued certificate for every child.
Lot partition: child certificates · case 04
Parent certification is treated as an issued certificate for every child.
Lot partition: child certificates · case 05
Parent certification is treated as an issued certificate for every child.
Lot partition: merge retires children · case 01
Merged or withdrawn child identifiers remain independently saleable.
Lot partition: merge retires children · case 02
Merged or withdrawn child identifiers remain independently saleable.
Lot partition: merge retires children · case 03
Merged or withdrawn child identifiers remain independently saleable.
Lot partition: merge retires children · case 04
Merged or withdrawn child identifiers remain independently saleable.
Lot partition: merge retires children · case 05
Merged or withdrawn child identifiers remain independently saleable.
Lot partition: minimum child size · case 01
Parent total size hides an undersized child lot.
Lot partition: minimum child size · case 02
Parent total size hides an undersized child lot.
Lot partition: minimum child size · case 03
Parent total size hides an undersized child lot.
Lot partition: minimum child size · case 04
Parent total size hides an undersized child lot.
Lot partition: minimum child size · case 05
Parent total size hides an undersized child lot.
Delivery slot awards: consecutive slot package · case 01
A multi-slot award contains a delivery gap.
Delivery slot awards: consecutive slot package · case 02
A multi-slot award contains a delivery gap.
Delivery slot awards: consecutive slot package · case 03
A multi-slot award contains a delivery gap.
Delivery slot awards: consecutive slot package · case 04
A multi-slot award contains a delivery gap.
Delivery slot awards: consecutive slot package · case 05
A multi-slot award contains a delivery gap.
Delivery slot awards: occupied slot conflict · case 01
A slot package overlaps one committed slot but differs as a whole.
Delivery slot awards: occupied slot conflict · case 02
A slot package overlaps one committed slot but differs as a whole.
Delivery slot awards: occupied slot conflict · case 03
A slot package overlaps one committed slot but differs as a whole.
Delivery slot awards: occupied slot conflict · case 04
A slot package overlaps one committed slot but differs as a whole.
Delivery slot awards: occupied slot conflict · case 05
A slot package overlaps one committed slot but differs as a whole.
Delivery slot awards: maintenance exclusion · case 01
Maintenance blocks either no requested slot or every auction slot.
Delivery slot awards: maintenance exclusion · case 02
Maintenance blocks either no requested slot or every auction slot.
Delivery slot awards: maintenance exclusion · case 03
Maintenance blocks either no requested slot or every auction slot.
Delivery slot awards: maintenance exclusion · case 04
Maintenance blocks either no requested slot or every auction slot.
Delivery slot awards: maintenance exclusion · case 05
Maintenance blocks either no requested slot or every auction slot.
Delivery slot awards: repeated slot demand · case 01
A package containing several simultaneous deliveries collapses multiplicity at one slot.
Delivery slot awards: repeated slot demand · case 02
A package containing several simultaneous deliveries collapses multiplicity at one slot.
Delivery slot awards: repeated slot demand · case 03
A package containing several simultaneous deliveries collapses multiplicity at one slot.
Delivery slot awards: repeated slot demand · case 04
A package containing several simultaneous deliveries collapses multiplicity at one slot.
Delivery slot awards: repeated slot demand · case 05
A package containing several simultaneous deliveries collapses multiplicity at one slot.
Delivery slot awards: per slot capacity · case 01
Aggregate spare capacity hides an oversold delivery slot.
Delivery slot awards: per slot capacity · case 02
Aggregate spare capacity hides an oversold delivery slot.
Delivery slot awards: per slot capacity · case 03
Aggregate spare capacity hides an oversold delivery slot.
Delivery slot awards: per slot capacity · case 04
Aggregate spare capacity hides an oversold delivery slot.
Delivery slot awards: per slot capacity · case 05
Aggregate spare capacity hides an oversold delivery slot.
Delivery slot awards: setup footprint · case 01
Setup capacity is omitted or reserved after delivery starts.
Delivery slot awards: setup footprint · case 02
Setup capacity is omitted or reserved after delivery starts.
Delivery slot awards: setup footprint · case 03
Setup capacity is omitted or reserved after delivery starts.
Delivery slot awards: setup footprint · case 04
Setup capacity is omitted or reserved after delivery starts.
Delivery slot awards: setup footprint · case 05
Setup capacity is omitted or reserved after delivery starts.
Delivery slot awards: cleanup footprint · case 01
Cleanup is reserved inside the award instead of after it.
Delivery slot awards: cleanup footprint · case 02
Cleanup is reserved inside the award instead of after it.
Delivery slot awards: cleanup footprint · case 03
Cleanup is reserved inside the award instead of after it.
Delivery slot awards: cleanup footprint · case 04
Cleanup is reserved inside the award instead of after it.
Delivery slot awards: cleanup footprint · case 05
Cleanup is reserved inside the award instead of after it.
Delivery slot awards: transfer release before check · case 01
Award slot transfer fails to remove legitimately released capacity.
Delivery slot awards: transfer release before check · case 02
Award slot transfer fails to remove legitimately released capacity.
Delivery slot awards: transfer release before check · case 03
Award slot transfer fails to remove legitimately released capacity.
Delivery slot awards: transfer release before check · case 04
Award slot transfer fails to remove legitimately released capacity.
Delivery slot awards: transfer release before check · case 05
Award slot transfer fails to remove legitimately released capacity.
Delivery slot awards: duration certificate · case 01
A fixed-duration winning slot package has the wrong number of slots.
Delivery slot awards: duration certificate · case 02
A fixed-duration winning slot package has the wrong number of slots.
Delivery slot awards: duration certificate · case 03
A fixed-duration winning slot package has the wrong number of slots.
Delivery slot awards: duration certificate · case 04
A fixed-duration winning slot package has the wrong number of slots.
Delivery slot awards: duration certificate · case 05
A fixed-duration winning slot package has the wrong number of slots.
Delivery slot awards: end exclusive reservation · case 01
A delivery award reserves its neighbor closing slot or loses its opening slot.
Delivery slot awards: end exclusive reservation · case 02
A delivery award reserves its neighbor closing slot or loses its opening slot.
Delivery slot awards: end exclusive reservation · case 03
A delivery award reserves its neighbor closing slot or loses its opening slot.
Delivery slot awards: end exclusive reservation · case 04
A delivery award reserves its neighbor closing slot or loses its opening slot.
Delivery slot awards: end exclusive reservation · case 05
A delivery award reserves its neighbor closing slot or loses its opening slot.
Bilateral confirmation: both party confirmation · case 01
A one-sided confirmation finalizes a matched award.
Bilateral confirmation: both party confirmation · case 02
A one-sided confirmation finalizes a matched award.
Bilateral confirmation: both party confirmation · case 03
A one-sided confirmation finalizes a matched award.
Bilateral confirmation: both party confirmation · case 04
A one-sided confirmation finalizes a matched award.
Bilateral confirmation: both party confirmation · case 05
A one-sided confirmation finalizes a matched award.
Bilateral confirmation: same proposal version · case 01
Confirmations from different trade proposals are combined.
Bilateral confirmation: same proposal version · case 02
Confirmations from different trade proposals are combined.
Bilateral confirmation: same proposal version · case 03
Confirmations from different trade proposals are combined.
Bilateral confirmation: same proposal version · case 04
Confirmations from different trade proposals are combined.
Bilateral confirmation: same proposal version · case 05
Confirmations from different trade proposals are combined.
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 ↗