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
Line-end whitespace level reset: segment separator reset · case 01
Tabs inside right-to-left text keep the embedded level.
Line-end whitespace level reset: segment separator reset · case 02
Tabs inside right-to-left text keep the embedded level.
Line-end whitespace level reset: segment separator reset · case 03
Tabs inside right-to-left text keep the embedded level.
Line-end whitespace level reset: segment separator reset · case 04
Tabs inside right-to-left text keep the embedded level.
Line-end whitespace level reset: segment separator reset · case 05
Tabs inside right-to-left text keep the embedded level.
Line-end whitespace level reset: trailing run start · case 01
The final space on the line keeps its embedded level.
Line-end whitespace level reset: trailing run start · case 02
The final space on the line keeps its embedded level.
Line-end whitespace level reset: trailing run start · case 03
The final space on the line keeps its embedded level.
Line-end whitespace level reset: trailing run start · case 04
The final space on the line keeps its embedded level.
Line-end whitespace level reset: trailing run start · case 05
The final space on the line keeps its embedded level.
Line-end whitespace level reset: whitespace before separator · case 01
Only one space before a tab is reset.
Line-end whitespace level reset: whitespace before separator · case 02
Only one space before a tab is reset.
Line-end whitespace level reset: whitespace before separator · case 03
Only one space before a tab is reset.
Line-end whitespace level reset: whitespace before separator · case 04
Only one space before a tab is reset.
Line-end whitespace level reset: whitespace before separator · case 05
Only one space before a tab is reset.
Line-end whitespace level reset: reset target level · case 01
Trailing whitespace is reset to the lowest level on the line.
Line-end whitespace level reset: reset target level · case 02
Trailing whitespace is reset to the lowest level on the line.
Line-end whitespace level reset: reset target level · case 03
Trailing whitespace is reset to the lowest level on the line.
Line-end whitespace level reset: reset target level · case 04
Trailing whitespace is reset to the lowest level on the line.
Line-end whitespace level reset: reset target level · case 05
Trailing whitespace is reset to the lowest level on the line.
Explicit embedding stack: next odd level · case 01
RLE inside an RTL embedding produces an even level.
Explicit embedding stack: next odd level · case 02
RLE inside an RTL embedding produces an even level.
Explicit embedding stack: next odd level · case 03
RLE inside an RTL embedding produces an even level.
Explicit embedding stack: next odd level · case 04
RLE inside an RTL embedding produces an even level.
Explicit embedding stack: next odd level · case 05
RLE inside an RTL embedding produces an even level.
Explicit embedding stack: next even level · case 01
LRE inside an RTL embedding skips a level.
Explicit embedding stack: next even level · case 02
LRE inside an RTL embedding skips a level.
Explicit embedding stack: next even level · case 03
LRE inside an RTL embedding skips a level.
Explicit embedding stack: next even level · case 04
LRE inside an RTL embedding skips a level.
Explicit embedding stack: next even level · case 05
LRE inside an RTL embedding skips a level.
Explicit embedding stack: maximum depth bound · case 01
Embeddings exactly at the maximum depth are rejected.
Explicit embedding stack: maximum depth bound · case 02
Embeddings exactly at the maximum depth are rejected.
Explicit embedding stack: maximum depth bound · case 03
Embeddings exactly at the maximum depth are rejected.
Explicit embedding stack: maximum depth bound · case 04
Embeddings exactly at the maximum depth are rejected.
Explicit embedding stack: maximum depth bound · case 05
Embeddings exactly at the maximum depth are rejected.
Explicit embedding stack: overflow blocking · case 01
After an overflow, later shallower codes push levels that should be ignored.
Explicit embedding stack: overflow blocking · case 02
After an overflow, later shallower codes push levels that should be ignored.
Explicit embedding stack: overflow blocking · case 03
After an overflow, later shallower codes push levels that should be ignored.
Explicit embedding stack: overflow blocking · case 04
After an overflow, later shallower codes push levels that should be ignored.
Explicit embedding stack: overflow blocking · case 05
After an overflow, later shallower codes push levels that should be ignored.
Explicit embedding stack: PDF overflow priority · case 01
A PDF closes a real embedding while an overflowed one is still open.
Explicit embedding stack: PDF overflow priority · case 02
A PDF closes a real embedding while an overflowed one is still open.
Explicit embedding stack: PDF overflow priority · case 03
A PDF closes a real embedding while an overflowed one is still open.
Explicit embedding stack: PDF overflow priority · case 04
A PDF closes a real embedding while an overflowed one is still open.
Explicit embedding stack: PDF overflow priority · case 05
A PDF closes a real embedding while an overflowed one is still open.
Explicit embedding stack: override scope · case 01
Punctuation inside an override keeps its own class.
Explicit embedding stack: override scope · case 02
Punctuation inside an override keeps its own class.
Explicit embedding stack: override scope · case 03
Punctuation inside an override keeps its own class.
Explicit embedding stack: override scope · case 04
Punctuation inside an override keeps its own class.
Explicit embedding stack: override scope · case 05
Punctuation inside an override keeps its own class.
Explicit embedding stack: embedding clears override · case 01
Text inside an embedding nested in an override is still overridden.
Explicit embedding stack: embedding clears override · case 02
Text inside an embedding nested in an override is still overridden.
Explicit embedding stack: embedding clears override · case 03
Text inside an embedding nested in an override is still overridden.
Explicit embedding stack: embedding clears override · case 04
Text inside an embedding nested in an override is still overridden.
Explicit embedding stack: embedding clears override · case 05
Text inside an embedding nested in an override is still overridden.
Mirrored glyph rendering: mirroring parity · case 01
Brackets inside LTR embeddings of RTL text are flipped.
Mirrored glyph rendering: mirroring parity · case 02
Brackets inside LTR embeddings of RTL text are flipped.
Mirrored glyph rendering: mirroring parity · case 03
Brackets inside LTR embeddings of RTL text are flipped.
Mirrored glyph rendering: mirroring parity · case 04
Brackets inside LTR embeddings of RTL text are flipped.
Mirrored glyph rendering: mirroring parity · case 05
Brackets inside LTR embeddings of RTL text are flipped.
Mirrored glyph rendering: mirror table symmetry · case 01
Closing brackets in RTL text render unflipped.
Mirrored glyph rendering: mirror table symmetry · case 02
Closing brackets in RTL text render unflipped.
Mirrored glyph rendering: mirror table symmetry · case 03
Closing brackets in RTL text render unflipped.
Mirrored glyph rendering: mirror table symmetry · case 04
Closing brackets in RTL text render unflipped.
Mirrored glyph rendering: mirror table symmetry · case 05
Closing brackets in RTL text render unflipped.
Mirrored glyph rendering: mirror level lookup · case 01
Brackets are mirrored based on the level found at their visual slot.
Mirrored glyph rendering: mirror level lookup · case 02
Brackets are mirrored based on the level found at their visual slot.
Mirrored glyph rendering: mirror level lookup · case 03
Brackets are mirrored based on the level found at their visual slot.
Mirrored glyph rendering: mirror level lookup · case 04
Brackets are mirrored based on the level found at their visual slot.
Mirrored glyph rendering: mirror level lookup · case 05
Brackets are mirrored based on the level found at their visual slot.
Mirrored glyph rendering: reversal grouping key · case 01
Higher-level runs nested inside a reversal are left in place.
Mirrored glyph rendering: reversal grouping key · case 02
Higher-level runs nested inside a reversal are left in place.
Mirrored glyph rendering: reversal grouping key · case 03
Higher-level runs nested inside a reversal are left in place.
Mirrored glyph rendering: reversal grouping key · case 04
Higher-level runs nested inside a reversal are left in place.
Mirrored glyph rendering: reversal grouping key · case 05
Higher-level runs nested inside a reversal are left in place.
Bracket pair identification: bracket class filter · case 01
Brackets forced to R by an override are still paired.
Bracket pair identification: bracket class filter · case 02
Brackets forced to R by an override are still paired.
Bracket pair identification: bracket class filter · case 03
Brackets forced to R by an override are still paired.
Bracket pair identification: bracket class filter · case 04
Brackets forced to R by an override are still paired.
Bracket pair identification: bracket class filter · case 05
Brackets forced to R by an override are still paired.
Bracket pair identification: stack overflow handling · case 01
Pairs keep being found after the opener stack overflowed.
Bracket pair identification: stack overflow handling · case 02
Pairs keep being found after the opener stack overflowed.
Bracket pair identification: stack overflow handling · case 03
Pairs keep being found after the opener stack overflowed.
Bracket pair identification: stack overflow handling · case 04
Pairs keep being found after the opener stack overflowed.
Bracket pair identification: stack overflow handling · case 05
Pairs keep being found after the opener stack overflowed.
Bracket pair identification: mismatched closer search · case 01
A closer that does not match the top opener is dropped although its opener is deeper.
Bracket pair identification: mismatched closer search · case 02
A closer that does not match the top opener is dropped although its opener is deeper.
Bracket pair identification: mismatched closer search · case 03
A closer that does not match the top opener is dropped although its opener is deeper.
Bracket pair identification: mismatched closer search · case 04
A closer that does not match the top opener is dropped although its opener is deeper.
Bracket pair identification: mismatched closer search · case 05
A closer that does not match the top opener is dropped although its opener is deeper.
Bracket pair identification: pair ordering · case 01
Bracket pairs come back ordered by closing position.
Bracket pair identification: pair ordering · case 02
Bracket pairs come back ordered by closing position.
Bracket pair identification: pair ordering · case 03
Bracket pairs come back ordered by closing position.
Bracket pair identification: pair ordering · case 04
Bracket pairs come back ordered by closing position.
Bracket pair identification: pair ordering · case 05
Bracket pairs come back ordered by closing position.
Bracket pair identification: stack search direction · case 01
A closer pairs with the outermost matching opener.
Bracket pair identification: stack search direction · case 02
A closer pairs with the outermost matching opener.
Bracket pair identification: stack search direction · case 03
A closer pairs with the outermost matching opener.
Bracket pair identification: stack search direction · case 04
A closer pairs with the outermost matching opener.
Bracket pair identification: stack search direction · case 05
A closer pairs with the outermost matching opener.
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 ↗