FAILURE MAP
← Case archive

FA-97046 / Recipe scaling and nutrition / Open access

Baking pan substitution: bake time damping · case 01

Batter 50% deeper bakes 50% longer instead of 25% longer.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Time scales fully with depth instead of by half of the depth change.

VERIFIED REPAIR

Adjust time by half of the depth change.

Unsuccessful approach: Refusing to shorten time for shallower batter overbakes thin layers.

Case contract

Pans: ["round", diameter], ["square", side], ["rect", w, l] in inches; other -> "error: pan". If scale_to_fill, return factor round(area_new/area_old, 2), same minutes, warning None. Otherwise the same batter goes into the new pan: depth ratio = area_old/area_new, minutes = bake_min*(1+(ratio-1)/2) rounded half-up to a multiple of 5, factor 1.0, warning "overflow risk" when ratio > 1.5 else None.

Why this case matters

Bakers swap pan shapes and must scale the batter or adjust bake time for batter depth.

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(old_pan, new_pan, bake_min, scale_to_fill):
    def area(p):
        if p[0] == 'round':
            return math.pi * (p[1] / 2) ** 2
        if p[0] == 'square':
            return p[1] * p[1]
        if p[0] == 'rect':
            return p[1] * p[2]
        return None
    a0, a1 = area(old_pan), area(new_pan)
    if not a0 or not a1:
        return 'error: pan'
    if scale_to_fill:
        return {'factor': round(a1 / a0, 2), 'minutes': bake_min, 'warning': None}
    depth = a0 / a1
    minutes = 5 * math.floor(bake_min * depth / 5 + 0.5)
    return {'factor': 1.0, 'minutes': minutes, 'warning': 'overflow risk' if depth > 1.5 else None}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['regression: bake time damping', [['round', 8], ['rect', 8, 15], 30, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}],
  ['repair check: bake time damping', [['square', 12], ['square', 12], 25, False],
   {'factor': 1.0, 'minutes': 25, 'warning': None}],
  ['generated control 1', [['round', 9], ['round', 6], 30, True],
   {'factor': 0.44, 'minutes': 30, 'warning': None}],
  ['generated control 2', [['round', 10], ['square', 12], 25, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}],
  ['generated control 3', [['square', 6], ['square', 6], 20, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}]],
 [['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['bad pan', [['bundt', 10], ['square', 8], 30, True], 'error: pan'],
  ['regression: bake time damping', [['rect', 9, 15], ['square', 9], 45, False],
   {'factor': 1.0, 'minutes': 60, 'warning': 'overflow risk'}],
  ['repair check: bake time damping', [['rect', 9, 15], ['square', 9], 20, False],
   {'factor': 1.0, 'minutes': 25, 'warning': 'overflow risk'}],
  ['generated control 1', [['rect', 9, 13], ['rect', 11, 13], 35, True],
   {'factor': 1.22, 'minutes': 35, 'warning': None}],
  ['generated control 2', [['rect', 9, 12], ['square', 12], 45, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['generated control 3', [['rect', 11, 12], ['square', 8], 25, True],
   {'factor': 0.48, 'minutes': 25, 'warning': None}]],
 [['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['bad pan', [['bundt', 10], ['square', 8], 30, True], 'error: pan'],
  ['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['regression: bake time damping', [['square', 12], ['rect', 9, 12], 30, False],
   {'factor': 1.0, 'minutes': 35, 'warning': None}],
  ['repair check: bake time damping', [['rect', 8, 12], ['square', 6], 35, False],
   {'factor': 1.0, 'minutes': 65, 'warning': 'overflow risk'}],
  ['generated control 1', [['round', 10], ['rect', 9, 15], 20, True],
   {'factor': 1.72, 'minutes': 20, 'warning': None}],
  ['generated control 2', [['square', 12], ['round', 8], 45, True],
   {'factor': 0.35, 'minutes': 45, 'warning': None}],
  ['generated control 3', [['rect', 9, 12], ['round', 12], 25, True],
   {'factor': 1.05, 'minutes': 25, 'warning': None}]],
 [['bad pan', [['bundt', 10], ['square', 8], 30, True], 'error: pan'],
  ['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['regression: bake time damping', [['square', 9], ['rect', 11, 12], 35, False],
   {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['repair check: bake time damping', [['round', 12], ['round', 9], 35, False],
   {'factor': 1.0, 'minutes': 50, 'warning': 'overflow risk'}],
  ['generated control 1', [['round', 12], ['rect', 8, 13], 30, True],
   {'factor': 0.92, 'minutes': 30, 'warning': None}],
  ['generated control 2', [['rect', 9, 15], ['rect', 11, 13], 25, True],
   {'factor': 1.06, 'minutes': 25, 'warning': None}],
  ['generated control 3', [['round', 10], ['square', 6], 45, True],
   {'factor': 0.46, 'minutes': 45, 'warning': None}]],
 [['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['regression: bake time damping', [['rect', 8, 13], ['rect', 8, 15], 30, False],
   {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['repair check: bake time damping', [['round', 10], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 25, 'warning': None}],
  ['generated control 1', [['round', 6], ['rect', 9, 15], 35, True],
   {'factor': 4.77, 'minutes': 35, 'warning': None}],
  ['generated control 2', [['round', 6], ['round', 6], 30, False],
   {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['generated control 3', [['round', 6], ['rect', 8, 13], 30, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}]]]
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 fixtureActualExpectedOutcome
same pan{'factor': 1.0, 'minutes': 30, 'warning': None}{'factor': 1.0, 'minutes': 30, 'warning': None}Passed
ratio exactly 1.5{'factor': 1.0, 'minutes': 45, 'warning': None}{'factor': 1.0, 'minutes': 40, 'warning': None}Failed
round to square fill{'factor': 1.27, 'minutes': 30, 'warning': None}{'factor': 1.27, 'minutes': 30, 'warning': None}Passed
regression: bake time damping{'factor': 1.0, 'minutes': 15, 'warning': None}{'factor': 1.0, 'minutes': 20, 'warning': None}Failed
repair check: bake time damping{'factor': 1.0, 'minutes': 25, 'warning': None}{'factor': 1.0, 'minutes': 25, 'warning': None}Passed
generated control 1{'factor': 0.44, 'minutes': 30, 'warning': None}{'factor': 0.44, 'minutes': 30, 'warning': None}Passed
generated control 2{'factor': 1.0, 'minutes': 15, 'warning': None}{'factor': 1.0, 'minutes': 20, 'warning': None}Failed
generated control 3{'factor': 1.0, 'minutes': 20, 'warning': None}{'factor': 1.0, 'minutes': 20, 'warning': None}Passed

SHA-256 / af8f0bf6207541e9b4a15de240b421e3a4e279b3e72010b1f84366fe9daecf46

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(old_pan, new_pan, bake_min, scale_to_fill):
    def area(p):
        if p[0] == 'round':
            return math.pi * (p[1] / 2) ** 2
        if p[0] == 'square':
            return p[1] * p[1]
        if p[0] == 'rect':
            return p[1] * p[2]
        return None
    a0, a1 = area(old_pan), area(new_pan)
    if not a0 or not a1:
        return 'error: pan'
    if scale_to_fill:
        return {'factor': round(a1 / a0, 2), 'minutes': bake_min, 'warning': None}
    depth = a0 / a1
    minutes = 5 * math.floor(bake_min * (1 + (depth - 1) / 2) if depth > 1 else 1 / 5 + 0.5)
    return {'factor': 1.0, 'minutes': minutes, 'warning': 'overflow risk' if depth > 1.5 else None}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['regression: bake time damping', [['round', 8], ['rect', 8, 15], 30, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}],
  ['repair check: bake time damping', [['square', 12], ['square', 12], 25, False],
   {'factor': 1.0, 'minutes': 25, 'warning': None}],
  ['generated control 1', [['round', 9], ['round', 6], 30, True],
   {'factor': 0.44, 'minutes': 30, 'warning': None}],
  ['generated control 2', [['round', 10], ['square', 12], 25, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}],
  ['generated control 3', [['square', 6], ['square', 6], 20, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}]],
 [['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['bad pan', [['bundt', 10], ['square', 8], 30, True], 'error: pan'],
  ['regression: bake time damping', [['rect', 9, 15], ['square', 9], 45, False],
   {'factor': 1.0, 'minutes': 60, 'warning': 'overflow risk'}],
  ['repair check: bake time damping', [['rect', 9, 15], ['square', 9], 20, False],
   {'factor': 1.0, 'minutes': 25, 'warning': 'overflow risk'}],
  ['generated control 1', [['rect', 9, 13], ['rect', 11, 13], 35, True],
   {'factor': 1.22, 'minutes': 35, 'warning': None}],
  ['generated control 2', [['rect', 9, 12], ['square', 12], 45, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['generated control 3', [['rect', 11, 12], ['square', 8], 25, True],
   {'factor': 0.48, 'minutes': 25, 'warning': None}]],
 [['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['bad pan', [['bundt', 10], ['square', 8], 30, True], 'error: pan'],
  ['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['regression: bake time damping', [['square', 12], ['rect', 9, 12], 30, False],
   {'factor': 1.0, 'minutes': 35, 'warning': None}],
  ['repair check: bake time damping', [['rect', 8, 12], ['square', 6], 35, False],
   {'factor': 1.0, 'minutes': 65, 'warning': 'overflow risk'}],
  ['generated control 1', [['round', 10], ['rect', 9, 15], 20, True],
   {'factor': 1.72, 'minutes': 20, 'warning': None}],
  ['generated control 2', [['square', 12], ['round', 8], 45, True],
   {'factor': 0.35, 'minutes': 45, 'warning': None}],
  ['generated control 3', [['rect', 9, 12], ['round', 12], 25, True],
   {'factor': 1.05, 'minutes': 25, 'warning': None}]],
 [['bad pan', [['bundt', 10], ['square', 8], 30, True], 'error: pan'],
  ['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['regression: bake time damping', [['square', 9], ['rect', 11, 12], 35, False],
   {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['repair check: bake time damping', [['round', 12], ['round', 9], 35, False],
   {'factor': 1.0, 'minutes': 50, 'warning': 'overflow risk'}],
  ['generated control 1', [['round', 12], ['rect', 8, 13], 30, True],
   {'factor': 0.92, 'minutes': 30, 'warning': None}],
  ['generated control 2', [['rect', 9, 15], ['rect', 11, 13], 25, True],
   {'factor': 1.06, 'minutes': 25, 'warning': None}],
  ['generated control 3', [['round', 10], ['square', 6], 45, True],
   {'factor': 0.46, 'minutes': 45, 'warning': None}]],
 [['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['regression: bake time damping', [['rect', 8, 13], ['rect', 8, 15], 30, False],
   {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['repair check: bake time damping', [['round', 10], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 25, 'warning': None}],
  ['generated control 1', [['round', 6], ['rect', 9, 15], 35, True],
   {'factor': 4.77, 'minutes': 35, 'warning': None}],
  ['generated control 2', [['round', 6], ['round', 6], 30, False],
   {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['generated control 3', [['round', 6], ['rect', 8, 13], 30, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}]]]
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 fixtureActualExpectedOutcome
same pan{'factor': 1.0, 'minutes': 0, 'warning': None}{'factor': 1.0, 'minutes': 30, 'warning': None}Failed
ratio exactly 1.5{'factor': 1.0, 'minutes': 185, 'warning': None}{'factor': 1.0, 'minutes': 40, 'warning': None}Failed
round to square fill{'factor': 1.27, 'minutes': 30, 'warning': None}{'factor': 1.27, 'minutes': 30, 'warning': None}Passed
regression: bake time damping{'factor': 1.0, 'minutes': 0, 'warning': None}{'factor': 1.0, 'minutes': 20, 'warning': None}Failed
repair check: bake time damping{'factor': 1.0, 'minutes': 0, 'warning': None}{'factor': 1.0, 'minutes': 25, 'warning': None}Failed
generated control 1{'factor': 0.44, 'minutes': 30, 'warning': None}{'factor': 0.44, 'minutes': 30, 'warning': None}Passed
generated control 2{'factor': 1.0, 'minutes': 0, 'warning': None}{'factor': 1.0, 'minutes': 20, 'warning': None}Failed
generated control 3{'factor': 1.0, 'minutes': 0, 'warning': None}{'factor': 1.0, 'minutes': 20, 'warning': None}Failed

SHA-256 / 3d268679cac91061a286fa1e0623b34177b94b5a712745201eccaa95183bfcff

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(old_pan, new_pan, bake_min, scale_to_fill):
    def area(p):
        if p[0] == 'round':
            return math.pi * (p[1] / 2) ** 2
        if p[0] == 'square':
            return p[1] * p[1]
        if p[0] == 'rect':
            return p[1] * p[2]
        return None
    a0, a1 = area(old_pan), area(new_pan)
    if not a0 or not a1:
        return 'error: pan'
    if scale_to_fill:
        return {'factor': round(a1 / a0, 2), 'minutes': bake_min, 'warning': None}
    depth = a0 / a1
    minutes = 5 * math.floor(bake_min * (1 + (depth - 1) / 2) / 5 + 0.5)
    return {'factor': 1.0, 'minutes': minutes, 'warning': 'overflow risk' if depth > 1.5 else None}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['regression: bake time damping', [['round', 8], ['rect', 8, 15], 30, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}],
  ['repair check: bake time damping', [['square', 12], ['square', 12], 25, False],
   {'factor': 1.0, 'minutes': 25, 'warning': None}],
  ['generated control 1', [['round', 9], ['round', 6], 30, True],
   {'factor': 0.44, 'minutes': 30, 'warning': None}],
  ['generated control 2', [['round', 10], ['square', 12], 25, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}],
  ['generated control 3', [['square', 6], ['square', 6], 20, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}]],
 [['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['bad pan', [['bundt', 10], ['square', 8], 30, True], 'error: pan'],
  ['regression: bake time damping', [['rect', 9, 15], ['square', 9], 45, False],
   {'factor': 1.0, 'minutes': 60, 'warning': 'overflow risk'}],
  ['repair check: bake time damping', [['rect', 9, 15], ['square', 9], 20, False],
   {'factor': 1.0, 'minutes': 25, 'warning': 'overflow risk'}],
  ['generated control 1', [['rect', 9, 13], ['rect', 11, 13], 35, True],
   {'factor': 1.22, 'minutes': 35, 'warning': None}],
  ['generated control 2', [['rect', 9, 12], ['square', 12], 45, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['generated control 3', [['rect', 11, 12], ['square', 8], 25, True],
   {'factor': 0.48, 'minutes': 25, 'warning': None}]],
 [['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['bad pan', [['bundt', 10], ['square', 8], 30, True], 'error: pan'],
  ['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['regression: bake time damping', [['square', 12], ['rect', 9, 12], 30, False],
   {'factor': 1.0, 'minutes': 35, 'warning': None}],
  ['repair check: bake time damping', [['rect', 8, 12], ['square', 6], 35, False],
   {'factor': 1.0, 'minutes': 65, 'warning': 'overflow risk'}],
  ['generated control 1', [['round', 10], ['rect', 9, 15], 20, True],
   {'factor': 1.72, 'minutes': 20, 'warning': None}],
  ['generated control 2', [['square', 12], ['round', 8], 45, True],
   {'factor': 0.35, 'minutes': 45, 'warning': None}],
  ['generated control 3', [['rect', 9, 12], ['round', 12], 25, True],
   {'factor': 1.05, 'minutes': 25, 'warning': None}]],
 [['bad pan', [['bundt', 10], ['square', 8], 30, True], 'error: pan'],
  ['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['regression: bake time damping', [['square', 9], ['rect', 11, 12], 35, False],
   {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['repair check: bake time damping', [['round', 12], ['round', 9], 35, False],
   {'factor': 1.0, 'minutes': 50, 'warning': 'overflow risk'}],
  ['generated control 1', [['round', 12], ['rect', 8, 13], 30, True],
   {'factor': 0.92, 'minutes': 30, 'warning': None}],
  ['generated control 2', [['rect', 9, 15], ['rect', 11, 13], 25, True],
   {'factor': 1.06, 'minutes': 25, 'warning': None}],
  ['generated control 3', [['round', 10], ['square', 6], 45, True],
   {'factor': 0.46, 'minutes': 45, 'warning': None}]],
 [['same pan', [['square', 8], ['square', 8], 30, False], {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['ratio exactly 1.5', [['square', 12], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 40, 'warning': None}],
  ['round to square fill', [['round', 9], ['square', 9], 30, True],
   {'factor': 1.27, 'minutes': 30, 'warning': None}],
  ['regression: bake time damping', [['rect', 8, 13], ['rect', 8, 15], 30, False],
   {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['repair check: bake time damping', [['round', 10], ['rect', 8, 12], 30, False],
   {'factor': 1.0, 'minutes': 25, 'warning': None}],
  ['generated control 1', [['round', 6], ['rect', 9, 15], 35, True],
   {'factor': 4.77, 'minutes': 35, 'warning': None}],
  ['generated control 2', [['round', 6], ['round', 6], 30, False],
   {'factor': 1.0, 'minutes': 30, 'warning': None}],
  ['generated control 3', [['round', 6], ['rect', 8, 13], 30, False],
   {'factor': 1.0, 'minutes': 20, 'warning': None}]]]
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 fixtureActualExpectedOutcome
same pan{'factor': 1.0, 'minutes': 30, 'warning': None}{'factor': 1.0, 'minutes': 30, 'warning': None}Passed
ratio exactly 1.5{'factor': 1.0, 'minutes': 40, 'warning': None}{'factor': 1.0, 'minutes': 40, 'warning': None}Passed
round to square fill{'factor': 1.27, 'minutes': 30, 'warning': None}{'factor': 1.27, 'minutes': 30, 'warning': None}Passed
regression: bake time damping{'factor': 1.0, 'minutes': 20, 'warning': None}{'factor': 1.0, 'minutes': 20, 'warning': None}Passed
repair check: bake time damping{'factor': 1.0, 'minutes': 25, 'warning': None}{'factor': 1.0, 'minutes': 25, 'warning': None}Passed
generated control 1{'factor': 0.44, 'minutes': 30, 'warning': None}{'factor': 0.44, 'minutes': 30, 'warning': None}Passed
generated control 2{'factor': 1.0, 'minutes': 20, 'warning': None}{'factor': 1.0, 'minutes': 20, 'warning': None}Passed
generated control 3{'factor': 1.0, 'minutes': 20, 'warning': None}{'factor': 1.0, 'minutes': 20, 'warning': None}Passed

SHA-256 / 10eb3171f5347a8855fe340a435f2d83ad3632ae6acee1455bd40d9a8a827ab7

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.283838+00:00.

Case digest / af6a269aa14799d48282a09ca54c9dc47f8f395901c5cfe07274fe5c8540250b