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
Consuming a row decreases a counted block by two · case 01
A structured table violates the declared record or column contract.
Consuming a row decreases a counted block by two · case 02
A structured table violates the declared record or column contract.
Consuming a row decreases a counted block by two · case 03
A structured table violates the declared record or column contract.
Consuming a row decreases a counted block by two · case 04
A structured table violates the declared record or column contract.
Consuming a row decreases a counted block by two · case 05
A structured table violates the declared record or column contract.
An incomplete counted block is accepted at EOF · case 01
A structured table violates the declared record or column contract.
An incomplete counted block is accepted at EOF · case 02
A structured table violates the declared record or column contract.
An incomplete counted block is accepted at EOF · case 03
A structured table violates the declared record or column contract.
An incomplete counted block is accepted at EOF · case 04
A structured table violates the declared record or column contract.
An incomplete counted block is accepted at EOF · case 05
A structured table violates the declared record or column contract.
Rows beyond a block count are silently dropped · case 01
A structured table violates the declared record or column contract.
Rows beyond a block count are silently dropped · case 02
A structured table violates the declared record or column contract.
Rows beyond a block count are silently dropped · case 03
A structured table violates the declared record or column contract.
Rows beyond a block count are silently dropped · case 04
A structured table violates the declared record or column contract.
Rows beyond a block count are silently dropped · case 05
A structured table violates the declared record or column contract.
An interleaved row is routed to the most recently opened table · case 01
A structured table violates the declared record or column contract.
An interleaved row is routed to the most recently opened table · case 02
A structured table violates the declared record or column contract.
An interleaved row is routed to the most recently opened table · case 03
A structured table violates the declared record or column contract.
An interleaved row is routed to the most recently opened table · case 04
A structured table violates the declared record or column contract.
An interleaved row is routed to the most recently opened table · case 05
A structured table violates the declared record or column contract.
A closed table ID can be reopened · case 01
A structured table violates the declared record or column contract.
A closed table ID can be reopened · case 02
A structured table violates the declared record or column contract.
A closed table ID can be reopened · case 03
A structured table violates the declared record or column contract.
A closed table ID can be reopened · case 04
A structured table violates the declared record or column contract.
A closed table ID can be reopened · case 05
A structured table violates the declared record or column contract.
Tables are emitted in ID order instead of close order · case 01
A structured table violates the declared record or column contract.
Tables are emitted in ID order instead of close order · case 02
A structured table violates the declared record or column contract.
Tables are emitted in ID order instead of close order · case 03
A structured table violates the declared record or column contract.
Tables are emitted in ID order instead of close order · case 04
A structured table violates the declared record or column contract.
Tables are emitted in ID order instead of close order · case 05
A structured table violates the declared record or column contract.
A nonempty close payload is discarded · case 01
A structured table violates the declared record or column contract.
A nonempty close payload is discarded · case 02
A structured table violates the declared record or column contract.
A nonempty close payload is discarded · case 03
A structured table violates the declared record or column contract.
A nonempty close payload is discarded · case 04
A structured table violates the declared record or column contract.
A nonempty close payload is discarded · case 05
A structured table violates the declared record or column contract.
EOF commits still-open interleaved tables · case 01
A structured table violates the declared record or column contract.
EOF commits still-open interleaved tables · case 02
A structured table violates the declared record or column contract.
EOF commits still-open interleaved tables · case 03
A structured table violates the declared record or column contract.
EOF commits still-open interleaved tables · case 04
A structured table violates the declared record or column contract.
EOF commits still-open interleaved tables · case 05
A structured table violates the declared record or column contract.
Dictionary-coded row references are sorted before expansion · case 01
A structured table violates the declared record or column contract.
Dictionary-coded row references are sorted before expansion · case 02
A structured table violates the declared record or column contract.
Dictionary-coded row references are sorted before expansion · case 03
A structured table violates the declared record or column contract.
Dictionary-coded row references are sorted before expansion · case 04
A structured table violates the declared record or column contract.
Dictionary-coded row references are sorted before expansion · case 05
A structured table violates the declared record or column contract.
Repeated dictionary IDs collapse to one output cell · case 01
A structured table violates the declared record or column contract.
Repeated dictionary IDs collapse to one output cell · case 02
A structured table violates the declared record or column contract.
Repeated dictionary IDs collapse to one output cell · case 03
A structured table violates the declared record or column contract.
Repeated dictionary IDs collapse to one output cell · case 04
A structured table violates the declared record or column contract.
Repeated dictionary IDs collapse to one output cell · case 05
A structured table violates the declared record or column contract.
A dictionary literal is split at embedded pipe characters · case 01
A structured table violates the declared record or column contract.
A dictionary literal is split at embedded pipe characters · case 02
A structured table violates the declared record or column contract.
A dictionary literal is split at embedded pipe characters · case 03
A structured table violates the declared record or column contract.
A dictionary literal is split at embedded pipe characters · case 04
A structured table violates the declared record or column contract.
A dictionary literal is split at embedded pipe characters · case 05
A structured table violates the declared record or column contract.
A dictionary cell definition is overwritten by a later record · case 01
A structured table violates the declared record or column contract.
A dictionary cell definition is overwritten by a later record · case 02
A structured table violates the declared record or column contract.
A dictionary cell definition is overwritten by a later record · case 03
A structured table violates the declared record or column contract.
A dictionary cell definition is overwritten by a later record · case 04
A structured table violates the declared record or column contract.
A dictionary cell definition is overwritten by a later record · case 05
A structured table violates the declared record or column contract.
An empty dictionary-coded row becomes a missing row · case 01
A structured table violates the declared record or column contract.
An empty dictionary-coded row becomes a missing row · case 02
A structured table violates the declared record or column contract.
An empty dictionary-coded row becomes a missing row · case 03
A structured table violates the declared record or column contract.
An empty dictionary-coded row becomes a missing row · case 04
A structured table violates the declared record or column contract.
An empty dictionary-coded row becomes a missing row · case 05
A structured table violates the declared record or column contract.
A null bitmap uses the opposite meaning for set bits · case 01
A structured table violates the declared record or column contract.
A null bitmap uses the opposite meaning for set bits · case 02
A structured table violates the declared record or column contract.
A null bitmap uses the opposite meaning for set bits · case 03
A structured table violates the declared record or column contract.
A null bitmap uses the opposite meaning for set bits · case 04
A structured table violates the declared record or column contract.
A null bitmap uses the opposite meaning for set bits · case 05
A structured table violates the declared record or column contract.
Null bitmap expansion consumes payload for null columns · case 01
A structured table violates the declared record or column contract.
Null bitmap expansion consumes payload for null columns · case 02
A structured table violates the declared record or column contract.
Null bitmap expansion consumes payload for null columns · case 03
A structured table violates the declared record or column contract.
Null bitmap expansion consumes payload for null columns · case 04
A structured table violates the declared record or column contract.
Null bitmap expansion consumes payload for null columns · case 05
A structured table violates the declared record or column contract.
Every nonnull bitmap slot receives the first payload value · case 01
A structured table violates the declared record or column contract.
Every nonnull bitmap slot receives the first payload value · case 02
A structured table violates the declared record or column contract.
Every nonnull bitmap slot receives the first payload value · case 03
A structured table violates the declared record or column contract.
Every nonnull bitmap slot receives the first payload value · case 04
A structured table violates the declared record or column contract.
Every nonnull bitmap slot receives the first payload value · case 05
A structured table violates the declared record or column contract.
A null bitmap silently discards surplus text fields · case 01
A structured table violates the declared record or column contract.
A null bitmap silently discards surplus text fields · case 02
A structured table violates the declared record or column contract.
A null bitmap silently discards surplus text fields · case 03
A structured table violates the declared record or column contract.
A null bitmap silently discards surplus text fields · case 04
A structured table violates the declared record or column contract.
A null bitmap silently discards surplus text fields · case 05
A structured table violates the declared record or column contract.
Null bitmap cells are omitted from the logical row · case 01
A structured table violates the declared record or column contract.
Null bitmap cells are omitted from the logical row · case 02
A structured table violates the declared record or column contract.
Null bitmap cells are omitted from the logical row · case 03
A structured table violates the declared record or column contract.
Null bitmap cells are omitted from the logical row · case 04
A structured table violates the declared record or column contract.
Null bitmap cells are omitted from the logical row · case 05
A structured table violates the declared record or column contract.
Incoming column indexes are used in the inverse direction · case 01
A structured table violates the declared record or column contract.
Incoming column indexes are used in the inverse direction · case 02
A structured table violates the declared record or column contract.
Incoming column indexes are used in the inverse direction · case 03
A structured table violates the declared record or column contract.
Incoming column indexes are used in the inverse direction · case 04
A structured table violates the declared record or column contract.
Incoming column indexes are used in the inverse direction · case 05
A structured table violates the declared record or column contract.
A new column-order announcement composes with stale order · case 01
A structured table violates the declared record or column contract.
A new column-order announcement composes with stale order · case 02
A structured table violates the declared record or column contract.
A new column-order announcement composes with stale order · case 03
A structured table violates the declared record or column contract.
A new column-order announcement composes with stale order · case 04
A structured table violates the declared record or column contract.
A new column-order announcement composes with stale order · 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 ↗