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
Astrometric parallax calibration: Parallax calibration removes rather than contributes zero-point uncertainty · case 01
The adapter reports an incorrect calibrated variance while other fields remain valid.
Astrometric parallax calibration: Parallax calibration removes rather than contributes zero-point uncertainty · case 02
The adapter reports an incorrect calibrated variance while other fields remain valid.
Astrometric parallax calibration: Parallax calibration removes rather than contributes zero-point uncertainty · case 03
The adapter reports an incorrect calibrated variance while other fields remain valid.
Astrometric parallax calibration: Parallax calibration removes rather than contributes zero-point uncertainty · case 04
The adapter reports an incorrect calibrated variance while other fields remain valid.
Astrometric parallax calibration: Parallax calibration removes rather than contributes zero-point uncertainty · case 05
The adapter reports an incorrect calibrated variance while other fields remain valid.
Astrometric parallax calibration: Corrected parallax color derivative is replaced by the color correction value · case 01
The adapter reports an incorrect color sensitivity while other fields remain valid.
Astrometric parallax calibration: Corrected parallax color derivative is replaced by the color correction value · case 02
The adapter reports an incorrect color sensitivity while other fields remain valid.
Astrometric parallax calibration: Corrected parallax color derivative is replaced by the color correction value · case 03
The adapter reports an incorrect color sensitivity while other fields remain valid.
Astrometric parallax calibration: Corrected parallax color derivative is replaced by the color correction value · case 04
The adapter reports an incorrect color sensitivity while other fields remain valid.
Astrometric parallax calibration: Corrected parallax color derivative is replaced by the color correction value · case 05
The adapter reports an incorrect color sensitivity while other fields remain valid.
Astrometric parallax calibration: Color zero-point uncertainty uses the wrong reference-centered Jacobian · case 01
The adapter reports an incorrect zero point variance while other fields remain valid.
Astrometric parallax calibration: Color zero-point uncertainty uses the wrong reference-centered Jacobian · case 02
The adapter reports an incorrect zero point variance while other fields remain valid.
Astrometric parallax calibration: Color zero-point uncertainty uses the wrong reference-centered Jacobian · case 03
The adapter reports an incorrect zero point variance while other fields remain valid.
Astrometric parallax calibration: Color zero-point uncertainty uses the wrong reference-centered Jacobian · case 04
The adapter reports an incorrect zero point variance while other fields remain valid.
Astrometric parallax calibration: Color zero-point uncertainty uses the wrong reference-centered Jacobian · case 05
The adapter reports an incorrect zero point variance while other fields remain valid.
Astrometric parallax calibration: Restoring catalog parallax reapplies rather than reverses calibration · case 01
The adapter reports an incorrect uncalibrated roundtrip while other fields remain valid.
Astrometric parallax calibration: Restoring catalog parallax reapplies rather than reverses calibration · case 02
The adapter reports an incorrect uncalibrated roundtrip while other fields remain valid.
Astrometric parallax calibration: Restoring catalog parallax reapplies rather than reverses calibration · case 03
The adapter reports an incorrect uncalibrated roundtrip while other fields remain valid.
Astrometric parallax calibration: Restoring catalog parallax reapplies rather than reverses calibration · case 04
The adapter reports an incorrect uncalibrated roundtrip while other fields remain valid.
Astrometric parallax calibration: Restoring catalog parallax reapplies rather than reverses calibration · case 05
The adapter reports an incorrect uncalibrated roundtrip while other fields remain valid.
Ephemeris relative state: Barycentric target position is mislabeled as geocentric · case 01
The adapter reports an incorrect geocentric position while other fields remain valid.
Ephemeris relative state: Barycentric target position is mislabeled as geocentric · case 02
The adapter reports an incorrect geocentric position while other fields remain valid.
Ephemeris relative state: Barycentric target position is mislabeled as geocentric · case 03
The adapter reports an incorrect geocentric position while other fields remain valid.
Ephemeris relative state: Barycentric target position is mislabeled as geocentric · case 04
The adapter reports an incorrect geocentric position while other fields remain valid.
Ephemeris relative state: Barycentric target position is mislabeled as geocentric · case 05
The adapter reports an incorrect geocentric position while other fields remain valid.
Ephemeris relative state: Relative ephemeris velocity subtracts a position component · case 01
The adapter reports an incorrect geocentric velocity while other fields remain valid.
Ephemeris relative state: Relative ephemeris velocity subtracts a position component · case 02
The adapter reports an incorrect geocentric velocity while other fields remain valid.
Ephemeris relative state: Relative ephemeris velocity subtracts a position component · case 03
The adapter reports an incorrect geocentric velocity while other fields remain valid.
Ephemeris relative state: Relative ephemeris velocity subtracts a position component · case 04
The adapter reports an incorrect geocentric velocity while other fields remain valid.
Ephemeris relative state: Relative ephemeris velocity subtracts a position component · case 05
The adapter reports an incorrect geocentric velocity while other fields remain valid.
Ephemeris relative state: Topocentric station displacement replaces the geocentric origin · case 01
The adapter reports an incorrect observer position while other fields remain valid.
Ephemeris relative state: Topocentric station displacement replaces the geocentric origin · case 02
The adapter reports an incorrect observer position while other fields remain valid.
Ephemeris relative state: Topocentric station displacement replaces the geocentric origin · case 03
The adapter reports an incorrect observer position while other fields remain valid.
Ephemeris relative state: Topocentric station displacement replaces the geocentric origin · case 04
The adapter reports an incorrect observer position while other fields remain valid.
Ephemeris relative state: Topocentric station displacement replaces the geocentric origin · case 05
The adapter reports an incorrect observer position while other fields remain valid.
Ephemeris relative state: Observer state omits station rotational velocity · case 01
The adapter reports an incorrect observer velocity while other fields remain valid.
Ephemeris relative state: Observer state omits station rotational velocity · case 02
The adapter reports an incorrect observer velocity while other fields remain valid.
Ephemeris relative state: Observer state omits station rotational velocity · case 03
The adapter reports an incorrect observer velocity while other fields remain valid.
Ephemeris relative state: Observer state omits station rotational velocity · case 04
The adapter reports an incorrect observer velocity while other fields remain valid.
Ephemeris relative state: Observer state omits station rotational velocity · case 05
The adapter reports an incorrect observer velocity while other fields remain valid.
Ephemeris relative state: Topocentric target translation uses the wrong station sign · case 01
The adapter reports an incorrect topocentric position while other fields remain valid.
Ephemeris relative state: Topocentric target translation uses the wrong station sign · case 02
The adapter reports an incorrect topocentric position while other fields remain valid.
Ephemeris relative state: Topocentric target translation uses the wrong station sign · case 03
The adapter reports an incorrect topocentric position while other fields remain valid.
Ephemeris relative state: Topocentric target translation uses the wrong station sign · case 04
The adapter reports an incorrect topocentric position while other fields remain valid.
Ephemeris relative state: Topocentric target translation uses the wrong station sign · case 05
The adapter reports an incorrect topocentric position while other fields remain valid.
Ephemeris relative state: Retarded barycentric target position is propagated with relative rather than target velocity · case 01
The adapter reports an incorrect retarded target position while other fields remain valid.
Ephemeris relative state: Retarded barycentric target position is propagated with relative rather than target velocity · case 02
The adapter reports an incorrect retarded target position while other fields remain valid.
Ephemeris relative state: Retarded barycentric target position is propagated with relative rather than target velocity · case 03
The adapter reports an incorrect retarded target position while other fields remain valid.
Ephemeris relative state: Retarded barycentric target position is propagated with relative rather than target velocity · case 04
The adapter reports an incorrect retarded target position while other fields remain valid.
Ephemeris relative state: Retarded barycentric target position is propagated with relative rather than target velocity · case 05
The adapter reports an incorrect retarded target position while other fields remain valid.
Ephemeris hermite state: Ephemeris midpoint interpolation drops time-scaled endpoint velocity information · case 01
The adapter reports an incorrect midpoint position while other fields remain valid.
Ephemeris hermite state: Ephemeris midpoint interpolation drops time-scaled endpoint velocity information · case 02
The adapter reports an incorrect midpoint position while other fields remain valid.
Ephemeris hermite state: Ephemeris midpoint interpolation drops time-scaled endpoint velocity information · case 03
The adapter reports an incorrect midpoint position while other fields remain valid.
Ephemeris hermite state: Ephemeris midpoint interpolation drops time-scaled endpoint velocity information · case 04
The adapter reports an incorrect midpoint position while other fields remain valid.
Ephemeris hermite state: Ephemeris midpoint interpolation drops time-scaled endpoint velocity information · case 05
The adapter reports an incorrect midpoint position while other fields remain valid.
Ephemeris hermite state: Ephemeris derivative is left in normalized interval units · case 01
The adapter reports an incorrect midpoint velocity while other fields remain valid.
Ephemeris hermite state: Ephemeris derivative is left in normalized interval units · case 02
The adapter reports an incorrect midpoint velocity while other fields remain valid.
Ephemeris hermite state: Ephemeris derivative is left in normalized interval units · case 03
The adapter reports an incorrect midpoint velocity while other fields remain valid.
Ephemeris hermite state: Ephemeris derivative is left in normalized interval units · case 04
The adapter reports an incorrect midpoint velocity while other fields remain valid.
Ephemeris hermite state: Ephemeris derivative is left in normalized interval units · case 05
The adapter reports an incorrect midpoint velocity while other fields remain valid.
Ephemeris hermite state: Left endpoint velocity is not converted into a normalized ephemeris tangent · case 01
The adapter reports an incorrect left tangent while other fields remain valid.
Ephemeris hermite state: Left endpoint velocity is not converted into a normalized ephemeris tangent · case 02
The adapter reports an incorrect left tangent while other fields remain valid.
Ephemeris hermite state: Left endpoint velocity is not converted into a normalized ephemeris tangent · case 03
The adapter reports an incorrect left tangent while other fields remain valid.
Ephemeris hermite state: Left endpoint velocity is not converted into a normalized ephemeris tangent · case 04
The adapter reports an incorrect left tangent while other fields remain valid.
Ephemeris hermite state: Left endpoint velocity is not converted into a normalized ephemeris tangent · case 05
The adapter reports an incorrect left tangent while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris tangent is assigned an inward-facing sign · case 01
The adapter reports an incorrect right tangent while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris tangent is assigned an inward-facing sign · case 02
The adapter reports an incorrect right tangent while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris tangent is assigned an inward-facing sign · case 03
The adapter reports an incorrect right tangent while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris tangent is assigned an inward-facing sign · case 04
The adapter reports an incorrect right tangent while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris tangent is assigned an inward-facing sign · case 05
The adapter reports an incorrect right tangent while other fields remain valid.
Ephemeris hermite state: Endpoint ephemeris acceleration mixes normalized units and endpoint tangent weights · case 01
The adapter reports an incorrect left acceleration while other fields remain valid.
Ephemeris hermite state: Endpoint ephemeris acceleration mixes normalized units and endpoint tangent weights · case 02
The adapter reports an incorrect left acceleration while other fields remain valid.
Ephemeris hermite state: Endpoint ephemeris acceleration mixes normalized units and endpoint tangent weights · case 03
The adapter reports an incorrect left acceleration while other fields remain valid.
Ephemeris hermite state: Endpoint ephemeris acceleration mixes normalized units and endpoint tangent weights · case 04
The adapter reports an incorrect left acceleration while other fields remain valid.
Ephemeris hermite state: Endpoint ephemeris acceleration mixes normalized units and endpoint tangent weights · case 05
The adapter reports an incorrect left acceleration while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris acceleration reuses left endpoint curvature weights · case 01
The adapter reports an incorrect right acceleration while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris acceleration reuses left endpoint curvature weights · case 02
The adapter reports an incorrect right acceleration while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris acceleration reuses left endpoint curvature weights · case 03
The adapter reports an incorrect right acceleration while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris acceleration reuses left endpoint curvature weights · case 04
The adapter reports an incorrect right acceleration while other fields remain valid.
Ephemeris hermite state: Right endpoint ephemeris acceleration reuses left endpoint curvature weights · case 05
The adapter reports an incorrect right acceleration while other fields remain valid.
Orbital phase labels: Folded orbital phase applies the phase-zero offset in the wrong direction · case 01
The adapter reports an incorrect phase while other fields remain valid.
Orbital phase labels: Folded orbital phase applies the phase-zero offset in the wrong direction · case 02
The adapter reports an incorrect phase while other fields remain valid.
Orbital phase labels: Folded orbital phase applies the phase-zero offset in the wrong direction · case 03
The adapter reports an incorrect phase while other fields remain valid.
Orbital phase labels: Folded orbital phase applies the phase-zero offset in the wrong direction · case 04
The adapter reports an incorrect phase while other fields remain valid.
Orbital phase labels: Folded orbital phase applies the phase-zero offset in the wrong direction · case 05
The adapter reports an incorrect phase while other fields remain valid.
Orbital phase labels: Negative-time orbital cycle labeling truncates instead of flooring shifted cycles · case 01
The adapter reports an incorrect cycle index while other fields remain valid.
Orbital phase labels: Negative-time orbital cycle labeling truncates instead of flooring shifted cycles · case 02
The adapter reports an incorrect cycle index while other fields remain valid.
Orbital phase labels: Negative-time orbital cycle labeling truncates instead of flooring shifted cycles · case 03
The adapter reports an incorrect cycle index while other fields remain valid.
Orbital phase labels: Negative-time orbital cycle labeling truncates instead of flooring shifted cycles · case 04
The adapter reports an incorrect cycle index while other fields remain valid.
Orbital phase labels: Negative-time orbital cycle labeling truncates instead of flooring shifted cycles · case 05
The adapter reports an incorrect cycle index while other fields remain valid.
Orbital phase labels: Mean anomaly retains full elapsed revolutions rather than folded angle · case 01
The adapter reports an incorrect mean anomaly while other fields remain valid.
Orbital phase labels: Mean anomaly retains full elapsed revolutions rather than folded angle · case 02
The adapter reports an incorrect mean anomaly while other fields remain valid.
Orbital phase labels: Mean anomaly retains full elapsed revolutions rather than folded angle · case 03
The adapter reports an incorrect mean anomaly while other fields remain valid.
Orbital phase labels: Mean anomaly retains full elapsed revolutions rather than folded angle · case 04
The adapter reports an incorrect mean anomaly while other fields remain valid.
Orbital phase labels: Mean anomaly retains full elapsed revolutions rather than folded angle · case 05
The adapter reports an incorrect mean anomaly while other fields remain valid.
Orbital phase labels: Phase-zero epoch conversion treats cycle offset as an elapsed time · case 01
The adapter reports an incorrect phase zero epoch while other fields remain valid.
Orbital phase labels: Phase-zero epoch conversion treats cycle offset as an elapsed time · case 02
The adapter reports an incorrect phase zero epoch while other fields remain valid.
Orbital phase labels: Phase-zero epoch conversion treats cycle offset as an elapsed time · case 03
The adapter reports an incorrect phase zero epoch while other fields remain valid.
Orbital phase labels: Phase-zero epoch conversion treats cycle offset as an elapsed time · case 04
The adapter reports an incorrect phase zero epoch while other fields remain valid.
Orbital phase labels: Phase-zero epoch conversion treats cycle offset as an elapsed time · case 05
The adapter reports an incorrect phase zero epoch 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 ↗