{"abstract":"A 1.2 kg medium-rare roast (42 min) is scheduled for 40 minutes instead of 45.","category":"Recipe scaling and nutrition","checks":8,"contract":"Doneness (trimmed, lower) rare 52C/30 min per kg, medium rare 57/35, medium 63/40, well 71/50; unknown -> error; weight <= 0 -> error. Carryover 2C below 1.5 kg, 4C below 3 kg, else 6C. Beef and lamb pull at target - carryover. Poultry ignores doneness: pull at 74 (no carryover credit) and uses the well-done rate. cook_min = ceiling to a multiple of 5 of weight*rate. rest_min = half-up weight*5 clamped to [10, 30].","contract_signature":"weight_kg, doneness, cut","evaluation_group":"w2-recipe_scaling_and_nutrition-roast-plan","failed_approach":"Ceiling to whole minutes skips the 5-minute step.","family":"w2-recipe_scaling_and_nutrition-roast-plan-cook-time-rounding","id":"FA-97196","implementations":{"attempt":{"sha256":"da9098341dc0b5723b9d15c752351afc5e52bfb50f8528663abec89060b65e1e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(weight_kg, doneness, cut):\n    T = {'rare': 52, 'medium rare': 57, 'medium': 63, 'well': 71}\n    PER = {'rare': 30, 'medium rare': 35, 'medium': 40, 'well': 50}\n    d = doneness.strip().lower()\n    if d not in T:\n        return 'error: doneness'\n    if weight_kg <= 0:\n        return 'error: weight'\n    w = Fraction(str(weight_kg))\n    carry = 2 if w < Fraction(3, 2) else 4 if w < 3 else 6\n    if cut == 'poultry':\n        pull = 74\n    else:\n        pull = T[d] - carry\n    per = PER['well'] if cut == 'poultry' else PER[d]\n    cook = math.ceil(w * per)\n    rest = min(30, max(10, math.floor(w * 5 + Fraction(1, 2))))\n    return {'pull_c': pull, 'cook_min': cook, 'rest_min': rest}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],\n  ['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],\n  ['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],\n  ['regression: cook time rounding', [1.2, 'rare', 'lamb'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],\n  ['repair check: cook time rounding', [1.5, 'medium rare', 'beef'],\n   {'cook_min': 55, 'pull_c': 53, 'rest_min': 10}],\n  ['generated control 1', [0, 'medium rare', 'beef'], 'error: weight'],\n  ['generated control 2', [2, 'rare', 'lamb'], {'cook_min': 60, 'pull_c': 48, 'rest_min': 10}],\n  ['generated control 3', [1.5, 'Medium', 'lamb'], {'cook_min': 60, 'pull_c': 59, 'rest_min': 10}]],\n [['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],\n  ['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],\n  ['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],\n  ['regression: cook time rounding', [1.2, 'medium rare', 'beef'],\n   {'cook_min': 45, 'pull_c': 55, 'rest_min': 10}],\n  ['repair check: cook time rounding', [2.4, 'Medium', 'beef'],\n   {'cook_min': 100, 'pull_c': 59, 'rest_min': 12}],\n  ['generated control 1', [2, 'blue', 'lamb'], 'error: doneness'],\n  ['generated control 2', [3.5, 'Medium', 'beef'], {'cook_min': 140, 'pull_c': 57, 'rest_min': 18}],\n  ['generated control 3', [3.5, 'blue', 'beef'], 'error: doneness']],\n [['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],\n  ['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],\n  ['zero weight', [0, 'rare', 'beef'], 'error: weight'],\n  ['regression: cook time rounding', [4.2, 'medium rare', 'beef'],\n   {'cook_min': 150, 'pull_c': 51, 'rest_min': 21}],\n  ['repair check: cook time rounding', [1.2, 'medium rare', 'beef'],\n   {'cook_min': 45, 'pull_c': 55, 'rest_min': 10}],\n  ['generated control 1', [6, 'well', 'poultry'], {'cook_min': 300, 'pull_c': 74, 'rest_min': 30}],\n  ['generated control 2', [7, 'rare', 'poultry'], {'cook_min': 350, 'pull_c': 74, 'rest_min': 30}],\n  ['generated control 3', [2.4, 'blue', 'poultry'], 'error: doneness']],\n [['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],\n  ['zero weight', [0, 'rare', 'beef'], 'error: weight'],\n  ['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],\n  ['regression: cook time rounding', [1.2, 'rare', 'lamb'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],\n  ['repair check: cook time rounding', [1.2, 'Medium', 'beef'],\n   {'cook_min': 50, 'pull_c': 61, 'rest_min': 10}],\n  ['generated control 1', [7, 'medium rare', 'lamb'], {'cook_min': 245, 'pull_c': 51, 'rest_min': 30}],\n  ['generated control 2', [3, 'Medium', 'beef'], {'cook_min': 120, 'pull_c': 57, 'rest_min': 15}],\n  ['generated control 3', [3, 'rare', 'poultry'], {'cook_min': 150, 'pull_c': 74, 'rest_min': 15}]],\n [['zero weight', [0, 'rare', 'beef'], 'error: weight'],\n  ['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],\n  ['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],\n  ['regression: cook time rounding', [2.4, 'rare', 'lamb'], {'cook_min': 75, 'pull_c': 48, 'rest_min': 12}],\n  ['repair check: cook time rounding', [1.2, 'rare', 'lamb'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],\n  ['generated control 1', [0.5, 'blue', 'lamb'], 'error: doneness'],\n  ['generated control 2', [4.2, 'medium rare', 'poultry'], {'cook_min': 210, 'pull_c': 74, 'rest_min': 21}],\n  ['generated control 3', [0, 'medium rare', 'poultry'], 'error: weight']]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"7ac11804401ef59b26ef2f812525ce3a56b5b80228137191f12fbe227d015389","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(weight_kg, doneness, cut):\n    T = {'rare': 52, 'medium rare': 57, 'medium': 63, 'well': 71}\n    PER = {'rare': 30, 'medium rare': 35, 'medium': 40, 'well': 50}\n    d = doneness.strip().lower()\n    if d not in T:\n        return 'error: doneness'\n    if weight_kg <= 0:\n        return 'error: weight'\n    w = Fraction(str(weight_kg))\n    carry = 2 if w < Fraction(3, 2) else 4 if w < 3 else 6\n    if cut == 'poultry':\n        pull = 74\n    else:\n        pull = T[d] - carry\n    per = PER['well'] if cut == 'poultry' else PER[d]\n    cook = 5 * math.floor(w * per / 5 + Fraction(1, 2))\n    rest = min(30, max(10, math.floor(w * 5 + Fraction(1, 2))))\n    return {'pull_c': pull, 'cook_min': cook, 'rest_min': rest}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],\n  ['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],\n  ['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],\n  ['regression: cook time rounding', [1.2, 'rare', 'lamb'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],\n  ['repair check: cook time rounding', [1.5, 'medium rare', 'beef'],\n   {'cook_min': 55, 'pull_c': 53, 'rest_min': 10}],\n  ['generated control 1', [0, 'medium rare', 'beef'], 'error: weight'],\n  ['generated control 2', [2, 'rare', 'lamb'], {'cook_min': 60, 'pull_c': 48, 'rest_min': 10}],\n  ['generated control 3', [1.5, 'Medium', 'lamb'], {'cook_min': 60, 'pull_c': 59, 'rest_min': 10}]],\n [['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],\n  ['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],\n  ['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],\n  ['regression: cook time rounding', [1.2, 'medium rare', 'beef'],\n   {'cook_min': 45, 'pull_c': 55, 'rest_min': 10}],\n  ['repair check: cook time rounding', [2.4, 'Medium', 'beef'],\n   {'cook_min': 100, 'pull_c': 59, 'rest_min': 12}],\n  ['generated control 1', [2, 'blue', 'lamb'], 'error: doneness'],\n  ['generated control 2', [3.5, 'Medium', 'beef'], {'cook_min': 140, 'pull_c': 57, 'rest_min': 18}],\n  ['generated control 3', [3.5, 'blue', 'beef'], 'error: doneness']],\n [['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],\n  ['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],\n  ['zero weight', [0, 'rare', 'beef'], 'error: weight'],\n  ['regression: cook time rounding', [4.2, 'medium rare', 'beef'],\n   {'cook_min': 150, 'pull_c': 51, 'rest_min': 21}],\n  ['repair check: cook time rounding', [1.2, 'medium rare', 'beef'],\n   {'cook_min': 45, 'pull_c': 55, 'rest_min': 10}],\n  ['generated control 1', [6, 'well', 'poultry'], {'cook_min': 300, 'pull_c': 74, 'rest_min': 30}],\n  ['generated control 2', [7, 'rare', 'poultry'], {'cook_min': 350, 'pull_c': 74, 'rest_min': 30}],\n  ['generated control 3', [2.4, 'blue', 'poultry'], 'error: doneness']],\n [['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],\n  ['zero weight', [0, 'rare', 'beef'], 'error: weight'],\n  ['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],\n  ['regression: cook time rounding', [1.2, 'rare', 'lamb'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],\n  ['repair check: cook time rounding', [1.2, 'Medium', 'beef'],\n   {'cook_min': 50, 'pull_c': 61, 'rest_min': 10}],\n  ['generated control 1', [7, 'medium rare', 'lamb'], {'cook_min': 245, 'pull_c': 51, 'rest_min': 30}],\n  ['generated control 2', [3, 'Medium', 'beef'], {'cook_min': 120, 'pull_c': 57, 'rest_min': 15}],\n  ['generated control 3', [3, 'rare', 'poultry'], {'cook_min': 150, 'pull_c': 74, 'rest_min': 15}]],\n [['zero weight', [0, 'rare', 'beef'], 'error: weight'],\n  ['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],\n  ['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],\n  ['regression: cook time rounding', [2.4, 'rare', 'lamb'], {'cook_min': 75, 'pull_c': 48, 'rest_min': 12}],\n  ['repair check: cook time rounding', [1.2, 'rare', 'lamb'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],\n  ['generated control 1', [0.5, 'blue', 'lamb'], 'error: doneness'],\n  ['generated control 2', [4.2, 'medium rare', 'poultry'], {'cook_min': 210, 'pull_c': 74, 'rest_min': 21}],\n  ['generated control 3', [0, 'medium rare', 'poultry'], 'error: weight']]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic toy contract stated in full here; it is a bounded teaching model, not an authoritative reference or standards implementation. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-recipe_scaling_and_nutrition-roast-plan-cook-time-rounding","generated_at":"2026-09-29T14:52:29.781412+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Roast planners must account for carryover cooking and food-safety minimums for poultry.","root_cause":"Cooking time is rounded to the nearest 5 minutes instead of up.","sha256":"36bf5f28c79373c5d238a96b19de6632b873d1d5807690051733f3f07416507f","title":"Roast timing and carryover planner: cook time rounding · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":44.652,"exit_code":1,"observations":[{"actual":{"cook_min":30,"pull_c":50,"rest_min":10},"check":"small rare roast","expected":{"cook_min":30,"pull_c":50,"rest_min":10},"passed":true},{"actual":{"cook_min":168,"pull_c":57,"rest_min":21},"check":"large medium roast","expected":{"cook_min":170,"pull_c":57,"rest_min":21},"passed":false},{"actual":{"cook_min":100,"pull_c":74,"rest_min":10},"check":"chicken","expected":{"cook_min":100,"pull_c":74,"rest_min":10},"passed":true},{"actual":{"cook_min":36,"pull_c":50,"rest_min":10},"check":"regression: cook time rounding","expected":{"cook_min":40,"pull_c":50,"rest_min":10},"passed":false},{"actual":{"cook_min":53,"pull_c":53,"rest_min":10},"check":"repair check: cook time rounding","expected":{"cook_min":55,"pull_c":53,"rest_min":10},"passed":false},{"actual":"error: weight","check":"generated control 1","expected":"error: weight","passed":true},{"actual":{"cook_min":60,"pull_c":48,"rest_min":10},"check":"generated control 2","expected":{"cook_min":60,"pull_c":48,"rest_min":10},"passed":true},{"actual":{"cook_min":60,"pull_c":59,"rest_min":10},"check":"generated control 3","expected":{"cook_min":60,"pull_c":59,"rest_min":10},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"small rare roast\", \"actual\": {\"pull_c\": 50, \"cook_min\": 30, \"rest_min\": 10}, \"expected\": {\"cook_min\": 30, \"pull_c\": 50, \"rest_min\": 10}, \"passed\": true}, {\"check\": \"large medium roast\", \"actual\": {\"pull_c\": 57, \"cook_min\": 168, \"rest_min\": 21}, \"expected\": {\"cook_min\": 170, \"pull_c\": 57, \"rest_min\": 21}, \"passed\": false}, {\"check\": \"chicken\", \"actual\": {\"pull_c\": 74, \"cook_min\": 100, \"rest_min\": 10}, \"expected\": {\"cook_min\": 100, \"pull_c\": 74, \"rest_min\": 10}, \"passed\": true}, {\"check\": \"regression: cook time rounding\", \"actual\": {\"pull_c\": 50, \"cook_min\": 36, \"rest_min\": 10}, \"expected\": {\"cook_min\": 40, \"pull_c\": 50, \"rest_min\": 10}, \"passed\": false}, {\"check\": \"repair check: cook time rounding\", \"actual\": {\"pull_c\": 53, \"cook_min\": 53, \"rest_min\": 10}, \"expected\": {\"cook_min\": 55, \"pull_c\": 53, \"rest_min\": 10}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": \"error: weight\", \"expected\": \"error: weight\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"pull_c\": 48, \"cook_min\": 60, \"rest_min\": 10}, \"expected\": {\"cook_min\": 60, \"pull_c\": 48, \"rest_min\": 10}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"pull_c\": 59, \"cook_min\": 60, \"rest_min\": 10}, \"expected\": {\"cook_min\": 60, \"pull_c\": 59, \"rest_min\": 10}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.378,"exit_code":1,"observations":[{"actual":{"cook_min":30,"pull_c":50,"rest_min":10},"check":"small rare roast","expected":{"cook_min":30,"pull_c":50,"rest_min":10},"passed":true},{"actual":{"cook_min":170,"pull_c":57,"rest_min":21},"check":"large medium roast","expected":{"cook_min":170,"pull_c":57,"rest_min":21},"passed":true},{"actual":{"cook_min":100,"pull_c":74,"rest_min":10},"check":"chicken","expected":{"cook_min":100,"pull_c":74,"rest_min":10},"passed":true},{"actual":{"cook_min":35,"pull_c":50,"rest_min":10},"check":"regression: cook time rounding","expected":{"cook_min":40,"pull_c":50,"rest_min":10},"passed":false},{"actual":{"cook_min":55,"pull_c":53,"rest_min":10},"check":"repair check: cook time rounding","expected":{"cook_min":55,"pull_c":53,"rest_min":10},"passed":true},{"actual":"error: weight","check":"generated control 1","expected":"error: weight","passed":true},{"actual":{"cook_min":60,"pull_c":48,"rest_min":10},"check":"generated control 2","expected":{"cook_min":60,"pull_c":48,"rest_min":10},"passed":true},{"actual":{"cook_min":60,"pull_c":59,"rest_min":10},"check":"generated control 3","expected":{"cook_min":60,"pull_c":59,"rest_min":10},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"small rare roast\", \"actual\": {\"pull_c\": 50, \"cook_min\": 30, \"rest_min\": 10}, \"expected\": {\"cook_min\": 30, \"pull_c\": 50, \"rest_min\": 10}, \"passed\": true}, {\"check\": \"large medium roast\", \"actual\": {\"pull_c\": 57, \"cook_min\": 170, \"rest_min\": 21}, \"expected\": {\"cook_min\": 170, \"pull_c\": 57, \"rest_min\": 21}, \"passed\": true}, {\"check\": \"chicken\", \"actual\": {\"pull_c\": 74, \"cook_min\": 100, \"rest_min\": 10}, \"expected\": {\"cook_min\": 100, \"pull_c\": 74, \"rest_min\": 10}, \"passed\": true}, {\"check\": \"regression: cook time rounding\", \"actual\": {\"pull_c\": 50, \"cook_min\": 35, \"rest_min\": 10}, \"expected\": {\"cook_min\": 40, \"pull_c\": 50, \"rest_min\": 10}, \"passed\": false}, {\"check\": \"repair check: cook time rounding\", \"actual\": {\"pull_c\": 53, \"cook_min\": 55, \"rest_min\": 10}, \"expected\": {\"cook_min\": 55, \"pull_c\": 53, \"rest_min\": 10}, \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": \"error: weight\", \"expected\": \"error: weight\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"pull_c\": 48, \"cook_min\": 60, \"rest_min\": 10}, \"expected\": {\"cook_min\": 60, \"pull_c\": 48, \"rest_min\": 10}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"pull_c\": 59, \"cook_min\": 60, \"rest_min\": 10}, \"expected\": {\"cook_min\": 60, \"pull_c\": 59, \"rest_min\": 10}, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}