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
Picks theorem interior points · case 01
Boundary points are subtracted with full instead of half weight.
Picks theorem interior points · case 02
Boundary points are subtracted with full instead of half weight.
Picks theorem interior points · case 03
Boundary points are subtracted with full instead of half weight.
Picks theorem interior points · case 04
Boundary points are subtracted with full instead of half weight.
Picks theorem interior points · case 05
Boundary points are subtracted with full instead of half weight.
Barycentric affine point · case 01
Homogeneous weights are not normalized.
Barycentric affine point · case 02
Homogeneous weights are not normalized.
Barycentric affine point · case 03
Homogeneous weights are not normalized.
Barycentric affine point · case 04
Homogeneous weights are not normalized.
Barycentric affine point · case 05
Homogeneous weights are not normalized.
Sphere volume divided by pi · case 01
Radius is squared instead of cubed for volume.
Sphere volume divided by pi · case 02
Radius is squared instead of cubed for volume.
Sphere volume divided by pi · case 03
Radius is squared instead of cubed for volume.
Sphere volume divided by pi · case 04
Radius is squared instead of cubed for volume.
Sphere volume divided by pi · case 05
Radius is squared instead of cubed for volume.
Sphere surface divided by pi · case 01
Volume scaling is used for surface area.
Sphere surface divided by pi · case 02
Volume scaling is used for surface area.
Sphere surface divided by pi · case 03
Volume scaling is used for surface area.
Sphere surface divided by pi · case 04
Volume scaling is used for surface area.
Sphere surface divided by pi · case 05
Volume scaling is used for surface area.
Cylinder volume divided by pi · case 01
Circumference times height computes lateral area rather than volume.
Cylinder volume divided by pi · case 02
Circumference times height computes lateral area rather than volume.
Cylinder volume divided by pi · case 03
Circumference times height computes lateral area rather than volume.
Cylinder volume divided by pi · case 04
Circumference times height computes lateral area rather than volume.
Cylinder volume divided by pi · case 05
Circumference times height computes lateral area rather than volume.
Cone volume divided by pi · case 01
A cone is assigned the volume of its bounding cylinder.
Cone volume divided by pi · case 02
A cone is assigned the volume of its bounding cylinder.
Cone volume divided by pi · case 03
A cone is assigned the volume of its bounding cylinder.
Cone volume divided by pi · case 04
A cone is assigned the volume of its bounding cylinder.
Cone volume divided by pi · case 05
A cone is assigned the volume of its bounding cylinder.
Conical frustum volume divided by pi · case 01
Subtracting same-height cones omits the mixed-radius term.
Conical frustum volume divided by pi · case 02
Subtracting same-height cones omits the mixed-radius term.
Conical frustum volume divided by pi · case 03
Subtracting same-height cones omits the mixed-radius term.
Conical frustum volume divided by pi · case 04
Subtracting same-height cones omits the mixed-radius term.
Conical frustum volume divided by pi · case 05
Subtracting same-height cones omits the mixed-radius term.
Cuboid surface area · case 01
Volume replaces total face area.
Cuboid surface area · case 02
Volume replaces total face area.
Cuboid surface area · case 03
Volume replaces total face area.
Cuboid surface area · case 04
Volume replaces total face area.
Cuboid surface area · case 05
Volume replaces total face area.
Cuboid space diagonal squared · case 01
Squaring the sum introduces cross terms.
Cuboid space diagonal squared · case 02
Squaring the sum introduces cross terms.
Cuboid space diagonal squared · case 03
Squaring the sum introduces cross terms.
Cuboid space diagonal squared · case 04
Squaring the sum introduces cross terms.
Cuboid space diagonal squared · case 05
Squaring the sum introduces cross terms.
Ellipsoid volume divided by pi · case 01
Semiaxes are added instead of multiplied.
Ellipsoid volume divided by pi · case 02
Semiaxes are added instead of multiplied.
Ellipsoid volume divided by pi · case 03
Semiaxes are added instead of multiplied.
Ellipsoid volume divided by pi · case 04
Semiaxes are added instead of multiplied.
Ellipsoid volume divided by pi · case 05
Semiaxes are added instead of multiplied.
Tetrahedron axis intercept volume · case 01
The triangular base factor of one half is omitted.
Tetrahedron axis intercept volume · case 02
The triangular base factor of one half is omitted.
Tetrahedron axis intercept volume · case 03
The triangular base factor of one half is omitted.
Tetrahedron axis intercept volume · case 04
The triangular base factor of one half is omitted.
Tetrahedron axis intercept volume · case 05
The triangular base factor of one half is omitted.
Pyramid volume · case 01
Prismatic rather than pyramidal volume is returned.
Pyramid volume · case 02
Prismatic rather than pyramidal volume is returned.
Pyramid volume · case 03
Prismatic rather than pyramidal volume is returned.
Pyramid volume · case 04
Prismatic rather than pyramidal volume is returned.
Pyramid volume · case 05
Prismatic rather than pyramidal volume is returned.
Cylinder total surface divided by pi · case 01
The two end disks are omitted.
Cylinder total surface divided by pi · case 02
The two end disks are omitted.
Cylinder total surface divided by pi · case 03
The two end disks are omitted.
Cylinder total surface divided by pi · case 04
The two end disks are omitted.
Cylinder total surface divided by pi · case 05
The two end disks are omitted.
Spherical cap volume divided by pi · case 01
The cap cubic correction is omitted.
Spherical cap volume divided by pi · case 02
The cap cubic correction is omitted.
Spherical cap volume divided by pi · case 03
The cap cubic correction is omitted.
Spherical cap volume divided by pi · case 04
The cap cubic correction is omitted.
Spherical cap volume divided by pi · case 05
The cap cubic correction is omitted.
Spherical cap area divided by pi · case 01
The cap is mistaken for a flat disk based on cap height.
Spherical cap area divided by pi · case 02
The cap is mistaken for a flat disk based on cap height.
Spherical cap area divided by pi · case 03
The cap is mistaken for a flat disk based on cap height.
Spherical cap area divided by pi · case 04
The cap is mistaken for a flat disk based on cap height.
Spherical cap area divided by pi · case 05
The cap is mistaken for a flat disk based on cap height.
Torus volume divided by pi squared · case 01
The major radius is squared instead of the tube radius.
Torus volume divided by pi squared · case 02
The major radius is squared instead of the tube radius.
Torus volume divided by pi squared · case 03
The major radius is squared instead of the tube radius.
Torus volume divided by pi squared · case 04
The major radius is squared instead of the tube radius.
Torus volume divided by pi squared · case 05
The major radius is squared instead of the tube radius.
Torus area divided by pi squared · case 01
The torus volume formula replaces surface area.
Torus area divided by pi squared · case 02
The torus volume formula replaces surface area.
Torus area divided by pi squared · case 03
The torus volume formula replaces surface area.
Torus area divided by pi squared · case 04
The torus volume formula replaces surface area.
Torus area divided by pi squared · case 05
The torus volume formula replaces surface area.
Cube volume from body diagonal squared · case 01
The body diagonal is used as the cube side.
Cube volume from body diagonal squared · case 02
The body diagonal is used as the cube side.
Cube volume from body diagonal squared · case 03
The body diagonal is used as the cube side.
Cube volume from body diagonal squared · case 04
The body diagonal is used as the cube side.
Cube volume from body diagonal squared · case 05
The body diagonal is used as the cube side.
Cavalieri prism volume · case 01
Area and height are added instead of multiplied.
Cavalieri prism volume · case 02
Area and height are added instead of multiplied.
Cavalieri prism volume · case 03
Area and height are added instead of multiplied.
Cavalieri prism volume · case 04
Area and height are added instead of multiplied.
Cavalieri prism volume · case 05
Area and height are added instead of multiplied.
Right cone slant length squared · case 01
The legs are added before squaring.
Right cone slant length squared · case 02
The legs are added before squaring.
Right cone slant length squared · case 03
The legs are added before squaring.
Right cone slant length squared · case 04
The legs are added before squaring.
Right cone slant length squared · case 05
The legs are added before squaring.
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 ↗