{"abstract":"A kitchen at exactly 3000 ft gets no adjustment.","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":"Moving the threshold to 3500 ft leaves 3000-3499 ft unadjusted.","family":"w2-recipe_scaling_and_nutrition-high-altitude-baking-first-altitude-threshold","id":"FA-97086","implementations":{"attempt":{"sha256":"e62b4a1eb8d8dff12e0e3f2af61f31ceb9eca674136151182cfad1e046fee521","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 < 3500:\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 == 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: first altitude threshold',\n   [3000, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}],\n  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/32'}],\n  ['generated control 1',\n   [7000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'}],\n  ['generated control 2',\n   [6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'}],\n  ['generated control 3',\n   [3500, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}]],\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: first altitude threshold',\n   [3000, {'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  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/16'}],\n  ['generated control 1',\n   [3500, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/32'}],\n  ['generated control 2',\n   [6500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/16'}],\n  ['generated control 3',\n   [1500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}]],\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: first altitude threshold',\n   [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 365, 'sugar_cups': '15/8'}],\n  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 340, 'sugar_cups': '15/16'}],\n  ['generated control 1',\n   [6999, {'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  ['generated control 2',\n   [5000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 390, 'sugar_cups': '7/8'}],\n  ['generated control 3',\n   [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/8'}]],\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: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/8'}],\n  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 340, 'sugar_cups': '15/16'}],\n  ['generated control 1',\n   [0, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],\n  ['generated control 2',\n   [9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '15/16',\n    'level': 3,\n    'liquid_cups': '123/128',\n    'oven_f': 375,\n    'sugar_cups': '13/32'}],\n  ['generated control 3',\n   [5000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '9/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 340, 'sugar_cups': '7/8'}]],\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: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 390, 'sugar_cups': '45/64'}],\n  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 340, 'sugar_cups': '45/64'}],\n  ['generated control 1',\n   [9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '15/16', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 350, 'sugar_cups': '13/16'}],\n  ['generated control 2',\n   [5000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 340, 'sugar_cups': '7/4'}],\n  ['generated control 3',\n   [2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 350, '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":"df34df70051e7ac3e92512f44710b2f950d150a4c9efd242fcc03a3a8c8e35aa","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 == 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: first altitude threshold',\n   [3000, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}],\n  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/32'}],\n  ['generated control 1',\n   [7000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'}],\n  ['generated control 2',\n   [6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'}],\n  ['generated control 3',\n   [3500, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}]],\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: first altitude threshold',\n   [3000, {'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  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/16'}],\n  ['generated control 1',\n   [3500, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/32'}],\n  ['generated control 2',\n   [6500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/16'}],\n  ['generated control 3',\n   [1500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}]],\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: first altitude threshold',\n   [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 365, 'sugar_cups': '15/8'}],\n  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 340, 'sugar_cups': '15/16'}],\n  ['generated control 1',\n   [6999, {'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  ['generated control 2',\n   [5000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 390, 'sugar_cups': '7/8'}],\n  ['generated control 3',\n   [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/8'}]],\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: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/8'}],\n  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 340, 'sugar_cups': '15/16'}],\n  ['generated control 1',\n   [0, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],\n  ['generated control 2',\n   [9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '1/2'}],\n   {'baking_powder_tsp': '15/16',\n    'level': 3,\n    'liquid_cups': '123/128',\n    'oven_f': 375,\n    'sugar_cups': '13/32'}],\n  ['generated control 3',\n   [5000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '9/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 340, 'sugar_cups': '7/8'}]],\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: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 390, 'sugar_cups': '45/64'}],\n  ['repair check: first altitude threshold',\n   [3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '3/4'}],\n   {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 340, 'sugar_cups': '45/64'}],\n  ['generated control 1',\n   [9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '15/16', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 350, 'sugar_cups': '13/16'}],\n  ['generated control 2',\n   [5000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '2'}],\n   {'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 340, 'sugar_cups': '7/4'}],\n  ['generated control 3',\n   [2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}],\n   {'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 350, '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-first-altitude-threshold","generated_at":"2026-09-29T14:52:28.678275+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 level-0 band includes 3000 ft.","sha256":"3a4863428c6bd2bbc19a41d314a9db06a80b916f6148af5686ee332ca6cd4e9d","title":"High-altitude baking adjuster: first altitude threshold · 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.847,"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":"2","level":0,"liquid_cups":"1","oven_f":350,"sugar_cups":"1"},"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":"2","level":0,"liquid_cups":"4/3","oven_f":375,"sugar_cups":"1/2"},"check":"regression: first altitude threshold","expected":{"baking_powder_tsp":"7/4","level":1,"liquid_cups":"35/24","oven_f":390,"sugar_cups":"15/32"},"passed":false},{"actual":{"baking_powder_tsp":"1/2","level":0,"liquid_cups":"1/2","oven_f":375,"sugar_cups":"1/2"},"check":"repair check: first altitude threshold","expected":{"baking_powder_tsp":"7/16","level":1,"liquid_cups":"35/64","oven_f":390,"sugar_cups":"15/32"},"passed":false},{"actual":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"123/128","oven_f":375,"sugar_cups":"13/8"},"check":"generated control 1","expected":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"123/128","oven_f":375,"sugar_cups":"13/8"},"passed":true},{"actual":{"baking_powder_tsp":"3/8","level":2,"liquid_cups":"19/32","oven_f":340,"sugar_cups":"7/16"},"check":"generated control 2","expected":{"baking_powder_tsp":"3/8","level":2,"liquid_cups":"19/32","oven_f":340,"sugar_cups":"7/16"},"passed":true},{"actual":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"35/24","oven_f":390,"sugar_cups":"15/32"},"check":"generated control 3","expected":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"35/24","oven_f":390,"sugar_cups":"15/32"},"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\": 0, \"baking_powder_tsp\": \"2\", \"sugar_cups\": \"1\", \"liquid_cups\": \"1\", \"oven_f\": 350}, \"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: first altitude threshold\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"2\", \"sugar_cups\": \"1/2\", \"liquid_cups\": \"4/3\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"7/4\", \"level\": 1, \"liquid_cups\": \"35/24\", \"oven_f\": 390, \"sugar_cups\": \"15/32\"}, \"passed\": false}, {\"check\": \"repair check: first altitude threshold\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"1/2\", \"sugar_cups\": \"1/2\", \"liquid_cups\": \"1/2\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"7/16\", \"level\": 1, \"liquid_cups\": \"35/64\", \"oven_f\": 390, \"sugar_cups\": \"15/32\"}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"level\": 3, \"baking_powder_tsp\": \"5/4\", \"sugar_cups\": \"13/8\", \"liquid_cups\": \"123/128\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"5/4\", \"level\": 3, \"liquid_cups\": \"123/128\", \"oven_f\": 375, \"sugar_cups\": \"13/8\"}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"level\": 2, \"baking_powder_tsp\": \"3/8\", \"sugar_cups\": \"7/16\", \"liquid_cups\": \"19/32\", \"oven_f\": 340}, \"expected\": {\"baking_powder_tsp\": \"3/8\", \"level\": 2, \"liquid_cups\": \"19/32\", \"oven_f\": 340, \"sugar_cups\": \"7/16\"}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"7/8\", \"sugar_cups\": \"15/32\", \"liquid_cups\": \"35/24\", \"oven_f\": 390}, \"expected\": {\"baking_powder_tsp\": \"7/8\", \"level\": 1, \"liquid_cups\": \"35/24\", \"oven_f\": 390, \"sugar_cups\": \"15/32\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.271,"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":"2","level":0,"liquid_cups":"1","oven_f":350,"sugar_cups":"1"},"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":"2","level":0,"liquid_cups":"4/3","oven_f":375,"sugar_cups":"1/2"},"check":"regression: first altitude threshold","expected":{"baking_powder_tsp":"7/4","level":1,"liquid_cups":"35/24","oven_f":390,"sugar_cups":"15/32"},"passed":false},{"actual":{"baking_powder_tsp":"1/2","level":0,"liquid_cups":"1/2","oven_f":375,"sugar_cups":"1/2"},"check":"repair check: first altitude threshold","expected":{"baking_powder_tsp":"7/16","level":1,"liquid_cups":"35/64","oven_f":390,"sugar_cups":"15/32"},"passed":false},{"actual":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"123/128","oven_f":375,"sugar_cups":"13/8"},"check":"generated control 1","expected":{"baking_powder_tsp":"5/4","level":3,"liquid_cups":"123/128","oven_f":375,"sugar_cups":"13/8"},"passed":true},{"actual":{"baking_powder_tsp":"3/8","level":2,"liquid_cups":"19/32","oven_f":340,"sugar_cups":"7/16"},"check":"generated control 2","expected":{"baking_powder_tsp":"3/8","level":2,"liquid_cups":"19/32","oven_f":340,"sugar_cups":"7/16"},"passed":true},{"actual":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"35/24","oven_f":390,"sugar_cups":"15/32"},"check":"generated control 3","expected":{"baking_powder_tsp":"7/8","level":1,"liquid_cups":"35/24","oven_f":390,"sugar_cups":"15/32"},"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\": 0, \"baking_powder_tsp\": \"2\", \"sugar_cups\": \"1\", \"liquid_cups\": \"1\", \"oven_f\": 350}, \"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: first altitude threshold\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"2\", \"sugar_cups\": \"1/2\", \"liquid_cups\": \"4/3\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"7/4\", \"level\": 1, \"liquid_cups\": \"35/24\", \"oven_f\": 390, \"sugar_cups\": \"15/32\"}, \"passed\": false}, {\"check\": \"repair check: first altitude threshold\", \"actual\": {\"level\": 0, \"baking_powder_tsp\": \"1/2\", \"sugar_cups\": \"1/2\", \"liquid_cups\": \"1/2\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"7/16\", \"level\": 1, \"liquid_cups\": \"35/64\", \"oven_f\": 390, \"sugar_cups\": \"15/32\"}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"level\": 3, \"baking_powder_tsp\": \"5/4\", \"sugar_cups\": \"13/8\", \"liquid_cups\": \"123/128\", \"oven_f\": 375}, \"expected\": {\"baking_powder_tsp\": \"5/4\", \"level\": 3, \"liquid_cups\": \"123/128\", \"oven_f\": 375, \"sugar_cups\": \"13/8\"}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"level\": 2, \"baking_powder_tsp\": \"3/8\", \"sugar_cups\": \"7/16\", \"liquid_cups\": \"19/32\", \"oven_f\": 340}, \"expected\": {\"baking_powder_tsp\": \"3/8\", \"level\": 2, \"liquid_cups\": \"19/32\", \"oven_f\": 340, \"sugar_cups\": \"7/16\"}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"level\": 1, \"baking_powder_tsp\": \"7/8\", \"sugar_cups\": \"15/32\", \"liquid_cups\": \"35/24\", \"oven_f\": 390}, \"expected\": {\"baking_powder_tsp\": \"7/8\", \"level\": 1, \"liquid_cups\": \"35/24\", \"oven_f\": 390, \"sugar_cups\": \"15/32\"}, \"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."}}