{"abstract":"Two teaspoons of baking powder at level 2 lose only 1/4 tsp.","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":"Applying a single 1/8 reduction ignores the level and also changes sea-level recipes.","family":"w2-recipe_scaling_and_nutrition-high-altitude-baking-leavening-reduction","id":"FA-97091","implementations":{"attempt":{"sha256":"a8cc3e24cbc808b262451cdc1424cafaa5728665ce4be121b3d558cd33529596","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(1, 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 == 3 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: leavening reduction',\n   [7000, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '41/24', 'oven_f': 375, 'sugar_cups': '13/8'}],\n  ['repair check: leavening reduction',\n   [1500, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '2', 'level': 0, 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n  ['generated control 1',\n   [3000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 340, 'sugar_cups': '15/32'}],\n  ['generated control 2',\n   [3500, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '45/64'}],\n  ['generated control 3',\n   [0, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}]],\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: leavening reduction',\n   [3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '4/3', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 365, 'sugar_cups': '15/8'}],\n  ['repair check: leavening reduction',\n   [2999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'}],\n  ['generated control 1',\n   [3500, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 365, 'sugar_cups': '45/64'}],\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   [4999, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 390, 'sugar_cups': '15/8'}]],\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: leavening reduction',\n   [5000, {'baking_powder_tsp': '1/2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/12', 'oven_f': 390, 'sugar_cups': '7/16'}],\n  ['repair check: leavening reduction',\n   [2999, {'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 1',\n   [4999, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '21/16',\n    'level': 1,\n    'liquid_cups': '105/128',\n    'oven_f': 365,\n    'sugar_cups': '45/64'}],\n  ['generated control 2',\n   [6500, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 390, 'sugar_cups': '7/16'}],\n  ['generated control 3',\n   [0, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}]],\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: leavening reduction',\n   [5000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 340, 'sugar_cups': '7/4'}],\n  ['repair check: leavening reduction',\n   [6500, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '19/12', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['generated control 1',\n   [0, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '2'}],\n  ['generated control 2',\n   [2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n  ['generated control 3',\n   [7000, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '41/64', 'oven_f': 400, '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  ['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: leavening reduction',\n   [5000, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/4'}],\n  ['repair check: leavening reduction',\n   [6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/4'}],\n  ['generated control 1',\n   [3500, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '21/16',\n    'level': 1,\n    'liquid_cups': '105/128',\n    'oven_f': 340,\n    'sugar_cups': '15/16'}],\n  ['generated control 2',\n   [6999, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '19/12', 'oven_f': 365, 'sugar_cups': '7/8'}],\n  ['generated control 3',\n   [2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '2'}]]]\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":"19d77aca61b16d38b222aa91818042418a899d38b4ffb0309c01ed0ac70223d3","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 - 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 == 3 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: leavening reduction',\n   [7000, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '41/24', 'oven_f': 375, 'sugar_cups': '13/8'}],\n  ['repair check: leavening reduction',\n   [1500, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '2', 'level': 0, 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n  ['generated control 1',\n   [3000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 340, 'sugar_cups': '15/32'}],\n  ['generated control 2',\n   [3500, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '45/64'}],\n  ['generated control 3',\n   [0, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}]],\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: leavening reduction',\n   [3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '4/3', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 365, 'sugar_cups': '15/8'}],\n  ['repair check: leavening reduction',\n   [2999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'}],\n  ['generated control 1',\n   [3500, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 365, 'sugar_cups': '45/64'}],\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   [4999, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 390, 'sugar_cups': '15/8'}]],\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: leavening reduction',\n   [5000, {'baking_powder_tsp': '1/2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/12', 'oven_f': 390, 'sugar_cups': '7/16'}],\n  ['repair check: leavening reduction',\n   [2999, {'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 1',\n   [4999, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '21/16',\n    'level': 1,\n    'liquid_cups': '105/128',\n    'oven_f': 365,\n    'sugar_cups': '45/64'}],\n  ['generated control 2',\n   [6500, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 390, 'sugar_cups': '7/16'}],\n  ['generated control 3',\n   [0, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}]],\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: leavening reduction',\n   [5000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 340, 'sugar_cups': '7/4'}],\n  ['repair check: leavening reduction',\n   [6500, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '19/12', 'oven_f': 390, 'sugar_cups': '7/4'}],\n  ['generated control 1',\n   [0, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '2'}],\n  ['generated control 2',\n   [2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n  ['generated control 3',\n   [7000, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '41/64', 'oven_f': 400, '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  ['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: leavening reduction',\n   [5000, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/4'}],\n  ['repair check: leavening reduction',\n   [6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/4'}],\n  ['generated control 1',\n   [3500, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '21/16',\n    'level': 1,\n    'liquid_cups': '105/128',\n    'oven_f': 340,\n    'sugar_cups': '15/16'}],\n  ['generated control 2',\n   [6999, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '19/12', 'oven_f': 365, 'sugar_cups': '7/8'}],\n  ['generated control 3',\n   [2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '2'}]]]\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-leavening-reduction","generated_at":"2026-09-29T14:52:28.816106+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":"Leavening is reduced by an absolute 1/8 tsp per level instead of 1/8 of the amount per level.","sha256":"d659d4a1f43b9d895d5ae873cd857a4ffae95d543b488c11477b3a3423c7d122","title":"High-altitude baking adjuster: leavening reduction · 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":43.194,"exit_code":1,"observations":[{"actual":{"baking_powder_tsp":"7/8","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":false},{"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":"7/8","level":2,"liquid_cups":"19/32","oven_f":390,"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":"7/4","level":3,"liquid_cups":"41/24","oven_f":375,"sugar_cups":"13/8"},"check":"regression: leavening reduction","expected":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"41/24","oven_f":375,"sugar_cups":"13/8"},"passed":false},{"actual":{"baking_powder_tsp":"7/4","level":0,"liquid_cups":"3/4","oven_f":375,"sugar_cups":"1"},"check":"repair check: leavening reduction","expected":{"baking_powder_tsp":"2","level":0,"liquid_cups":"3/4","oven_f":375,"sugar_cups":"1"},"passed":false},{"actual":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"35/64","oven_f":340,"sugar_cups":"15/32"},"check":"generated control 1","expected":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"35/64","oven_f":340,"sugar_cups":"15/32"},"passed":true},{"actual":{"baking_powder_tsp":"21/16","level":1,"liquid_cups":"35/32","oven_f":365,"sugar_cups":"45/64"},"check":"generated control 2","expected":{"baking_powder_tsp":"21/16","level":1,"liquid_cups":"35/32","oven_f":365,"sugar_cups":"45/64"},"passed":true},{"actual":{"baking_powder_tsp":"21/16","level":0,"liquid_cups":"1/2","oven_f":325,"sugar_cups":"1/2"},"check":"generated control 3","expected":{"baking_powder_tsp":"3/2","level":0,"liquid_cups":"1/2","oven_f":325,"sugar_cups":"1/2"},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sea level\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"7/8\", \"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\": false}, {\"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\": \"7/8\", \"sugar_cups\": \"7/4\", \"liquid_cups\": \"19/32\", \"oven_f\": 390}, \"expected\": {\"baking_powder_tsp\": \"3/4\", \"level\": 2, \"liquid_cups\": \"19/32\", \"oven_f\": 390, \"sugar_cups\": \"7/4\"}, \"passed\": false}, {\"check\": \"regression: leavening reduction\", \"actual\": {\"level\": 3, \"baking_powder_tsp\": \"7/4\", \"sugar_cups\": \"13/8\", \"liquid_cups\": \"41/24\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"5/4\", \"level\": 3, \"liquid_cups\": \"41/24\", \"oven_f\": 375, \"sugar_cups\": \"13/8\"}, \"passed\": false}, {\"check\": \"repair check: leavening reduction\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"7/4\", \"sugar_cups\": \"1\", \"liquid_cups\": \"3/4\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"2\", \"level\": 0, \"liquid_cups\": \"3/4\", \"oven_f\": 375, \"sugar_cups\": \"1\"}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"7/8\", \"sugar_cups\": \"15/32\", \"liquid_cups\": \"35/64\", \"oven_f\": 340}, \"expected\": {\"baking_powder_tsp\": \"7/8\", \"level\": 1, \"liquid_cups\": \"35/64\", \"oven_f\": 340, \"sugar_cups\": \"15/32\"}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"21/16\", \"sugar_cups\": \"45/64\", \"liquid_cups\": \"35/32\", \"oven_f\": 365}, \"expected\": {\"baking_powder_tsp\": \"21/16\", \"level\": 1, \"liquid_cups\": \"35/32\", \"oven_f\": 365, \"sugar_cups\": \"45/64\"}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"21/16\", \"sugar_cups\": \"1/2\", \"liquid_cups\": \"1/2\", \"oven_f\": 325}, \"expected\": {\"baking_powder_tsp\": \"3/2\", \"level\": 0, \"liquid_cups\": \"1/2\", \"oven_f\": 325, \"sugar_cups\": \"1/2\"}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.483,"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":"15/8","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":false},{"actual":{"baking_powder_tsp":"3/4","level":2,"liquid_cups":"19/32","oven_f":390,"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":true},{"actual":{"baking_powder_tsp":"13/8","level":3,"liquid_cups":"41/24","oven_f":375,"sugar_cups":"13/8"},"check":"regression: leavening reduction","expected":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"41/24","oven_f":375,"sugar_cups":"13/8"},"passed":false},{"actual":{"baking_powder_tsp":"2","level":0,"liquid_cups":"3/4","oven_f":375,"sugar_cups":"1"},"check":"repair check: leavening reduction","expected":{"baking_powder_tsp":"2","level":0,"liquid_cups":"3/4","oven_f":375,"sugar_cups":"1"},"passed":true},{"actual":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"35/64","oven_f":340,"sugar_cups":"15/32"},"check":"generated control 1","expected":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"35/64","oven_f":340,"sugar_cups":"15/32"},"passed":true},{"actual":{"baking_powder_tsp":"11/8","level":1,"liquid_cups":"35/32","oven_f":365,"sugar_cups":"45/64"},"check":"generated control 2","expected":{"baking_powder_tsp":"21/16","level":1,"liquid_cups":"35/32","oven_f":365,"sugar_cups":"45/64"},"passed":false},{"actual":{"baking_powder_tsp":"3/2","level":0,"liquid_cups":"1/2","oven_f":325,"sugar_cups":"1/2"},"check":"generated control 3","expected":{"baking_powder_tsp":"3/2","level":0,"liquid_cups":"1/2","oven_f":325,"sugar_cups":"1/2"},"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\": \"15/8\", \"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\": false}, {\"check\": \"level two\", \"actual\": {\"level\": 2, \"baking_powder_tsp\": \"3/4\", \"sugar_cups\": \"7/4\", \"liquid_cups\": \"19/32\", \"oven_f\": 390}, \"expected\": {\"baking_powder_tsp\": \"3/4\", \"level\": 2, \"liquid_cups\": \"19/32\", \"oven_f\": 390, \"sugar_cups\": \"7/4\"}, \"passed\": true}, {\"check\": \"regression: leavening reduction\", \"actual\": {\"level\": 3, \"baking_powder_tsp\": \"13/8\", \"sugar_cups\": \"13/8\", \"liquid_cups\": \"41/24\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"5/4\", \"level\": 3, \"liquid_cups\": \"41/24\", \"oven_f\": 375, \"sugar_cups\": \"13/8\"}, \"passed\": false}, {\"check\": \"repair check: leavening reduction\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"2\", \"sugar_cups\": \"1\", \"liquid_cups\": \"3/4\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"2\", \"level\": 0, \"liquid_cups\": \"3/4\", \"oven_f\": 375, \"sugar_cups\": \"1\"}, \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"7/8\", \"sugar_cups\": \"15/32\", \"liquid_cups\": \"35/64\", \"oven_f\": 340}, \"expected\": {\"baking_powder_tsp\": \"7/8\", \"level\": 1, \"liquid_cups\": \"35/64\", \"oven_f\": 340, \"sugar_cups\": \"15/32\"}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"11/8\", \"sugar_cups\": \"45/64\", \"liquid_cups\": \"35/32\", \"oven_f\": 365}, \"expected\": {\"baking_powder_tsp\": \"21/16\", \"level\": 1, \"liquid_cups\": \"35/32\", \"oven_f\": 365, \"sugar_cups\": \"45/64\"}, \"passed\": false}, {\"check\": \"generated control 3\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"3/2\", \"sugar_cups\": \"1/2\", \"liquid_cups\": \"1/2\", \"oven_f\": 325}, \"expected\": {\"baking_powder_tsp\": \"3/2\", \"level\": 0, \"liquid_cups\": \"1/2\", \"oven_f\": 325, \"sugar_cups\": \"1/2\"}, \"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."}}