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
Dense union tag dispatch ignores the declared tag map · case 01
Dense union tag dispatch ignores the declared tag map.
Dense union tag dispatch ignores the declared tag map · case 02
Dense union tag dispatch ignores the declared tag map.
Dense union tag dispatch ignores the declared tag map · case 03
Dense union tag dispatch ignores the declared tag map.
Dense union tag dispatch ignores the declared tag map · case 04
Dense union tag dispatch ignores the declared tag map.
Dense union tag dispatch ignores the declared tag map · case 05
Dense union tag dispatch ignores the declared tag map.
Dense union child offsets are replaced by row addresses · case 01
Dense union child offsets are replaced by row addresses.
Dense union child offsets are replaced by row addresses · case 02
Dense union child offsets are replaced by row addresses.
Dense union child offsets are replaced by row addresses · case 03
Dense union child offsets are replaced by row addresses.
Dense union child offsets are replaced by row addresses · case 04
Dense union child offsets are replaced by row addresses.
Dense union child offsets are replaced by row addresses · case 05
Dense union child offsets are replaced by row addresses.
Dense union decoding exposes a null child payload · case 01
Dense union decoding exposes a null child payload.
Dense union decoding exposes a null child payload · case 02
Dense union decoding exposes a null child payload.
Dense union decoding exposes a null child payload · case 03
Dense union decoding exposes a null child payload.
Dense union decoding exposes a null child payload · case 04
Dense union decoding exposes a null child payload.
Dense union decoding exposes a null child payload · case 05
Dense union decoding exposes a null child payload.
Dense union decoding exposes a child under a null parent · case 01
Dense union decoding exposes a child under a null parent.
Dense union decoding exposes a child under a null parent · case 02
Dense union decoding exposes a child under a null parent.
Dense union decoding exposes a child under a null parent · case 03
Dense union decoding exposes a child under a null parent.
Dense union decoding exposes a child under a null parent · case 04
Dense union decoding exposes a child under a null parent.
Dense union decoding exposes a child under a null parent · case 05
Dense union decoding exposes a child under a null parent.
An empty left chunk terminates the logical column · case 01
An empty left chunk terminates the logical column.
An empty left chunk terminates the logical column · case 02
An empty left chunk terminates the logical column.
An empty left chunk terminates the logical column · case 03
An empty left chunk terminates the logical column.
An empty left chunk terminates the logical column · case 04
An empty left chunk terminates the logical column.
An empty left chunk terminates the logical column · case 05
An empty left chunk terminates the logical column.
Only the first physical right chunk participates in row assembly · case 01
Only the first physical right chunk participates in row assembly.
Only the first physical right chunk participates in row assembly · case 02
Only the first physical right chunk participates in row assembly.
Only the first physical right chunk participates in row assembly · case 03
Only the first physical right chunk participates in row assembly.
Only the first physical right chunk participates in row assembly · case 04
Only the first physical right chunk participates in row assembly.
Only the first physical right chunk participates in row assembly · case 05
Only the first physical right chunk participates in row assembly.
Chunked row assembly reverses column positions · case 01
Chunked row assembly reverses column positions.
Chunked row assembly reverses column positions · case 02
Chunked row assembly reverses column positions.
Chunked row assembly reverses column positions · case 03
Chunked row assembly reverses column positions.
Chunked row assembly reverses column positions · case 04
Chunked row assembly reverses column positions.
Chunked row assembly reverses column positions · case 05
Chunked row assembly reverses column positions.
A chunked row slice ignores its global starting ordinal · case 01
A chunked row slice ignores its global starting ordinal.
A chunked row slice ignores its global starting ordinal · case 02
A chunked row slice ignores its global starting ordinal.
A chunked row slice ignores its global starting ordinal · case 03
A chunked row slice ignores its global starting ordinal.
A chunked row slice ignores its global starting ordinal · case 04
A chunked row slice ignores its global starting ordinal.
A chunked row slice ignores its global starting ordinal · case 05
A chunked row slice ignores its global starting ordinal.
A row assembler discards rows containing null fields · case 01
A row assembler discards rows containing null fields.
A row assembler discards rows containing null fields · case 02
A row assembler discards rows containing null fields.
A row assembler discards rows containing null fields · case 03
A row assembler discards rows containing null fields.
A row assembler discards rows containing null fields · case 04
A row assembler discards rows containing null fields.
A row assembler discards rows containing null fields · case 05
A row assembler discards rows containing null fields.
Chunk assembly treats repeated physical rows as duplicates · case 01
Chunk assembly treats repeated physical rows as duplicates.
Chunk assembly treats repeated physical rows as duplicates · case 02
Chunk assembly treats repeated physical rows as duplicates.
Chunk assembly treats repeated physical rows as duplicates · case 03
Chunk assembly treats repeated physical rows as duplicates.
Chunk assembly treats repeated physical rows as duplicates · case 04
Chunk assembly treats repeated physical rows as duplicates.
Chunk assembly treats repeated physical rows as duplicates · case 05
Chunk assembly treats repeated physical rows as duplicates.
Outer explode drops rows whose list is null · case 01
Outer explode drops rows whose list is null.
Outer explode drops rows whose list is null · case 02
Outer explode drops rows whose list is null.
Outer explode drops rows whose list is null · case 03
Outer explode drops rows whose list is null.
Outer explode drops rows whose list is null · case 04
Outer explode drops rows whose list is null.
Outer explode drops rows whose list is null · case 05
Outer explode drops rows whose list is null.
Outer explode drops rows whose list is empty · case 01
Outer explode drops rows whose list is empty.
Outer explode drops rows whose list is empty · case 02
Outer explode drops rows whose list is empty.
Outer explode drops rows whose list is empty · case 03
Outer explode drops rows whose list is empty.
Outer explode drops rows whose list is empty · case 04
Outer explode drops rows whose list is empty.
Outer explode drops rows whose list is empty · case 05
Outer explode drops rows whose list is empty.
Exploded list positions use one-based ordinals · case 01
Exploded list positions use one-based ordinals.
Exploded list positions use one-based ordinals · case 02
Exploded list positions use one-based ordinals.
Exploded list positions use one-based ordinals · case 03
Exploded list positions use one-based ordinals.
Exploded list positions use one-based ordinals · case 04
Exploded list positions use one-based ordinals.
Exploded list positions use one-based ordinals · case 05
Exploded list positions use one-based ordinals.
Explode filters null list elements · case 01
Explode filters null list elements.
Explode filters null list elements · case 02
Explode filters null list elements.
Explode filters null list elements · case 03
Explode filters null list elements.
Explode filters null list elements · case 04
Explode filters null list elements.
Explode filters null list elements · case 05
Explode filters null list elements.
Outer explode sorts parent rows before expansion · case 01
Outer explode sorts parent rows before expansion.
Outer explode sorts parent rows before expansion · case 02
Outer explode sorts parent rows before expansion.
Outer explode sorts parent rows before expansion · case 03
Outer explode sorts parent rows before expansion.
Outer explode sorts parent rows before expansion · case 04
Outer explode sorts parent rows before expansion.
Outer explode sorts parent rows before expansion · case 05
Outer explode sorts parent rows before expansion.
Explode uses the element position as its parent identity · case 01
Explode uses the element position as its parent identity.
Explode uses the element position as its parent identity · case 02
Explode uses the element position as its parent identity.
Explode uses the element position as its parent identity · case 03
Explode uses the element position as its parent identity.
Explode uses the element position as its parent identity · case 04
Explode uses the element position as its parent identity.
Explode uses the element position as its parent identity · case 05
Explode uses the element position as its parent identity.
Zip unnest truncates to the shorter list · case 01
Zip unnest truncates to the shorter list.
Zip unnest truncates to the shorter list · case 02
Zip unnest truncates to the shorter list.
Zip unnest truncates to the shorter list · case 03
Zip unnest truncates to the shorter list.
Zip unnest truncates to the shorter list · case 04
Zip unnest truncates to the shorter list.
Zip unnest truncates to the shorter list · case 05
Zip unnest truncates to the shorter list.
Zip unnest omits a parent with two empty lists · case 01
Zip unnest omits a parent with two empty lists.
Zip unnest omits a parent with two empty lists · case 02
Zip unnest omits a parent with two empty lists.
Zip unnest omits a parent with two empty lists · case 03
Zip unnest omits a parent with two empty lists.
Zip unnest omits a parent with two empty lists · case 04
Zip unnest omits a parent with two empty lists.
Zip unnest omits a parent with two empty lists · case 05
Zip unnest omits a parent with two empty lists.
Short left lists repeat their final element instead of null padding · case 01
Short left lists repeat their final element instead of null padding.
Short left lists repeat their final element instead of null padding · case 02
Short left lists repeat their final element instead of null padding.
Short left lists repeat their final element instead of null padding · case 03
Short left lists repeat their final element instead of null padding.
Short left lists repeat their final element instead of null padding · case 04
Short left lists repeat their final element instead of null padding.
Short left lists repeat their final element instead of null padding · case 05
Short left lists repeat their final element instead of null padding.
Short right lists recycle their first element instead of null padding · case 01
Short right lists recycle their first element instead of null padding.
Short right lists recycle their first element instead of null padding · case 02
Short right lists recycle their first element instead of null padding.
Short right lists recycle their first element instead of null padding · case 03
Short right lists recycle their first element instead of null padding.
Short right lists recycle their first element instead of null padding · case 04
Short right lists recycle their first element instead of null padding.
Short right lists recycle their first element instead of null padding · case 05
Short right lists recycle their first element instead of null padding.
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 ↗