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
Polyline strip window clip: rejected edge keeps piece · case 01
A fully outside edge does not end the current piece, so a later part starting at the same boundary point joins it.
Polyline strip window clip: rejected edge keeps piece · case 02
A fully outside edge does not end the current piece, so a later part starting at the same boundary point joins it.
Polyline strip window clip: rejected edge keeps piece · case 03
A fully outside edge does not end the current piece, so a later part starting at the same boundary point joins it.
Polyline strip window clip: rejected edge keeps piece · case 04
A fully outside edge does not end the current piece, so a later part starting at the same boundary point joins it.
Polyline strip window clip: rejected edge keeps piece · case 05
A fully outside edge does not end the current piece, so a later part starting at the same boundary point joins it.
Polyline strip window clip: degenerate piece kept · case 01
Edges touching the window at a single point produce one-vertex pieces.
Polyline strip window clip: degenerate piece kept · case 02
Edges touching the window at a single point produce one-vertex pieces.
Polyline strip window clip: degenerate piece kept · case 03
Edges touching the window at a single point produce one-vertex pieces.
Polyline strip window clip: degenerate piece kept · case 04
Edges touching the window at a single point produce one-vertex pieces.
Polyline strip window clip: degenerate piece kept · case 05
Edges touching the window at a single point produce one-vertex pieces.
Polyline strip window clip: closing edge triangle · case 01
Closed triangles never receive their closing edge.
Polyline strip window clip: closing edge triangle · case 02
Closed triangles never receive their closing edge.
Polyline strip window clip: closing edge triangle · case 03
Closed triangles never receive their closing edge.
Polyline strip window clip: closing edge triangle · case 04
Closed triangles never receive their closing edge.
Polyline strip window clip: closing edge triangle · case 05
Closed triangles never receive their closing edge.
Polyline strip window clip: closed merge joint · case 01
Merging the wrap-around piece repeats the shared start vertex.
Polyline strip window clip: closed merge joint · case 02
Merging the wrap-around piece repeats the shared start vertex.
Polyline strip window clip: closed merge joint · case 03
Merging the wrap-around piece repeats the shared start vertex.
Polyline strip window clip: closed merge joint · case 04
Merging the wrap-around piece repeats the shared start vertex.
Polyline strip window clip: closed merge joint · case 05
Merging the wrap-around piece repeats the shared start vertex.
Circle span scissor: row sample offset · case 01
Row distance is measured from the row top rather than the pixel center, skewing the disc vertically.
Circle span scissor: row sample offset · case 02
Row distance is measured from the row top rather than the pixel center, skewing the disc vertically.
Circle span scissor: row sample offset · case 03
Row distance is measured from the row top rather than the pixel center, skewing the disc vertically.
Circle span scissor: row sample offset · case 04
Row distance is measured from the row top rather than the pixel center, skewing the disc vertically.
Circle span scissor: row sample offset · case 05
Row distance is measured from the row top rather than the pixel center, skewing the disc vertically.
Circle span scissor: left bound floor · case 01
The left span bound floors the half-pixel coordinate, covering a pixel whose center lies outside the disc.
Circle span scissor: left bound floor · case 02
The left span bound floors the half-pixel coordinate, covering a pixel whose center lies outside the disc.
Circle span scissor: left bound floor · case 03
The left span bound floors the half-pixel coordinate, covering a pixel whose center lies outside the disc.
Circle span scissor: left bound floor · case 04
The left span bound floors the half-pixel coordinate, covering a pixel whose center lies outside the disc.
Circle span scissor: left bound floor · case 05
The left span bound floors the half-pixel coordinate, covering a pixel whose center lies outside the disc.
Circle span scissor: float root rounding · case 01
The doubled half-width is rounded instead of floored, admitting pixel centers just outside the disc.
Circle span scissor: float root rounding · case 02
The doubled half-width is rounded instead of floored, admitting pixel centers just outside the disc.
Circle span scissor: float root rounding · case 03
The doubled half-width is rounded instead of floored, admitting pixel centers just outside the disc.
Circle span scissor: float root rounding · case 04
The doubled half-width is rounded instead of floored, admitting pixel centers just outside the disc.
Circle span scissor: float root rounding · case 05
The doubled half-width is rounded instead of floored, admitting pixel centers just outside the disc.
Circle span scissor: right bound exclusive · case 01
The inclusive right pixel index is used as the exclusive end, dropping the last covered pixel.
Circle span scissor: right bound exclusive · case 02
The inclusive right pixel index is used as the exclusive end, dropping the last covered pixel.
Circle span scissor: right bound exclusive · case 03
The inclusive right pixel index is used as the exclusive end, dropping the last covered pixel.
Circle span scissor: right bound exclusive · case 04
The inclusive right pixel index is used as the exclusive end, dropping the last covered pixel.
Circle span scissor: right bound exclusive · case 05
The inclusive right pixel index is used as the exclusive end, dropping the last covered pixel.
Morton Page Directory: Partial right-edge page is omitted from directory width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_x.
Morton Page Directory: Partial right-edge page is omitted from directory width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_x.
Morton Page Directory: Partial right-edge page is omitted from directory width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_x.
Morton Page Directory: Partial right-edge page is omitted from directory width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_x.
Morton Page Directory: Partial right-edge page is omitted from directory width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_x.
Morton Page Directory: Partial bottom page is omitted from directory height · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_y.
Morton Page Directory: Partial bottom page is omitted from directory height · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_y.
Morton Page Directory: Partial bottom page is omitted from directory height · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_y.
Morton Page Directory: Partial bottom page is omitted from directory height · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_y.
Morton Page Directory: Partial bottom page is omitted from directory height · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pages_y.
Morton Page Directory: Directory allocation ignores entry size or directory rows · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Morton Page Directory: Directory allocation ignores entry size or directory rows · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Morton Page Directory: Directory allocation ignores entry size or directory rows · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Morton Page Directory: Directory allocation ignores entry size or directory rows · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Morton Page Directory: Directory allocation ignores entry size or directory rows · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Morton Page Directory: Page coordinate uses local x or rounds upward · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at page_x.
Morton Page Directory: Page coordinate uses local x or rounds upward · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at page_x.
Morton Page Directory: Page coordinate uses local x or rounds upward · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at page_x.
Morton Page Directory: Page coordinate uses local x or rounds upward · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at page_x.
Morton Page Directory: Page coordinate uses local x or rounds upward · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at page_x.
Morton Page Directory: Page coordinate uses local y or rounds upward · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at page_y.
Morton Page Directory: Page coordinate uses local y or rounds upward · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at page_y.
Morton Page Directory: Page coordinate uses local y or rounds upward · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at page_y.
Morton Page Directory: Page coordinate uses local y or rounds upward · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at page_y.
Morton Page Directory: Page coordinate uses local y or rounds upward · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at page_y.
Morton Page Directory: Directory traversal transposes page coordinates · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at page_index.
Morton Page Directory: Directory traversal transposes page coordinates · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at page_index.
Morton Page Directory: Directory traversal transposes page coordinates · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at page_index.
Morton Page Directory: Directory traversal transposes page coordinates · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at page_index.
Morton Page Directory: Directory traversal transposes page coordinates · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at page_index.
Morton Page Directory: Morton page decoder swaps bit lanes or assumes linear texels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at morton.
Morton Page Directory: Morton page decoder swaps bit lanes or assumes linear texels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at morton.
Morton Page Directory: Morton page decoder swaps bit lanes or assumes linear texels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at morton.
Morton Page Directory: Morton page decoder swaps bit lanes or assumes linear texels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at morton.
Morton Page Directory: Morton page decoder swaps bit lanes or assumes linear texels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at morton.
Morton Page Directory: Page pitch omits header or texel byte width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at page_bytes.
Morton Page Directory: Page pitch omits header or texel byte width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at page_bytes.
Morton Page Directory: Page pitch omits header or texel byte width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at page_bytes.
Morton Page Directory: Page pitch omits header or texel byte width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at page_bytes.
Morton Page Directory: Page pitch omits header or texel byte width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at page_bytes.
Morton Page Directory: Page body origin ignores directory prefix or allocation base · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at page_start.
Morton Page Directory: Page body origin ignores directory prefix or allocation base · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at page_start.
Morton Page Directory: Page body origin ignores directory prefix or allocation base · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at page_start.
Morton Page Directory: Page body origin ignores directory prefix or allocation base · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at page_start.
Morton Page Directory: Page body origin ignores directory prefix or allocation base · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at page_start.
Morton Page Directory: Texel address omits per-page header or byte conversion · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Morton Page Directory: Texel address omits per-page header or byte conversion · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Morton Page Directory: Texel address omits per-page header or byte conversion · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Morton Page Directory: Texel address omits per-page header or byte conversion · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Morton Page Directory: Texel address omits per-page header or byte conversion · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Nested Macrotiles: Macrotile row width is computed at microtile granularity · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_columns.
Nested Macrotiles: Macrotile row width is computed at microtile granularity · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_columns.
Nested Macrotiles: Macrotile row width is computed at microtile granularity · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_columns.
Nested Macrotiles: Macrotile row width is computed at microtile granularity · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_columns.
Nested Macrotiles: Macrotile row width is computed at microtile granularity · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_columns.
Nested Macrotiles: Macrotile x uses microtile division or remainder · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_x.
Nested Macrotiles: Macrotile x uses microtile division or remainder · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_x.
Nested Macrotiles: Macrotile x uses microtile division or remainder · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_x.
Nested Macrotiles: Macrotile x uses microtile division or remainder · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_x.
Nested Macrotiles: Macrotile x uses microtile division or remainder · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at macro_x.
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 ↗