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
Quoted carriage returns are normalized before token emission · case 01
A structured table violates the declared record or column contract.
Quoted carriage returns are normalized before token emission · case 02
A structured table violates the declared record or column contract.
Quoted carriage returns are normalized before token emission · case 03
A structured table violates the declared record or column contract.
Quoted carriage returns are normalized before token emission · case 04
A structured table violates the declared record or column contract.
Quoted carriage returns are normalized before token emission · case 05
A structured table violates the declared record or column contract.
A TSV framer clears a CR carry at chunk boundaries · case 01
A structured table violates the declared record or column contract.
A TSV framer clears a CR carry at chunk boundaries · case 02
A structured table violates the declared record or column contract.
A TSV framer clears a CR carry at chunk boundaries · case 03
A structured table violates the declared record or column contract.
A TSV framer clears a CR carry at chunk boundaries · case 04
A structured table violates the declared record or column contract.
A TSV framer clears a CR carry at chunk boundaries · case 05
A structured table violates the declared record or column contract.
A CR consumes an arbitrary next character as LF · case 01
A structured table violates the declared record or column contract.
A CR consumes an arbitrary next character as LF · case 02
A structured table violates the declared record or column contract.
A CR consumes an arbitrary next character as LF · case 03
A structured table violates the declared record or column contract.
A CR consumes an arbitrary next character as LF · case 04
A structured table violates the declared record or column contract.
A CR consumes an arbitrary next character as LF · case 05
A structured table violates the declared record or column contract.
Framed records retain the preceding record payload · case 01
A structured table violates the declared record or column contract.
Framed records retain the preceding record payload · case 02
A structured table violates the declared record or column contract.
Framed records retain the preceding record payload · case 03
A structured table violates the declared record or column contract.
Framed records retain the preceding record payload · case 04
A structured table violates the declared record or column contract.
Framed records retain the preceding record payload · case 05
A structured table violates the declared record or column contract.
A consumed CRLF leaves the terminator prefix pending · case 01
A structured table violates the declared record or column contract.
A consumed CRLF leaves the terminator prefix pending · case 02
A structured table violates the declared record or column contract.
A consumed CRLF leaves the terminator prefix pending · case 03
A structured table violates the declared record or column contract.
A consumed CRLF leaves the terminator prefix pending · case 04
A structured table violates the declared record or column contract.
A consumed CRLF leaves the terminator prefix pending · case 05
A structured table violates the declared record or column contract.
A complete unterminated final record is discarded · case 01
A structured table violates the declared record or column contract.
A complete unterminated final record is discarded · case 02
A structured table violates the declared record or column contract.
A complete unterminated final record is discarded · case 03
A structured table violates the declared record or column contract.
A complete unterminated final record is discarded · case 04
A structured table violates the declared record or column contract.
A complete unterminated final record is discarded · case 05
A structured table violates the declared record or column contract.
Empty physical TSV records vanish during framing · case 01
A structured table violates the declared record or column contract.
Empty physical TSV records vanish during framing · case 02
A structured table violates the declared record or column contract.
Empty physical TSV records vanish during framing · case 03
A structured table violates the declared record or column contract.
Empty physical TSV records vanish during framing · case 04
A structured table violates the declared record or column contract.
Empty physical TSV records vanish during framing · case 05
A structured table violates the declared record or column contract.
A new table directive abandons an unbound section · case 01
A structured table violates the declared record or column contract.
A new table directive abandons an unbound section · case 02
A structured table violates the declared record or column contract.
A new table directive abandons an unbound section · case 03
A structured table violates the declared record or column contract.
A new table directive abandons an unbound section · case 04
A structured table violates the declared record or column contract.
A new table directive abandons an unbound section · case 05
A structured table violates the declared record or column contract.
Blank section closure leaves the old table active · case 01
A structured table violates the declared record or column contract.
Blank section closure leaves the old table active · case 02
A structured table violates the declared record or column contract.
Blank section closure leaves the old table active · case 03
A structured table violates the declared record or column contract.
Blank section closure leaves the old table active · case 04
A structured table violates the declared record or column contract.
Blank section closure leaves the old table active · case 05
A structured table violates the declared record or column contract.
Each section body row overwrites its header · case 01
A structured table violates the declared record or column contract.
Each section body row overwrites its header · case 02
A structured table violates the declared record or column contract.
Each section body row overwrites its header · case 03
A structured table violates the declared record or column contract.
Each section body row overwrites its header · case 04
A structured table violates the declared record or column contract.
Each section body row overwrites its header · case 05
A structured table violates the declared record or column contract.
A section retains only its most recent data row · case 01
A structured table violates the declared record or column contract.
A section retains only its most recent data row · case 02
A structured table violates the declared record or column contract.
A section retains only its most recent data row · case 03
A structured table violates the declared record or column contract.
A section retains only its most recent data row · case 04
A structured table violates the declared record or column contract.
A section retains only its most recent data row · case 05
A structured table violates the declared record or column contract.
An EOF section directive is accepted without a header · case 01
A structured table violates the declared record or column contract.
An EOF section directive is accepted without a header · case 02
A structured table violates the declared record or column contract.
An EOF section directive is accepted without a header · case 03
A structured table violates the declared record or column contract.
An EOF section directive is accepted without a header · case 04
A structured table violates the declared record or column contract.
An EOF section directive is accepted without a header · case 05
A structured table violates the declared record or column contract.
A blank upper header erases the active group · case 01
A structured table violates the declared record or column contract.
A blank upper header erases the active group · case 02
A structured table violates the declared record or column contract.
A blank upper header erases the active group · case 03
A structured table violates the declared record or column contract.
A blank upper header erases the active group · case 04
A structured table violates the declared record or column contract.
A blank upper header erases the active group · case 05
A structured table violates the declared record or column contract.
An initial blank group is borrowed from a future column · case 01
A structured table violates the declared record or column contract.
An initial blank group is borrowed from a future column · case 02
A structured table violates the declared record or column contract.
An initial blank group is borrowed from a future column · case 03
A structured table violates the declared record or column contract.
An initial blank group is borrowed from a future column · case 04
A structured table violates the declared record or column contract.
An initial blank group is borrowed from a future column · case 05
A structured table violates the declared record or column contract.
A blank leaf is converted into a group-only column · case 01
A structured table violates the declared record or column contract.
A blank leaf is converted into a group-only column · case 02
A structured table violates the declared record or column contract.
A blank leaf is converted into a group-only column · case 03
A structured table violates the declared record or column contract.
A blank leaf is converted into a group-only column · case 04
A structured table violates the declared record or column contract.
A blank leaf is converted into a group-only column · case 05
A structured table violates the declared record or column contract.
Uniqueness is checked on leaf names across unrelated groups · case 01
A structured table violates the declared record or column contract.
Uniqueness is checked on leaf names across unrelated groups · case 02
A structured table violates the declared record or column contract.
Uniqueness is checked on leaf names across unrelated groups · case 03
A structured table violates the declared record or column contract.
Uniqueness is checked on leaf names across unrelated groups · case 04
A structured table violates the declared record or column contract.
Uniqueness is checked on leaf names across unrelated groups · case 05
A structured table violates the declared record or column contract.
Header group paths are emitted in lexical order · case 01
A structured table violates the declared record or column contract.
Header group paths are emitted in lexical order · case 02
A structured table violates the declared record or column contract.
Header group paths are emitted in lexical order · case 03
A structured table violates the declared record or column contract.
Header group paths are emitted in lexical order · case 04
A structured table violates the declared record or column contract.
Header group paths are emitted in lexical order · case 05
A structured table violates the declared record or column contract.
Sparse values containing equals are split as more assignments · case 01
A structured table violates the declared record or column contract.
Sparse values containing equals are split as more assignments · case 02
A structured table violates the declared record or column contract.
Sparse values containing equals are split as more assignments · case 03
A structured table violates the declared record or column contract.
Sparse values containing equals are split as more assignments · case 04
A structured table violates the declared record or column contract.
Sparse values containing equals are split as more assignments · case 05
A structured table violates the declared record or column contract.
Sparse indexes accept non-ASCII decimal spellings · case 01
A structured table violates the declared record or column contract.
Sparse indexes accept non-ASCII decimal spellings · case 02
A structured table violates the declared record or column contract.
Sparse indexes accept non-ASCII decimal spellings · case 03
A structured table violates the declared record or column contract.
Sparse indexes accept non-ASCII decimal spellings · case 04
A structured table violates the declared record or column contract.
Sparse indexes accept non-ASCII decimal spellings · case 05
A structured table violates the declared record or column contract.
Sparse column assignments allow a repeated or backwards index · case 01
A structured table violates the declared record or column contract.
Sparse column assignments allow a repeated or backwards index · case 02
A structured table violates the declared record or column contract.
Sparse column assignments allow a repeated or backwards index · case 03
A structured table violates the declared record or column contract.
Sparse column assignments allow a repeated or backwards index · case 04
A structured table violates the declared record or column contract.
Sparse column assignments allow a repeated or backwards index · case 05
A structured table violates the declared record or column contract.
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 ↗