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
Hensel simple root lift: lift correction residue · case 01
The exact hensel simple root lift result violates the stated contract at lift correction residue.
Hensel simple root lift: lift correction residue · case 02
The exact hensel simple root lift result violates the stated contract at lift correction residue.
Hensel simple root lift: lift correction residue · case 03
The exact hensel simple root lift result violates the stated contract at lift correction residue.
Hensel simple root lift: lift correction residue · case 04
The exact hensel simple root lift result violates the stated contract at lift correction residue.
Hensel simple root lift: lift correction residue · case 05
The exact hensel simple root lift result violates the stated contract at lift correction residue.
Hensel simple root lift: root digit extension · case 01
The exact hensel simple root lift result violates the stated contract at root digit extension.
Hensel simple root lift: root digit extension · case 02
The exact hensel simple root lift result violates the stated contract at root digit extension.
Hensel simple root lift: root digit extension · case 03
The exact hensel simple root lift result violates the stated contract at root digit extension.
Hensel simple root lift: root digit extension · case 04
The exact hensel simple root lift result violates the stated contract at root digit extension.
Hensel simple root lift: root digit extension · case 05
The exact hensel simple root lift result violates the stated contract at root digit extension.
Hensel simple root lift: precision modulus growth · case 01
The exact hensel simple root lift result violates the stated contract at precision modulus growth.
Hensel simple root lift: precision modulus growth · case 02
The exact hensel simple root lift result violates the stated contract at precision modulus growth.
Hensel simple root lift: precision modulus growth · case 03
The exact hensel simple root lift result violates the stated contract at precision modulus growth.
Hensel simple root lift: precision modulus growth · case 04
The exact hensel simple root lift result violates the stated contract at precision modulus growth.
Hensel simple root lift: precision modulus growth · case 05
The exact hensel simple root lift result violates the stated contract at precision modulus growth.
Lucas binomial residue: digit product identity · case 01
The exact lucas binomial residue result violates the stated contract at digit product identity.
Lucas binomial residue: digit product identity · case 02
The exact lucas binomial residue result violates the stated contract at digit product identity.
Lucas binomial residue: digit product identity · case 03
The exact lucas binomial residue result violates the stated contract at digit product identity.
Lucas binomial residue: digit product identity · case 04
The exact lucas binomial residue result violates the stated contract at digit product identity.
Lucas binomial residue: digit product identity · case 05
The exact lucas binomial residue result violates the stated contract at digit product identity.
Lucas binomial residue: remaining digit termination · case 01
The exact lucas binomial residue result violates the stated contract at remaining digit termination.
Lucas binomial residue: remaining digit termination · case 02
The exact lucas binomial residue result violates the stated contract at remaining digit termination.
Lucas binomial residue: remaining digit termination · case 03
The exact lucas binomial residue result violates the stated contract at remaining digit termination.
Lucas binomial residue: remaining digit termination · case 04
The exact lucas binomial residue result violates the stated contract at remaining digit termination.
Lucas binomial residue: remaining digit termination · case 05
The exact lucas binomial residue result violates the stated contract at remaining digit termination.
Lucas binomial residue: digit carry zero criterion · case 01
The exact lucas binomial residue result violates the stated contract at digit carry zero criterion.
Lucas binomial residue: digit carry zero criterion · case 02
The exact lucas binomial residue result violates the stated contract at digit carry zero criterion.
Lucas binomial residue: digit carry zero criterion · case 03
The exact lucas binomial residue result violates the stated contract at digit carry zero criterion.
Lucas binomial residue: digit carry zero criterion · case 04
The exact lucas binomial residue result violates the stated contract at digit carry zero criterion.
Lucas binomial residue: digit carry zero criterion · case 05
The exact lucas binomial residue result violates the stated contract at digit carry zero criterion.
Lucas binomial residue: digit binomial multiplication · case 01
The exact lucas binomial residue result violates the stated contract at digit binomial multiplication.
Lucas binomial residue: digit binomial multiplication · case 02
The exact lucas binomial residue result violates the stated contract at digit binomial multiplication.
Lucas binomial residue: digit binomial multiplication · case 03
The exact lucas binomial residue result violates the stated contract at digit binomial multiplication.
Lucas binomial residue: digit binomial multiplication · case 04
The exact lucas binomial residue result violates the stated contract at digit binomial multiplication.
Lucas binomial residue: digit binomial multiplication · case 05
The exact lucas binomial residue result violates the stated contract at digit binomial multiplication.
Lucas binomial residue: base prime digit shift · case 01
The exact lucas binomial residue result violates the stated contract at base prime digit shift.
Lucas binomial residue: base prime digit shift · case 02
The exact lucas binomial residue result violates the stated contract at base prime digit shift.
Lucas binomial residue: base prime digit shift · case 03
The exact lucas binomial residue result violates the stated contract at base prime digit shift.
Lucas binomial residue: base prime digit shift · case 04
The exact lucas binomial residue result violates the stated contract at base prime digit shift.
Lucas binomial residue: base prime digit shift · case 05
The exact lucas binomial residue result violates the stated contract at base prime digit shift.
Kummer binomial valuation: first addend selection · case 01
The exact kummer binomial valuation result violates the stated contract at first addend selection.
Kummer binomial valuation: first addend selection · case 02
The exact kummer binomial valuation result violates the stated contract at first addend selection.
Kummer binomial valuation: first addend selection · case 03
The exact kummer binomial valuation result violates the stated contract at first addend selection.
Kummer binomial valuation: first addend selection · case 04
The exact kummer binomial valuation result violates the stated contract at first addend selection.
Kummer binomial valuation: first addend selection · case 05
The exact kummer binomial valuation result violates the stated contract at first addend selection.
Kummer binomial valuation: carry propagation termination · case 01
The exact kummer binomial valuation result violates the stated contract at carry propagation termination.
Kummer binomial valuation: carry propagation termination · case 02
The exact kummer binomial valuation result violates the stated contract at carry propagation termination.
Kummer binomial valuation: carry propagation termination · case 03
The exact kummer binomial valuation result violates the stated contract at carry propagation termination.
Kummer binomial valuation: carry propagation termination · case 04
The exact kummer binomial valuation result violates the stated contract at carry propagation termination.
Kummer binomial valuation: carry propagation termination · case 05
The exact kummer binomial valuation result violates the stated contract at carry propagation termination.
Kummer binomial valuation: incoming carry inclusion · case 01
The exact kummer binomial valuation result violates the stated contract at incoming carry inclusion.
Kummer binomial valuation: incoming carry inclusion · case 02
The exact kummer binomial valuation result violates the stated contract at incoming carry inclusion.
Kummer binomial valuation: incoming carry inclusion · case 03
The exact kummer binomial valuation result violates the stated contract at incoming carry inclusion.
Kummer binomial valuation: incoming carry inclusion · case 04
The exact kummer binomial valuation result violates the stated contract at incoming carry inclusion.
Kummer binomial valuation: incoming carry inclusion · case 05
The exact kummer binomial valuation result violates the stated contract at incoming carry inclusion.
Kummer binomial valuation: digit overflow carry · case 01
The exact kummer binomial valuation result violates the stated contract at digit overflow carry.
Kummer binomial valuation: digit overflow carry · case 02
The exact kummer binomial valuation result violates the stated contract at digit overflow carry.
Kummer binomial valuation: digit overflow carry · case 03
The exact kummer binomial valuation result violates the stated contract at digit overflow carry.
Kummer binomial valuation: digit overflow carry · case 04
The exact kummer binomial valuation result violates the stated contract at digit overflow carry.
Kummer binomial valuation: digit overflow carry · case 05
The exact kummer binomial valuation result violates the stated contract at digit overflow carry.
Kummer binomial valuation: next prime digits · case 01
The exact kummer binomial valuation result violates the stated contract at next prime digits.
Kummer binomial valuation: next prime digits · case 02
The exact kummer binomial valuation result violates the stated contract at next prime digits.
Kummer binomial valuation: next prime digits · case 03
The exact kummer binomial valuation result violates the stated contract at next prime digits.
Kummer binomial valuation: next prime digits · case 04
The exact kummer binomial valuation result violates the stated contract at next prime digits.
Kummer binomial valuation: next prime digits · case 05
The exact kummer binomial valuation result violates the stated contract at next prime digits.
Prime power unit factorial: prime power ring modulus · case 01
The exact prime power unit factorial result violates the stated contract at prime power ring modulus.
Prime power unit factorial: prime power ring modulus · case 02
The exact prime power unit factorial result violates the stated contract at prime power ring modulus.
Prime power unit factorial: prime power ring modulus · case 03
The exact prime power unit factorial result violates the stated contract at prime power ring modulus.
Prime power unit factorial: prime power ring modulus · case 04
The exact prime power unit factorial result violates the stated contract at prime power ring modulus.
Prime power unit factorial: prime power ring modulus · case 05
The exact prime power unit factorial result violates the stated contract at prime power ring modulus.
Prime power unit factorial: unit factorial identity · case 01
The exact prime power unit factorial result violates the stated contract at unit factorial identity.
Prime power unit factorial: unit factorial identity · case 02
The exact prime power unit factorial result violates the stated contract at unit factorial identity.
Prime power unit factorial: unit factorial identity · case 03
The exact prime power unit factorial result violates the stated contract at unit factorial identity.
Prime power unit factorial: unit factorial identity · case 04
The exact prime power unit factorial result violates the stated contract at unit factorial identity.
Prime power unit factorial: unit factorial identity · case 05
The exact prime power unit factorial result violates the stated contract at unit factorial identity.
Prime power unit factorial: factorial factor coverage · case 01
The exact prime power unit factorial result violates the stated contract at factorial factor coverage.
Prime power unit factorial: factorial factor coverage · case 02
The exact prime power unit factorial result violates the stated contract at factorial factor coverage.
Prime power unit factorial: factorial factor coverage · case 03
The exact prime power unit factorial result violates the stated contract at factorial factor coverage.
Prime power unit factorial: factorial factor coverage · case 04
The exact prime power unit factorial result violates the stated contract at factorial factor coverage.
Prime power unit factorial: factorial factor coverage · case 05
The exact prime power unit factorial result violates the stated contract at factorial factor coverage.
Prime power unit factorial: all prime factor stripping · case 01
The exact prime power unit factorial result violates the stated contract at all prime factor stripping.
Prime power unit factorial: all prime factor stripping · case 02
The exact prime power unit factorial result violates the stated contract at all prime factor stripping.
Prime power unit factorial: all prime factor stripping · case 03
The exact prime power unit factorial result violates the stated contract at all prime factor stripping.
Prime power unit factorial: all prime factor stripping · case 04
The exact prime power unit factorial result violates the stated contract at all prime factor stripping.
Prime power unit factorial: all prime factor stripping · case 05
The exact prime power unit factorial result violates the stated contract at all prime factor stripping.
Prime power unit factorial: unit factor multiplication · case 01
The exact prime power unit factorial result violates the stated contract at unit factor multiplication.
Prime power unit factorial: unit factor multiplication · case 02
The exact prime power unit factorial result violates the stated contract at unit factor multiplication.
Prime power unit factorial: unit factor multiplication · case 03
The exact prime power unit factorial result violates the stated contract at unit factor multiplication.
Prime power unit factorial: unit factor multiplication · case 04
The exact prime power unit factorial result violates the stated contract at unit factor multiplication.
Prime power unit factorial: unit factor multiplication · case 05
The exact prime power unit factorial result violates the stated contract at unit factor multiplication.
Gf2 field multiplication: multiplier coefficient test · case 01
The exact gf2 field multiplication result violates the stated contract at multiplier coefficient test.
Gf2 field multiplication: multiplier coefficient test · case 02
The exact gf2 field multiplication result violates the stated contract at multiplier coefficient test.
Gf2 field multiplication: multiplier coefficient test · case 03
The exact gf2 field multiplication result violates the stated contract at multiplier coefficient test.
Gf2 field multiplication: multiplier coefficient test · case 04
The exact gf2 field multiplication result violates the stated contract at multiplier coefficient test.
Gf2 field multiplication: multiplier coefficient test · case 05
The exact gf2 field multiplication result violates the stated contract at multiplier coefficient test.
Gf2 field multiplication: field addition operation · case 01
The exact gf2 field multiplication result violates the stated contract at field addition operation.
Gf2 field multiplication: field addition operation · case 02
The exact gf2 field multiplication result violates the stated contract at field addition operation.
Gf2 field multiplication: field addition operation · case 03
The exact gf2 field multiplication result violates the stated contract at field addition operation.
Gf2 field multiplication: field addition operation · case 04
The exact gf2 field multiplication result violates the stated contract at field addition operation.
Gf2 field multiplication: field addition operation · case 05
The exact gf2 field multiplication result violates the stated contract at field addition operation.
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 ↗