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
A tagged message uses its recipient as message text · case 01
A structured table violates the declared record or column contract.
A tagged message uses its recipient as message text · case 02
A structured table violates the declared record or column contract.
A tagged message uses its recipient as message text · case 03
A structured table violates the declared record or column contract.
A tagged message uses its recipient as message text · case 04
A structured table violates the declared record or column contract.
A tagged message uses its recipient as message text · case 05
A structured table violates the declared record or column contract.
Typed row decoding accepts noncanonical age spellings · case 01
A structured table violates the declared record or column contract.
Typed row decoding accepts noncanonical age spellings · case 02
A structured table violates the declared record or column contract.
Typed row decoding accepts noncanonical age spellings · case 03
A structured table violates the declared record or column contract.
Typed row decoding accepts noncanonical age spellings · case 04
A structured table violates the declared record or column contract.
Typed row decoding accepts noncanonical age spellings · case 05
A structured table violates the declared record or column contract.
The decoder drops the union discriminator from person records · case 01
A structured table violates the declared record or column contract.
The decoder drops the union discriminator from person records · case 02
A structured table violates the declared record or column contract.
The decoder drops the union discriminator from person records · case 03
A structured table violates the declared record or column contract.
The decoder drops the union discriminator from person records · case 04
A structured table violates the declared record or column contract.
The decoder drops the union discriminator from person records · case 05
A structured table violates the declared record or column contract.
A field source span starts on its preceding delimiter · case 01
A structured table violates the declared record or column contract.
A field source span starts on its preceding delimiter · case 02
A structured table violates the declared record or column contract.
A field source span starts on its preceding delimiter · case 03
A structured table violates the declared record or column contract.
A field source span starts on its preceding delimiter · case 04
A structured table violates the declared record or column contract.
A field source span starts on its preceding delimiter · case 05
A structured table violates the declared record or column contract.
A field source span includes the following delimiter · case 01
A structured table violates the declared record or column contract.
A field source span includes the following delimiter · case 02
A structured table violates the declared record or column contract.
A field source span includes the following delimiter · case 03
A structured table violates the declared record or column contract.
A field source span includes the following delimiter · case 04
A structured table violates the declared record or column contract.
A field source span includes the following delimiter · case 05
A structured table violates the declared record or column contract.
The last field span ends at the preceding delimiter · case 01
A structured table violates the declared record or column contract.
The last field span ends at the preceding delimiter · case 02
A structured table violates the declared record or column contract.
The last field span ends at the preceding delimiter · case 03
A structured table violates the declared record or column contract.
The last field span ends at the preceding delimiter · case 04
A structured table violates the declared record or column contract.
The last field span ends at the preceding delimiter · case 05
A structured table violates the declared record or column contract.
A field span is paired with the entire unsplit record · case 01
A structured table violates the declared record or column contract.
A field span is paired with the entire unsplit record · case 02
A structured table violates the declared record or column contract.
A field span is paired with the entire unsplit record · case 03
A structured table violates the declared record or column contract.
A field span is paired with the entire unsplit record · case 04
A structured table violates the declared record or column contract.
A field span is paired with the entire unsplit record · case 05
A structured table violates the declared record or column contract.
A source map omits an empty final field · case 01
A structured table violates the declared record or column contract.
A source map omits an empty final field · case 02
A structured table violates the declared record or column contract.
A source map omits an empty final field · case 03
A structured table violates the declared record or column contract.
A source map omits an empty final field · case 04
A structured table violates the declared record or column contract.
A source map omits an empty final field · case 05
A structured table violates the declared record or column contract.
Earlier cell edits invalidate offsets used by later edits · case 01
A structured table violates the declared record or column contract.
Earlier cell edits invalidate offsets used by later edits · case 02
A structured table violates the declared record or column contract.
Earlier cell edits invalidate offsets used by later edits · case 03
A structured table violates the declared record or column contract.
Earlier cell edits invalidate offsets used by later edits · case 04
A structured table violates the declared record or column contract.
Earlier cell edits invalidate offsets used by later edits · case 05
A structured table violates the declared record or column contract.
A cell edit consumes its following comma · case 01
A structured table violates the declared record or column contract.
A cell edit consumes its following comma · case 02
A structured table violates the declared record or column contract.
A cell edit consumes its following comma · case 03
A structured table violates the declared record or column contract.
A cell edit consumes its following comma · case 04
A structured table violates the declared record or column contract.
A cell edit consumes its following comma · case 05
A structured table violates the declared record or column contract.
Cell patches use character-zero as every source start · case 01
A structured table violates the declared record or column contract.
Cell patches use character-zero as every source start · case 02
A structured table violates the declared record or column contract.
Cell patches use character-zero as every source start · case 03
A structured table violates the declared record or column contract.
Cell patches use character-zero as every source start · case 04
A structured table violates the declared record or column contract.
Cell patches use character-zero as every source start · case 05
A structured table violates the declared record or column contract.
A cell edit duplicates the replaced source content · case 01
A structured table violates the declared record or column contract.
A cell edit duplicates the replaced source content · case 02
A structured table violates the declared record or column contract.
A cell edit duplicates the replaced source content · case 03
A structured table violates the declared record or column contract.
A cell edit duplicates the replaced source content · case 04
A structured table violates the declared record or column contract.
A cell edit duplicates the replaced source content · case 05
A structured table violates the declared record or column contract.
Repeated edits to the same physical cell are accepted · case 01
A structured table violates the declared record or column contract.
Repeated edits to the same physical cell are accepted · case 02
A structured table violates the declared record or column contract.
Repeated edits to the same physical cell are accepted · case 03
A structured table violates the declared record or column contract.
Repeated edits to the same physical cell are accepted · case 04
A structured table violates the declared record or column contract.
Repeated edits to the same physical cell are accepted · case 05
A structured table violates the declared record or column contract.
A new chunk overwrites the unfinished preceding record · case 01
A structured table violates the declared record or column contract.
A new chunk overwrites the unfinished preceding record · case 02
A structured table violates the declared record or column contract.
A new chunk overwrites the unfinished preceding record · case 03
A structured table violates the declared record or column contract.
A new chunk overwrites the unfinished preceding record · case 04
A structured table violates the declared record or column contract.
A new chunk overwrites the unfinished preceding record · case 05
A structured table violates the declared record or column contract.
Only one complete record is drained from each input chunk · case 01
A structured table violates the declared record or column contract.
Only one complete record is drained from each input chunk · case 02
A structured table violates the declared record or column contract.
Only one complete record is drained from each input chunk · case 03
A structured table violates the declared record or column contract.
Only one complete record is drained from each input chunk · case 04
A structured table violates the declared record or column contract.
Only one complete record is drained from each input chunk · case 05
A structured table violates the declared record or column contract.
Chunk draining splits at the final newline instead of the first · case 01
A structured table violates the declared record or column contract.
Chunk draining splits at the final newline instead of the first · case 02
A structured table violates the declared record or column contract.
Chunk draining splits at the final newline instead of the first · case 03
A structured table violates the declared record or column contract.
Chunk draining splits at the final newline instead of the first · case 04
A structured table violates the declared record or column contract.
Chunk draining splits at the final newline instead of the first · case 05
A structured table violates the declared record or column contract.
A buffered unterminated final record is omitted · case 01
A structured table violates the declared record or column contract.
A buffered unterminated final record is omitted · case 02
A structured table violates the declared record or column contract.
A buffered unterminated final record is omitted · case 03
A structured table violates the declared record or column contract.
A buffered unterminated final record is omitted · case 04
A structured table violates the declared record or column contract.
A buffered unterminated final record is omitted · case 05
A structured table violates the declared record or column contract.
Complete blank records are removed while draining chunks · case 01
A structured table violates the declared record or column contract.
Complete blank records are removed while draining chunks · case 02
A structured table violates the declared record or column contract.
Complete blank records are removed while draining chunks · case 03
A structured table violates the declared record or column contract.
Complete blank records are removed while draining chunks · case 04
A structured table violates the declared record or column contract.
Complete blank records are removed while draining chunks · case 05
A structured table violates the declared record or column contract.
CSV provenance uses logical row count for the physical ending line · case 01
A structured table violates the declared record or column contract.
CSV provenance uses logical row count for the physical ending line · case 02
A structured table violates the declared record or column contract.
CSV provenance uses logical row count for the physical ending line · case 03
A structured table violates the declared record or column contract.
CSV provenance uses logical row count for the physical ending line · case 04
A structured table violates the declared record or column contract.
CSV provenance uses logical row count for the physical ending line · case 05
A structured table violates the declared record or column contract.
The next CSV record starts on the prior ending physical line · case 01
A structured table violates the declared record or column contract.
The next CSV record starts on the prior ending physical line · case 02
A structured table violates the declared record or column contract.
The next CSV record starts on the prior ending physical line · case 03
A structured table violates the declared record or column contract.
The next CSV record starts on the prior ending physical line · case 04
A structured table violates the declared record or column contract.
The next CSV record starts on the prior ending physical line · 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 ↗