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
Slit sky coordinate: Slit position angle is interpreted from east rather than north · case 01
The adapter reports an incorrect along slit while other fields remain valid.
Slit sky coordinate: Slit position angle is interpreted from east rather than north · case 02
The adapter reports an incorrect along slit while other fields remain valid.
Slit sky coordinate: Slit position angle is interpreted from east rather than north · case 03
The adapter reports an incorrect along slit while other fields remain valid.
Slit sky coordinate: Slit position angle is interpreted from east rather than north · case 04
The adapter reports an incorrect along slit while other fields remain valid.
Slit sky coordinate: Slit position angle is interpreted from east rather than north · case 05
The adapter reports an incorrect along slit while other fields remain valid.
Slit sky coordinate: Across-slit coordinate loses the orientation of the orthogonal slit basis · case 01
The adapter reports an incorrect across slit while other fields remain valid.
Slit sky coordinate: Across-slit coordinate loses the orientation of the orthogonal slit basis · case 02
The adapter reports an incorrect across slit while other fields remain valid.
Slit sky coordinate: Across-slit coordinate loses the orientation of the orthogonal slit basis · case 03
The adapter reports an incorrect across slit while other fields remain valid.
Slit sky coordinate: Across-slit coordinate loses the orientation of the orthogonal slit basis · case 04
The adapter reports an incorrect across slit while other fields remain valid.
Slit sky coordinate: Across-slit coordinate loses the orientation of the orthogonal slit basis · case 05
The adapter reports an incorrect across slit while other fields remain valid.
Slit sky coordinate: Slit sky-angle to detector mapping uses the plate scale in the wrong direction · case 01
The adapter reports an incorrect spatial pixel while other fields remain valid.
Slit sky coordinate: Slit sky-angle to detector mapping uses the plate scale in the wrong direction · case 02
The adapter reports an incorrect spatial pixel while other fields remain valid.
Slit sky coordinate: Slit sky-angle to detector mapping uses the plate scale in the wrong direction · case 03
The adapter reports an incorrect spatial pixel while other fields remain valid.
Slit sky coordinate: Slit sky-angle to detector mapping uses the plate scale in the wrong direction · case 04
The adapter reports an incorrect spatial pixel while other fields remain valid.
Slit sky coordinate: Slit sky-angle to detector mapping uses the plate scale in the wrong direction · case 05
The adapter reports an incorrect spatial pixel while other fields remain valid.
Slit sky coordinate: Nod-referenced slit coordinate retains the unshifted telescope origin · case 01
The adapter reports an incorrect nodded along while other fields remain valid.
Slit sky coordinate: Nod-referenced slit coordinate retains the unshifted telescope origin · case 02
The adapter reports an incorrect nodded along while other fields remain valid.
Slit sky coordinate: Nod-referenced slit coordinate retains the unshifted telescope origin · case 03
The adapter reports an incorrect nodded along while other fields remain valid.
Slit sky coordinate: Nod-referenced slit coordinate retains the unshifted telescope origin · case 04
The adapter reports an incorrect nodded along while other fields remain valid.
Slit sky coordinate: Nod-referenced slit coordinate retains the unshifted telescope origin · case 05
The adapter reports an incorrect nodded along while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto east using the north direction cosine · case 01
The adapter reports an incorrect nod east while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto east using the north direction cosine · case 02
The adapter reports an incorrect nod east while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto east using the north direction cosine · case 03
The adapter reports an incorrect nod east while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto east using the north direction cosine · case 04
The adapter reports an incorrect nod east while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto east using the north direction cosine · case 05
The adapter reports an incorrect nod east while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto north with a detector-axis angle convention · case 01
The adapter reports an incorrect nod north while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto north with a detector-axis angle convention · case 02
The adapter reports an incorrect nod north while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto north with a detector-axis angle convention · case 03
The adapter reports an incorrect nod north while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto north with a detector-axis angle convention · case 04
The adapter reports an incorrect nod north while other fields remain valid.
Slit sky coordinate: Along-slit nod is projected onto north with a detector-axis angle convention · case 05
The adapter reports an incorrect nod north while other fields remain valid.
Polarization sky position angle: Sky polarization rotation applies the inverse spin-two Q convention · case 01
The adapter reports an incorrect sky q while other fields remain valid.
Polarization sky position angle: Sky polarization rotation applies the inverse spin-two Q convention · case 02
The adapter reports an incorrect sky q while other fields remain valid.
Polarization sky position angle: Sky polarization rotation applies the inverse spin-two Q convention · case 03
The adapter reports an incorrect sky q while other fields remain valid.
Polarization sky position angle: Sky polarization rotation applies the inverse spin-two Q convention · case 04
The adapter reports an incorrect sky q while other fields remain valid.
Polarization sky position angle: Sky polarization rotation applies the inverse spin-two Q convention · case 05
The adapter reports an incorrect sky q while other fields remain valid.
Polarization sky position angle: Sky Stokes U rotates using a swapped instrument polarization basis · case 01
The adapter reports an incorrect sky u while other fields remain valid.
Polarization sky position angle: Sky Stokes U rotates using a swapped instrument polarization basis · case 02
The adapter reports an incorrect sky u while other fields remain valid.
Polarization sky position angle: Sky Stokes U rotates using a swapped instrument polarization basis · case 03
The adapter reports an incorrect sky u while other fields remain valid.
Polarization sky position angle: Sky Stokes U rotates using a swapped instrument polarization basis · case 04
The adapter reports an incorrect sky u while other fields remain valid.
Polarization sky position angle: Sky Stokes U rotates using a swapped instrument polarization basis · case 05
The adapter reports an incorrect sky u while other fields remain valid.
Polarization sky position angle: Instrument reflection provenance is ignored when transporting Stokes U · case 01
The adapter reports an incorrect mirror u while other fields remain valid.
Polarization sky position angle: Instrument reflection provenance is ignored when transporting Stokes U · case 02
The adapter reports an incorrect mirror u while other fields remain valid.
Polarization sky position angle: Instrument reflection provenance is ignored when transporting Stokes U · case 03
The adapter reports an incorrect mirror u while other fields remain valid.
Polarization sky position angle: Instrument reflection provenance is ignored when transporting Stokes U · case 04
The adapter reports an incorrect mirror u while other fields remain valid.
Polarization sky position angle: Instrument reflection provenance is ignored when transporting Stokes U · case 05
The adapter reports an incorrect mirror u while other fields remain valid.
Polarization sky position angle: Instrument handedness change fails to update circular polarization sign · case 01
The adapter reports an incorrect mirror v while other fields remain valid.
Polarization sky position angle: Instrument handedness change fails to update circular polarization sign · case 02
The adapter reports an incorrect mirror v while other fields remain valid.
Polarization sky position angle: Instrument handedness change fails to update circular polarization sign · case 03
The adapter reports an incorrect mirror v while other fields remain valid.
Polarization sky position angle: Instrument handedness change fails to update circular polarization sign · case 04
The adapter reports an incorrect mirror v while other fields remain valid.
Polarization sky position angle: Instrument handedness change fails to update circular polarization sign · case 05
The adapter reports an incorrect mirror v while other fields remain valid.
Polarization sky position angle: Linear polarization amplitude accidentally includes circular polarization · case 01
The adapter reports an incorrect linear power while other fields remain valid.
Polarization sky position angle: Linear polarization amplitude accidentally includes circular polarization · case 02
The adapter reports an incorrect linear power while other fields remain valid.
Polarization sky position angle: Linear polarization amplitude accidentally includes circular polarization · case 03
The adapter reports an incorrect linear power while other fields remain valid.
Polarization sky position angle: Linear polarization amplitude accidentally includes circular polarization · case 04
The adapter reports an incorrect linear power while other fields remain valid.
Polarization sky position angle: Linear polarization amplitude accidentally includes circular polarization · case 05
The adapter reports an incorrect linear power while other fields remain valid.
Polarization sky position angle: Inverse sky polarization rotation repeats the forward spin-two transform · case 01
The adapter reports an incorrect inverse q while other fields remain valid.
Polarization sky position angle: Inverse sky polarization rotation repeats the forward spin-two transform · case 02
The adapter reports an incorrect inverse q while other fields remain valid.
Polarization sky position angle: Inverse sky polarization rotation repeats the forward spin-two transform · case 03
The adapter reports an incorrect inverse q while other fields remain valid.
Polarization sky position angle: Inverse sky polarization rotation repeats the forward spin-two transform · case 04
The adapter reports an incorrect inverse q while other fields remain valid.
Polarization sky position angle: Inverse sky polarization rotation repeats the forward spin-two transform · case 05
The adapter reports an incorrect inverse q while other fields remain valid.
Astrometric perspective transport: Astrometric propagation freezes radial distance despite supplied radial velocity · case 01
The adapter reports an incorrect radial distance while other fields remain valid.
Astrometric perspective transport: Astrometric propagation freezes radial distance despite supplied radial velocity · case 02
The adapter reports an incorrect radial distance while other fields remain valid.
Astrometric perspective transport: Astrometric propagation freezes radial distance despite supplied radial velocity · case 03
The adapter reports an incorrect radial distance while other fields remain valid.
Astrometric perspective transport: Astrometric propagation freezes radial distance despite supplied radial velocity · case 04
The adapter reports an incorrect radial distance while other fields remain valid.
Astrometric perspective transport: Astrometric propagation freezes radial distance despite supplied radial velocity · case 05
The adapter reports an incorrect radial distance while other fields remain valid.
Astrometric perspective transport: Physical tangential displacement is emitted in angular-rate units · case 01
The adapter reports an incorrect tangential displacement while other fields remain valid.
Astrometric perspective transport: Physical tangential displacement is emitted in angular-rate units · case 02
The adapter reports an incorrect tangential displacement while other fields remain valid.
Astrometric perspective transport: Physical tangential displacement is emitted in angular-rate units · case 03
The adapter reports an incorrect tangential displacement while other fields remain valid.
Astrometric perspective transport: Physical tangential displacement is emitted in angular-rate units · case 04
The adapter reports an incorrect tangential displacement while other fields remain valid.
Astrometric perspective transport: Physical tangential displacement is emitted in angular-rate units · case 05
The adapter reports an incorrect tangential displacement while other fields remain valid.
Astrometric perspective transport: Perspective direction transport uses initial rather than propagated distance · case 01
The adapter reports an incorrect direction tangent while other fields remain valid.
Astrometric perspective transport: Perspective direction transport uses initial rather than propagated distance · case 02
The adapter reports an incorrect direction tangent while other fields remain valid.
Astrometric perspective transport: Perspective direction transport uses initial rather than propagated distance · case 03
The adapter reports an incorrect direction tangent while other fields remain valid.
Astrometric perspective transport: Perspective direction transport uses initial rather than propagated distance · case 04
The adapter reports an incorrect direction tangent while other fields remain valid.
Astrometric perspective transport: Perspective direction transport uses initial rather than propagated distance · case 05
The adapter reports an incorrect direction tangent while other fields remain valid.
Astrometric perspective transport: Apparent proper-motion update omits the radial perspective derivative · case 01
The adapter reports an incorrect angular rate while other fields remain valid.
Astrometric perspective transport: Apparent proper-motion update omits the radial perspective derivative · case 02
The adapter reports an incorrect angular rate while other fields remain valid.
Astrometric perspective transport: Apparent proper-motion update omits the radial perspective derivative · case 03
The adapter reports an incorrect angular rate while other fields remain valid.
Astrometric perspective transport: Apparent proper-motion update omits the radial perspective derivative · case 04
The adapter reports an incorrect angular rate while other fields remain valid.
Astrometric perspective transport: Apparent proper-motion update omits the radial perspective derivative · case 05
The adapter reports an incorrect angular rate while other fields remain valid.
Astrometric perspective transport: Perspective expansion parameter is normalized by the final distance · case 01
The adapter reports an incorrect radial fraction while other fields remain valid.
Astrometric perspective transport: Perspective expansion parameter is normalized by the final distance · case 02
The adapter reports an incorrect radial fraction while other fields remain valid.
Astrometric perspective transport: Perspective expansion parameter is normalized by the final distance · case 03
The adapter reports an incorrect radial fraction while other fields remain valid.
Astrometric perspective transport: Perspective expansion parameter is normalized by the final distance · case 04
The adapter reports an incorrect radial fraction while other fields remain valid.
Astrometric perspective transport: Perspective expansion parameter is normalized by the final distance · case 05
The adapter reports an incorrect radial fraction while other fields remain valid.
Astrometric perspective transport: Perspective angular acceleration omits the two distance-derivative contributions · case 01
The adapter reports an incorrect initial angular acceleration while other fields remain valid.
Astrometric perspective transport: Perspective angular acceleration omits the two distance-derivative contributions · case 02
The adapter reports an incorrect initial angular acceleration while other fields remain valid.
Astrometric perspective transport: Perspective angular acceleration omits the two distance-derivative contributions · case 03
The adapter reports an incorrect initial angular acceleration while other fields remain valid.
Astrometric perspective transport: Perspective angular acceleration omits the two distance-derivative contributions · case 04
The adapter reports an incorrect initial angular acceleration while other fields remain valid.
Astrometric perspective transport: Perspective angular acceleration omits the two distance-derivative contributions · case 05
The adapter reports an incorrect initial angular acceleration while other fields remain valid.
Nested sky cell address: Nested sky face offset uses order rather than pixels per face · case 01
The adapter reports an incorrect global pixel while other fields remain valid.
Nested sky cell address: Nested sky face offset uses order rather than pixels per face · case 02
The adapter reports an incorrect global pixel while other fields remain valid.
Nested sky cell address: Nested sky face offset uses order rather than pixels per face · case 03
The adapter reports an incorrect global pixel while other fields remain valid.
Nested sky cell address: Nested sky face offset uses order rather than pixels per face · case 04
The adapter reports an incorrect global pixel while other fields remain valid.
Nested sky cell address: Nested sky face offset uses order rather than pixels per face · case 05
The adapter reports an incorrect global pixel while other fields remain valid.
Nested sky cell address: Nested sky parent lookup discards one bit instead of one base-four digit · case 01
The adapter reports an incorrect parent local while other fields remain valid.
Nested sky cell address: Nested sky parent lookup discards one bit instead of one base-four digit · case 02
The adapter reports an incorrect parent local while other fields remain valid.
Nested sky cell address: Nested sky parent lookup discards one bit instead of one base-four digit · case 03
The adapter reports an incorrect parent local while other fields remain valid.
Nested sky cell address: Nested sky parent lookup discards one bit instead of one base-four digit · case 04
The adapter reports an incorrect parent local while other fields remain valid.
Nested sky cell address: Nested sky parent lookup discards one bit instead of one base-four digit · case 05
The adapter reports an incorrect parent local 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 ↗