{"abstract":"At 8000 ft the oven is raised 45 F.","category":"Recipe scaling and nutrition","checks":8,"contract":"Level 0 below 3000 ft, 1 for 3000-4999, 2 for 5000-6999, 3 at 7000+. Baking powder times (1-level/8); sugar times (1-level/16) (1 tbsp per cup per level); liquid times (1+3*level/32) (1.5 tbsp per cup per level); oven +15 F at levels 1-2 and +25 F at level 3. Amounts are fraction strings in and exact str(Fraction) out.","contract_signature":"altitude_ft, recipe","evaluation_group":"w2-recipe_scaling_and_nutrition-high-altitude-baking","failed_approach":"Giving level 2 the 25 F bump overheats mid-altitude bakes.","family":"w2-recipe_scaling_and_nutrition-high-altitude-baking-oven-temperature-bump","id":"FA-97106","implementations":{"attempt":{"sha256":"28d7809f4bdb8189ea872cae86b2547305403f3213c91a4cfe3086489bd7a5cc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(altitude_ft, recipe):\n    if altitude_ft < 3000:\n        level = 0\n    elif altitude_ft < 5000:\n        level = 1\n    elif altitude_ft < 7000:\n        level = 2\n    else:\n        level = 3\n    bp = Fraction(recipe['baking_powder_tsp'])\n    sugar = Fraction(recipe['sugar_cups'])\n    liquid = Fraction(recipe['liquid_cups'])\n    bp = bp * (1 - Fraction(level, 8))\n    sugar = sugar * (1 - Fraction(level, 16))\n    liquid = liquid * (1 + Fraction(3 * level, 32))\n    oven = recipe['oven_f'] + (0 if level == 0 else 25 if level >= 2 else 15)\n    return {'level': level, 'baking_powder_tsp': str(bp), 'sugar_cups': str(sugar),\n            'liquid_cups': str(liquid), 'oven_f': oven}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n  ['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],\n  ['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['regression: oven temperature bump',\n   [9000, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '41/64', 'oven_f': 375, 'sugar_cups': '39/64'}],\n  ['repair check: oven temperature bump',\n   [6500, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 340, 'sugar_cups': '21/32'}],\n  ['generated control 1',\n   [0, {'baking_powder_tsp': '3/2', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '3/4'}],\n  ['generated control 2',\n   [3500, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 390, 'sugar_cups': '15/16'}],\n  ['generated control 3',\n   [7000, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/16', 'level': 3, 'liquid_cups': '41/64', 'oven_f': 375, 'sugar_cups': '13/16'}]],\n [['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],\n  ['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],\n  ['regression: oven temperature bump',\n   [7000, {'baking_powder_tsp': '3/2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '15/16', 'level': 3, 'liquid_cups': '41/24', 'oven_f': 400, 'sugar_cups': '13/16'}],\n  ['repair check: oven temperature bump',\n   [5000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 340, 'sugar_cups': '7/16'}],\n  ['generated control 1',\n   [0, {'baking_powder_tsp': '1/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '1'}],\n  ['generated control 2',\n   [0, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n  ['generated control 3',\n   [4999, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 390, 'sugar_cups': '15/32'}]],\n [['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],\n  ['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n  ['regression: oven temperature bump',\n   [7000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 350, 'sugar_cups': '39/64'}],\n  ['repair check: oven temperature bump',\n   [5000, {'baking_powder_tsp': '1/2', 'liquid_cups': '4/3', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/12', 'oven_f': 365, 'sugar_cups': '21/32'}],\n  ['generated control 1',\n   [3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/8'}],\n  ['generated control 2',\n   [3500, {'baking_powder_tsp': '1/2', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 340, 'sugar_cups': '45/64'}],\n  ['generated control 3',\n   [5000, {'baking_powder_tsp': '1/2', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 390, 'sugar_cups': '7/16'}]],\n [['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],\n  ['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n  ['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],\n  ['regression: oven temperature bump',\n   [9000, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '41/24', 'oven_f': 350, 'sugar_cups': '13/16'}],\n  ['repair check: oven temperature bump',\n   [5000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 365, 'sugar_cups': '7/16'}],\n  ['generated control 1',\n   [7000, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/24', 'oven_f': 350, 'sugar_cups': '13/16'}],\n  ['generated control 2',\n   [7000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '39/64'}],\n  ['generated control 3',\n   [3500, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 365, 'sugar_cups': '45/64'}]],\n [['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n  ['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],\n  ['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['regression: oven temperature bump',\n   [6999, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['repair check: oven temperature bump',\n   [6999, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/8'}],\n  ['generated control 1',\n   [3500, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 340, 'sugar_cups': '45/64'}],\n  ['generated control 2',\n   [3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 390, 'sugar_cups': '15/32'}],\n  ['generated control 3',\n   [2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}]]]\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":"66735842198faa45c1243425ecc7e14021ebe8268a401d7520b1cb8788dc1798","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(altitude_ft, recipe):\n    if altitude_ft < 3000:\n        level = 0\n    elif altitude_ft < 5000:\n        level = 1\n    elif altitude_ft < 7000:\n        level = 2\n    else:\n        level = 3\n    bp = Fraction(recipe['baking_powder_tsp'])\n    sugar = Fraction(recipe['sugar_cups'])\n    liquid = Fraction(recipe['liquid_cups'])\n    bp = bp * (1 - Fraction(level, 8))\n    sugar = sugar * (1 - Fraction(level, 16))\n    liquid = liquid * (1 + Fraction(3 * level, 32))\n    oven = recipe['oven_f'] + 15 * level\n    return {'level': level, 'baking_powder_tsp': str(bp), 'sugar_cups': str(sugar),\n            'liquid_cups': str(liquid), 'oven_f': oven}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n  ['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],\n  ['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['regression: oven temperature bump',\n   [9000, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '41/64', 'oven_f': 375, 'sugar_cups': '39/64'}],\n  ['repair check: oven temperature bump',\n   [6500, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 340, 'sugar_cups': '21/32'}],\n  ['generated control 1',\n   [0, {'baking_powder_tsp': '3/2', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '3/4'}],\n  ['generated control 2',\n   [3500, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 390, 'sugar_cups': '15/16'}],\n  ['generated control 3',\n   [7000, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/16', 'level': 3, 'liquid_cups': '41/64', 'oven_f': 375, 'sugar_cups': '13/16'}]],\n [['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],\n  ['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],\n  ['regression: oven temperature bump',\n   [7000, {'baking_powder_tsp': '3/2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '15/16', 'level': 3, 'liquid_cups': '41/24', 'oven_f': 400, 'sugar_cups': '13/16'}],\n  ['repair check: oven temperature bump',\n   [5000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 340, 'sugar_cups': '7/16'}],\n  ['generated control 1',\n   [0, {'baking_powder_tsp': '1/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '1'}],\n  ['generated control 2',\n   [0, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n  ['generated control 3',\n   [4999, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 390, 'sugar_cups': '15/32'}]],\n [['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],\n  ['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n  ['regression: oven temperature bump',\n   [7000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 350, 'sugar_cups': '39/64'}],\n  ['repair check: oven temperature bump',\n   [5000, {'baking_powder_tsp': '1/2', 'liquid_cups': '4/3', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/12', 'oven_f': 365, 'sugar_cups': '21/32'}],\n  ['generated control 1',\n   [3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/8'}],\n  ['generated control 2',\n   [3500, {'baking_powder_tsp': '1/2', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 340, 'sugar_cups': '45/64'}],\n  ['generated control 3',\n   [5000, {'baking_powder_tsp': '1/2', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 390, 'sugar_cups': '7/16'}]],\n [['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],\n  ['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n  ['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],\n  ['regression: oven temperature bump',\n   [9000, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '41/24', 'oven_f': 350, 'sugar_cups': '13/16'}],\n  ['repair check: oven temperature bump',\n   [5000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 365, 'sugar_cups': '7/16'}],\n  ['generated control 1',\n   [7000, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/24', 'oven_f': 350, 'sugar_cups': '13/16'}],\n  ['generated control 2',\n   [7000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '39/64'}],\n  ['generated control 3',\n   [3500, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 365, 'sugar_cups': '45/64'}]],\n [['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n  ['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],\n  ['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['regression: oven temperature bump',\n   [6999, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['repair check: oven temperature bump',\n   [6999, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/8'}],\n  ['generated control 1',\n   [3500, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 340, 'sugar_cups': '45/64'}],\n  ['generated control 2',\n   [3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 390, 'sugar_cups': '15/32'}],\n  ['generated control 3',\n   [2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}]]]\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-high-altitude-baking-oven-temperature-bump","generated_at":"2026-09-29T14:52:28.909674+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Cake and quick-bread recipes need leavening, sugar, liquid and temperature changes at elevation.","root_cause":"The oven bump is multiplied by the level instead of being a single step.","sha256":"6efd73ceeceb664e248e781205d34b5053d1c8f518ce4284da1dcd6c7dd169dc","title":"High-altitude baking adjuster: oven temperature bump · 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":50.14,"exit_code":1,"observations":[{"actual":{"baking_powder_tsp":"1","level":0,"liquid_cups":"1","oven_f":350,"sugar_cups":"1"},"check":"sea level","expected":{"baking_powder_tsp":"1","level":0,"liquid_cups":"1","oven_f":350,"sugar_cups":"1"},"passed":true},{"actual":{"baking_powder_tsp":"7/4","level":1,"liquid_cups":"35/32","oven_f":365,"sugar_cups":"15/16"},"check":"threshold 3000","expected":{"baking_powder_tsp":"7/4","level":1,"liquid_cups":"35/32","oven_f":365,"sugar_cups":"15/16"},"passed":true},{"actual":{"baking_powder_tsp":"3/4","level":2,"liquid_cups":"19/32","oven_f":400,"sugar_cups":"7/4"},"check":"level two","expected":{"baking_powder_tsp":"3/4","level":2,"liquid_cups":"19/32","oven_f":390,"sugar_cups":"7/4"},"passed":false},{"actual":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"41/64","oven_f":375,"sugar_cups":"39/64"},"check":"regression: oven temperature bump","expected":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"41/64","oven_f":375,"sugar_cups":"39/64"},"passed":true},{"actual":{"baking_powder_tsp":"3/4","level":2,"liquid_cups":"19/16","oven_f":350,"sugar_cups":"21/32"},"check":"repair check: oven temperature bump","expected":{"baking_powder_tsp":"3/4","level":2,"liquid_cups":"19/16","oven_f":340,"sugar_cups":"21/32"},"passed":false},{"actual":{"baking_powder_tsp":"3/2","level":0,"liquid_cups":"4/3","oven_f":325,"sugar_cups":"3/4"},"check":"generated control 1","expected":{"baking_powder_tsp":"3/2","level":0,"liquid_cups":"4/3","oven_f":325,"sugar_cups":"3/4"},"passed":true},{"actual":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"105/128","oven_f":390,"sugar_cups":"15/16"},"check":"generated control 2","expected":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"105/128","oven_f":390,"sugar_cups":"15/16"},"passed":true},{"actual":{"baking_powder_tsp":"5/16","level":3,"liquid_cups":"41/64","oven_f":375,"sugar_cups":"13/16"},"check":"generated control 3","expected":{"baking_powder_tsp":"5/16","level":3,"liquid_cups":"41/64","oven_f":375,"sugar_cups":"13/16"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sea level\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"1\", \"sugar_cups\": \"1\", \"liquid_cups\": \"1\", \"oven_f\": 350}, \"expected\": {\"baking_powder_tsp\": \"1\", \"level\": 0, \"liquid_cups\": \"1\", \"oven_f\": 350, \"sugar_cups\": \"1\"}, \"passed\": true}, {\"check\": \"threshold 3000\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"7/4\", \"sugar_cups\": \"15/16\", \"liquid_cups\": \"35/32\", \"oven_f\": 365}, \"expected\": {\"baking_powder_tsp\": \"7/4\", \"level\": 1, \"liquid_cups\": \"35/32\", \"oven_f\": 365, \"sugar_cups\": \"15/16\"}, \"passed\": true}, {\"check\": \"level two\", \"actual\": {\"level\": 2, \"baking_powder_tsp\": \"3/4\", \"sugar_cups\": \"7/4\", \"liquid_cups\": \"19/32\", \"oven_f\": 400}, \"expected\": {\"baking_powder_tsp\": \"3/4\", \"level\": 2, \"liquid_cups\": \"19/32\", \"oven_f\": 390, \"sugar_cups\": \"7/4\"}, \"passed\": false}, {\"check\": \"regression: oven temperature bump\", \"actual\": {\"level\": 3, \"baking_powder_tsp\": \"5/4\", \"sugar_cups\": \"39/64\", \"liquid_cups\": \"41/64\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"5/4\", \"level\": 3, \"liquid_cups\": \"41/64\", \"oven_f\": 375, \"sugar_cups\": \"39/64\"}, \"passed\": true}, {\"check\": \"repair check: oven temperature bump\", \"actual\": {\"level\": 2, \"baking_powder_tsp\": \"3/4\", \"sugar_cups\": \"21/32\", \"liquid_cups\": \"19/16\", \"oven_f\": 350}, \"expected\": {\"baking_powder_tsp\": \"3/4\", \"level\": 2, \"liquid_cups\": \"19/16\", \"oven_f\": 340, \"sugar_cups\": \"21/32\"}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"3/2\", \"sugar_cups\": \"3/4\", \"liquid_cups\": \"4/3\", \"oven_f\": 325}, \"expected\": {\"baking_powder_tsp\": \"3/2\", \"level\": 0, \"liquid_cups\": \"4/3\", \"oven_f\": 325, \"sugar_cups\": \"3/4\"}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"7/8\", \"sugar_cups\": \"15/16\", \"liquid_cups\": \"105/128\", \"oven_f\": 390}, \"expected\": {\"baking_powder_tsp\": \"7/8\", \"level\": 1, \"liquid_cups\": \"105/128\", \"oven_f\": 390, \"sugar_cups\": \"15/16\"}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"level\": 3, \"baking_powder_tsp\": \"5/16\", \"sugar_cups\": \"13/16\", \"liquid_cups\": \"41/64\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"5/16\", \"level\": 3, \"liquid_cups\": \"41/64\", \"oven_f\": 375, \"sugar_cups\": \"13/16\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.263,"exit_code":1,"observations":[{"actual":{"baking_powder_tsp":"1","level":0,"liquid_cups":"1","oven_f":350,"sugar_cups":"1"},"check":"sea level","expected":{"baking_powder_tsp":"1","level":0,"liquid_cups":"1","oven_f":350,"sugar_cups":"1"},"passed":true},{"actual":{"baking_powder_tsp":"7/4","level":1,"liquid_cups":"35/32","oven_f":365,"sugar_cups":"15/16"},"check":"threshold 3000","expected":{"baking_powder_tsp":"7/4","level":1,"liquid_cups":"35/32","oven_f":365,"sugar_cups":"15/16"},"passed":true},{"actual":{"baking_powder_tsp":"3/4","level":2,"liquid_cups":"19/32","oven_f":405,"sugar_cups":"7/4"},"check":"level two","expected":{"baking_powder_tsp":"3/4","level":2,"liquid_cups":"19/32","oven_f":390,"sugar_cups":"7/4"},"passed":false},{"actual":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"41/64","oven_f":395,"sugar_cups":"39/64"},"check":"regression: oven temperature bump","expected":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"41/64","oven_f":375,"sugar_cups":"39/64"},"passed":false},{"actual":{"baking_powder_tsp":"3/4","level":2,"liquid_cups":"19/16","oven_f":355,"sugar_cups":"21/32"},"check":"repair check: oven temperature bump","expected":{"baking_powder_tsp":"3/4","level":2,"liquid_cups":"19/16","oven_f":340,"sugar_cups":"21/32"},"passed":false},{"actual":{"baking_powder_tsp":"3/2","level":0,"liquid_cups":"4/3","oven_f":325,"sugar_cups":"3/4"},"check":"generated control 1","expected":{"baking_powder_tsp":"3/2","level":0,"liquid_cups":"4/3","oven_f":325,"sugar_cups":"3/4"},"passed":true},{"actual":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"105/128","oven_f":390,"sugar_cups":"15/16"},"check":"generated control 2","expected":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"105/128","oven_f":390,"sugar_cups":"15/16"},"passed":true},{"actual":{"baking_powder_tsp":"5/16","level":3,"liquid_cups":"41/64","oven_f":395,"sugar_cups":"13/16"},"check":"generated control 3","expected":{"baking_powder_tsp":"5/16","level":3,"liquid_cups":"41/64","oven_f":375,"sugar_cups":"13/16"},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sea level\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"1\", \"sugar_cups\": \"1\", \"liquid_cups\": \"1\", \"oven_f\": 350}, \"expected\": {\"baking_powder_tsp\": \"1\", \"level\": 0, \"liquid_cups\": \"1\", \"oven_f\": 350, \"sugar_cups\": \"1\"}, \"passed\": true}, {\"check\": \"threshold 3000\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"7/4\", \"sugar_cups\": \"15/16\", \"liquid_cups\": \"35/32\", \"oven_f\": 365}, \"expected\": {\"baking_powder_tsp\": \"7/4\", \"level\": 1, \"liquid_cups\": \"35/32\", \"oven_f\": 365, \"sugar_cups\": \"15/16\"}, \"passed\": true}, {\"check\": \"level two\", \"actual\": {\"level\": 2, \"baking_powder_tsp\": \"3/4\", \"sugar_cups\": \"7/4\", \"liquid_cups\": \"19/32\", \"oven_f\": 405}, \"expected\": {\"baking_powder_tsp\": \"3/4\", \"level\": 2, \"liquid_cups\": \"19/32\", \"oven_f\": 390, \"sugar_cups\": \"7/4\"}, \"passed\": false}, {\"check\": \"regression: oven temperature bump\", \"actual\": {\"level\": 3, \"baking_powder_tsp\": \"5/4\", \"sugar_cups\": \"39/64\", \"liquid_cups\": \"41/64\", \"oven_f\": 395}, \"expected\": {\"baking_powder_tsp\": \"5/4\", \"level\": 3, \"liquid_cups\": \"41/64\", \"oven_f\": 375, \"sugar_cups\": \"39/64\"}, \"passed\": false}, {\"check\": \"repair check: oven temperature bump\", \"actual\": {\"level\": 2, \"baking_powder_tsp\": \"3/4\", \"sugar_cups\": \"21/32\", \"liquid_cups\": \"19/16\", \"oven_f\": 355}, \"expected\": {\"baking_powder_tsp\": \"3/4\", \"level\": 2, \"liquid_cups\": \"19/16\", \"oven_f\": 340, \"sugar_cups\": \"21/32\"}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"3/2\", \"sugar_cups\": \"3/4\", \"liquid_cups\": \"4/3\", \"oven_f\": 325}, \"expected\": {\"baking_powder_tsp\": \"3/2\", \"level\": 0, \"liquid_cups\": \"4/3\", \"oven_f\": 325, \"sugar_cups\": \"3/4\"}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"7/8\", \"sugar_cups\": \"15/16\", \"liquid_cups\": \"105/128\", \"oven_f\": 390}, \"expected\": {\"baking_powder_tsp\": \"7/8\", \"level\": 1, \"liquid_cups\": \"105/128\", \"oven_f\": 390, \"sugar_cups\": \"15/16\"}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"level\": 3, \"baking_powder_tsp\": \"5/16\", \"sugar_cups\": \"13/16\", \"liquid_cups\": \"41/64\", \"oven_f\": 395}, \"expected\": {\"baking_powder_tsp\": \"5/16\", \"level\": 3, \"liquid_cups\": \"41/64\", \"oven_f\": 375, \"sugar_cups\": \"13/16\"}, \"passed\": false}], \"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."}}