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
Renewal rate capping transition: Decrease cap is computed with the wrong sign · case 01
Premium decreases are capped at the increase percentage.
Renewal rate capping transition: Decrease cap is computed with the wrong sign · case 02
Premium decreases are capped at the increase percentage.
Renewal rate capping transition: Decrease cap is computed with the wrong sign · case 03
Premium decreases are capped at the increase percentage.
Renewal rate capping transition: Decrease cap is computed with the wrong sign · case 04
Premium decreases are capped at the increase percentage.
Renewal rate capping transition: Decrease cap is computed with the wrong sign · case 05
Premium decreases are capped at the increase percentage.
Renewal rate capping transition: Upper cap is measured from the indicated premium · case 01
Increases are never capped.
Renewal rate capping transition: Upper cap is measured from the indicated premium · case 02
Increases are never capped.
Renewal rate capping transition: Upper cap is measured from the indicated premium · case 03
Increases are never capped.
Renewal rate capping transition: Upper cap is measured from the indicated premium · case 04
Increases are never capped.
Renewal rate capping transition: Upper cap is measured from the indicated premium · case 05
Increases are never capped.
Renewal rate capping transition: Lapses do not reset capping history · case 01
A reinstated policy after a lapse is capped against its old premium.
Renewal rate capping transition: Lapses do not reset capping history · case 02
A reinstated policy after a lapse is capped against its old premium.
Renewal rate capping transition: Lapses do not reset capping history · case 03
A reinstated policy after a lapse is capped against its old premium.
Renewal rate capping transition: Lapses do not reset capping history · case 04
A reinstated policy after a lapse is capped against its old premium.
Renewal rate capping transition: Lapses do not reset capping history · case 05
A reinstated policy after a lapse is capped against its old premium.
Usage-based auto telematics discount: The 10000-mile boundary is surcharged · case 01
A vehicle driven exactly 10000 miles is placed in the higher band.
Usage-based auto telematics discount: The 10000-mile boundary is surcharged · case 02
A vehicle driven exactly 10000 miles is placed in the higher band.
Usage-based auto telematics discount: The 10000-mile boundary is surcharged · case 03
A vehicle driven exactly 10000 miles is placed in the higher band.
Usage-based auto telematics discount: The 10000-mile boundary is surcharged · case 04
A vehicle driven exactly 10000 miles is placed in the higher band.
Usage-based auto telematics discount: The 10000-mile boundary is surcharged · case 05
A vehicle driven exactly 10000 miles is placed in the higher band.
Usage-based auto telematics discount: Brake rate averages per-trip ratios · case 01
Short trips with a single brake event dominate the score.
Usage-based auto telematics discount: Brake rate averages per-trip ratios · case 02
Short trips with a single brake event dominate the score.
Usage-based auto telematics discount: Brake rate averages per-trip ratios · case 03
Short trips with a single brake event dominate the score.
Usage-based auto telematics discount: Brake rate averages per-trip ratios · case 04
Short trips with a single brake event dominate the score.
Usage-based auto telematics discount: Brake rate averages per-trip ratios · case 05
Short trips with a single brake event dominate the score.
Usage-based auto telematics discount: Poor scores are uncapped surcharges · case 01
Harsh drivers receive surcharges beyond the 10% maximum.
Usage-based auto telematics discount: Poor scores are uncapped surcharges · case 02
Harsh drivers receive surcharges beyond the 10% maximum.
Usage-based auto telematics discount: Poor scores are uncapped surcharges · case 03
Harsh drivers receive surcharges beyond the 10% maximum.
Usage-based auto telematics discount: Poor scores are uncapped surcharges · case 04
Harsh drivers receive surcharges beyond the 10% maximum.
Usage-based auto telematics discount: Poor scores are uncapped surcharges · case 05
Harsh drivers receive surcharges beyond the 10% maximum.
Usage-based auto telematics discount: Exactly the minimum trip count does not qualify · case 01
Drivers with exactly the required trips only get the participation discount.
Usage-based auto telematics discount: Exactly the minimum trip count does not qualify · case 02
Drivers with exactly the required trips only get the participation discount.
Usage-based auto telematics discount: Exactly the minimum trip count does not qualify · case 03
Drivers with exactly the required trips only get the participation discount.
Usage-based auto telematics discount: Exactly the minimum trip count does not qualify · case 04
Drivers with exactly the required trips only get the participation discount.
Usage-based auto telematics discount: Exactly the minimum trip count does not qualify · case 05
Drivers with exactly the required trips only get the participation discount.
Usage-based auto telematics discount: Participation discount granted with no trips · case 01
Enrolled vehicles that never report a trip still get the participation discount.
Usage-based auto telematics discount: Participation discount granted with no trips · case 02
Enrolled vehicles that never report a trip still get the participation discount.
Usage-based auto telematics discount: Participation discount granted with no trips · case 03
Enrolled vehicles that never report a trip still get the participation discount.
Usage-based auto telematics discount: Participation discount granted with no trips · case 04
Enrolled vehicles that never report a trip still get the participation discount.
Usage-based auto telematics discount: Participation discount granted with no trips · case 05
Enrolled vehicles that never report a trip still get the participation discount.
Life table survivors from mortality rates: Survivors are rounded from the cumulative product instead of step by step · case 01
Published l_x values drift from the stepwise-rounded table.
Life table survivors from mortality rates: Survivors are rounded from the cumulative product instead of step by step · case 02
Published l_x values drift from the stepwise-rounded table.
Life table survivors from mortality rates: Survivors are rounded from the cumulative product instead of step by step · case 03
Published l_x values drift from the stepwise-rounded table.
Life table survivors from mortality rates: Survivors are rounded from the cumulative product instead of step by step · case 04
Published l_x values drift from the stepwise-rounded table.
Life table survivors from mortality rates: Survivors are rounded from the cumulative product instead of step by step · case 05
Published l_x values drift from the stepwise-rounded table.
Life table survivors from mortality rates: The terminal rate of one is rejected · case 01
Every properly closed table is reported as invalid.
Life table survivors from mortality rates: The terminal rate of one is rejected · case 02
Every properly closed table is reported as invalid.
Life table survivors from mortality rates: The terminal rate of one is rejected · case 03
Every properly closed table is reported as invalid.
Life table survivors from mortality rates: The terminal rate of one is rejected · case 04
Every properly closed table is reported as invalid.
Life table survivors from mortality rates: The terminal rate of one is rejected · case 05
Every properly closed table is reported as invalid.
Life table survivors from mortality rates: Tables with a later non-terminal rate are accepted as closed · case 01
An open table produces survivors past the last age.
Life table survivors from mortality rates: Tables with a later non-terminal rate are accepted as closed · case 02
An open table produces survivors past the last age.
Life table survivors from mortality rates: Tables with a later non-terminal rate are accepted as closed · case 03
An open table produces survivors past the last age.
Life table survivors from mortality rates: Tables with a later non-terminal rate are accepted as closed · case 04
An open table produces survivors past the last age.
Life table survivors from mortality rates: Tables with a later non-terminal rate are accepted as closed · case 05
An open table produces survivors past the last age.
Life table survivors from mortality rates: Deaths are recomputed from rates instead of survivor differences · case 01
d_x does not reconcile with l_x - l_{x+1}.
Life table survivors from mortality rates: Deaths are recomputed from rates instead of survivor differences · case 02
d_x does not reconcile with l_x - l_{x+1}.
Life table survivors from mortality rates: Deaths are recomputed from rates instead of survivor differences · case 03
d_x does not reconcile with l_x - l_{x+1}.
Life table survivors from mortality rates: Deaths are recomputed from rates instead of survivor differences · case 04
d_x does not reconcile with l_x - l_{x+1}.
Life table survivors from mortality rates: Deaths are recomputed from rates instead of survivor differences · case 05
d_x does not reconcile with l_x - l_{x+1}.
Life table survivors from mortality rates: Zero radix is accepted · case 01
A zero radix silently yields an all-zero table.
Life table survivors from mortality rates: Zero radix is accepted · case 02
A zero radix silently yields an all-zero table.
Life table survivors from mortality rates: Zero radix is accepted · case 03
A zero radix silently yields an all-zero table.
Life table survivors from mortality rates: Zero radix is accepted · case 04
A zero radix silently yields an all-zero table.
Life table survivors from mortality rates: Zero radix is accepted · case 05
A zero radix silently yields an all-zero table.
Life table person-years and expectation: Person-years start from the wrong survivor count · case 01
Life expectancies are overstated by about one year.
Life table person-years and expectation: Person-years start from the wrong survivor count · case 02
Life expectancies are overstated by about one year.
Life table person-years and expectation: Person-years start from the wrong survivor count · case 03
Life expectancies are overstated by about one year.
Life table person-years and expectation: Person-years start from the wrong survivor count · case 04
Life expectancies are overstated by about one year.
Life table person-years and expectation: Person-years start from the wrong survivor count · case 05
Life expectancies are overstated by about one year.
Life table person-years and expectation: Open interval person-years multiply by the rate · case 01
Expectation at the oldest ages collapses.
Life table person-years and expectation: Open interval person-years multiply by the rate · case 02
Expectation at the oldest ages collapses.
Life table person-years and expectation: Open interval person-years multiply by the rate · case 03
Expectation at the oldest ages collapses.
Life table person-years and expectation: Open interval person-years multiply by the rate · case 04
Expectation at the oldest ages collapses.
Life table person-years and expectation: Open interval person-years multiply by the rate · case 05
Expectation at the oldest ages collapses.
Life table person-years and expectation: T_x excludes the current age's person-years · case 01
Every expectation is short by the current year's person-years.
Life table person-years and expectation: T_x excludes the current age's person-years · case 02
Every expectation is short by the current year's person-years.
Life table person-years and expectation: T_x excludes the current age's person-years · case 03
Every expectation is short by the current year's person-years.
Life table person-years and expectation: T_x excludes the current age's person-years · case 04
Every expectation is short by the current year's person-years.
Life table person-years and expectation: T_x excludes the current age's person-years · case 05
Every expectation is short by the current year's person-years.
Life table person-years and expectation: Expectation divides by the radix · case 01
Expectations at older ages are far too small.
Life table person-years and expectation: Expectation divides by the radix · case 02
Expectations at older ages are far too small.
Life table person-years and expectation: Expectation divides by the radix · case 03
Expectations at older ages are far too small.
Life table person-years and expectation: Expectation divides by the radix · case 04
Expectations at older ages are far too small.
Life table person-years and expectation: Expectation divides by the radix · case 05
Expectations at older ages are far too small.
Life table person-years and expectation: Person-years are accumulated from the young end · case 01
e_0 is tiny and the oldest age has the largest expectation.
Life table person-years and expectation: Person-years are accumulated from the young end · case 02
e_0 is tiny and the oldest age has the largest expectation.
Life table person-years and expectation: Person-years are accumulated from the young end · case 03
e_0 is tiny and the oldest age has the largest expectation.
Life table person-years and expectation: Person-years are accumulated from the young end · case 04
e_0 is tiny and the oldest age has the largest expectation.
Life table person-years and expectation: Person-years are accumulated from the young end · case 05
e_0 is tiny and the oldest age has the largest expectation.
Fractional age survival assumptions: UDD force of mortality ignores the elapsed fraction · case 01
The UDD hazard is flat within the year.
Fractional age survival assumptions: UDD force of mortality ignores the elapsed fraction · case 02
The UDD hazard is flat within the year.
Fractional age survival assumptions: UDD force of mortality ignores the elapsed fraction · case 03
The UDD hazard is flat within the year.
Fractional age survival assumptions: UDD force of mortality ignores the elapsed fraction · case 04
The UDD hazard is flat within the year.
Fractional age survival assumptions: UDD force of mortality ignores the elapsed fraction · case 05
The UDD hazard is flat within the year.
Fractional age survival assumptions: Constant-force survival is linear · case 01
Constant-force survival equals the UDD value.
Fractional age survival assumptions: Constant-force survival is linear · case 02
Constant-force survival equals the UDD value.
Fractional age survival assumptions: Constant-force survival is linear · case 03
Constant-force survival equals the UDD value.
Fractional age survival assumptions: Constant-force survival is linear · case 04
Constant-force survival equals the UDD value.
Fractional age survival assumptions: Constant-force survival is linear · case 05
Constant-force survival equals the UDD value.
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 ↗