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
Refraction coordinate status: Refraction is applied away from the zenith · case 01
The adapter reports an incorrect observed zenith while other fields remain valid.
Refraction coordinate status: Refraction is applied away from the zenith · case 02
The adapter reports an incorrect observed zenith while other fields remain valid.
Refraction coordinate status: Refraction is applied away from the zenith · case 03
The adapter reports an incorrect observed zenith while other fields remain valid.
Refraction coordinate status: Refraction is applied away from the zenith · case 04
The adapter reports an incorrect observed zenith while other fields remain valid.
Refraction coordinate status: Refraction is applied away from the zenith · case 05
The adapter reports an incorrect observed zenith while other fields remain valid.
Refraction coordinate status: Altitude adapter reuses the zenith-distance sign and complement · case 01
The adapter reports an incorrect observed altitude while other fields remain valid.
Refraction coordinate status: Altitude adapter reuses the zenith-distance sign and complement · case 02
The adapter reports an incorrect observed altitude while other fields remain valid.
Refraction coordinate status: Altitude adapter reuses the zenith-distance sign and complement · case 03
The adapter reports an incorrect observed altitude while other fields remain valid.
Refraction coordinate status: Altitude adapter reuses the zenith-distance sign and complement · case 04
The adapter reports an incorrect observed altitude while other fields remain valid.
Refraction coordinate status: Altitude adapter reuses the zenith-distance sign and complement · case 05
The adapter reports an incorrect observed altitude while other fields remain valid.
Refraction coordinate status: Reference-pressure refraction scaling inverts the pressure ratio · case 01
The adapter reports an incorrect pressure displacement while other fields remain valid.
Refraction coordinate status: Reference-pressure refraction scaling inverts the pressure ratio · case 02
The adapter reports an incorrect pressure displacement while other fields remain valid.
Refraction coordinate status: Reference-pressure refraction scaling inverts the pressure ratio · case 03
The adapter reports an incorrect pressure displacement while other fields remain valid.
Refraction coordinate status: Reference-pressure refraction scaling inverts the pressure ratio · case 04
The adapter reports an incorrect pressure displacement while other fields remain valid.
Refraction coordinate status: Reference-pressure refraction scaling inverts the pressure ratio · case 05
The adapter reports an incorrect pressure displacement while other fields remain valid.
Refraction coordinate status: An already refracted coordinate receives a duplicate atmospheric displacement · case 01
The adapter reports an incorrect apply once while other fields remain valid.
Refraction coordinate status: An already refracted coordinate receives a duplicate atmospheric displacement · case 02
The adapter reports an incorrect apply once while other fields remain valid.
Refraction coordinate status: An already refracted coordinate receives a duplicate atmospheric displacement · case 03
The adapter reports an incorrect apply once while other fields remain valid.
Refraction coordinate status: An already refracted coordinate receives a duplicate atmospheric displacement · case 04
The adapter reports an incorrect apply once while other fields remain valid.
Refraction coordinate status: An already refracted coordinate receives a duplicate atmospheric displacement · case 05
The adapter reports an incorrect apply once while other fields remain valid.
Refraction coordinate status: Inverse atmospheric coordinate adapter repeats forward refraction · case 01
The adapter reports an incorrect true zenith from observed while other fields remain valid.
Refraction coordinate status: Inverse atmospheric coordinate adapter repeats forward refraction · case 02
The adapter reports an incorrect true zenith from observed while other fields remain valid.
Refraction coordinate status: Inverse atmospheric coordinate adapter repeats forward refraction · case 03
The adapter reports an incorrect true zenith from observed while other fields remain valid.
Refraction coordinate status: Inverse atmospheric coordinate adapter repeats forward refraction · case 04
The adapter reports an incorrect true zenith from observed while other fields remain valid.
Refraction coordinate status: Inverse atmospheric coordinate adapter repeats forward refraction · case 05
The adapter reports an incorrect true zenith from observed while other fields remain valid.
Refraction coordinate status: Vacuum-coordinate export removes refraction from unrefracted inputs · case 01
The adapter reports an incorrect vacuum requested while other fields remain valid.
Refraction coordinate status: Vacuum-coordinate export removes refraction from unrefracted inputs · case 02
The adapter reports an incorrect vacuum requested while other fields remain valid.
Refraction coordinate status: Vacuum-coordinate export removes refraction from unrefracted inputs · case 03
The adapter reports an incorrect vacuum requested while other fields remain valid.
Refraction coordinate status: Vacuum-coordinate export removes refraction from unrefracted inputs · case 04
The adapter reports an incorrect vacuum requested while other fields remain valid.
Refraction coordinate status: Vacuum-coordinate export removes refraction from unrefracted inputs · case 05
The adapter reports an incorrect vacuum requested while other fields remain valid.
Aberration correction provenance: Geocentric apparent place incorrectly includes site-dependent diurnal aberration · case 01
The adapter reports an incorrect geocentric apparent while other fields remain valid.
Aberration correction provenance: Geocentric apparent place incorrectly includes site-dependent diurnal aberration · case 02
The adapter reports an incorrect geocentric apparent while other fields remain valid.
Aberration correction provenance: Geocentric apparent place incorrectly includes site-dependent diurnal aberration · case 03
The adapter reports an incorrect geocentric apparent while other fields remain valid.
Aberration correction provenance: Geocentric apparent place incorrectly includes site-dependent diurnal aberration · case 04
The adapter reports an incorrect geocentric apparent while other fields remain valid.
Aberration correction provenance: Geocentric apparent place incorrectly includes site-dependent diurnal aberration · case 05
The adapter reports an incorrect geocentric apparent while other fields remain valid.
Aberration correction provenance: Topocentric apparent place omits one supplied physical correction · case 01
The adapter reports an incorrect topocentric apparent while other fields remain valid.
Aberration correction provenance: Topocentric apparent place omits one supplied physical correction · case 02
The adapter reports an incorrect topocentric apparent while other fields remain valid.
Aberration correction provenance: Topocentric apparent place omits one supplied physical correction · case 03
The adapter reports an incorrect topocentric apparent while other fields remain valid.
Aberration correction provenance: Topocentric apparent place omits one supplied physical correction · case 04
The adapter reports an incorrect topocentric apparent while other fields remain valid.
Aberration correction provenance: Topocentric apparent place omits one supplied physical correction · case 05
The adapter reports an incorrect topocentric apparent while other fields remain valid.
Aberration correction provenance: Annual aberration idempotence reads the diurnal-correction provenance bit · case 01
The adapter reports an incorrect annual only once while other fields remain valid.
Aberration correction provenance: Annual aberration idempotence reads the diurnal-correction provenance bit · case 02
The adapter reports an incorrect annual only once while other fields remain valid.
Aberration correction provenance: Annual aberration idempotence reads the diurnal-correction provenance bit · case 03
The adapter reports an incorrect annual only once while other fields remain valid.
Aberration correction provenance: Annual aberration idempotence reads the diurnal-correction provenance bit · case 04
The adapter reports an incorrect annual only once while other fields remain valid.
Aberration correction provenance: Annual aberration idempotence reads the diurnal-correction provenance bit · case 05
The adapter reports an incorrect annual only once while other fields remain valid.
Aberration correction provenance: Diurnal aberration is skipped merely because annual aberration was applied · case 01
The adapter reports an incorrect diurnal only once while other fields remain valid.
Aberration correction provenance: Diurnal aberration is skipped merely because annual aberration was applied · case 02
The adapter reports an incorrect diurnal only once while other fields remain valid.
Aberration correction provenance: Diurnal aberration is skipped merely because annual aberration was applied · case 03
The adapter reports an incorrect diurnal only once while other fields remain valid.
Aberration correction provenance: Diurnal aberration is skipped merely because annual aberration was applied · case 04
The adapter reports an incorrect diurnal only once while other fields remain valid.
Aberration correction provenance: Diurnal aberration is skipped merely because annual aberration was applied · case 05
The adapter reports an incorrect diurnal only once while other fields remain valid.
Aberration correction provenance: Inverse geocentric apparent-place conversion removes a site correction never included · case 01
The adapter reports an incorrect catalog from geocentric while other fields remain valid.
Aberration correction provenance: Inverse geocentric apparent-place conversion removes a site correction never included · case 02
The adapter reports an incorrect catalog from geocentric while other fields remain valid.
Aberration correction provenance: Inverse geocentric apparent-place conversion removes a site correction never included · case 03
The adapter reports an incorrect catalog from geocentric while other fields remain valid.
Aberration correction provenance: Inverse geocentric apparent-place conversion removes a site correction never included · case 04
The adapter reports an incorrect catalog from geocentric while other fields remain valid.
Aberration correction provenance: Inverse geocentric apparent-place conversion removes a site correction never included · case 05
The adapter reports an incorrect catalog from geocentric while other fields remain valid.
Aberration correction provenance: Topocentric-to-geocentric conversion also strips annual aberration · case 01
The adapter reports an incorrect geocentric from topocentric while other fields remain valid.
Aberration correction provenance: Topocentric-to-geocentric conversion also strips annual aberration · case 02
The adapter reports an incorrect geocentric from topocentric while other fields remain valid.
Aberration correction provenance: Topocentric-to-geocentric conversion also strips annual aberration · case 03
The adapter reports an incorrect geocentric from topocentric while other fields remain valid.
Aberration correction provenance: Topocentric-to-geocentric conversion also strips annual aberration · case 04
The adapter reports an incorrect geocentric from topocentric while other fields remain valid.
Aberration correction provenance: Topocentric-to-geocentric conversion also strips annual aberration · case 05
The adapter reports an incorrect geocentric from topocentric while other fields remain valid.
Spectral reciprocal density: Wavelength-to-frequency conversion applies the reciprocal in the wrong direction · case 01
The adapter reports an incorrect frequency while other fields remain valid.
Spectral reciprocal density: Wavelength-to-frequency conversion applies the reciprocal in the wrong direction · case 02
The adapter reports an incorrect frequency while other fields remain valid.
Spectral reciprocal density: Wavelength-to-frequency conversion applies the reciprocal in the wrong direction · case 03
The adapter reports an incorrect frequency while other fields remain valid.
Spectral reciprocal density: Wavelength-to-frequency conversion applies the reciprocal in the wrong direction · case 04
The adapter reports an incorrect frequency while other fields remain valid.
Spectral reciprocal density: Wavelength-to-frequency conversion applies the reciprocal in the wrong direction · case 05
The adapter reports an incorrect frequency while other fields remain valid.
Spectral reciprocal density: Reciprocal spectral coordinates retain wavelength edge ordering · case 01
The adapter reports an incorrect frequency edges while other fields remain valid.
Spectral reciprocal density: Reciprocal spectral coordinates retain wavelength edge ordering · case 02
The adapter reports an incorrect frequency edges while other fields remain valid.
Spectral reciprocal density: Reciprocal spectral coordinates retain wavelength edge ordering · case 03
The adapter reports an incorrect frequency edges while other fields remain valid.
Spectral reciprocal density: Reciprocal spectral coordinates retain wavelength edge ordering · case 04
The adapter reports an incorrect frequency edges while other fields remain valid.
Spectral reciprocal density: Reciprocal spectral coordinates retain wavelength edge ordering · case 05
The adapter reports an incorrect frequency edges while other fields remain valid.
Spectral reciprocal density: Wavelength density transforms with the inverse spectral Jacobian · case 01
The adapter reports an incorrect frequency density while other fields remain valid.
Spectral reciprocal density: Wavelength density transforms with the inverse spectral Jacobian · case 02
The adapter reports an incorrect frequency density while other fields remain valid.
Spectral reciprocal density: Wavelength density transforms with the inverse spectral Jacobian · case 03
The adapter reports an incorrect frequency density while other fields remain valid.
Spectral reciprocal density: Wavelength density transforms with the inverse spectral Jacobian · case 04
The adapter reports an incorrect frequency density while other fields remain valid.
Spectral reciprocal density: Wavelength density transforms with the inverse spectral Jacobian · case 05
The adapter reports an incorrect frequency density while other fields remain valid.
Spectral reciprocal density: Finite reciprocal bandwidth is approximated by reciprocal wavelength width · case 01
The adapter reports an incorrect frequency bandwidth while other fields remain valid.
Spectral reciprocal density: Finite reciprocal bandwidth is approximated by reciprocal wavelength width · case 02
The adapter reports an incorrect frequency bandwidth while other fields remain valid.
Spectral reciprocal density: Finite reciprocal bandwidth is approximated by reciprocal wavelength width · case 03
The adapter reports an incorrect frequency bandwidth while other fields remain valid.
Spectral reciprocal density: Finite reciprocal bandwidth is approximated by reciprocal wavelength width · case 04
The adapter reports an incorrect frequency bandwidth while other fields remain valid.
Spectral reciprocal density: Finite reciprocal bandwidth is approximated by reciprocal wavelength width · case 05
The adapter reports an incorrect frequency bandwidth while other fields remain valid.
Spectral reciprocal density: Local frequency increment loses its decreasing-wavelength orientation · case 01
The adapter reports an incorrect local frequency step while other fields remain valid.
Spectral reciprocal density: Local frequency increment loses its decreasing-wavelength orientation · case 02
The adapter reports an incorrect local frequency step while other fields remain valid.
Spectral reciprocal density: Local frequency increment loses its decreasing-wavelength orientation · case 03
The adapter reports an incorrect local frequency step while other fields remain valid.
Spectral reciprocal density: Local frequency increment loses its decreasing-wavelength orientation · case 04
The adapter reports an incorrect local frequency step while other fields remain valid.
Spectral reciprocal density: Local frequency increment loses its decreasing-wavelength orientation · case 05
The adapter reports an incorrect local frequency step while other fields remain valid.
Spectral reciprocal density: Spectral bin integration mixes a frequency density with a wavelength width · case 01
The adapter reports an incorrect bin energy proxy while other fields remain valid.
Spectral reciprocal density: Spectral bin integration mixes a frequency density with a wavelength width · case 02
The adapter reports an incorrect bin energy proxy while other fields remain valid.
Spectral reciprocal density: Spectral bin integration mixes a frequency density with a wavelength width · case 03
The adapter reports an incorrect bin energy proxy while other fields remain valid.
Spectral reciprocal density: Spectral bin integration mixes a frequency density with a wavelength width · case 04
The adapter reports an incorrect bin energy proxy while other fields remain valid.
Spectral reciprocal density: Spectral bin integration mixes a frequency density with a wavelength width · case 05
The adapter reports an incorrect bin energy proxy while other fields remain valid.
Logarithmic spectral index: Logarithmic wavelength axes are evaluated with linear dispersion semantics · case 01
The adapter reports an incorrect wavelength while other fields remain valid.
Logarithmic spectral index: Logarithmic wavelength axes are evaluated with linear dispersion semantics · case 02
The adapter reports an incorrect wavelength while other fields remain valid.
Logarithmic spectral index: Logarithmic wavelength axes are evaluated with linear dispersion semantics · case 03
The adapter reports an incorrect wavelength while other fields remain valid.
Logarithmic spectral index: Logarithmic wavelength axes are evaluated with linear dispersion semantics · case 04
The adapter reports an incorrect wavelength while other fields remain valid.
Logarithmic spectral index: Logarithmic wavelength axes are evaluated with linear dispersion semantics · case 05
The adapter reports an incorrect wavelength while other fields remain valid.
Logarithmic spectral index: Next logarithmic spectral channel adds instead of multiplying · case 01
The adapter reports an incorrect next wavelength while other fields remain valid.
Logarithmic spectral index: Next logarithmic spectral channel adds instead of multiplying · case 02
The adapter reports an incorrect next wavelength while other fields remain valid.
Logarithmic spectral index: Next logarithmic spectral channel adds instead of multiplying · case 03
The adapter reports an incorrect next wavelength while other fields remain valid.
Logarithmic spectral index: Next logarithmic spectral channel adds instead of multiplying · case 04
The adapter reports an incorrect next wavelength while other fields remain valid.
Logarithmic spectral index: Next logarithmic spectral channel adds instead of multiplying · case 05
The adapter reports an incorrect next wavelength 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 ↗