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
Newton divided difference table: node span denominator · case 01
The exact newton divided difference table result violates the stated contract at node span denominator.
Newton divided difference table: node span denominator · case 02
The exact newton divided difference table result violates the stated contract at node span denominator.
Newton divided difference table: node span denominator · case 03
The exact newton divided difference table result violates the stated contract at node span denominator.
Newton divided difference table: node span denominator · case 04
The exact newton divided difference table result violates the stated contract at node span denominator.
Newton divided difference table: node span denominator · case 05
The exact newton divided difference table result violates the stated contract at node span denominator.
Newton divided difference table: difference numerator · case 01
The exact newton divided difference table result violates the stated contract at difference numerator.
Newton divided difference table: difference numerator · case 02
The exact newton divided difference table result violates the stated contract at difference numerator.
Newton divided difference table: difference numerator · case 03
The exact newton divided difference table result violates the stated contract at difference numerator.
Newton divided difference table: difference numerator · case 04
The exact newton divided difference table result violates the stated contract at difference numerator.
Newton divided difference table: difference numerator · case 05
The exact newton divided difference table result violates the stated contract at difference numerator.
Newton divided difference table: newton coefficient extraction · case 01
The exact newton divided difference table result violates the stated contract at newton coefficient extraction.
Newton divided difference table: newton coefficient extraction · case 02
The exact newton divided difference table result violates the stated contract at newton coefficient extraction.
Newton divided difference table: newton coefficient extraction · case 03
The exact newton divided difference table result violates the stated contract at newton coefficient extraction.
Newton divided difference table: newton coefficient extraction · case 04
The exact newton divided difference table result violates the stated contract at newton coefficient extraction.
Newton divided difference table: newton coefficient extraction · case 05
The exact newton divided difference table result violates the stated contract at newton coefficient extraction.
Forward difference newton basis: table depth · case 01
The exact forward difference newton basis result violates the stated contract at table depth.
Forward difference newton basis: table depth · case 02
The exact forward difference newton basis result violates the stated contract at table depth.
Forward difference newton basis: table depth · case 03
The exact forward difference newton basis result violates the stated contract at table depth.
Forward difference newton basis: table depth · case 04
The exact forward difference newton basis result violates the stated contract at table depth.
Forward difference newton basis: table depth · case 05
The exact forward difference newton basis result violates the stated contract at table depth.
Forward difference newton basis: left edge extraction · case 01
The exact forward difference newton basis result violates the stated contract at left edge extraction.
Forward difference newton basis: left edge extraction · case 02
The exact forward difference newton basis result violates the stated contract at left edge extraction.
Forward difference newton basis: left edge extraction · case 03
The exact forward difference newton basis result violates the stated contract at left edge extraction.
Forward difference newton basis: left edge extraction · case 04
The exact forward difference newton basis result violates the stated contract at left edge extraction.
Forward difference newton basis: left edge extraction · case 05
The exact forward difference newton basis result violates the stated contract at left edge extraction.
Forward difference newton basis: difference orientation · case 01
The exact forward difference newton basis result violates the stated contract at difference orientation.
Forward difference newton basis: difference orientation · case 02
The exact forward difference newton basis result violates the stated contract at difference orientation.
Forward difference newton basis: difference orientation · case 03
The exact forward difference newton basis result violates the stated contract at difference orientation.
Forward difference newton basis: difference orientation · case 04
The exact forward difference newton basis result violates the stated contract at difference orientation.
Forward difference newton basis: difference orientation · case 05
The exact forward difference newton basis result violates the stated contract at difference orientation.
Forward difference newton basis: adjacent pair span · case 01
The exact forward difference newton basis result violates the stated contract at adjacent pair span.
Forward difference newton basis: adjacent pair span · case 02
The exact forward difference newton basis result violates the stated contract at adjacent pair span.
Forward difference newton basis: adjacent pair span · case 03
The exact forward difference newton basis result violates the stated contract at adjacent pair span.
Forward difference newton basis: adjacent pair span · case 04
The exact forward difference newton basis result violates the stated contract at adjacent pair span.
Forward difference newton basis: adjacent pair span · case 05
The exact forward difference newton basis result violates the stated contract at adjacent pair span.
Forward difference newton basis: basis coefficient order · case 01
The exact forward difference newton basis result violates the stated contract at basis coefficient order.
Forward difference newton basis: basis coefficient order · case 02
The exact forward difference newton basis result violates the stated contract at basis coefficient order.
Forward difference newton basis: basis coefficient order · case 03
The exact forward difference newton basis result violates the stated contract at basis coefficient order.
Forward difference newton basis: basis coefficient order · case 04
The exact forward difference newton basis result violates the stated contract at basis coefficient order.
Forward difference newton basis: basis coefficient order · case 05
The exact forward difference newton basis result violates the stated contract at basis coefficient order.
Bernstein to power basis: control point coverage · case 01
The exact bernstein to power basis result violates the stated contract at control point coverage.
Bernstein to power basis: control point coverage · case 02
The exact bernstein to power basis result violates the stated contract at control point coverage.
Bernstein to power basis: control point coverage · case 03
The exact bernstein to power basis result violates the stated contract at control point coverage.
Bernstein to power basis: control point coverage · case 04
The exact bernstein to power basis result violates the stated contract at control point coverage.
Bernstein to power basis: control point coverage · case 05
The exact bernstein to power basis result violates the stated contract at control point coverage.
Bernstein to power basis: complement expansion degree · case 01
The exact bernstein to power basis result violates the stated contract at complement expansion degree.
Bernstein to power basis: complement expansion degree · case 02
The exact bernstein to power basis result violates the stated contract at complement expansion degree.
Bernstein to power basis: complement expansion degree · case 03
The exact bernstein to power basis result violates the stated contract at complement expansion degree.
Bernstein to power basis: complement expansion degree · case 04
The exact bernstein to power basis result violates the stated contract at complement expansion degree.
Bernstein to power basis: complement expansion degree · case 05
The exact bernstein to power basis result violates the stated contract at complement expansion degree.
Bernstein to power basis: result degree mapping · case 01
The exact bernstein to power basis result violates the stated contract at result degree mapping.
Bernstein to power basis: result degree mapping · case 02
The exact bernstein to power basis result violates the stated contract at result degree mapping.
Bernstein to power basis: result degree mapping · case 03
The exact bernstein to power basis result violates the stated contract at result degree mapping.
Bernstein to power basis: result degree mapping · case 04
The exact bernstein to power basis result violates the stated contract at result degree mapping.
Bernstein to power basis: result degree mapping · case 05
The exact bernstein to power basis result violates the stated contract at result degree mapping.
Bernstein to power basis: bernstein normalization · case 01
The exact bernstein to power basis result violates the stated contract at bernstein normalization.
Bernstein to power basis: bernstein normalization · case 02
The exact bernstein to power basis result violates the stated contract at bernstein normalization.
Bernstein to power basis: bernstein normalization · case 03
The exact bernstein to power basis result violates the stated contract at bernstein normalization.
Bernstein to power basis: bernstein normalization · case 04
The exact bernstein to power basis result violates the stated contract at bernstein normalization.
Bernstein to power basis: bernstein normalization · case 05
The exact bernstein to power basis result violates the stated contract at bernstein normalization.
Bernstein to power basis: complement signed coefficient · case 01
The exact bernstein to power basis result violates the stated contract at complement signed coefficient.
Bernstein to power basis: complement signed coefficient · case 02
The exact bernstein to power basis result violates the stated contract at complement signed coefficient.
Bernstein to power basis: complement signed coefficient · case 03
The exact bernstein to power basis result violates the stated contract at complement signed coefficient.
Bernstein to power basis: complement signed coefficient · case 04
The exact bernstein to power basis result violates the stated contract at complement signed coefficient.
Bernstein to power basis: complement signed coefficient · case 05
The exact bernstein to power basis result violates the stated contract at complement signed coefficient.
Rational generating recurrence: requested coefficient length · case 01
The exact rational generating recurrence result violates the stated contract at requested coefficient length.
Rational generating recurrence: requested coefficient length · case 02
The exact rational generating recurrence result violates the stated contract at requested coefficient length.
Rational generating recurrence: requested coefficient length · case 03
The exact rational generating recurrence result violates the stated contract at requested coefficient length.
Rational generating recurrence: requested coefficient length · case 04
The exact rational generating recurrence result violates the stated contract at requested coefficient length.
Rational generating recurrence: requested coefficient length · case 05
The exact rational generating recurrence result violates the stated contract at requested coefficient length.
Rational generating recurrence: numerator coefficient alignment · case 01
The exact rational generating recurrence result violates the stated contract at numerator coefficient alignment.
Rational generating recurrence: numerator coefficient alignment · case 02
The exact rational generating recurrence result violates the stated contract at numerator coefficient alignment.
Rational generating recurrence: numerator coefficient alignment · case 03
The exact rational generating recurrence result violates the stated contract at numerator coefficient alignment.
Rational generating recurrence: numerator coefficient alignment · case 04
The exact rational generating recurrence result violates the stated contract at numerator coefficient alignment.
Rational generating recurrence: numerator coefficient alignment · case 05
The exact rational generating recurrence result violates the stated contract at numerator coefficient alignment.
Rational generating recurrence: denominator recurrence reach · case 01
The exact rational generating recurrence result violates the stated contract at denominator recurrence reach.
Rational generating recurrence: denominator recurrence reach · case 02
The exact rational generating recurrence result violates the stated contract at denominator recurrence reach.
Rational generating recurrence: denominator recurrence reach · case 03
The exact rational generating recurrence result violates the stated contract at denominator recurrence reach.
Rational generating recurrence: denominator recurrence reach · case 04
The exact rational generating recurrence result violates the stated contract at denominator recurrence reach.
Rational generating recurrence: denominator recurrence reach · case 05
The exact rational generating recurrence result violates the stated contract at denominator recurrence reach.
Rational generating recurrence: recurrence subtraction · case 01
The exact rational generating recurrence result violates the stated contract at recurrence subtraction.
Rational generating recurrence: recurrence subtraction · case 02
The exact rational generating recurrence result violates the stated contract at recurrence subtraction.
Rational generating recurrence: recurrence subtraction · case 03
The exact rational generating recurrence result violates the stated contract at recurrence subtraction.
Rational generating recurrence: recurrence subtraction · case 04
The exact rational generating recurrence result violates the stated contract at recurrence subtraction.
Rational generating recurrence: recurrence subtraction · case 05
The exact rational generating recurrence result violates the stated contract at recurrence subtraction.
Rational generating recurrence: coefficient retention · case 01
The exact rational generating recurrence result violates the stated contract at coefficient retention.
Rational generating recurrence: coefficient retention · case 02
The exact rational generating recurrence result violates the stated contract at coefficient retention.
Rational generating recurrence: coefficient retention · case 03
The exact rational generating recurrence result violates the stated contract at coefficient retention.
Rational generating recurrence: coefficient retention · case 04
The exact rational generating recurrence result violates the stated contract at coefficient retention.
Rational generating recurrence: coefficient retention · case 05
The exact rational generating recurrence result violates the stated contract at coefficient retention.
Integer polynomial pseudodivision: pseudo quotient displacement · case 01
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient displacement.
Integer polynomial pseudodivision: pseudo quotient displacement · case 02
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient displacement.
Integer polynomial pseudodivision: pseudo quotient displacement · case 03
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient displacement.
Integer polynomial pseudodivision: pseudo quotient displacement · case 04
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient displacement.
Integer polynomial pseudodivision: pseudo quotient displacement · case 05
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient displacement.
Integer polynomial pseudodivision: leading cancellation coefficient · case 01
The exact integer polynomial pseudodivision result violates the stated contract at leading cancellation coefficient.
Integer polynomial pseudodivision: leading cancellation coefficient · case 02
The exact integer polynomial pseudodivision result violates the stated contract at leading cancellation coefficient.
Integer polynomial pseudodivision: leading cancellation coefficient · case 03
The exact integer polynomial pseudodivision result violates the stated contract at leading cancellation coefficient.
Integer polynomial pseudodivision: leading cancellation coefficient · case 04
The exact integer polynomial pseudodivision result violates the stated contract at leading cancellation coefficient.
Integer polynomial pseudodivision: leading cancellation coefficient · case 05
The exact integer polynomial pseudodivision result violates the stated contract at leading cancellation coefficient.
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 ↗