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
SEIR R0 with vital dynamics and vaccine coverage: infectious period mortality · case 01
R0 ignores that hosts can die while infectious and is too high with vital dynamics.
SEIR R0 with vital dynamics and vaccine coverage: infectious period mortality · case 02
R0 ignores that hosts can die while infectious and is too high with vital dynamics.
SEIR R0 with vital dynamics and vaccine coverage: infectious period mortality · case 03
R0 ignores that hosts can die while infectious and is too high with vital dynamics.
SEIR R0 with vital dynamics and vaccine coverage: infectious period mortality · case 04
R0 ignores that hosts can die while infectious and is too high with vital dynamics.
SEIR R0 with vital dynamics and vaccine coverage: infectious period mortality · case 05
R0 ignores that hosts can die while infectious and is too high with vital dynamics.
SEIR R0 with vital dynamics and vaccine coverage: subcritical branch · case 01
Subcritical pathogens report a negative herd-immunity threshold and negative coverage.
SEIR R0 with vital dynamics and vaccine coverage: subcritical branch · case 02
Subcritical pathogens report a negative herd-immunity threshold and negative coverage.
SEIR R0 with vital dynamics and vaccine coverage: subcritical branch · case 03
Subcritical pathogens report a negative herd-immunity threshold and negative coverage.
SEIR R0 with vital dynamics and vaccine coverage: subcritical branch · case 04
Subcritical pathogens report a negative herd-immunity threshold and negative coverage.
SEIR R0 with vital dynamics and vaccine coverage: subcritical branch · case 05
Subcritical pathogens report a negative herd-immunity threshold and negative coverage.
SEIR R0 with vital dynamics and vaccine coverage: herd threshold · case 01
Herd immunity thresholds fall as R0 rises.
SEIR R0 with vital dynamics and vaccine coverage: herd threshold · case 02
Herd immunity thresholds fall as R0 rises.
SEIR R0 with vital dynamics and vaccine coverage: herd threshold · case 03
Herd immunity thresholds fall as R0 rises.
SEIR R0 with vital dynamics and vaccine coverage: herd threshold · case 04
Herd immunity thresholds fall as R0 rises.
SEIR R0 with vital dynamics and vaccine coverage: herd threshold · case 05
Herd immunity thresholds fall as R0 rises.
SEIR R0 with vital dynamics and vaccine coverage: efficacy adjustment · case 01
Imperfect vaccines appear to need lower coverage than perfect ones.
SEIR R0 with vital dynamics and vaccine coverage: efficacy adjustment · case 02
Imperfect vaccines appear to need lower coverage than perfect ones.
SEIR R0 with vital dynamics and vaccine coverage: efficacy adjustment · case 03
Imperfect vaccines appear to need lower coverage than perfect ones.
SEIR R0 with vital dynamics and vaccine coverage: efficacy adjustment · case 04
Imperfect vaccines appear to need lower coverage than perfect ones.
SEIR R0 with vital dynamics and vaccine coverage: efficacy adjustment · case 05
Imperfect vaccines appear to need lower coverage than perfect ones.
SEIR R0 with vital dynamics and vaccine coverage: infeasible coverage boundary · case 01
A campaign that needs exactly 100% coverage is reported as infeasible.
SEIR R0 with vital dynamics and vaccine coverage: infeasible coverage boundary · case 02
A campaign that needs exactly 100% coverage is reported as infeasible.
SEIR R0 with vital dynamics and vaccine coverage: infeasible coverage boundary · case 03
A campaign that needs exactly 100% coverage is reported as infeasible.
SEIR R0 with vital dynamics and vaccine coverage: infeasible coverage boundary · case 04
A campaign that needs exactly 100% coverage is reported as infeasible.
SEIR R0 with vital dynamics and vaccine coverage: infeasible coverage boundary · case 05
A campaign that needs exactly 100% coverage is reported as infeasible.
Reed-Frost expected chain-binomial generations: escape probability · case 01
Expected cases exceed the susceptible pool when several infectives are present.
Reed-Frost expected chain-binomial generations: escape probability · case 02
Expected cases exceed the susceptible pool when several infectives are present.
Reed-Frost expected chain-binomial generations: escape probability · case 03
Expected cases exceed the susceptible pool when several infectives are present.
Reed-Frost expected chain-binomial generations: escape probability · case 04
Expected cases exceed the susceptible pool when several infectives are present.
Reed-Frost expected chain-binomial generations: escape probability · case 05
Expected cases exceed the susceptible pool when several infectives are present.
Reed-Frost expected chain-binomial generations: one-generation infectivity · case 01
Epidemics saturate too quickly because every past case keeps transmitting.
Reed-Frost expected chain-binomial generations: one-generation infectivity · case 02
Epidemics saturate too quickly because every past case keeps transmitting.
Reed-Frost expected chain-binomial generations: one-generation infectivity · case 03
Epidemics saturate too quickly because every past case keeps transmitting.
Reed-Frost expected chain-binomial generations: one-generation infectivity · case 04
Epidemics saturate too quickly because every past case keeps transmitting.
Reed-Frost expected chain-binomial generations: one-generation infectivity · case 05
Epidemics saturate too quickly because every past case keeps transmitting.
Reed-Frost expected chain-binomial generations: susceptible depletion · case 01
Generation sizes never decline and the final size exceeds the population.
Reed-Frost expected chain-binomial generations: susceptible depletion · case 02
Generation sizes never decline and the final size exceeds the population.
Reed-Frost expected chain-binomial generations: susceptible depletion · case 03
Generation sizes never decline and the final size exceeds the population.
Reed-Frost expected chain-binomial generations: susceptible depletion · case 04
Generation sizes never decline and the final size exceeds the population.
Reed-Frost expected chain-binomial generations: susceptible depletion · case 05
Generation sizes never decline and the final size exceeds the population.
Reed-Frost expected chain-binomial generations: extinction stop · case 01
Chains are truncated while fractional expected cases would still infect others.
Reed-Frost expected chain-binomial generations: extinction stop · case 02
Chains are truncated while fractional expected cases would still infect others.
Reed-Frost expected chain-binomial generations: extinction stop · case 03
Chains are truncated while fractional expected cases would still infect others.
Reed-Frost expected chain-binomial generations: extinction stop · case 04
Chains are truncated while fractional expected cases would still infect others.
Reed-Frost expected chain-binomial generations: extinction stop · case 05
Chains are truncated while fractional expected cases would still infect others.
Reed-Frost expected chain-binomial generations: final size accounting · case 01
The final size misses the index cases.
Reed-Frost expected chain-binomial generations: final size accounting · case 02
The final size misses the index cases.
Reed-Frost expected chain-binomial generations: final size accounting · case 03
The final size misses the index cases.
Reed-Frost expected chain-binomial generations: final size accounting · case 04
The final size misses the index cases.
Reed-Frost expected chain-binomial generations: final size accounting · case 05
The final size misses the index cases.
Reed-Frost expected chain-binomial generations: generation horizon · case 01
The chain is cut one generation short of the requested horizon.
Reed-Frost expected chain-binomial generations: generation horizon · case 02
The chain is cut one generation short of the requested horizon.
Reed-Frost expected chain-binomial generations: generation horizon · case 03
The chain is cut one generation short of the requested horizon.
Reed-Frost expected chain-binomial generations: generation horizon · case 04
The chain is cut one generation short of the requested horizon.
Reed-Frost expected chain-binomial generations: generation horizon · case 05
The chain is cut one generation short of the requested horizon.
SIRS waning-immunity simulation: permanent immunity sentinel · case 01
Declaring permanent immunity (0) makes every recovered person susceptible again the next day.
SIRS waning-immunity simulation: permanent immunity sentinel · case 02
Declaring permanent immunity (0) makes every recovered person susceptible again the next day.
SIRS waning-immunity simulation: permanent immunity sentinel · case 03
Declaring permanent immunity (0) makes every recovered person susceptible again the next day.
SIRS waning-immunity simulation: permanent immunity sentinel · case 04
Declaring permanent immunity (0) makes every recovered person susceptible again the next day.
SIRS waning-immunity simulation: permanent immunity sentinel · case 05
Declaring permanent immunity (0) makes every recovered person susceptible again the next day.
SIRS waning-immunity simulation: waning destination · case 01
Population shrinks steadily as immunity wanes.
SIRS waning-immunity simulation: waning destination · case 02
Population shrinks steadily as immunity wanes.
SIRS waning-immunity simulation: waning destination · case 03
Population shrinks steadily as immunity wanes.
SIRS waning-immunity simulation: waning destination · case 04
Population shrinks steadily as immunity wanes.
SIRS waning-immunity simulation: waning destination · case 05
Population shrinks steadily as immunity wanes.
SIRS waning-immunity simulation: waning source · case 01
People recovering today already lose immunity in the same step.
SIRS waning-immunity simulation: waning source · case 02
People recovering today already lose immunity in the same step.
SIRS waning-immunity simulation: waning source · case 03
People recovering today already lose immunity in the same step.
SIRS waning-immunity simulation: waning source · case 04
People recovering today already lose immunity in the same step.
SIRS waning-immunity simulation: waning source · case 05
People recovering today already lose immunity in the same step.
SIRS waning-immunity simulation: cumulative incidence · case 01
Cumulative incidence stops growing, and even falls, once reinfections occur.
SIRS waning-immunity simulation: cumulative incidence · case 02
Cumulative incidence stops growing, and even falls, once reinfections occur.
SIRS waning-immunity simulation: cumulative incidence · case 03
Cumulative incidence stops growing, and even falls, once reinfections occur.
SIRS waning-immunity simulation: cumulative incidence · case 04
Cumulative incidence stops growing, and even falls, once reinfections occur.
SIRS waning-immunity simulation: cumulative incidence · case 05
Cumulative incidence stops growing, and even falls, once reinfections occur.
SIS endemic equilibrium convergence: equilibrium formula · case 01
The endemic prevalence target is the susceptible equilibrium, so convergence is judged against the wrong level.
SIS endemic equilibrium convergence: equilibrium formula · case 02
The endemic prevalence target is the susceptible equilibrium, so convergence is judged against the wrong level.
SIS endemic equilibrium convergence: equilibrium formula · case 03
The endemic prevalence target is the susceptible equilibrium, so convergence is judged against the wrong level.
SIS endemic equilibrium convergence: equilibrium formula · case 04
The endemic prevalence target is the susceptible equilibrium, so convergence is judged against the wrong level.
SIS endemic equilibrium convergence: equilibrium formula · case 05
The endemic prevalence target is the susceptible equilibrium, so convergence is judged against the wrong level.
SIS endemic equilibrium convergence: subthreshold equilibrium · case 01
Subcritical infections report a negative endemic level and never converge.
SIS endemic equilibrium convergence: subthreshold equilibrium · case 02
Subcritical infections report a negative endemic level and never converge.
SIS endemic equilibrium convergence: subthreshold equilibrium · case 03
Subcritical infections report a negative endemic level and never converge.
SIS endemic equilibrium convergence: subthreshold equilibrium · case 04
Subcritical infections report a negative endemic level and never converge.
SIS endemic equilibrium convergence: subthreshold equilibrium · case 05
Subcritical infections report a negative endemic level and never converge.
SIS endemic equilibrium convergence: susceptible depletion · case 01
Prevalence grows exponentially without saturating.
SIS endemic equilibrium convergence: susceptible depletion · case 02
Prevalence grows exponentially without saturating.
SIS endemic equilibrium convergence: susceptible depletion · case 03
Prevalence grows exponentially without saturating.
SIS endemic equilibrium convergence: susceptible depletion · case 04
Prevalence grows exponentially without saturating.
SIS endemic equilibrium convergence: susceptible depletion · case 05
Prevalence grows exponentially without saturating.
SIS endemic equilibrium convergence: tolerance scaling · case 01
Convergence takes far longer than required and often hits the day cap.
SIS endemic equilibrium convergence: tolerance scaling · case 02
Convergence takes far longer than required and often hits the day cap.
SIS endemic equilibrium convergence: tolerance scaling · case 03
Convergence takes far longer than required and often hits the day cap.
SIS endemic equilibrium convergence: tolerance scaling · case 04
Convergence takes far longer than required and often hits the day cap.
SIS endemic equilibrium convergence: tolerance scaling · case 05
Convergence takes far longer than required and often hits the day cap.
SIS endemic equilibrium convergence: day cap · case 01
Non-converging runs take one more step than allowed.
SIS endemic equilibrium convergence: day cap · case 02
Non-converging runs take one more step than allowed.
SIS endemic equilibrium convergence: day cap · case 03
Non-converging runs take one more step than allowed.
SIS endemic equilibrium convergence: day cap · case 04
Non-converging runs take one more step than allowed.
SIS endemic equilibrium convergence: day cap · case 05
Non-converging runs take one more step than allowed.
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 ↗