FA-97051 / Recipe scaling and nutrition / Open access
Baking pan substitution: five-minute rounding · case 01
Bake times print as 37 minutes instead of a 5-minute step.
ROOT CAUSE
The adjusted time is rounded to whole minutes, not to 5-minute steps.
THE FAILURE
The adjusted time is rounded to whole minutes, not to 5-minute steps.
Unsuccessful approach: Ceiling to 5 minutes always rounds up, so 31 minutes becomes 35.
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 = round(bake_min * (1 + (depth - 1) / 2))
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: five-minute rounding', [['square', 12], ['rect', 11, 12], 25, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['repair check: five-minute rounding', [['square', 6], ['square', 8], 45, False],
{'factor': 1.0, 'minutes': 35, 'warning': None}],
['generated control 1', [['rect', 11, 15], ['square', 6], 30, True],
{'factor': 0.22, 'minutes': 30, 'warning': None}],
['generated control 2', [['round', 6], ['round', 10], 20, True],
{'factor': 2.78, 'minutes': 20, 'warning': None}],
['generated control 3', [['rect', 9, 12], ['round', 12], 25, False],
{'factor': 1.0, 'minutes': 25, '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: five-minute rounding', [['rect', 9, 15], ['rect', 8, 12], 35, False],
{'factor': 1.0, 'minutes': 40, 'warning': None}],
['repair check: five-minute rounding', [['round', 8], ['rect', 11, 13], 30, False],
{'factor': 1.0, 'minutes': 20, 'warning': None}],
['generated control 1', [['round', 10], ['rect', 11, 12], 35, True],
{'factor': 1.68, 'minutes': 35, 'warning': None}],
['generated control 2', [['square', 9], ['rect', 11, 15], 30, True],
{'factor': 2.04, 'minutes': 30, 'warning': None}],
['generated control 3', [['rect', 8, 15], ['square', 8], 30, False],
{'factor': 1.0, 'minutes': 45, 'warning': 'overflow risk'}]],
[['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: five-minute rounding', [['round', 12], ['round', 10], 35, False],
{'factor': 1.0, 'minutes': 45, 'warning': None}],
['repair check: five-minute rounding', [['rect', 9, 13], ['rect', 11, 12], 45, False],
{'factor': 1.0, 'minutes': 40, 'warning': None}],
['generated control 1', [['rect', 8, 12], ['square', 8], 30, False],
{'factor': 1.0, 'minutes': 40, 'warning': None}],
['generated control 2', [['round', 12], ['square', 9], 20, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['generated control 3', [['rect', 11, 13], ['round', 12], 35, False],
{'factor': 1.0, 'minutes': 40, '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: five-minute rounding', [['rect', 9, 15], ['square', 9], 25, False],
{'factor': 1.0, 'minutes': 35, 'warning': 'overflow risk'}],
['repair check: five-minute rounding', [['rect', 11, 12], ['rect', 8, 15], 35, False],
{'factor': 1.0, 'minutes': 35, 'warning': None}],
['generated control 1', [['square', 12], ['round', 12], 20, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['generated control 2', [['rect', 8, 15], ['square', 8], 45, True],
{'factor': 0.53, 'minutes': 45, 'warning': None}],
['generated control 3', [['round', 6], ['rect', 9, 15], 30, True],
{'factor': 4.77, 'minutes': 30, '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: five-minute rounding', [['square', 9], ['rect', 8, 12], 25, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['repair check: five-minute rounding', [['round', 12], ['rect', 11, 15], 30, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['generated control 1', [['round', 8], ['rect', 8, 15], 35, True],
{'factor': 2.39, 'minutes': 35, 'warning': None}],
['generated control 2', [['square', 6], ['square', 12], 30, True],
{'factor': 4.0, 'minutes': 30, 'warning': None}],
['generated control 3', [['rect', 9, 15], ['round', 10], 25, False],
{'factor': 1.0, 'minutes': 35, 'warning': 'overflow risk'}]]]
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 |
|---|---|---|---|
| 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': 38, '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: five-minute rounding | {'factor': 1.0, 'minutes': 26, 'warning': None} | {'factor': 1.0, 'minutes': 25, 'warning': None} | Failed |
| repair check: five-minute rounding | {'factor': 1.0, 'minutes': 35, 'warning': None} | {'factor': 1.0, 'minutes': 35, 'warning': None} | Passed |
| generated control 1 | {'factor': 0.22, 'minutes': 30, 'warning': None} | {'factor': 0.22, 'minutes': 30, 'warning': None} | Passed |
| generated control 2 | {'factor': 2.78, 'minutes': 20, 'warning': None} | {'factor': 2.78, 'minutes': 20, 'warning': None} | Passed |
| generated control 3 | {'factor': 1.0, 'minutes': 24, 'warning': None} | {'factor': 1.0, 'minutes': 25, 'warning': None} | Failed |
SHA-256 / e4f078039ff235ca2635b0a005f6664233a3fd89489026a4d1a41500fcb37135
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.ceil(bake_min * (1 + (depth - 1) / 2) / 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: five-minute rounding', [['square', 12], ['rect', 11, 12], 25, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['repair check: five-minute rounding', [['square', 6], ['square', 8], 45, False],
{'factor': 1.0, 'minutes': 35, 'warning': None}],
['generated control 1', [['rect', 11, 15], ['square', 6], 30, True],
{'factor': 0.22, 'minutes': 30, 'warning': None}],
['generated control 2', [['round', 6], ['round', 10], 20, True],
{'factor': 2.78, 'minutes': 20, 'warning': None}],
['generated control 3', [['rect', 9, 12], ['round', 12], 25, False],
{'factor': 1.0, 'minutes': 25, '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: five-minute rounding', [['rect', 9, 15], ['rect', 8, 12], 35, False],
{'factor': 1.0, 'minutes': 40, 'warning': None}],
['repair check: five-minute rounding', [['round', 8], ['rect', 11, 13], 30, False],
{'factor': 1.0, 'minutes': 20, 'warning': None}],
['generated control 1', [['round', 10], ['rect', 11, 12], 35, True],
{'factor': 1.68, 'minutes': 35, 'warning': None}],
['generated control 2', [['square', 9], ['rect', 11, 15], 30, True],
{'factor': 2.04, 'minutes': 30, 'warning': None}],
['generated control 3', [['rect', 8, 15], ['square', 8], 30, False],
{'factor': 1.0, 'minutes': 45, 'warning': 'overflow risk'}]],
[['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: five-minute rounding', [['round', 12], ['round', 10], 35, False],
{'factor': 1.0, 'minutes': 45, 'warning': None}],
['repair check: five-minute rounding', [['rect', 9, 13], ['rect', 11, 12], 45, False],
{'factor': 1.0, 'minutes': 40, 'warning': None}],
['generated control 1', [['rect', 8, 12], ['square', 8], 30, False],
{'factor': 1.0, 'minutes': 40, 'warning': None}],
['generated control 2', [['round', 12], ['square', 9], 20, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['generated control 3', [['rect', 11, 13], ['round', 12], 35, False],
{'factor': 1.0, 'minutes': 40, '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: five-minute rounding', [['rect', 9, 15], ['square', 9], 25, False],
{'factor': 1.0, 'minutes': 35, 'warning': 'overflow risk'}],
['repair check: five-minute rounding', [['rect', 11, 12], ['rect', 8, 15], 35, False],
{'factor': 1.0, 'minutes': 35, 'warning': None}],
['generated control 1', [['square', 12], ['round', 12], 20, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['generated control 2', [['rect', 8, 15], ['square', 8], 45, True],
{'factor': 0.53, 'minutes': 45, 'warning': None}],
['generated control 3', [['round', 6], ['rect', 9, 15], 30, True],
{'factor': 4.77, 'minutes': 30, '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: five-minute rounding', [['square', 9], ['rect', 8, 12], 25, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['repair check: five-minute rounding', [['round', 12], ['rect', 11, 15], 30, False],
{'factor': 1.0, 'minutes': 25, 'warning': None}],
['generated control 1', [['round', 8], ['rect', 8, 15], 35, True],
{'factor': 2.39, 'minutes': 35, 'warning': None}],
['generated control 2', [['square', 6], ['square', 12], 30, True],
{'factor': 4.0, 'minutes': 30, 'warning': None}],
['generated control 3', [['rect', 9, 15], ['round', 10], 25, False],
{'factor': 1.0, 'minutes': 35, 'warning': 'overflow risk'}]]]
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 |
|---|---|---|---|
| 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: five-minute rounding | {'factor': 1.0, 'minutes': 30, 'warning': None} | {'factor': 1.0, 'minutes': 25, 'warning': None} | Failed |
| repair check: five-minute rounding | {'factor': 1.0, 'minutes': 40, 'warning': None} | {'factor': 1.0, 'minutes': 35, 'warning': None} | Failed |
| generated control 1 | {'factor': 0.22, 'minutes': 30, 'warning': None} | {'factor': 0.22, 'minutes': 30, 'warning': None} | Passed |
| generated control 2 | {'factor': 2.78, 'minutes': 20, 'warning': None} | {'factor': 2.78, 'minutes': 20, 'warning': None} | Passed |
| generated control 3 | {'factor': 1.0, 'minutes': 25, 'warning': None} | {'factor': 1.0, 'minutes': 25, 'warning': None} | Passed |
SHA-256 / 88a5280f15e98e10552400b161fd371bc6ebcc1a78157e4d9619e9b54fec23f7
HELD IN THE MEMBER ARCHIVE
The verified repair and its recorded checks are member-only.
This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.
Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.
Member access is invitation-based. Sign in with your invited account to inspect the repair.
Sign in to the archive ↗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.365687+00:00.
Case digest / baf715d0de81eea5bb49ec824b8f762dfab43ae86c25b9b1f2f762842d5971ca