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
Baranov catch and age-structured survival: total mortality · case 01
Survivors ignore natural mortality and catches are overstated.
Baranov catch and age-structured survival: total mortality · case 02
Survivors ignore natural mortality and catches are overstated.
Baranov catch and age-structured survival: total mortality · case 03
Survivors ignore natural mortality and catches are overstated.
Baranov catch and age-structured survival: total mortality · case 04
Survivors ignore natural mortality and catches are overstated.
Baranov catch and age-structured survival: total mortality · case 05
Survivors ignore natural mortality and catches are overstated.
Baranov catch and age-structured survival: catch fraction · case 01
Catch ignores fish that die naturally before they can be caught.
Baranov catch and age-structured survival: catch fraction · case 02
Catch ignores fish that die naturally before they can be caught.
Baranov catch and age-structured survival: catch fraction · case 03
Catch ignores fish that die naturally before they can be caught.
Baranov catch and age-structured survival: catch fraction · case 04
Catch ignores fish that die naturally before they can be caught.
Baranov catch and age-structured survival: catch fraction · case 05
Catch ignores fish that die naturally before they can be caught.
Baranov catch and age-structured survival: plus group · case 01
Old fish disappear from the stock after one year in the oldest class.
Baranov catch and age-structured survival: plus group · case 02
Old fish disappear from the stock after one year in the oldest class.
Baranov catch and age-structured survival: plus group · case 03
Old fish disappear from the stock after one year in the oldest class.
Baranov catch and age-structured survival: plus group · case 04
Old fish disappear from the stock after one year in the oldest class.
Baranov catch and age-structured survival: plus group · case 05
Old fish disappear from the stock after one year in the oldest class.
Baranov catch and age-structured survival: survival · case 01
High mortality produces negative numbers at age.
Baranov catch and age-structured survival: survival · case 02
High mortality produces negative numbers at age.
Baranov catch and age-structured survival: survival · case 03
High mortality produces negative numbers at age.
Baranov catch and age-structured survival: survival · case 04
High mortality produces negative numbers at age.
Baranov catch and age-structured survival: survival · case 05
High mortality produces negative numbers at age.
Nicholson-Bailey host-parasitoid generations: simultaneous generation update · case 01
Parasitoid emergence is computed from next generation's hosts.
Nicholson-Bailey host-parasitoid generations: simultaneous generation update · case 02
Parasitoid emergence is computed from next generation's hosts.
Nicholson-Bailey host-parasitoid generations: simultaneous generation update · case 03
Parasitoid emergence is computed from next generation's hosts.
Nicholson-Bailey host-parasitoid generations: simultaneous generation update · case 04
Parasitoid emergence is computed from next generation's hosts.
Nicholson-Bailey host-parasitoid generations: simultaneous generation update · case 05
Parasitoid emergence is computed from next generation's hosts.
Nicholson-Bailey host-parasitoid generations: escape fraction · case 01
Hosts escape too often at moderate parasitoid densities.
Nicholson-Bailey host-parasitoid generations: escape fraction · case 02
Hosts escape too often at moderate parasitoid densities.
Nicholson-Bailey host-parasitoid generations: escape fraction · case 03
Hosts escape too often at moderate parasitoid densities.
Nicholson-Bailey host-parasitoid generations: escape fraction · case 04
Hosts escape too often at moderate parasitoid densities.
Nicholson-Bailey host-parasitoid generations: escape fraction · case 05
Hosts escape too often at moderate parasitoid densities.
Nicholson-Bailey host-parasitoid generations: parasitoid emergence · case 01
Parasitoids emerge from hosts that escaped attack.
Nicholson-Bailey host-parasitoid generations: parasitoid emergence · case 02
Parasitoids emerge from hosts that escaped attack.
Nicholson-Bailey host-parasitoid generations: parasitoid emergence · case 03
Parasitoids emerge from hosts that escaped attack.
Nicholson-Bailey host-parasitoid generations: parasitoid emergence · case 04
Parasitoids emerge from hosts that escaped attack.
Nicholson-Bailey host-parasitoid generations: parasitoid emergence · case 05
Parasitoids emerge from hosts that escaped attack.
Nicholson-Bailey host-parasitoid generations: host equilibrium · case 01
The host equilibrium is understated by a factor lam.
Nicholson-Bailey host-parasitoid generations: host equilibrium · case 02
The host equilibrium is understated by a factor lam.
Nicholson-Bailey host-parasitoid generations: host equilibrium · case 03
The host equilibrium is understated by a factor lam.
Nicholson-Bailey host-parasitoid generations: host equilibrium · case 04
The host equilibrium is understated by a factor lam.
Nicholson-Bailey host-parasitoid generations: host equilibrium · case 05
The host equilibrium is understated by a factor lam.
Nicholson-Bailey host-parasitoid generations: parasitoid equilibrium · case 01
Parasitoid equilibrium grows linearly with host fecundity.
Nicholson-Bailey host-parasitoid generations: parasitoid equilibrium · case 02
Parasitoid equilibrium grows linearly with host fecundity.
Nicholson-Bailey host-parasitoid generations: parasitoid equilibrium · case 03
Parasitoid equilibrium grows linearly with host fecundity.
Nicholson-Bailey host-parasitoid generations: parasitoid equilibrium · case 04
Parasitoid equilibrium grows linearly with host fecundity.
Nicholson-Bailey host-parasitoid generations: parasitoid equilibrium · case 05
Parasitoid equilibrium grows linearly with host fecundity.
Insect degree-day accumulation with horizontal cutoff: upper cutoff · case 01
Heat waves add degree-days above the developmental ceiling.
Insect degree-day accumulation with horizontal cutoff: upper cutoff · case 02
Heat waves add degree-days above the developmental ceiling.
Insect degree-day accumulation with horizontal cutoff: upper cutoff · case 03
Heat waves add degree-days above the developmental ceiling.
Insect degree-day accumulation with horizontal cutoff: upper cutoff · case 04
Heat waves add degree-days above the developmental ceiling.
Insect degree-day accumulation with horizontal cutoff: upper cutoff · case 05
Heat waves add degree-days above the developmental ceiling.
Insect degree-day accumulation with horizontal cutoff: minimum substitution · case 01
Cold nights subtract development accumulated during the day.
Insect degree-day accumulation with horizontal cutoff: minimum substitution · case 02
Cold nights subtract development accumulated during the day.
Insect degree-day accumulation with horizontal cutoff: minimum substitution · case 03
Cold nights subtract development accumulated during the day.
Insect degree-day accumulation with horizontal cutoff: minimum substitution · case 04
Cold nights subtract development accumulated during the day.
Insect degree-day accumulation with horizontal cutoff: minimum substitution · case 05
Cold nights subtract development accumulated during the day.
Insect degree-day accumulation with horizontal cutoff: negative day floor · case 01
Cool days reduce the cumulative total.
Insect degree-day accumulation with horizontal cutoff: negative day floor · case 02
Cool days reduce the cumulative total.
Insect degree-day accumulation with horizontal cutoff: negative day floor · case 03
Cool days reduce the cumulative total.
Insect degree-day accumulation with horizontal cutoff: negative day floor · case 04
Cool days reduce the cumulative total.
Insect degree-day accumulation with horizontal cutoff: negative day floor · case 05
Cool days reduce the cumulative total.
Insect degree-day accumulation with horizontal cutoff: emergence threshold · case 01
Emergence is predicted one day late when the target is hit exactly.
Insect degree-day accumulation with horizontal cutoff: emergence threshold · case 02
Emergence is predicted one day late when the target is hit exactly.
Insect degree-day accumulation with horizontal cutoff: emergence threshold · case 03
Emergence is predicted one day late when the target is hit exactly.
Insect degree-day accumulation with horizontal cutoff: emergence threshold · case 04
Emergence is predicted one day late when the target is hit exactly.
Insect degree-day accumulation with horizontal cutoff: emergence threshold · case 05
Emergence is predicted one day late when the target is hit exactly.
Insect degree-day accumulation with horizontal cutoff: day numbering · case 01
Emergence days are reported zero-based.
Insect degree-day accumulation with horizontal cutoff: day numbering · case 02
Emergence days are reported zero-based.
Insect degree-day accumulation with horizontal cutoff: day numbering · case 03
Emergence days are reported zero-based.
Insect degree-day accumulation with horizontal cutoff: day numbering · case 04
Emergence days are reported zero-based.
Insect degree-day accumulation with horizontal cutoff: day numbering · case 05
Emergence days are reported zero-based.
Stochastic growth rate and quasi-extinction: long-run trend metric · case 01
Boom-and-bust populations with declining long-run size are labelled stable or growing.
Stochastic growth rate and quasi-extinction: long-run trend metric · case 02
Boom-and-bust populations with declining long-run size are labelled stable or growing.
Stochastic growth rate and quasi-extinction: long-run trend metric · case 03
Boom-and-bust populations with declining long-run size are labelled stable or growing.
Stochastic growth rate and quasi-extinction: long-run trend metric · case 04
Boom-and-bust populations with declining long-run size are labelled stable or growing.
Stochastic growth rate and quasi-extinction: long-run trend metric · case 05
Boom-and-bust populations with declining long-run size are labelled stable or growing.
Stochastic growth rate and quasi-extinction: geometric mean · case 01
The geometric mean growth rate is reported on the log scale.
Stochastic growth rate and quasi-extinction: geometric mean · case 02
The geometric mean growth rate is reported on the log scale.
Stochastic growth rate and quasi-extinction: geometric mean · case 03
The geometric mean growth rate is reported on the log scale.
Stochastic growth rate and quasi-extinction: geometric mean · case 04
The geometric mean growth rate is reported on the log scale.
Stochastic growth rate and quasi-extinction: geometric mean · case 05
The geometric mean growth rate is reported on the log scale.
Stochastic growth rate and quasi-extinction: quasi-extinction comparison · case 01
Populations exactly at the threshold are counted as quasi-extinct.
Stochastic growth rate and quasi-extinction: quasi-extinction comparison · case 02
Populations exactly at the threshold are counted as quasi-extinct.
Stochastic growth rate and quasi-extinction: quasi-extinction comparison · case 03
Populations exactly at the threshold are counted as quasi-extinct.
Stochastic growth rate and quasi-extinction: quasi-extinction comparison · case 04
Populations exactly at the threshold are counted as quasi-extinct.
Stochastic growth rate and quasi-extinction: quasi-extinction comparison · case 05
Populations exactly at the threshold are counted as quasi-extinct.
Stochastic growth rate and quasi-extinction: first crossing latch · case 01
Quasi-extinction time reports the last dip instead of the first.
Stochastic growth rate and quasi-extinction: first crossing latch · case 02
Quasi-extinction time reports the last dip instead of the first.
Stochastic growth rate and quasi-extinction: first crossing latch · case 03
Quasi-extinction time reports the last dip instead of the first.
Stochastic growth rate and quasi-extinction: first crossing latch · case 04
Quasi-extinction time reports the last dip instead of the first.
Stochastic growth rate and quasi-extinction: first crossing latch · case 05
Quasi-extinction time reports the last dip instead of the first.
Stochastic growth rate and quasi-extinction: stable equality · case 01
A population whose long-run growth is exactly one is called growing.
Stochastic growth rate and quasi-extinction: stable equality · case 02
A population whose long-run growth is exactly one is called growing.
Stochastic growth rate and quasi-extinction: stable equality · case 03
A population whose long-run growth is exactly one is called growing.
Stochastic growth rate and quasi-extinction: stable equality · case 04
A population whose long-run growth is exactly one is called growing.
Stochastic growth rate and quasi-extinction: stable equality · case 05
A population whose long-run growth is exactly one is called growing.
Two-patch source-sink dispersal with ceilings: patch-specific ceiling · case 01
The sink patch is allowed to fill to the source ceiling.
Two-patch source-sink dispersal with ceilings: patch-specific ceiling · case 02
The sink patch is allowed to fill to the source ceiling.
Two-patch source-sink dispersal with ceilings: patch-specific ceiling · case 03
The sink patch is allowed to fill to the source ceiling.
Two-patch source-sink dispersal with ceilings: patch-specific ceiling · case 04
The sink patch is allowed to fill to the source ceiling.
Two-patch source-sink dispersal with ceilings: patch-specific ceiling · case 05
The sink patch is allowed to fill to the source ceiling.
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 ↗