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
Rational nullspace basis: free coordinate normalization · case 01
The exact rational nullspace basis result violates the stated contract at free coordinate normalization.
Rational nullspace basis: free coordinate normalization · case 02
The exact rational nullspace basis result violates the stated contract at free coordinate normalization.
Rational nullspace basis: free coordinate normalization · case 03
The exact rational nullspace basis result violates the stated contract at free coordinate normalization.
Rational nullspace basis: free coordinate normalization · case 04
The exact rational nullspace basis result violates the stated contract at free coordinate normalization.
Rational nullspace basis: free coordinate normalization · case 05
The exact rational nullspace basis result violates the stated contract at free coordinate normalization.
Rational nullspace basis: pivot coordinate placement · case 01
The exact rational nullspace basis result violates the stated contract at pivot coordinate placement.
Rational nullspace basis: pivot coordinate placement · case 02
The exact rational nullspace basis result violates the stated contract at pivot coordinate placement.
Rational nullspace basis: pivot coordinate placement · case 03
The exact rational nullspace basis result violates the stated contract at pivot coordinate placement.
Rational nullspace basis: pivot coordinate placement · case 04
The exact rational nullspace basis result violates the stated contract at pivot coordinate placement.
Rational nullspace basis: pivot coordinate placement · case 05
The exact rational nullspace basis result violates the stated contract at pivot coordinate placement.
Rational nullspace basis: pivot equation rearrangement · case 01
The exact rational nullspace basis result violates the stated contract at pivot equation rearrangement.
Rational nullspace basis: pivot equation rearrangement · case 02
The exact rational nullspace basis result violates the stated contract at pivot equation rearrangement.
Rational nullspace basis: pivot equation rearrangement · case 03
The exact rational nullspace basis result violates the stated contract at pivot equation rearrangement.
Rational nullspace basis: pivot equation rearrangement · case 04
The exact rational nullspace basis result violates the stated contract at pivot equation rearrangement.
Rational nullspace basis: pivot equation rearrangement · case 05
The exact rational nullspace basis result violates the stated contract at pivot equation rearrangement.
Exact tridiagonal solve: initial upper normalization · case 01
The exact exact tridiagonal solve result violates the stated contract at initial upper normalization.
Exact tridiagonal solve: initial upper normalization · case 02
The exact exact tridiagonal solve result violates the stated contract at initial upper normalization.
Exact tridiagonal solve: initial upper normalization · case 03
The exact exact tridiagonal solve result violates the stated contract at initial upper normalization.
Exact tridiagonal solve: initial upper normalization · case 04
The exact exact tridiagonal solve result violates the stated contract at initial upper normalization.
Exact tridiagonal solve: initial upper normalization · case 05
The exact exact tridiagonal solve result violates the stated contract at initial upper normalization.
Exact tridiagonal solve: initial rhs normalization · case 01
The exact exact tridiagonal solve result violates the stated contract at initial rhs normalization.
Exact tridiagonal solve: initial rhs normalization · case 02
The exact exact tridiagonal solve result violates the stated contract at initial rhs normalization.
Exact tridiagonal solve: initial rhs normalization · case 03
The exact exact tridiagonal solve result violates the stated contract at initial rhs normalization.
Exact tridiagonal solve: initial rhs normalization · case 04
The exact exact tridiagonal solve result violates the stated contract at initial rhs normalization.
Exact tridiagonal solve: initial rhs normalization · case 05
The exact exact tridiagonal solve result violates the stated contract at initial rhs normalization.
Exact tridiagonal solve: schur diagonal update · case 01
The exact exact tridiagonal solve result violates the stated contract at schur diagonal update.
Exact tridiagonal solve: schur diagonal update · case 02
The exact exact tridiagonal solve result violates the stated contract at schur diagonal update.
Exact tridiagonal solve: schur diagonal update · case 03
The exact exact tridiagonal solve result violates the stated contract at schur diagonal update.
Exact tridiagonal solve: schur diagonal update · case 04
The exact exact tridiagonal solve result violates the stated contract at schur diagonal update.
Exact tridiagonal solve: schur diagonal update · case 05
The exact exact tridiagonal solve result violates the stated contract at schur diagonal update.
Exact tridiagonal solve: forward rhs elimination · case 01
The exact exact tridiagonal solve result violates the stated contract at forward rhs elimination.
Exact tridiagonal solve: forward rhs elimination · case 02
The exact exact tridiagonal solve result violates the stated contract at forward rhs elimination.
Exact tridiagonal solve: forward rhs elimination · case 03
The exact exact tridiagonal solve result violates the stated contract at forward rhs elimination.
Exact tridiagonal solve: forward rhs elimination · case 04
The exact exact tridiagonal solve result violates the stated contract at forward rhs elimination.
Exact tridiagonal solve: forward rhs elimination · case 05
The exact exact tridiagonal solve result violates the stated contract at forward rhs elimination.
Exact tridiagonal solve: back substitution · case 01
The exact exact tridiagonal solve result violates the stated contract at back substitution.
Exact tridiagonal solve: back substitution · case 02
The exact exact tridiagonal solve result violates the stated contract at back substitution.
Exact tridiagonal solve: back substitution · case 03
The exact exact tridiagonal solve result violates the stated contract at back substitution.
Exact tridiagonal solve: back substitution · case 04
The exact exact tridiagonal solve result violates the stated contract at back substitution.
Exact tridiagonal solve: back substitution · case 05
The exact exact tridiagonal solve result violates the stated contract at back substitution.
Exact ldl decomposition: diagonal factor progression · case 01
The exact exact ldl decomposition result violates the stated contract at diagonal factor progression.
Exact ldl decomposition: diagonal factor progression · case 02
The exact exact ldl decomposition result violates the stated contract at diagonal factor progression.
Exact ldl decomposition: diagonal factor progression · case 03
The exact exact ldl decomposition result violates the stated contract at diagonal factor progression.
Exact ldl decomposition: diagonal factor progression · case 04
The exact exact ldl decomposition result violates the stated contract at diagonal factor progression.
Exact ldl decomposition: diagonal factor progression · case 05
The exact exact ldl decomposition result violates the stated contract at diagonal factor progression.
Exact ldl decomposition: diagonal schur complement · case 01
The exact exact ldl decomposition result violates the stated contract at diagonal schur complement.
Exact ldl decomposition: diagonal schur complement · case 02
The exact exact ldl decomposition result violates the stated contract at diagonal schur complement.
Exact ldl decomposition: diagonal schur complement · case 03
The exact exact ldl decomposition result violates the stated contract at diagonal schur complement.
Exact ldl decomposition: diagonal schur complement · case 04
The exact exact ldl decomposition result violates the stated contract at diagonal schur complement.
Exact ldl decomposition: diagonal schur complement · case 05
The exact exact ldl decomposition result violates the stated contract at diagonal schur complement.
Exact ldl decomposition: lower factor row coverage · case 01
The exact exact ldl decomposition result violates the stated contract at lower factor row coverage.
Exact ldl decomposition: lower factor row coverage · case 02
The exact exact ldl decomposition result violates the stated contract at lower factor row coverage.
Exact ldl decomposition: lower factor row coverage · case 03
The exact exact ldl decomposition result violates the stated contract at lower factor row coverage.
Exact ldl decomposition: lower factor row coverage · case 04
The exact exact ldl decomposition result violates the stated contract at lower factor row coverage.
Exact ldl decomposition: lower factor row coverage · case 05
The exact exact ldl decomposition result violates the stated contract at lower factor row coverage.
Exact ldl decomposition: off diagonal schur complement · case 01
The exact exact ldl decomposition result violates the stated contract at off diagonal schur complement.
Exact ldl decomposition: off diagonal schur complement · case 02
The exact exact ldl decomposition result violates the stated contract at off diagonal schur complement.
Exact ldl decomposition: off diagonal schur complement · case 03
The exact exact ldl decomposition result violates the stated contract at off diagonal schur complement.
Exact ldl decomposition: off diagonal schur complement · case 04
The exact exact ldl decomposition result violates the stated contract at off diagonal schur complement.
Exact ldl decomposition: off diagonal schur complement · case 05
The exact exact ldl decomposition result violates the stated contract at off diagonal schur complement.
Exact ldl decomposition: lower factor diagonal divisor · case 01
The exact exact ldl decomposition result violates the stated contract at lower factor diagonal divisor.
Exact ldl decomposition: lower factor diagonal divisor · case 02
The exact exact ldl decomposition result violates the stated contract at lower factor diagonal divisor.
Exact ldl decomposition: lower factor diagonal divisor · case 03
The exact exact ldl decomposition result violates the stated contract at lower factor diagonal divisor.
Exact ldl decomposition: lower factor diagonal divisor · case 04
The exact exact ldl decomposition result violates the stated contract at lower factor diagonal divisor.
Exact ldl decomposition: lower factor diagonal divisor · case 05
The exact exact ldl decomposition result violates the stated contract at lower factor diagonal divisor.
Integer matrix binary power: multiplicative identity seed · case 01
The exact integer matrix binary power result violates the stated contract at multiplicative identity seed.
Integer matrix binary power: multiplicative identity seed · case 02
The exact integer matrix binary power result violates the stated contract at multiplicative identity seed.
Integer matrix binary power: multiplicative identity seed · case 03
The exact integer matrix binary power result violates the stated contract at multiplicative identity seed.
Integer matrix binary power: multiplicative identity seed · case 04
The exact integer matrix binary power result violates the stated contract at multiplicative identity seed.
Integer matrix binary power: multiplicative identity seed · case 05
The exact integer matrix binary power result violates the stated contract at multiplicative identity seed.
Integer matrix binary power: binary exponent digit test · case 01
The exact integer matrix binary power result violates the stated contract at binary exponent digit test.
Integer matrix binary power: binary exponent digit test · case 02
The exact integer matrix binary power result violates the stated contract at binary exponent digit test.
Integer matrix binary power: binary exponent digit test · case 03
The exact integer matrix binary power result violates the stated contract at binary exponent digit test.
Integer matrix binary power: binary exponent digit test · case 04
The exact integer matrix binary power result violates the stated contract at binary exponent digit test.
Integer matrix binary power: binary exponent digit test · case 05
The exact integer matrix binary power result violates the stated contract at binary exponent digit test.
Integer matrix binary power: selected power accumulation · case 01
The exact integer matrix binary power result violates the stated contract at selected power accumulation.
Integer matrix binary power: selected power accumulation · case 02
The exact integer matrix binary power result violates the stated contract at selected power accumulation.
Integer matrix binary power: selected power accumulation · case 03
The exact integer matrix binary power result violates the stated contract at selected power accumulation.
Integer matrix binary power: selected power accumulation · case 04
The exact integer matrix binary power result violates the stated contract at selected power accumulation.
Integer matrix binary power: selected power accumulation · case 05
The exact integer matrix binary power result violates the stated contract at selected power accumulation.
Integer matrix binary power: base power squaring · case 01
The exact integer matrix binary power result violates the stated contract at base power squaring.
Integer matrix binary power: base power squaring · case 02
The exact integer matrix binary power result violates the stated contract at base power squaring.
Integer matrix binary power: base power squaring · case 03
The exact integer matrix binary power result violates the stated contract at base power squaring.
Integer matrix binary power: base power squaring · case 04
The exact integer matrix binary power result violates the stated contract at base power squaring.
Integer matrix binary power: base power squaring · case 05
The exact integer matrix binary power result violates the stated contract at base power squaring.
Integer matrix binary power: binary exponent advancement · case 01
The exact integer matrix binary power result violates the stated contract at binary exponent advancement.
Integer matrix binary power: binary exponent advancement · case 02
The exact integer matrix binary power result violates the stated contract at binary exponent advancement.
Integer matrix binary power: binary exponent advancement · case 03
The exact integer matrix binary power result violates the stated contract at binary exponent advancement.
Integer matrix binary power: binary exponent advancement · case 04
The exact integer matrix binary power result violates the stated contract at binary exponent advancement.
Integer matrix binary power: binary exponent advancement · case 05
The exact integer matrix binary power result violates the stated contract at binary exponent advancement.
Hensel simple root lift: lifting exponent count · case 01
The exact hensel simple root lift result violates the stated contract at lifting exponent count.
Hensel simple root lift: lifting exponent count · case 02
The exact hensel simple root lift result violates the stated contract at lifting exponent count.
Hensel simple root lift: lifting exponent count · case 03
The exact hensel simple root lift result violates the stated contract at lifting exponent count.
Hensel simple root lift: lifting exponent count · case 04
The exact hensel simple root lift result violates the stated contract at lifting exponent count.
Hensel simple root lift: lifting exponent count · case 05
The exact hensel simple root lift result violates the stated contract at lifting exponent count.
Hensel simple root lift: formal derivative evaluation · case 01
The exact hensel simple root lift result violates the stated contract at formal derivative evaluation.
Hensel simple root lift: formal derivative evaluation · case 02
The exact hensel simple root lift result violates the stated contract at formal derivative evaluation.
Hensel simple root lift: formal derivative evaluation · case 03
The exact hensel simple root lift result violates the stated contract at formal derivative evaluation.
Hensel simple root lift: formal derivative evaluation · case 04
The exact hensel simple root lift result violates the stated contract at formal derivative evaluation.
Hensel simple root lift: formal derivative evaluation · case 05
The exact hensel simple root lift result violates the stated contract at formal derivative evaluation.
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 ↗