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
Orbital phase labels: Eclipse-centered phase omits the catalog phase-zero shift · case 01
The adapter reports an incorrect eclipse phase while other fields remain valid.
Orbital phase labels: Eclipse-centered phase omits the catalog phase-zero shift · case 02
The adapter reports an incorrect eclipse phase while other fields remain valid.
Orbital phase labels: Eclipse-centered phase omits the catalog phase-zero shift · case 03
The adapter reports an incorrect eclipse phase while other fields remain valid.
Orbital phase labels: Eclipse-centered phase omits the catalog phase-zero shift · case 04
The adapter reports an incorrect eclipse phase while other fields remain valid.
Orbital phase labels: Eclipse-centered phase omits the catalog phase-zero shift · case 05
The adapter reports an incorrect eclipse phase while other fields remain valid.
Orbital phase labels: Orbital phase rate is exported in mean-anomaly angular units · case 01
The adapter reports an incorrect phase rate while other fields remain valid.
Orbital phase labels: Orbital phase rate is exported in mean-anomaly angular units · case 02
The adapter reports an incorrect phase rate while other fields remain valid.
Orbital phase labels: Orbital phase rate is exported in mean-anomaly angular units · case 03
The adapter reports an incorrect phase rate while other fields remain valid.
Orbital phase labels: Orbital phase rate is exported in mean-anomaly angular units · case 04
The adapter reports an incorrect phase rate while other fields remain valid.
Orbital phase labels: Orbital phase rate is exported in mean-anomaly angular units · case 05
The adapter reports an incorrect phase rate while other fields remain valid.
Solar longitude conventions: Central-meridian-relative solar longitude is mislabeled as Carrington longitude · case 01
The adapter reports an incorrect carrington while other fields remain valid.
Solar longitude conventions: Central-meridian-relative solar longitude is mislabeled as Carrington longitude · case 02
The adapter reports an incorrect carrington while other fields remain valid.
Solar longitude conventions: Central-meridian-relative solar longitude is mislabeled as Carrington longitude · case 03
The adapter reports an incorrect carrington while other fields remain valid.
Solar longitude conventions: Central-meridian-relative solar longitude is mislabeled as Carrington longitude · case 04
The adapter reports an incorrect carrington while other fields remain valid.
Solar longitude conventions: Central-meridian-relative solar longitude is mislabeled as Carrington longitude · case 05
The adapter reports an incorrect carrington while other fields remain valid.
Solar longitude conventions: Inverse solar longitude conversion fails across the central-meridian wrap · case 01
The adapter reports an incorrect stonyhurst from carrington while other fields remain valid.
Solar longitude conventions: Inverse solar longitude conversion fails across the central-meridian wrap · case 02
The adapter reports an incorrect stonyhurst from carrington while other fields remain valid.
Solar longitude conventions: Inverse solar longitude conversion fails across the central-meridian wrap · case 03
The adapter reports an incorrect stonyhurst from carrington while other fields remain valid.
Solar longitude conventions: Inverse solar longitude conversion fails across the central-meridian wrap · case 04
The adapter reports an incorrect stonyhurst from carrington while other fields remain valid.
Solar longitude conventions: Inverse solar longitude conversion fails across the central-meridian wrap · case 05
The adapter reports an incorrect stonyhurst from carrington while other fields remain valid.
Solar longitude conventions: West-positive solar disk offsets are exported as east-positive image offsets · case 01
The adapter reports an incorrect image east offset while other fields remain valid.
Solar longitude conventions: West-positive solar disk offsets are exported as east-positive image offsets · case 02
The adapter reports an incorrect image east offset while other fields remain valid.
Solar longitude conventions: West-positive solar disk offsets are exported as east-positive image offsets · case 03
The adapter reports an incorrect image east offset while other fields remain valid.
Solar longitude conventions: West-positive solar disk offsets are exported as east-positive image offsets · case 04
The adapter reports an incorrect image east offset while other fields remain valid.
Solar longitude conventions: West-positive solar disk offsets are exported as east-positive image offsets · case 05
The adapter reports an incorrect image east offset while other fields remain valid.
Solar longitude conventions: Feature transport uses observer central-meridian rotation instead of feature rotation · case 01
The adapter reports an incorrect transported feature while other fields remain valid.
Solar longitude conventions: Feature transport uses observer central-meridian rotation instead of feature rotation · case 02
The adapter reports an incorrect transported feature while other fields remain valid.
Solar longitude conventions: Feature transport uses observer central-meridian rotation instead of feature rotation · case 03
The adapter reports an incorrect transported feature while other fields remain valid.
Solar longitude conventions: Feature transport uses observer central-meridian rotation instead of feature rotation · case 04
The adapter reports an incorrect transported feature while other fields remain valid.
Solar longitude conventions: Feature transport uses observer central-meridian rotation instead of feature rotation · case 05
The adapter reports an incorrect transported feature while other fields remain valid.
Solar longitude conventions: Relative solar longitude transport fails to remove central-meridian motion · case 01
The adapter reports an incorrect transported relative while other fields remain valid.
Solar longitude conventions: Relative solar longitude transport fails to remove central-meridian motion · case 02
The adapter reports an incorrect transported relative while other fields remain valid.
Solar longitude conventions: Relative solar longitude transport fails to remove central-meridian motion · case 03
The adapter reports an incorrect transported relative while other fields remain valid.
Solar longitude conventions: Relative solar longitude transport fails to remove central-meridian motion · case 04
The adapter reports an incorrect transported relative while other fields remain valid.
Solar longitude conventions: Relative solar longitude transport fails to remove central-meridian motion · case 05
The adapter reports an incorrect transported relative while other fields remain valid.
Solar longitude conventions: Solar central meridian is advanced by the feature rotation rate · case 01
The adapter reports an incorrect central meridian while other fields remain valid.
Solar longitude conventions: Solar central meridian is advanced by the feature rotation rate · case 02
The adapter reports an incorrect central meridian while other fields remain valid.
Solar longitude conventions: Solar central meridian is advanced by the feature rotation rate · case 03
The adapter reports an incorrect central meridian while other fields remain valid.
Solar longitude conventions: Solar central meridian is advanced by the feature rotation rate · case 04
The adapter reports an incorrect central meridian while other fields remain valid.
Solar longitude conventions: Solar central meridian is advanced by the feature rotation rate · case 05
The adapter reports an incorrect central meridian while other fields remain valid.
Solar disk image basis: Solar position-angle rotation applies the inverse east-axis convention · case 01
The adapter reports an incorrect helioprojective east while other fields remain valid.
Solar disk image basis: Solar position-angle rotation applies the inverse east-axis convention · case 02
The adapter reports an incorrect helioprojective east while other fields remain valid.
Solar disk image basis: Solar position-angle rotation applies the inverse east-axis convention · case 03
The adapter reports an incorrect helioprojective east while other fields remain valid.
Solar disk image basis: Solar position-angle rotation applies the inverse east-axis convention · case 04
The adapter reports an incorrect helioprojective east while other fields remain valid.
Solar disk image basis: Solar position-angle rotation applies the inverse east-axis convention · case 05
The adapter reports an incorrect helioprojective east while other fields remain valid.
Solar disk image basis: Solar north mixes detector axes during roll correction · case 01
The adapter reports an incorrect helioprojective north while other fields remain valid.
Solar disk image basis: Solar north mixes detector axes during roll correction · case 02
The adapter reports an incorrect helioprojective north while other fields remain valid.
Solar disk image basis: Solar north mixes detector axes during roll correction · case 03
The adapter reports an incorrect helioprojective north while other fields remain valid.
Solar disk image basis: Solar north mixes detector axes during roll correction · case 04
The adapter reports an incorrect helioprojective north while other fields remain valid.
Solar disk image basis: Solar north mixes detector axes during roll correction · case 05
The adapter reports an incorrect helioprojective north while other fields remain valid.
Solar disk image basis: Solar physical radius is treated as an angular radius · case 01
The adapter reports an incorrect angular radius while other fields remain valid.
Solar disk image basis: Solar physical radius is treated as an angular radius · case 02
The adapter reports an incorrect angular radius while other fields remain valid.
Solar disk image basis: Solar physical radius is treated as an angular radius · case 03
The adapter reports an incorrect angular radius while other fields remain valid.
Solar disk image basis: Solar physical radius is treated as an angular radius · case 04
The adapter reports an incorrect angular radius while other fields remain valid.
Solar disk image basis: Solar physical radius is treated as an angular radius · case 05
The adapter reports an incorrect angular radius while other fields remain valid.
Solar disk image basis: Solar disk normalization omits observer distance · case 01
The adapter reports an incorrect normalized east while other fields remain valid.
Solar disk image basis: Solar disk normalization omits observer distance · case 02
The adapter reports an incorrect normalized east while other fields remain valid.
Solar disk image basis: Solar disk normalization omits observer distance · case 03
The adapter reports an incorrect normalized east while other fields remain valid.
Solar disk image basis: Solar disk normalization omits observer distance · case 04
The adapter reports an incorrect normalized east while other fields remain valid.
Solar disk image basis: Solar disk normalization omits observer distance · case 05
The adapter reports an incorrect normalized east while other fields remain valid.
Solar disk image basis: Solar disk north is normalized by diameter instead of radius · case 01
The adapter reports an incorrect normalized north while other fields remain valid.
Solar disk image basis: Solar disk north is normalized by diameter instead of radius · case 02
The adapter reports an incorrect normalized north while other fields remain valid.
Solar disk image basis: Solar disk north is normalized by diameter instead of radius · case 03
The adapter reports an incorrect normalized north while other fields remain valid.
Solar disk image basis: Solar disk north is normalized by diameter instead of radius · case 04
The adapter reports an incorrect normalized north while other fields remain valid.
Solar disk image basis: Solar disk north is normalized by diameter instead of radius · case 05
The adapter reports an incorrect normalized north while other fields remain valid.
Solar disk image basis: Solar radius in detector pixels retains signed plate orientation · case 01
The adapter reports an incorrect disk pixel radius while other fields remain valid.
Solar disk image basis: Solar radius in detector pixels retains signed plate orientation · case 02
The adapter reports an incorrect disk pixel radius while other fields remain valid.
Solar disk image basis: Solar radius in detector pixels retains signed plate orientation · case 03
The adapter reports an incorrect disk pixel radius while other fields remain valid.
Solar disk image basis: Solar radius in detector pixels retains signed plate orientation · case 04
The adapter reports an incorrect disk pixel radius while other fields remain valid.
Solar disk image basis: Solar radius in detector pixels retains signed plate orientation · case 05
The adapter reports an incorrect disk pixel radius while other fields remain valid.
Planetary body fixed labels: West-positive planetary longitude is interpreted as an east-positive atlas longitude · case 01
The adapter reports an incorrect east longitude while other fields remain valid.
Planetary body fixed labels: West-positive planetary longitude is interpreted as an east-positive atlas longitude · case 02
The adapter reports an incorrect east longitude while other fields remain valid.
Planetary body fixed labels: West-positive planetary longitude is interpreted as an east-positive atlas longitude · case 03
The adapter reports an incorrect east longitude while other fields remain valid.
Planetary body fixed labels: West-positive planetary longitude is interpreted as an east-positive atlas longitude · case 04
The adapter reports an incorrect east longitude while other fields remain valid.
Planetary body fixed labels: West-positive planetary longitude is interpreted as an east-positive atlas longitude · case 05
The adapter reports an incorrect east longitude while other fields remain valid.
Planetary body fixed labels: Body-fixed planetary longitude is exported without prime-meridian rotation · case 01
The adapter reports an incorrect inertial longitude while other fields remain valid.
Planetary body fixed labels: Body-fixed planetary longitude is exported without prime-meridian rotation · case 02
The adapter reports an incorrect inertial longitude while other fields remain valid.
Planetary body fixed labels: Body-fixed planetary longitude is exported without prime-meridian rotation · case 03
The adapter reports an incorrect inertial longitude while other fields remain valid.
Planetary body fixed labels: Body-fixed planetary longitude is exported without prime-meridian rotation · case 04
The adapter reports an incorrect inertial longitude while other fields remain valid.
Planetary body fixed labels: Body-fixed planetary longitude is exported without prime-meridian rotation · case 05
The adapter reports an incorrect inertial longitude while other fields remain valid.
Planetary body fixed labels: Southern polar atlas view fails to reverse latitude orientation · case 01
The adapter reports an incorrect view latitude while other fields remain valid.
Planetary body fixed labels: Southern polar atlas view fails to reverse latitude orientation · case 02
The adapter reports an incorrect view latitude while other fields remain valid.
Planetary body fixed labels: Southern polar atlas view fails to reverse latitude orientation · case 03
The adapter reports an incorrect view latitude while other fields remain valid.
Planetary body fixed labels: Southern polar atlas view fails to reverse latitude orientation · case 04
The adapter reports an incorrect view latitude while other fields remain valid.
Planetary body fixed labels: Southern polar atlas view fails to reverse latitude orientation · case 05
The adapter reports an incorrect view latitude while other fields remain valid.
Planetary body fixed labels: Planetographic latitude adapter applies the inverse supplied flattening factor · case 01
The adapter reports an incorrect geodetic tangent while other fields remain valid.
Planetary body fixed labels: Planetographic latitude adapter applies the inverse supplied flattening factor · case 02
The adapter reports an incorrect geodetic tangent while other fields remain valid.
Planetary body fixed labels: Planetographic latitude adapter applies the inverse supplied flattening factor · case 03
The adapter reports an incorrect geodetic tangent while other fields remain valid.
Planetary body fixed labels: Planetographic latitude adapter applies the inverse supplied flattening factor · case 04
The adapter reports an incorrect geodetic tangent while other fields remain valid.
Planetary body fixed labels: Planetographic latitude adapter applies the inverse supplied flattening factor · case 05
The adapter reports an incorrect geodetic tangent while other fields remain valid.
Planetary body fixed labels: Planetary prime-meridian rotation ignores elapsed interval or direction · case 01
The adapter reports an incorrect future prime meridian while other fields remain valid.
Planetary body fixed labels: Planetary prime-meridian rotation ignores elapsed interval or direction · case 02
The adapter reports an incorrect future prime meridian while other fields remain valid.
Planetary body fixed labels: Planetary prime-meridian rotation ignores elapsed interval or direction · case 03
The adapter reports an incorrect future prime meridian while other fields remain valid.
Planetary body fixed labels: Planetary prime-meridian rotation ignores elapsed interval or direction · case 04
The adapter reports an incorrect future prime meridian while other fields remain valid.
Planetary body fixed labels: Planetary prime-meridian rotation ignores elapsed interval or direction · case 05
The adapter reports an incorrect future prime meridian while other fields remain valid.
Planetary body fixed labels: A fixed inertial feature retains an inertial prime-meridian offset in future body longitude · case 01
The adapter reports an incorrect future body longitude while other fields remain valid.
Planetary body fixed labels: A fixed inertial feature retains an inertial prime-meridian offset in future body longitude · case 02
The adapter reports an incorrect future body longitude while other fields remain valid.
Planetary body fixed labels: A fixed inertial feature retains an inertial prime-meridian offset in future body longitude · case 03
The adapter reports an incorrect future body longitude while other fields remain valid.
Planetary body fixed labels: A fixed inertial feature retains an inertial prime-meridian offset in future body longitude · case 04
The adapter reports an incorrect future body longitude while other fields remain valid.
Planetary body fixed labels: A fixed inertial feature retains an inertial prime-meridian offset in future body longitude · case 05
The adapter reports an incorrect future body longitude 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 ↗