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
Binary field minimal polynomial: monic polynomial product identity · case 01
The exact binary field minimal polynomial result violates the stated contract at monic polynomial product identity.
Binary field minimal polynomial: monic polynomial product identity · case 02
The exact binary field minimal polynomial result violates the stated contract at monic polynomial product identity.
Binary field minimal polynomial: monic polynomial product identity · case 03
The exact binary field minimal polynomial result violates the stated contract at monic polynomial product identity.
Binary field minimal polynomial: monic polynomial product identity · case 04
The exact binary field minimal polynomial result violates the stated contract at monic polynomial product identity.
Binary field minimal polynomial: monic polynomial product identity · case 05
The exact binary field minimal polynomial result violates the stated contract at monic polynomial product identity.
Binary field minimal polynomial: root constant coefficient product · case 01
The exact binary field minimal polynomial result violates the stated contract at root constant coefficient product.
Binary field minimal polynomial: root constant coefficient product · case 02
The exact binary field minimal polynomial result violates the stated contract at root constant coefficient product.
Binary field minimal polynomial: root constant coefficient product · case 03
The exact binary field minimal polynomial result violates the stated contract at root constant coefficient product.
Binary field minimal polynomial: root constant coefficient product · case 04
The exact binary field minimal polynomial result violates the stated contract at root constant coefficient product.
Binary field minimal polynomial: root constant coefficient product · case 05
The exact binary field minimal polynomial result violates the stated contract at root constant coefficient product.
Binary field minimal polynomial: monic linear term contribution · case 01
The exact binary field minimal polynomial result violates the stated contract at monic linear term contribution.
Binary field minimal polynomial: monic linear term contribution · case 02
The exact binary field minimal polynomial result violates the stated contract at monic linear term contribution.
Binary field minimal polynomial: monic linear term contribution · case 03
The exact binary field minimal polynomial result violates the stated contract at monic linear term contribution.
Binary field minimal polynomial: monic linear term contribution · case 04
The exact binary field minimal polynomial result violates the stated contract at monic linear term contribution.
Binary field minimal polynomial: monic linear term contribution · case 05
The exact binary field minimal polynomial result violates the stated contract at monic linear term contribution.
Finite field discrete transform: frequency bin range · case 01
The exact finite field discrete transform result violates the stated contract at frequency bin range.
Finite field discrete transform: frequency bin range · case 02
The exact finite field discrete transform result violates the stated contract at frequency bin range.
Finite field discrete transform: frequency bin range · case 03
The exact finite field discrete transform result violates the stated contract at frequency bin range.
Finite field discrete transform: frequency bin range · case 04
The exact finite field discrete transform result violates the stated contract at frequency bin range.
Finite field discrete transform: frequency bin range · case 05
The exact finite field discrete transform result violates the stated contract at frequency bin range.
Finite field discrete transform: sample index coverage · case 01
The exact finite field discrete transform result violates the stated contract at sample index coverage.
Finite field discrete transform: sample index coverage · case 02
The exact finite field discrete transform result violates the stated contract at sample index coverage.
Finite field discrete transform: sample index coverage · case 03
The exact finite field discrete transform result violates the stated contract at sample index coverage.
Finite field discrete transform: sample index coverage · case 04
The exact finite field discrete transform result violates the stated contract at sample index coverage.
Finite field discrete transform: sample index coverage · case 05
The exact finite field discrete transform result violates the stated contract at sample index coverage.
Finite field discrete transform: character exponent · case 01
The exact finite field discrete transform result violates the stated contract at character exponent.
Finite field discrete transform: character exponent · case 02
The exact finite field discrete transform result violates the stated contract at character exponent.
Finite field discrete transform: character exponent · case 03
The exact finite field discrete transform result violates the stated contract at character exponent.
Finite field discrete transform: character exponent · case 04
The exact finite field discrete transform result violates the stated contract at character exponent.
Finite field discrete transform: character exponent · case 05
The exact finite field discrete transform result violates the stated contract at character exponent.
Finite field discrete transform: modular butterfly contribution · case 01
The exact finite field discrete transform result violates the stated contract at modular butterfly contribution.
Finite field discrete transform: modular butterfly contribution · case 02
The exact finite field discrete transform result violates the stated contract at modular butterfly contribution.
Finite field discrete transform: modular butterfly contribution · case 03
The exact finite field discrete transform result violates the stated contract at modular butterfly contribution.
Finite field discrete transform: modular butterfly contribution · case 04
The exact finite field discrete transform result violates the stated contract at modular butterfly contribution.
Finite field discrete transform: modular butterfly contribution · case 05
The exact finite field discrete transform result violates the stated contract at modular butterfly contribution.
Finite field discrete transform: transform normalization convention · case 01
The exact finite field discrete transform result violates the stated contract at transform normalization convention.
Finite field discrete transform: transform normalization convention · case 02
The exact finite field discrete transform result violates the stated contract at transform normalization convention.
Finite field discrete transform: transform normalization convention · case 03
The exact finite field discrete transform result violates the stated contract at transform normalization convention.
Finite field discrete transform: transform normalization convention · case 04
The exact finite field discrete transform result violates the stated contract at transform normalization convention.
Finite field discrete transform: transform normalization convention · case 05
The exact finite field discrete transform result violates the stated contract at transform normalization convention.
Walsh hadamard transform: butterfly stage termination · case 01
The exact walsh hadamard transform result violates the stated contract at butterfly stage termination.
Walsh hadamard transform: butterfly stage termination · case 02
The exact walsh hadamard transform result violates the stated contract at butterfly stage termination.
Walsh hadamard transform: butterfly stage termination · case 03
The exact walsh hadamard transform result violates the stated contract at butterfly stage termination.
Walsh hadamard transform: butterfly stage termination · case 04
The exact walsh hadamard transform result violates the stated contract at butterfly stage termination.
Walsh hadamard transform: butterfly stage termination · case 05
The exact walsh hadamard transform result violates the stated contract at butterfly stage termination.
Walsh hadamard transform: butterfly block stride · case 01
The exact walsh hadamard transform result violates the stated contract at butterfly block stride.
Walsh hadamard transform: butterfly block stride · case 02
The exact walsh hadamard transform result violates the stated contract at butterfly block stride.
Walsh hadamard transform: butterfly block stride · case 03
The exact walsh hadamard transform result violates the stated contract at butterfly block stride.
Walsh hadamard transform: butterfly block stride · case 04
The exact walsh hadamard transform result violates the stated contract at butterfly block stride.
Walsh hadamard transform: butterfly block stride · case 05
The exact walsh hadamard transform result violates the stated contract at butterfly block stride.
Walsh hadamard transform: sum wing · case 01
The exact walsh hadamard transform result violates the stated contract at sum wing.
Walsh hadamard transform: sum wing · case 02
The exact walsh hadamard transform result violates the stated contract at sum wing.
Walsh hadamard transform: sum wing · case 03
The exact walsh hadamard transform result violates the stated contract at sum wing.
Walsh hadamard transform: sum wing · case 04
The exact walsh hadamard transform result violates the stated contract at sum wing.
Walsh hadamard transform: sum wing · case 05
The exact walsh hadamard transform result violates the stated contract at sum wing.
Walsh hadamard transform: difference wing · case 01
The exact walsh hadamard transform result violates the stated contract at difference wing.
Walsh hadamard transform: difference wing · case 02
The exact walsh hadamard transform result violates the stated contract at difference wing.
Walsh hadamard transform: difference wing · case 03
The exact walsh hadamard transform result violates the stated contract at difference wing.
Walsh hadamard transform: difference wing · case 04
The exact walsh hadamard transform result violates the stated contract at difference wing.
Walsh hadamard transform: difference wing · case 05
The exact walsh hadamard transform result violates the stated contract at difference wing.
Walsh hadamard transform: butterfly span growth · case 01
The exact walsh hadamard transform result violates the stated contract at butterfly span growth.
Walsh hadamard transform: butterfly span growth · case 02
The exact walsh hadamard transform result violates the stated contract at butterfly span growth.
Walsh hadamard transform: butterfly span growth · case 03
The exact walsh hadamard transform result violates the stated contract at butterfly span growth.
Walsh hadamard transform: butterfly span growth · case 04
The exact walsh hadamard transform result violates the stated contract at butterfly span growth.
Walsh hadamard transform: butterfly span growth · case 05
The exact walsh hadamard transform result violates the stated contract at butterfly span growth.
Montgomery residue product: negative modulus inverse · case 01
The exact montgomery residue product result violates the stated contract at negative modulus inverse.
Montgomery residue product: negative modulus inverse · case 02
The exact montgomery residue product result violates the stated contract at negative modulus inverse.
Montgomery residue product: negative modulus inverse · case 03
The exact montgomery residue product result violates the stated contract at negative modulus inverse.
Montgomery residue product: negative modulus inverse · case 04
The exact montgomery residue product result violates the stated contract at negative modulus inverse.
Montgomery residue product: negative modulus inverse · case 05
The exact montgomery residue product result violates the stated contract at negative modulus inverse.
Montgomery residue product: wide product retention · case 01
The exact montgomery residue product result violates the stated contract at wide product retention.
Montgomery residue product: wide product retention · case 02
The exact montgomery residue product result violates the stated contract at wide product retention.
Montgomery residue product: wide product retention · case 03
The exact montgomery residue product result violates the stated contract at wide product retention.
Montgomery residue product: wide product retention · case 04
The exact montgomery residue product result violates the stated contract at wide product retention.
Montgomery residue product: wide product retention · case 05
The exact montgomery residue product result violates the stated contract at wide product retention.
Montgomery residue product: low radix correction · case 01
The exact montgomery residue product result violates the stated contract at low radix correction.
Montgomery residue product: low radix correction · case 02
The exact montgomery residue product result violates the stated contract at low radix correction.
Montgomery residue product: low radix correction · case 03
The exact montgomery residue product result violates the stated contract at low radix correction.
Montgomery residue product: low radix correction · case 04
The exact montgomery residue product result violates the stated contract at low radix correction.
Montgomery residue product: low radix correction · case 05
The exact montgomery residue product result violates the stated contract at low radix correction.
Montgomery residue product: radix cancellation quotient · case 01
The exact montgomery residue product result violates the stated contract at radix cancellation quotient.
Montgomery residue product: radix cancellation quotient · case 02
The exact montgomery residue product result violates the stated contract at radix cancellation quotient.
Montgomery residue product: radix cancellation quotient · case 03
The exact montgomery residue product result violates the stated contract at radix cancellation quotient.
Montgomery residue product: radix cancellation quotient · case 04
The exact montgomery residue product result violates the stated contract at radix cancellation quotient.
Montgomery residue product: radix cancellation quotient · case 05
The exact montgomery residue product result violates the stated contract at radix cancellation quotient.
Montgomery residue product: final conditional subtraction · case 01
The exact montgomery residue product result violates the stated contract at final conditional subtraction.
Montgomery residue product: final conditional subtraction · case 02
The exact montgomery residue product result violates the stated contract at final conditional subtraction.
Montgomery residue product: final conditional subtraction · case 03
The exact montgomery residue product result violates the stated contract at final conditional subtraction.
Montgomery residue product: final conditional subtraction · case 04
The exact montgomery residue product result violates the stated contract at final conditional subtraction.
Montgomery residue product: final conditional subtraction · case 05
The exact montgomery residue product result violates the stated contract at final conditional subtraction.
Singular hensel root tree: root tree lift depth · case 01
The exact singular hensel root tree result violates the stated contract at root tree lift depth.
Singular hensel root tree: root tree lift depth · case 02
The exact singular hensel root tree result violates the stated contract at root tree lift depth.
Singular hensel root tree: root tree lift depth · case 03
The exact singular hensel root tree result violates the stated contract at root tree lift depth.
Singular hensel root tree: root tree lift depth · case 04
The exact singular hensel root tree result violates the stated contract at root tree lift depth.
Singular hensel root tree: root tree lift depth · case 05
The exact singular hensel root tree result violates the stated contract at root tree lift depth.
Singular hensel root tree: root tree target modulus · case 01
The exact singular hensel root tree result violates the stated contract at root tree target modulus.
Singular hensel root tree: root tree target modulus · case 02
The exact singular hensel root tree result violates the stated contract at root tree target modulus.
Singular hensel root tree: root tree target modulus · case 03
The exact singular hensel root tree result violates the stated contract at root tree target modulus.
Singular hensel root tree: root tree target modulus · case 04
The exact singular hensel root tree result violates the stated contract at root tree target modulus.
Singular hensel root tree: root tree target modulus · case 05
The exact singular hensel root tree result violates the stated contract at root tree target modulus.
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 ↗