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
Modified growing degree days with biofix: minimum temperature floor · case 01
Cool nights subtract from the season total.
Modified growing degree days with biofix: minimum temperature floor · case 02
Cool nights subtract from the season total.
Modified growing degree days with biofix: minimum temperature floor · case 03
Cool nights subtract from the season total.
Modified growing degree days with biofix: minimum temperature floor · case 04
Cool nights subtract from the season total.
Modified growing degree days with biofix: minimum temperature floor · case 05
Cool nights subtract from the season total.
Modified growing degree days with biofix: maximum temperature floor · case 01
Cold days produce negative degree days even though tmin is floored.
Modified growing degree days with biofix: maximum temperature floor · case 02
Cold days produce negative degree days even though tmin is floored.
Modified growing degree days with biofix: maximum temperature floor · case 03
Cold days produce negative degree days even though tmin is floored.
Modified growing degree days with biofix: maximum temperature floor · case 04
Cold days produce negative degree days even though tmin is floored.
Modified growing degree days with biofix: maximum temperature floor · case 05
Cold days produce negative degree days even though tmin is floored.
Modified growing degree days with biofix: counted day tally · case 01
Season reports list fewer counted days than elapsed days after biofix.
Modified growing degree days with biofix: counted day tally · case 02
Season reports list fewer counted days than elapsed days after biofix.
Modified growing degree days with biofix: counted day tally · case 03
Season reports list fewer counted days than elapsed days after biofix.
Modified growing degree days with biofix: counted day tally · case 04
Season reports list fewer counted days than elapsed days after biofix.
Modified growing degree days with biofix: counted day tally · case 05
Season reports list fewer counted days than elapsed days after biofix.
Monthly heating and cooling degree days: half-degree rounding · case 01
Days with an odd tmax+tmin are consistently one degree too cool.
Monthly heating and cooling degree days: half-degree rounding · case 02
Days with an odd tmax+tmin are consistently one degree too cool.
Monthly heating and cooling degree days: half-degree rounding · case 03
Days with an odd tmax+tmin are consistently one degree too cool.
Monthly heating and cooling degree days: half-degree rounding · case 04
Days with an odd tmax+tmin are consistently one degree too cool.
Monthly heating and cooling degree days: half-degree rounding · case 05
Days with an odd tmax+tmin are consistently one degree too cool.
Monthly heating and cooling degree days: daily mean arithmetic · case 01
Half-degree means lose the half before the rounding rule sees them.
Monthly heating and cooling degree days: daily mean arithmetic · case 02
Half-degree means lose the half before the rounding rule sees them.
Monthly heating and cooling degree days: daily mean arithmetic · case 03
Half-degree means lose the half before the rounding rule sees them.
Monthly heating and cooling degree days: daily mean arithmetic · case 04
Half-degree means lose the half before the rounding rule sees them.
Monthly heating and cooling degree days: daily mean arithmetic · case 05
Half-degree means lose the half before the rounding rule sees them.
Monthly heating and cooling degree days: missing-day carry forward · case 01
Months with sensor outages report too few degree days.
Monthly heating and cooling degree days: missing-day carry forward · case 02
Months with sensor outages report too few degree days.
Monthly heating and cooling degree days: missing-day carry forward · case 03
Months with sensor outages report too few degree days.
Monthly heating and cooling degree days: missing-day carry forward · case 04
Months with sensor outages report too few degree days.
Monthly heating and cooling degree days: missing-day carry forward · case 05
Months with sensor outages report too few degree days.
Monthly heating and cooling degree days: heating accumulation operand · case 01
HDD totals carry half-degree fractions and disagree with published integer totals.
Monthly heating and cooling degree days: heating accumulation operand · case 02
HDD totals carry half-degree fractions and disagree with published integer totals.
Monthly heating and cooling degree days: heating accumulation operand · case 03
HDD totals carry half-degree fractions and disagree with published integer totals.
Monthly heating and cooling degree days: heating accumulation operand · case 04
HDD totals carry half-degree fractions and disagree with published integer totals.
Monthly heating and cooling degree days: heating accumulation operand · case 05
HDD totals carry half-degree fractions and disagree with published integer totals.
Keetch-Byram style drought index: wet spell reset · case 01
After the first storm of the season, later showers are never intercepted.
Keetch-Byram style drought index: wet spell reset · case 02
After the first storm of the season, later showers are never intercepted.
Keetch-Byram style drought index: wet spell reset · case 03
After the first storm of the season, later showers are never intercepted.
Keetch-Byram style drought index: wet spell reset · case 04
After the first storm of the season, later showers are never intercepted.
Keetch-Byram style drought index: wet spell reset · case 05
After the first storm of the season, later showers are never intercepted.
Keetch-Byram style drought index: interception per spell · case 01
Several consecutive light showers never lower the index.
Keetch-Byram style drought index: interception per spell · case 02
Several consecutive light showers never lower the index.
Keetch-Byram style drought index: interception per spell · case 03
Several consecutive light showers never lower the index.
Keetch-Byram style drought index: interception per spell · case 04
Several consecutive light showers never lower the index.
Keetch-Byram style drought index: interception per spell · case 05
Several consecutive light showers never lower the index.
Keetch-Byram style drought index: rain reduction floor · case 01
Heavy rain drives the drought index negative.
Keetch-Byram style drought index: rain reduction floor · case 02
Heavy rain drives the drought index negative.
Keetch-Byram style drought index: rain reduction floor · case 03
Heavy rain drives the drought index negative.
Keetch-Byram style drought index: rain reduction floor · case 04
Heavy rain drives the drought index negative.
Keetch-Byram style drought index: rain reduction floor · case 05
Heavy rain drives the drought index negative.
Keetch-Byram style drought index: drying temperature gate · case 01
Exactly 50 degF days dry the fuels.
Keetch-Byram style drought index: drying temperature gate · case 02
Exactly 50 degF days dry the fuels.
Keetch-Byram style drought index: drying temperature gate · case 03
Exactly 50 degF days dry the fuels.
Keetch-Byram style drought index: drying temperature gate · case 04
Exactly 50 degF days dry the fuels.
Keetch-Byram style drought index: drying temperature gate · case 05
Exactly 50 degF days dry the fuels.
Keetch-Byram style drought index: annual rainfall damping · case 01
Wet climates barely dry out at all.
Keetch-Byram style drought index: annual rainfall damping · case 02
Wet climates barely dry out at all.
Keetch-Byram style drought index: annual rainfall damping · case 03
Wet climates barely dry out at all.
Keetch-Byram style drought index: annual rainfall damping · case 04
Wet climates barely dry out at all.
Keetch-Byram style drought index: annual rainfall damping · case 05
Wet climates barely dry out at all.
Cloud and altitude adjusted UV index: irradiance scaling · case 01
Every location reports an extreme UV index.
Cloud and altitude adjusted UV index: irradiance scaling · case 02
Every location reports an extreme UV index.
Cloud and altitude adjusted UV index: irradiance scaling · case 03
Every location reports an extreme UV index.
Cloud and altitude adjusted UV index: irradiance scaling · case 04
Every location reports an extreme UV index.
Cloud and altitude adjusted UV index: irradiance scaling · case 05
Every location reports an extreme UV index.
Cloud and altitude adjusted UV index: cloud factor index · case 01
Clear skies (0 octas) get the overcast reduction.
Cloud and altitude adjusted UV index: cloud factor index · case 02
Clear skies (0 octas) get the overcast reduction.
Cloud and altitude adjusted UV index: cloud factor index · case 03
Clear skies (0 octas) get the overcast reduction.
Cloud and altitude adjusted UV index: cloud factor index · case 04
Clear skies (0 octas) get the overcast reduction.
Cloud and altitude adjusted UV index: cloud factor index · case 05
Clear skies (0 octas) get the overcast reduction.
Cloud and altitude adjusted UV index: altitude scaling · case 01
Mountain resorts report UV several times higher than lowland sites.
Cloud and altitude adjusted UV index: altitude scaling · case 02
Mountain resorts report UV several times higher than lowland sites.
Cloud and altitude adjusted UV index: altitude scaling · case 03
Mountain resorts report UV several times higher than lowland sites.
Cloud and altitude adjusted UV index: altitude scaling · case 04
Mountain resorts report UV several times higher than lowland sites.
Cloud and altitude adjusted UV index: altitude scaling · case 05
Mountain resorts report UV several times higher than lowland sites.
Cloud and altitude adjusted UV index: half-up rounding · case 01
An index of 2.6 is published as 2 (low) instead of 3 (moderate).
Cloud and altitude adjusted UV index: half-up rounding · case 02
An index of 2.6 is published as 2 (low) instead of 3 (moderate).
Cloud and altitude adjusted UV index: half-up rounding · case 03
An index of 2.6 is published as 2 (low) instead of 3 (moderate).
Cloud and altitude adjusted UV index: half-up rounding · case 04
An index of 2.6 is published as 2 (low) instead of 3 (moderate).
Cloud and altitude adjusted UV index: half-up rounding · case 05
An index of 2.6 is published as 2 (low) instead of 3 (moderate).
Cloud and altitude adjusted UV index: high category upper edge · case 01
A UV index of 7 is labelled very high.
Cloud and altitude adjusted UV index: high category upper edge · case 02
A UV index of 7 is labelled very high.
Cloud and altitude adjusted UV index: high category upper edge · case 03
A UV index of 7 is labelled very high.
Cloud and altitude adjusted UV index: high category upper edge · case 04
A UV index of 7 is labelled very high.
Cloud and altitude adjusted UV index: high category upper edge · case 05
A UV index of 7 is labelled very high.
Fosberg fire weather index: mid humidity branch edge · case 01
Exactly 50% RH uses the humid branch and jumps the fire index.
Fosberg fire weather index: mid humidity branch edge · case 02
Exactly 50% RH uses the humid branch and jumps the fire index.
Fosberg fire weather index: mid humidity branch edge · case 03
Exactly 50% RH uses the humid branch and jumps the fire index.
Fosberg fire weather index: mid humidity branch edge · case 04
Exactly 50% RH uses the humid branch and jumps the fire index.
Fosberg fire weather index: mid humidity branch edge · case 05
Exactly 50% RH uses the humid branch and jumps the fire index.
Fosberg fire weather index: dry branch edge · case 01
RH exactly 10% uses the very-dry regression.
Fosberg fire weather index: dry branch edge · case 02
RH exactly 10% uses the very-dry regression.
Fosberg fire weather index: dry branch edge · case 03
RH exactly 10% uses the very-dry regression.
Fosberg fire weather index: dry branch edge · case 04
RH exactly 10% uses the very-dry regression.
Fosberg fire weather index: dry branch edge · case 05
RH exactly 10% uses the very-dry regression.
Fosberg fire weather index: moisture normalisation · case 01
Moist fuels still produce a high fire index.
Fosberg fire weather index: moisture normalisation · case 02
Moist fuels still produce a high fire index.
Fosberg fire weather index: moisture normalisation · case 03
Moist fuels still produce a high fire index.
Fosberg fire weather index: moisture normalisation · case 04
Moist fuels still produce a high fire index.
Fosberg fire weather index: moisture normalisation · case 05
Moist fuels still produce a high fire index.
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 ↗