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
UTM zone and latitude band lookup: svalbard zone split · case 01
Svalbard points near 21 degrees east are assigned to the wrong widened zone.
UTM zone and latitude band lookup: svalbard zone split · case 02
Svalbard points near 21 degrees east are assigned to the wrong widened zone.
UTM zone and latitude band lookup: svalbard zone split · case 03
Svalbard points near 21 degrees east are assigned to the wrong widened zone.
UTM zone and latitude band lookup: svalbard zone split · case 04
Svalbard points near 21 degrees east are assigned to the wrong widened zone.
UTM zone and latitude band lookup: svalbard zone split · case 05
Svalbard points near 21 degrees east are assigned to the wrong widened zone.
UTM zone and latitude band lookup: band x extension · case 01
Points in the 12-degree band X above 80N are labelled C.
UTM zone and latitude band lookup: band x extension · case 02
Points in the 12-degree band X above 80N are labelled C.
UTM zone and latitude band lookup: band x extension · case 03
Points in the 12-degree band X above 80N are labelled C.
UTM zone and latitude band lookup: band x extension · case 04
Points in the 12-degree band X above 80N are labelled C.
UTM zone and latitude band lookup: band x extension · case 05
Points in the 12-degree band X above 80N are labelled C.
UTM zone and latitude band lookup: band domain limits · case 01
Points on the southern and northern band limits lose their band letter.
UTM zone and latitude band lookup: band domain limits · case 02
Points on the southern and northern band limits lose their band letter.
UTM zone and latitude band lookup: band domain limits · case 03
Points on the southern and northern band limits lose their band letter.
UTM zone and latitude band lookup: band domain limits · case 04
Points on the southern and northern band limits lose their band letter.
UTM zone and latitude band lookup: band domain limits · case 05
Points on the southern and northern band limits lose their band letter.
Spherical transverse mercator in a UTM grid: zone central meridian · case 01
Eastings are offset by roughly 330 km in every zone.
Spherical transverse mercator in a UTM grid: zone central meridian · case 02
Eastings are offset by roughly 330 km in every zone.
Spherical transverse mercator in a UTM grid: zone central meridian · case 03
Eastings are offset by roughly 330 km in every zone.
Spherical transverse mercator in a UTM grid: zone central meridian · case 04
Eastings are offset by roughly 330 km in every zone.
Spherical transverse mercator in a UTM grid: zone central meridian · case 05
Eastings are offset by roughly 330 km in every zone.
Spherical transverse mercator in a UTM grid: grid hemisphere flag · case 01
Points just north of the equator in a southern grid jump by ten thousand kilometres.
Spherical transverse mercator in a UTM grid: grid hemisphere flag · case 02
Points just north of the equator in a southern grid jump by ten thousand kilometres.
Spherical transverse mercator in a UTM grid: grid hemisphere flag · case 03
Points just north of the equator in a southern grid jump by ten thousand kilometres.
Spherical transverse mercator in a UTM grid: grid hemisphere flag · case 04
Points just north of the equator in a southern grid jump by ten thousand kilometres.
Spherical transverse mercator in a UTM grid: grid hemisphere flag · case 05
Points just north of the equator in a southern grid jump by ten thousand kilometres.
Spherical transverse mercator in a UTM grid: easting half factor · case 01
Distances from the central meridian are doubled.
Spherical transverse mercator in a UTM grid: easting half factor · case 02
Distances from the central meridian are doubled.
Spherical transverse mercator in a UTM grid: easting half factor · case 03
Distances from the central meridian are doubled.
Spherical transverse mercator in a UTM grid: easting half factor · case 04
Distances from the central meridian are doubled.
Spherical transverse mercator in a UTM grid: easting half factor · case 05
Distances from the central meridian are doubled.
Spherical transverse mercator in a UTM grid: northing longitude term · case 01
Northings are wrong for points away from the central meridian.
Spherical transverse mercator in a UTM grid: northing longitude term · case 02
Northings are wrong for points away from the central meridian.
Spherical transverse mercator in a UTM grid: northing longitude term · case 03
Northings are wrong for points away from the central meridian.
Spherical transverse mercator in a UTM grid: northing longitude term · case 04
Northings are wrong for points away from the central meridian.
Spherical transverse mercator in a UTM grid: northing longitude term · case 05
Northings are wrong for points away from the central meridian.
Spherical transverse mercator in a UTM grid: false easting direction · case 01
The zone is mirrored about its central meridian.
Spherical transverse mercator in a UTM grid: false easting direction · case 02
The zone is mirrored about its central meridian.
Spherical transverse mercator in a UTM grid: false easting direction · case 03
The zone is mirrored about its central meridian.
Spherical transverse mercator in a UTM grid: false easting direction · case 04
The zone is mirrored about its central meridian.
Spherical transverse mercator in a UTM grid: false easting direction · case 05
The zone is mirrored about its central meridian.
Equirectangular projection with standard parallel: true-scale parallel · case 01
Horizontal scale is correct only when the origin latitude equals the standard parallel.
Equirectangular projection with standard parallel: true-scale parallel · case 02
Horizontal scale is correct only when the origin latitude equals the standard parallel.
Equirectangular projection with standard parallel: true-scale parallel · case 03
Horizontal scale is correct only when the origin latitude equals the standard parallel.
Equirectangular projection with standard parallel: true-scale parallel · case 04
Horizontal scale is correct only when the origin latitude equals the standard parallel.
Equirectangular projection with standard parallel: true-scale parallel · case 05
Horizontal scale is correct only when the origin latitude equals the standard parallel.
Equirectangular projection with standard parallel: forward longitude wrap · case 01
Points across the antimeridian from the central meridian project a whole world-width away.
Equirectangular projection with standard parallel: forward longitude wrap · case 02
Points across the antimeridian from the central meridian project a whole world-width away.
Equirectangular projection with standard parallel: forward longitude wrap · case 03
Points across the antimeridian from the central meridian project a whole world-width away.
Equirectangular projection with standard parallel: forward longitude wrap · case 04
Points across the antimeridian from the central meridian project a whole world-width away.
Equirectangular projection with standard parallel: forward longitude wrap · case 05
Points across the antimeridian from the central meridian project a whole world-width away.
Equirectangular projection with standard parallel: forward origin latitude · case 01
Northings ignore the grid origin latitude.
Equirectangular projection with standard parallel: forward origin latitude · case 02
Northings ignore the grid origin latitude.
Equirectangular projection with standard parallel: forward origin latitude · case 03
Northings ignore the grid origin latitude.
Equirectangular projection with standard parallel: forward origin latitude · case 04
Northings ignore the grid origin latitude.
Equirectangular projection with standard parallel: forward origin latitude · case 05
Northings ignore the grid origin latitude.
Equirectangular projection with standard parallel: inverse scale division · case 01
Inverse longitudes shrink toward the central meridian.
Equirectangular projection with standard parallel: inverse scale division · case 02
Inverse longitudes shrink toward the central meridian.
Equirectangular projection with standard parallel: inverse scale division · case 03
Inverse longitudes shrink toward the central meridian.
Equirectangular projection with standard parallel: inverse scale division · case 04
Inverse longitudes shrink toward the central meridian.
Equirectangular projection with standard parallel: inverse scale division · case 05
Inverse longitudes shrink toward the central meridian.
Equirectangular projection with standard parallel: inverse longitude wrap · case 01
Inverse results near the antimeridian report longitudes beyond 180.
Equirectangular projection with standard parallel: inverse longitude wrap · case 02
Inverse results near the antimeridian report longitudes beyond 180.
Equirectangular projection with standard parallel: inverse longitude wrap · case 03
Inverse results near the antimeridian report longitudes beyond 180.
Equirectangular projection with standard parallel: inverse longitude wrap · case 04
Inverse results near the antimeridian report longitudes beyond 180.
Equirectangular projection with standard parallel: inverse longitude wrap · case 05
Inverse results near the antimeridian report longitudes beyond 180.
Equirectangular projection with standard parallel: inverse origin latitude · case 01
Inverse latitudes are offset when the grid origin is not on the equator.
Equirectangular projection with standard parallel: inverse origin latitude · case 02
Inverse latitudes are offset when the grid origin is not on the equator.
Equirectangular projection with standard parallel: inverse origin latitude · case 03
Inverse latitudes are offset when the grid origin is not on the equator.
Equirectangular projection with standard parallel: inverse origin latitude · case 04
Inverse latitudes are offset when the grid origin is not on the equator.
Equirectangular projection with standard parallel: inverse origin latitude · case 05
Inverse latitudes are offset when the grid origin is not on the equator.
Sinusoidal equal-area inverse: pole guard tolerance · case 01
Pixels exactly on the pole rows are reported as outside the map.
Sinusoidal equal-area inverse: pole guard tolerance · case 02
Pixels exactly on the pole rows are reported as outside the map.
Sinusoidal equal-area inverse: pole guard tolerance · case 03
Pixels exactly on the pole rows are reported as outside the map.
Sinusoidal equal-area inverse: pole guard tolerance · case 04
Pixels exactly on the pole rows are reported as outside the map.
Sinusoidal equal-area inverse: pole guard tolerance · case 05
Pixels exactly on the pole rows are reported as outside the map.
Sinusoidal equal-area inverse: outline test scaling · case 01
High-latitude fill pixels outside the outline decode to bogus longitudes.
Sinusoidal equal-area inverse: outline test scaling · case 02
High-latitude fill pixels outside the outline decode to bogus longitudes.
Sinusoidal equal-area inverse: outline test scaling · case 03
High-latitude fill pixels outside the outline decode to bogus longitudes.
Sinusoidal equal-area inverse: outline test scaling · case 04
High-latitude fill pixels outside the outline decode to bogus longitudes.
Sinusoidal equal-area inverse: outline test scaling · case 05
High-latitude fill pixels outside the outline decode to bogus longitudes.
Sinusoidal equal-area inverse: meridian scaling · case 01
Longitudes away from the equator are compressed toward the central meridian.
Sinusoidal equal-area inverse: meridian scaling · case 02
Longitudes away from the equator are compressed toward the central meridian.
Sinusoidal equal-area inverse: meridian scaling · case 03
Longitudes away from the equator are compressed toward the central meridian.
Sinusoidal equal-area inverse: meridian scaling · case 04
Longitudes away from the equator are compressed toward the central meridian.
Sinusoidal equal-area inverse: meridian scaling · case 05
Longitudes away from the equator are compressed toward the central meridian.
Sinusoidal equal-area inverse: latitude domain check · case 01
Rows beyond the poles are decoded as valid latitudes.
Sinusoidal equal-area inverse: latitude domain check · case 02
Rows beyond the poles are decoded as valid latitudes.
Sinusoidal equal-area inverse: latitude domain check · case 03
Rows beyond the poles are decoded as valid latitudes.
Sinusoidal equal-area inverse: latitude domain check · case 04
Rows beyond the poles are decoded as valid latitudes.
Sinusoidal equal-area inverse: latitude domain check · case 05
Rows beyond the poles are decoded as valid latitudes.
Sinusoidal equal-area inverse: longitude wrap · case 01
Pixels near the outline on shifted central meridians report longitudes beyond 180.
Sinusoidal equal-area inverse: longitude wrap · case 02
Pixels near the outline on shifted central meridians report longitudes beyond 180.
Sinusoidal equal-area inverse: longitude wrap · case 03
Pixels near the outline on shifted central meridians report longitudes beyond 180.
Sinusoidal equal-area inverse: longitude wrap · case 04
Pixels near the outline on shifted central meridians report longitudes beyond 180.
Sinusoidal equal-area inverse: longitude wrap · case 05
Pixels near the outline on shifted central meridians report longitudes beyond 180.
Spherical Lambert conformal conic forward: tangent cone constant · case 01
Single-parallel conic grids are badly distorted while secant grids look fine.
Spherical Lambert conformal conic forward: tangent cone constant · case 02
Single-parallel conic grids are badly distorted while secant grids look fine.
Spherical Lambert conformal conic forward: tangent cone constant · case 03
Single-parallel conic grids are badly distorted while secant grids look fine.
Spherical Lambert conformal conic forward: tangent cone constant · case 04
Single-parallel conic grids are badly distorted while secant grids look fine.
Spherical Lambert conformal conic forward: tangent cone constant · case 05
Single-parallel conic grids are badly distorted while secant grids look fine.
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 ↗