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
Polynomial long division: quotient coefficient placement · case 01
The exact polynomial long division result violates the stated contract at quotient coefficient placement.
Polynomial long division: quotient coefficient placement · case 02
The exact polynomial long division result violates the stated contract at quotient coefficient placement.
Polynomial long division: quotient coefficient placement · case 03
The exact polynomial long division result violates the stated contract at quotient coefficient placement.
Polynomial long division: quotient coefficient placement · case 04
The exact polynomial long division result violates the stated contract at quotient coefficient placement.
Polynomial long division: quotient coefficient placement · case 05
The exact polynomial long division result violates the stated contract at quotient coefficient placement.
Polynomial long division: divisor subtraction · case 01
The exact polynomial long division result violates the stated contract at divisor subtraction.
Polynomial long division: divisor subtraction · case 02
The exact polynomial long division result violates the stated contract at divisor subtraction.
Polynomial long division: divisor subtraction · case 03
The exact polynomial long division result violates the stated contract at divisor subtraction.
Polynomial long division: divisor subtraction · case 04
The exact polynomial long division result violates the stated contract at divisor subtraction.
Polynomial long division: divisor subtraction · case 05
The exact polynomial long division result violates the stated contract at divisor subtraction.
Polynomial long division: remainder degree trimming · case 01
The exact polynomial long division result violates the stated contract at remainder degree trimming.
Polynomial long division: remainder degree trimming · case 02
The exact polynomial long division result violates the stated contract at remainder degree trimming.
Polynomial long division: remainder degree trimming · case 03
The exact polynomial long division result violates the stated contract at remainder degree trimming.
Polynomial long division: remainder degree trimming · case 04
The exact polynomial long division result violates the stated contract at remainder degree trimming.
Polynomial long division: remainder degree trimming · case 05
The exact polynomial long division result violates the stated contract at remainder degree trimming.
Polynomial composition: horner seed · case 01
The exact polynomial composition result violates the stated contract at horner seed.
Polynomial composition: horner seed · case 02
The exact polynomial composition result violates the stated contract at horner seed.
Polynomial composition: horner seed · case 03
The exact polynomial composition result violates the stated contract at horner seed.
Polynomial composition: horner seed · case 04
The exact polynomial composition result violates the stated contract at horner seed.
Polynomial composition: horner seed · case 05
The exact polynomial composition result violates the stated contract at horner seed.
Polynomial composition: horner traversal · case 01
The exact polynomial composition result violates the stated contract at horner traversal.
Polynomial composition: horner traversal · case 02
The exact polynomial composition result violates the stated contract at horner traversal.
Polynomial composition: horner traversal · case 03
The exact polynomial composition result violates the stated contract at horner traversal.
Polynomial composition: horner traversal · case 04
The exact polynomial composition result violates the stated contract at horner traversal.
Polynomial composition: horner traversal · case 05
The exact polynomial composition result violates the stated contract at horner traversal.
Polynomial composition: product allocation · case 01
The exact polynomial composition result violates the stated contract at product allocation.
Polynomial composition: product allocation · case 02
The exact polynomial composition result violates the stated contract at product allocation.
Polynomial composition: product allocation · case 03
The exact polynomial composition result violates the stated contract at product allocation.
Polynomial composition: product allocation · case 04
The exact polynomial composition result violates the stated contract at product allocation.
Polynomial composition: product allocation · case 05
The exact polynomial composition result violates the stated contract at product allocation.
Polynomial composition: constant injection · case 01
The exact polynomial composition result violates the stated contract at constant injection.
Polynomial composition: constant injection · case 02
The exact polynomial composition result violates the stated contract at constant injection.
Polynomial composition: constant injection · case 03
The exact polynomial composition result violates the stated contract at constant injection.
Polynomial composition: constant injection · case 04
The exact polynomial composition result violates the stated contract at constant injection.
Polynomial composition: constant injection · case 05
The exact polynomial composition result violates the stated contract at constant injection.
Polynomial composition: canonical degree · case 01
The exact polynomial composition result violates the stated contract at canonical degree.
Polynomial composition: canonical degree · case 02
The exact polynomial composition result violates the stated contract at canonical degree.
Polynomial composition: canonical degree · case 03
The exact polynomial composition result violates the stated contract at canonical degree.
Polynomial composition: canonical degree · case 04
The exact polynomial composition result violates the stated contract at canonical degree.
Polynomial composition: canonical degree · case 05
The exact polynomial composition result violates the stated contract at canonical degree.
Polynomial taylor shift: source degree iteration · case 01
The exact polynomial taylor shift result violates the stated contract at source degree iteration.
Polynomial taylor shift: source degree iteration · case 02
The exact polynomial taylor shift result violates the stated contract at source degree iteration.
Polynomial taylor shift: source degree iteration · case 03
The exact polynomial taylor shift result violates the stated contract at source degree iteration.
Polynomial taylor shift: source degree iteration · case 04
The exact polynomial taylor shift result violates the stated contract at source degree iteration.
Polynomial taylor shift: source degree iteration · case 05
The exact polynomial taylor shift result violates the stated contract at source degree iteration.
Polynomial taylor shift: target degree triangle · case 01
The exact polynomial taylor shift result violates the stated contract at target degree triangle.
Polynomial taylor shift: target degree triangle · case 02
The exact polynomial taylor shift result violates the stated contract at target degree triangle.
Polynomial taylor shift: target degree triangle · case 03
The exact polynomial taylor shift result violates the stated contract at target degree triangle.
Polynomial taylor shift: target degree triangle · case 04
The exact polynomial taylor shift result violates the stated contract at target degree triangle.
Polynomial taylor shift: target degree triangle · case 05
The exact polynomial taylor shift result violates the stated contract at target degree triangle.
Polynomial taylor shift: coefficient source · case 01
The exact polynomial taylor shift result violates the stated contract at coefficient source.
Polynomial taylor shift: coefficient source · case 02
The exact polynomial taylor shift result violates the stated contract at coefficient source.
Polynomial taylor shift: coefficient source · case 03
The exact polynomial taylor shift result violates the stated contract at coefficient source.
Polynomial taylor shift: coefficient source · case 04
The exact polynomial taylor shift result violates the stated contract at coefficient source.
Polynomial taylor shift: coefficient source · case 05
The exact polynomial taylor shift result violates the stated contract at coefficient source.
Polynomial taylor shift: binomial translation weight · case 01
The exact polynomial taylor shift result violates the stated contract at binomial translation weight.
Polynomial taylor shift: binomial translation weight · case 02
The exact polynomial taylor shift result violates the stated contract at binomial translation weight.
Polynomial taylor shift: binomial translation weight · case 03
The exact polynomial taylor shift result violates the stated contract at binomial translation weight.
Polynomial taylor shift: binomial translation weight · case 04
The exact polynomial taylor shift result violates the stated contract at binomial translation weight.
Polynomial taylor shift: binomial translation weight · case 05
The exact polynomial taylor shift result violates the stated contract at binomial translation weight.
Polynomial taylor shift: translation exponent · case 01
The exact polynomial taylor shift result violates the stated contract at translation exponent.
Polynomial taylor shift: translation exponent · case 02
The exact polynomial taylor shift result violates the stated contract at translation exponent.
Polynomial taylor shift: translation exponent · case 03
The exact polynomial taylor shift result violates the stated contract at translation exponent.
Polynomial taylor shift: translation exponent · case 04
The exact polynomial taylor shift result violates the stated contract at translation exponent.
Polynomial taylor shift: translation exponent · case 05
The exact polynomial taylor shift result violates the stated contract at translation exponent.
Lagrange interpolation value: basis ordinate scale · case 01
The exact lagrange interpolation value result violates the stated contract at basis ordinate scale.
Lagrange interpolation value: basis ordinate scale · case 02
The exact lagrange interpolation value result violates the stated contract at basis ordinate scale.
Lagrange interpolation value: basis ordinate scale · case 03
The exact lagrange interpolation value result violates the stated contract at basis ordinate scale.
Lagrange interpolation value: basis ordinate scale · case 04
The exact lagrange interpolation value result violates the stated contract at basis ordinate scale.
Lagrange interpolation value: basis ordinate scale · case 05
The exact lagrange interpolation value result violates the stated contract at basis ordinate scale.
Lagrange interpolation value: self node exclusion · case 01
The exact lagrange interpolation value result violates the stated contract at self node exclusion.
Lagrange interpolation value: self node exclusion · case 02
The exact lagrange interpolation value result violates the stated contract at self node exclusion.
Lagrange interpolation value: self node exclusion · case 03
The exact lagrange interpolation value result violates the stated contract at self node exclusion.
Lagrange interpolation value: self node exclusion · case 04
The exact lagrange interpolation value result violates the stated contract at self node exclusion.
Lagrange interpolation value: self node exclusion · case 05
The exact lagrange interpolation value result violates the stated contract at self node exclusion.
Lagrange interpolation value: basis denominator orientation · case 01
The exact lagrange interpolation value result violates the stated contract at basis denominator orientation.
Lagrange interpolation value: basis denominator orientation · case 02
The exact lagrange interpolation value result violates the stated contract at basis denominator orientation.
Lagrange interpolation value: basis denominator orientation · case 03
The exact lagrange interpolation value result violates the stated contract at basis denominator orientation.
Lagrange interpolation value: basis denominator orientation · case 04
The exact lagrange interpolation value result violates the stated contract at basis denominator orientation.
Lagrange interpolation value: basis denominator orientation · case 05
The exact lagrange interpolation value result violates the stated contract at basis denominator orientation.
Lagrange interpolation value: evaluation numerator · case 01
The exact lagrange interpolation value result violates the stated contract at evaluation numerator.
Lagrange interpolation value: evaluation numerator · case 02
The exact lagrange interpolation value result violates the stated contract at evaluation numerator.
Lagrange interpolation value: evaluation numerator · case 03
The exact lagrange interpolation value result violates the stated contract at evaluation numerator.
Lagrange interpolation value: evaluation numerator · case 04
The exact lagrange interpolation value result violates the stated contract at evaluation numerator.
Lagrange interpolation value: evaluation numerator · case 05
The exact lagrange interpolation value result violates the stated contract at evaluation numerator.
Lagrange interpolation value: basis accumulation · case 01
The exact lagrange interpolation value result violates the stated contract at basis accumulation.
Lagrange interpolation value: basis accumulation · case 02
The exact lagrange interpolation value result violates the stated contract at basis accumulation.
Lagrange interpolation value: basis accumulation · case 03
The exact lagrange interpolation value result violates the stated contract at basis accumulation.
Lagrange interpolation value: basis accumulation · case 04
The exact lagrange interpolation value result violates the stated contract at basis accumulation.
Lagrange interpolation value: basis accumulation · case 05
The exact lagrange interpolation value result violates the stated contract at basis accumulation.
Newton divided difference table: difference order bounds · case 01
The exact newton divided difference table result violates the stated contract at difference order bounds.
Newton divided difference table: difference order bounds · case 02
The exact newton divided difference table result violates the stated contract at difference order bounds.
Newton divided difference table: difference order bounds · case 03
The exact newton divided difference table result violates the stated contract at difference order bounds.
Newton divided difference table: difference order bounds · case 04
The exact newton divided difference table result violates the stated contract at difference order bounds.
Newton divided difference table: difference order bounds · case 05
The exact newton divided difference table result violates the stated contract at difference order bounds.
Newton divided difference table: in place update direction · case 01
The exact newton divided difference table result violates the stated contract at in place update direction.
Newton divided difference table: in place update direction · case 02
The exact newton divided difference table result violates the stated contract at in place update direction.
Newton divided difference table: in place update direction · case 03
The exact newton divided difference table result violates the stated contract at in place update direction.
Newton divided difference table: in place update direction · case 04
The exact newton divided difference table result violates the stated contract at in place update direction.
Newton divided difference table: in place update direction · case 05
The exact newton divided difference table result violates the stated contract at in place update direction.
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 ↗