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
Capped weight effective size: The effective size is replaced by the number of records. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: The effective size is replaced by the number of records. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: The effective size is replaced by the number of records. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: The effective size is replaced by the number of records. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: The effective size is replaced by the number of records. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Clipping is applied to total weight rather than each weight. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Clipping is applied to total weight rather than each weight. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Clipping is applied to total weight rather than each weight. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Clipping is applied to total weight rather than each weight. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Clipping is applied to total weight rather than each weight. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Only the squared-weight denominator uses clipped weights. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Only the squared-weight denominator uses clipped weights. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Only the squared-weight denominator uses clipped weights. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Only the squared-weight denominator uses clipped weights. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Only the squared-weight denominator uses clipped weights. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Squared weights are clipped instead of squaring clipped weights. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Squared weights are clipped instead of squaring clipped weights. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Squared weights are clipped instead of squaring clipped weights. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Squared weights are clipped instead of squaring clipped weights. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Squared weights are clipped instead of squaring clipped weights. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: The concentration index is returned without inversion. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: The concentration index is returned without inversion. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: The concentration index is returned without inversion. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: The concentration index is returned without inversion. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: The concentration index is returned without inversion. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Negative importance weights are silently converted to magnitudes. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Negative importance weights are silently converted to magnitudes. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Negative importance weights are silently converted to magnitudes. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Negative importance weights are silently converted to magnitudes. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Negative importance weights are silently converted to magnitudes. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Effective size is truncated to an integer. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Effective size is truncated to an integer. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Effective size is truncated to an integer. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Effective size is truncated to an integer. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Effective size is truncated to an integer. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Zero weight population is assigned a zero measured effective size. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Zero weight population is assigned a zero measured effective size. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Zero weight population is assigned a zero measured effective size. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Zero weight population is assigned a zero measured effective size. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped weight effective size: Zero weight population is assigned a zero measured effective size. · case 05
The reduction disagrees with its explicit aggregation oracle.
Generalized crt: compatibility divisibility · case 01
The exact generalized crt result violates the stated contract at compatibility divisibility.
Generalized crt: compatibility divisibility · case 02
The exact generalized crt result violates the stated contract at compatibility divisibility.
Generalized crt: compatibility divisibility · case 03
The exact generalized crt result violates the stated contract at compatibility divisibility.
Generalized crt: compatibility divisibility · case 04
The exact generalized crt result violates the stated contract at compatibility divisibility.
Generalized crt: compatibility divisibility · case 05
The exact generalized crt result violates the stated contract at compatibility divisibility.
Generalized crt: reduced congruence multiplier · case 01
The exact generalized crt result violates the stated contract at reduced congruence multiplier.
Generalized crt: reduced congruence multiplier · case 02
The exact generalized crt result violates the stated contract at reduced congruence multiplier.
Generalized crt: reduced congruence multiplier · case 03
The exact generalized crt result violates the stated contract at reduced congruence multiplier.
Generalized crt: reduced congruence multiplier · case 04
The exact generalized crt result violates the stated contract at reduced congruence multiplier.
Generalized crt: reduced congruence multiplier · case 05
The exact generalized crt result violates the stated contract at reduced congruence multiplier.
Generalized crt: combined period · case 01
The exact generalized crt result violates the stated contract at combined period.
Generalized crt: combined period · case 02
The exact generalized crt result violates the stated contract at combined period.
Generalized crt: combined period · case 03
The exact generalized crt result violates the stated contract at combined period.
Generalized crt: combined period · case 04
The exact generalized crt result violates the stated contract at combined period.
Generalized crt: combined period · case 05
The exact generalized crt result violates the stated contract at combined period.
Generalized crt: solution reconstruction · case 01
The exact generalized crt result violates the stated contract at solution reconstruction.
Generalized crt: solution reconstruction · case 02
The exact generalized crt result violates the stated contract at solution reconstruction.
Generalized crt: solution reconstruction · case 03
The exact generalized crt result violates the stated contract at solution reconstruction.
Generalized crt: solution reconstruction · case 04
The exact generalized crt result violates the stated contract at solution reconstruction.
Generalized crt: solution reconstruction · case 05
The exact generalized crt result violates the stated contract at solution reconstruction.
Generalized crt: canonical residue · case 01
The exact generalized crt result violates the stated contract at canonical residue.
Generalized crt: canonical residue · case 02
The exact generalized crt result violates the stated contract at canonical residue.
Generalized crt: canonical residue · case 03
The exact generalized crt result violates the stated contract at canonical residue.
Generalized crt: canonical residue · case 04
The exact generalized crt result violates the stated contract at canonical residue.
Generalized crt: canonical residue · case 05
The exact generalized crt result violates the stated contract at canonical residue.
Linear congruence solutions: solvability · case 01
The exact linear congruence solutions result violates the stated contract at solvability.
Linear congruence solutions: solvability · case 02
The exact linear congruence solutions result violates the stated contract at solvability.
Linear congruence solutions: solvability · case 03
The exact linear congruence solutions result violates the stated contract at solvability.
Linear congruence solutions: solvability · case 04
The exact linear congruence solutions result violates the stated contract at solvability.
Linear congruence solutions: solvability · case 05
The exact linear congruence solutions result violates the stated contract at solvability.
Linear congruence solutions: quotient modulus · case 01
The exact linear congruence solutions result violates the stated contract at quotient modulus.
Linear congruence solutions: quotient modulus · case 02
The exact linear congruence solutions result violates the stated contract at quotient modulus.
Linear congruence solutions: quotient modulus · case 03
The exact linear congruence solutions result violates the stated contract at quotient modulus.
Linear congruence solutions: quotient modulus · case 04
The exact linear congruence solutions result violates the stated contract at quotient modulus.
Linear congruence solutions: quotient modulus · case 05
The exact linear congruence solutions result violates the stated contract at quotient modulus.
Linear congruence solutions: reduced residue · case 01
The exact linear congruence solutions result violates the stated contract at reduced residue.
Linear congruence solutions: reduced residue · case 02
The exact linear congruence solutions result violates the stated contract at reduced residue.
Linear congruence solutions: reduced residue · case 03
The exact linear congruence solutions result violates the stated contract at reduced residue.
Linear congruence solutions: reduced residue · case 04
The exact linear congruence solutions result violates the stated contract at reduced residue.
Linear congruence solutions: reduced residue · case 05
The exact linear congruence solutions result violates the stated contract at reduced residue.
Linear congruence solutions: coset spacing · case 01
The exact linear congruence solutions result violates the stated contract at coset spacing.
Linear congruence solutions: coset spacing · case 02
The exact linear congruence solutions result violates the stated contract at coset spacing.
Linear congruence solutions: coset spacing · case 03
The exact linear congruence solutions result violates the stated contract at coset spacing.
Linear congruence solutions: coset spacing · case 04
The exact linear congruence solutions result violates the stated contract at coset spacing.
Linear congruence solutions: coset spacing · case 05
The exact linear congruence solutions result violates the stated contract at coset spacing.
Linear congruence solutions: coset cardinality · case 01
The exact linear congruence solutions result violates the stated contract at coset cardinality.
Linear congruence solutions: coset cardinality · case 02
The exact linear congruence solutions result violates the stated contract at coset cardinality.
Linear congruence solutions: coset cardinality · case 03
The exact linear congruence solutions result violates the stated contract at coset cardinality.
Linear congruence solutions: coset cardinality · case 04
The exact linear congruence solutions result violates the stated contract at coset cardinality.
Linear congruence solutions: coset cardinality · case 05
The exact linear congruence solutions result violates the stated contract at coset cardinality.
Bounded diophantine: first coordinate endpoint · case 01
The exact bounded diophantine result violates the stated contract at first coordinate endpoint.
Bounded diophantine: first coordinate endpoint · case 02
The exact bounded diophantine result violates the stated contract at first coordinate endpoint.
Bounded diophantine: first coordinate endpoint · case 03
The exact bounded diophantine result violates the stated contract at first coordinate endpoint.
Bounded diophantine: first coordinate endpoint · case 04
The exact bounded diophantine result violates the stated contract at first coordinate endpoint.
Bounded diophantine: first coordinate endpoint · case 05
The exact bounded diophantine result violates the stated contract at first coordinate endpoint.
Bounded diophantine: remaining right hand side · case 01
The exact bounded diophantine result violates the stated contract at remaining right hand side.
Bounded diophantine: remaining right hand side · case 02
The exact bounded diophantine result violates the stated contract at remaining right hand side.
Bounded diophantine: remaining right hand side · case 03
The exact bounded diophantine result violates the stated contract at remaining right hand side.
Bounded diophantine: remaining right hand side · case 04
The exact bounded diophantine result violates the stated contract at remaining right hand side.
Bounded diophantine: remaining right hand side · case 05
The exact bounded diophantine result violates the stated contract at remaining right hand side.
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 ↗