FA-96961 / Recipe scaling and nutrition / Open access
Cooked-yield nutrition per serving: per-100 g cooked basis · case 01
Energy density of a reduced stew matches the raw ingredients instead of the concentrated dish.
ROOT CAUSE
Energy per 100 g is computed on raw weight instead of cooked weight.
VERIFIED REPAIR
Divide total energy by cooked weight.
Unsuccessful approach: Dividing by one serving weight reports energy per 100 g times the number of servings.
Case contract
Rows [name, raw_g, kcal_per_100g, sodium_mg_per_100g, use]; use "eat" counts fully, "marinade" retains 1/5 of its weight and nutrients, "discard" contributes nothing. Cooked weight = retained raw weight * yield_pct/100 (moisture loss changes weight, not energy or sodium). Return half-up integers: serving_g = cooked/servings, kcal and sodium_mg per serving, kcal_per_100g of cooked dish (0 if nothing is retained). servings < 1 returns an error string.
Why this case matters
Recipe nutrition must account for cooking moisture loss and for marinades and aromatics that are not eaten.
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(ingredients, yield_pct, servings):
if servings < 1:
return 'error: servings'
kcal = Fraction(0)
na = Fraction(0)
raw = Fraction(0)
for name, g, k, s, use in ingredients:
if use == 'discard':
continue
share = Fraction(1, 5) if use == 'marinade' else Fraction(1)
grams = Fraction(g) * share
raw += grams
kcal += grams * k / 100
na += grams * s / 100
cooked = raw * Fraction(yield_pct, 100)
def r(x):
return math.floor(x + Fraction(1, 2))
return {'serving_g': r(cooked / servings), 'kcal': r(kcal / servings), 'sodium_mg': r(na / servings),
'kcal_per_100g': r(kcal * 100 / raw) if raw else 0}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['regression: per-100 g cooked basis',
[[['onion', 150, 40, 4, 'eat'], ['chicken', 610, 165, 70, 'eat']], 60, 1],
{'kcal': 1067, 'kcal_per_100g': 234, 'serving_g': 456, 'sodium_mg': 433}],
['repair check: per-100 g cooked basis',
[[['stock', 510, 10, 350, 'eat'], ['chicken', 600, 165, 70, 'eat'], ['lemon rind', 45, 47, 6, 'discard'],
['onion', 160, 40, 4, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade']],
60, 3],
{'kcal': 377, 'kcal_per_100g': 143, 'serving_g': 263, 'sodium_mg': 1562}],
['generated control 1',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['chicken', 610, 165, 70, 'marinade']], 60, 4],
{'kcal': 57, 'kcal_per_100g': 228, 'serving_g': 25, 'sodium_mg': 640}],
['generated control 2',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['lemon rind', 20, 47, 6, 'eat'],
['oil', 40, 884, 0, 'eat']],
110, 5],
{'kcal': 78, 'kcal_per_100g': 338, 'serving_g': 23, 'sodium_mg': 495}],
['generated control 3',
[[['lemon rind', 30, 47, 6, 'discard'], ['soy marinade', 225, 60, 5500, 'marinade'],
['oil', 40, 884, 0, 'eat'], ['rice', 310, 130, 1, 'eat']],
80, 4],
{'kcal': 196, 'kcal_per_100g': 248, 'serving_g': 79, 'sodium_mg': 620}]],
[['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['marinated chicken',
[[['chicken', 600, 165, 70, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade']], 75, 4],
{'kcal': 254, 'kcal_per_100g': 211, 'serving_g': 120, 'sodium_mg': 655}],
['regression: per-100 g cooked basis',
[[['oil', 40, 884, 0, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade']], 110, 4],
{'kcal': 95, 'kcal_per_100g': 420, 'serving_g': 23, 'sodium_mg': 578}],
['repair check: per-100 g cooked basis',
[[['onion', 150, 40, 4, 'eat'], ['chicken', 610, 165, 70, 'eat'], ['stock', 510, 10, 350, 'eat'],
['soy marinade', 225, 60, 5500, 'marinade']],
100, 2],
{'kcal': 572, 'kcal_per_100g': 87, 'serving_g': 658, 'sodium_mg': 2347}],
['generated control 1',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['stock', 510, 10, 350, 'eat'], ['oil', 55, 884, 0, 'eat']],
70, 2],
{'kcal': 282, 'kcal_per_100g': 132, 'serving_g': 214, 'sodium_mg': 2130}],
['generated control 2',
[[['oil', 40, 884, 0, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade'], ['rice', 310, 130, 1, 'eat']],
110, 5],
{'kcal': 156, 'kcal_per_100g': 181, 'serving_g': 86, 'sodium_mg': 463}],
['generated control 3',
[[['chicken', 610, 165, 70, 'marinade'], ['oil', 55, 884, 0, 'eat'], ['stock', 500, 10, 350, 'eat'],
['onion', 175, 40, 4, 'marinade']],
110, 4],
{'kcal': 188, 'kcal_per_100g': 96, 'serving_g': 196, 'sodium_mg': 459}]],
[['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['marinated chicken',
[[['chicken', 600, 165, 70, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade']], 75, 4],
{'kcal': 254, 'kcal_per_100g': 211, 'serving_g': 120, 'sodium_mg': 655}],
['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['regression: per-100 g cooked basis',
[[['lemon rind', 45, 47, 6, 'discard'], ['onion', 175, 40, 4, 'eat']], 80, 2],
{'kcal': 35, 'kcal_per_100g': 50, 'serving_g': 70, 'sodium_mg': 4}],
['repair check: per-100 g cooked basis',
[[['rice', 310, 130, 1, 'eat'], ['oil', 40, 884, 0, 'marinade'], ['bay leaf', 2, 313, 23, 'discard']], 70,
5],
{'kcal': 95, 'kcal_per_100g': 213, 'serving_g': 45, 'sodium_mg': 1}],
['generated control 1',
[[['oil', 30, 884, 0, 'eat'], ['lemon rind', 20, 47, 6, 'eat'], ['chicken', 600, 165, 70, 'eat']], 100, 1],
{'kcal': 1265, 'kcal_per_100g': 195, 'serving_g': 650, 'sodium_mg': 421}],
['generated control 2', [[['rice', 300, 130, 1, 'marinade'], ['stock', 525, 10, 350, 'eat']], 90, 2],
{'kcal': 65, 'kcal_per_100g': 25, 'serving_g': 263, 'sodium_mg': 919}],
['generated control 3',
[[['onion', 160, 40, 4, 'eat'], ['rice', 310, 130, 1, 'eat'], ['stock', 525, 10, 350, 'eat']], 110, 6],
{'kcal': 87, 'kcal_per_100g': 47, 'serving_g': 182, 'sodium_mg': 308}]],
[['marinated chicken',
[[['chicken', 600, 165, 70, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade']], 75, 4],
{'kcal': 254, 'kcal_per_100g': 211, 'serving_g': 120, 'sodium_mg': 655}],
['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['regression: per-100 g cooked basis',
[[['chicken', 600, 165, 70, 'eat'], ['rice', 310, 130, 1, 'eat'], ['onion', 160, 40, 4, 'eat']], 75, 5],
{'kcal': 291, 'kcal_per_100g': 182, 'serving_g': 161, 'sodium_mg': 86}],
['repair check: per-100 g cooked basis',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['bay leaf', 12, 313, 23, 'eat'],
['rice', 325, 130, 1, 'marinade']],
75, 6],
{'kcal': 24, 'kcal_per_100g': 166, 'serving_g': 15, 'sodium_mg': 367}],
['generated control 1', [[['chicken', 600, 165, 70, 'eat'], ['bay leaf', 27, 313, 23, 'discard']], 110, 3],
{'kcal': 330, 'kcal_per_100g': 150, 'serving_g': 220, 'sodium_mg': 140}],
['generated control 2',
[[['onion', 175, 40, 4, 'eat'], ['oil', 55, 884, 0, 'eat'], ['rice', 310, 130, 1, 'eat']], 60, 2],
{'kcal': 480, 'kcal_per_100g': 296, 'serving_g': 162, 'sodium_mg': 5}],
['generated control 3',
[[['rice', 300, 130, 1, 'marinade'], ['chicken', 625, 165, 70, 'marinade'],
['oil', 40, 884, 0, 'marinade']],
70, 2],
{'kcal': 177, 'kcal_per_100g': 263, 'serving_g': 68, 'sodium_mg': 44}]],
[['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['regression: per-100 g cooked basis',
[[['oil', 55, 884, 0, 'eat'], ['lemon rind', 45, 47, 6, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade'], ['onion', 175, 40, 4, 'eat']],
90, 3],
{'kcal': 201, 'kcal_per_100g': 211, 'serving_g': 95, 'sodium_mg': 773}],
['repair check: per-100 g cooked basis',
[[['stock', 525, 10, 350, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade']], 80, 5],
{'kcal': 16, 'kcal_per_100g': 17, 'serving_g': 91, 'sodium_mg': 863}],
['generated control 1',
[[['bay leaf', 2, 313, 23, 'discard'], ['oil', 40, 884, 0, 'eat'],
['soy marinade', 225, 60, 5500, 'marinade'], ['onion', 160, 40, 4, 'marinade']],
60, 4],
{'kcal': 98, 'kcal_per_100g': 560, 'serving_g': 18, 'sodium_mg': 619}],
['generated control 2',
[[['bay leaf', 27, 313, 23, 'discard'], ['soy marinade', 225, 60, 5500, 'marinade'],
['stock', 525, 10, 350, 'eat'], ['oil', 55, 884, 0, 'eat']],
75, 1],
{'kcal': 566, 'kcal_per_100g': 121, 'serving_g': 469, 'sodium_mg': 4313}],
['generated control 3',
[[['chicken', 600, 165, 70, 'marinade'], ['stock', 525, 10, 350, 'eat'], ['rice', 310, 130, 1, 'eat'],
['onion', 175, 40, 4, 'eat'], ['bay leaf', 27, 313, 23, 'discard']],
100, 6],
{'kcal': 121, 'kcal_per_100g': 64, 'serving_g': 188, 'sodium_mg': 322}]]]
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 |
|---|---|---|---|
| plain dish | {'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1} | {'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1} | Passed |
| zero servings | error: servings | error: servings | Passed |
| only discarded aromatics | {'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0} | {'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0} | Passed |
| regression: per-100 g cooked basis | {'kcal': 1067, 'kcal_per_100g': 140, 'serving_g': 456, 'sodium_mg': 433} | {'kcal': 1067, 'kcal_per_100g': 234, 'serving_g': 456, 'sodium_mg': 433} | Failed |
| repair check: per-100 g cooked basis | {'kcal': 377, 'kcal_per_100g': 86, 'serving_g': 263, 'sodium_mg': 1562} | {'kcal': 377, 'kcal_per_100g': 143, 'serving_g': 263, 'sodium_mg': 1562} | Failed |
| generated control 1 | {'kcal': 57, 'kcal_per_100g': 137, 'serving_g': 25, 'sodium_mg': 640} | {'kcal': 57, 'kcal_per_100g': 228, 'serving_g': 25, 'sodium_mg': 640} | Failed |
| generated control 2 | {'kcal': 78, 'kcal_per_100g': 371, 'serving_g': 23, 'sodium_mg': 495} | {'kcal': 78, 'kcal_per_100g': 338, 'serving_g': 23, 'sodium_mg': 495} | Failed |
| generated control 3 | {'kcal': 196, 'kcal_per_100g': 198, 'serving_g': 79, 'sodium_mg': 620} | {'kcal': 196, 'kcal_per_100g': 248, 'serving_g': 79, 'sodium_mg': 620} | Failed |
SHA-256 / d80941b5a43dc9f929571650f486466b1917349c14e67a09003793d2ef2520cb
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(ingredients, yield_pct, servings):
if servings < 1:
return 'error: servings'
kcal = Fraction(0)
na = Fraction(0)
raw = Fraction(0)
for name, g, k, s, use in ingredients:
if use == 'discard':
continue
share = Fraction(1, 5) if use == 'marinade' else Fraction(1)
grams = Fraction(g) * share
raw += grams
kcal += grams * k / 100
na += grams * s / 100
cooked = raw * Fraction(yield_pct, 100)
def r(x):
return math.floor(x + Fraction(1, 2))
return {'serving_g': r(cooked / servings), 'kcal': r(kcal / servings), 'sodium_mg': r(na / servings),
'kcal_per_100g': r(kcal * 100 / (cooked / servings)) if cooked else 0}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['regression: per-100 g cooked basis',
[[['onion', 150, 40, 4, 'eat'], ['chicken', 610, 165, 70, 'eat']], 60, 1],
{'kcal': 1067, 'kcal_per_100g': 234, 'serving_g': 456, 'sodium_mg': 433}],
['repair check: per-100 g cooked basis',
[[['stock', 510, 10, 350, 'eat'], ['chicken', 600, 165, 70, 'eat'], ['lemon rind', 45, 47, 6, 'discard'],
['onion', 160, 40, 4, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade']],
60, 3],
{'kcal': 377, 'kcal_per_100g': 143, 'serving_g': 263, 'sodium_mg': 1562}],
['generated control 1',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['chicken', 610, 165, 70, 'marinade']], 60, 4],
{'kcal': 57, 'kcal_per_100g': 228, 'serving_g': 25, 'sodium_mg': 640}],
['generated control 2',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['lemon rind', 20, 47, 6, 'eat'],
['oil', 40, 884, 0, 'eat']],
110, 5],
{'kcal': 78, 'kcal_per_100g': 338, 'serving_g': 23, 'sodium_mg': 495}],
['generated control 3',
[[['lemon rind', 30, 47, 6, 'discard'], ['soy marinade', 225, 60, 5500, 'marinade'],
['oil', 40, 884, 0, 'eat'], ['rice', 310, 130, 1, 'eat']],
80, 4],
{'kcal': 196, 'kcal_per_100g': 248, 'serving_g': 79, 'sodium_mg': 620}]],
[['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['marinated chicken',
[[['chicken', 600, 165, 70, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade']], 75, 4],
{'kcal': 254, 'kcal_per_100g': 211, 'serving_g': 120, 'sodium_mg': 655}],
['regression: per-100 g cooked basis',
[[['oil', 40, 884, 0, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade']], 110, 4],
{'kcal': 95, 'kcal_per_100g': 420, 'serving_g': 23, 'sodium_mg': 578}],
['repair check: per-100 g cooked basis',
[[['onion', 150, 40, 4, 'eat'], ['chicken', 610, 165, 70, 'eat'], ['stock', 510, 10, 350, 'eat'],
['soy marinade', 225, 60, 5500, 'marinade']],
100, 2],
{'kcal': 572, 'kcal_per_100g': 87, 'serving_g': 658, 'sodium_mg': 2347}],
['generated control 1',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['stock', 510, 10, 350, 'eat'], ['oil', 55, 884, 0, 'eat']],
70, 2],
{'kcal': 282, 'kcal_per_100g': 132, 'serving_g': 214, 'sodium_mg': 2130}],
['generated control 2',
[[['oil', 40, 884, 0, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade'], ['rice', 310, 130, 1, 'eat']],
110, 5],
{'kcal': 156, 'kcal_per_100g': 181, 'serving_g': 86, 'sodium_mg': 463}],
['generated control 3',
[[['chicken', 610, 165, 70, 'marinade'], ['oil', 55, 884, 0, 'eat'], ['stock', 500, 10, 350, 'eat'],
['onion', 175, 40, 4, 'marinade']],
110, 4],
{'kcal': 188, 'kcal_per_100g': 96, 'serving_g': 196, 'sodium_mg': 459}]],
[['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['marinated chicken',
[[['chicken', 600, 165, 70, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade']], 75, 4],
{'kcal': 254, 'kcal_per_100g': 211, 'serving_g': 120, 'sodium_mg': 655}],
['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['regression: per-100 g cooked basis',
[[['lemon rind', 45, 47, 6, 'discard'], ['onion', 175, 40, 4, 'eat']], 80, 2],
{'kcal': 35, 'kcal_per_100g': 50, 'serving_g': 70, 'sodium_mg': 4}],
['repair check: per-100 g cooked basis',
[[['rice', 310, 130, 1, 'eat'], ['oil', 40, 884, 0, 'marinade'], ['bay leaf', 2, 313, 23, 'discard']], 70,
5],
{'kcal': 95, 'kcal_per_100g': 213, 'serving_g': 45, 'sodium_mg': 1}],
['generated control 1',
[[['oil', 30, 884, 0, 'eat'], ['lemon rind', 20, 47, 6, 'eat'], ['chicken', 600, 165, 70, 'eat']], 100, 1],
{'kcal': 1265, 'kcal_per_100g': 195, 'serving_g': 650, 'sodium_mg': 421}],
['generated control 2', [[['rice', 300, 130, 1, 'marinade'], ['stock', 525, 10, 350, 'eat']], 90, 2],
{'kcal': 65, 'kcal_per_100g': 25, 'serving_g': 263, 'sodium_mg': 919}],
['generated control 3',
[[['onion', 160, 40, 4, 'eat'], ['rice', 310, 130, 1, 'eat'], ['stock', 525, 10, 350, 'eat']], 110, 6],
{'kcal': 87, 'kcal_per_100g': 47, 'serving_g': 182, 'sodium_mg': 308}]],
[['marinated chicken',
[[['chicken', 600, 165, 70, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade']], 75, 4],
{'kcal': 254, 'kcal_per_100g': 211, 'serving_g': 120, 'sodium_mg': 655}],
['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['regression: per-100 g cooked basis',
[[['chicken', 600, 165, 70, 'eat'], ['rice', 310, 130, 1, 'eat'], ['onion', 160, 40, 4, 'eat']], 75, 5],
{'kcal': 291, 'kcal_per_100g': 182, 'serving_g': 161, 'sodium_mg': 86}],
['repair check: per-100 g cooked basis',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['bay leaf', 12, 313, 23, 'eat'],
['rice', 325, 130, 1, 'marinade']],
75, 6],
{'kcal': 24, 'kcal_per_100g': 166, 'serving_g': 15, 'sodium_mg': 367}],
['generated control 1', [[['chicken', 600, 165, 70, 'eat'], ['bay leaf', 27, 313, 23, 'discard']], 110, 3],
{'kcal': 330, 'kcal_per_100g': 150, 'serving_g': 220, 'sodium_mg': 140}],
['generated control 2',
[[['onion', 175, 40, 4, 'eat'], ['oil', 55, 884, 0, 'eat'], ['rice', 310, 130, 1, 'eat']], 60, 2],
{'kcal': 480, 'kcal_per_100g': 296, 'serving_g': 162, 'sodium_mg': 5}],
['generated control 3',
[[['rice', 300, 130, 1, 'marinade'], ['chicken', 625, 165, 70, 'marinade'],
['oil', 40, 884, 0, 'marinade']],
70, 2],
{'kcal': 177, 'kcal_per_100g': 263, 'serving_g': 68, 'sodium_mg': 44}]],
[['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['regression: per-100 g cooked basis',
[[['oil', 55, 884, 0, 'eat'], ['lemon rind', 45, 47, 6, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade'], ['onion', 175, 40, 4, 'eat']],
90, 3],
{'kcal': 201, 'kcal_per_100g': 211, 'serving_g': 95, 'sodium_mg': 773}],
['repair check: per-100 g cooked basis',
[[['stock', 525, 10, 350, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade']], 80, 5],
{'kcal': 16, 'kcal_per_100g': 17, 'serving_g': 91, 'sodium_mg': 863}],
['generated control 1',
[[['bay leaf', 2, 313, 23, 'discard'], ['oil', 40, 884, 0, 'eat'],
['soy marinade', 225, 60, 5500, 'marinade'], ['onion', 160, 40, 4, 'marinade']],
60, 4],
{'kcal': 98, 'kcal_per_100g': 560, 'serving_g': 18, 'sodium_mg': 619}],
['generated control 2',
[[['bay leaf', 27, 313, 23, 'discard'], ['soy marinade', 225, 60, 5500, 'marinade'],
['stock', 525, 10, 350, 'eat'], ['oil', 55, 884, 0, 'eat']],
75, 1],
{'kcal': 566, 'kcal_per_100g': 121, 'serving_g': 469, 'sodium_mg': 4313}],
['generated control 3',
[[['chicken', 600, 165, 70, 'marinade'], ['stock', 525, 10, 350, 'eat'], ['rice', 310, 130, 1, 'eat'],
['onion', 175, 40, 4, 'eat'], ['bay leaf', 27, 313, 23, 'discard']],
100, 6],
{'kcal': 121, 'kcal_per_100g': 64, 'serving_g': 188, 'sodium_mg': 322}]]]
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 |
|---|---|---|---|
| plain dish | {'kcal': 130, 'kcal_per_100g': 390, 'serving_g': 100, 'sodium_mg': 1} | {'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1} | Failed |
| zero servings | error: servings | error: servings | Passed |
| only discarded aromatics | {'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0} | {'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0} | Passed |
| regression: per-100 g cooked basis | {'kcal': 1067, 'kcal_per_100g': 234, 'serving_g': 456, 'sodium_mg': 433} | {'kcal': 1067, 'kcal_per_100g': 234, 'serving_g': 456, 'sodium_mg': 433} | Passed |
| repair check: per-100 g cooked basis | {'kcal': 377, 'kcal_per_100g': 430, 'serving_g': 263, 'sodium_mg': 1562} | {'kcal': 377, 'kcal_per_100g': 143, 'serving_g': 263, 'sodium_mg': 1562} | Failed |
| generated control 1 | {'kcal': 57, 'kcal_per_100g': 911, 'serving_g': 25, 'sodium_mg': 640} | {'kcal': 57, 'kcal_per_100g': 228, 'serving_g': 25, 'sodium_mg': 640} | Failed |
| generated control 2 | {'kcal': 78, 'kcal_per_100g': 1688, 'serving_g': 23, 'sodium_mg': 495} | {'kcal': 78, 'kcal_per_100g': 338, 'serving_g': 23, 'sodium_mg': 495} | Failed |
| generated control 3 | {'kcal': 196, 'kcal_per_100g': 992, 'serving_g': 79, 'sodium_mg': 620} | {'kcal': 196, 'kcal_per_100g': 248, 'serving_g': 79, 'sodium_mg': 620} | Failed |
SHA-256 / 4f7403968c345356b045e91c0d6b5b1bb1a75b942961fce1050e2b250d3b4d51
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(ingredients, yield_pct, servings):
if servings < 1:
return 'error: servings'
kcal = Fraction(0)
na = Fraction(0)
raw = Fraction(0)
for name, g, k, s, use in ingredients:
if use == 'discard':
continue
share = Fraction(1, 5) if use == 'marinade' else Fraction(1)
grams = Fraction(g) * share
raw += grams
kcal += grams * k / 100
na += grams * s / 100
cooked = raw * Fraction(yield_pct, 100)
def r(x):
return math.floor(x + Fraction(1, 2))
return {'serving_g': r(cooked / servings), 'kcal': r(kcal / servings), 'sodium_mg': r(na / servings),
'kcal_per_100g': r(kcal * 100 / cooked) if cooked else 0}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['regression: per-100 g cooked basis',
[[['onion', 150, 40, 4, 'eat'], ['chicken', 610, 165, 70, 'eat']], 60, 1],
{'kcal': 1067, 'kcal_per_100g': 234, 'serving_g': 456, 'sodium_mg': 433}],
['repair check: per-100 g cooked basis',
[[['stock', 510, 10, 350, 'eat'], ['chicken', 600, 165, 70, 'eat'], ['lemon rind', 45, 47, 6, 'discard'],
['onion', 160, 40, 4, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade']],
60, 3],
{'kcal': 377, 'kcal_per_100g': 143, 'serving_g': 263, 'sodium_mg': 1562}],
['generated control 1',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['chicken', 610, 165, 70, 'marinade']], 60, 4],
{'kcal': 57, 'kcal_per_100g': 228, 'serving_g': 25, 'sodium_mg': 640}],
['generated control 2',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['lemon rind', 20, 47, 6, 'eat'],
['oil', 40, 884, 0, 'eat']],
110, 5],
{'kcal': 78, 'kcal_per_100g': 338, 'serving_g': 23, 'sodium_mg': 495}],
['generated control 3',
[[['lemon rind', 30, 47, 6, 'discard'], ['soy marinade', 225, 60, 5500, 'marinade'],
['oil', 40, 884, 0, 'eat'], ['rice', 310, 130, 1, 'eat']],
80, 4],
{'kcal': 196, 'kcal_per_100g': 248, 'serving_g': 79, 'sodium_mg': 620}]],
[['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['marinated chicken',
[[['chicken', 600, 165, 70, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade']], 75, 4],
{'kcal': 254, 'kcal_per_100g': 211, 'serving_g': 120, 'sodium_mg': 655}],
['regression: per-100 g cooked basis',
[[['oil', 40, 884, 0, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade']], 110, 4],
{'kcal': 95, 'kcal_per_100g': 420, 'serving_g': 23, 'sodium_mg': 578}],
['repair check: per-100 g cooked basis',
[[['onion', 150, 40, 4, 'eat'], ['chicken', 610, 165, 70, 'eat'], ['stock', 510, 10, 350, 'eat'],
['soy marinade', 225, 60, 5500, 'marinade']],
100, 2],
{'kcal': 572, 'kcal_per_100g': 87, 'serving_g': 658, 'sodium_mg': 2347}],
['generated control 1',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['stock', 510, 10, 350, 'eat'], ['oil', 55, 884, 0, 'eat']],
70, 2],
{'kcal': 282, 'kcal_per_100g': 132, 'serving_g': 214, 'sodium_mg': 2130}],
['generated control 2',
[[['oil', 40, 884, 0, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade'], ['rice', 310, 130, 1, 'eat']],
110, 5],
{'kcal': 156, 'kcal_per_100g': 181, 'serving_g': 86, 'sodium_mg': 463}],
['generated control 3',
[[['chicken', 610, 165, 70, 'marinade'], ['oil', 55, 884, 0, 'eat'], ['stock', 500, 10, 350, 'eat'],
['onion', 175, 40, 4, 'marinade']],
110, 4],
{'kcal': 188, 'kcal_per_100g': 96, 'serving_g': 196, 'sodium_mg': 459}]],
[['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['marinated chicken',
[[['chicken', 600, 165, 70, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade']], 75, 4],
{'kcal': 254, 'kcal_per_100g': 211, 'serving_g': 120, 'sodium_mg': 655}],
['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['regression: per-100 g cooked basis',
[[['lemon rind', 45, 47, 6, 'discard'], ['onion', 175, 40, 4, 'eat']], 80, 2],
{'kcal': 35, 'kcal_per_100g': 50, 'serving_g': 70, 'sodium_mg': 4}],
['repair check: per-100 g cooked basis',
[[['rice', 310, 130, 1, 'eat'], ['oil', 40, 884, 0, 'marinade'], ['bay leaf', 2, 313, 23, 'discard']], 70,
5],
{'kcal': 95, 'kcal_per_100g': 213, 'serving_g': 45, 'sodium_mg': 1}],
['generated control 1',
[[['oil', 30, 884, 0, 'eat'], ['lemon rind', 20, 47, 6, 'eat'], ['chicken', 600, 165, 70, 'eat']], 100, 1],
{'kcal': 1265, 'kcal_per_100g': 195, 'serving_g': 650, 'sodium_mg': 421}],
['generated control 2', [[['rice', 300, 130, 1, 'marinade'], ['stock', 525, 10, 350, 'eat']], 90, 2],
{'kcal': 65, 'kcal_per_100g': 25, 'serving_g': 263, 'sodium_mg': 919}],
['generated control 3',
[[['onion', 160, 40, 4, 'eat'], ['rice', 310, 130, 1, 'eat'], ['stock', 525, 10, 350, 'eat']], 110, 6],
{'kcal': 87, 'kcal_per_100g': 47, 'serving_g': 182, 'sodium_mg': 308}]],
[['marinated chicken',
[[['chicken', 600, 165, 70, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade']], 75, 4],
{'kcal': 254, 'kcal_per_100g': 211, 'serving_g': 120, 'sodium_mg': 655}],
['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['regression: per-100 g cooked basis',
[[['chicken', 600, 165, 70, 'eat'], ['rice', 310, 130, 1, 'eat'], ['onion', 160, 40, 4, 'eat']], 75, 5],
{'kcal': 291, 'kcal_per_100g': 182, 'serving_g': 161, 'sodium_mg': 86}],
['repair check: per-100 g cooked basis',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['bay leaf', 12, 313, 23, 'eat'],
['rice', 325, 130, 1, 'marinade']],
75, 6],
{'kcal': 24, 'kcal_per_100g': 166, 'serving_g': 15, 'sodium_mg': 367}],
['generated control 1', [[['chicken', 600, 165, 70, 'eat'], ['bay leaf', 27, 313, 23, 'discard']], 110, 3],
{'kcal': 330, 'kcal_per_100g': 150, 'serving_g': 220, 'sodium_mg': 140}],
['generated control 2',
[[['onion', 175, 40, 4, 'eat'], ['oil', 55, 884, 0, 'eat'], ['rice', 310, 130, 1, 'eat']], 60, 2],
{'kcal': 480, 'kcal_per_100g': 296, 'serving_g': 162, 'sodium_mg': 5}],
['generated control 3',
[[['rice', 300, 130, 1, 'marinade'], ['chicken', 625, 165, 70, 'marinade'],
['oil', 40, 884, 0, 'marinade']],
70, 2],
{'kcal': 177, 'kcal_per_100g': 263, 'serving_g': 68, 'sodium_mg': 44}]],
[['plain dish', [[['rice', 300, 130, 1, 'eat']], 100, 3],
{'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1}],
['zero servings', [[['rice', 300, 130, 1, 'eat']], 80, 0], 'error: servings'],
['only discarded aromatics', [[['bay leaf', 2, 313, 23, 'discard']], 90, 2],
{'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0}],
['regression: per-100 g cooked basis',
[[['oil', 55, 884, 0, 'eat'], ['lemon rind', 45, 47, 6, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade'], ['onion', 175, 40, 4, 'eat']],
90, 3],
{'kcal': 201, 'kcal_per_100g': 211, 'serving_g': 95, 'sodium_mg': 773}],
['repair check: per-100 g cooked basis',
[[['stock', 525, 10, 350, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade']], 80, 5],
{'kcal': 16, 'kcal_per_100g': 17, 'serving_g': 91, 'sodium_mg': 863}],
['generated control 1',
[[['bay leaf', 2, 313, 23, 'discard'], ['oil', 40, 884, 0, 'eat'],
['soy marinade', 225, 60, 5500, 'marinade'], ['onion', 160, 40, 4, 'marinade']],
60, 4],
{'kcal': 98, 'kcal_per_100g': 560, 'serving_g': 18, 'sodium_mg': 619}],
['generated control 2',
[[['bay leaf', 27, 313, 23, 'discard'], ['soy marinade', 225, 60, 5500, 'marinade'],
['stock', 525, 10, 350, 'eat'], ['oil', 55, 884, 0, 'eat']],
75, 1],
{'kcal': 566, 'kcal_per_100g': 121, 'serving_g': 469, 'sodium_mg': 4313}],
['generated control 3',
[[['chicken', 600, 165, 70, 'marinade'], ['stock', 525, 10, 350, 'eat'], ['rice', 310, 130, 1, 'eat'],
['onion', 175, 40, 4, 'eat'], ['bay leaf', 27, 313, 23, 'discard']],
100, 6],
{'kcal': 121, 'kcal_per_100g': 64, 'serving_g': 188, 'sodium_mg': 322}]]]
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 |
|---|---|---|---|
| plain dish | {'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1} | {'kcal': 130, 'kcal_per_100g': 130, 'serving_g': 100, 'sodium_mg': 1} | Passed |
| zero servings | error: servings | error: servings | Passed |
| only discarded aromatics | {'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0} | {'kcal': 0, 'kcal_per_100g': 0, 'serving_g': 0, 'sodium_mg': 0} | Passed |
| regression: per-100 g cooked basis | {'kcal': 1067, 'kcal_per_100g': 234, 'serving_g': 456, 'sodium_mg': 433} | {'kcal': 1067, 'kcal_per_100g': 234, 'serving_g': 456, 'sodium_mg': 433} | Passed |
| repair check: per-100 g cooked basis | {'kcal': 377, 'kcal_per_100g': 143, 'serving_g': 263, 'sodium_mg': 1562} | {'kcal': 377, 'kcal_per_100g': 143, 'serving_g': 263, 'sodium_mg': 1562} | Passed |
| generated control 1 | {'kcal': 57, 'kcal_per_100g': 228, 'serving_g': 25, 'sodium_mg': 640} | {'kcal': 57, 'kcal_per_100g': 228, 'serving_g': 25, 'sodium_mg': 640} | Passed |
| generated control 2 | {'kcal': 78, 'kcal_per_100g': 338, 'serving_g': 23, 'sodium_mg': 495} | {'kcal': 78, 'kcal_per_100g': 338, 'serving_g': 23, 'sodium_mg': 495} | Passed |
| generated control 3 | {'kcal': 196, 'kcal_per_100g': 248, 'serving_g': 79, 'sodium_mg': 620} | {'kcal': 196, 'kcal_per_100g': 248, 'serving_g': 79, 'sodium_mg': 620} | Passed |
SHA-256 / 3c0b86a265af5ee86637d13ab12aa03ddb661030f3995ae0962cdf0fa8bfeb33
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:27.520476+00:00.
Case digest / 557440c8ad3d9e05352b2560ea50a81c75b487abed0eab7b3e93cbc144bd7e2a