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
Exposure time coordinate: Barycentric timestamp correction is attached to exposure start · case 01
The adapter reports an incorrect barycentric midpoint while other fields remain valid.
Exposure time coordinate: Barycentric timestamp correction is attached to exposure start · case 02
The adapter reports an incorrect barycentric midpoint while other fields remain valid.
Exposure time coordinate: Barycentric timestamp correction is attached to exposure start · case 03
The adapter reports an incorrect barycentric midpoint while other fields remain valid.
Exposure time coordinate: Barycentric timestamp correction is attached to exposure start · case 04
The adapter reports an incorrect barycentric midpoint while other fields remain valid.
Exposure time coordinate: Barycentric timestamp correction is attached to exposure start · case 05
The adapter reports an incorrect barycentric midpoint while other fields remain valid.
Exposure time coordinate: Exposure end metadata reuses the selected fractional reference epoch · case 01
The adapter reports an incorrect end time while other fields remain valid.
Exposure time coordinate: Exposure end metadata reuses the selected fractional reference epoch · case 02
The adapter reports an incorrect end time while other fields remain valid.
Exposure time coordinate: Exposure end metadata reuses the selected fractional reference epoch · case 03
The adapter reports an incorrect end time while other fields remain valid.
Exposure time coordinate: Exposure end metadata reuses the selected fractional reference epoch · case 04
The adapter reports an incorrect end time while other fields remain valid.
Exposure time coordinate: Exposure end metadata reuses the selected fractional reference epoch · case 05
The adapter reports an incorrect end time while other fields remain valid.
Celestial tangent projection: Celestial TAN east coordinate omits perspective or admits the back hemisphere · case 01
The adapter reports an incorrect chart east while other fields remain valid.
Celestial tangent projection: Celestial TAN east coordinate omits perspective or admits the back hemisphere · case 02
The adapter reports an incorrect chart east while other fields remain valid.
Celestial tangent projection: Celestial TAN east coordinate omits perspective or admits the back hemisphere · case 03
The adapter reports an incorrect chart east while other fields remain valid.
Celestial tangent projection: Celestial TAN east coordinate omits perspective or admits the back hemisphere · case 04
The adapter reports an incorrect chart east while other fields remain valid.
Celestial tangent projection: Celestial TAN east coordinate omits perspective or admits the back hemisphere · case 05
The adapter reports an incorrect chart east while other fields remain valid.
Celestial tangent projection: Celestial TAN north coordinate uses east-axis rather than center-direction denominator · case 01
The adapter reports an incorrect chart north while other fields remain valid.
Celestial tangent projection: Celestial TAN north coordinate uses east-axis rather than center-direction denominator · case 02
The adapter reports an incorrect chart north while other fields remain valid.
Celestial tangent projection: Celestial TAN north coordinate uses east-axis rather than center-direction denominator · case 03
The adapter reports an incorrect chart north while other fields remain valid.
Celestial tangent projection: Celestial TAN north coordinate uses east-axis rather than center-direction denominator · case 04
The adapter reports an incorrect chart north while other fields remain valid.
Celestial tangent projection: Celestial TAN north coordinate uses east-axis rather than center-direction denominator · case 05
The adapter reports an incorrect chart north while other fields remain valid.
Celestial tangent projection: TAN inverse plate mapping multiplies angular plate scale · case 01
The adapter reports an incorrect pixel x while other fields remain valid.
Celestial tangent projection: TAN inverse plate mapping multiplies angular plate scale · case 02
The adapter reports an incorrect pixel x while other fields remain valid.
Celestial tangent projection: TAN inverse plate mapping multiplies angular plate scale · case 03
The adapter reports an incorrect pixel x while other fields remain valid.
Celestial tangent projection: TAN inverse plate mapping multiplies angular plate scale · case 04
The adapter reports an incorrect pixel x while other fields remain valid.
Celestial tangent projection: TAN inverse plate mapping multiplies angular plate scale · case 05
The adapter reports an incorrect pixel x while other fields remain valid.
Celestial tangent projection: TAN detector latitude uses the longitude reference pixel · case 01
The adapter reports an incorrect pixel y while other fields remain valid.
Celestial tangent projection: TAN detector latitude uses the longitude reference pixel · case 02
The adapter reports an incorrect pixel y while other fields remain valid.
Celestial tangent projection: TAN detector latitude uses the longitude reference pixel · case 03
The adapter reports an incorrect pixel y while other fields remain valid.
Celestial tangent projection: TAN detector latitude uses the longitude reference pixel · case 04
The adapter reports an incorrect pixel y while other fields remain valid.
Celestial tangent projection: TAN detector latitude uses the longitude reference pixel · case 05
The adapter reports an incorrect pixel y while other fields remain valid.
Celestial tangent projection: TAN domain classifier admits horizon or antipodal rays · case 01
The adapter reports an incorrect chart valid while other fields remain valid.
Celestial tangent projection: TAN domain classifier admits horizon or antipodal rays · case 02
The adapter reports an incorrect chart valid while other fields remain valid.
Celestial tangent projection: TAN domain classifier admits horizon or antipodal rays · case 03
The adapter reports an incorrect chart valid while other fields remain valid.
Celestial tangent projection: TAN domain classifier admits horizon or antipodal rays · case 04
The adapter reports an incorrect chart valid while other fields remain valid.
Celestial tangent projection: TAN domain classifier admits horizon or antipodal rays · case 05
The adapter reports an incorrect chart valid while other fields remain valid.
Celestial tangent projection: TAN projection factor is emitted as the center cosine rather than its reciprocal · case 01
The adapter reports an incorrect reciprocal center while other fields remain valid.
Celestial tangent projection: TAN projection factor is emitted as the center cosine rather than its reciprocal · case 02
The adapter reports an incorrect reciprocal center while other fields remain valid.
Celestial tangent projection: TAN projection factor is emitted as the center cosine rather than its reciprocal · case 03
The adapter reports an incorrect reciprocal center while other fields remain valid.
Celestial tangent projection: TAN projection factor is emitted as the center cosine rather than its reciprocal · case 04
The adapter reports an incorrect reciprocal center while other fields remain valid.
Celestial tangent projection: TAN projection factor is emitted as the center cosine rather than its reciprocal · case 05
The adapter reports an incorrect reciprocal center while other fields remain valid.
Celestial sin projection: Oblique SIN longitude omits the one-minus-center direction term · case 01
The adapter reports an incorrect plane east while other fields remain valid.
Celestial sin projection: Oblique SIN longitude omits the one-minus-center direction term · case 02
The adapter reports an incorrect plane east while other fields remain valid.
Celestial sin projection: Oblique SIN longitude omits the one-minus-center direction term · case 03
The adapter reports an incorrect plane east while other fields remain valid.
Celestial sin projection: Oblique SIN longitude omits the one-minus-center direction term · case 04
The adapter reports an incorrect plane east while other fields remain valid.
Celestial sin projection: Oblique SIN longitude omits the one-minus-center direction term · case 05
The adapter reports an incorrect plane east while other fields remain valid.
Celestial sin projection: Oblique SIN latitude reuses longitude obliqueness or inverse sign · case 01
The adapter reports an incorrect plane north while other fields remain valid.
Celestial sin projection: Oblique SIN latitude reuses longitude obliqueness or inverse sign · case 02
The adapter reports an incorrect plane north while other fields remain valid.
Celestial sin projection: Oblique SIN latitude reuses longitude obliqueness or inverse sign · case 03
The adapter reports an incorrect plane north while other fields remain valid.
Celestial sin projection: Oblique SIN latitude reuses longitude obliqueness or inverse sign · case 04
The adapter reports an incorrect plane north while other fields remain valid.
Celestial sin projection: Oblique SIN latitude reuses longitude obliqueness or inverse sign · case 05
The adapter reports an incorrect plane north while other fields remain valid.
Celestial sin projection: Orthographic inverse branch metadata is inferred from projected longitude · case 01
The adapter reports an incorrect hemisphere while other fields remain valid.
Celestial sin projection: Orthographic inverse branch metadata is inferred from projected longitude · case 02
The adapter reports an incorrect hemisphere while other fields remain valid.
Celestial sin projection: Orthographic inverse branch metadata is inferred from projected longitude · case 03
The adapter reports an incorrect hemisphere while other fields remain valid.
Celestial sin projection: Orthographic inverse branch metadata is inferred from projected longitude · case 04
The adapter reports an incorrect hemisphere while other fields remain valid.
Celestial sin projection: Orthographic inverse branch metadata is inferred from projected longitude · case 05
The adapter reports an incorrect hemisphere while other fields remain valid.
Celestial sin projection: Inverse oblique SIN conversion subtracts a constant shear instead of direction-dependent displacement · case 01
The adapter reports an incorrect undo obliqueness east while other fields remain valid.
Celestial sin projection: Inverse oblique SIN conversion subtracts a constant shear instead of direction-dependent displacement · case 02
The adapter reports an incorrect undo obliqueness east while other fields remain valid.
Celestial sin projection: Inverse oblique SIN conversion subtracts a constant shear instead of direction-dependent displacement · case 03
The adapter reports an incorrect undo obliqueness east while other fields remain valid.
Celestial sin projection: Inverse oblique SIN conversion subtracts a constant shear instead of direction-dependent displacement · case 04
The adapter reports an incorrect undo obliqueness east while other fields remain valid.
Celestial sin projection: Inverse oblique SIN conversion subtracts a constant shear instead of direction-dependent displacement · case 05
The adapter reports an incorrect undo obliqueness east while other fields remain valid.
Celestial sin projection: Inverse SIN latitude uses a different projection coefficient convention · case 01
The adapter reports an incorrect undo obliqueness north while other fields remain valid.
Celestial sin projection: Inverse SIN latitude uses a different projection coefficient convention · case 02
The adapter reports an incorrect undo obliqueness north while other fields remain valid.
Celestial sin projection: Inverse SIN latitude uses a different projection coefficient convention · case 03
The adapter reports an incorrect undo obliqueness north while other fields remain valid.
Celestial sin projection: Inverse SIN latitude uses a different projection coefficient convention · case 04
The adapter reports an incorrect undo obliqueness north while other fields remain valid.
Celestial sin projection: Inverse SIN latitude uses a different projection coefficient convention · case 05
The adapter reports an incorrect undo obliqueness north while other fields remain valid.
Celestial sin projection: SIN center displacement is confused with the center direction cosine · case 01
The adapter reports an incorrect center offset while other fields remain valid.
Celestial sin projection: SIN center displacement is confused with the center direction cosine · case 02
The adapter reports an incorrect center offset while other fields remain valid.
Celestial sin projection: SIN center displacement is confused with the center direction cosine · case 03
The adapter reports an incorrect center offset while other fields remain valid.
Celestial sin projection: SIN center displacement is confused with the center direction cosine · case 04
The adapter reports an incorrect center offset while other fields remain valid.
Celestial sin projection: SIN center displacement is confused with the center direction cosine · case 05
The adapter reports an incorrect center offset while other fields remain valid.
Celestial stereographic projection: Stereographic longitude omits the defining factor of two or uses the opposite pole · case 01
The adapter reports an incorrect plane east while other fields remain valid.
Celestial stereographic projection: Stereographic longitude omits the defining factor of two or uses the opposite pole · case 02
The adapter reports an incorrect plane east while other fields remain valid.
Celestial stereographic projection: Stereographic longitude omits the defining factor of two or uses the opposite pole · case 03
The adapter reports an incorrect plane east while other fields remain valid.
Celestial stereographic projection: Stereographic longitude omits the defining factor of two or uses the opposite pole · case 04
The adapter reports an incorrect plane east while other fields remain valid.
Celestial stereographic projection: Stereographic longitude omits the defining factor of two or uses the opposite pole · case 05
The adapter reports an incorrect plane east while other fields remain valid.
Celestial stereographic projection: Stereographic latitude is computed using a tangent-plane denominator · case 01
The adapter reports an incorrect plane north while other fields remain valid.
Celestial stereographic projection: Stereographic latitude is computed using a tangent-plane denominator · case 02
The adapter reports an incorrect plane north while other fields remain valid.
Celestial stereographic projection: Stereographic latitude is computed using a tangent-plane denominator · case 03
The adapter reports an incorrect plane north while other fields remain valid.
Celestial stereographic projection: Stereographic latitude is computed using a tangent-plane denominator · case 04
The adapter reports an incorrect plane north while other fields remain valid.
Celestial stereographic projection: Stereographic latitude is computed using a tangent-plane denominator · case 05
The adapter reports an incorrect plane north while other fields remain valid.
Celestial stereographic projection: Stereographic domain is replaced by TAN front-hemisphere validity · case 01
The adapter reports an incorrect valid while other fields remain valid.
Celestial stereographic projection: Stereographic domain is replaced by TAN front-hemisphere validity · case 02
The adapter reports an incorrect valid while other fields remain valid.
Celestial stereographic projection: Stereographic domain is replaced by TAN front-hemisphere validity · case 03
The adapter reports an incorrect valid while other fields remain valid.
Celestial stereographic projection: Stereographic domain is replaced by TAN front-hemisphere validity · case 04
The adapter reports an incorrect valid while other fields remain valid.
Celestial stereographic projection: Stereographic domain is replaced by TAN front-hemisphere validity · case 05
The adapter reports an incorrect valid while other fields remain valid.
Celestial stereographic projection: Stereographic chart reference is inserted before nonlinear projection · case 01
The adapter reports an incorrect translated east while other fields remain valid.
Celestial stereographic projection: Stereographic chart reference is inserted before nonlinear projection · case 02
The adapter reports an incorrect translated east while other fields remain valid.
Celestial stereographic projection: Stereographic chart reference is inserted before nonlinear projection · case 03
The adapter reports an incorrect translated east while other fields remain valid.
Celestial stereographic projection: Stereographic chart reference is inserted before nonlinear projection · case 04
The adapter reports an incorrect translated east while other fields remain valid.
Celestial stereographic projection: Stereographic chart reference is inserted before nonlinear projection · case 05
The adapter reports an incorrect translated east while other fields remain valid.
Celestial stereographic projection: Stereographic north chart origin is taken from longitude metadata · case 01
The adapter reports an incorrect translated north while other fields remain valid.
Celestial stereographic projection: Stereographic north chart origin is taken from longitude metadata · case 02
The adapter reports an incorrect translated north while other fields remain valid.
Celestial stereographic projection: Stereographic north chart origin is taken from longitude metadata · case 03
The adapter reports an incorrect translated north while other fields remain valid.
Celestial stereographic projection: Stereographic north chart origin is taken from longitude metadata · case 04
The adapter reports an incorrect translated north while other fields remain valid.
Celestial stereographic projection: Stereographic north chart origin is taken from longitude metadata · case 05
The adapter reports an incorrect translated north while other fields remain valid.
Celestial stereographic projection: Stereographic scale metadata reports the inverse magnification · case 01
The adapter reports an incorrect radial scale while other fields remain valid.
Celestial stereographic projection: Stereographic scale metadata reports the inverse magnification · case 02
The adapter reports an incorrect radial scale while other fields remain valid.
Celestial stereographic projection: Stereographic scale metadata reports the inverse magnification · case 03
The adapter reports an incorrect radial scale while other fields remain valid.
Celestial stereographic projection: Stereographic scale metadata reports the inverse magnification · case 04
The adapter reports an incorrect radial scale while other fields remain valid.
Celestial stereographic projection: Stereographic scale metadata reports the inverse magnification · case 05
The adapter reports an incorrect radial scale while other fields remain valid.
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 ↗