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
Spherical Lambert conformal conic forward: secant ratio order · case 01
Secant cones open the wrong way and produce mirrored, inflated output.
Spherical Lambert conformal conic forward: secant ratio order · case 02
Secant cones open the wrong way and produce mirrored, inflated output.
Spherical Lambert conformal conic forward: secant ratio order · case 03
Secant cones open the wrong way and produce mirrored, inflated output.
Spherical Lambert conformal conic forward: secant ratio order · case 04
Secant cones open the wrong way and produce mirrored, inflated output.
Spherical Lambert conformal conic forward: secant ratio order · case 05
Secant cones open the wrong way and produce mirrored, inflated output.
Spherical Lambert conformal conic forward: scale constant exponent · case 01
The whole map is scaled by the cone constant.
Spherical Lambert conformal conic forward: scale constant exponent · case 02
The whole map is scaled by the cone constant.
Spherical Lambert conformal conic forward: scale constant exponent · case 03
The whole map is scaled by the cone constant.
Spherical Lambert conformal conic forward: scale constant exponent · case 04
The whole map is scaled by the cone constant.
Spherical Lambert conformal conic forward: scale constant exponent · case 05
The whole map is scaled by the cone constant.
Spherical Lambert conformal conic forward: origin radius · case 01
False origins are shifted north or south by hundreds of kilometres.
Spherical Lambert conformal conic forward: origin radius · case 02
False origins are shifted north or south by hundreds of kilometres.
Spherical Lambert conformal conic forward: origin radius · case 03
False origins are shifted north or south by hundreds of kilometres.
Spherical Lambert conformal conic forward: origin radius · case 04
False origins are shifted north or south by hundreds of kilometres.
Spherical Lambert conformal conic forward: origin radius · case 05
False origins are shifted north or south by hundreds of kilometres.
Spherical Lambert conformal conic forward: polar radius exponent · case 01
Meridian spacing grows the wrong way with latitude.
Spherical Lambert conformal conic forward: polar radius exponent · case 02
Meridian spacing grows the wrong way with latitude.
Spherical Lambert conformal conic forward: polar radius exponent · case 03
Meridian spacing grows the wrong way with latitude.
Spherical Lambert conformal conic forward: polar radius exponent · case 04
Meridian spacing grows the wrong way with latitude.
Spherical Lambert conformal conic forward: polar radius exponent · case 05
Meridian spacing grows the wrong way with latitude.
Spherical Lambert conformal conic forward: cone angle · case 01
Meridians fan out as if the cone were flat.
Spherical Lambert conformal conic forward: cone angle · case 02
Meridians fan out as if the cone were flat.
Spherical Lambert conformal conic forward: cone angle · case 03
Meridians fan out as if the cone were flat.
Spherical Lambert conformal conic forward: cone angle · case 04
Meridians fan out as if the cone were flat.
Spherical Lambert conformal conic forward: cone angle · case 05
Meridians fan out as if the cone were flat.
Spherical Albers equal-area conic forward: cone constant averaging · case 01
Area totals drift and meridians converge twice as fast as intended.
Spherical Albers equal-area conic forward: cone constant averaging · case 02
Area totals drift and meridians converge twice as fast as intended.
Spherical Albers equal-area conic forward: cone constant averaging · case 03
Area totals drift and meridians converge twice as fast as intended.
Spherical Albers equal-area conic forward: cone constant averaging · case 04
Area totals drift and meridians converge twice as fast as intended.
Spherical Albers equal-area conic forward: cone constant averaging · case 05
Area totals drift and meridians converge twice as fast as intended.
Spherical Albers equal-area conic forward: area constant term · case 01
Radii are wrong on every parallel so equal areas are lost.
Spherical Albers equal-area conic forward: area constant term · case 02
Radii are wrong on every parallel so equal areas are lost.
Spherical Albers equal-area conic forward: area constant term · case 03
Radii are wrong on every parallel so equal areas are lost.
Spherical Albers equal-area conic forward: area constant term · case 04
Radii are wrong on every parallel so equal areas are lost.
Spherical Albers equal-area conic forward: area constant term · case 05
Radii are wrong on every parallel so equal areas are lost.
Spherical Albers equal-area conic forward: radius division placement · case 01
Parallel spacing is wrong and southern cones fail outright.
Spherical Albers equal-area conic forward: radius division placement · case 02
Parallel spacing is wrong and southern cones fail outright.
Spherical Albers equal-area conic forward: radius division placement · case 03
Parallel spacing is wrong and southern cones fail outright.
Spherical Albers equal-area conic forward: radius division placement · case 04
Parallel spacing is wrong and southern cones fail outright.
Spherical Albers equal-area conic forward: radius division placement · case 05
Parallel spacing is wrong and southern cones fail outright.
Spherical Albers equal-area conic forward: origin radius latitude · case 01
False northings are measured from a standard parallel instead of the grid origin.
Spherical Albers equal-area conic forward: origin radius latitude · case 02
False northings are measured from a standard parallel instead of the grid origin.
Spherical Albers equal-area conic forward: origin radius latitude · case 03
False northings are measured from a standard parallel instead of the grid origin.
Spherical Albers equal-area conic forward: origin radius latitude · case 04
False northings are measured from a standard parallel instead of the grid origin.
Spherical Albers equal-area conic forward: origin radius latitude · case 05
False northings are measured from a standard parallel instead of the grid origin.
Spherical Albers equal-area conic forward: northing orientation · case 01
The map is flipped north-south about the origin.
Spherical Albers equal-area conic forward: northing orientation · case 02
The map is flipped north-south about the origin.
Spherical Albers equal-area conic forward: northing orientation · case 03
The map is flipped north-south about the origin.
Spherical Albers equal-area conic forward: northing orientation · case 04
The map is flipped north-south about the origin.
Spherical Albers equal-area conic forward: northing orientation · case 05
The map is flipped north-south about the origin.
Spherical polar stereographic forward: hemisphere acceptance · case 01
Equator points are rejected by both polar grids.
Spherical polar stereographic forward: hemisphere acceptance · case 02
Equator points are rejected by both polar grids.
Spherical polar stereographic forward: hemisphere acceptance · case 03
Equator points are rejected by both polar grids.
Spherical polar stereographic forward: hemisphere acceptance · case 04
Equator points are rejected by both polar grids.
Spherical polar stereographic forward: hemisphere acceptance · case 05
Equator points are rejected by both polar grids.
Spherical polar stereographic forward: south aspect radius · case 01
Antarctic points are placed far from the south pole and the pole itself explodes.
Spherical polar stereographic forward: south aspect radius · case 02
Antarctic points are placed far from the south pole and the pole itself explodes.
Spherical polar stereographic forward: south aspect radius · case 03
Antarctic points are placed far from the south pole and the pole itself explodes.
Spherical polar stereographic forward: south aspect radius · case 04
Antarctic points are placed far from the south pole and the pole itself explodes.
Spherical polar stereographic forward: south aspect radius · case 05
Antarctic points are placed far from the south pole and the pole itself explodes.
Spherical polar stereographic forward: south aspect northing sign · case 01
The south polar grid is mirrored top to bottom.
Spherical polar stereographic forward: south aspect northing sign · case 02
The south polar grid is mirrored top to bottom.
Spherical polar stereographic forward: south aspect northing sign · case 03
The south polar grid is mirrored top to bottom.
Spherical polar stereographic forward: south aspect northing sign · case 04
The south polar grid is mirrored top to bottom.
Spherical polar stereographic forward: south aspect northing sign · case 05
The south polar grid is mirrored top to bottom.
Spherical polar stereographic forward: longitude offset direction · case 01
Polar grids are mirrored left to right.
Spherical polar stereographic forward: longitude offset direction · case 02
Polar grids are mirrored left to right.
Spherical polar stereographic forward: longitude offset direction · case 03
Polar grids are mirrored left to right.
Spherical polar stereographic forward: longitude offset direction · case 04
Polar grids are mirrored left to right.
Spherical polar stereographic forward: longitude offset direction · case 05
Polar grids are mirrored left to right.
Spherical polar stereographic forward: north aspect axes · case 01
North polar output is rotated by 90 degrees.
Spherical polar stereographic forward: north aspect axes · case 02
North polar output is rotated by 90 degrees.
Spherical polar stereographic forward: north aspect axes · case 03
North polar output is rotated by 90 degrees.
Spherical polar stereographic forward: north aspect axes · case 04
North polar output is rotated by 90 degrees.
Spherical polar stereographic forward: north aspect axes · case 05
North polar output is rotated by 90 degrees.
Spherical polar stereographic forward: radius constant · case 01
North polar coordinates are half size.
Spherical polar stereographic forward: radius constant · case 02
North polar coordinates are half size.
Spherical polar stereographic forward: radius constant · case 03
North polar coordinates are half size.
Spherical polar stereographic forward: radius constant · case 04
North polar coordinates are half size.
Spherical polar stereographic forward: radius constant · case 05
North polar coordinates are half size.
Orthographic globe view with back-side culling: far-side test · case 01
On a tilted globe, features behind the horizon near the poles are drawn and visible ones are hidden.
Orthographic globe view with back-side culling: far-side test · case 02
On a tilted globe, features behind the horizon near the poles are drawn and visible ones are hidden.
Orthographic globe view with back-side culling: far-side test · case 03
On a tilted globe, features behind the horizon near the poles are drawn and visible ones are hidden.
Orthographic globe view with back-side culling: far-side test · case 04
On a tilted globe, features behind the horizon near the poles are drawn and visible ones are hidden.
Orthographic globe view with back-side culling: far-side test · case 05
On a tilted globe, features behind the horizon near the poles are drawn and visible ones are hidden.
Orthographic globe view with back-side culling: angular distance terms · case 01
The visible cap is misplaced when the view centre is off the equator.
Orthographic globe view with back-side culling: angular distance terms · case 02
The visible cap is misplaced when the view centre is off the equator.
Orthographic globe view with back-side culling: angular distance terms · case 03
The visible cap is misplaced when the view centre is off the equator.
Orthographic globe view with back-side culling: angular distance terms · case 04
The visible cap is misplaced when the view centre is off the equator.
Orthographic globe view with back-side culling: angular distance terms · case 05
The visible cap is misplaced when the view centre is off the equator.
Orthographic globe view with back-side culling: northing sign term · case 01
Latitude lines bow the wrong way on a tilted globe.
Orthographic globe view with back-side culling: northing sign term · case 02
Latitude lines bow the wrong way on a tilted globe.
Orthographic globe view with back-side culling: northing sign term · case 03
Latitude lines bow the wrong way on a tilted globe.
Orthographic globe view with back-side culling: northing sign term · case 04
Latitude lines bow the wrong way on a tilted globe.
Orthographic globe view with back-side culling: northing sign term · case 05
Latitude lines bow the wrong way on a tilted globe.
Orthographic globe view with back-side culling: easting latitude · case 01
Eastings do not shrink toward the poles.
Orthographic globe view with back-side culling: easting latitude · case 02
Eastings do not shrink toward the poles.
Orthographic globe view with back-side culling: easting latitude · case 03
Eastings do not shrink toward the poles.
Orthographic globe view with back-side culling: easting latitude · case 04
Eastings do not shrink toward the poles.
Orthographic globe view with back-side culling: easting latitude · case 05
Eastings do not shrink toward the poles.
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 ↗