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
Rejected semantic patches consume revision numbers · case 01
Rejected semantic patches consume revision numbers.
Rejected semantic patches consume revision numbers · case 02
Rejected semantic patches consume revision numbers.
Rejected semantic patches consume revision numbers · case 03
Rejected semantic patches consume revision numbers.
Rejected semantic patches consume revision numbers · case 04
Rejected semantic patches consume revision numbers.
Rejected semantic patches consume revision numbers · case 05
Rejected semantic patches consume revision numbers.
Child pages mix snapshots after a document revision · case 01
Child pages mix snapshots after a document revision.
Child pages mix snapshots after a document revision · case 02
Child pages mix snapshots after a document revision.
Child pages mix snapshots after a document revision · case 03
Child pages mix snapshots after a document revision.
Child pages mix snapshots after a document revision · case 04
Child pages mix snapshots after a document revision.
Child pages mix snapshots after a document revision · case 05
Child pages mix snapshots after a document revision.
Boolean child offsets become integer indices · case 01
Boolean child offsets become integer indices.
Boolean child offsets become integer indices · case 02
Boolean child offsets become integer indices.
Boolean child offsets become integer indices · case 03
Boolean child offsets become integer indices.
Boolean child offsets become integer indices · case 04
Boolean child offsets become integer indices.
Boolean child offsets become integer indices · case 05
Boolean child offsets become integer indices.
Boolean page capacities are treated as a one-child request · case 01
Boolean page capacities are treated as a one-child request.
Boolean page capacities are treated as a one-child request · case 02
Boolean page capacities are treated as a one-child request.
Boolean page capacities are treated as a one-child request · case 03
Boolean page capacities are treated as a one-child request.
Boolean page capacities are treated as a one-child request · case 04
Boolean page capacities are treated as a one-child request.
Boolean page capacities are treated as a one-child request · case 05
Boolean page capacities are treated as a one-child request.
Negative child offsets address the final page · case 01
Negative child offsets address the final page.
Negative child offsets address the final page · case 02
Negative child offsets address the final page.
Negative child offsets address the final page · case 03
Negative child offsets address the final page.
Negative child offsets address the final page · case 04
Negative child offsets address the final page.
Negative child offsets address the final page · case 05
Negative child offsets address the final page.
Negative child capacities silently truncate results · case 01
Negative child capacities silently truncate results.
Negative child capacities silently truncate results · case 02
Negative child capacities silently truncate results.
Negative child capacities silently truncate results · case 03
Negative child capacities silently truncate results.
Negative child capacities silently truncate results · case 04
Negative child capacities silently truncate results.
Negative child capacities silently truncate results · case 05
Negative child capacities silently truncate results.
Unexposed child placeholders consume page capacity · case 01
Unexposed child placeholders consume page capacity.
Unexposed child placeholders consume page capacity · case 02
Unexposed child placeholders consume page capacity.
Unexposed child placeholders consume page capacity · case 03
Unexposed child placeholders consume page capacity.
Unexposed child placeholders consume page capacity · case 04
Unexposed child placeholders consume page capacity.
Unexposed child placeholders consume page capacity · case 05
Unexposed child placeholders consume page capacity.
Repeated semantic children occupy multiple page slots · case 01
Repeated semantic children occupy multiple page slots.
Repeated semantic children occupy multiple page slots · case 02
Repeated semantic children occupy multiple page slots.
Repeated semantic children occupy multiple page slots · case 03
Repeated semantic children occupy multiple page slots.
Repeated semantic children occupy multiple page slots · case 04
Repeated semantic children occupy multiple page slots.
Repeated semantic children occupy multiple page slots · case 05
Repeated semantic children occupy multiple page slots.
Child pagination treats capacity as an absolute end offset · case 01
Child pagination treats capacity as an absolute end offset.
Child pagination treats capacity as an absolute end offset · case 02
Child pagination treats capacity as an absolute end offset.
Child pagination treats capacity as an absolute end offset · case 03
Child pagination treats capacity as an absolute end offset.
Child pagination treats capacity as an absolute end offset · case 04
Child pagination treats capacity as an absolute end offset.
Child pagination treats capacity as an absolute end offset · case 05
Child pagination treats capacity as an absolute end offset.
An empty child page advertises a continuation to itself · case 01
An empty child page advertises a continuation to itself.
An empty child page advertises a continuation to itself · case 02
An empty child page advertises a continuation to itself.
An empty child page advertises a continuation to itself · case 03
An empty child page advertises a continuation to itself.
An empty child page advertises a continuation to itself · case 04
An empty child page advertises a continuation to itself.
An empty child page advertises a continuation to itself · case 05
An empty child page advertises a continuation to itself.
A terminal child page advertises an extra empty page · case 01
A terminal child page advertises an extra empty page.
A terminal child page advertises an extra empty page · case 02
A terminal child page advertises an extra empty page.
A terminal child page advertises an extra empty page · case 03
A terminal child page advertises an extra empty page.
A terminal child page advertises an extra empty page · case 04
A terminal child page advertises an extra empty page.
A terminal child page advertises an extra empty page · case 05
A terminal child page advertises an extra empty page.
Read-only text exposes a mutating accessibility edit path · case 01
Read-only text exposes a mutating accessibility edit path.
Read-only text exposes a mutating accessibility edit path · case 02
Read-only text exposes a mutating accessibility edit path.
Read-only text exposes a mutating accessibility edit path · case 03
Read-only text exposes a mutating accessibility edit path.
Read-only text exposes a mutating accessibility edit path · case 04
Read-only text exposes a mutating accessibility edit path.
Read-only text exposes a mutating accessibility edit path · case 05
Read-only text exposes a mutating accessibility edit path.
Accessible edits accept negative source offsets · case 01
Accessible edits accept negative source offsets.
Accessible edits accept negative source offsets · case 02
Accessible edits accept negative source offsets.
Accessible edits accept negative source offsets · case 03
Accessible edits accept negative source offsets.
Accessible edits accept negative source offsets · case 04
Accessible edits accept negative source offsets.
Accessible edits accept negative source offsets · case 05
Accessible edits accept negative source offsets.
Reversed edit ranges duplicate accessible text · case 01
Reversed edit ranges duplicate accessible text.
Reversed edit ranges duplicate accessible text · case 02
Reversed edit ranges duplicate accessible text.
Reversed edit ranges duplicate accessible text · case 03
Reversed edit ranges duplicate accessible text.
Reversed edit ranges duplicate accessible text · case 04
Reversed edit ranges duplicate accessible text.
Reversed edit ranges duplicate accessible text · case 05
Reversed edit ranges duplicate accessible text.
Edit end beyond current text is silently accepted · case 01
Edit end beyond current text is silently accepted.
Edit end beyond current text is silently accepted · case 02
Edit end beyond current text is silently accepted.
Edit end beyond current text is silently accepted · case 03
Edit end beyond current text is silently accepted.
Edit end beyond current text is silently accepted · case 04
Edit end beyond current text is silently accepted.
Edit end beyond current text is silently accepted · case 05
Edit end beyond current text is silently accepted.
Text replacement deletes one extra codepoint · case 01
Text replacement deletes one extra codepoint.
Text replacement deletes one extra codepoint · case 02
Text replacement deletes one extra codepoint.
Text replacement deletes one extra codepoint · case 03
Text replacement deletes one extra codepoint.
Text replacement deletes one extra codepoint · case 04
Text replacement deletes one extra codepoint.
Text replacement deletes one extra codepoint · case 05
Text replacement deletes one extra codepoint.
Replacement text is appended at the end of the control · case 01
Replacement text is appended at the end of the control.
Replacement text is appended at the end of the control · case 02
Replacement text is appended at the end of the control.
Replacement text is appended at the end of the control · case 03
Replacement text is appended at the end of the control.
Replacement text is appended at the end of the control · case 04
Replacement text is appended at the end of the control.
Replacement text is appended at the end of the control · case 05
Replacement text is appended at the end of the control.
Text exactly at the declared maximum is rejected · case 01
Text exactly at the declared maximum is rejected.
Text exactly at the declared maximum is rejected · case 02
Text exactly at the declared maximum is rejected.
Text exactly at the declared maximum is rejected · case 03
Text exactly at the declared maximum is rejected.
Text exactly at the declared maximum is rejected · case 04
Text exactly at the declared maximum is rejected.
Text exactly at the declared maximum is rejected · case 05
Text exactly at the declared maximum is rejected.
Zero-capacity accessible editors accept inserted text · case 01
Zero-capacity accessible editors accept inserted text.
Zero-capacity accessible editors accept inserted text · case 02
Zero-capacity accessible editors accept inserted text.
Zero-capacity accessible editors accept inserted text · case 03
Zero-capacity accessible editors accept inserted text.
Zero-capacity accessible editors accept inserted text · case 04
Zero-capacity accessible editors accept inserted text.
Zero-capacity accessible editors accept inserted text · case 05
Zero-capacity accessible editors accept inserted text.
Successful replacement reports the removed range end · case 01
Successful replacement reports the removed range end.
Successful replacement reports the removed range end · case 02
Successful replacement reports the removed range end.
Successful replacement reports the removed range end · case 03
Successful replacement reports the removed range end.
Successful replacement reports the removed range end · case 04
Successful replacement reports the removed range end.
Successful replacement reports the removed range end · case 05
Successful replacement reports the removed range end.
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 ↗