FA-96966 / Recipe scaling and nutrition / Open access
Cooked-yield nutrition per serving: marinade retention · case 01
A soy marinade adds its entire sodium load to the chicken it was poured off.
ROOT CAUSE
Marinade rows count in full instead of at the 1/5 retention share.
VERIFIED REPAIR
Retain 1/5 of marinade weight and nutrients.
Unsuccessful approach: Using 4/5 counts the discarded portion instead of the retained one.
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)
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: marinade retention',
[[['stock', 525, 10, 350, 'marinade'], ['chicken', 600, 165, 70, 'eat'],
['lemon rind', 20, 47, 6, 'discard'], ['oil', 40, 884, 0, 'marinade']],
80, 1],
{'kcal': 1071, 'kcal_per_100g': 188, 'serving_g': 570, 'sodium_mg': 788}],
['repair check: marinade retention',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['rice', 300, 130, 1, 'eat'],
['stock', 510, 10, 350, 'eat'], ['onion', 150, 40, 4, 'eat'], ['chicken', 625, 165, 70, 'eat']],
60, 5],
{'kcal': 312, 'kcal_per_100g': 159, 'serving_g': 196, 'sodium_mg': 941}],
['generated control 1', [[['chicken', 625, 165, 70, 'eat'], ['onion', 150, 40, 4, 'eat']], 75, 1],
{'kcal': 1091, 'kcal_per_100g': 188, 'serving_g': 581, 'sodium_mg': 444}],
['generated control 2',
[[['chicken', 625, 165, 70, 'eat'], ['onion', 160, 40, 4, 'eat'], ['rice', 325, 130, 1, 'eat'],
['oil', 55, 884, 0, 'eat'], ['lemon rind', 30, 47, 6, 'discard']],
100, 3],
{'kcal': 668, 'kcal_per_100g': 172, 'serving_g': 388, 'sodium_mg': 149}],
['generated control 3',
[[['lemon rind', 20, 47, 6, 'eat'], ['chicken', 600, 165, 70, 'eat'],
['bay leaf', 27, 313, 23, 'discard']],
90, 6],
{'kcal': 167, 'kcal_per_100g': 179, 'serving_g': 93, 'sodium_mg': 70}]],
[['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: marinade retention',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['stock', 500, 10, 350, 'eat']], 110, 6],
{'kcal': 12, 'kcal_per_100g': 12, 'serving_g': 99, 'sodium_mg': 658}],
['repair check: marinade retention',
[[['rice', 310, 130, 1, 'marinade'], ['stock', 510, 10, 350, 'eat'], ['lemon rind', 45, 47, 6, 'eat']], 70,
2],
{'kcal': 76, 'kcal_per_100g': 35, 'serving_g': 216, 'sodium_mg': 894}],
['generated control 1', [[['lemon rind', 30, 47, 6, 'discard'], ['onion', 175, 40, 4, 'eat']], 75, 1],
{'kcal': 70, 'kcal_per_100g': 53, 'serving_g': 131, 'sodium_mg': 7}],
['generated control 2',
[[['stock', 525, 10, 350, 'eat'], ['lemon rind', 30, 47, 6, 'discard'], ['rice', 310, 130, 1, 'eat'],
['chicken', 625, 165, 70, 'eat']],
75, 4],
{'kcal': 372, 'kcal_per_100g': 136, 'serving_g': 274, 'sodium_mg': 570}],
['generated control 3',
[[['oil', 40, 884, 0, 'marinade'], ['chicken', 610, 165, 70, 'marinade'], ['bay leaf', 12, 313, 23, 'eat'],
['soy marinade', 225, 60, 5500, 'marinade']],
70, 1],
{'kcal': 337, 'kcal_per_100g': 257, 'serving_g': 131, 'sodium_mg': 2563}]],
[['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: marinade retention',
[[['onion', 150, 40, 4, 'eat'], ['stock', 525, 10, 350, 'eat'], ['bay leaf', 2, 313, 23, 'marinade'],
['rice', 300, 130, 1, 'eat'], ['chicken', 610, 165, 70, 'eat']],
110, 2],
{'kcal': 755, 'kcal_per_100g': 87, 'serving_g': 872, 'sodium_mg': 1137}],
['repair check: marinade retention',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['onion', 150, 40, 4, 'eat'], ['rice', 300, 130, 1, 'eat']],
110, 2],
{'kcal': 237, 'kcal_per_100g': 88, 'serving_g': 270, 'sodium_mg': 1105}],
['generated control 1', [[['oil', 40, 884, 0, 'eat'], ['stock', 500, 10, 350, 'eat']], 110, 4],
{'kcal': 101, 'kcal_per_100g': 68, 'serving_g': 149, 'sodium_mg': 438}],
['generated control 2',
[[['onion', 160, 40, 4, 'eat'], ['lemon rind', 20, 47, 6, 'discard'], ['bay leaf', 2, 313, 23, 'eat']], 70,
1],
{'kcal': 70, 'kcal_per_100g': 62, 'serving_g': 113, 'sodium_mg': 7}],
['generated control 3',
[[['stock', 525, 10, 350, 'eat'], ['rice', 325, 130, 1, 'eat'], ['oil', 55, 884, 0, 'eat']], 90, 2],
{'kcal': 481, 'kcal_per_100g': 118, 'serving_g': 407, 'sodium_mg': 920}]],
[['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: marinade retention',
[[['chicken', 600, 165, 70, 'eat'], ['oil', 30, 884, 0, 'marinade'], ['rice', 310, 130, 1, 'eat'],
['lemon rind', 20, 47, 6, 'eat'], ['bay leaf', 2, 313, 23, 'eat']],
90, 1],
{'kcal': 1462, 'kcal_per_100g': 173, 'serving_g': 844, 'sodium_mg': 425}],
['repair check: marinade retention',
[[['stock', 525, 10, 350, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade'],
['rice', 325, 130, 1, 'eat'], ['bay leaf', 2, 313, 23, 'discard']],
90, 5],
{'kcal': 100, 'kcal_per_100g': 62, 'serving_g': 161, 'sodium_mg': 830}],
['generated control 1', [[['onion', 150, 40, 4, 'eat'], ['chicken', 600, 165, 70, 'eat']], 75, 1],
{'kcal': 1050, 'kcal_per_100g': 187, 'serving_g': 563, 'sodium_mg': 426}],
['generated control 2',
[[['stock', 510, 10, 350, 'eat'], ['oil', 40, 884, 0, 'eat'], ['lemon rind', 45, 47, 6, 'discard']], 90,
1],
{'kcal': 405, 'kcal_per_100g': 82, 'serving_g': 495, 'sodium_mg': 1785}],
['generated control 3', [[['oil', 55, 884, 0, 'eat'], ['bay leaf', 12, 313, 23, 'eat']], 60, 1],
{'kcal': 524, 'kcal_per_100g': 1303, 'serving_g': 40, 'sodium_mg': 3}]],
[['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: marinade retention',
[[['lemon rind', 30, 47, 6, 'discard'], ['soy marinade', 225, 60, 5500, 'marinade'],
['oil', 30, 884, 0, 'eat'], ['onion', 150, 40, 4, 'eat'], ['rice', 300, 130, 1, 'eat']],
75, 4],
{'kcal': 186, 'kcal_per_100g': 188, 'serving_g': 98, 'sodium_mg': 621}],
['repair check: marinade retention',
[[['chicken', 610, 165, 70, 'marinade'], ['oil', 40, 884, 0, 'marinade'],
['soy marinade', 200, 60, 5500, 'marinade'], ['bay leaf', 27, 313, 23, 'discard']],
80, 4],
{'kcal': 74, 'kcal_per_100g': 218, 'serving_g': 34, 'sodium_mg': 571}],
['generated control 1',
[[['chicken', 610, 165, 70, 'eat'], ['bay leaf', 27, 313, 23, 'eat'], ['onion', 150, 40, 4, 'eat']], 90,
1],
{'kcal': 1151, 'kcal_per_100g': 163, 'serving_g': 708, 'sodium_mg': 439}],
['generated control 2',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['onion', 175, 40, 4, 'eat']], 100, 3],
{'kcal': 31, 'kcal_per_100g': 44, 'serving_g': 72, 'sodium_mg': 736}],
['generated control 3', [[['onion', 175, 40, 4, 'eat'], ['oil', 55, 884, 0, 'eat']], 80, 6],
{'kcal': 93, 'kcal_per_100g': 302, 'serving_g': 31, 'sodium_mg': 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 |
|---|---|---|---|
| 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: marinade retention | {'kcal': 1396, 'kcal_per_100g': 150, 'serving_g': 932, 'sodium_mg': 2258} | {'kcal': 1071, 'kcal_per_100g': 188, 'serving_g': 570, 'sodium_mg': 788} | Failed |
| repair check: marinade retention | {'kcal': 333, 'kcal_per_100g': 154, 'serving_g': 217, 'sodium_mg': 2921} | {'kcal': 312, 'kcal_per_100g': 159, 'serving_g': 196, 'sodium_mg': 941} | Failed |
| generated control 1 | {'kcal': 1091, 'kcal_per_100g': 188, 'serving_g': 581, 'sodium_mg': 444} | {'kcal': 1091, 'kcal_per_100g': 188, 'serving_g': 581, 'sodium_mg': 444} | Passed |
| generated control 2 | {'kcal': 668, 'kcal_per_100g': 172, 'serving_g': 388, 'sodium_mg': 149} | {'kcal': 668, 'kcal_per_100g': 172, 'serving_g': 388, 'sodium_mg': 149} | Passed |
| generated control 3 | {'kcal': 167, 'kcal_per_100g': 179, 'serving_g': 93, 'sodium_mg': 70} | {'kcal': 167, 'kcal_per_100g': 179, 'serving_g': 93, 'sodium_mg': 70} | Passed |
SHA-256 / 3adc88733ae82bdb93bcbd4b0d5861e8a1edecb33d54101b19c8925f12400240
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(4, 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: marinade retention',
[[['stock', 525, 10, 350, 'marinade'], ['chicken', 600, 165, 70, 'eat'],
['lemon rind', 20, 47, 6, 'discard'], ['oil', 40, 884, 0, 'marinade']],
80, 1],
{'kcal': 1071, 'kcal_per_100g': 188, 'serving_g': 570, 'sodium_mg': 788}],
['repair check: marinade retention',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['rice', 300, 130, 1, 'eat'],
['stock', 510, 10, 350, 'eat'], ['onion', 150, 40, 4, 'eat'], ['chicken', 625, 165, 70, 'eat']],
60, 5],
{'kcal': 312, 'kcal_per_100g': 159, 'serving_g': 196, 'sodium_mg': 941}],
['generated control 1', [[['chicken', 625, 165, 70, 'eat'], ['onion', 150, 40, 4, 'eat']], 75, 1],
{'kcal': 1091, 'kcal_per_100g': 188, 'serving_g': 581, 'sodium_mg': 444}],
['generated control 2',
[[['chicken', 625, 165, 70, 'eat'], ['onion', 160, 40, 4, 'eat'], ['rice', 325, 130, 1, 'eat'],
['oil', 55, 884, 0, 'eat'], ['lemon rind', 30, 47, 6, 'discard']],
100, 3],
{'kcal': 668, 'kcal_per_100g': 172, 'serving_g': 388, 'sodium_mg': 149}],
['generated control 3',
[[['lemon rind', 20, 47, 6, 'eat'], ['chicken', 600, 165, 70, 'eat'],
['bay leaf', 27, 313, 23, 'discard']],
90, 6],
{'kcal': 167, 'kcal_per_100g': 179, 'serving_g': 93, 'sodium_mg': 70}]],
[['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: marinade retention',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['stock', 500, 10, 350, 'eat']], 110, 6],
{'kcal': 12, 'kcal_per_100g': 12, 'serving_g': 99, 'sodium_mg': 658}],
['repair check: marinade retention',
[[['rice', 310, 130, 1, 'marinade'], ['stock', 510, 10, 350, 'eat'], ['lemon rind', 45, 47, 6, 'eat']], 70,
2],
{'kcal': 76, 'kcal_per_100g': 35, 'serving_g': 216, 'sodium_mg': 894}],
['generated control 1', [[['lemon rind', 30, 47, 6, 'discard'], ['onion', 175, 40, 4, 'eat']], 75, 1],
{'kcal': 70, 'kcal_per_100g': 53, 'serving_g': 131, 'sodium_mg': 7}],
['generated control 2',
[[['stock', 525, 10, 350, 'eat'], ['lemon rind', 30, 47, 6, 'discard'], ['rice', 310, 130, 1, 'eat'],
['chicken', 625, 165, 70, 'eat']],
75, 4],
{'kcal': 372, 'kcal_per_100g': 136, 'serving_g': 274, 'sodium_mg': 570}],
['generated control 3',
[[['oil', 40, 884, 0, 'marinade'], ['chicken', 610, 165, 70, 'marinade'], ['bay leaf', 12, 313, 23, 'eat'],
['soy marinade', 225, 60, 5500, 'marinade']],
70, 1],
{'kcal': 337, 'kcal_per_100g': 257, 'serving_g': 131, 'sodium_mg': 2563}]],
[['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: marinade retention',
[[['onion', 150, 40, 4, 'eat'], ['stock', 525, 10, 350, 'eat'], ['bay leaf', 2, 313, 23, 'marinade'],
['rice', 300, 130, 1, 'eat'], ['chicken', 610, 165, 70, 'eat']],
110, 2],
{'kcal': 755, 'kcal_per_100g': 87, 'serving_g': 872, 'sodium_mg': 1137}],
['repair check: marinade retention',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['onion', 150, 40, 4, 'eat'], ['rice', 300, 130, 1, 'eat']],
110, 2],
{'kcal': 237, 'kcal_per_100g': 88, 'serving_g': 270, 'sodium_mg': 1105}],
['generated control 1', [[['oil', 40, 884, 0, 'eat'], ['stock', 500, 10, 350, 'eat']], 110, 4],
{'kcal': 101, 'kcal_per_100g': 68, 'serving_g': 149, 'sodium_mg': 438}],
['generated control 2',
[[['onion', 160, 40, 4, 'eat'], ['lemon rind', 20, 47, 6, 'discard'], ['bay leaf', 2, 313, 23, 'eat']], 70,
1],
{'kcal': 70, 'kcal_per_100g': 62, 'serving_g': 113, 'sodium_mg': 7}],
['generated control 3',
[[['stock', 525, 10, 350, 'eat'], ['rice', 325, 130, 1, 'eat'], ['oil', 55, 884, 0, 'eat']], 90, 2],
{'kcal': 481, 'kcal_per_100g': 118, 'serving_g': 407, 'sodium_mg': 920}]],
[['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: marinade retention',
[[['chicken', 600, 165, 70, 'eat'], ['oil', 30, 884, 0, 'marinade'], ['rice', 310, 130, 1, 'eat'],
['lemon rind', 20, 47, 6, 'eat'], ['bay leaf', 2, 313, 23, 'eat']],
90, 1],
{'kcal': 1462, 'kcal_per_100g': 173, 'serving_g': 844, 'sodium_mg': 425}],
['repair check: marinade retention',
[[['stock', 525, 10, 350, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade'],
['rice', 325, 130, 1, 'eat'], ['bay leaf', 2, 313, 23, 'discard']],
90, 5],
{'kcal': 100, 'kcal_per_100g': 62, 'serving_g': 161, 'sodium_mg': 830}],
['generated control 1', [[['onion', 150, 40, 4, 'eat'], ['chicken', 600, 165, 70, 'eat']], 75, 1],
{'kcal': 1050, 'kcal_per_100g': 187, 'serving_g': 563, 'sodium_mg': 426}],
['generated control 2',
[[['stock', 510, 10, 350, 'eat'], ['oil', 40, 884, 0, 'eat'], ['lemon rind', 45, 47, 6, 'discard']], 90,
1],
{'kcal': 405, 'kcal_per_100g': 82, 'serving_g': 495, 'sodium_mg': 1785}],
['generated control 3', [[['oil', 55, 884, 0, 'eat'], ['bay leaf', 12, 313, 23, 'eat']], 60, 1],
{'kcal': 524, 'kcal_per_100g': 1303, 'serving_g': 40, 'sodium_mg': 3}]],
[['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: marinade retention',
[[['lemon rind', 30, 47, 6, 'discard'], ['soy marinade', 225, 60, 5500, 'marinade'],
['oil', 30, 884, 0, 'eat'], ['onion', 150, 40, 4, 'eat'], ['rice', 300, 130, 1, 'eat']],
75, 4],
{'kcal': 186, 'kcal_per_100g': 188, 'serving_g': 98, 'sodium_mg': 621}],
['repair check: marinade retention',
[[['chicken', 610, 165, 70, 'marinade'], ['oil', 40, 884, 0, 'marinade'],
['soy marinade', 200, 60, 5500, 'marinade'], ['bay leaf', 27, 313, 23, 'discard']],
80, 4],
{'kcal': 74, 'kcal_per_100g': 218, 'serving_g': 34, 'sodium_mg': 571}],
['generated control 1',
[[['chicken', 610, 165, 70, 'eat'], ['bay leaf', 27, 313, 23, 'eat'], ['onion', 150, 40, 4, 'eat']], 90,
1],
{'kcal': 1151, 'kcal_per_100g': 163, 'serving_g': 708, 'sodium_mg': 439}],
['generated control 2',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['onion', 175, 40, 4, 'eat']], 100, 3],
{'kcal': 31, 'kcal_per_100g': 44, 'serving_g': 72, 'sodium_mg': 736}],
['generated control 3', [[['onion', 175, 40, 4, 'eat'], ['oil', 55, 884, 0, 'eat']], 80, 6],
{'kcal': 93, 'kcal_per_100g': 302, 'serving_g': 31, 'sodium_mg': 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 |
|---|---|---|---|
| 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: marinade retention | {'kcal': 1315, 'kcal_per_100g': 156, 'serving_g': 842, 'sodium_mg': 1890} | {'kcal': 1071, 'kcal_per_100g': 188, 'serving_g': 570, 'sodium_mg': 788} | Failed |
| repair check: marinade retention | {'kcal': 328, 'kcal_per_100g': 155, 'serving_g': 212, 'sodium_mg': 2426} | {'kcal': 312, 'kcal_per_100g': 159, 'serving_g': 196, 'sodium_mg': 941} | Failed |
| generated control 1 | {'kcal': 1091, 'kcal_per_100g': 188, 'serving_g': 581, 'sodium_mg': 444} | {'kcal': 1091, 'kcal_per_100g': 188, 'serving_g': 581, 'sodium_mg': 444} | Passed |
| generated control 2 | {'kcal': 668, 'kcal_per_100g': 172, 'serving_g': 388, 'sodium_mg': 149} | {'kcal': 668, 'kcal_per_100g': 172, 'serving_g': 388, 'sodium_mg': 149} | Passed |
| generated control 3 | {'kcal': 167, 'kcal_per_100g': 179, 'serving_g': 93, 'sodium_mg': 70} | {'kcal': 167, 'kcal_per_100g': 179, 'serving_g': 93, 'sodium_mg': 70} | Passed |
SHA-256 / 83c420cbac305d82852120d53e699ff259e5dd7b4d76c1828dba14b6bf52c029
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: marinade retention',
[[['stock', 525, 10, 350, 'marinade'], ['chicken', 600, 165, 70, 'eat'],
['lemon rind', 20, 47, 6, 'discard'], ['oil', 40, 884, 0, 'marinade']],
80, 1],
{'kcal': 1071, 'kcal_per_100g': 188, 'serving_g': 570, 'sodium_mg': 788}],
['repair check: marinade retention',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['rice', 300, 130, 1, 'eat'],
['stock', 510, 10, 350, 'eat'], ['onion', 150, 40, 4, 'eat'], ['chicken', 625, 165, 70, 'eat']],
60, 5],
{'kcal': 312, 'kcal_per_100g': 159, 'serving_g': 196, 'sodium_mg': 941}],
['generated control 1', [[['chicken', 625, 165, 70, 'eat'], ['onion', 150, 40, 4, 'eat']], 75, 1],
{'kcal': 1091, 'kcal_per_100g': 188, 'serving_g': 581, 'sodium_mg': 444}],
['generated control 2',
[[['chicken', 625, 165, 70, 'eat'], ['onion', 160, 40, 4, 'eat'], ['rice', 325, 130, 1, 'eat'],
['oil', 55, 884, 0, 'eat'], ['lemon rind', 30, 47, 6, 'discard']],
100, 3],
{'kcal': 668, 'kcal_per_100g': 172, 'serving_g': 388, 'sodium_mg': 149}],
['generated control 3',
[[['lemon rind', 20, 47, 6, 'eat'], ['chicken', 600, 165, 70, 'eat'],
['bay leaf', 27, 313, 23, 'discard']],
90, 6],
{'kcal': 167, 'kcal_per_100g': 179, 'serving_g': 93, 'sodium_mg': 70}]],
[['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: marinade retention',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['stock', 500, 10, 350, 'eat']], 110, 6],
{'kcal': 12, 'kcal_per_100g': 12, 'serving_g': 99, 'sodium_mg': 658}],
['repair check: marinade retention',
[[['rice', 310, 130, 1, 'marinade'], ['stock', 510, 10, 350, 'eat'], ['lemon rind', 45, 47, 6, 'eat']], 70,
2],
{'kcal': 76, 'kcal_per_100g': 35, 'serving_g': 216, 'sodium_mg': 894}],
['generated control 1', [[['lemon rind', 30, 47, 6, 'discard'], ['onion', 175, 40, 4, 'eat']], 75, 1],
{'kcal': 70, 'kcal_per_100g': 53, 'serving_g': 131, 'sodium_mg': 7}],
['generated control 2',
[[['stock', 525, 10, 350, 'eat'], ['lemon rind', 30, 47, 6, 'discard'], ['rice', 310, 130, 1, 'eat'],
['chicken', 625, 165, 70, 'eat']],
75, 4],
{'kcal': 372, 'kcal_per_100g': 136, 'serving_g': 274, 'sodium_mg': 570}],
['generated control 3',
[[['oil', 40, 884, 0, 'marinade'], ['chicken', 610, 165, 70, 'marinade'], ['bay leaf', 12, 313, 23, 'eat'],
['soy marinade', 225, 60, 5500, 'marinade']],
70, 1],
{'kcal': 337, 'kcal_per_100g': 257, 'serving_g': 131, 'sodium_mg': 2563}]],
[['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: marinade retention',
[[['onion', 150, 40, 4, 'eat'], ['stock', 525, 10, 350, 'eat'], ['bay leaf', 2, 313, 23, 'marinade'],
['rice', 300, 130, 1, 'eat'], ['chicken', 610, 165, 70, 'eat']],
110, 2],
{'kcal': 755, 'kcal_per_100g': 87, 'serving_g': 872, 'sodium_mg': 1137}],
['repair check: marinade retention',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['onion', 150, 40, 4, 'eat'], ['rice', 300, 130, 1, 'eat']],
110, 2],
{'kcal': 237, 'kcal_per_100g': 88, 'serving_g': 270, 'sodium_mg': 1105}],
['generated control 1', [[['oil', 40, 884, 0, 'eat'], ['stock', 500, 10, 350, 'eat']], 110, 4],
{'kcal': 101, 'kcal_per_100g': 68, 'serving_g': 149, 'sodium_mg': 438}],
['generated control 2',
[[['onion', 160, 40, 4, 'eat'], ['lemon rind', 20, 47, 6, 'discard'], ['bay leaf', 2, 313, 23, 'eat']], 70,
1],
{'kcal': 70, 'kcal_per_100g': 62, 'serving_g': 113, 'sodium_mg': 7}],
['generated control 3',
[[['stock', 525, 10, 350, 'eat'], ['rice', 325, 130, 1, 'eat'], ['oil', 55, 884, 0, 'eat']], 90, 2],
{'kcal': 481, 'kcal_per_100g': 118, 'serving_g': 407, 'sodium_mg': 920}]],
[['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: marinade retention',
[[['chicken', 600, 165, 70, 'eat'], ['oil', 30, 884, 0, 'marinade'], ['rice', 310, 130, 1, 'eat'],
['lemon rind', 20, 47, 6, 'eat'], ['bay leaf', 2, 313, 23, 'eat']],
90, 1],
{'kcal': 1462, 'kcal_per_100g': 173, 'serving_g': 844, 'sodium_mg': 425}],
['repair check: marinade retention',
[[['stock', 525, 10, 350, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade'],
['rice', 325, 130, 1, 'eat'], ['bay leaf', 2, 313, 23, 'discard']],
90, 5],
{'kcal': 100, 'kcal_per_100g': 62, 'serving_g': 161, 'sodium_mg': 830}],
['generated control 1', [[['onion', 150, 40, 4, 'eat'], ['chicken', 600, 165, 70, 'eat']], 75, 1],
{'kcal': 1050, 'kcal_per_100g': 187, 'serving_g': 563, 'sodium_mg': 426}],
['generated control 2',
[[['stock', 510, 10, 350, 'eat'], ['oil', 40, 884, 0, 'eat'], ['lemon rind', 45, 47, 6, 'discard']], 90,
1],
{'kcal': 405, 'kcal_per_100g': 82, 'serving_g': 495, 'sodium_mg': 1785}],
['generated control 3', [[['oil', 55, 884, 0, 'eat'], ['bay leaf', 12, 313, 23, 'eat']], 60, 1],
{'kcal': 524, 'kcal_per_100g': 1303, 'serving_g': 40, 'sodium_mg': 3}]],
[['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: marinade retention',
[[['lemon rind', 30, 47, 6, 'discard'], ['soy marinade', 225, 60, 5500, 'marinade'],
['oil', 30, 884, 0, 'eat'], ['onion', 150, 40, 4, 'eat'], ['rice', 300, 130, 1, 'eat']],
75, 4],
{'kcal': 186, 'kcal_per_100g': 188, 'serving_g': 98, 'sodium_mg': 621}],
['repair check: marinade retention',
[[['chicken', 610, 165, 70, 'marinade'], ['oil', 40, 884, 0, 'marinade'],
['soy marinade', 200, 60, 5500, 'marinade'], ['bay leaf', 27, 313, 23, 'discard']],
80, 4],
{'kcal': 74, 'kcal_per_100g': 218, 'serving_g': 34, 'sodium_mg': 571}],
['generated control 1',
[[['chicken', 610, 165, 70, 'eat'], ['bay leaf', 27, 313, 23, 'eat'], ['onion', 150, 40, 4, 'eat']], 90,
1],
{'kcal': 1151, 'kcal_per_100g': 163, 'serving_g': 708, 'sodium_mg': 439}],
['generated control 2',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['onion', 175, 40, 4, 'eat']], 100, 3],
{'kcal': 31, 'kcal_per_100g': 44, 'serving_g': 72, 'sodium_mg': 736}],
['generated control 3', [[['onion', 175, 40, 4, 'eat'], ['oil', 55, 884, 0, 'eat']], 80, 6],
{'kcal': 93, 'kcal_per_100g': 302, 'serving_g': 31, 'sodium_mg': 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 |
|---|---|---|---|
| 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: marinade retention | {'kcal': 1071, 'kcal_per_100g': 188, 'serving_g': 570, 'sodium_mg': 788} | {'kcal': 1071, 'kcal_per_100g': 188, 'serving_g': 570, 'sodium_mg': 788} | Passed |
| repair check: marinade retention | {'kcal': 312, 'kcal_per_100g': 159, 'serving_g': 196, 'sodium_mg': 941} | {'kcal': 312, 'kcal_per_100g': 159, 'serving_g': 196, 'sodium_mg': 941} | Passed |
| generated control 1 | {'kcal': 1091, 'kcal_per_100g': 188, 'serving_g': 581, 'sodium_mg': 444} | {'kcal': 1091, 'kcal_per_100g': 188, 'serving_g': 581, 'sodium_mg': 444} | Passed |
| generated control 2 | {'kcal': 668, 'kcal_per_100g': 172, 'serving_g': 388, 'sodium_mg': 149} | {'kcal': 668, 'kcal_per_100g': 172, 'serving_g': 388, 'sodium_mg': 149} | Passed |
| generated control 3 | {'kcal': 167, 'kcal_per_100g': 179, 'serving_g': 93, 'sodium_mg': 70} | {'kcal': 167, 'kcal_per_100g': 179, 'serving_g': 93, 'sodium_mg': 70} | Passed |
SHA-256 / f1d04309a5d55ebc1d6f334cd6a245b1bc53cb543694c48e1013ade98d013613
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.566275+00:00.
Case digest / e9b0b89f108c23084501431e008973ccfe6f21fd0c9226a4e4424469884683d8