FA-97086 / Recipe scaling and nutrition / Open access
High-altitude baking adjuster: first altitude threshold · case 01
A kitchen at exactly 3000 ft gets no adjustment.
ROOT CAUSE
The level-0 band includes 3000 ft.
VERIFIED REPAIR
Start level 1 at 3000 ft.
Unsuccessful approach: Moving the threshold to 3500 ft leaves 3000-3499 ft unadjusted.
Case 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.
Why this case matters
Cake and quick-bread recipes need leavening, sugar, liquid and temperature changes at elevation.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(altitude_ft, recipe):
if altitude_ft <= 3000:
level = 0
elif altitude_ft < 5000:
level = 1
elif altitude_ft < 7000:
level = 2
else:
level = 3
bp = Fraction(recipe['baking_powder_tsp'])
sugar = Fraction(recipe['sugar_cups'])
liquid = Fraction(recipe['liquid_cups'])
bp = bp * (1 - Fraction(level, 8))
sugar = sugar * (1 - Fraction(level, 16))
liquid = liquid * (1 + Fraction(3 * level, 32))
oven = recipe['oven_f'] + (0 if level == 0 else 25 if level == 3 else 15)
return {'level': level, 'baking_powder_tsp': str(bp), 'sugar_cups': str(sugar),
'liquid_cups': str(liquid), 'oven_f': oven}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/32'}],
['generated control 1',
[7000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '2'}],
{'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'}],
['generated control 2',
[6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'}],
['generated control 3',
[3500, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}]],
[['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 390, 'sugar_cups': '15/8'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/16'}],
['generated control 1',
[3500, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/32'}],
['generated control 2',
[6500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/16'}],
['generated control 3',
[1500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}]],
[['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],
['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '2'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 365, 'sugar_cups': '15/8'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 340, 'sugar_cups': '15/16'}],
['generated control 1',
[6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/4'}],
['generated control 2',
[5000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 390, 'sugar_cups': '7/8'}],
['generated control 3',
[5000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/8'}]],
[['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],
['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/8'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 340, 'sugar_cups': '15/16'}],
['generated control 1',
[0, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],
['generated control 2',
[9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '15/16',
'level': 3,
'liquid_cups': '123/128',
'oven_f': 375,
'sugar_cups': '13/32'}],
['generated control 3',
[5000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '9/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 340, 'sugar_cups': '7/8'}]],
[['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 390, 'sugar_cups': '45/64'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 340, 'sugar_cups': '45/64'}],
['generated control 1',
[9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '15/16', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 350, 'sugar_cups': '13/16'}],
['generated control 2',
[5000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 340, 'sugar_cups': '7/4'}],
['generated control 3',
[2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}]]]
for label, args, expected in fixtures[N - 1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| sea level | {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'} | {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'} | Passed |
| threshold 3000 | {'baking_powder_tsp': '2', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'} | {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'} | Failed |
| level two | {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'} | {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'} | Passed |
| regression: first altitude threshold | {'baking_powder_tsp': '2', 'level': 0, 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'} | {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | Failed |
| repair check: first altitude threshold | {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'} | {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/32'} | Failed |
| generated control 1 | {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'} | {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'} | Passed |
| generated control 2 | {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'} | {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'} | Passed |
| generated control 3 | {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | Passed |
SHA-256 / df34df70051e7ac3e92512f44710b2f950d150a4c9efd242fcc03a3a8c8e35aa
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(altitude_ft, recipe):
if altitude_ft < 3500:
level = 0
elif altitude_ft < 5000:
level = 1
elif altitude_ft < 7000:
level = 2
else:
level = 3
bp = Fraction(recipe['baking_powder_tsp'])
sugar = Fraction(recipe['sugar_cups'])
liquid = Fraction(recipe['liquid_cups'])
bp = bp * (1 - Fraction(level, 8))
sugar = sugar * (1 - Fraction(level, 16))
liquid = liquid * (1 + Fraction(3 * level, 32))
oven = recipe['oven_f'] + (0 if level == 0 else 25 if level == 3 else 15)
return {'level': level, 'baking_powder_tsp': str(bp), 'sugar_cups': str(sugar),
'liquid_cups': str(liquid), 'oven_f': oven}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/32'}],
['generated control 1',
[7000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '2'}],
{'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'}],
['generated control 2',
[6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'}],
['generated control 3',
[3500, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}]],
[['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 390, 'sugar_cups': '15/8'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/16'}],
['generated control 1',
[3500, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/32'}],
['generated control 2',
[6500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/16'}],
['generated control 3',
[1500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}]],
[['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],
['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '2'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 365, 'sugar_cups': '15/8'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 340, 'sugar_cups': '15/16'}],
['generated control 1',
[6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/4'}],
['generated control 2',
[5000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 390, 'sugar_cups': '7/8'}],
['generated control 3',
[5000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/8'}]],
[['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],
['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/8'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 340, 'sugar_cups': '15/16'}],
['generated control 1',
[0, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],
['generated control 2',
[9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '15/16',
'level': 3,
'liquid_cups': '123/128',
'oven_f': 375,
'sugar_cups': '13/32'}],
['generated control 3',
[5000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '9/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 340, 'sugar_cups': '7/8'}]],
[['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 390, 'sugar_cups': '45/64'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 340, 'sugar_cups': '45/64'}],
['generated control 1',
[9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '15/16', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 350, 'sugar_cups': '13/16'}],
['generated control 2',
[5000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 340, 'sugar_cups': '7/4'}],
['generated control 3',
[2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}]]]
for label, args, expected in fixtures[N - 1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| sea level | {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'} | {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'} | Passed |
| threshold 3000 | {'baking_powder_tsp': '2', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'} | {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'} | Failed |
| level two | {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'} | {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'} | Passed |
| regression: first altitude threshold | {'baking_powder_tsp': '2', 'level': 0, 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'} | {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | Failed |
| repair check: first altitude threshold | {'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'} | {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/32'} | Failed |
| generated control 1 | {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'} | {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'} | Passed |
| generated control 2 | {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'} | {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'} | Passed |
| generated control 3 | {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | Passed |
SHA-256 / e62b4a1eb8d8dff12e0e3f2af61f31ceb9eca674136151182cfad1e046fee521
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(altitude_ft, recipe):
if altitude_ft < 3000:
level = 0
elif altitude_ft < 5000:
level = 1
elif altitude_ft < 7000:
level = 2
else:
level = 3
bp = Fraction(recipe['baking_powder_tsp'])
sugar = Fraction(recipe['sugar_cups'])
liquid = Fraction(recipe['liquid_cups'])
bp = bp * (1 - Fraction(level, 8))
sugar = sugar * (1 - Fraction(level, 16))
liquid = liquid * (1 + Fraction(3 * level, 32))
oven = recipe['oven_f'] + (0 if level == 0 else 25 if level == 3 else 15)
return {'level': level, 'baking_powder_tsp': str(bp), 'sugar_cups': str(sugar),
'liquid_cups': str(liquid), 'oven_f': oven}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '2', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/32'}],
['generated control 1',
[7000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '2'}],
{'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'}],
['generated control 2',
[6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'}],
['generated control 3',
[3500, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'}]],
[['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 390, 'sugar_cups': '15/8'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '4/3', 'oven_f': 375, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/16'}],
['generated control 1',
[3500, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/32'}],
['generated control 2',
[6500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/16'}],
['generated control 3',
[1500, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}]],
[['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],
['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '2'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 365, 'sugar_cups': '15/8'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 340, 'sugar_cups': '15/16'}],
['generated control 1',
[6999, {'baking_powder_tsp': '1/2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/4'}],
['generated control 2',
[5000, {'baking_powder_tsp': '1', 'liquid_cups': '3/4', 'oven_f': 375, 'sugar_cups': '1'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 390, 'sugar_cups': '7/8'}],
['generated control 3',
[5000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 365, 'sugar_cups': '7/8'}]],
[['mountain', [8000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '5/8', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 375, 'sugar_cups': '13/16'}],
['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/8'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '21/16', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 340, 'sugar_cups': '15/16'}],
['generated control 1',
[0, {'baking_powder_tsp': '1/2', 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '1/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 325, 'sugar_cups': '3/4'}],
['generated control 2',
[9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '3/4', 'oven_f': 350, 'sugar_cups': '1/2'}],
{'baking_powder_tsp': '15/16',
'level': 3,
'liquid_cups': '123/128',
'oven_f': 375,
'sugar_cups': '13/32'}],
['generated control 3',
[5000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '9/8', 'level': 2, 'liquid_cups': '19/16', 'oven_f': 340, 'sugar_cups': '7/8'}]],
[['sea level', [0, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
['threshold 3000', [3000, {'baking_powder_tsp': '2', 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'}],
['level two', [5000, {'baking_powder_tsp': '1', 'liquid_cups': '1/2', 'oven_f': 375, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'}],
['regression: first altitude threshold',
[3000, {'baking_powder_tsp': '1', 'liquid_cups': '1', 'oven_f': 375, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 390, 'sugar_cups': '45/64'}],
['repair check: first altitude threshold',
[3000, {'baking_powder_tsp': '1/2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '3/4'}],
{'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '105/128', 'oven_f': 340, 'sugar_cups': '45/64'}],
['generated control 1',
[9000, {'baking_powder_tsp': '3/2', 'liquid_cups': '1', 'oven_f': 325, 'sugar_cups': '1'}],
{'baking_powder_tsp': '15/16', 'level': 3, 'liquid_cups': '41/32', 'oven_f': 350, 'sugar_cups': '13/16'}],
['generated control 2',
[5000, {'baking_powder_tsp': '2', 'liquid_cups': '3/4', 'oven_f': 325, 'sugar_cups': '2'}],
{'baking_powder_tsp': '3/2', 'level': 2, 'liquid_cups': '57/64', 'oven_f': 340, 'sugar_cups': '7/4'}],
['generated control 3',
[2999, {'baking_powder_tsp': '3/2', 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}],
{'baking_powder_tsp': '3/2', 'level': 0, 'liquid_cups': '1/2', 'oven_f': 350, 'sugar_cups': '1'}]]]
for label, args, expected in fixtures[N - 1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| sea level | {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'} | {'baking_powder_tsp': '1', 'level': 0, 'liquid_cups': '1', 'oven_f': 350, 'sugar_cups': '1'} | Passed |
| threshold 3000 | {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'} | {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/32', 'oven_f': 365, 'sugar_cups': '15/16'} | Passed |
| level two | {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'} | {'baking_powder_tsp': '3/4', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 390, 'sugar_cups': '7/4'} | Passed |
| regression: first altitude threshold | {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | {'baking_powder_tsp': '7/4', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | Passed |
| repair check: first altitude threshold | {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/32'} | {'baking_powder_tsp': '7/16', 'level': 1, 'liquid_cups': '35/64', 'oven_f': 390, 'sugar_cups': '15/32'} | Passed |
| generated control 1 | {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'} | {'baking_powder_tsp': '5/4', 'level': 3, 'liquid_cups': '123/128', 'oven_f': 375, 'sugar_cups': '13/8'} | Passed |
| generated control 2 | {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'} | {'baking_powder_tsp': '3/8', 'level': 2, 'liquid_cups': '19/32', 'oven_f': 340, 'sugar_cups': '7/16'} | Passed |
| generated control 3 | {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | {'baking_powder_tsp': '7/8', 'level': 1, 'liquid_cups': '35/24', 'oven_f': 390, 'sugar_cups': '15/32'} | Passed |
SHA-256 / 6a34552de9f1885744b4f48b91c6261add8789f212ca3384839158d993ad6004
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:52:28.678275+00:00.
Case digest / 912b8a6a24e783d68336a0a7b0c1235e602bdbb3c4a6bdd7a671e3cfbf5ac23c