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
Exponential relative increment loses accuracy above its series switch · case 01
Exponential relative increment loses accuracy above its series switch.
Exponential relative increment loses accuracy above its series switch · case 02
Exponential relative increment loses accuracy above its series switch.
Exponential relative increment loses accuracy above its series switch · case 03
Exponential relative increment loses accuracy above its series switch.
Exponential relative increment loses accuracy above its series switch · case 04
Exponential relative increment loses accuracy above its series switch.
Exponential relative increment loses accuracy above its series switch · case 05
Exponential relative increment loses accuracy above its series switch.
Relative logarithm assigns zero to a removable singularity · case 01
Relative logarithm assigns zero to a removable singularity.
Relative logarithm assigns zero to a removable singularity · case 02
Relative logarithm assigns zero to a removable singularity.
Relative logarithm assigns zero to a removable singularity · case 03
Relative logarithm assigns zero to a removable singularity.
Relative logarithm assigns zero to a removable singularity · case 04
Relative logarithm assigns zero to a removable singularity.
Relative logarithm assigns zero to a removable singularity · case 05
Relative logarithm assigns zero to a removable singularity.
Relative logarithm uses the exponential series sign · case 01
Relative logarithm uses the exponential series sign.
Relative logarithm uses the exponential series sign · case 02
Relative logarithm uses the exponential series sign.
Relative logarithm uses the exponential series sign · case 03
Relative logarithm uses the exponential series sign.
Relative logarithm uses the exponential series sign · case 04
Relative logarithm uses the exponential series sign.
Relative logarithm uses the exponential series sign · case 05
Relative logarithm uses the exponential series sign.
Relative logarithm loses tiny increments before the log · case 01
Relative logarithm loses tiny increments before the log.
Relative logarithm loses tiny increments before the log · case 02
Relative logarithm loses tiny increments before the log.
Relative logarithm loses tiny increments before the log · case 03
Relative logarithm loses tiny increments before the log.
Relative logarithm loses tiny increments before the log · case 04
Relative logarithm loses tiny increments before the log.
Relative logarithm loses tiny increments before the log · case 05
Relative logarithm loses tiny increments before the log.
Relative logarithm clamps a pole to a finite denominator · case 01
Relative logarithm clamps a pole to a finite denominator.
Relative logarithm clamps a pole to a finite denominator · case 02
Relative logarithm clamps a pole to a finite denominator.
Relative logarithm clamps a pole to a finite denominator · case 03
Relative logarithm clamps a pole to a finite denominator.
Relative logarithm clamps a pole to a finite denominator · case 04
Relative logarithm clamps a pole to a finite denominator.
Relative logarithm clamps a pole to a finite denominator · case 05
Relative logarithm clamps a pole to a finite denominator.
Relative logarithm uses an inaccurate non-log1p branch · case 01
Relative logarithm uses an inaccurate non-log1p branch.
Relative logarithm uses an inaccurate non-log1p branch · case 02
Relative logarithm uses an inaccurate non-log1p branch.
Relative logarithm uses an inaccurate non-log1p branch · case 03
Relative logarithm uses an inaccurate non-log1p branch.
Relative logarithm uses an inaccurate non-log1p branch · case 04
Relative logarithm uses an inaccurate non-log1p branch.
Relative logarithm uses an inaccurate non-log1p branch · case 05
Relative logarithm uses an inaccurate non-log1p branch.
Sinc replaces its removable singularity with zero · case 01
Sinc replaces its removable singularity with zero.
Sinc replaces its removable singularity with zero · case 02
Sinc replaces its removable singularity with zero.
Sinc replaces its removable singularity with zero · case 03
Sinc replaces its removable singularity with zero.
Sinc replaces its removable singularity with zero · case 04
Sinc replaces its removable singularity with zero.
Sinc replaces its removable singularity with zero · case 05
Sinc replaces its removable singularity with zero.
Sinc series uses x instead of x squared · case 01
Sinc series uses x instead of x squared.
Sinc series uses x instead of x squared · case 02
Sinc series uses x instead of x squared.
Sinc series uses x instead of x squared · case 03
Sinc series uses x instead of x squared.
Sinc series uses x instead of x squared · case 04
Sinc series uses x instead of x squared.
Sinc series uses x instead of x squared · case 05
Sinc series uses x instead of x squared.
Sinc series has the hyperbolic sine curvature · case 01
Sinc series has the hyperbolic sine curvature.
Sinc series has the hyperbolic sine curvature · case 02
Sinc series has the hyperbolic sine curvature.
Sinc series has the hyperbolic sine curvature · case 03
Sinc series has the hyperbolic sine curvature.
Sinc series has the hyperbolic sine curvature · case 04
Sinc series has the hyperbolic sine curvature.
Sinc series has the hyperbolic sine curvature · case 05
Sinc series has the hyperbolic sine curvature.
Sinc divides the sine by unsigned magnitude · case 01
Sinc divides the sine by unsigned magnitude.
Sinc divides the sine by unsigned magnitude · case 02
Sinc divides the sine by unsigned magnitude.
Sinc divides the sine by unsigned magnitude · case 03
Sinc divides the sine by unsigned magnitude.
Sinc divides the sine by unsigned magnitude · case 04
Sinc divides the sine by unsigned magnitude.
Sinc divides the sine by unsigned magnitude · case 05
Sinc divides the sine by unsigned magnitude.
Sinc folds the denominator along with the periodic numerator · case 01
Sinc folds the denominator along with the periodic numerator.
Sinc folds the denominator along with the periodic numerator · case 02
Sinc folds the denominator along with the periodic numerator.
Sinc folds the denominator along with the periodic numerator · case 03
Sinc folds the denominator along with the periodic numerator.
Sinc folds the denominator along with the periodic numerator · case 04
Sinc folds the denominator along with the periodic numerator.
Sinc folds the denominator along with the periodic numerator · case 05
Sinc folds the denominator along with the periodic numerator.
Cosine decrement subtracts one after rounding · case 01
Cosine decrement subtracts one after rounding.
Cosine decrement subtracts one after rounding · case 02
Cosine decrement subtracts one after rounding.
Cosine decrement subtracts one after rounding · case 03
Cosine decrement subtracts one after rounding.
Cosine decrement subtracts one after rounding · case 04
Cosine decrement subtracts one after rounding.
Cosine decrement subtracts one after rounding · case 05
Cosine decrement subtracts one after rounding.
Cosine decrement forgets half-angle reduction · case 01
Cosine decrement forgets half-angle reduction.
Cosine decrement forgets half-angle reduction · case 02
Cosine decrement forgets half-angle reduction.
Cosine decrement forgets half-angle reduction · case 03
Cosine decrement forgets half-angle reduction.
Cosine decrement forgets half-angle reduction · case 04
Cosine decrement forgets half-angle reduction.
Cosine decrement forgets half-angle reduction · case 05
Cosine decrement forgets half-angle reduction.
Cosine decrement fails to square the half-angle sine · case 01
Cosine decrement fails to square the half-angle sine.
Cosine decrement fails to square the half-angle sine · case 02
Cosine decrement fails to square the half-angle sine.
Cosine decrement fails to square the half-angle sine · case 03
Cosine decrement fails to square the half-angle sine.
Cosine decrement fails to square the half-angle sine · case 04
Cosine decrement fails to square the half-angle sine.
Cosine decrement fails to square the half-angle sine · case 05
Cosine decrement fails to square the half-angle sine.
Cosine decrement returns a positive half-angle square · case 01
Cosine decrement returns a positive half-angle square.
Cosine decrement returns a positive half-angle square · case 02
Cosine decrement returns a positive half-angle square.
Cosine decrement returns a positive half-angle square · case 03
Cosine decrement returns a positive half-angle square.
Cosine decrement returns a positive half-angle square · case 04
Cosine decrement returns a positive half-angle square.
Cosine decrement returns a positive half-angle square · case 05
Cosine decrement returns a positive half-angle square.
Cosine decrement violates its limiting zero sign · case 01
Cosine decrement violates its limiting zero sign.
Cosine decrement violates its limiting zero sign · case 02
Cosine decrement violates its limiting zero sign.
Cosine decrement violates its limiting zero sign · case 03
Cosine decrement violates its limiting zero sign.
Cosine decrement violates its limiting zero sign · case 04
Cosine decrement violates its limiting zero sign.
Cosine decrement violates its limiting zero sign · case 05
Cosine decrement violates its limiting zero sign.
Complex division inverts its real-dominant denominator ratio · case 01
Complex division inverts its real-dominant denominator ratio.
Complex division inverts its real-dominant denominator ratio · case 02
Complex division inverts its real-dominant denominator ratio.
Complex division inverts its real-dominant denominator ratio · case 03
Complex division inverts its real-dominant denominator ratio.
Complex division inverts its real-dominant denominator ratio · case 04
Complex division inverts its real-dominant denominator ratio.
Complex division inverts its real-dominant denominator ratio · case 05
Complex division inverts its real-dominant denominator ratio.
Complex division inverts its imaginary-dominant denominator ratio · case 01
Complex division inverts its imaginary-dominant denominator ratio.
Complex division inverts its imaginary-dominant denominator ratio · case 02
Complex division inverts its imaginary-dominant denominator ratio.
Complex division inverts its imaginary-dominant denominator ratio · case 03
Complex division inverts its imaginary-dominant denominator ratio.
Complex division inverts its imaginary-dominant denominator ratio · case 04
Complex division inverts its imaginary-dominant denominator ratio.
Complex division inverts its imaginary-dominant denominator ratio · case 05
Complex division inverts its imaginary-dominant denominator ratio.
Complex division forgets the ratio factor in the dominant-real denominator · case 01
Complex division forgets the ratio factor in the dominant-real denominator.
Complex division forgets the ratio factor in the dominant-real denominator · case 02
Complex division forgets the ratio factor in the dominant-real denominator.
Complex division forgets the ratio factor in the dominant-real denominator · case 03
Complex division forgets the ratio factor in the dominant-real denominator.
Complex division forgets the ratio factor in the dominant-real denominator · case 04
Complex division forgets the ratio factor in the dominant-real denominator.
Complex division forgets the ratio factor in the dominant-real denominator · case 05
Complex division forgets the ratio factor in the dominant-real denominator.
Complex division forgets the ratio factor in the dominant-imaginary denominator · case 01
Complex division forgets the ratio factor in the dominant-imaginary denominator.
Complex division forgets the ratio factor in the dominant-imaginary denominator · case 02
Complex division forgets the ratio factor in the dominant-imaginary denominator.
Complex division forgets the ratio factor in the dominant-imaginary denominator · case 03
Complex division forgets the ratio factor in the dominant-imaginary denominator.
Complex division forgets the ratio factor in the dominant-imaginary denominator · case 04
Complex division forgets the ratio factor in the dominant-imaginary denominator.
Complex division forgets the ratio factor in the dominant-imaginary denominator · case 05
Complex division forgets the ratio factor in the dominant-imaginary denominator.
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 ↗