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
Cylindrical Earth shadow test: The shadow boundary is treated as sunlit · case 01
A satellite exactly on the shadow cylinder is reported sunlit.
Cylindrical Earth shadow test: The shadow boundary is treated as sunlit · case 02
A satellite exactly on the shadow cylinder is reported sunlit.
Cylindrical Earth shadow test: The shadow boundary is treated as sunlit · case 03
A satellite exactly on the shadow cylinder is reported sunlit.
Cylindrical Earth shadow test: The shadow boundary is treated as sunlit · case 04
A satellite exactly on the shadow cylinder is reported sunlit.
Cylindrical Earth shadow test: The shadow boundary is treated as sunlit · case 05
A satellite exactly on the shadow cylinder is reported sunlit.
Elliptic time of flight between anomalies: Kepler equation mixes true and eccentric anomaly · case 01
Durations are wrong away from the apsides of eccentric orbits.
Elliptic time of flight between anomalies: Kepler equation mixes true and eccentric anomaly · case 02
Durations are wrong away from the apsides of eccentric orbits.
Elliptic time of flight between anomalies: Kepler equation mixes true and eccentric anomaly · case 03
Durations are wrong away from the apsides of eccentric orbits.
Elliptic time of flight between anomalies: Kepler equation mixes true and eccentric anomaly · case 04
Durations are wrong away from the apsides of eccentric orbits.
Elliptic time of flight between anomalies: Kepler equation mixes true and eccentric anomaly · case 05
Durations are wrong away from the apsides of eccentric orbits.
Elliptic time of flight between anomalies: Arcs crossing periapsis get negative durations · case 01
Flights through periapsis report negative time.
Elliptic time of flight between anomalies: Arcs crossing periapsis get negative durations · case 02
Flights through periapsis report negative time.
Elliptic time of flight between anomalies: Arcs crossing periapsis get negative durations · case 03
Flights through periapsis report negative time.
Elliptic time of flight between anomalies: Arcs crossing periapsis get negative durations · case 04
Flights through periapsis report negative time.
Elliptic time of flight between anomalies: Arcs crossing periapsis get negative durations · case 05
Flights through periapsis report negative time.
Elliptic time of flight between anomalies: Mean anomaly adds the eccentric term · case 01
Durations near periapsis are too long.
Elliptic time of flight between anomalies: Mean anomaly adds the eccentric term · case 02
Durations near periapsis are too long.
Elliptic time of flight between anomalies: Mean anomaly adds the eccentric term · case 03
Durations near periapsis are too long.
Elliptic time of flight between anomalies: Mean anomaly adds the eccentric term · case 04
Durations near periapsis are too long.
Elliptic time of flight between anomalies: Mean anomaly adds the eccentric term · case 05
Durations near periapsis are too long.
Elliptic time of flight between anomalies: Mean motion uses a squared axis · case 01
Durations scale with the wrong power of the orbit size.
Elliptic time of flight between anomalies: Mean motion uses a squared axis · case 02
Durations scale with the wrong power of the orbit size.
Elliptic time of flight between anomalies: Mean motion uses a squared axis · case 03
Durations scale with the wrong power of the orbit size.
Elliptic time of flight between anomalies: Mean motion uses a squared axis · case 04
Durations scale with the wrong power of the orbit size.
Elliptic time of flight between anomalies: Mean motion uses a squared axis · case 05
Durations scale with the wrong power of the orbit size.
Exponential atmosphere drag: Density band is the lowest band below the altitude · case 01
Upper-atmosphere densities are extrapolated from sea level.
Exponential atmosphere drag: Density band is the lowest band below the altitude · case 02
Upper-atmosphere densities are extrapolated from sea level.
Exponential atmosphere drag: Density band is the lowest band below the altitude · case 03
Upper-atmosphere densities are extrapolated from sea level.
Exponential atmosphere drag: Density band is the lowest band below the altitude · case 04
Upper-atmosphere densities are extrapolated from sea level.
Exponential atmosphere drag: Density band is the lowest band below the altitude · case 05
Upper-atmosphere densities are extrapolated from sea level.
Exponential atmosphere drag: Exponential decay is measured from sea level · case 01
Density is vanishingly small in every upper band.
Exponential atmosphere drag: Exponential decay is measured from sea level · case 02
Density is vanishingly small in every upper band.
Exponential atmosphere drag: Exponential decay is measured from sea level · case 03
Density is vanishingly small in every upper band.
Exponential atmosphere drag: Exponential decay is measured from sea level · case 04
Density is vanishingly small in every upper band.
Exponential atmosphere drag: Exponential decay is measured from sea level · case 05
Density is vanishingly small in every upper band.
Exponential atmosphere drag: Orbital speed in km/s is squared without conversion · case 01
Drag is a million times too small.
Exponential atmosphere drag: Orbital speed in km/s is squared without conversion · case 02
Drag is a million times too small.
Exponential atmosphere drag: Orbital speed in km/s is squared without conversion · case 03
Drag is a million times too small.
Exponential atmosphere drag: Orbital speed in km/s is squared without conversion · case 04
Drag is a million times too small.
Exponential atmosphere drag: Orbital speed in km/s is squared without conversion · case 05
Drag is a million times too small.
Exponential atmosphere drag: Area-to-mass ratio is inverted · case 01
Dense small satellites decay fastest.
Exponential atmosphere drag: Area-to-mass ratio is inverted · case 02
Dense small satellites decay fastest.
Exponential atmosphere drag: Area-to-mass ratio is inverted · case 03
Dense small satellites decay fastest.
Exponential atmosphere drag: Area-to-mass ratio is inverted · case 04
Dense small satellites decay fastest.
Exponential atmosphere drag: Area-to-mass ratio is inverted · case 05
Dense small satellites decay fastest.
Exponential atmosphere drag: Altitudes below the table use the lowest band · case 01
Out-of-range altitudes silently extrapolate.
Exponential atmosphere drag: Altitudes below the table use the lowest band · case 02
Out-of-range altitudes silently extrapolate.
Exponential atmosphere drag: Altitudes below the table use the lowest band · case 03
Out-of-range altitudes silently extrapolate.
Exponential atmosphere drag: Altitudes below the table use the lowest band · case 04
Out-of-range altitudes silently extrapolate.
Exponential atmosphere drag: Altitudes below the table use the lowest band · case 05
Out-of-range altitudes silently extrapolate.
Clohessy-Wiltshire relative motion: Along-track velocity couples into radial motion with the wrong sign · case 01
A prograde burn appears to lower the chaser.
Clohessy-Wiltshire relative motion: Along-track velocity couples into radial motion with the wrong sign · case 02
A prograde burn appears to lower the chaser.
Clohessy-Wiltshire relative motion: Along-track velocity couples into radial motion with the wrong sign · case 03
A prograde burn appears to lower the chaser.
Clohessy-Wiltshire relative motion: Along-track velocity couples into radial motion with the wrong sign · case 04
A prograde burn appears to lower the chaser.
Clohessy-Wiltshire relative motion: Along-track velocity couples into radial motion with the wrong sign · case 05
A prograde burn appears to lower the chaser.
Clohessy-Wiltshire relative motion: Along-track secular drift is missing the 1/n scale · case 01
Along-track drift from a velocity offset is scaled by n.
Clohessy-Wiltshire relative motion: Along-track secular drift is missing the 1/n scale · case 02
Along-track drift from a velocity offset is scaled by n.
Clohessy-Wiltshire relative motion: Along-track secular drift is missing the 1/n scale · case 03
Along-track drift from a velocity offset is scaled by n.
Clohessy-Wiltshire relative motion: Along-track secular drift is missing the 1/n scale · case 04
Along-track drift from a velocity offset is scaled by n.
Clohessy-Wiltshire relative motion: Along-track secular drift is missing the 1/n scale · case 05
Along-track drift from a velocity offset is scaled by n.
Clohessy-Wiltshire relative motion: Cross-track velocity term lacks the 1/n scale · case 01
Out-of-plane excursions are scaled by the mean motion.
Clohessy-Wiltshire relative motion: Cross-track velocity term lacks the 1/n scale · case 02
Out-of-plane excursions are scaled by the mean motion.
Clohessy-Wiltshire relative motion: Cross-track velocity term lacks the 1/n scale · case 03
Out-of-plane excursions are scaled by the mean motion.
Clohessy-Wiltshire relative motion: Cross-track velocity term lacks the 1/n scale · case 04
Out-of-plane excursions are scaled by the mean motion.
Clohessy-Wiltshire relative motion: Cross-track velocity term lacks the 1/n scale · case 05
Out-of-plane excursions are scaled by the mean motion.
Clohessy-Wiltshire relative motion: Radial offset drives along-track velocity with the wrong sign · case 01
A lower chaser appears to fall behind.
Clohessy-Wiltshire relative motion: Radial offset drives along-track velocity with the wrong sign · case 02
A lower chaser appears to fall behind.
Clohessy-Wiltshire relative motion: Radial offset drives along-track velocity with the wrong sign · case 03
A lower chaser appears to fall behind.
Clohessy-Wiltshire relative motion: Radial offset drives along-track velocity with the wrong sign · case 04
A lower chaser appears to fall behind.
Clohessy-Wiltshire relative motion: Radial offset drives along-track velocity with the wrong sign · case 05
A lower chaser appears to fall behind.
Clohessy-Wiltshire relative motion: Radial velocity from a radial offset uses cosine · case 01
Radial velocity is out of phase with the radial displacement.
Clohessy-Wiltshire relative motion: Radial velocity from a radial offset uses cosine · case 02
Radial velocity is out of phase with the radial displacement.
Clohessy-Wiltshire relative motion: Radial velocity from a radial offset uses cosine · case 03
Radial velocity is out of phase with the radial displacement.
Clohessy-Wiltshire relative motion: Radial velocity from a radial offset uses cosine · case 04
Radial velocity is out of phase with the radial displacement.
Clohessy-Wiltshire relative motion: Radial velocity from a radial offset uses cosine · case 05
Radial velocity is out of phase with the radial displacement.
Radial in-track cross-track projection: In-track axis points backwards · case 01
Deputies ahead of the chief are reported behind it.
Radial in-track cross-track projection: In-track axis points backwards · case 02
Deputies ahead of the chief are reported behind it.
Radial in-track cross-track projection: In-track axis points backwards · case 03
Deputies ahead of the chief are reported behind it.
Radial in-track cross-track projection: In-track axis points backwards · case 04
Deputies ahead of the chief are reported behind it.
Radial in-track cross-track projection: In-track axis points backwards · case 05
Deputies ahead of the chief are reported behind it.
Radial in-track cross-track projection: Cross-track axis is not normalized · case 01
Cross-track offsets are scaled by the angular momentum magnitude.
Radial in-track cross-track projection: Cross-track axis is not normalized · case 02
Cross-track offsets are scaled by the angular momentum magnitude.
Radial in-track cross-track projection: Cross-track axis is not normalized · case 03
Cross-track offsets are scaled by the angular momentum magnitude.
Radial in-track cross-track projection: Cross-track axis is not normalized · case 04
Cross-track offsets are scaled by the angular momentum magnitude.
Radial in-track cross-track projection: Cross-track axis is not normalized · case 05
Cross-track offsets are scaled by the angular momentum magnitude.
Radial in-track cross-track projection: Relative vector points from deputy to chief · case 01
Every RIC component has the wrong sign.
Radial in-track cross-track projection: Relative vector points from deputy to chief · case 02
Every RIC component has the wrong sign.
Radial in-track cross-track projection: Relative vector points from deputy to chief · case 03
Every RIC component has the wrong sign.
Radial in-track cross-track projection: Relative vector points from deputy to chief · case 04
Every RIC component has the wrong sign.
Radial in-track cross-track projection: Relative vector points from deputy to chief · case 05
Every RIC component has the wrong sign.
Radial in-track cross-track projection: Radial axis is the raw position vector · case 01
Radial offsets are multiplied by the orbit radius.
Radial in-track cross-track projection: Radial axis is the raw position vector · case 02
Radial offsets are multiplied by the orbit radius.
Radial in-track cross-track projection: Radial axis is the raw position vector · case 03
Radial offsets are multiplied by the orbit radius.
Radial in-track cross-track projection: Radial axis is the raw position vector · case 04
Radial offsets are multiplied by the orbit radius.
Radial in-track cross-track projection: Radial axis is the raw position vector · case 05
Radial offsets are multiplied by the orbit radius.
Co-orbital phasing manoeuvre: Chaser raises its orbit to catch a target ahead · case 01
The target gets further ahead after the phasing orbit.
Co-orbital phasing manoeuvre: Chaser raises its orbit to catch a target ahead · case 02
The target gets further ahead after the phasing orbit.
Co-orbital phasing manoeuvre: Chaser raises its orbit to catch a target ahead · case 03
The target gets further ahead after the phasing orbit.
Co-orbital phasing manoeuvre: Chaser raises its orbit to catch a target ahead · case 04
The target gets further ahead after the phasing orbit.
Co-orbital phasing manoeuvre: Chaser raises its orbit to catch a target ahead · case 05
The target gets further ahead after the phasing orbit.
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 ↗