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
Hyperlink destinations lose their fragment identity · case 01
Hyperlink destinations lose their fragment identity.
Hyperlink destinations lose their fragment identity · case 02
Hyperlink destinations lose their fragment identity.
Hyperlink destinations lose their fragment identity · case 03
Hyperlink destinations lose their fragment identity.
Hyperlink destinations lose their fragment identity · case 04
Hyperlink destinations lose their fragment identity.
Hyperlink destinations lose their fragment identity · case 05
Hyperlink destinations lose their fragment identity.
A singleton semantic reading flow is dropped as already complete · case 01
A singleton semantic reading flow is dropped as already complete.
A singleton semantic reading flow is dropped as already complete · case 02
A singleton semantic reading flow is dropped as already complete.
A singleton semantic reading flow is dropped as already complete · case 03
A singleton semantic reading flow is dropped as already complete.
A singleton semantic reading flow is dropped as already complete · case 04
A singleton semantic reading flow is dropped as already complete.
A singleton semantic reading flow is dropped as already complete · case 05
A singleton semantic reading flow is dropped as already complete.
Excluded semantic objects enter reading flow · case 01
Excluded semantic objects enter reading flow.
Excluded semantic objects enter reading flow · case 02
Excluded semantic objects enter reading flow.
Excluded semantic objects enter reading flow · case 03
Excluded semantic objects enter reading flow.
Excluded semantic objects enter reading flow · case 04
Excluded semantic objects enter reading flow.
Excluded semantic objects enter reading flow · case 05
Excluded semantic objects enter reading flow.
Reading flow reaches nonexisting semantic targets · case 01
Reading flow reaches nonexisting semantic targets.
Reading flow reaches nonexisting semantic targets · case 02
Reading flow reaches nonexisting semantic targets.
Reading flow reaches nonexisting semantic targets · case 03
Reading flow reaches nonexisting semantic targets.
Reading flow reaches nonexisting semantic targets · case 04
Reading flow reaches nonexisting semantic targets.
Reading flow reaches nonexisting semantic targets · case 05
Reading flow reaches nonexisting semantic targets.
Later reading-flow declarations replace the first override · case 01
Later reading-flow declarations replace the first override.
Later reading-flow declarations replace the first override · case 02
Later reading-flow declarations replace the first override.
Later reading-flow declarations replace the first override · case 03
Later reading-flow declarations replace the first override.
Later reading-flow declarations replace the first override · case 04
Later reading-flow declarations replace the first override.
Later reading-flow declarations replace the first override · case 05
Later reading-flow declarations replace the first override.
Reading-flow start ignores the requested semantic object · case 01
Reading-flow start ignores the requested semantic object.
Reading-flow start ignores the requested semantic object · case 02
Reading-flow start ignores the requested semantic object.
Reading-flow start ignores the requested semantic object · case 03
Reading-flow start ignores the requested semantic object.
Reading-flow start ignores the requested semantic object · case 04
Reading-flow start ignores the requested semantic object.
Reading-flow start ignores the requested semantic object · case 05
Reading-flow start ignores the requested semantic object.
Unlinked reading flow uses lexical order · case 01
Unlinked reading flow uses lexical order.
Unlinked reading flow uses lexical order · case 02
Unlinked reading flow uses lexical order.
Unlinked reading flow uses lexical order · case 03
Unlinked reading flow uses lexical order.
Unlinked reading flow uses lexical order · case 04
Unlinked reading flow uses lexical order.
Unlinked reading flow uses lexical order · case 05
Unlinked reading flow uses lexical order.
Starting late drops earlier objects from reading order · case 01
Starting late drops earlier objects from reading order.
Starting late drops earlier objects from reading order · case 02
Starting late drops earlier objects from reading order.
Starting late drops earlier objects from reading order · case 03
Starting late drops earlier objects from reading order.
Starting late drops earlier objects from reading order · case 04
Starting late drops earlier objects from reading order.
Starting late drops earlier objects from reading order · case 05
Starting late drops earlier objects from reading order.
Empty but valid object identifiers terminate reading flow · case 01
Empty but valid object identifiers terminate reading flow.
Empty but valid object identifiers terminate reading flow · case 02
Empty but valid object identifiers terminate reading flow.
Empty but valid object identifiers terminate reading flow · case 03
Empty but valid object identifiers terminate reading flow.
Empty but valid object identifiers terminate reading flow · case 04
Empty but valid object identifiers terminate reading flow.
Empty but valid object identifiers terminate reading flow · case 05
Empty but valid object identifiers terminate reading flow.
A reading-flow cycle truncates unrelated remaining objects · case 01
A reading-flow cycle truncates unrelated remaining objects.
A reading-flow cycle truncates unrelated remaining objects · case 02
A reading-flow cycle truncates unrelated remaining objects.
A reading-flow cycle truncates unrelated remaining objects · case 03
A reading-flow cycle truncates unrelated remaining objects.
A reading-flow cycle truncates unrelated remaining objects · case 04
A reading-flow cycle truncates unrelated remaining objects.
A reading-flow cycle truncates unrelated remaining objects · case 05
A reading-flow cycle truncates unrelated remaining objects.
Current semantic object is omitted from traversal output · case 01
Current semantic object is omitted from traversal output.
Current semantic object is omitted from traversal output · case 02
Current semantic object is omitted from traversal output.
Current semantic object is omitted from traversal output · case 03
Current semantic object is omitted from traversal output.
Current semantic object is omitted from traversal output · case 04
Current semantic object is omitted from traversal output.
Current semantic object is omitted from traversal output · case 05
Current semantic object is omitted from traversal output.
Outdated semantic property updates overwrite current values · case 01
Outdated semantic property updates overwrite current values.
Outdated semantic property updates overwrite current values · case 02
Outdated semantic property updates overwrite current values.
Outdated semantic property updates overwrite current values · case 03
Outdated semantic property updates overwrite current values.
Outdated semantic property updates overwrite current values · case 04
Outdated semantic property updates overwrite current values.
Outdated semantic property updates overwrite current values · case 05
Outdated semantic property updates overwrite current values.
Nonadvancing accessibility revisions are accepted · case 01
Nonadvancing accessibility revisions are accepted.
Nonadvancing accessibility revisions are accepted · case 02
Nonadvancing accessibility revisions are accepted.
Nonadvancing accessibility revisions are accepted · case 03
Nonadvancing accessibility revisions are accepted.
Nonadvancing accessibility revisions are accepted · case 04
Nonadvancing accessibility revisions are accepted.
Nonadvancing accessibility revisions are accepted · case 05
Nonadvancing accessibility revisions are accepted.
Patch updates alter stable accessibility object identifiers · case 01
Patch updates alter stable accessibility object identifiers.
Patch updates alter stable accessibility object identifiers · case 02
Patch updates alter stable accessibility object identifiers.
Patch updates alter stable accessibility object identifiers · case 03
Patch updates alter stable accessibility object identifiers.
Patch updates alter stable accessibility object identifiers · case 04
Patch updates alter stable accessibility object identifiers.
Patch updates alter stable accessibility object identifiers · case 05
Patch updates alter stable accessibility object identifiers.
A property-only patch changes the object interface role · case 01
A property-only patch changes the object interface role.
A property-only patch changes the object interface role · case 02
A property-only patch changes the object interface role.
A property-only patch changes the object interface role · case 03
A property-only patch changes the object interface role.
A property-only patch changes the object interface role · case 04
A property-only patch changes the object interface role.
A property-only patch changes the object interface role · case 05
A property-only patch changes the object interface role.
Unknown accessibility keys bypass atomic patch rejection · case 01
Unknown accessibility keys bypass atomic patch rejection.
Unknown accessibility keys bypass atomic patch rejection · case 02
Unknown accessibility keys bypass atomic patch rejection.
Unknown accessibility keys bypass atomic patch rejection · case 03
Unknown accessibility keys bypass atomic patch rejection.
Unknown accessibility keys bypass atomic patch rejection · case 04
Unknown accessibility keys bypass atomic patch rejection.
Unknown accessibility keys bypass atomic patch rejection · case 05
Unknown accessibility keys bypass atomic patch rejection.
Nontext semantic values enter the string property bridge · case 01
Nontext semantic values enter the string property bridge.
Nontext semantic values enter the string property bridge · case 02
Nontext semantic values enter the string property bridge.
Nontext semantic values enter the string property bridge · case 03
Nontext semantic values enter the string property bridge.
Nontext semantic values enter the string property bridge · case 04
Nontext semantic values enter the string property bridge.
Nontext semantic values enter the string property bridge · case 05
Nontext semantic values enter the string property bridge.
Removed semantic properties remain as explicit nulls · case 01
Removed semantic properties remain as explicit nulls.
Removed semantic properties remain as explicit nulls · case 02
Removed semantic properties remain as explicit nulls.
Removed semantic properties remain as explicit nulls · case 03
Removed semantic properties remain as explicit nulls.
Removed semantic properties remain as explicit nulls · case 04
Removed semantic properties remain as explicit nulls.
Removed semantic properties remain as explicit nulls · case 05
Removed semantic properties remain as explicit nulls.
Intentional empty semantic properties are discarded · case 01
Intentional empty semantic properties are discarded.
Intentional empty semantic properties are discarded · case 02
Intentional empty semantic properties are discarded.
Intentional empty semantic properties are discarded · case 03
Intentional empty semantic properties are discarded.
Intentional empty semantic properties are discarded · case 04
Intentional empty semantic properties are discarded.
Intentional empty semantic properties are discarded · case 05
Intentional empty semantic properties are discarded.
An empty semantic patch fails to advance revision · case 01
An empty semantic patch fails to advance revision.
An empty semantic patch fails to advance revision · case 02
An empty semantic patch fails to advance revision.
An empty semantic patch fails to advance revision · case 03
An empty semantic patch fails to advance revision.
An empty semantic patch fails to advance revision · case 04
An empty semantic patch fails to advance revision.
An empty semantic patch fails to advance revision · case 05
An empty semantic patch fails to advance revision.
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 ↗