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
Stokes linear basis: Feed swap leaves the linear polarization difference in the old basis · case 01
The adapter reports an incorrect swapped q while other fields remain valid.
Stokes linear basis: Feed swap leaves the linear polarization difference in the old basis · case 02
The adapter reports an incorrect swapped q while other fields remain valid.
Stokes linear basis: Feed swap leaves the linear polarization difference in the old basis · case 03
The adapter reports an incorrect swapped q while other fields remain valid.
Stokes linear basis: Feed swap leaves the linear polarization difference in the old basis · case 04
The adapter reports an incorrect swapped q while other fields remain valid.
Stokes linear basis: Feed swap leaves the linear polarization difference in the old basis · case 05
The adapter reports an incorrect swapped q while other fields remain valid.
Stokes linear basis: Conjugating the cross-hand product during feed swap is omitted · case 01
The adapter reports an incorrect swapped v while other fields remain valid.
Stokes linear basis: Conjugating the cross-hand product during feed swap is omitted · case 02
The adapter reports an incorrect swapped v while other fields remain valid.
Stokes linear basis: Conjugating the cross-hand product during feed swap is omitted · case 03
The adapter reports an incorrect swapped v while other fields remain valid.
Stokes linear basis: Conjugating the cross-hand product during feed swap is omitted · case 04
The adapter reports an incorrect swapped v while other fields remain valid.
Stokes linear basis: Conjugating the cross-hand product during feed swap is omitted · case 05
The adapter reports an incorrect swapped v while other fields remain valid.
Interferometer baseline reversal: Canonical antenna sorting is substituted for an explicit baseline reversal · case 01
The adapter reports an incorrect antennas while other fields remain valid.
Interferometer baseline reversal: Canonical antenna sorting is substituted for an explicit baseline reversal · case 02
The adapter reports an incorrect antennas while other fields remain valid.
Interferometer baseline reversal: Canonical antenna sorting is substituted for an explicit baseline reversal · case 03
The adapter reports an incorrect antennas while other fields remain valid.
Interferometer baseline reversal: Canonical antenna sorting is substituted for an explicit baseline reversal · case 04
The adapter reports an incorrect antennas while other fields remain valid.
Interferometer baseline reversal: Canonical antenna sorting is substituted for an explicit baseline reversal · case 05
The adapter reports an incorrect antennas while other fields remain valid.
Interferometer baseline reversal: Baseline reversal leaves the line-of-sight Fourier coordinate unchanged · case 01
The adapter reports an incorrect uvw while other fields remain valid.
Interferometer baseline reversal: Baseline reversal leaves the line-of-sight Fourier coordinate unchanged · case 02
The adapter reports an incorrect uvw while other fields remain valid.
Interferometer baseline reversal: Baseline reversal leaves the line-of-sight Fourier coordinate unchanged · case 03
The adapter reports an incorrect uvw while other fields remain valid.
Interferometer baseline reversal: Baseline reversal leaves the line-of-sight Fourier coordinate unchanged · case 04
The adapter reports an incorrect uvw while other fields remain valid.
Interferometer baseline reversal: Baseline reversal leaves the line-of-sight Fourier coordinate unchanged · case 05
The adapter reports an incorrect uvw while other fields remain valid.
Interferometer baseline reversal: Complex baseline conjugation is mistaken for negation · case 01
The adapter reports an incorrect visibility while other fields remain valid.
Interferometer baseline reversal: Complex baseline conjugation is mistaken for negation · case 02
The adapter reports an incorrect visibility while other fields remain valid.
Interferometer baseline reversal: Complex baseline conjugation is mistaken for negation · case 03
The adapter reports an incorrect visibility while other fields remain valid.
Interferometer baseline reversal: Complex baseline conjugation is mistaken for negation · case 04
The adapter reports an incorrect visibility while other fields remain valid.
Interferometer baseline reversal: Complex baseline conjugation is mistaken for negation · case 05
The adapter reports an incorrect visibility while other fields remain valid.
Interferometer baseline reversal: Cross-hand reversal handles only one feed ordering · case 01
The adapter reports an incorrect polarization while other fields remain valid.
Interferometer baseline reversal: Cross-hand reversal handles only one feed ordering · case 02
The adapter reports an incorrect polarization while other fields remain valid.
Interferometer baseline reversal: Cross-hand reversal handles only one feed ordering · case 03
The adapter reports an incorrect polarization while other fields remain valid.
Interferometer baseline reversal: Cross-hand reversal handles only one feed ordering · case 04
The adapter reports an incorrect polarization while other fields remain valid.
Interferometer baseline reversal: Cross-hand reversal handles only one feed ordering · case 05
The adapter reports an incorrect polarization while other fields remain valid.
Interferometer baseline reversal: Delay metadata retains the original antenna-order convention · case 01
The adapter reports an incorrect geometric delay while other fields remain valid.
Interferometer baseline reversal: Delay metadata retains the original antenna-order convention · case 02
The adapter reports an incorrect geometric delay while other fields remain valid.
Interferometer baseline reversal: Delay metadata retains the original antenna-order convention · case 03
The adapter reports an incorrect geometric delay while other fields remain valid.
Interferometer baseline reversal: Delay metadata retains the original antenna-order convention · case 04
The adapter reports an incorrect geometric delay while other fields remain valid.
Interferometer baseline reversal: Delay metadata retains the original antenna-order convention · case 05
The adapter reports an incorrect geometric delay while other fields remain valid.
Interferometer baseline reversal: Antenna phase difference is evaluated before the baseline exchange · case 01
The adapter reports an incorrect phase difference while other fields remain valid.
Interferometer baseline reversal: Antenna phase difference is evaluated before the baseline exchange · case 02
The adapter reports an incorrect phase difference while other fields remain valid.
Interferometer baseline reversal: Antenna phase difference is evaluated before the baseline exchange · case 03
The adapter reports an incorrect phase difference while other fields remain valid.
Interferometer baseline reversal: Antenna phase difference is evaluated before the baseline exchange · case 04
The adapter reports an incorrect phase difference while other fields remain valid.
Interferometer baseline reversal: Antenna phase difference is evaluated before the baseline exchange · case 05
The adapter reports an incorrect phase difference while other fields remain valid.
Interferometer channel uvw: Per-channel uvw stays scaled to the reference frequency · case 01
The adapter reports an incorrect channel uvw while other fields remain valid.
Interferometer channel uvw: Per-channel uvw stays scaled to the reference frequency · case 02
The adapter reports an incorrect channel uvw while other fields remain valid.
Interferometer channel uvw: Per-channel uvw stays scaled to the reference frequency · case 03
The adapter reports an incorrect channel uvw while other fields remain valid.
Interferometer channel uvw: Per-channel uvw stays scaled to the reference frequency · case 04
The adapter reports an incorrect channel uvw while other fields remain valid.
Interferometer channel uvw: Per-channel uvw stays scaled to the reference frequency · case 05
The adapter reports an incorrect channel uvw while other fields remain valid.
Interferometer channel uvw: Stored wavelength baseline is exported as a physical baseline · case 01
The adapter reports an incorrect physical baseline while other fields remain valid.
Interferometer channel uvw: Stored wavelength baseline is exported as a physical baseline · case 02
The adapter reports an incorrect physical baseline while other fields remain valid.
Interferometer channel uvw: Stored wavelength baseline is exported as a physical baseline · case 03
The adapter reports an incorrect physical baseline while other fields remain valid.
Interferometer channel uvw: Stored wavelength baseline is exported as a physical baseline · case 04
The adapter reports an incorrect physical baseline while other fields remain valid.
Interferometer channel uvw: Stored wavelength baseline is exported as a physical baseline · case 05
The adapter reports an incorrect physical baseline while other fields remain valid.
Interferometer channel uvw: Channel fringe phase uses reference-band rather than channel frequency · case 01
The adapter reports an incorrect phase cycles while other fields remain valid.
Interferometer channel uvw: Channel fringe phase uses reference-band rather than channel frequency · case 02
The adapter reports an incorrect phase cycles while other fields remain valid.
Interferometer channel uvw: Channel fringe phase uses reference-band rather than channel frequency · case 03
The adapter reports an incorrect phase cycles while other fields remain valid.
Interferometer channel uvw: Channel fringe phase uses reference-band rather than channel frequency · case 04
The adapter reports an incorrect phase cycles while other fields remain valid.
Interferometer channel uvw: Channel fringe phase uses reference-band rather than channel frequency · case 05
The adapter reports an incorrect phase cycles while other fields remain valid.
Interferometer channel uvw: Adjacent channel phase advance uses absolute channel frequency · case 01
The adapter reports an incorrect channel phase step while other fields remain valid.
Interferometer channel uvw: Adjacent channel phase advance uses absolute channel frequency · case 02
The adapter reports an incorrect channel phase step while other fields remain valid.
Interferometer channel uvw: Adjacent channel phase advance uses absolute channel frequency · case 03
The adapter reports an incorrect channel phase step while other fields remain valid.
Interferometer channel uvw: Adjacent channel phase advance uses absolute channel frequency · case 04
The adapter reports an incorrect channel phase step while other fields remain valid.
Interferometer channel uvw: Adjacent channel phase advance uses absolute channel frequency · case 05
The adapter reports an incorrect channel phase step while other fields remain valid.
Interferometer channel uvw: A cycle-valued fringe rate receives a second spectral conversion · case 01
The adapter reports an incorrect time phase step while other fields remain valid.
Interferometer channel uvw: A cycle-valued fringe rate receives a second spectral conversion · case 02
The adapter reports an incorrect time phase step while other fields remain valid.
Interferometer channel uvw: A cycle-valued fringe rate receives a second spectral conversion · case 03
The adapter reports an incorrect time phase step while other fields remain valid.
Interferometer channel uvw: A cycle-valued fringe rate receives a second spectral conversion · case 04
The adapter reports an incorrect time phase step while other fields remain valid.
Interferometer channel uvw: A cycle-valued fringe rate receives a second spectral conversion · case 05
The adapter reports an incorrect time phase step while other fields remain valid.
Interferometer channel uvw: Frequency derivative of uvw retains the channel frequency factor · case 01
The adapter reports an incorrect frequency jacobian while other fields remain valid.
Interferometer channel uvw: Frequency derivative of uvw retains the channel frequency factor · case 02
The adapter reports an incorrect frequency jacobian while other fields remain valid.
Interferometer channel uvw: Frequency derivative of uvw retains the channel frequency factor · case 03
The adapter reports an incorrect frequency jacobian while other fields remain valid.
Interferometer channel uvw: Frequency derivative of uvw retains the channel frequency factor · case 04
The adapter reports an incorrect frequency jacobian while other fields remain valid.
Interferometer channel uvw: Frequency derivative of uvw retains the channel frequency factor · case 05
The adapter reports an incorrect frequency jacobian while other fields remain valid.
Phase center shift: Wide-field phase-center update drops the line-of-sight term · case 01
The adapter reports an incorrect delay cycles while other fields remain valid.
Phase center shift: Wide-field phase-center update drops the line-of-sight term · case 02
The adapter reports an incorrect delay cycles while other fields remain valid.
Phase center shift: Wide-field phase-center update drops the line-of-sight term · case 03
The adapter reports an incorrect delay cycles while other fields remain valid.
Phase center shift: Wide-field phase-center update drops the line-of-sight term · case 04
The adapter reports an incorrect delay cycles while other fields remain valid.
Phase center shift: Wide-field phase-center update drops the line-of-sight term · case 05
The adapter reports an incorrect delay cycles while other fields remain valid.
Phase center shift: Phase-center correction uses the forward visibility rather than correction sign · case 01
The adapter reports an incorrect shifted phase while other fields remain valid.
Phase center shift: Phase-center correction uses the forward visibility rather than correction sign · case 02
The adapter reports an incorrect shifted phase while other fields remain valid.
Phase center shift: Phase-center correction uses the forward visibility rather than correction sign · case 03
The adapter reports an incorrect shifted phase while other fields remain valid.
Phase center shift: Phase-center correction uses the forward visibility rather than correction sign · case 04
The adapter reports an incorrect shifted phase while other fields remain valid.
Phase center shift: Phase-center correction uses the forward visibility rather than correction sign · case 05
The adapter reports an incorrect shifted phase while other fields remain valid.
Phase center shift: Phase-center tangent longitude is replaced by an offset-only coordinate · case 01
The adapter reports an incorrect reference x while other fields remain valid.
Phase center shift: Phase-center tangent longitude is replaced by an offset-only coordinate · case 02
The adapter reports an incorrect reference x while other fields remain valid.
Phase center shift: Phase-center tangent longitude is replaced by an offset-only coordinate · case 03
The adapter reports an incorrect reference x while other fields remain valid.
Phase center shift: Phase-center tangent longitude is replaced by an offset-only coordinate · case 04
The adapter reports an incorrect reference x while other fields remain valid.
Phase center shift: Phase-center tangent longitude is replaced by an offset-only coordinate · case 05
The adapter reports an incorrect reference x while other fields remain valid.
Phase center shift: Phase-center tangent latitude uses longitude displacement · case 01
The adapter reports an incorrect reference y while other fields remain valid.
Phase center shift: Phase-center tangent latitude uses longitude displacement · case 02
The adapter reports an incorrect reference y while other fields remain valid.
Phase center shift: Phase-center tangent latitude uses longitude displacement · case 03
The adapter reports an incorrect reference y while other fields remain valid.
Phase center shift: Phase-center tangent latitude uses longitude displacement · case 04
The adapter reports an incorrect reference y while other fields remain valid.
Phase center shift: Phase-center tangent latitude uses longitude displacement · case 05
The adapter reports an incorrect reference y while other fields remain valid.
Phase center shift: Undoing a phase-center shift retains the forward delay convention · case 01
The adapter reports an incorrect inverse delay while other fields remain valid.
Phase center shift: Undoing a phase-center shift retains the forward delay convention · case 02
The adapter reports an incorrect inverse delay while other fields remain valid.
Phase center shift: Undoing a phase-center shift retains the forward delay convention · case 03
The adapter reports an incorrect inverse delay while other fields remain valid.
Phase center shift: Undoing a phase-center shift retains the forward delay convention · case 04
The adapter reports an incorrect inverse delay while other fields remain valid.
Phase center shift: Undoing a phase-center shift retains the forward delay convention · case 05
The adapter reports an incorrect inverse delay while other fields remain valid.
Phase center shift: A stored n-minus-one direction term is emitted as n itself · case 01
The adapter reports an incorrect line of sight direction while other fields remain valid.
Phase center shift: A stored n-minus-one direction term is emitted as n itself · case 02
The adapter reports an incorrect line of sight direction while other fields remain valid.
Phase center shift: A stored n-minus-one direction term is emitted as n itself · case 03
The adapter reports an incorrect line of sight direction while other fields remain valid.
Phase center shift: A stored n-minus-one direction term is emitted as n itself · case 04
The adapter reports an incorrect line of sight direction while other fields remain valid.
Phase center shift: A stored n-minus-one direction term is emitted as n itself · case 05
The adapter reports an incorrect line of sight direction 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 ↗