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 keyed upsert looks up its old row by new key instead of identity · case 01
A keyed upsert looks up its old row by new key instead of identity.
A keyed upsert looks up its old row by new key instead of identity · case 02
A keyed upsert looks up its old row by new key instead of identity.
A keyed upsert looks up its old row by new key instead of identity · case 03
A keyed upsert looks up its old row by new key instead of identity.
A keyed upsert looks up its old row by new key instead of identity · case 04
A keyed upsert looks up its old row by new key instead of identity.
A keyed upsert looks up its old row by new key instead of identity · case 05
A keyed upsert looks up its old row by new key instead of identity.
An upsert suppresses a changed payload when the key stays equal · case 01
An upsert suppresses a changed payload when the key stays equal.
An upsert suppresses a changed payload when the key stays equal · case 02
An upsert suppresses a changed payload when the key stays equal.
An upsert suppresses a changed payload when the key stays equal · case 03
An upsert suppresses a changed payload when the key stays equal.
An upsert suppresses a changed payload when the key stays equal · case 04
An upsert suppresses a changed payload when the key stays equal.
An upsert suppresses a changed payload when the key stays equal · case 05
An upsert suppresses a changed payload when the key stays equal.
A key-changing retraction is sent to the new key · case 01
A key-changing retraction is sent to the new key.
A key-changing retraction is sent to the new key · case 02
A key-changing retraction is sent to the new key.
A key-changing retraction is sent to the new key · case 03
A key-changing retraction is sent to the new key.
A key-changing retraction is sent to the new key · case 04
A key-changing retraction is sent to the new key.
A key-changing retraction is sent to the new key · case 05
A key-changing retraction is sent to the new key.
A moved row emits changes without updating identity state · case 01
A moved row emits changes without updating identity state.
A moved row emits changes without updating identity state · case 02
A moved row emits changes without updating identity state.
A moved row emits changes without updating identity state · case 03
A moved row emits changes without updating identity state.
A moved row emits changes without updating identity state · case 04
A moved row emits changes without updating identity state.
A moved row emits changes without updating identity state · case 05
A moved row emits changes without updating identity state.
Upsert insertion uses the partition key as row identity · case 01
Upsert insertion uses the partition key as row identity.
Upsert insertion uses the partition key as row identity · case 02
Upsert insertion uses the partition key as row identity.
Upsert insertion uses the partition key as row identity · case 03
Upsert insertion uses the partition key as row identity.
Upsert insertion uses the partition key as row identity · case 04
Upsert insertion uses the partition key as row identity.
Upsert insertion uses the partition key as row identity · case 05
Upsert insertion uses the partition key as row identity.
The initial identity map is indexed by partition keys · case 01
The initial identity map is indexed by partition keys.
The initial identity map is indexed by partition keys · case 02
The initial identity map is indexed by partition keys.
The initial identity map is indexed by partition keys · case 03
The initial identity map is indexed by partition keys.
The initial identity map is indexed by partition keys · case 04
The initial identity map is indexed by partition keys.
The initial identity map is indexed by partition keys · case 05
The initial identity map is indexed by partition keys.
Schema union binds fields by display name after a rename · case 01
Schema union binds fields by display name after a rename.
Schema union binds fields by display name after a rename · case 02
Schema union binds fields by display name after a rename.
Schema union binds fields by display name after a rename · case 03
Schema union binds fields by display name after a rename.
Schema union binds fields by display name after a rename · case 04
Schema union binds fields by display name after a rename.
Schema union binds fields by display name after a rename · case 05
Schema union binds fields by display name after a rename.
Schema union reuses the first batch schema for later batches · case 01
Schema union reuses the first batch schema for later batches.
Schema union reuses the first batch schema for later batches · case 02
Schema union reuses the first batch schema for later batches.
Schema union reuses the first batch schema for later batches · case 03
Schema union reuses the first batch schema for later batches.
Schema union reuses the first batch schema for later batches · case 04
Schema union reuses the first batch schema for later batches.
Schema union reuses the first batch schema for later batches · case 05
Schema union reuses the first batch schema for later batches.
Schema union sorts stable field IDs instead of output order · case 01
Schema union sorts stable field IDs instead of output order.
Schema union sorts stable field IDs instead of output order · case 02
Schema union sorts stable field IDs instead of output order.
Schema union sorts stable field IDs instead of output order · case 03
Schema union sorts stable field IDs instead of output order.
Schema union sorts stable field IDs instead of output order · case 04
Schema union sorts stable field IDs instead of output order.
Schema union sorts stable field IDs instead of output order · case 05
Schema union sorts stable field IDs instead of output order.
Schema union applies defaults to explicit null cells · case 01
Schema union applies defaults to explicit null cells.
Schema union applies defaults to explicit null cells · case 02
Schema union applies defaults to explicit null cells.
Schema union applies defaults to explicit null cells · case 03
Schema union applies defaults to explicit null cells.
Schema union applies defaults to explicit null cells · case 04
Schema union applies defaults to explicit null cells.
Schema union applies defaults to explicit null cells · case 05
Schema union applies defaults to explicit null cells.
Schema union ignores non-null defaults for missing columns · case 01
Schema union ignores non-null defaults for missing columns.
Schema union ignores non-null defaults for missing columns · case 02
Schema union ignores non-null defaults for missing columns.
Schema union ignores non-null defaults for missing columns · case 03
Schema union ignores non-null defaults for missing columns.
Schema union ignores non-null defaults for missing columns · case 04
Schema union ignores non-null defaults for missing columns.
Schema union ignores non-null defaults for missing columns · case 05
Schema union ignores non-null defaults for missing columns.
Schema union deduplicates equal projected rows · case 01
Schema union deduplicates equal projected rows.
Schema union deduplicates equal projected rows · case 02
Schema union deduplicates equal projected rows.
Schema union deduplicates equal projected rows · case 03
Schema union deduplicates equal projected rows.
Schema union deduplicates equal projected rows · case 04
Schema union deduplicates equal projected rows.
Schema union deduplicates equal projected rows · case 05
Schema union deduplicates equal projected rows.
Projection aliases overwrite the input name environment · case 01
Projection aliases overwrite the input name environment.
Projection aliases overwrite the input name environment · case 02
Projection aliases overwrite the input name environment.
Projection aliases overwrite the input name environment · case 03
Projection aliases overwrite the input name environment.
Projection aliases overwrite the input name environment · case 04
Projection aliases overwrite the input name environment.
Projection aliases overwrite the input name environment · case 05
Projection aliases overwrite the input name environment.
Projection reads the alias rather than the input field · case 01
Projection reads the alias rather than the input field.
Projection reads the alias rather than the input field · case 02
Projection reads the alias rather than the input field.
Projection reads the alias rather than the input field · case 03
Projection reads the alias rather than the input field.
Projection reads the alias rather than the input field · case 04
Projection reads the alias rather than the input field.
Projection reads the alias rather than the input field · case 05
Projection reads the alias rather than the input field.
Projection deduplicates repeated output labels · case 01
Projection deduplicates repeated output labels.
Projection deduplicates repeated output labels · case 02
Projection deduplicates repeated output labels.
Projection deduplicates repeated output labels · case 03
Projection deduplicates repeated output labels.
Projection deduplicates repeated output labels · case 04
Projection deduplicates repeated output labels.
Projection deduplicates repeated output labels · case 05
Projection deduplicates repeated output labels.
Projection evaluates every row against the first source record · case 01
Projection evaluates every row against the first source record.
Projection evaluates every row against the first source record · case 02
Projection evaluates every row against the first source record.
Projection evaluates every row against the first source record · case 03
Projection evaluates every row against the first source record.
Projection evaluates every row against the first source record · case 04
Projection evaluates every row against the first source record.
Projection evaluates every row against the first source record · case 05
Projection evaluates every row against the first source record.
Projection silently drops columns whose source is absent · case 01
Projection silently drops columns whose source is absent.
Projection silently drops columns whose source is absent · case 02
Projection silently drops columns whose source is absent.
Projection silently drops columns whose source is absent · case 03
Projection silently drops columns whose source is absent.
Projection silently drops columns whose source is absent · case 04
Projection silently drops columns whose source is absent.
Projection silently drops columns whose source is absent · case 05
Projection silently drops columns whose source is absent.
Zero-column projection removes all source rows · case 01
Zero-column projection removes all source rows.
Zero-column projection removes all source rows · case 02
Zero-column projection removes all source rows.
Zero-column projection removes all source rows · case 03
Zero-column projection removes all source rows.
Zero-column projection removes all source rows · case 04
Zero-column projection removes all source rows.
Zero-column projection removes all source rows · case 05
Zero-column projection removes all source rows.
Lateral execution reuses the first outer row correlation key · case 01
Lateral execution reuses the first outer row correlation key.
Lateral execution reuses the first outer row correlation key · case 02
Lateral execution reuses the first outer row correlation key.
Lateral execution reuses the first outer row correlation key · case 03
Lateral execution reuses the first outer row correlation key.
Lateral execution reuses the first outer row correlation key · case 04
Lateral execution reuses the first outer row correlation key.
Lateral execution reuses the first outer row correlation key · case 05
Lateral execution reuses the first outer row correlation key.
Lateral execution reuses the first outer predicate parameter · case 01
Lateral execution reuses the first outer predicate parameter.
Lateral execution reuses the first outer predicate parameter · case 02
Lateral execution reuses the first outer predicate parameter.
Lateral execution reuses the first outer predicate parameter · case 03
Lateral execution reuses the first outer predicate parameter.
Lateral execution reuses the first outer predicate parameter · case 04
Lateral execution reuses the first outer predicate parameter.
Lateral execution reuses the first outer predicate parameter · case 05
Lateral execution reuses the first outer predicate parameter.
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 ↗