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
Spectrograph grating coordinate: Grating wavelength derivative substitutes sine for supplied diffraction cosine · case 01
The adapter reports an incorrect angular dispersion while other fields remain valid.
Spectrograph grating coordinate: Grating wavelength derivative substitutes sine for supplied diffraction cosine · case 02
The adapter reports an incorrect angular dispersion while other fields remain valid.
Spectrograph grating coordinate: Grating wavelength derivative substitutes sine for supplied diffraction cosine · case 03
The adapter reports an incorrect angular dispersion while other fields remain valid.
Spectrograph grating coordinate: Grating wavelength derivative substitutes sine for supplied diffraction cosine · case 04
The adapter reports an incorrect angular dispersion while other fields remain valid.
Spectrograph grating coordinate: Grating wavelength derivative substitutes sine for supplied diffraction cosine · case 05
The adapter reports an incorrect angular dispersion while other fields remain valid.
Spectrograph grating coordinate: Detector wavelength dispersion multiplies focal length instead of dividing · case 01
The adapter reports an incorrect linear dispersion while other fields remain valid.
Spectrograph grating coordinate: Detector wavelength dispersion multiplies focal length instead of dividing · case 02
The adapter reports an incorrect linear dispersion while other fields remain valid.
Spectrograph grating coordinate: Detector wavelength dispersion multiplies focal length instead of dividing · case 03
The adapter reports an incorrect linear dispersion while other fields remain valid.
Spectrograph grating coordinate: Detector wavelength dispersion multiplies focal length instead of dividing · case 04
The adapter reports an incorrect linear dispersion while other fields remain valid.
Spectrograph grating coordinate: Detector wavelength dispersion multiplies focal length instead of dividing · case 05
The adapter reports an incorrect linear dispersion while other fields remain valid.
Spectrograph grating coordinate: Inverse grating coordinate fails to remove the incident-angle contribution · case 01
The adapter reports an incorrect inferred diffraction sine while other fields remain valid.
Spectrograph grating coordinate: Inverse grating coordinate fails to remove the incident-angle contribution · case 02
The adapter reports an incorrect inferred diffraction sine while other fields remain valid.
Spectrograph grating coordinate: Inverse grating coordinate fails to remove the incident-angle contribution · case 03
The adapter reports an incorrect inferred diffraction sine while other fields remain valid.
Spectrograph grating coordinate: Inverse grating coordinate fails to remove the incident-angle contribution · case 04
The adapter reports an incorrect inferred diffraction sine while other fields remain valid.
Spectrograph grating coordinate: Inverse grating coordinate fails to remove the incident-angle contribution · case 05
The adapter reports an incorrect inferred diffraction sine while other fields remain valid.
Spectrograph grating coordinate: Neighboring spectral order is offset in wavelength rather than in interference order · case 01
The adapter reports an incorrect next order wavelength while other fields remain valid.
Spectrograph grating coordinate: Neighboring spectral order is offset in wavelength rather than in interference order · case 02
The adapter reports an incorrect next order wavelength while other fields remain valid.
Spectrograph grating coordinate: Neighboring spectral order is offset in wavelength rather than in interference order · case 03
The adapter reports an incorrect next order wavelength while other fields remain valid.
Spectrograph grating coordinate: Neighboring spectral order is offset in wavelength rather than in interference order · case 04
The adapter reports an incorrect next order wavelength while other fields remain valid.
Spectrograph grating coordinate: Neighboring spectral order is offset in wavelength rather than in interference order · case 05
The adapter reports an incorrect next order wavelength while other fields remain valid.
Occultation shadow coordinate: Occultation shadow crossing uses inverse relative motion or loses its epoch anchor · case 01
The adapter reports an incorrect crossing epoch while other fields remain valid.
Occultation shadow coordinate: Occultation shadow crossing uses inverse relative motion or loses its epoch anchor · case 02
The adapter reports an incorrect crossing epoch while other fields remain valid.
Occultation shadow coordinate: Occultation shadow crossing uses inverse relative motion or loses its epoch anchor · case 03
The adapter reports an incorrect crossing epoch while other fields remain valid.
Occultation shadow coordinate: Occultation shadow crossing uses inverse relative motion or loses its epoch anchor · case 04
The adapter reports an incorrect crossing epoch while other fields remain valid.
Occultation shadow coordinate: Occultation shadow crossing uses inverse relative motion or loses its epoch anchor · case 05
The adapter reports an incorrect crossing epoch while other fields remain valid.
Occultation shadow coordinate: Shadow ephemeris is propagated using absolute timestamp rather than epoch difference · case 01
The adapter reports an incorrect shadow center while other fields remain valid.
Occultation shadow coordinate: Shadow ephemeris is propagated using absolute timestamp rather than epoch difference · case 02
The adapter reports an incorrect shadow center while other fields remain valid.
Occultation shadow coordinate: Shadow ephemeris is propagated using absolute timestamp rather than epoch difference · case 03
The adapter reports an incorrect shadow center while other fields remain valid.
Occultation shadow coordinate: Shadow ephemeris is propagated using absolute timestamp rather than epoch difference · case 04
The adapter reports an incorrect shadow center while other fields remain valid.
Occultation shadow coordinate: Shadow ephemeris is propagated using absolute timestamp rather than epoch difference · case 05
The adapter reports an incorrect shadow center while other fields remain valid.
Occultation shadow coordinate: Star-to-shadow coordinate reverses the moving shadow subtraction · case 01
The adapter reports an incorrect relative star while other fields remain valid.
Occultation shadow coordinate: Star-to-shadow coordinate reverses the moving shadow subtraction · case 02
The adapter reports an incorrect relative star while other fields remain valid.
Occultation shadow coordinate: Star-to-shadow coordinate reverses the moving shadow subtraction · case 03
The adapter reports an incorrect relative star while other fields remain valid.
Occultation shadow coordinate: Star-to-shadow coordinate reverses the moving shadow subtraction · case 04
The adapter reports an incorrect relative star while other fields remain valid.
Occultation shadow coordinate: Star-to-shadow coordinate reverses the moving shadow subtraction · case 05
The adapter reports an incorrect relative star while other fields remain valid.
Occultation shadow coordinate: Ingress time depends on shadow direction instead of chronological ordering · case 01
The adapter reports an incorrect first contact while other fields remain valid.
Occultation shadow coordinate: Ingress time depends on shadow direction instead of chronological ordering · case 02
The adapter reports an incorrect first contact while other fields remain valid.
Occultation shadow coordinate: Ingress time depends on shadow direction instead of chronological ordering · case 03
The adapter reports an incorrect first contact while other fields remain valid.
Occultation shadow coordinate: Ingress time depends on shadow direction instead of chronological ordering · case 04
The adapter reports an incorrect first contact while other fields remain valid.
Occultation shadow coordinate: Ingress time depends on shadow direction instead of chronological ordering · case 05
The adapter reports an incorrect first contact while other fields remain valid.
Occultation shadow coordinate: Egress time confuses chord half-length with diameter · case 01
The adapter reports an incorrect last contact while other fields remain valid.
Occultation shadow coordinate: Egress time confuses chord half-length with diameter · case 02
The adapter reports an incorrect last contact while other fields remain valid.
Occultation shadow coordinate: Egress time confuses chord half-length with diameter · case 03
The adapter reports an incorrect last contact while other fields remain valid.
Occultation shadow coordinate: Egress time confuses chord half-length with diameter · case 04
The adapter reports an incorrect last contact while other fields remain valid.
Occultation shadow coordinate: Egress time confuses chord half-length with diameter · case 05
The adapter reports an incorrect last contact while other fields remain valid.
Occultation shadow coordinate: Occultation duration preserves velocity sign or reports half a chord crossing · case 01
The adapter reports an incorrect duration while other fields remain valid.
Occultation shadow coordinate: Occultation duration preserves velocity sign or reports half a chord crossing · case 02
The adapter reports an incorrect duration while other fields remain valid.
Occultation shadow coordinate: Occultation duration preserves velocity sign or reports half a chord crossing · case 03
The adapter reports an incorrect duration while other fields remain valid.
Occultation shadow coordinate: Occultation duration preserves velocity sign or reports half a chord crossing · case 04
The adapter reports an incorrect duration while other fields remain valid.
Occultation shadow coordinate: Occultation duration preserves velocity sign or reports half a chord crossing · case 05
The adapter reports an incorrect duration while other fields remain valid.
Wcs cube storage order: FITS pixel labels are passed as NumPy cube indices without axis and origin conversion · case 01
The adapter reports an incorrect array index while other fields remain valid.
Wcs cube storage order: FITS pixel labels are passed as NumPy cube indices without axis and origin conversion · case 02
The adapter reports an incorrect array index while other fields remain valid.
Wcs cube storage order: FITS pixel labels are passed as NumPy cube indices without axis and origin conversion · case 03
The adapter reports an incorrect array index while other fields remain valid.
Wcs cube storage order: FITS pixel labels are passed as NumPy cube indices without axis and origin conversion · case 04
The adapter reports an incorrect array index while other fields remain valid.
Wcs cube storage order: FITS pixel labels are passed as NumPy cube indices without axis and origin conversion · case 05
The adapter reports an incorrect array index while other fields remain valid.
Wcs cube storage order: FITS axis lengths are exported in storage order or as maximum zero-based indices · case 01
The adapter reports an incorrect fits shape while other fields remain valid.
Wcs cube storage order: FITS axis lengths are exported in storage order or as maximum zero-based indices · case 02
The adapter reports an incorrect fits shape while other fields remain valid.
Wcs cube storage order: FITS axis lengths are exported in storage order or as maximum zero-based indices · case 03
The adapter reports an incorrect fits shape while other fields remain valid.
Wcs cube storage order: FITS axis lengths are exported in storage order or as maximum zero-based indices · case 04
The adapter reports an incorrect fits shape while other fields remain valid.
Wcs cube storage order: FITS axis lengths are exported in storage order or as maximum zero-based indices · case 05
The adapter reports an incorrect fits shape while other fields remain valid.
Wcs cube storage order: WCS reference pixel tuple uses a different axis convention from the stored cube · case 01
The adapter reports an incorrect storage reference while other fields remain valid.
Wcs cube storage order: WCS reference pixel tuple uses a different axis convention from the stored cube · case 02
The adapter reports an incorrect storage reference while other fields remain valid.
Wcs cube storage order: WCS reference pixel tuple uses a different axis convention from the stored cube · case 03
The adapter reports an incorrect storage reference while other fields remain valid.
Wcs cube storage order: WCS reference pixel tuple uses a different axis convention from the stored cube · case 04
The adapter reports an incorrect storage reference while other fields remain valid.
Wcs cube storage order: WCS reference pixel tuple uses a different axis convention from the stored cube · case 05
The adapter reports an incorrect storage reference while other fields remain valid.
Wcs cube storage order: Storage-axis WCS adaptation permutes world rows instead of only CD input columns · case 01
The adapter reports an incorrect storage cd while other fields remain valid.
Wcs cube storage order: Storage-axis WCS adaptation permutes world rows instead of only CD input columns · case 02
The adapter reports an incorrect storage cd while other fields remain valid.
Wcs cube storage order: Storage-axis WCS adaptation permutes world rows instead of only CD input columns · case 03
The adapter reports an incorrect storage cd while other fields remain valid.
Wcs cube storage order: Storage-axis WCS adaptation permutes world rows instead of only CD input columns · case 04
The adapter reports an incorrect storage cd while other fields remain valid.
Wcs cube storage order: Storage-axis WCS adaptation permutes world rows instead of only CD input columns · case 05
The adapter reports an incorrect storage cd while other fields remain valid.
Wcs cube storage order: Pixel storage permutation incorrectly reorders the unchanged WCS world-axis labels · case 01
The adapter reports an incorrect world axis types while other fields remain valid.
Wcs cube storage order: Pixel storage permutation incorrectly reorders the unchanged WCS world-axis labels · case 02
The adapter reports an incorrect world axis types while other fields remain valid.
Wcs cube storage order: Pixel storage permutation incorrectly reorders the unchanged WCS world-axis labels · case 03
The adapter reports an incorrect world axis types while other fields remain valid.
Wcs cube storage order: Pixel storage permutation incorrectly reorders the unchanged WCS world-axis labels · case 04
The adapter reports an incorrect world axis types while other fields remain valid.
Wcs cube storage order: Pixel storage permutation incorrectly reorders the unchanged WCS world-axis labels · case 05
The adapter reports an incorrect world axis types while other fields remain valid.
Wcs cube storage order: WCS pixel displacement subtracts references after swapping only the input axes · case 01
The adapter reports an incorrect world delta while other fields remain valid.
Wcs cube storage order: WCS pixel displacement subtracts references after swapping only the input axes · case 02
The adapter reports an incorrect world delta while other fields remain valid.
Wcs cube storage order: WCS pixel displacement subtracts references after swapping only the input axes · case 03
The adapter reports an incorrect world delta while other fields remain valid.
Wcs cube storage order: WCS pixel displacement subtracts references after swapping only the input axes · case 04
The adapter reports an incorrect world delta while other fields remain valid.
Wcs cube storage order: WCS pixel displacement subtracts references after swapping only the input axes · case 05
The adapter reports an incorrect world delta while other fields remain valid.
Spectral reference frame chain: LSR spectral coordinate skips the supplied barycentric intermediate shift · case 01
The adapter reports an incorrect lsr frequency while other fields remain valid.
Spectral reference frame chain: LSR spectral coordinate skips the supplied barycentric intermediate shift · case 02
The adapter reports an incorrect lsr frequency while other fields remain valid.
Spectral reference frame chain: LSR spectral coordinate skips the supplied barycentric intermediate shift · case 03
The adapter reports an incorrect lsr frequency while other fields remain valid.
Spectral reference frame chain: LSR spectral coordinate skips the supplied barycentric intermediate shift · case 04
The adapter reports an incorrect lsr frequency while other fields remain valid.
Spectral reference frame chain: LSR spectral coordinate skips the supplied barycentric intermediate shift · case 05
The adapter reports an incorrect lsr frequency while other fields remain valid.
Spectral reference frame chain: Topocentric-to-geocentric spectral mapping subtracts the wrong origin shift · case 01
The adapter reports an incorrect geocentric frequency while other fields remain valid.
Spectral reference frame chain: Topocentric-to-geocentric spectral mapping subtracts the wrong origin shift · case 02
The adapter reports an incorrect geocentric frequency while other fields remain valid.
Spectral reference frame chain: Topocentric-to-geocentric spectral mapping subtracts the wrong origin shift · case 03
The adapter reports an incorrect geocentric frequency while other fields remain valid.
Spectral reference frame chain: Topocentric-to-geocentric spectral mapping subtracts the wrong origin shift · case 04
The adapter reports an incorrect geocentric frequency while other fields remain valid.
Spectral reference frame chain: Topocentric-to-geocentric spectral mapping subtracts the wrong origin shift · case 05
The adapter reports an incorrect geocentric frequency while other fields remain valid.
Spectral reference frame chain: Barycentric frequency correction provenance is confused with LSR status · case 01
The adapter reports an incorrect apply barycentric while other fields remain valid.
Spectral reference frame chain: Barycentric frequency correction provenance is confused with LSR status · case 02
The adapter reports an incorrect apply barycentric while other fields remain valid.
Spectral reference frame chain: Barycentric frequency correction provenance is confused with LSR status · case 03
The adapter reports an incorrect apply barycentric while other fields remain valid.
Spectral reference frame chain: Barycentric frequency correction provenance is confused with LSR status · case 04
The adapter reports an incorrect apply barycentric while other fields remain valid.
Spectral reference frame chain: Barycentric frequency correction provenance is confused with LSR status · case 05
The adapter reports an incorrect apply barycentric while other fields remain valid.
Spectral reference frame chain: LSR spectral shift is skipped after an independent barycentric correction · case 01
The adapter reports an incorrect apply lsr while other fields remain valid.
Spectral reference frame chain: LSR spectral shift is skipped after an independent barycentric correction · case 02
The adapter reports an incorrect apply lsr while other fields remain valid.
Spectral reference frame chain: LSR spectral shift is skipped after an independent barycentric correction · case 03
The adapter reports an incorrect apply lsr while other fields remain valid.
Spectral reference frame chain: LSR spectral shift is skipped after an independent barycentric correction · case 04
The adapter reports an incorrect apply lsr while other fields remain valid.
Spectral reference frame chain: LSR spectral shift is skipped after an independent barycentric correction · case 05
The adapter reports an incorrect apply lsr 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 ↗