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
Clipped contribution sum: The upper clipping branch is omitted. · case 01
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: The upper clipping branch is omitted. · case 02
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: The upper clipping branch is omitted. · case 03
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: The upper clipping branch is omitted. · case 04
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: The upper clipping branch is omitted. · case 05
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: The lower clipping branch is omitted. · case 01
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: The lower clipping branch is omitted. · case 02
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: The lower clipping branch is omitted. · case 03
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: The lower clipping branch is omitted. · case 04
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: The lower clipping branch is omitted. · case 05
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: Symmetric magnitude clipping is used for asymmetric endpoints. · case 01
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: Symmetric magnitude clipping is used for asymmetric endpoints. · case 02
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: Symmetric magnitude clipping is used for asymmetric endpoints. · case 03
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: Symmetric magnitude clipping is used for asymmetric endpoints. · case 04
The reduction disagrees with its explicit aggregation oracle.
Clipped contribution sum: Symmetric magnitude clipping is used for asymmetric endpoints. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Only the final net balance is clamped. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Only the final net balance is clamped. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Only the final net balance is clamped. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Only the final net balance is clamped. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Only the final net balance is clamped. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Negative intermediate debt survives the lower saturation bound. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Negative intermediate debt survives the lower saturation bound. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Negative intermediate debt survives the lower saturation bound. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Negative intermediate debt survives the lower saturation bound. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Negative intermediate debt survives the lower saturation bound. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Excess intermediate credit survives the upper saturation bound. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Excess intermediate credit survives the upper saturation bound. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Excess intermediate credit survives the upper saturation bound. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Excess intermediate credit survives the upper saturation bound. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Excess intermediate credit survives the upper saturation bound. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Events are sorted before an order-dependent reduction. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Events are sorted before an order-dependent reduction. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Events are sorted before an order-dependent reduction. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Events are sorted before an order-dependent reduction. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: Events are sorted before an order-dependent reduction. · case 05
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: An overflowing balance resets instead of saturating. · case 01
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: An overflowing balance resets instead of saturating. · case 02
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: An overflowing balance resets instead of saturating. · case 03
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: An overflowing balance resets instead of saturating. · case 04
The reduction disagrees with its explicit aggregation oracle.
Capped prefix balance: An overflowing balance resets instead of saturating. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Between-block mean displacement is omitted. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Between-block mean displacement is omitted. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Between-block mean displacement is omitted. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Between-block mean displacement is omitted. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Between-block mean displacement is omitted. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement correction weights blocks equally regardless of count. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement correction weights blocks equally regardless of count. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement correction weights blocks equally regardless of count. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement correction weights blocks equally regardless of count. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement correction weights blocks equally regardless of count. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The merged mean averages block means without their counts. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The merged mean averages block means without their counts. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The merged mean averages block means without their counts. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The merged mean averages block means without their counts. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The merged mean averages block means without their counts. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Incoming scatter replaces rather than combines prior within-block scatter. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Incoming scatter replaces rather than combines prior within-block scatter. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Incoming scatter replaces rather than combines prior within-block scatter. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Incoming scatter replaces rather than combines prior within-block scatter. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: Incoming scatter replaces rather than combines prior within-block scatter. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement formula uses the post-merge total as the prior count. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement formula uses the post-merge total as the prior count. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement formula uses the post-merge total as the prior count. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement formula uses the post-merge total as the prior count. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 2: The displacement formula uses the post-merge total as the prior count. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic mean-separation contribution is omitted. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic mean-separation contribution is omitted. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic mean-separation contribution is omitted. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic mean-separation contribution is omitted. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic mean-separation contribution is omitted. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third-moment merge omits coupling to block scatter. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third-moment merge omits coupling to block scatter. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third-moment merge omits coupling to block scatter. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third-moment merge omits coupling to block scatter. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third-moment merge omits coupling to block scatter. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The old scatter contribution has the incoming scatter sign. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The old scatter contribution has the incoming scatter sign. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The old scatter contribution has the incoming scatter sign. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The old scatter contribution has the incoming scatter sign. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The old scatter contribution has the incoming scatter sign. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third moment uses reversed mean displacement. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third moment uses reversed mean displacement. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third moment uses reversed mean displacement. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third moment uses reversed mean displacement. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: Third moment uses reversed mean displacement. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic term tests total population rather than the difference of block counts. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic term tests total population rather than the difference of block counts. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic term tests total population rather than the difference of block counts. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic term tests total population rather than the difference of block counts. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 3: The cubic term tests total population rather than the difference of block counts. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: The fourth-power block separation term is omitted. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: The fourth-power block separation term is omitted. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: The fourth-power block separation term is omitted. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: The fourth-power block separation term is omitted. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: The fourth-power block separation term is omitted. · case 05
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: Fourth-moment translation omits second-moment coupling. · case 01
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: Fourth-moment translation omits second-moment coupling. · case 02
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: Fourth-moment translation omits second-moment coupling. · case 03
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: Fourth-moment translation omits second-moment coupling. · case 04
The reduction disagrees with its explicit aggregation oracle.
Merge central moment 4: Fourth-moment translation omits second-moment coupling. · case 05
The reduction disagrees with its explicit aggregation oracle.
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 ↗