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
An inverse sensor pose negates translation in the wrong frame · case 01
An inverse sensor pose negates translation in the wrong frame.
An inverse sensor pose negates translation in the wrong frame · case 02
An inverse sensor pose negates translation in the wrong frame.
An inverse sensor pose negates translation in the wrong frame · case 03
An inverse sensor pose negates translation in the wrong frame.
An inverse sensor pose negates translation in the wrong frame · case 04
An inverse sensor pose negates translation in the wrong frame.
An inverse sensor pose negates translation in the wrong frame · case 05
An inverse sensor pose negates translation in the wrong frame.
A rigid transform translates a direction vector · case 01
A rigid transform translates a direction vector.
A rigid transform translates a direction vector · case 02
A rigid transform translates a direction vector.
A rigid transform translates a direction vector · case 03
A rigid transform translates a direction vector.
A rigid transform translates a direction vector · case 04
A rigid transform translates a direction vector.
A rigid transform translates a direction vector · case 05
A rigid transform translates a direction vector.
A mounted sensor offset is added in the world frame · case 01
A mounted sensor offset is added in the world frame.
A mounted sensor offset is added in the world frame · case 02
A mounted sensor offset is added in the world frame.
A mounted sensor offset is added in the world frame · case 03
A mounted sensor offset is added in the world frame.
A mounted sensor offset is added in the world frame · case 04
A mounted sensor offset is added in the world frame.
A mounted sensor offset is added in the world frame · case 05
A mounted sensor offset is added in the world frame.
A shifted velocity reference omits angular motion of the lever arm · case 01
A shifted velocity reference omits angular motion of the lever arm.
A shifted velocity reference omits angular motion of the lever arm · case 02
A shifted velocity reference omits angular motion of the lever arm.
A shifted velocity reference omits angular motion of the lever arm · case 03
A shifted velocity reference omits angular motion of the lever arm.
A shifted velocity reference omits angular motion of the lever arm · case 04
A shifted velocity reference omits angular motion of the lever arm.
A shifted velocity reference omits angular motion of the lever arm · case 05
A shifted velocity reference omits angular motion of the lever arm.
A force torque is transferred to a new origin with the wrong moment arm · case 01
A force torque is transferred to a new origin with the wrong moment arm.
A force torque is transferred to a new origin with the wrong moment arm · case 02
A force torque is transferred to a new origin with the wrong moment arm.
A force torque is transferred to a new origin with the wrong moment arm · case 03
A force torque is transferred to a new origin with the wrong moment arm.
A force torque is transferred to a new origin with the wrong moment arm · case 04
A force torque is transferred to a new origin with the wrong moment arm.
A force torque is transferred to a new origin with the wrong moment arm · case 05
A force torque is transferred to a new origin with the wrong moment arm.
A scalar-last quaternion is read by a scalar-first adapter · case 01
A scalar-last quaternion is read by a scalar-first adapter.
A scalar-last quaternion is read by a scalar-first adapter · case 02
A scalar-last quaternion is read by a scalar-first adapter.
A scalar-last quaternion is read by a scalar-first adapter · case 03
A scalar-last quaternion is read by a scalar-first adapter.
A scalar-last quaternion is read by a scalar-first adapter · case 04
A scalar-last quaternion is read by a scalar-first adapter.
A scalar-last quaternion is read by a scalar-first adapter · case 05
A scalar-last quaternion is read by a scalar-first adapter.
Frame conversion drops the sign of cross-axis covariance · case 01
Frame conversion drops the sign of cross-axis covariance.
Frame conversion drops the sign of cross-axis covariance · case 02
Frame conversion drops the sign of cross-axis covariance.
Frame conversion drops the sign of cross-axis covariance · case 03
Frame conversion drops the sign of cross-axis covariance.
Frame conversion drops the sign of cross-axis covariance · case 04
Frame conversion drops the sign of cross-axis covariance.
Frame conversion drops the sign of cross-axis covariance · case 05
Frame conversion drops the sign of cross-axis covariance.
A static mounting transform expires like a sampled pose · case 01
A static mounting transform expires like a sampled pose.
A static mounting transform expires like a sampled pose · case 02
A static mounting transform expires like a sampled pose.
A static mounting transform expires like a sampled pose · case 03
A static mounting transform expires like a sampled pose.
A static mounting transform expires like a sampled pose · case 04
A static mounting transform expires like a sampled pose.
A static mounting transform expires like a sampled pose · case 05
A static mounting transform expires like a sampled pose.
A frame label is changed without transforming its coordinates · case 01
A frame label is changed without transforming its coordinates.
A frame label is changed without transforming its coordinates · case 02
A frame label is changed without transforming its coordinates.
A frame label is changed without transforming its coordinates · case 03
A frame label is changed without transforming its coordinates.
A frame label is changed without transforming its coordinates · case 04
A frame label is changed without transforming its coordinates.
A frame label is changed without transforming its coordinates · case 05
A frame label is changed without transforming its coordinates.
A right-ascension adapter ignores the declared hours unit · case 01
A right-ascension adapter ignores the declared hours unit.
A right-ascension adapter ignores the declared hours unit · case 02
A right-ascension adapter ignores the declared hours unit.
A right-ascension adapter ignores the declared hours unit · case 03
A right-ascension adapter ignores the declared hours unit.
A right-ascension adapter ignores the declared hours unit · case 04
A right-ascension adapter ignores the declared hours unit.
A right-ascension adapter ignores the declared hours unit · case 05
A right-ascension adapter ignores the declared hours unit.
A negative-zero declination loses its hemisphere · case 01
A negative-zero declination loses its hemisphere.
A negative-zero declination loses its hemisphere · case 02
A negative-zero declination loses its hemisphere.
A negative-zero declination loses its hemisphere · case 03
A negative-zero declination loses its hemisphere.
A negative-zero declination loses its hemisphere · case 04
A negative-zero declination loses its hemisphere.
A negative-zero declination loses its hemisphere · case 05
A negative-zero declination loses its hemisphere.
A projected catalog motion is propagated as raw coordinate motion · case 01
A projected catalog motion is propagated as raw coordinate motion.
A projected catalog motion is propagated as raw coordinate motion · case 02
A projected catalog motion is propagated as raw coordinate motion.
A projected catalog motion is propagated as raw coordinate motion · case 03
A projected catalog motion is propagated as raw coordinate motion.
A projected catalog motion is propagated as raw coordinate motion · case 04
A projected catalog motion is propagated as raw coordinate motion.
A projected catalog motion is propagated as raw coordinate motion · case 05
A projected catalog motion is propagated as raw coordinate motion.
Propagation confuses a catalog reference epoch with its observation epoch · case 01
Propagation confuses a catalog reference epoch with its observation epoch.
Propagation confuses a catalog reference epoch with its observation epoch · case 02
Propagation confuses a catalog reference epoch with its observation epoch.
Propagation confuses a catalog reference epoch with its observation epoch · case 03
Propagation confuses a catalog reference epoch with its observation epoch.
Propagation confuses a catalog reference epoch with its observation epoch · case 04
Propagation confuses a catalog reference epoch with its observation epoch.
Propagation confuses a catalog reference epoch with its observation epoch · case 05
Propagation confuses a catalog reference epoch with its observation epoch.
An absent catalog distance becomes a fabricated spatial point · case 01
An absent catalog distance becomes a fabricated spatial point.
An absent catalog distance becomes a fabricated spatial point · case 02
An absent catalog distance becomes a fabricated spatial point.
An absent catalog distance becomes a fabricated spatial point · case 03
An absent catalog distance becomes a fabricated spatial point.
An absent catalog distance becomes a fabricated spatial point · case 04
An absent catalog distance becomes a fabricated spatial point.
An absent catalog distance becomes a fabricated spatial point · case 05
An absent catalog distance becomes a fabricated spatial point.
Radio and optical velocity conventions use different frequency denominators · case 01
Radio and optical velocity conventions use different frequency denominators.
Radio and optical velocity conventions use different frequency denominators · case 02
Radio and optical velocity conventions use different frequency denominators.
Radio and optical velocity conventions use different frequency denominators · case 03
Radio and optical velocity conventions use different frequency denominators.
Radio and optical velocity conventions use different frequency denominators · case 04
Radio and optical velocity conventions use different frequency denominators.
Radio and optical velocity conventions use different frequency denominators · case 05
Radio and optical velocity conventions use different frequency denominators.
A FITS CD matrix receives the CDELT axis scale a second time · case 01
A FITS CD matrix receives the CDELT axis scale a second time.
A FITS CD matrix receives the CDELT axis scale a second time · case 02
A FITS CD matrix receives the CDELT axis scale a second time.
A FITS CD matrix receives the CDELT axis scale a second time · case 03
A FITS CD matrix receives the CDELT axis scale a second time.
A FITS CD matrix receives the CDELT axis scale a second time · case 04
A FITS CD matrix receives the CDELT axis scale a second time.
A FITS CD matrix receives the CDELT axis scale a second time · case 05
A FITS CD matrix receives the CDELT axis scale a second time.
SIP distortion is evaluated after the linear WCS transform · case 01
SIP distortion is evaluated after the linear WCS transform.
SIP distortion is evaluated after the linear WCS transform · case 02
SIP distortion is evaluated after the linear WCS transform.
SIP distortion is evaluated after the linear WCS transform · case 03
SIP distortion is evaluated after the linear WCS transform.
SIP distortion is evaluated after the linear WCS transform · case 04
SIP distortion is evaluated after the linear WCS transform.
SIP distortion is evaluated after the linear WCS transform · case 05
SIP distortion is evaluated after the linear WCS transform.
Optical barycentric velocity correction omits the redshift cross term · case 01
Optical barycentric velocity correction omits the redshift cross term.
Optical barycentric velocity correction omits the redshift cross term · case 02
Optical barycentric velocity correction omits the redshift cross term.
Optical barycentric velocity correction omits the redshift cross term · case 03
Optical barycentric velocity correction omits the redshift cross term.
Optical barycentric velocity correction omits the redshift cross term · case 04
Optical barycentric velocity correction omits the redshift cross term.
Optical barycentric velocity correction omits the redshift cross term · case 05
Optical barycentric velocity correction omits the redshift cross term.
A via-way prohibition blocks unrelated approaches · case 01
A via-way prohibition blocks unrelated approaches in the controlled route-policy fixture.
A via-way prohibition blocks unrelated approaches · case 02
A via-way prohibition blocks unrelated approaches in the controlled route-policy fixture.
A via-way prohibition blocks unrelated approaches · case 03
A via-way prohibition blocks unrelated approaches in the controlled route-policy fixture.
A via-way prohibition blocks unrelated approaches · case 04
A via-way prohibition blocks unrelated approaches in the controlled route-policy fixture.
A via-way prohibition blocks unrelated approaches · case 05
A via-way prohibition blocks unrelated approaches in the controlled route-policy fixture.
An only-turn rule leaks onto other incoming roads · case 01
An only-turn rule leaks onto other incoming roads in the controlled route-policy fixture.
An only-turn rule leaks onto other incoming roads · case 02
An only-turn rule leaks onto other incoming roads in the controlled route-policy fixture.
An only-turn rule leaks onto other incoming roads · case 03
An only-turn rule leaks onto other incoming roads in the controlled route-policy fixture.
An only-turn rule leaks onto other incoming roads · case 04
An only-turn rule leaks onto other incoming roads in the controlled route-policy fixture.
An only-turn rule leaks onto other incoming roads · case 05
An only-turn rule leaks onto other incoming roads in the controlled route-policy fixture.
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 ↗