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
Barycentric arrival corrections: Inverse arrival-time adapter removes only geometric delay · case 01
The adapter reports an incorrect observer arrival while other fields remain valid.
Barycentric arrival corrections: Inverse arrival-time adapter removes only geometric delay · case 02
The adapter reports an incorrect observer arrival while other fields remain valid.
Barycentric arrival corrections: Inverse arrival-time adapter removes only geometric delay · case 03
The adapter reports an incorrect observer arrival while other fields remain valid.
Barycentric arrival corrections: Inverse arrival-time adapter removes only geometric delay · case 04
The adapter reports an incorrect observer arrival while other fields remain valid.
Barycentric arrival corrections: Inverse arrival-time adapter removes only geometric delay · case 05
The adapter reports an incorrect observer arrival while other fields remain valid.
Barycentric arrival corrections: Observer-position timing Jacobian is replaced by the total geometric delay · case 01
The adapter reports an incorrect geometric rate while other fields remain valid.
Barycentric arrival corrections: Observer-position timing Jacobian is replaced by the total geometric delay · case 02
The adapter reports an incorrect geometric rate while other fields remain valid.
Barycentric arrival corrections: Observer-position timing Jacobian is replaced by the total geometric delay · case 03
The adapter reports an incorrect geometric rate while other fields remain valid.
Barycentric arrival corrections: Observer-position timing Jacobian is replaced by the total geometric delay · case 04
The adapter reports an incorrect geometric rate while other fields remain valid.
Barycentric arrival corrections: Observer-position timing Jacobian is replaced by the total geometric delay · case 05
The adapter reports an incorrect geometric rate while other fields remain valid.
Pulsar phase polynomial: Pulsar spin derivatives are integrated without their factorial coefficients · case 01
The adapter reports an incorrect phase while other fields remain valid.
Pulsar phase polynomial: Pulsar spin derivatives are integrated without their factorial coefficients · case 02
The adapter reports an incorrect phase while other fields remain valid.
Pulsar phase polynomial: Pulsar spin derivatives are integrated without their factorial coefficients · case 03
The adapter reports an incorrect phase while other fields remain valid.
Pulsar phase polynomial: Pulsar spin derivatives are integrated without their factorial coefficients · case 04
The adapter reports an incorrect phase while other fields remain valid.
Pulsar phase polynomial: Pulsar spin derivatives are integrated without their factorial coefficients · case 05
The adapter reports an incorrect phase while other fields remain valid.
Pulsar phase polynomial: Instantaneous pulsar frequency is evaluated using phase polynomial coefficients · case 01
The adapter reports an incorrect frequency while other fields remain valid.
Pulsar phase polynomial: Instantaneous pulsar frequency is evaluated using phase polynomial coefficients · case 02
The adapter reports an incorrect frequency while other fields remain valid.
Pulsar phase polynomial: Instantaneous pulsar frequency is evaluated using phase polynomial coefficients · case 03
The adapter reports an incorrect frequency while other fields remain valid.
Pulsar phase polynomial: Instantaneous pulsar frequency is evaluated using phase polynomial coefficients · case 04
The adapter reports an incorrect frequency while other fields remain valid.
Pulsar phase polynomial: Instantaneous pulsar frequency is evaluated using phase polynomial coefficients · case 05
The adapter reports an incorrect frequency while other fields remain valid.
Pulsar phase polynomial: Pulsar frequency derivative retains the wrong epoch power · case 01
The adapter reports an incorrect frequency derivative while other fields remain valid.
Pulsar phase polynomial: Pulsar frequency derivative retains the wrong epoch power · case 02
The adapter reports an incorrect frequency derivative while other fields remain valid.
Pulsar phase polynomial: Pulsar frequency derivative retains the wrong epoch power · case 03
The adapter reports an incorrect frequency derivative while other fields remain valid.
Pulsar phase polynomial: Pulsar frequency derivative retains the wrong epoch power · case 04
The adapter reports an incorrect frequency derivative while other fields remain valid.
Pulsar phase polynomial: Pulsar frequency derivative retains the wrong epoch power · case 05
The adapter reports an incorrect frequency derivative while other fields remain valid.
Pulsar phase polynomial: Pre-reference pulsar pulse numbering truncates negative total phase · case 01
The adapter reports an incorrect pulse number while other fields remain valid.
Pulsar phase polynomial: Pre-reference pulsar pulse numbering truncates negative total phase · case 02
The adapter reports an incorrect pulse number while other fields remain valid.
Pulsar phase polynomial: Pre-reference pulsar pulse numbering truncates negative total phase · case 03
The adapter reports an incorrect pulse number while other fields remain valid.
Pulsar phase polynomial: Pre-reference pulsar pulse numbering truncates negative total phase · case 04
The adapter reports an incorrect pulse number while other fields remain valid.
Pulsar phase polynomial: Pre-reference pulsar pulse numbering truncates negative total phase · case 05
The adapter reports an incorrect pulse number while other fields remain valid.
Pulsar phase polynomial: Pulsar folding drops spin-down or the second spin derivative · case 01
The adapter reports an incorrect folded phase while other fields remain valid.
Pulsar phase polynomial: Pulsar folding drops spin-down or the second spin derivative · case 02
The adapter reports an incorrect folded phase while other fields remain valid.
Pulsar phase polynomial: Pulsar folding drops spin-down or the second spin derivative · case 03
The adapter reports an incorrect folded phase while other fields remain valid.
Pulsar phase polynomial: Pulsar folding drops spin-down or the second spin derivative · case 04
The adapter reports an incorrect folded phase while other fields remain valid.
Pulsar phase polynomial: Pulsar folding drops spin-down or the second spin derivative · case 05
The adapter reports an incorrect folded phase while other fields remain valid.
Pulsar phase polynomial: Spin-down phase residual is confused with a frequency residual · case 01
The adapter reports an incorrect phase residual while other fields remain valid.
Pulsar phase polynomial: Spin-down phase residual is confused with a frequency residual · case 02
The adapter reports an incorrect phase residual while other fields remain valid.
Pulsar phase polynomial: Spin-down phase residual is confused with a frequency residual · case 03
The adapter reports an incorrect phase residual while other fields remain valid.
Pulsar phase polynomial: Spin-down phase residual is confused with a frequency residual · case 04
The adapter reports an incorrect phase residual while other fields remain valid.
Pulsar phase polynomial: Spin-down phase residual is confused with a frequency residual · case 05
The adapter reports an incorrect phase residual while other fields remain valid.
Pulsar dispersion coordinate: Radio dispersion delay uses inverse frequency rather than inverse-square frequency · case 01
The adapter reports an incorrect infinite delay while other fields remain valid.
Pulsar dispersion coordinate: Radio dispersion delay uses inverse frequency rather than inverse-square frequency · case 02
The adapter reports an incorrect infinite delay while other fields remain valid.
Pulsar dispersion coordinate: Radio dispersion delay uses inverse frequency rather than inverse-square frequency · case 03
The adapter reports an incorrect infinite delay while other fields remain valid.
Pulsar dispersion coordinate: Radio dispersion delay uses inverse frequency rather than inverse-square frequency · case 04
The adapter reports an incorrect infinite delay while other fields remain valid.
Pulsar dispersion coordinate: Radio dispersion delay uses inverse frequency rather than inverse-square frequency · case 05
The adapter reports an incorrect infinite delay while other fields remain valid.
Pulsar dispersion coordinate: Finite-reference dedispersion omits or reverses the reference-channel delay · case 01
The adapter reports an incorrect reference delay while other fields remain valid.
Pulsar dispersion coordinate: Finite-reference dedispersion omits or reverses the reference-channel delay · case 02
The adapter reports an incorrect reference delay while other fields remain valid.
Pulsar dispersion coordinate: Finite-reference dedispersion omits or reverses the reference-channel delay · case 03
The adapter reports an incorrect reference delay while other fields remain valid.
Pulsar dispersion coordinate: Finite-reference dedispersion omits or reverses the reference-channel delay · case 04
The adapter reports an incorrect reference delay while other fields remain valid.
Pulsar dispersion coordinate: Finite-reference dedispersion omits or reverses the reference-channel delay · case 05
The adapter reports an incorrect reference delay while other fields remain valid.
Pulsar dispersion coordinate: Dedispersion shifts low-frequency arrival times later · case 01
The adapter reports an incorrect dedispersed time while other fields remain valid.
Pulsar dispersion coordinate: Dedispersion shifts low-frequency arrival times later · case 02
The adapter reports an incorrect dedispersed time while other fields remain valid.
Pulsar dispersion coordinate: Dedispersion shifts low-frequency arrival times later · case 03
The adapter reports an incorrect dedispersed time while other fields remain valid.
Pulsar dispersion coordinate: Dedispersion shifts low-frequency arrival times later · case 04
The adapter reports an incorrect dedispersed time while other fields remain valid.
Pulsar dispersion coordinate: Dedispersion shifts low-frequency arrival times later · case 05
The adapter reports an incorrect dedispersed time while other fields remain valid.
Pulsar dispersion coordinate: Dispersion timing slope retains delay units or reversed spectral sign · case 01
The adapter reports an incorrect frequency slope while other fields remain valid.
Pulsar dispersion coordinate: Dispersion timing slope retains delay units or reversed spectral sign · case 02
The adapter reports an incorrect frequency slope while other fields remain valid.
Pulsar dispersion coordinate: Dispersion timing slope retains delay units or reversed spectral sign · case 03
The adapter reports an incorrect frequency slope while other fields remain valid.
Pulsar dispersion coordinate: Dispersion timing slope retains delay units or reversed spectral sign · case 04
The adapter reports an incorrect frequency slope while other fields remain valid.
Pulsar dispersion coordinate: Dispersion timing slope retains delay units or reversed spectral sign · case 05
The adapter reports an incorrect frequency slope while other fields remain valid.
Pulsar dispersion coordinate: Channel dispersion smearing omits bandwidth or frequency derivative · case 01
The adapter reports an incorrect channel smearing while other fields remain valid.
Pulsar dispersion coordinate: Channel dispersion smearing omits bandwidth or frequency derivative · case 02
The adapter reports an incorrect channel smearing while other fields remain valid.
Pulsar dispersion coordinate: Channel dispersion smearing omits bandwidth or frequency derivative · case 03
The adapter reports an incorrect channel smearing while other fields remain valid.
Pulsar dispersion coordinate: Channel dispersion smearing omits bandwidth or frequency derivative · case 04
The adapter reports an incorrect channel smearing while other fields remain valid.
Pulsar dispersion coordinate: Channel dispersion smearing omits bandwidth or frequency derivative · case 05
The adapter reports an incorrect channel smearing while other fields remain valid.
Pulsar dispersion coordinate: Infinite-frequency arrival coordinate remains anchored to the finite reference band · case 01
The adapter reports an incorrect infinite time while other fields remain valid.
Pulsar dispersion coordinate: Infinite-frequency arrival coordinate remains anchored to the finite reference band · case 02
The adapter reports an incorrect infinite time while other fields remain valid.
Pulsar dispersion coordinate: Infinite-frequency arrival coordinate remains anchored to the finite reference band · case 03
The adapter reports an incorrect infinite time while other fields remain valid.
Pulsar dispersion coordinate: Infinite-frequency arrival coordinate remains anchored to the finite reference band · case 04
The adapter reports an incorrect infinite time while other fields remain valid.
Pulsar dispersion coordinate: Infinite-frequency arrival coordinate remains anchored to the finite reference band · case 05
The adapter reports an incorrect infinite time while other fields remain valid.
Heterodyne sideband coordinate: Heterodyne sky frequency assumes one sideband regardless of receiver metadata · case 01
The adapter reports an incorrect sky frequency while other fields remain valid.
Heterodyne sideband coordinate: Heterodyne sky frequency assumes one sideband regardless of receiver metadata · case 02
The adapter reports an incorrect sky frequency while other fields remain valid.
Heterodyne sideband coordinate: Heterodyne sky frequency assumes one sideband regardless of receiver metadata · case 03
The adapter reports an incorrect sky frequency while other fields remain valid.
Heterodyne sideband coordinate: Heterodyne sky frequency assumes one sideband regardless of receiver metadata · case 04
The adapter reports an incorrect sky frequency while other fields remain valid.
Heterodyne sideband coordinate: Heterodyne sky frequency assumes one sideband regardless of receiver metadata · case 05
The adapter reports an incorrect sky frequency while other fields remain valid.
Heterodyne sideband coordinate: Lower sideband channel ordering is not reversed in sky frequency · case 01
The adapter reports an incorrect sky increment while other fields remain valid.
Heterodyne sideband coordinate: Lower sideband channel ordering is not reversed in sky frequency · case 02
The adapter reports an incorrect sky increment while other fields remain valid.
Heterodyne sideband coordinate: Lower sideband channel ordering is not reversed in sky frequency · case 03
The adapter reports an incorrect sky increment while other fields remain valid.
Heterodyne sideband coordinate: Lower sideband channel ordering is not reversed in sky frequency · case 04
The adapter reports an incorrect sky increment while other fields remain valid.
Heterodyne sideband coordinate: Lower sideband channel ordering is not reversed in sky frequency · case 05
The adapter reports an incorrect sky increment while other fields remain valid.
Heterodyne sideband coordinate: Image-sideband coordinate is confused with the selected sky band · case 01
The adapter reports an incorrect image frequency while other fields remain valid.
Heterodyne sideband coordinate: Image-sideband coordinate is confused with the selected sky band · case 02
The adapter reports an incorrect image frequency while other fields remain valid.
Heterodyne sideband coordinate: Image-sideband coordinate is confused with the selected sky band · case 03
The adapter reports an incorrect image frequency while other fields remain valid.
Heterodyne sideband coordinate: Image-sideband coordinate is confused with the selected sky band · case 04
The adapter reports an incorrect image frequency while other fields remain valid.
Heterodyne sideband coordinate: Image-sideband coordinate is confused with the selected sky band · case 05
The adapter reports an incorrect image frequency while other fields remain valid.
Heterodyne sideband coordinate: Second mixer offset is added after the sideband orientation transform · case 01
The adapter reports an incorrect second conversion while other fields remain valid.
Heterodyne sideband coordinate: Second mixer offset is added after the sideband orientation transform · case 02
The adapter reports an incorrect second conversion while other fields remain valid.
Heterodyne sideband coordinate: Second mixer offset is added after the sideband orientation transform · case 03
The adapter reports an incorrect second conversion while other fields remain valid.
Heterodyne sideband coordinate: Second mixer offset is added after the sideband orientation transform · case 04
The adapter reports an incorrect second conversion while other fields remain valid.
Heterodyne sideband coordinate: Second mixer offset is added after the sideband orientation transform · case 05
The adapter reports an incorrect second conversion while other fields remain valid.
Heterodyne sideband coordinate: Line-search frequency offset is evaluated in IF instead of sky coordinates · case 01
The adapter reports an incorrect rest offset while other fields remain valid.
Heterodyne sideband coordinate: Line-search frequency offset is evaluated in IF instead of sky coordinates · case 02
The adapter reports an incorrect rest offset while other fields remain valid.
Heterodyne sideband coordinate: Line-search frequency offset is evaluated in IF instead of sky coordinates · case 03
The adapter reports an incorrect rest offset while other fields remain valid.
Heterodyne sideband coordinate: Line-search frequency offset is evaluated in IF instead of sky coordinates · case 04
The adapter reports an incorrect rest offset while other fields remain valid.
Heterodyne sideband coordinate: Line-search frequency offset is evaluated in IF instead of sky coordinates · case 05
The adapter reports an incorrect rest offset while other fields remain valid.
Heterodyne sideband coordinate: Sky-to-IF inverse mapping drops the sideband sign · case 01
The adapter reports an incorrect inverse if while other fields remain valid.
Heterodyne sideband coordinate: Sky-to-IF inverse mapping drops the sideband sign · case 02
The adapter reports an incorrect inverse if while other fields remain valid.
Heterodyne sideband coordinate: Sky-to-IF inverse mapping drops the sideband sign · case 03
The adapter reports an incorrect inverse if while other fields remain valid.
Heterodyne sideband coordinate: Sky-to-IF inverse mapping drops the sideband sign · case 04
The adapter reports an incorrect inverse if while other fields remain valid.
Heterodyne sideband coordinate: Sky-to-IF inverse mapping drops the sideband sign · case 05
The adapter reports an incorrect inverse if 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 ↗