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
Negative braille pan offsets index from the document end · case 01
Negative braille pan offsets index from the document end.
Negative braille pan offsets index from the document end · case 02
Negative braille pan offsets index from the document end.
Negative braille pan offsets index from the document end · case 03
Negative braille pan offsets index from the document end.
Negative braille pan offsets index from the document end · case 04
Negative braille pan offsets index from the document end.
Negative braille pan offsets index from the document end · case 05
Negative braille pan offsets index from the document end.
Braille viewport capacity is treated as an absolute endpoint · case 01
Braille viewport capacity is treated as an absolute endpoint.
Braille viewport capacity is treated as an absolute endpoint · case 02
Braille viewport capacity is treated as an absolute endpoint.
Braille viewport capacity is treated as an absolute endpoint · case 03
Braille viewport capacity is treated as an absolute endpoint.
Braille viewport capacity is treated as an absolute endpoint · case 04
Braille viewport capacity is treated as an absolute endpoint.
Braille viewport capacity is treated as an absolute endpoint · case 05
Braille viewport capacity is treated as an absolute endpoint.
Protected content tokens leak through the braille bridge · case 01
Protected content tokens leak through the braille bridge.
Protected content tokens leak through the braille bridge · case 02
Protected content tokens leak through the braille bridge.
Protected content tokens leak through the braille bridge · case 03
Protected content tokens leak through the braille bridge.
Protected content tokens leak through the braille bridge · case 04
Protected content tokens leak through the braille bridge.
Protected content tokens leak through the braille bridge · case 05
Protected content tokens leak through the braille bridge.
Empty braille cells disappear instead of occupying a display slot · case 01
Empty braille cells disappear instead of occupying a display slot.
Empty braille cells disappear instead of occupying a display slot · case 02
Empty braille cells disappear instead of occupying a display slot.
Empty braille cells disappear instead of occupying a display slot · case 03
Empty braille cells disappear instead of occupying a display slot.
Empty braille cells disappear instead of occupying a display slot · case 04
Empty braille cells disappear instead of occupying a display slot.
Empty braille cells disappear instead of occupying a display slot · case 05
Empty braille cells disappear instead of occupying a display slot.
Braille routing ranges are replaced by cell display indices · case 01
Braille routing ranges are replaced by cell display indices.
Braille routing ranges are replaced by cell display indices · case 02
Braille routing ranges are replaced by cell display indices.
Braille routing ranges are replaced by cell display indices · case 03
Braille routing ranges are replaced by cell display indices.
Braille routing ranges are replaced by cell display indices · case 04
Braille routing ranges are replaced by cell display indices.
Braille routing ranges are replaced by cell display indices · case 05
Braille routing ranges are replaced by cell display indices.
Negative routing coordinates select the last displayed cell · case 01
Negative routing coordinates select the last displayed cell.
Negative routing coordinates select the last displayed cell · case 02
Negative routing coordinates select the last displayed cell.
Negative routing coordinates select the last displayed cell · case 03
Negative routing coordinates select the last displayed cell.
Negative routing coordinates select the last displayed cell · case 04
Negative routing coordinates select the last displayed cell.
Negative routing coordinates select the last displayed cell · case 05
Negative routing coordinates select the last displayed cell.
Routing offsets are incorrectly translated as document cell offsets · case 01
Routing offsets are incorrectly translated as document cell offsets.
Routing offsets are incorrectly translated as document cell offsets · case 02
Routing offsets are incorrectly translated as document cell offsets.
Routing offsets are incorrectly translated as document cell offsets · case 03
Routing offsets are incorrectly translated as document cell offsets.
Routing offsets are incorrectly translated as document cell offsets · case 04
Routing offsets are incorrectly translated as document cell offsets.
Routing offsets are incorrectly translated as document cell offsets · case 05
Routing offsets are incorrectly translated as document cell offsets.
Read-only braille cells accept a text routing position · case 01
Read-only braille cells accept a text routing position.
Read-only braille cells accept a text routing position · case 02
Read-only braille cells accept a text routing position.
Read-only braille cells accept a text routing position · case 03
Read-only braille cells accept a text routing position.
Read-only braille cells accept a text routing position · case 04
Read-only braille cells accept a text routing position.
Read-only braille cells accept a text routing position · case 05
Read-only braille cells accept a text routing position.
Routing collapses an expanded contraction to its final source character · case 01
Routing collapses an expanded contraction to its final source character.
Routing collapses an expanded contraction to its final source character · case 02
Routing collapses an expanded contraction to its final source character.
Routing collapses an expanded contraction to its final source character · case 03
Routing collapses an expanded contraction to its final source character.
Routing collapses an expanded contraction to its final source character · case 04
Routing collapses an expanded contraction to its final source character.
Routing collapses an expanded contraction to its final source character · case 05
Routing collapses an expanded contraction to its final source character.
Braille viewport end treats an exact final cell as more content · case 01
Braille viewport end treats an exact final cell as more content.
Braille viewport end treats an exact final cell as more content · case 02
Braille viewport end treats an exact final cell as more content.
Braille viewport end treats an exact final cell as more content · case 03
Braille viewport end treats an exact final cell as more content.
Braille viewport end treats an exact final cell as more content · case 04
Braille viewport end treats an exact final cell as more content.
Braille viewport end treats an exact final cell as more content · case 05
Braille viewport end treats an exact final cell as more content.
Label relationships generate the wrong inverse semantic · case 01
Label relationships generate the wrong inverse semantic.
Label relationships generate the wrong inverse semantic · case 02
Label relationships generate the wrong inverse semantic.
Label relationships generate the wrong inverse semantic · case 03
Label relationships generate the wrong inverse semantic.
Label relationships generate the wrong inverse semantic · case 04
Label relationships generate the wrong inverse semantic.
Label relationships generate the wrong inverse semantic · case 05
Label relationships generate the wrong inverse semantic.
Description providers are exposed as accessible names · case 01
Description providers are exposed as accessible names.
Description providers are exposed as accessible names · case 02
Description providers are exposed as accessible names.
Description providers are exposed as accessible names · case 03
Description providers are exposed as accessible names.
Description providers are exposed as accessible names · case 04
Description providers are exposed as accessible names.
Description providers are exposed as accessible names · case 05
Description providers are exposed as accessible names.
Controlled objects report forward control instead of controller relation · case 01
Controlled objects report forward control instead of controller relation.
Controlled objects report forward control instead of controller relation · case 02
Controlled objects report forward control instead of controller relation.
Controlled objects report forward control instead of controller relation · case 03
Controlled objects report forward control instead of controller relation.
Controlled objects report forward control instead of controller relation · case 04
Controlled objects report forward control instead of controller relation.
Controlled objects report forward control instead of controller relation · case 05
Controlled objects report forward control instead of controller relation.
Detail providers lose the inverse consumer relationship · case 01
Detail providers lose the inverse consumer relationship.
Detail providers lose the inverse consumer relationship · case 02
Detail providers lose the inverse consumer relationship.
Detail providers lose the inverse consumer relationship · case 03
Detail providers lose the inverse consumer relationship.
Detail providers lose the inverse consumer relationship · case 04
Detail providers lose the inverse consumer relationship.
Detail providers lose the inverse consumer relationship · case 05
Detail providers lose the inverse consumer relationship.
Forward relationships point back to their own source · case 01
Forward relationships point back to their own source.
Forward relationships point back to their own source · case 02
Forward relationships point back to their own source.
Forward relationships point back to their own source · case 03
Forward relationships point back to their own source.
Forward relationships point back to their own source · case 04
Forward relationships point back to their own source.
Forward relationships point back to their own source · case 05
Forward relationships point back to their own source.
Inverse relationships retain the original target endpoint · case 01
Inverse relationships retain the original target endpoint.
Inverse relationships retain the original target endpoint · case 02
Inverse relationships retain the original target endpoint.
Inverse relationships retain the original target endpoint · case 03
Inverse relationships retain the original target endpoint.
Inverse relationships retain the original target endpoint · case 04
Inverse relationships retain the original target endpoint.
Inverse relationships retain the original target endpoint · case 05
Inverse relationships retain the original target endpoint.
Repeated declarations duplicate forward relation descriptors · case 01
Repeated declarations duplicate forward relation descriptors.
Repeated declarations duplicate forward relation descriptors · case 02
Repeated declarations duplicate forward relation descriptors.
Repeated declarations duplicate forward relation descriptors · case 03
Repeated declarations duplicate forward relation descriptors.
Repeated declarations duplicate forward relation descriptors · case 04
Repeated declarations duplicate forward relation descriptors.
Repeated declarations duplicate forward relation descriptors · case 05
Repeated declarations duplicate forward relation descriptors.
Repeated declarations duplicate inverse relation descriptors · case 01
Repeated declarations duplicate inverse relation descriptors.
Repeated declarations duplicate inverse relation descriptors · case 02
Repeated declarations duplicate inverse relation descriptors.
Repeated declarations duplicate inverse relation descriptors · case 03
Repeated declarations duplicate inverse relation descriptors.
Repeated declarations duplicate inverse relation descriptors · case 04
Repeated declarations duplicate inverse relation descriptors.
Repeated declarations duplicate inverse relation descriptors · case 05
Repeated declarations duplicate inverse relation descriptors.
Nodes without relations disappear from snapshot results · case 01
Nodes without relations disappear from snapshot results.
Nodes without relations disappear from snapshot results · case 02
Nodes without relations disappear from snapshot results.
Nodes without relations disappear from snapshot results · case 03
Nodes without relations disappear from snapshot results.
Nodes without relations disappear from snapshot results · case 04
Nodes without relations disappear from snapshot results.
Nodes without relations disappear from snapshot results · case 05
Nodes without relations disappear from snapshot results.
Removed objects are mistaken for newly added objects · case 01
Removed objects are mistaken for newly added objects.
Removed objects are mistaken for newly added objects · case 02
Removed objects are mistaken for newly added objects.
Removed objects are mistaken for newly added objects · case 03
Removed objects are mistaken for newly added objects.
Removed objects are mistaken for newly added objects · case 04
Removed objects are mistaken for newly added objects.
Removed objects are mistaken for newly added objects · case 05
Removed objects are mistaken for newly added objects.
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 ↗