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
Linear spectral pixel calibration: Exporting reference-centered spectral coefficients omits nonlinear translation · case 01
The adapter reports an incorrect absolute constant while other fields remain valid.
Linear spectral pixel calibration: Exporting reference-centered spectral coefficients omits nonlinear translation · case 02
The adapter reports an incorrect absolute constant while other fields remain valid.
Linear spectral pixel calibration: Exporting reference-centered spectral coefficients omits nonlinear translation · case 03
The adapter reports an incorrect absolute constant while other fields remain valid.
Linear spectral pixel calibration: Exporting reference-centered spectral coefficients omits nonlinear translation · case 04
The adapter reports an incorrect absolute constant while other fields remain valid.
Linear spectral pixel calibration: Exporting reference-centered spectral coefficients omits nonlinear translation · case 05
The adapter reports an incorrect absolute constant while other fields remain valid.
Linear spectral pixel calibration: Changing the spectral reference point updates only lower-order terms · case 01
The adapter reports an incorrect shifted zero while other fields remain valid.
Linear spectral pixel calibration: Changing the spectral reference point updates only lower-order terms · case 02
The adapter reports an incorrect shifted zero while other fields remain valid.
Linear spectral pixel calibration: Changing the spectral reference point updates only lower-order terms · case 03
The adapter reports an incorrect shifted zero while other fields remain valid.
Linear spectral pixel calibration: Changing the spectral reference point updates only lower-order terms · case 04
The adapter reports an incorrect shifted zero while other fields remain valid.
Linear spectral pixel calibration: Changing the spectral reference point updates only lower-order terms · case 05
The adapter reports an incorrect shifted zero while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral slope loses curvature from the cubic term · case 01
The adapter reports an incorrect shifted linear while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral slope loses curvature from the cubic term · case 02
The adapter reports an incorrect shifted linear while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral slope loses curvature from the cubic term · case 03
The adapter reports an incorrect shifted linear while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral slope loses curvature from the cubic term · case 04
The adapter reports an incorrect shifted linear while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral slope loses curvature from the cubic term · case 05
The adapter reports an incorrect shifted linear while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral curvature omits the cubic binomial coefficient · case 01
The adapter reports an incorrect shifted quadratic while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral curvature omits the cubic binomial coefficient · case 02
The adapter reports an incorrect shifted quadratic while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral curvature omits the cubic binomial coefficient · case 03
The adapter reports an incorrect shifted quadratic while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral curvature omits the cubic binomial coefficient · case 04
The adapter reports an incorrect shifted quadratic while other fields remain valid.
Linear spectral pixel calibration: Reference-shifted spectral curvature omits the cubic binomial coefficient · case 05
The adapter reports an incorrect shifted quadratic while other fields remain valid.
Redshift wavelength grid: A supplied redshift factor is mistaken for redshift itself · case 01
The adapter reports an incorrect rest wavelength while other fields remain valid.
Redshift wavelength grid: A supplied redshift factor is mistaken for redshift itself · case 02
The adapter reports an incorrect rest wavelength while other fields remain valid.
Redshift wavelength grid: A supplied redshift factor is mistaken for redshift itself · case 03
The adapter reports an incorrect rest wavelength while other fields remain valid.
Redshift wavelength grid: A supplied redshift factor is mistaken for redshift itself · case 04
The adapter reports an incorrect rest wavelength while other fields remain valid.
Redshift wavelength grid: A supplied redshift factor is mistaken for redshift itself · case 05
The adapter reports an incorrect rest wavelength while other fields remain valid.
Redshift wavelength grid: Rest spectral bins keep their observed-frame width · case 01
The adapter reports an incorrect rest bin width while other fields remain valid.
Redshift wavelength grid: Rest spectral bins keep their observed-frame width · case 02
The adapter reports an incorrect rest bin width while other fields remain valid.
Redshift wavelength grid: Rest spectral bins keep their observed-frame width · case 03
The adapter reports an incorrect rest bin width while other fields remain valid.
Redshift wavelength grid: Rest spectral bins keep their observed-frame width · case 04
The adapter reports an incorrect rest bin width while other fields remain valid.
Redshift wavelength grid: Rest spectral bins keep their observed-frame width · case 05
The adapter reports an incorrect rest bin width while other fields remain valid.
Redshift wavelength grid: A rest-line coordinate uses the de-redshifting direction · case 01
The adapter reports an incorrect predicted line while other fields remain valid.
Redshift wavelength grid: A rest-line coordinate uses the de-redshifting direction · case 02
The adapter reports an incorrect predicted line while other fields remain valid.
Redshift wavelength grid: A rest-line coordinate uses the de-redshifting direction · case 03
The adapter reports an incorrect predicted line while other fields remain valid.
Redshift wavelength grid: A rest-line coordinate uses the de-redshifting direction · case 04
The adapter reports an incorrect predicted line while other fields remain valid.
Redshift wavelength grid: A rest-line coordinate uses the de-redshifting direction · case 05
The adapter reports an incorrect predicted line while other fields remain valid.
Redshift wavelength grid: Equivalent width is treated as an integrated flux quantity · case 01
The adapter reports an incorrect rest equivalent width while other fields remain valid.
Redshift wavelength grid: Equivalent width is treated as an integrated flux quantity · case 02
The adapter reports an incorrect rest equivalent width while other fields remain valid.
Redshift wavelength grid: Equivalent width is treated as an integrated flux quantity · case 03
The adapter reports an incorrect rest equivalent width while other fields remain valid.
Redshift wavelength grid: Equivalent width is treated as an integrated flux quantity · case 04
The adapter reports an incorrect rest equivalent width while other fields remain valid.
Redshift wavelength grid: Equivalent width is treated as an integrated flux quantity · case 05
The adapter reports an incorrect rest equivalent width while other fields remain valid.
Redshift wavelength grid: Wavelength density fails to preserve an integrated spectral-bin value · case 01
The adapter reports an incorrect rest density while other fields remain valid.
Redshift wavelength grid: Wavelength density fails to preserve an integrated spectral-bin value · case 02
The adapter reports an incorrect rest density while other fields remain valid.
Redshift wavelength grid: Wavelength density fails to preserve an integrated spectral-bin value · case 03
The adapter reports an incorrect rest density while other fields remain valid.
Redshift wavelength grid: Wavelength density fails to preserve an integrated spectral-bin value · case 04
The adapter reports an incorrect rest density while other fields remain valid.
Redshift wavelength grid: Wavelength density fails to preserve an integrated spectral-bin value · case 05
The adapter reports an incorrect rest density while other fields remain valid.
Redshift wavelength grid: Integrated bin content receives a coordinate Jacobian twice · case 01
The adapter reports an incorrect bin integral while other fields remain valid.
Redshift wavelength grid: Integrated bin content receives a coordinate Jacobian twice · case 02
The adapter reports an incorrect bin integral while other fields remain valid.
Redshift wavelength grid: Integrated bin content receives a coordinate Jacobian twice · case 03
The adapter reports an incorrect bin integral while other fields remain valid.
Redshift wavelength grid: Integrated bin content receives a coordinate Jacobian twice · case 04
The adapter reports an incorrect bin integral while other fields remain valid.
Redshift wavelength grid: Integrated bin content receives a coordinate Jacobian twice · case 05
The adapter reports an incorrect bin integral while other fields remain valid.
Echelle order coordinate: Order extraction evaluates a tilted trace on the cross-dispersion axis · case 01
The adapter reports an incorrect trace offset while other fields remain valid.
Echelle order coordinate: Order extraction evaluates a tilted trace on the cross-dispersion axis · case 02
The adapter reports an incorrect trace offset while other fields remain valid.
Echelle order coordinate: Order extraction evaluates a tilted trace on the cross-dispersion axis · case 03
The adapter reports an incorrect trace offset while other fields remain valid.
Echelle order coordinate: Order extraction evaluates a tilted trace on the cross-dispersion axis · case 04
The adapter reports an incorrect trace offset while other fields remain valid.
Echelle order coordinate: Order extraction evaluates a tilted trace on the cross-dispersion axis · case 05
The adapter reports an incorrect trace offset while other fields remain valid.
Echelle order coordinate: Blaze normalization retains detector rather than blaze-centered coordinates · case 01
The adapter reports an incorrect blaze coordinate while other fields remain valid.
Echelle order coordinate: Blaze normalization retains detector rather than blaze-centered coordinates · case 02
The adapter reports an incorrect blaze coordinate while other fields remain valid.
Echelle order coordinate: Blaze normalization retains detector rather than blaze-centered coordinates · case 03
The adapter reports an incorrect blaze coordinate while other fields remain valid.
Echelle order coordinate: Blaze normalization retains detector rather than blaze-centered coordinates · case 04
The adapter reports an incorrect blaze coordinate while other fields remain valid.
Echelle order coordinate: Blaze normalization retains detector rather than blaze-centered coordinates · case 05
The adapter reports an incorrect blaze coordinate while other fields remain valid.
Echelle order coordinate: Echelle order labeling applies multiplication rather than reciprocal order scaling · case 01
The adapter reports an incorrect order wavelength while other fields remain valid.
Echelle order coordinate: Echelle order labeling applies multiplication rather than reciprocal order scaling · case 02
The adapter reports an incorrect order wavelength while other fields remain valid.
Echelle order coordinate: Echelle order labeling applies multiplication rather than reciprocal order scaling · case 03
The adapter reports an incorrect order wavelength while other fields remain valid.
Echelle order coordinate: Echelle order labeling applies multiplication rather than reciprocal order scaling · case 04
The adapter reports an incorrect order wavelength while other fields remain valid.
Echelle order coordinate: Echelle order labeling applies multiplication rather than reciprocal order scaling · case 05
The adapter reports an incorrect order wavelength while other fields remain valid.
Echelle order coordinate: Extraction lower edge confuses supplied half-height with full width · case 01
The adapter reports an incorrect lower aperture while other fields remain valid.
Echelle order coordinate: Extraction lower edge confuses supplied half-height with full width · case 02
The adapter reports an incorrect lower aperture while other fields remain valid.
Echelle order coordinate: Extraction lower edge confuses supplied half-height with full width · case 03
The adapter reports an incorrect lower aperture while other fields remain valid.
Echelle order coordinate: Extraction lower edge confuses supplied half-height with full width · case 04
The adapter reports an incorrect lower aperture while other fields remain valid.
Echelle order coordinate: Extraction lower edge confuses supplied half-height with full width · case 05
The adapter reports an incorrect lower aperture while other fields remain valid.
Echelle order coordinate: Extraction upper edge is detached from the dispersion-dependent order trace · case 01
The adapter reports an incorrect upper aperture while other fields remain valid.
Echelle order coordinate: Extraction upper edge is detached from the dispersion-dependent order trace · case 02
The adapter reports an incorrect upper aperture while other fields remain valid.
Echelle order coordinate: Extraction upper edge is detached from the dispersion-dependent order trace · case 03
The adapter reports an incorrect upper aperture while other fields remain valid.
Echelle order coordinate: Extraction upper edge is detached from the dispersion-dependent order trace · case 04
The adapter reports an incorrect upper aperture while other fields remain valid.
Echelle order coordinate: Extraction upper edge is detached from the dispersion-dependent order trace · case 05
The adapter reports an incorrect upper aperture while other fields remain valid.
Echelle order coordinate: Adjacent order location confuses physical order number with trace separation · case 01
The adapter reports an incorrect neighbor trace while other fields remain valid.
Echelle order coordinate: Adjacent order location confuses physical order number with trace separation · case 02
The adapter reports an incorrect neighbor trace while other fields remain valid.
Echelle order coordinate: Adjacent order location confuses physical order number with trace separation · case 03
The adapter reports an incorrect neighbor trace while other fields remain valid.
Echelle order coordinate: Adjacent order location confuses physical order number with trace separation · case 04
The adapter reports an incorrect neighbor trace while other fields remain valid.
Echelle order coordinate: Adjacent order location confuses physical order number with trace separation · case 05
The adapter reports an incorrect neighbor trace while other fields remain valid.
Stokes linear basis: Stokes intensity normalization imports a half-sum convention from another adapter · case 01
The adapter reports an incorrect intensity while other fields remain valid.
Stokes linear basis: Stokes intensity normalization imports a half-sum convention from another adapter · case 02
The adapter reports an incorrect intensity while other fields remain valid.
Stokes linear basis: Stokes intensity normalization imports a half-sum convention from another adapter · case 03
The adapter reports an incorrect intensity while other fields remain valid.
Stokes linear basis: Stokes intensity normalization imports a half-sum convention from another adapter · case 04
The adapter reports an incorrect intensity while other fields remain valid.
Stokes linear basis: Stokes intensity normalization imports a half-sum convention from another adapter · case 05
The adapter reports an incorrect intensity while other fields remain valid.
Stokes linear basis: Feed-ordered Stokes Q loses its signed handedness · case 01
The adapter reports an incorrect linear q while other fields remain valid.
Stokes linear basis: Feed-ordered Stokes Q loses its signed handedness · case 02
The adapter reports an incorrect linear q while other fields remain valid.
Stokes linear basis: Feed-ordered Stokes Q loses its signed handedness · case 03
The adapter reports an incorrect linear q while other fields remain valid.
Stokes linear basis: Feed-ordered Stokes Q loses its signed handedness · case 04
The adapter reports an incorrect linear q while other fields remain valid.
Stokes linear basis: Feed-ordered Stokes Q loses its signed handedness · case 05
The adapter reports an incorrect linear q while other fields remain valid.
Stokes linear basis: Cross-hand real correlation is missing the Stokes U factor of two · case 01
The adapter reports an incorrect linear u while other fields remain valid.
Stokes linear basis: Cross-hand real correlation is missing the Stokes U factor of two · case 02
The adapter reports an incorrect linear u while other fields remain valid.
Stokes linear basis: Cross-hand real correlation is missing the Stokes U factor of two · case 03
The adapter reports an incorrect linear u while other fields remain valid.
Stokes linear basis: Cross-hand real correlation is missing the Stokes U factor of two · case 04
The adapter reports an incorrect linear u while other fields remain valid.
Stokes linear basis: Cross-hand real correlation is missing the Stokes U factor of two · case 05
The adapter reports an incorrect linear u while other fields remain valid.
Stokes linear basis: Stokes V applies the opposite imaginary-correlation sign convention · case 01
The adapter reports an incorrect circular v while other fields remain valid.
Stokes linear basis: Stokes V applies the opposite imaginary-correlation sign convention · case 02
The adapter reports an incorrect circular v while other fields remain valid.
Stokes linear basis: Stokes V applies the opposite imaginary-correlation sign convention · case 03
The adapter reports an incorrect circular v while other fields remain valid.
Stokes linear basis: Stokes V applies the opposite imaginary-correlation sign convention · case 04
The adapter reports an incorrect circular v while other fields remain valid.
Stokes linear basis: Stokes V applies the opposite imaginary-correlation sign convention · case 05
The adapter reports an incorrect circular v 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 ↗