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
Cohort rates from a period table: Years before the table are silently back-filled · case 01
Old cohorts are given rates from later years.
Cohort rates from a period table: Years before the table are silently back-filled · case 02
Old cohorts are given rates from later years.
Cohort rates from a period table: Years before the table are silently back-filled · case 03
Old cohorts are given rates from later years.
Cohort rates from a period table: Years before the table are silently back-filled · case 04
Old cohorts are given rates from later years.
Cohort rates from a period table: Years before the table are silently back-filled · case 05
Old cohorts are given rates from later years.
Cohort rates from a period table: The last requested age is omitted · case 01
Cohort survival stops one age short.
Cohort rates from a period table: The last requested age is omitted · case 02
Cohort survival stops one age short.
Cohort rates from a period table: The last requested age is omitted · case 03
Cohort survival stops one age short.
Cohort rates from a period table: The last requested age is omitted · case 04
Cohort survival stops one age short.
Cohort rates from a period table: The last requested age is omitted · case 05
Cohort survival stops one age short.
Cohort rates from a period table: Rows are indexed relative to the first age · case 01
Cohort rates come from childhood ages.
Cohort rates from a period table: Rows are indexed relative to the first age · case 02
Cohort rates come from childhood ages.
Cohort rates from a period table: Rows are indexed relative to the first age · case 03
Cohort rates come from childhood ages.
Cohort rates from a period table: Rows are indexed relative to the first age · case 04
Cohort rates come from childhood ages.
Cohort rates from a period table: Rows are indexed relative to the first age · case 05
Cohort rates come from childhood ages.
Median and quantile future lifetime: Interpolation measures from the wrong end · case 01
Quantiles are mirrored within the crossing year.
Median and quantile future lifetime: Interpolation measures from the wrong end · case 02
Quantiles are mirrored within the crossing year.
Median and quantile future lifetime: Interpolation measures from the wrong end · case 03
Quantiles are mirrored within the crossing year.
Median and quantile future lifetime: Interpolation measures from the wrong end · case 04
Quantiles are mirrored within the crossing year.
Median and quantile future lifetime: Interpolation measures from the wrong end · case 05
Quantiles are mirrored within the crossing year.
Median and quantile future lifetime: Crossing time counts the whole crossing year · case 01
Median lifetimes are a year too long.
Median and quantile future lifetime: Crossing time counts the whole crossing year · case 02
Median lifetimes are a year too long.
Median and quantile future lifetime: Crossing time counts the whole crossing year · case 03
Median lifetimes are a year too long.
Median and quantile future lifetime: Crossing time counts the whole crossing year · case 04
Median lifetimes are a year too long.
Median and quantile future lifetime: Crossing time counts the whole crossing year · case 05
Median lifetimes are a year too long.
Median and quantile future lifetime: Target is the fraction dead instead of surviving · case 01
Non-median quantiles are reversed.
Median and quantile future lifetime: Target is the fraction dead instead of surviving · case 02
Non-median quantiles are reversed.
Median and quantile future lifetime: Target is the fraction dead instead of surviving · case 03
Non-median quantiles are reversed.
Median and quantile future lifetime: Target is the fraction dead instead of surviving · case 04
Non-median quantiles are reversed.
Median and quantile future lifetime: Target is the fraction dead instead of surviving · case 05
Non-median quantiles are reversed.
Median and quantile future lifetime: Degenerate quantiles are accepted · case 01
p=0 or p=1000 returns a time instead of invalid.
Median and quantile future lifetime: Degenerate quantiles are accepted · case 02
p=0 or p=1000 returns a time instead of invalid.
Median and quantile future lifetime: Degenerate quantiles are accepted · case 03
p=0 or p=1000 returns a time instead of invalid.
Median and quantile future lifetime: Degenerate quantiles are accepted · case 04
p=0 or p=1000 returns a time instead of invalid.
Median and quantile future lifetime: Degenerate quantiles are accepted · case 05
p=0 or p=1000 returns a time instead of invalid.
Median and quantile future lifetime: The last tabulated age is never examined · case 01
Crossings in the final year report beyond table.
Median and quantile future lifetime: The last tabulated age is never examined · case 02
Crossings in the final year report beyond table.
Median and quantile future lifetime: The last tabulated age is never examined · case 03
Crossings in the final year report beyond table.
Median and quantile future lifetime: The last tabulated age is never examined · case 04
Crossings in the final year report beyond table.
Median and quantile future lifetime: The last tabulated age is never examined · case 05
Crossings in the final year report beyond table.
Weight-based dose with ideal and adjusted dosing weight: pound to kilogram conversion · case 01
A 154 lb entry is dosed as if the patient weighed about 339 kg.
Weight-based dose with ideal and adjusted dosing weight: pound to kilogram conversion · case 02
A 154 lb entry is dosed as if the patient weighed about 339 kg.
Weight-based dose with ideal and adjusted dosing weight: pound to kilogram conversion · case 03
A 154 lb entry is dosed as if the patient weighed about 339 kg.
Weight-based dose with ideal and adjusted dosing weight: pound to kilogram conversion · case 04
A 154 lb entry is dosed as if the patient weighed about 339 kg.
Weight-based dose with ideal and adjusted dosing weight: pound to kilogram conversion · case 05
A 154 lb entry is dosed as if the patient weighed about 339 kg.
Weight-based dose with ideal and adjusted dosing weight: short stature ideal weight floor · case 01
Patients shorter than 60 inches get an ideal weight below the sex base and are pushed into the adjusted band.
Weight-based dose with ideal and adjusted dosing weight: short stature ideal weight floor · case 02
Patients shorter than 60 inches get an ideal weight below the sex base and are pushed into the adjusted band.
Weight-based dose with ideal and adjusted dosing weight: short stature ideal weight floor · case 03
Patients shorter than 60 inches get an ideal weight below the sex base and are pushed into the adjusted band.
Weight-based dose with ideal and adjusted dosing weight: short stature ideal weight floor · case 04
Patients shorter than 60 inches get an ideal weight below the sex base and are pushed into the adjusted band.
Weight-based dose with ideal and adjusted dosing weight: short stature ideal weight floor · case 05
Patients shorter than 60 inches get an ideal weight below the sex base and are pushed into the adjusted band.
Weight-based dose with ideal and adjusted dosing weight: obesity band threshold · case 01
Patients a few kilograms over ideal weight are dosed on an adjusted weight instead of ideal weight.
Weight-based dose with ideal and adjusted dosing weight: obesity band threshold · case 02
Patients a few kilograms over ideal weight are dosed on an adjusted weight instead of ideal weight.
Weight-based dose with ideal and adjusted dosing weight: obesity band threshold · case 03
Patients a few kilograms over ideal weight are dosed on an adjusted weight instead of ideal weight.
Weight-based dose with ideal and adjusted dosing weight: obesity band threshold · case 04
Patients a few kilograms over ideal weight are dosed on an adjusted weight instead of ideal weight.
Weight-based dose with ideal and adjusted dosing weight: obesity band threshold · case 05
Patients a few kilograms over ideal weight are dosed on an adjusted weight instead of ideal weight.
Weight-based dose with ideal and adjusted dosing weight: adjusted weight excess fraction · case 01
Obese patients receive a dosing weight larger than their actual weight.
Weight-based dose with ideal and adjusted dosing weight: adjusted weight excess fraction · case 02
Obese patients receive a dosing weight larger than their actual weight.
Weight-based dose with ideal and adjusted dosing weight: adjusted weight excess fraction · case 03
Obese patients receive a dosing weight larger than their actual weight.
Weight-based dose with ideal and adjusted dosing weight: adjusted weight excess fraction · case 04
Obese patients receive a dosing weight larger than their actual weight.
Weight-based dose with ideal and adjusted dosing weight: adjusted weight excess fraction · case 05
Obese patients receive a dosing weight larger than their actual weight.
Weight-based dose with ideal and adjusted dosing weight: half-up dose rounding · case 01
Doses that land exactly half-way between 5 mg steps, and many others, are rounded down.
Weight-based dose with ideal and adjusted dosing weight: half-up dose rounding · case 02
Doses that land exactly half-way between 5 mg steps, and many others, are rounded down.
Weight-based dose with ideal and adjusted dosing weight: half-up dose rounding · case 03
Doses that land exactly half-way between 5 mg steps, and many others, are rounded down.
Weight-based dose with ideal and adjusted dosing weight: half-up dose rounding · case 04
Doses that land exactly half-way between 5 mg steps, and many others, are rounded down.
Weight-based dose with ideal and adjusted dosing weight: half-up dose rounding · case 05
Doses that land exactly half-way between 5 mg steps, and many others, are rounded down.
Weight-based dose with ideal and adjusted dosing weight: ceiling after rounding · case 01
When max_mg is not a multiple of 5 the returned dose exceeds the maximum by a few milligrams.
Weight-based dose with ideal and adjusted dosing weight: ceiling after rounding · case 02
When max_mg is not a multiple of 5 the returned dose exceeds the maximum by a few milligrams.
Weight-based dose with ideal and adjusted dosing weight: ceiling after rounding · case 03
When max_mg is not a multiple of 5 the returned dose exceeds the maximum by a few milligrams.
Weight-based dose with ideal and adjusted dosing weight: ceiling after rounding · case 04
When max_mg is not a multiple of 5 the returned dose exceeds the maximum by a few milligrams.
Weight-based dose with ideal and adjusted dosing weight: ceiling after rounding · case 05
When max_mg is not a multiple of 5 the returned dose exceeds the maximum by a few milligrams.
Pediatric mg/kg/day dose divided by interval: administrations per day · case 01
An every-8-hour order is split into four doses, so each dose is a quarter of the daily amount.
Pediatric mg/kg/day dose divided by interval: administrations per day · case 02
An every-8-hour order is split into four doses, so each dose is a quarter of the daily amount.
Pediatric mg/kg/day dose divided by interval: administrations per day · case 03
An every-8-hour order is split into four doses, so each dose is a quarter of the daily amount.
Pediatric mg/kg/day dose divided by interval: administrations per day · case 04
An every-8-hour order is split into four doses, so each dose is a quarter of the daily amount.
Pediatric mg/kg/day dose divided by interval: administrations per day · case 05
An every-8-hour order is split into four doses, so each dose is a quarter of the daily amount.
Pediatric mg/kg/day dose divided by interval: daily ceiling · case 01
Large children receive more than the maximum daily amount when the single-dose cap is loose.
Pediatric mg/kg/day dose divided by interval: daily ceiling · case 02
Large children receive more than the maximum daily amount when the single-dose cap is loose.
Pediatric mg/kg/day dose divided by interval: daily ceiling · case 03
Large children receive more than the maximum daily amount when the single-dose cap is loose.
Pediatric mg/kg/day dose divided by interval: daily ceiling · case 04
Large children receive more than the maximum daily amount when the single-dose cap is loose.
Pediatric mg/kg/day dose divided by interval: daily ceiling · case 05
Large children receive more than the maximum daily amount when the single-dose cap is loose.
Pediatric mg/kg/day dose divided by interval: single-dose ceiling · case 01
Individual doses above max_single_mg are produced for heavy patients on high mg/kg/day orders.
Pediatric mg/kg/day dose divided by interval: single-dose ceiling · case 02
Individual doses above max_single_mg are produced for heavy patients on high mg/kg/day orders.
Pediatric mg/kg/day dose divided by interval: single-dose ceiling · case 03
Individual doses above max_single_mg are produced for heavy patients on high mg/kg/day orders.
Pediatric mg/kg/day dose divided by interval: single-dose ceiling · case 04
Individual doses above max_single_mg are produced for heavy patients on high mg/kg/day orders.
Pediatric mg/kg/day dose divided by interval: single-dose ceiling · case 05
Individual doses above max_single_mg are produced for heavy patients on high mg/kg/day orders.
Pediatric mg/kg/day dose divided by interval: measurable increment rounding direction · case 01
A 144 mg calculated dose is dispensed as 145 mg.
Pediatric mg/kg/day dose divided by interval: measurable increment rounding direction · case 02
A 144 mg calculated dose is dispensed as 145 mg.
Pediatric mg/kg/day dose divided by interval: measurable increment rounding direction · case 03
A 144 mg calculated dose is dispensed as 145 mg.
Pediatric mg/kg/day dose divided by interval: measurable increment rounding direction · case 04
A 144 mg calculated dose is dispensed as 145 mg.
Pediatric mg/kg/day dose divided by interval: measurable increment rounding direction · case 05
A 144 mg calculated dose is dispensed as 145 mg.
Pediatric mg/kg/day dose divided by interval: reported daily total · case 01
The daily total shown to the prescriber disagrees with the sum of the rounded doses.
Pediatric mg/kg/day dose divided by interval: reported daily total · case 02
The daily total shown to the prescriber disagrees with the sum of the rounded doses.
Pediatric mg/kg/day dose divided by interval: reported daily total · case 03
The daily total shown to the prescriber disagrees with the sum of the rounded doses.
Pediatric mg/kg/day dose divided by interval: reported daily total · case 04
The daily total shown to the prescriber disagrees with the sum of the rounded doses.
Pediatric mg/kg/day dose divided by interval: reported daily total · case 05
The daily total shown to the prescriber disagrees with the sum of the rounded doses.
mcg/kg/min infusion converted to pump mL/h: milligram to microgram concentration · case 01
Pump rates come out a thousand times too high and most orders are rejected as exceeding the pump.
mcg/kg/min infusion converted to pump mL/h: milligram to microgram concentration · case 02
Pump rates come out a thousand times too high and most orders are rejected as exceeding the pump.
mcg/kg/min infusion converted to pump mL/h: milligram to microgram concentration · case 03
Pump rates come out a thousand times too high and most orders are rejected as exceeding the pump.
mcg/kg/min infusion converted to pump mL/h: milligram to microgram concentration · case 04
Pump rates come out a thousand times too high and most orders are rejected as exceeding the pump.
mcg/kg/min infusion converted to pump mL/h: milligram to microgram concentration · case 05
Pump rates come out a thousand times too high and most orders are rejected as exceeding the pump.
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 ↗