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
Orthographic globe view with back-side culling: view latitude unit · case 01
The globe tilt is wrong for any view not centred on the equator.
Orthographic globe view with back-side culling: view latitude unit · case 02
The globe tilt is wrong for any view not centred on the equator.
Orthographic globe view with back-side culling: view latitude unit · case 03
The globe tilt is wrong for any view not centred on the equator.
Orthographic globe view with back-side culling: view latitude unit · case 04
The globe tilt is wrong for any view not centred on the equator.
Orthographic globe view with back-side culling: view latitude unit · case 05
The globe tilt is wrong for any view not centred on the equator.
Azimuthal equidistant range and bearing: antipode exclusion · case 01
Points at or beside the antipode are plotted at absurd distances instead of being rejected.
Azimuthal equidistant range and bearing: antipode exclusion · case 02
Points at or beside the antipode are plotted at absurd distances instead of being rejected.
Azimuthal equidistant range and bearing: antipode exclusion · case 03
Points at or beside the antipode are plotted at absurd distances instead of being rejected.
Azimuthal equidistant range and bearing: antipode exclusion · case 04
Points at or beside the antipode are plotted at absurd distances instead of being rejected.
Azimuthal equidistant range and bearing: antipode exclusion · case 05
Points at or beside the antipode are plotted at absurd distances instead of being rejected.
Azimuthal equidistant range and bearing: radial scale · case 01
Distant points are drawn much too close to the centre.
Azimuthal equidistant range and bearing: radial scale · case 02
Distant points are drawn much too close to the centre.
Azimuthal equidistant range and bearing: radial scale · case 03
Distant points are drawn much too close to the centre.
Azimuthal equidistant range and bearing: radial scale · case 04
Distant points are drawn much too close to the centre.
Azimuthal equidistant range and bearing: radial scale · case 05
Distant points are drawn much too close to the centre.
Azimuthal equidistant range and bearing: bearing argument order · case 01
Bearings are measured counter-clockwise from east.
Azimuthal equidistant range and bearing: bearing argument order · case 02
Bearings are measured counter-clockwise from east.
Azimuthal equidistant range and bearing: bearing argument order · case 03
Bearings are measured counter-clockwise from east.
Azimuthal equidistant range and bearing: bearing argument order · case 04
Bearings are measured counter-clockwise from east.
Azimuthal equidistant range and bearing: bearing argument order · case 05
Bearings are measured counter-clockwise from east.
Azimuthal equidistant range and bearing: bearing normalisation · case 01
Westward bearings are reported as negative numbers.
Azimuthal equidistant range and bearing: bearing normalisation · case 02
Westward bearings are reported as negative numbers.
Azimuthal equidistant range and bearing: bearing normalisation · case 03
Westward bearings are reported as negative numbers.
Azimuthal equidistant range and bearing: bearing normalisation · case 04
Westward bearings are reported as negative numbers.
Azimuthal equidistant range and bearing: bearing normalisation · case 05
Westward bearings are reported as negative numbers.
Azimuthal equidistant range and bearing: angular distance unit · case 01
Almost every point is rejected as antipodal or placed far away.
Azimuthal equidistant range and bearing: angular distance unit · case 02
Almost every point is rejected as antipodal or placed far away.
Azimuthal equidistant range and bearing: angular distance unit · case 03
Almost every point is rejected as antipodal or placed far away.
Azimuthal equidistant range and bearing: angular distance unit · case 04
Almost every point is rejected as antipodal or placed far away.
Azimuthal equidistant range and bearing: angular distance unit · case 05
Almost every point is rejected as antipodal or placed far away.
Mollweide forward with Newton solve: newton derivative · case 01
Mid-latitude points jitter between two wrong positions depending on iteration parity.
Mollweide forward with Newton solve: newton derivative · case 02
Mid-latitude points jitter between two wrong positions depending on iteration parity.
Mollweide forward with Newton solve: newton derivative · case 03
Mid-latitude points jitter between two wrong positions depending on iteration parity.
Mollweide forward with Newton solve: newton derivative · case 04
Mid-latitude points jitter between two wrong positions depending on iteration parity.
Mollweide forward with Newton solve: newton derivative · case 05
Mid-latitude points jitter between two wrong positions depending on iteration parity.
Mollweide forward with Newton solve: iteration budget · case 01
High-latitude points are misplaced by kilometres.
Mollweide forward with Newton solve: iteration budget · case 02
High-latitude points are misplaced by kilometres.
Mollweide forward with Newton solve: iteration budget · case 03
High-latitude points are misplaced by kilometres.
Mollweide forward with Newton solve: iteration budget · case 04
High-latitude points are misplaced by kilometres.
Mollweide forward with Newton solve: iteration budget · case 05
High-latitude points are misplaced by kilometres.
Mollweide forward with Newton solve: convergence tolerance · case 01
Positions differ by metres from the converged solution.
Mollweide forward with Newton solve: convergence tolerance · case 02
Positions differ by metres from the converged solution.
Mollweide forward with Newton solve: convergence tolerance · case 03
Positions differ by metres from the converged solution.
Mollweide forward with Newton solve: convergence tolerance · case 04
Positions differ by metres from the converged solution.
Mollweide forward with Newton solve: convergence tolerance · case 05
Positions differ by metres from the converged solution.
Mollweide forward with Newton solve: easting auxiliary angle · case 01
The outline is not an ellipse; high latitudes are too wide.
Mollweide forward with Newton solve: easting auxiliary angle · case 02
The outline is not an ellipse; high latitudes are too wide.
Mollweide forward with Newton solve: easting auxiliary angle · case 03
The outline is not an ellipse; high latitudes are too wide.
Mollweide forward with Newton solve: easting auxiliary angle · case 04
The outline is not an ellipse; high latitudes are too wide.
Mollweide forward with Newton solve: easting auxiliary angle · case 05
The outline is not an ellipse; high latitudes are too wide.
Mollweide forward with Newton solve: northing scale · case 01
The map is squashed vertically.
Mollweide forward with Newton solve: northing scale · case 02
The map is squashed vertically.
Mollweide forward with Newton solve: northing scale · case 03
The map is squashed vertically.
Mollweide forward with Newton solve: northing scale · case 04
The map is squashed vertically.
Mollweide forward with Newton solve: northing scale · case 05
The map is squashed vertically.
Affine geotransform inverse to pixel indices: determinant cross term · case 01
Rotated or sheared rasters are sampled at the wrong pixels.
Affine geotransform inverse to pixel indices: determinant cross term · case 02
Rotated or sheared rasters are sampled at the wrong pixels.
Affine geotransform inverse to pixel indices: determinant cross term · case 03
Rotated or sheared rasters are sampled at the wrong pixels.
Affine geotransform inverse to pixel indices: determinant cross term · case 04
Rotated or sheared rasters are sampled at the wrong pixels.
Affine geotransform inverse to pixel indices: determinant cross term · case 05
Rotated or sheared rasters are sampled at the wrong pixels.
Affine geotransform inverse to pixel indices: column numerator · case 01
Columns drift across rows of rotated rasters.
Affine geotransform inverse to pixel indices: column numerator · case 02
Columns drift across rows of rotated rasters.
Affine geotransform inverse to pixel indices: column numerator · case 03
Columns drift across rows of rotated rasters.
Affine geotransform inverse to pixel indices: column numerator · case 04
Columns drift across rows of rotated rasters.
Affine geotransform inverse to pixel indices: column numerator · case 05
Columns drift across rows of rotated rasters.
Affine geotransform inverse to pixel indices: negative index flooring · case 01
Points just outside the left or top edge are sampled from the first column or row.
Affine geotransform inverse to pixel indices: negative index flooring · case 02
Points just outside the left or top edge are sampled from the first column or row.
Affine geotransform inverse to pixel indices: negative index flooring · case 03
Points just outside the left or top edge are sampled from the first column or row.
Affine geotransform inverse to pixel indices: negative index flooring · case 04
Points just outside the left or top edge are sampled from the first column or row.
Affine geotransform inverse to pixel indices: negative index flooring · case 05
Points just outside the left or top edge are sampled from the first column or row.
Affine geotransform inverse to pixel indices: far edge bounds · case 01
Points just beyond the right or bottom edge return a pixel index equal to the raster size.
Affine geotransform inverse to pixel indices: far edge bounds · case 02
Points just beyond the right or bottom edge return a pixel index equal to the raster size.
Affine geotransform inverse to pixel indices: far edge bounds · case 03
Points just beyond the right or bottom edge return a pixel index equal to the raster size.
Affine geotransform inverse to pixel indices: far edge bounds · case 04
Points just beyond the right or bottom edge return a pixel index equal to the raster size.
Affine geotransform inverse to pixel indices: far edge bounds · case 05
Points just beyond the right or bottom edge return a pixel index equal to the raster size.
Affine geotransform inverse to pixel indices: row origin offset · case 01
Rows count upward from the origin for north-up rasters, sampling mirrored rows.
Affine geotransform inverse to pixel indices: row origin offset · case 02
Rows count upward from the origin for north-up rasters, sampling mirrored rows.
Affine geotransform inverse to pixel indices: row origin offset · case 03
Rows count upward from the origin for north-up rasters, sampling mirrored rows.
Affine geotransform inverse to pixel indices: row origin offset · case 04
Rows count upward from the origin for north-up rasters, sampling mirrored rows.
Affine geotransform inverse to pixel indices: row origin offset · case 05
Rows count upward from the origin for north-up rasters, sampling mirrored rows.
Affine geotransform inverse to pixel indices: corner versus centre origin · case 01
Points in the left half of each pixel are assigned to the previous column.
Affine geotransform inverse to pixel indices: corner versus centre origin · case 02
Points in the left half of each pixel are assigned to the previous column.
Affine geotransform inverse to pixel indices: corner versus centre origin · case 03
Points in the left half of each pixel are assigned to the previous column.
Affine geotransform inverse to pixel indices: corner versus centre origin · case 04
Points in the left half of each pixel are assigned to the previous column.
Affine geotransform inverse to pixel indices: corner versus centre origin · case 05
Points in the left half of each pixel are assigned to the previous column.
World file to corner geotransform and pixel centre: file line order · case 01
Rotated rasters are skewed the wrong way after import.
World file to corner geotransform and pixel centre: file line order · case 02
Rotated rasters are skewed the wrong way after import.
World file to corner geotransform and pixel centre: file line order · case 03
Rotated rasters are skewed the wrong way after import.
World file to corner geotransform and pixel centre: file line order · case 04
Rotated rasters are skewed the wrong way after import.
World file to corner geotransform and pixel centre: file line order · case 05
Rotated rasters are skewed the wrong way after import.
World file to corner geotransform and pixel centre: corner x half-pixel shift · case 01
Imported rasters sit one pixel east of their true position.
World file to corner geotransform and pixel centre: corner x half-pixel shift · case 02
Imported rasters sit one pixel east of their true position.
World file to corner geotransform and pixel centre: corner x half-pixel shift · case 03
Imported rasters sit one pixel east of their true position.
World file to corner geotransform and pixel centre: corner x half-pixel shift · case 04
Imported rasters sit one pixel east of their true position.
World file to corner geotransform and pixel centre: corner x half-pixel shift · case 05
Imported rasters sit one pixel east of their true position.
World file to corner geotransform and pixel centre: pixel height sign · case 01
North-up rasters flip upside down when converted.
World file to corner geotransform and pixel centre: pixel height sign · case 02
North-up rasters flip upside down when converted.
World file to corner geotransform and pixel centre: pixel height sign · case 03
North-up rasters flip upside down when converted.
World file to corner geotransform and pixel centre: pixel height sign · case 04
North-up rasters flip upside down when converted.
World file to corner geotransform and pixel centre: pixel height sign · case 05
North-up rasters flip upside down when converted.
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 ↗