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
Abridged period life table: Group mortality can exceed one · case 01
Very high mortality groups produce negative survivors.
Abridged period life table: Group mortality can exceed one · case 02
Very high mortality groups produce negative survivors.
Abridged period life table: Group mortality can exceed one · case 03
Very high mortality groups produce negative survivors.
Abridged period life table: Group mortality can exceed one · case 04
Very high mortality groups produce negative survivors.
Abridged period life table: Group mortality can exceed one · case 05
Very high mortality groups produce negative survivors.
Abridged period life table: Life expectancy omits the open interval · case 01
e0 is understated by the open-interval person-years.
Abridged period life table: Life expectancy omits the open interval · case 02
e0 is understated by the open-interval person-years.
Abridged period life table: Life expectancy omits the open interval · case 03
e0 is understated by the open-interval person-years.
Abridged period life table: Life expectancy omits the open interval · case 04
e0 is understated by the open-interval person-years.
Abridged period life table: Life expectancy omits the open interval · case 05
e0 is understated by the open-interval person-years.
Abridged period life table: nax is read as a fraction of the interval · case 01
Separation factors are scaled by the interval width.
Abridged period life table: nax is read as a fraction of the interval · case 02
Separation factors are scaled by the interval width.
Abridged period life table: nax is read as a fraction of the interval · case 03
Separation factors are scaled by the interval width.
Abridged period life table: nax is read as a fraction of the interval · case 04
Separation factors are scaled by the interval width.
Abridged period life table: nax is read as a fraction of the interval · case 05
Separation factors are scaled by the interval width.
Double-decrement death and lapse table: Deaths are reduced by the full lapse rate · case 01
Dependent death rates are too low.
Double-decrement death and lapse table: Deaths are reduced by the full lapse rate · case 02
Dependent death rates are too low.
Double-decrement death and lapse table: Deaths are reduced by the full lapse rate · case 03
Dependent death rates are too low.
Double-decrement death and lapse table: Deaths are reduced by the full lapse rate · case 04
Dependent death rates are too low.
Double-decrement death and lapse table: Deaths are reduced by the full lapse rate · case 05
Dependent death rates are too low.
Double-decrement death and lapse table: Lapses ignore competing deaths · case 01
Dependent lapse counts are overstated.
Double-decrement death and lapse table: Lapses ignore competing deaths · case 02
Dependent lapse counts are overstated.
Double-decrement death and lapse table: Lapses ignore competing deaths · case 03
Dependent lapse counts are overstated.
Double-decrement death and lapse table: Lapses ignore competing deaths · case 04
Dependent lapse counts are overstated.
Double-decrement death and lapse table: Lapses ignore competing deaths · case 05
Dependent lapse counts are overstated.
Double-decrement death and lapse table: Year-end lapses are applied to the starting count · case 01
Lapses are counted on lives who died during the year.
Double-decrement death and lapse table: Year-end lapses are applied to the starting count · case 02
Lapses are counted on lives who died during the year.
Double-decrement death and lapse table: Year-end lapses are applied to the starting count · case 03
Lapses are counted on lives who died during the year.
Double-decrement death and lapse table: Year-end lapses are applied to the starting count · case 04
Lapses are counted on lives who died during the year.
Double-decrement death and lapse table: Year-end lapses are applied to the starting count · case 05
Lapses are counted on lives who died during the year.
Double-decrement death and lapse table: Lapses are not removed from the in-force count · case 01
The in-force count only declines by deaths.
Double-decrement death and lapse table: Lapses are not removed from the in-force count · case 02
The in-force count only declines by deaths.
Double-decrement death and lapse table: Lapses are not removed from the in-force count · case 03
The in-force count only declines by deaths.
Double-decrement death and lapse table: Lapses are not removed from the in-force count · case 04
The in-force count only declines by deaths.
Double-decrement death and lapse table: Lapses are not removed from the in-force count · case 05
The in-force count only declines by deaths.
Double-decrement death and lapse table: Decrement lists of different length are truncated · case 01
Missing lapse rates silently shorten the projection.
Double-decrement death and lapse table: Decrement lists of different length are truncated · case 02
Missing lapse rates silently shorten the projection.
Double-decrement death and lapse table: Decrement lists of different length are truncated · case 03
Missing lapse rates silently shorten the projection.
Double-decrement death and lapse table: Decrement lists of different length are truncated · case 04
Missing lapse rates silently shorten the projection.
Double-decrement death and lapse table: Decrement lists of different length are truncated · case 05
Missing lapse rates silently shorten the projection.
Net premium reserve recursion: Premium earns no interest in its year · case 01
Reserves are too low because the start-of-year premium is not accumulated.
Net premium reserve recursion: Premium earns no interest in its year · case 02
Reserves are too low because the start-of-year premium is not accumulated.
Net premium reserve recursion: Premium earns no interest in its year · case 03
Reserves are too low because the start-of-year premium is not accumulated.
Net premium reserve recursion: Premium earns no interest in its year · case 04
Reserves are too low because the start-of-year premium is not accumulated.
Net premium reserve recursion: Premium earns no interest in its year · case 05
Reserves are too low because the start-of-year premium is not accumulated.
Net premium reserve recursion: Reserve is not spread over survivors · case 01
Reserves per survivor are understated.
Net premium reserve recursion: Reserve is not spread over survivors · case 02
Reserves per survivor are understated.
Net premium reserve recursion: Reserve is not spread over survivors · case 03
Reserves per survivor are understated.
Net premium reserve recursion: Reserve is not spread over survivors · case 04
Reserves per survivor are understated.
Net premium reserve recursion: Reserve is not spread over survivors · case 05
Reserves per survivor are understated.
Net premium reserve recursion: Rounded reserves feed the next year · case 01
Later reserves drift from the exact recursion.
Net premium reserve recursion: Rounded reserves feed the next year · case 02
Later reserves drift from the exact recursion.
Net premium reserve recursion: Rounded reserves feed the next year · case 03
Later reserves drift from the exact recursion.
Net premium reserve recursion: Rounded reserves feed the next year · case 04
Later reserves drift from the exact recursion.
Net premium reserve recursion: Rounded reserves feed the next year · case 05
Later reserves drift from the exact recursion.
Net premium reserve recursion: Terminal year reports a zero reserve · case 01
An undefined terminal reserve is reported as zero.
Net premium reserve recursion: Terminal year reports a zero reserve · case 02
An undefined terminal reserve is reported as zero.
Net premium reserve recursion: Terminal year reports a zero reserve · case 03
An undefined terminal reserve is reported as zero.
Net premium reserve recursion: Terminal year reports a zero reserve · case 04
An undefined terminal reserve is reported as zero.
Net premium reserve recursion: Terminal year reports a zero reserve · case 05
An undefined terminal reserve is reported as zero.
Net premium reserve recursion: Negative reserves are floored at zero · case 01
Deficient-premium years show zero reserves and later reserves drift.
Net premium reserve recursion: Negative reserves are floored at zero · case 02
Deficient-premium years show zero reserves and later reserves drift.
Net premium reserve recursion: Negative reserves are floored at zero · case 03
Deficient-premium years show zero reserves and later reserves drift.
Net premium reserve recursion: Negative reserves are floored at zero · case 04
Deficient-premium years show zero reserves and later reserves drift.
Net premium reserve recursion: Negative reserves are floored at zero · case 05
Deficient-premium years show zero reserves and later reserves drift.
Pure endowment and survivorship accumulation: Accumulation uses survival from issue · case 01
The fund per survivor omits the benefit of survivorship.
Pure endowment and survivorship accumulation: Accumulation uses survival from issue · case 02
The fund per survivor omits the benefit of survivorship.
Pure endowment and survivorship accumulation: Accumulation uses survival from issue · case 03
The fund per survivor omits the benefit of survivorship.
Pure endowment and survivorship accumulation: Accumulation uses survival from issue · case 04
The fund per survivor omits the benefit of survivorship.
Pure endowment and survivorship accumulation: Accumulation uses survival from issue · case 05
The fund per survivor omits the benefit of survivorship.
Pure endowment and survivorship accumulation: Premiums accumulate one year short · case 01
Premiums paid at the start of the year lose a year of interest.
Pure endowment and survivorship accumulation: Premiums accumulate one year short · case 02
Premiums paid at the start of the year lose a year of interest.
Pure endowment and survivorship accumulation: Premiums accumulate one year short · case 03
Premiums paid at the start of the year lose a year of interest.
Pure endowment and survivorship accumulation: Premiums accumulate one year short · case 04
Premiums paid at the start of the year lose a year of interest.
Pure endowment and survivorship accumulation: Premiums accumulate one year short · case 05
Premiums paid at the start of the year lose a year of interest.
Pure endowment and survivorship accumulation: Pure endowment is not discounted · case 01
nEx equals the survival probability.
Pure endowment and survivorship accumulation: Pure endowment is not discounted · case 02
nEx equals the survival probability.
Pure endowment and survivorship accumulation: Pure endowment is not discounted · case 03
nEx equals the survival probability.
Pure endowment and survivorship accumulation: Pure endowment is not discounted · case 04
nEx equals the survival probability.
Pure endowment and survivorship accumulation: Pure endowment is not discounted · case 05
nEx equals the survival probability.
Pure endowment and survivorship accumulation: A premium is collected at maturity · case 01
The fund includes a premium due on the maturity date.
Pure endowment and survivorship accumulation: A premium is collected at maturity · case 02
The fund includes a premium due on the maturity date.
Pure endowment and survivorship accumulation: A premium is collected at maturity · case 03
The fund includes a premium due on the maturity date.
Pure endowment and survivorship accumulation: A premium is collected at maturity · case 04
The fund includes a premium due on the maturity date.
Pure endowment and survivorship accumulation: A premium is collected at maturity · case 05
The fund includes a premium due on the maturity date.
Pure endowment and survivorship accumulation: Escalation starts with the first premium · case 01
Every premium is one escalation step too high.
Pure endowment and survivorship accumulation: Escalation starts with the first premium · case 02
Every premium is one escalation step too high.
Pure endowment and survivorship accumulation: Escalation starts with the first premium · case 03
Every premium is one escalation step too high.
Pure endowment and survivorship accumulation: Escalation starts with the first premium · case 04
Every premium is one escalation step too high.
Pure endowment and survivorship accumulation: Escalation starts with the first premium · case 05
Every premium is one escalation step too high.
Cohort rates from a period table: Cohort rates read one calendar year · case 01
Cohort rates show no calendar-year effect.
Cohort rates from a period table: Cohort rates read one calendar year · case 02
Cohort rates show no calendar-year effect.
Cohort rates from a period table: Cohort rates read one calendar year · case 03
Cohort rates show no calendar-year effect.
Cohort rates from a period table: Cohort rates read one calendar year · case 04
Cohort rates show no calendar-year effect.
Cohort rates from a period table: Cohort rates read one calendar year · case 05
Cohort rates show no calendar-year effect.
Cohort rates from a period table: Years beyond the table are rejected · case 01
Recent cohorts cannot be projected.
Cohort rates from a period table: Years beyond the table are rejected · case 02
Recent cohorts cannot be projected.
Cohort rates from a period table: Years beyond the table are rejected · case 03
Recent cohorts cannot be projected.
Cohort rates from a period table: Years beyond the table are rejected · case 04
Recent cohorts cannot be projected.
Cohort rates from a period table: Years beyond the table are rejected · case 05
Recent cohorts cannot be projected.
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 ↗