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
Roast timing and carryover planner: rest time clamp · case 01
A 7 kg roast rests 35 minutes.
Roast timing and carryover planner: rest time clamp · case 02
A 7 kg roast rests 35 minutes.
Roast timing and carryover planner: rest time clamp · case 03
A 7 kg roast rests 35 minutes.
Roast timing and carryover planner: rest time clamp · case 04
A 7 kg roast rests 35 minutes.
Roast timing and carryover planner: rest time clamp · case 05
A 7 kg roast rests 35 minutes.
Recipe cost per serving: trim yield direction · case 01
100 g of trimmed onion at 80% yield is costed as 80 g purchased.
Recipe cost per serving: trim yield direction · case 02
100 g of trimmed onion at 80% yield is costed as 80 g purchased.
Recipe cost per serving: trim yield direction · case 03
100 g of trimmed onion at 80% yield is costed as 80 g purchased.
Recipe cost per serving: trim yield direction · case 04
100 g of trimmed onion at 80% yield is costed as 80 g purchased.
Recipe cost per serving: trim yield direction · case 05
100 g of trimmed onion at 80% yield is costed as 80 g purchased.
Recipe cost per serving: whole pack count · case 01
Needing 1.3 packs buys one pack.
Recipe cost per serving: whole pack count · case 02
Needing 1.3 packs buys one pack.
Recipe cost per serving: whole pack count · case 03
Needing 1.3 packs buys one pack.
Recipe cost per serving: whole pack count · case 04
Needing 1.3 packs buys one pack.
Recipe cost per serving: whole pack count · case 05
Needing 1.3 packs buys one pack.
Recipe cost per serving: bulk proportional price · case 01
Buying 30 g of bulk herbs costs the price of 30 packs.
Recipe cost per serving: bulk proportional price · case 02
Buying 30 g of bulk herbs costs the price of 30 packs.
Recipe cost per serving: bulk proportional price · case 03
Buying 30 g of bulk herbs costs the price of 30 packs.
Recipe cost per serving: bulk proportional price · case 04
Buying 30 g of bulk herbs costs the price of 30 packs.
Recipe cost per serving: bulk proportional price · case 05
Buying 30 g of bulk herbs costs the price of 30 packs.
Meal glycemic load: available carbohydrate · case 01
Lentils and oats show inflated glycemic load.
Meal glycemic load: available carbohydrate · case 02
Lentils and oats show inflated glycemic load.
Meal glycemic load: available carbohydrate · case 03
Lentils and oats show inflated glycemic load.
Meal glycemic load: available carbohydrate · case 04
Lentils and oats show inflated glycemic load.
Meal glycemic load: available carbohydrate · case 05
Lentils and oats show inflated glycemic load.
Meal glycemic load: portion scaling · case 01
A 200 g portion counts the same as the 100 g reference.
Meal glycemic load: portion scaling · case 02
A 200 g portion counts the same as the 100 g reference.
Meal glycemic load: portion scaling · case 03
A 200 g portion counts the same as the 100 g reference.
Meal glycemic load: portion scaling · case 04
A 200 g portion counts the same as the 100 g reference.
Meal glycemic load: portion scaling · case 05
A 200 g portion counts the same as the 100 g reference.
Meal glycemic load: meal GI weighting · case 01
A meal of mostly lentils and a slice of bread reports the plain average of their GIs.
Meal glycemic load: meal GI weighting · case 02
A meal of mostly lentils and a slice of bread reports the plain average of their GIs.
Meal glycemic load: meal GI weighting · case 03
A meal of mostly lentils and a slice of bread reports the plain average of their GIs.
Meal glycemic load: meal GI weighting · case 04
A meal of mostly lentils and a slice of bread reports the plain average of their GIs.
Meal glycemic load: meal GI weighting · case 05
A meal of mostly lentils and a slice of bread reports the plain average of their GIs.
Meal glycemic load: class from exact load · case 01
A meal with a glycemic load of exactly 10 is called medium.
Meal glycemic load: class from exact load · case 02
A meal with a glycemic load of exactly 10 is called medium.
Meal glycemic load: class from exact load · case 03
A meal with a glycemic load of exactly 10 is called medium.
Meal glycemic load: class from exact load · case 04
A meal with a glycemic load of exactly 10 is called medium.
Meal glycemic load: class from exact load · case 05
A meal with a glycemic load of exactly 10 is called medium.
Sub-recipe allergen roll-up: diamond versus cycle · case 01
A glaze used by both the filling and the topping is reported as a cycle.
Sub-recipe allergen roll-up: diamond versus cycle · case 02
A glaze used by both the filling and the topping is reported as a cycle.
Sub-recipe allergen roll-up: diamond versus cycle · case 03
A glaze used by both the filling and the topping is reported as a cycle.
Sub-recipe allergen roll-up: diamond versus cycle · case 04
A glaze used by both the filling and the topping is reported as a cycle.
Sub-recipe allergen roll-up: diamond versus cycle · case 05
A glaze used by both the filling and the topping is reported as a cycle.
Sub-recipe allergen roll-up: contains precedence · case 01
Milk appears both as contains and as may contain.
Sub-recipe allergen roll-up: contains precedence · case 02
Milk appears both as contains and as may contain.
Sub-recipe allergen roll-up: contains precedence · case 03
Milk appears both as contains and as may contain.
Sub-recipe allergen roll-up: contains precedence · case 04
Milk appears both as contains and as may contain.
Sub-recipe allergen roll-up: contains precedence · case 05
Milk appears both as contains and as may contain.
Sub-recipe allergen roll-up: synonym canonicalization · case 01
"dairy" and "milk" are listed as separate allergens.
Sub-recipe allergen roll-up: synonym canonicalization · case 02
"dairy" and "milk" are listed as separate allergens.
Sub-recipe allergen roll-up: synonym canonicalization · case 03
"dairy" and "milk" are listed as separate allergens.
Sub-recipe allergen roll-up: synonym canonicalization · case 04
"dairy" and "milk" are listed as separate allergens.
Sub-recipe allergen roll-up: synonym canonicalization · case 05
"dairy" and "milk" are listed as separate allergens.
Sub-recipe allergen roll-up: error propagation · case 01
A missing sub-recipe is silently ignored and a partial allergen list is published.
Sub-recipe allergen roll-up: error propagation · case 02
A missing sub-recipe is silently ignored and a partial allergen list is published.
Sub-recipe allergen roll-up: error propagation · case 03
A missing sub-recipe is silently ignored and a partial allergen list is published.
Sub-recipe allergen roll-up: error propagation · case 04
A missing sub-recipe is silently ignored and a partial allergen list is published.
Sub-recipe allergen roll-up: error propagation · case 05
A missing sub-recipe is silently ignored and a partial allergen list is published.
Sub-recipe allergen roll-up: nested precautionary labels · case 01
A "may contain sesame" note on a sub-recipe never reaches the menu item.
Sub-recipe allergen roll-up: nested precautionary labels · case 02
A "may contain sesame" note on a sub-recipe never reaches the menu item.
Sub-recipe allergen roll-up: nested precautionary labels · case 03
A "may contain sesame" note on a sub-recipe never reaches the menu item.
Sub-recipe allergen roll-up: nested precautionary labels · case 04
A "may contain sesame" note on a sub-recipe never reaches the menu item.
Sub-recipe allergen roll-up: nested precautionary labels · case 05
A "may contain sesame" note on a sub-recipe never reaches the menu item.
Macronutrient target splitter: split validation · case 01
A 30/40/31 split is accepted and silently renormalized.
Macronutrient target splitter: split validation · case 02
A 30/40/31 split is accepted and silently renormalized.
Macronutrient target splitter: split validation · case 03
A 30/40/31 split is accepted and silently renormalized.
Macronutrient target splitter: split validation · case 04
A 30/40/31 split is accepted and silently renormalized.
Macronutrient target splitter: split validation · case 05
A 30/40/31 split is accepted and silently renormalized.
Macronutrient target splitter: protein floor · case 01
A 120 kg athlete on 1500 kcal gets 56 g protein.
Macronutrient target splitter: protein floor · case 02
A 120 kg athlete on 1500 kcal gets 56 g protein.
Macronutrient target splitter: protein floor · case 03
A 120 kg athlete on 1500 kcal gets 56 g protein.
Macronutrient target splitter: protein floor · case 04
A 120 kg athlete on 1500 kcal gets 56 g protein.
Macronutrient target splitter: protein floor · case 05
A 120 kg athlete on 1500 kcal gets 56 g protein.
Macronutrient target splitter: remaining energy · case 01
When the protein floor binds, total energy exceeds the target.
Macronutrient target splitter: remaining energy · case 02
When the protein floor binds, total energy exceeds the target.
Macronutrient target splitter: remaining energy · case 03
When the protein floor binds, total energy exceeds the target.
Macronutrient target splitter: remaining energy · case 04
When the protein floor binds, total energy exceeds the target.
Macronutrient target splitter: remaining energy · case 05
When the protein floor binds, total energy exceeds the target.
Macronutrient target splitter: carb-fat ratio · case 01
Fat grams fall short when protein takes a larger share.
Macronutrient target splitter: carb-fat ratio · case 02
Fat grams fall short when protein takes a larger share.
Macronutrient target splitter: carb-fat ratio · case 03
Fat grams fall short when protein takes a larger share.
Macronutrient target splitter: carb-fat ratio · case 04
Fat grams fall short when protein takes a larger share.
Macronutrient target splitter: carb-fat ratio · case 05
Fat grams fall short when protein takes a larger share.
Macronutrient target splitter: carb from remainder · case 01
Totals drift a few calories from the target because fat rounding is not absorbed.
Macronutrient target splitter: carb from remainder · case 02
Totals drift a few calories from the target because fat rounding is not absorbed.
Macronutrient target splitter: carb from remainder · case 03
Totals drift a few calories from the target because fat rounding is not absorbed.
Macronutrient target splitter: carb from remainder · case 04
Totals drift a few calories from the target because fat rounding is not absorbed.
Macronutrient target splitter: carb from remainder · case 05
Totals drift a few calories from the target because fat rounding is not absorbed.
Backward recipe step scheduler: earliest dependent start · case 01
Prep scheduled to end when the last dependent step starts, so the roast starts before prep is done.
Backward recipe step scheduler: earliest dependent start · case 02
Prep scheduled to end when the last dependent step starts, so the roast starts before prep is done.
Backward recipe step scheduler: earliest dependent start · case 03
Prep scheduled to end when the last dependent step starts, so the roast starts before prep is done.
Backward recipe step scheduler: earliest dependent start · case 04
Prep scheduled to end when the last dependent step starts, so the roast starts before prep is done.
Backward recipe step scheduler: earliest dependent start · case 05
Prep scheduled to end when the last dependent step starts, so the roast starts before prep is done.
Backward recipe step scheduler: step duration offset · case 01
Every step is shown starting at the moment it must finish.
Backward recipe step scheduler: step duration offset · case 02
Every step is shown starting at the moment it must finish.
Backward recipe step scheduler: step duration offset · case 03
Every step is shown starting at the moment it must finish.
Backward recipe step scheduler: step duration offset · case 04
Every step is shown starting at the moment it must finish.
Backward recipe step scheduler: step duration offset · case 05
Every step is shown starting at the moment it must finish.
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 ↗