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
Logarithmic spectral index: Redshift on a log-wavelength grid is applied as pixel scaling · case 01
The adapter reports an incorrect redshifted pixel while other fields remain valid.
Logarithmic spectral index: Redshift on a log-wavelength grid is applied as pixel scaling · case 02
The adapter reports an incorrect redshifted pixel while other fields remain valid.
Logarithmic spectral index: Redshift on a log-wavelength grid is applied as pixel scaling · case 03
The adapter reports an incorrect redshifted pixel while other fields remain valid.
Logarithmic spectral index: Redshift on a log-wavelength grid is applied as pixel scaling · case 04
The adapter reports an incorrect redshifted pixel while other fields remain valid.
Logarithmic spectral index: Redshift on a log-wavelength grid is applied as pixel scaling · case 05
The adapter reports an incorrect redshifted pixel while other fields remain valid.
Logarithmic spectral index: Rest-frame logarithmic pixel mapping uses the observed-frame shift direction · case 01
The adapter reports an incorrect rest pixel while other fields remain valid.
Logarithmic spectral index: Rest-frame logarithmic pixel mapping uses the observed-frame shift direction · case 02
The adapter reports an incorrect rest pixel while other fields remain valid.
Logarithmic spectral index: Rest-frame logarithmic pixel mapping uses the observed-frame shift direction · case 03
The adapter reports an incorrect rest pixel while other fields remain valid.
Logarithmic spectral index: Rest-frame logarithmic pixel mapping uses the observed-frame shift direction · case 04
The adapter reports an incorrect rest pixel while other fields remain valid.
Logarithmic spectral index: Rest-frame logarithmic pixel mapping uses the observed-frame shift direction · case 05
The adapter reports an incorrect rest pixel while other fields remain valid.
Logarithmic spectral index: Spectral log-grid decimation preserves the old adjacent-channel ratio · case 01
The adapter reports an incorrect coarse ratio while other fields remain valid.
Logarithmic spectral index: Spectral log-grid decimation preserves the old adjacent-channel ratio · case 02
The adapter reports an incorrect coarse ratio while other fields remain valid.
Logarithmic spectral index: Spectral log-grid decimation preserves the old adjacent-channel ratio · case 03
The adapter reports an incorrect coarse ratio while other fields remain valid.
Logarithmic spectral index: Spectral log-grid decimation preserves the old adjacent-channel ratio · case 04
The adapter reports an incorrect coarse ratio while other fields remain valid.
Logarithmic spectral index: Spectral log-grid decimation preserves the old adjacent-channel ratio · case 05
The adapter reports an incorrect coarse ratio while other fields remain valid.
Logarithmic spectral index: Log-grid channel widths are treated as globally constant · case 01
The adapter reports an incorrect channel width while other fields remain valid.
Logarithmic spectral index: Log-grid channel widths are treated as globally constant · case 02
The adapter reports an incorrect channel width while other fields remain valid.
Logarithmic spectral index: Log-grid channel widths are treated as globally constant · case 03
The adapter reports an incorrect channel width while other fields remain valid.
Logarithmic spectral index: Log-grid channel widths are treated as globally constant · case 04
The adapter reports an incorrect channel width while other fields remain valid.
Logarithmic spectral index: Log-grid channel widths are treated as globally constant · case 05
The adapter reports an incorrect channel width while other fields remain valid.
Air vacuum line coordinate: Vacuum wavelength conversion divides by the supplied refractive index · case 01
The adapter reports an incorrect vacuum wavelength while other fields remain valid.
Air vacuum line coordinate: Vacuum wavelength conversion divides by the supplied refractive index · case 02
The adapter reports an incorrect vacuum wavelength while other fields remain valid.
Air vacuum line coordinate: Vacuum wavelength conversion divides by the supplied refractive index · case 03
The adapter reports an incorrect vacuum wavelength while other fields remain valid.
Air vacuum line coordinate: Vacuum wavelength conversion divides by the supplied refractive index · case 04
The adapter reports an incorrect vacuum wavelength while other fields remain valid.
Air vacuum line coordinate: Vacuum wavelength conversion divides by the supplied refractive index · case 05
The adapter reports an incorrect vacuum wavelength while other fields remain valid.
Air vacuum line coordinate: Inverse air-wavelength conversion repeats the vacuum mapping · case 01
The adapter reports an incorrect air wavelength while other fields remain valid.
Air vacuum line coordinate: Inverse air-wavelength conversion repeats the vacuum mapping · case 02
The adapter reports an incorrect air wavelength while other fields remain valid.
Air vacuum line coordinate: Inverse air-wavelength conversion repeats the vacuum mapping · case 03
The adapter reports an incorrect air wavelength while other fields remain valid.
Air vacuum line coordinate: Inverse air-wavelength conversion repeats the vacuum mapping · case 04
The adapter reports an incorrect air wavelength while other fields remain valid.
Air vacuum line coordinate: Inverse air-wavelength conversion repeats the vacuum mapping · case 05
The adapter reports an incorrect air wavelength while other fields remain valid.
Air vacuum line coordinate: Air spectral bin widths do not receive the wavelength coordinate Jacobian · case 01
The adapter reports an incorrect vacuum width while other fields remain valid.
Air vacuum line coordinate: Air spectral bin widths do not receive the wavelength coordinate Jacobian · case 02
The adapter reports an incorrect vacuum width while other fields remain valid.
Air vacuum line coordinate: Air spectral bin widths do not receive the wavelength coordinate Jacobian · case 03
The adapter reports an incorrect vacuum width while other fields remain valid.
Air vacuum line coordinate: Air spectral bin widths do not receive the wavelength coordinate Jacobian · case 04
The adapter reports an incorrect vacuum width while other fields remain valid.
Air vacuum line coordinate: Air spectral bin widths do not receive the wavelength coordinate Jacobian · case 05
The adapter reports an incorrect vacuum width while other fields remain valid.
Air vacuum line coordinate: Air-to-vacuum density conversion violates bin-integral preservation · case 01
The adapter reports an incorrect vacuum density while other fields remain valid.
Air vacuum line coordinate: Air-to-vacuum density conversion violates bin-integral preservation · case 02
The adapter reports an incorrect vacuum density while other fields remain valid.
Air vacuum line coordinate: Air-to-vacuum density conversion violates bin-integral preservation · case 03
The adapter reports an incorrect vacuum density while other fields remain valid.
Air vacuum line coordinate: Air-to-vacuum density conversion violates bin-integral preservation · case 04
The adapter reports an incorrect vacuum density while other fields remain valid.
Air vacuum line coordinate: Air-to-vacuum density conversion violates bin-integral preservation · case 05
The adapter reports an incorrect vacuum density while other fields remain valid.
Air vacuum line coordinate: Frequency is computed from air wavelength without refractive-index conversion · case 01
The adapter reports an incorrect vacuum frequency while other fields remain valid.
Air vacuum line coordinate: Frequency is computed from air wavelength without refractive-index conversion · case 02
The adapter reports an incorrect vacuum frequency while other fields remain valid.
Air vacuum line coordinate: Frequency is computed from air wavelength without refractive-index conversion · case 03
The adapter reports an incorrect vacuum frequency while other fields remain valid.
Air vacuum line coordinate: Frequency is computed from air wavelength without refractive-index conversion · case 04
The adapter reports an incorrect vacuum frequency while other fields remain valid.
Air vacuum line coordinate: Frequency is computed from air wavelength without refractive-index conversion · case 05
The adapter reports an incorrect vacuum frequency while other fields remain valid.
Air vacuum line coordinate: Air-vacuum displacement is confused with the complete vacuum wavelength · case 01
The adapter reports an incorrect line displacement while other fields remain valid.
Air vacuum line coordinate: Air-vacuum displacement is confused with the complete vacuum wavelength · case 02
The adapter reports an incorrect line displacement while other fields remain valid.
Air vacuum line coordinate: Air-vacuum displacement is confused with the complete vacuum wavelength · case 03
The adapter reports an incorrect line displacement while other fields remain valid.
Air vacuum line coordinate: Air-vacuum displacement is confused with the complete vacuum wavelength · case 04
The adapter reports an incorrect line displacement while other fields remain valid.
Air vacuum line coordinate: Air-vacuum displacement is confused with the complete vacuum wavelength · case 05
The adapter reports an incorrect line displacement while other fields remain valid.
Spectral channel edges: Channel coordinate indexing confuses zero-based spectral channel and width · case 01
The adapter reports an incorrect center while other fields remain valid.
Spectral channel edges: Channel coordinate indexing confuses zero-based spectral channel and width · case 02
The adapter reports an incorrect center while other fields remain valid.
Spectral channel edges: Channel coordinate indexing confuses zero-based spectral channel and width · case 03
The adapter reports an incorrect center while other fields remain valid.
Spectral channel edges: Channel coordinate indexing confuses zero-based spectral channel and width · case 04
The adapter reports an incorrect center while other fields remain valid.
Spectral channel edges: Channel coordinate indexing confuses zero-based spectral channel and width · case 05
The adapter reports an incorrect center while other fields remain valid.
Spectral channel edges: Spectral channel support substitutes spacing for full instrumental width · case 01
The adapter reports an incorrect edges while other fields remain valid.
Spectral channel edges: Spectral channel support substitutes spacing for full instrumental width · case 02
The adapter reports an incorrect edges while other fields remain valid.
Spectral channel edges: Spectral channel support substitutes spacing for full instrumental width · case 03
The adapter reports an incorrect edges while other fields remain valid.
Spectral channel edges: Spectral channel support substitutes spacing for full instrumental width · case 04
The adapter reports an incorrect edges while other fields remain valid.
Spectral channel edges: Spectral channel support substitutes spacing for full instrumental width · case 05
The adapter reports an incorrect edges while other fields remain valid.
Spectral channel edges: Channel averaging locates the output at the first input rather than its center · case 01
The adapter reports an incorrect averaged center while other fields remain valid.
Spectral channel edges: Channel averaging locates the output at the first input rather than its center · case 02
The adapter reports an incorrect averaged center while other fields remain valid.
Spectral channel edges: Channel averaging locates the output at the first input rather than its center · case 03
The adapter reports an incorrect averaged center while other fields remain valid.
Spectral channel edges: Channel averaging locates the output at the first input rather than its center · case 04
The adapter reports an incorrect averaged center while other fields remain valid.
Spectral channel edges: Channel averaging locates the output at the first input rather than its center · case 05
The adapter reports an incorrect averaged center while other fields remain valid.
Spectral channel edges: Averaged spectral channel step loses the original orientation · case 01
The adapter reports an incorrect averaged step while other fields remain valid.
Spectral channel edges: Averaged spectral channel step loses the original orientation · case 02
The adapter reports an incorrect averaged step while other fields remain valid.
Spectral channel edges: Averaged spectral channel step loses the original orientation · case 03
The adapter reports an incorrect averaged step while other fields remain valid.
Spectral channel edges: Averaged spectral channel step loses the original orientation · case 04
The adapter reports an incorrect averaged step while other fields remain valid.
Spectral channel edges: Averaged spectral channel step loses the original orientation · case 05
The adapter reports an incorrect averaged step while other fields remain valid.
Spectral channel edges: Spectral-window midpoint includes a nonexistent terminal channel · case 01
The adapter reports an incorrect window center while other fields remain valid.
Spectral channel edges: Spectral-window midpoint includes a nonexistent terminal channel · case 02
The adapter reports an incorrect window center while other fields remain valid.
Spectral channel edges: Spectral-window midpoint includes a nonexistent terminal channel · case 03
The adapter reports an incorrect window center while other fields remain valid.
Spectral channel edges: Spectral-window midpoint includes a nonexistent terminal channel · case 04
The adapter reports an incorrect window center while other fields remain valid.
Spectral channel edges: Spectral-window midpoint includes a nonexistent terminal channel · case 05
The adapter reports an incorrect window center while other fields remain valid.
Spectral channel edges: Spectral window extent excludes the outer half-channel supports · case 01
The adapter reports an incorrect window extent while other fields remain valid.
Spectral channel edges: Spectral window extent excludes the outer half-channel supports · case 02
The adapter reports an incorrect window extent while other fields remain valid.
Spectral channel edges: Spectral window extent excludes the outer half-channel supports · case 03
The adapter reports an incorrect window extent while other fields remain valid.
Spectral channel edges: Spectral window extent excludes the outer half-channel supports · case 04
The adapter reports an incorrect window extent while other fields remain valid.
Spectral channel edges: Spectral window extent excludes the outer half-channel supports · case 05
The adapter reports an incorrect window extent while other fields remain valid.
Exposure time coordinate: Exposure reference fraction is ignored in favor of midpoint convention · case 01
The adapter reports an incorrect reference time while other fields remain valid.
Exposure time coordinate: Exposure reference fraction is ignored in favor of midpoint convention · case 02
The adapter reports an incorrect reference time while other fields remain valid.
Exposure time coordinate: Exposure reference fraction is ignored in favor of midpoint convention · case 03
The adapter reports an incorrect reference time while other fields remain valid.
Exposure time coordinate: Exposure reference fraction is ignored in favor of midpoint convention · case 04
The adapter reports an incorrect reference time while other fields remain valid.
Exposure time coordinate: Exposure reference fraction is ignored in favor of midpoint convention · case 05
The adapter reports an incorrect reference time while other fields remain valid.
Exposure time coordinate: Rolling-shutter timestamps use a one-based row origin · case 01
The adapter reports an incorrect row start while other fields remain valid.
Exposure time coordinate: Rolling-shutter timestamps use a one-based row origin · case 02
The adapter reports an incorrect row start while other fields remain valid.
Exposure time coordinate: Rolling-shutter timestamps use a one-based row origin · case 03
The adapter reports an incorrect row start while other fields remain valid.
Exposure time coordinate: Rolling-shutter timestamps use a one-based row origin · case 04
The adapter reports an incorrect row start while other fields remain valid.
Exposure time coordinate: Rolling-shutter timestamps use a one-based row origin · case 05
The adapter reports an incorrect row start while other fields remain valid.
Exposure time coordinate: Row observation epoch uses frame midpoint or row exposure end · case 01
The adapter reports an incorrect row midpoint while other fields remain valid.
Exposure time coordinate: Row observation epoch uses frame midpoint or row exposure end · case 02
The adapter reports an incorrect row midpoint while other fields remain valid.
Exposure time coordinate: Row observation epoch uses frame midpoint or row exposure end · case 03
The adapter reports an incorrect row midpoint while other fields remain valid.
Exposure time coordinate: Row observation epoch uses frame midpoint or row exposure end · case 04
The adapter reports an incorrect row midpoint while other fields remain valid.
Exposure time coordinate: Row observation epoch uses frame midpoint or row exposure end · case 05
The adapter reports an incorrect row midpoint while other fields remain valid.
Exposure time coordinate: Shutter travel correction is treated as a global exposure offset · case 01
The adapter reports an incorrect shutter corrected while other fields remain valid.
Exposure time coordinate: Shutter travel correction is treated as a global exposure offset · case 02
The adapter reports an incorrect shutter corrected while other fields remain valid.
Exposure time coordinate: Shutter travel correction is treated as a global exposure offset · case 03
The adapter reports an incorrect shutter corrected while other fields remain valid.
Exposure time coordinate: Shutter travel correction is treated as a global exposure offset · case 04
The adapter reports an incorrect shutter corrected while other fields remain valid.
Exposure time coordinate: Shutter travel correction is treated as a global exposure offset · case 05
The adapter reports an incorrect shutter corrected 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 ↗