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
Scatter retains old validity when a selected update is null · case 01
Scatter retains old validity when a selected update is null.
Scatter retains old validity when a selected update is null · case 02
Scatter retains old validity when a selected update is null.
Scatter retains old validity when a selected update is null · case 03
Scatter retains old validity when a selected update is null.
Scatter retains old validity when a selected update is null · case 04
Scatter retains old validity when a selected update is null.
Scatter retains old validity when a selected update is null · case 05
Scatter retains old validity when a selected update is null.
Scatter updates validity at the first lane instead of the target · case 01
Scatter updates validity at the first lane instead of the target.
Scatter updates validity at the first lane instead of the target · case 02
Scatter updates validity at the first lane instead of the target.
Scatter updates validity at the first lane instead of the target · case 03
Scatter updates validity at the first lane instead of the target.
Scatter updates validity at the first lane instead of the target · case 04
Scatter updates validity at the first lane instead of the target.
Scatter updates validity at the first lane instead of the target · case 05
Scatter updates validity at the first lane instead of the target.
Repeated scatter targets keep the earliest selected write · case 01
Repeated scatter targets keep the earliest selected write.
Repeated scatter targets keep the earliest selected write · case 02
Repeated scatter targets keep the earliest selected write.
Repeated scatter targets keep the earliest selected write · case 03
Repeated scatter targets keep the earliest selected write.
Repeated scatter targets keep the earliest selected write · case 04
Repeated scatter targets keep the earliest selected write.
Repeated scatter targets keep the earliest selected write · case 05
Repeated scatter targets keep the earliest selected write.
Scatter returns only explicitly updated lanes · case 01
Scatter returns only explicitly updated lanes.
Scatter returns only explicitly updated lanes · case 02
Scatter returns only explicitly updated lanes.
Scatter returns only explicitly updated lanes · case 03
Scatter returns only explicitly updated lanes.
Scatter returns only explicitly updated lanes · case 04
Scatter returns only explicitly updated lanes.
Scatter returns only explicitly updated lanes · case 05
Scatter returns only explicitly updated lanes.
List concatenation copies unused child-buffer prefixes · case 01
List concatenation copies unused child-buffer prefixes.
List concatenation copies unused child-buffer prefixes · case 02
List concatenation copies unused child-buffer prefixes.
List concatenation copies unused child-buffer prefixes · case 03
List concatenation copies unused child-buffer prefixes.
List concatenation copies unused child-buffer prefixes · case 04
List concatenation copies unused child-buffer prefixes.
List concatenation copies unused child-buffer prefixes · case 05
List concatenation copies unused child-buffer prefixes.
List concatenation retains batch-local offsets · case 01
List concatenation retains batch-local offsets.
List concatenation retains batch-local offsets · case 02
List concatenation retains batch-local offsets.
List concatenation retains batch-local offsets · case 03
List concatenation retains batch-local offsets.
List concatenation retains batch-local offsets · case 04
List concatenation retains batch-local offsets.
List concatenation retains batch-local offsets · case 05
List concatenation retains batch-local offsets.
List concatenation repeats each batch initial offset sentinel · case 01
List concatenation repeats each batch initial offset sentinel.
List concatenation repeats each batch initial offset sentinel · case 02
List concatenation repeats each batch initial offset sentinel.
List concatenation repeats each batch initial offset sentinel · case 03
List concatenation repeats each batch initial offset sentinel.
List concatenation repeats each batch initial offset sentinel · case 04
List concatenation repeats each batch initial offset sentinel.
List concatenation repeats each batch initial offset sentinel · case 05
List concatenation repeats each batch initial offset sentinel.
List concatenation exposes hidden child null payloads · case 01
List concatenation exposes hidden child null payloads.
List concatenation exposes hidden child null payloads · case 02
List concatenation exposes hidden child null payloads.
List concatenation exposes hidden child null payloads · case 03
List concatenation exposes hidden child null payloads.
List concatenation exposes hidden child null payloads · case 04
List concatenation exposes hidden child null payloads.
List concatenation exposes hidden child null payloads · case 05
List concatenation exposes hidden child null payloads.
List concatenation fabricates validity from list length · case 01
List concatenation fabricates validity from list length.
List concatenation fabricates validity from list length · case 02
List concatenation fabricates validity from list length.
List concatenation fabricates validity from list length · case 03
List concatenation fabricates validity from list length.
List concatenation fabricates validity from list length · case 04
List concatenation fabricates validity from list length.
List concatenation fabricates validity from list length · case 05
List concatenation fabricates validity from list length.
List concatenation rebases child offsets by parent-row count · case 01
List concatenation rebases child offsets by parent-row count.
List concatenation rebases child offsets by parent-row count · case 02
List concatenation rebases child offsets by parent-row count.
List concatenation rebases child offsets by parent-row count · case 03
List concatenation rebases child offsets by parent-row count.
List concatenation rebases child offsets by parent-row count · case 04
List concatenation rebases child offsets by parent-row count.
List concatenation rebases child offsets by parent-row count · case 05
List concatenation rebases child offsets by parent-row count.
Dictionary equality compares unrelated local integer codes · case 01
Dictionary equality compares unrelated local integer codes.
Dictionary equality compares unrelated local integer codes · case 02
Dictionary equality compares unrelated local integer codes.
Dictionary equality compares unrelated local integer codes · case 03
Dictionary equality compares unrelated local integer codes.
Dictionary equality compares unrelated local integer codes · case 04
Dictionary equality compares unrelated local integer codes.
Dictionary equality compares unrelated local integer codes · case 05
Dictionary equality compares unrelated local integer codes.
Dictionary equality decodes the left code with the right dictionary · case 01
Dictionary equality decodes the left code with the right dictionary.
Dictionary equality decodes the left code with the right dictionary · case 02
Dictionary equality decodes the left code with the right dictionary.
Dictionary equality decodes the left code with the right dictionary · case 03
Dictionary equality decodes the left code with the right dictionary.
Dictionary equality decodes the left code with the right dictionary · case 04
Dictionary equality decodes the left code with the right dictionary.
Dictionary equality decodes the left code with the right dictionary · case 05
Dictionary equality decodes the left code with the right dictionary.
Dictionary equality decodes the right code with the left dictionary · case 01
Dictionary equality decodes the right code with the left dictionary.
Dictionary equality decodes the right code with the left dictionary · case 02
Dictionary equality decodes the right code with the left dictionary.
Dictionary equality decodes the right code with the left dictionary · case 03
Dictionary equality decodes the right code with the left dictionary.
Dictionary equality decodes the right code with the left dictionary · case 04
Dictionary equality decodes the right code with the left dictionary.
Dictionary equality decodes the right code with the left dictionary · case 05
Dictionary equality decodes the right code with the left dictionary.
Dictionary equality reports false when either lane is null · case 01
Dictionary equality reports false when either lane is null.
Dictionary equality reports false when either lane is null · case 02
Dictionary equality reports false when either lane is null.
Dictionary equality reports false when either lane is null · case 03
Dictionary equality reports false when either lane is null.
Dictionary equality reports false when either lane is null · case 04
Dictionary equality reports false when either lane is null.
Dictionary equality reports false when either lane is null · case 05
Dictionary equality reports false when either lane is null.
Dictionary comparison checks right validity with the left lane index · case 01
Dictionary comparison checks right validity with the left lane index.
Dictionary comparison checks right validity with the left lane index · case 02
Dictionary comparison checks right validity with the left lane index.
Dictionary comparison checks right validity with the left lane index · case 03
Dictionary comparison checks right validity with the left lane index.
Dictionary comparison checks right validity with the left lane index · case 04
Dictionary comparison checks right validity with the left lane index.
Dictionary comparison checks right validity with the left lane index · case 05
Dictionary comparison checks right validity with the left lane index.
Dictionary comparison sorts its requested row-pair selection · case 01
Dictionary comparison sorts its requested row-pair selection.
Dictionary comparison sorts its requested row-pair selection · case 02
Dictionary comparison sorts its requested row-pair selection.
Dictionary comparison sorts its requested row-pair selection · case 03
Dictionary comparison sorts its requested row-pair selection.
Dictionary comparison sorts its requested row-pair selection · case 04
Dictionary comparison sorts its requested row-pair selection.
Dictionary comparison sorts its requested row-pair selection · case 05
Dictionary comparison sorts its requested row-pair selection.
Batch packing flushes before a row that exactly fits · case 01
Batch packing flushes before a row that exactly fits.
Batch packing flushes before a row that exactly fits · case 02
Batch packing flushes before a row that exactly fits.
Batch packing flushes before a row that exactly fits · case 03
Batch packing flushes before a row that exactly fits.
Batch packing flushes before a row that exactly fits · case 04
Batch packing flushes before a row that exactly fits.
Batch packing flushes before a row that exactly fits · case 05
Batch packing flushes before a row that exactly fits.
Batch packing accounts one byte per row regardless of row size · case 01
Batch packing accounts one byte per row regardless of row size.
Batch packing accounts one byte per row regardless of row size · case 02
Batch packing accounts one byte per row regardless of row size.
Batch packing accounts one byte per row regardless of row size · case 03
Batch packing accounts one byte per row regardless of row size.
Batch packing accounts one byte per row regardless of row size · case 04
Batch packing accounts one byte per row regardless of row size.
Batch packing accounts one byte per row regardless of row size · case 05
Batch packing accounts one byte per row regardless of row size.
Batch packing retains byte occupancy after flushing rows · case 01
Batch packing retains byte occupancy after flushing rows.
Batch packing retains byte occupancy after flushing rows · case 02
Batch packing retains byte occupancy after flushing rows.
Batch packing retains byte occupancy after flushing rows · case 03
Batch packing retains byte occupancy after flushing rows.
Batch packing retains byte occupancy after flushing rows · case 04
Batch packing retains byte occupancy after flushing rows.
Batch packing retains byte occupancy after flushing rows · case 05
Batch packing retains byte occupancy after flushing rows.
A full batch is flushed before following zero-byte rows can fit · case 01
A full batch is flushed before following zero-byte rows can fit.
A full batch is flushed before following zero-byte rows can fit · case 02
A full batch is flushed before following zero-byte rows can fit.
A full batch is flushed before following zero-byte rows can fit · case 03
A full batch is flushed before following zero-byte rows can fit.
A full batch is flushed before following zero-byte rows can fit · case 04
A full batch is flushed before following zero-byte rows can fit.
A full batch is flushed before following zero-byte rows can fit · case 05
A full batch is flushed before following zero-byte rows can fit.
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 ↗