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
Widow and orphan page breaking: orphan parameter binding · case 01
Orphan decisions follow the widow minimum.
Widow and orphan page breaking: orphan parameter binding · case 02
Orphan decisions follow the widow minimum.
Widow and orphan page breaking: orphan parameter binding · case 03
Orphan decisions follow the widow minimum.
Widow and orphan page breaking: orphan parameter binding · case 04
Orphan decisions follow the widow minimum.
Widow and orphan page breaking: orphan parameter binding · case 05
Orphan decisions follow the widow minimum.
CJK kinsoku line breaking: hanging punctuation set · case 01
Long vowel marks and closing brackets hang outside the measure.
CJK kinsoku line breaking: hanging punctuation set · case 02
Long vowel marks and closing brackets hang outside the measure.
CJK kinsoku line breaking: hanging punctuation set · case 03
Long vowel marks and closing brackets hang outside the measure.
CJK kinsoku line breaking: hanging punctuation set · case 04
Long vowel marks and closing brackets hang outside the measure.
CJK kinsoku line breaking: hanging punctuation set · case 05
Long vowel marks and closing brackets hang outside the measure.
CJK kinsoku line breaking: hang followed by closer · case 01
A period hangs while its closing bracket starts the next line.
CJK kinsoku line breaking: hang followed by closer · case 02
A period hangs while its closing bracket starts the next line.
CJK kinsoku line breaking: hang followed by closer · case 03
A period hangs while its closing bracket starts the next line.
CJK kinsoku line breaking: hang followed by closer · case 04
A period hangs while its closing bracket starts the next line.
CJK kinsoku line breaking: hang followed by closer · case 05
A period hangs while its closing bracket starts the next line.
CJK kinsoku line breaking: push-out chain · case 01
A run of two prohibited characters still starts the next line.
CJK kinsoku line breaking: push-out chain · case 02
A run of two prohibited characters still starts the next line.
CJK kinsoku line breaking: push-out chain · case 03
A run of two prohibited characters still starts the next line.
CJK kinsoku line breaking: push-out chain · case 04
A run of two prohibited characters still starts the next line.
CJK kinsoku line breaking: push-out chain · case 05
A run of two prohibited characters still starts the next line.
CJK kinsoku line breaking: line-end prohibition index · case 01
Lines end with an opening bracket.
CJK kinsoku line breaking: line-end prohibition index · case 02
Lines end with an opening bracket.
CJK kinsoku line breaking: line-end prohibition index · case 03
Lines end with an opening bracket.
CJK kinsoku line breaking: line-end prohibition index · case 04
Lines end with an opening bracket.
CJK kinsoku line breaking: line-end prohibition index · case 05
Lines end with an opening bracket.
CJK kinsoku line breaking: minimum line content · case 01
Short measures leave two-character lines where one would be legal.
CJK kinsoku line breaking: minimum line content · case 02
Short measures leave two-character lines where one would be legal.
CJK kinsoku line breaking: minimum line content · case 03
Short measures leave two-character lines where one would be legal.
CJK kinsoku line breaking: minimum line content · case 04
Short measures leave two-character lines where one would be legal.
CJK kinsoku line breaking: minimum line content · case 05
Short measures leave two-character lines where one would be legal.
CJK kinsoku line breaking: small kana strictness · case 01
Small kana and long vowel marks begin lines.
CJK kinsoku line breaking: small kana strictness · case 02
Small kana and long vowel marks begin lines.
CJK kinsoku line breaking: small kana strictness · case 03
Small kana and long vowel marks begin lines.
CJK kinsoku line breaking: small kana strictness · case 04
Small kana and long vowel marks begin lines.
CJK kinsoku line breaking: small kana strictness · case 05
Small kana and long vowel marks begin lines.
Box-glue-penalty breakpoints: glue legality context · case 01
Breaks are taken at glue that follows a penalty.
Box-glue-penalty breakpoints: glue legality context · case 02
Breaks are taken at glue that follows a penalty.
Box-glue-penalty breakpoints: glue legality context · case 03
Breaks are taken at glue that follows a penalty.
Box-glue-penalty breakpoints: glue legality context · case 04
Breaks are taken at glue that follows a penalty.
Box-glue-penalty breakpoints: glue legality context · case 05
Breaks are taken at glue that follows a penalty.
Box-glue-penalty breakpoints: infinite penalty inhibition · case 01
Lines break at penalties meant to forbid breaking.
Box-glue-penalty breakpoints: infinite penalty inhibition · case 02
Lines break at penalties meant to forbid breaking.
Box-glue-penalty breakpoints: infinite penalty inhibition · case 03
Lines break at penalties meant to forbid breaking.
Box-glue-penalty breakpoints: infinite penalty inhibition · case 04
Lines break at penalties meant to forbid breaking.
Box-glue-penalty breakpoints: infinite penalty inhibition · case 05
Lines break at penalties meant to forbid breaking.
Box-glue-penalty breakpoints: forced break threshold · case 01
Explicit forced breaks are ignored.
Box-glue-penalty breakpoints: forced break threshold · case 02
Explicit forced breaks are ignored.
Box-glue-penalty breakpoints: forced break threshold · case 03
Explicit forced breaks are ignored.
Box-glue-penalty breakpoints: forced break threshold · case 04
Explicit forced breaks are ignored.
Box-glue-penalty breakpoints: forced break threshold · case 05
Explicit forced breaks are ignored.
Box-glue-penalty breakpoints: penalty width accounting · case 01
Hyphenated lines are reported one hyphen narrower.
Box-glue-penalty breakpoints: penalty width accounting · case 02
Hyphenated lines are reported one hyphen narrower.
Box-glue-penalty breakpoints: penalty width accounting · case 03
Hyphenated lines are reported one hyphen narrower.
Box-glue-penalty breakpoints: penalty width accounting · case 04
Hyphenated lines are reported one hyphen narrower.
Box-glue-penalty breakpoints: penalty width accounting · case 05
Hyphenated lines are reported one hyphen narrower.
Box-glue-penalty breakpoints: discardable items at line start · case 01
Penalties left at the start of a line produce empty breaks.
Box-glue-penalty breakpoints: discardable items at line start · case 02
Penalties left at the start of a line produce empty breaks.
Box-glue-penalty breakpoints: discardable items at line start · case 03
Penalties left at the start of a line produce empty breaks.
Box-glue-penalty breakpoints: discardable items at line start · case 04
Penalties left at the start of a line produce empty breaks.
Box-glue-penalty breakpoints: discardable items at line start · case 05
Penalties left at the start of a line produce empty breaks.
Box-glue-penalty breakpoints: overflow trigger · case 01
Lines that exactly fill the measure are broken early.
Box-glue-penalty breakpoints: overflow trigger · case 02
Lines that exactly fill the measure are broken early.
Box-glue-penalty breakpoints: overflow trigger · case 03
Lines that exactly fill the measure are broken early.
Box-glue-penalty breakpoints: overflow trigger · case 04
Lines that exactly fill the measure are broken early.
Box-glue-penalty breakpoints: overflow trigger · case 05
Lines that exactly fill the measure are broken early.
Justified interword spacing: last-line justification · case 01
The final line of a paragraph is stretched across the measure.
Justified interword spacing: last-line justification · case 02
The final line of a paragraph is stretched across the measure.
Justified interword spacing: last-line justification · case 03
The final line of a paragraph is stretched across the measure.
Justified interword spacing: last-line justification · case 04
The final line of a paragraph is stretched across the measure.
Justified interword spacing: last-line justification · case 05
The final line of a paragraph is stretched across the measure.
Justified interword spacing: remainder placement · case 01
Extra spacing units cluster on the left side of the line.
Justified interword spacing: remainder placement · case 02
Extra spacing units cluster on the left side of the line.
Justified interword spacing: remainder placement · case 03
Extra spacing units cluster on the left side of the line.
Justified interword spacing: remainder placement · case 04
Extra spacing units cluster on the left side of the line.
Justified interword spacing: remainder placement · case 05
Extra spacing units cluster on the left side of the line.
Justified interword spacing: minimum space check · case 01
Lines set at exactly the minimum space are rejected as overfull.
Justified interword spacing: minimum space check · case 02
Lines set at exactly the minimum space are rejected as overfull.
Justified interword spacing: minimum space check · case 03
Lines set at exactly the minimum space are rejected as overfull.
Justified interword spacing: minimum space check · case 04
Lines set at exactly the minimum space are rejected as overfull.
Justified interword spacing: minimum space check · case 05
Lines set at exactly the minimum space are rejected as overfull.
Justified interword spacing: maximum space with remainder · case 01
Lines whose widest gap exceeds the maximum stay justified.
Justified interword spacing: maximum space with remainder · case 02
Lines whose widest gap exceeds the maximum stay justified.
Justified interword spacing: maximum space with remainder · case 03
Lines whose widest gap exceeds the maximum stay justified.
Justified interword spacing: maximum space with remainder · case 04
Lines whose widest gap exceeds the maximum stay justified.
Justified interword spacing: maximum space with remainder · case 05
Lines whose widest gap exceeds the maximum stay justified.
Justified interword spacing: ragged fallback spacing · case 01
Ragged lines are set with the wrong space width.
Justified interword spacing: ragged fallback spacing · case 02
Ragged lines are set with the wrong space width.
Justified interword spacing: ragged fallback spacing · case 03
Ragged lines are set with the wrong space width.
Justified interword spacing: ragged fallback spacing · case 04
Ragged lines are set with the wrong space width.
Justified interword spacing: ragged fallback spacing · case 05
Ragged lines are set with the wrong space width.
Justified interword spacing: space budget · case 01
Justified lines come out too wide.
Justified interword spacing: space budget · case 02
Justified lines come out too wide.
Justified interword spacing: space budget · case 03
Justified lines come out too wide.
Justified interword spacing: space budget · case 04
Justified lines come out too wide.
Justified interword spacing: space budget · case 05
Justified lines come out too wide.
Drop cap shaped paragraph: cap line count · case 01
One line too many is narrowed around the drop cap.
Drop cap shaped paragraph: cap line count · case 02
One line too many is narrowed around the drop cap.
Drop cap shaped paragraph: cap line count · case 03
One line too many is narrowed around the drop cap.
Drop cap shaped paragraph: cap line count · case 04
One line too many is narrowed around the drop cap.
Drop cap shaped paragraph: cap line count · case 05
One line too many is narrowed around the drop cap.
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 ↗