FA-96976 / Recipe scaling and nutrition / Open access
Cooked-yield nutrition per serving: serving weight rounding · case 01
A 337.5 g serving prints as 337 g.
ROOT CAUSE
Serving weight is truncated instead of rounded half-up.
VERIFIED REPAIR
Round cooked weight per serving half-up.
Unsuccessful approach: Rounding raw weight per serving ignores moisture loss entirely.
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': int(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: serving weight rounding',
[[['bay leaf', 27, 313, 23, 'eat'], ['oil', 55, 884, 0, 'eat'], ['lemon rind', 30, 47, 6, 'discard'],
['stock', 525, 10, 350, 'marinade'], ['rice', 325, 130, 1, 'eat']],
70, 6],
{'kcal': 167, 'kcal_per_100g': 280, 'serving_g': 60, 'sodium_mg': 63}],
['repair check: serving weight rounding',
[[['rice', 325, 130, 1, 'eat'], ['oil', 40, 884, 0, 'eat'], ['bay leaf', 12, 313, 23, 'discard'],
['soy marinade', 225, 60, 5500, 'marinade']],
90, 1],
{'kcal': 803, 'kcal_per_100g': 218, 'serving_g': 369, 'sodium_mg': 2478}],
['generated control 1',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['onion', 150, 40, 4, 'eat'],
['stock', 525, 10, 350, 'eat'], ['lemon rind', 30, 47, 6, 'discard']],
100, 4],
{'kcal': 34, 'kcal_per_100g': 19, 'serving_g': 179, 'sodium_mg': 1011}],
['generated control 2',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['lemon rind', 20, 47, 6, 'discard']], 60, 4],
{'kcal': 6, 'kcal_per_100g': 100, 'serving_g': 6, 'sodium_mg': 550}],
['generated control 3',
[[['lemon rind', 45, 47, 6, 'eat'], ['onion', 150, 40, 4, 'marinade'], ['stock', 525, 10, 350, 'eat'],
['bay leaf', 12, 313, 23, 'eat'], ['oil', 30, 884, 0, 'eat']],
75, 1],
{'kcal': 388, 'kcal_per_100g': 81, 'serving_g': 482, 'sodium_mg': 1844}]],
[['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: serving weight rounding',
[[['lemon rind', 20, 47, 6, 'discard'], ['stock', 525, 10, 350, 'eat'], ['oil', 55, 884, 0, 'eat']], 75,
6],
{'kcal': 90, 'kcal_per_100g': 124, 'serving_g': 73, 'sodium_mg': 306}],
['repair check: serving weight rounding',
[[['lemon rind', 30, 47, 6, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade'],
['rice', 325, 130, 1, 'eat']],
60, 1],
{'kcal': 461, 'kcal_per_100g': 194, 'serving_g': 237, 'sodium_mg': 2205}],
['generated control 1',
[[['oil', 30, 884, 0, 'eat'], ['stock', 525, 10, 350, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade'],
['bay leaf', 2, 313, 23, 'eat']],
100, 1],
{'kcal': 351, 'kcal_per_100g': 58, 'serving_g': 602, 'sodium_mg': 4313}],
['generated control 2',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['stock', 500, 10, 350, 'eat']], 100, 1],
{'kcal': 74, 'kcal_per_100g': 14, 'serving_g': 540, 'sodium_mg': 3950}],
['generated control 3',
[[['soy marinade', 210, 60, 5500, 'marinade'], ['bay leaf', 2, 313, 23, 'discard']], 110, 2],
{'kcal': 13, 'kcal_per_100g': 55, 'serving_g': 23, 'sodium_mg': 1155}]],
[['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: serving weight rounding',
[[['chicken', 600, 165, 70, 'eat'], ['lemon rind', 45, 47, 6, 'eat']], 90, 1],
{'kcal': 1011, 'kcal_per_100g': 174, 'serving_g': 581, 'sodium_mg': 423}],
['repair check: serving weight rounding',
[[['lemon rind', 45, 47, 6, 'eat'], ['bay leaf', 27, 313, 23, 'discard'], ['oil', 40, 884, 0, 'eat'],
['rice', 300, 130, 1, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade']],
60, 3],
{'kcal': 264, 'kcal_per_100g': 307, 'serving_g': 86, 'sodium_mg': 827}],
['generated control 1',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['onion', 175, 40, 4, 'eat'], ['rice', 300, 130, 1, 'eat']],
70, 2],
{'kcal': 244, 'kcal_per_100g': 134, 'serving_g': 182, 'sodium_mg': 1243}],
['generated control 2',
[[['stock', 510, 10, 350, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade'],
['onion', 160, 40, 4, 'marinade'], ['lemon rind', 45, 47, 6, 'discard'],
['chicken', 600, 165, 70, 'eat']],
75, 6],
{'kcal': 180, 'kcal_per_100g': 122, 'serving_g': 148, 'sodium_mg': 753}],
['generated control 3',
[[['lemon rind', 45, 47, 6, 'discard'], ['oil', 30, 884, 0, 'eat'], ['stock', 525, 10, 350, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade']],
60, 1],
{'kcal': 343, 'kcal_per_100g': 96, 'serving_g': 358, 'sodium_mg': 4148}]],
[['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: serving weight rounding',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['rice', 325, 130, 1, 'eat'], ['onion', 160, 40, 4, 'eat']],
100, 4],
{'kcal': 128, 'kcal_per_100g': 97, 'serving_g': 133, 'sodium_mg': 621}],
['repair check: serving weight rounding',
[[['chicken', 610, 165, 70, 'eat'], ['bay leaf', 27, 313, 23, 'discard'], ['oil', 30, 884, 0, 'marinade']],
110, 2],
{'kcal': 530, 'kcal_per_100g': 156, 'serving_g': 339, 'sodium_mg': 214}],
['generated control 1', [[['stock', 525, 10, 350, 'eat'], ['rice', 310, 130, 1, 'eat']], 100, 5],
{'kcal': 91, 'kcal_per_100g': 55, 'serving_g': 167, 'sodium_mg': 368}],
['generated control 2',
[[['stock', 525, 10, 350, 'eat'], ['oil', 30, 884, 0, 'eat'], ['lemon rind', 45, 47, 6, 'discard'],
['bay leaf', 27, 313, 23, 'eat'], ['rice', 325, 130, 1, 'marinade']],
90, 1],
{'kcal': 487, 'kcal_per_100g': 84, 'serving_g': 582, 'sodium_mg': 1844}],
['generated control 3',
[[['bay leaf', 12, 313, 23, 'discard'], ['lemon rind', 30, 47, 6, 'discard'], ['rice', 310, 130, 1, 'eat'],
['chicken', 600, 165, 70, 'eat']],
75, 2],
{'kcal': 697, 'kcal_per_100g': 204, 'serving_g': 341, 'sodium_mg': 212}]],
[['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: serving weight rounding',
[[['bay leaf', 27, 313, 23, 'eat'], ['lemon rind', 20, 47, 6, 'discard'],
['chicken', 610, 165, 70, 'marinade'], ['stock', 510, 10, 350, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade']],
75, 6],
{'kcal': 60, 'kcal_per_100g': 69, 'serving_g': 88, 'sodium_mg': 698}],
['repair check: serving weight rounding',
[[['onion', 150, 40, 4, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade'], ['oil', 30, 884, 0, 'eat'],
['rice', 325, 130, 1, 'eat']],
90, 3],
{'kcal': 258, 'kcal_per_100g': 157, 'serving_g': 165, 'sodium_mg': 828}],
['generated control 1',
[[['chicken', 610, 165, 70, 'eat'], ['oil', 30, 884, 0, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade']],
100, 1],
{'kcal': 1297, 'kcal_per_100g': 190, 'serving_g': 682, 'sodium_mg': 2737}],
['generated control 2',
[[['bay leaf', 2, 313, 23, 'eat'], ['stock', 500, 10, 350, 'eat'], ['rice', 325, 130, 1, 'eat']], 110, 2],
{'kcal': 239, 'kcal_per_100g': 53, 'serving_g': 455, 'sodium_mg': 877}],
['generated control 3',
[[['bay leaf', 2, 313, 23, 'discard'], ['lemon rind', 30, 47, 6, 'discard'], ['onion', 160, 40, 4, 'eat'],
['rice', 325, 130, 1, 'marinade']],
90, 2],
{'kcal': 74, 'kcal_per_100g': 73, 'serving_g': 101, 'sodium_mg': 4}]]]
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: serving weight rounding | {'kcal': 167, 'kcal_per_100g': 280, 'serving_g': 59, 'sodium_mg': 63} | {'kcal': 167, 'kcal_per_100g': 280, 'serving_g': 60, 'sodium_mg': 63} | Failed |
| repair check: serving weight rounding | {'kcal': 803, 'kcal_per_100g': 218, 'serving_g': 369, 'sodium_mg': 2478} | {'kcal': 803, 'kcal_per_100g': 218, 'serving_g': 369, 'sodium_mg': 2478} | Passed |
| generated control 1 | {'kcal': 34, 'kcal_per_100g': 19, 'serving_g': 178, 'sodium_mg': 1011} | {'kcal': 34, 'kcal_per_100g': 19, 'serving_g': 179, 'sodium_mg': 1011} | Failed |
| generated control 2 | {'kcal': 6, 'kcal_per_100g': 100, 'serving_g': 6, 'sodium_mg': 550} | {'kcal': 6, 'kcal_per_100g': 100, 'serving_g': 6, 'sodium_mg': 550} | Passed |
| generated control 3 | {'kcal': 388, 'kcal_per_100g': 81, 'serving_g': 481, 'sodium_mg': 1844} | {'kcal': 388, 'kcal_per_100g': 81, 'serving_g': 482, 'sodium_mg': 1844} | Failed |
SHA-256 / 24f87415293546c6666a0b7f5554bff788e214f1e8b89e9bf85592c0f7692e22
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(raw / 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: serving weight rounding',
[[['bay leaf', 27, 313, 23, 'eat'], ['oil', 55, 884, 0, 'eat'], ['lemon rind', 30, 47, 6, 'discard'],
['stock', 525, 10, 350, 'marinade'], ['rice', 325, 130, 1, 'eat']],
70, 6],
{'kcal': 167, 'kcal_per_100g': 280, 'serving_g': 60, 'sodium_mg': 63}],
['repair check: serving weight rounding',
[[['rice', 325, 130, 1, 'eat'], ['oil', 40, 884, 0, 'eat'], ['bay leaf', 12, 313, 23, 'discard'],
['soy marinade', 225, 60, 5500, 'marinade']],
90, 1],
{'kcal': 803, 'kcal_per_100g': 218, 'serving_g': 369, 'sodium_mg': 2478}],
['generated control 1',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['onion', 150, 40, 4, 'eat'],
['stock', 525, 10, 350, 'eat'], ['lemon rind', 30, 47, 6, 'discard']],
100, 4],
{'kcal': 34, 'kcal_per_100g': 19, 'serving_g': 179, 'sodium_mg': 1011}],
['generated control 2',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['lemon rind', 20, 47, 6, 'discard']], 60, 4],
{'kcal': 6, 'kcal_per_100g': 100, 'serving_g': 6, 'sodium_mg': 550}],
['generated control 3',
[[['lemon rind', 45, 47, 6, 'eat'], ['onion', 150, 40, 4, 'marinade'], ['stock', 525, 10, 350, 'eat'],
['bay leaf', 12, 313, 23, 'eat'], ['oil', 30, 884, 0, 'eat']],
75, 1],
{'kcal': 388, 'kcal_per_100g': 81, 'serving_g': 482, 'sodium_mg': 1844}]],
[['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: serving weight rounding',
[[['lemon rind', 20, 47, 6, 'discard'], ['stock', 525, 10, 350, 'eat'], ['oil', 55, 884, 0, 'eat']], 75,
6],
{'kcal': 90, 'kcal_per_100g': 124, 'serving_g': 73, 'sodium_mg': 306}],
['repair check: serving weight rounding',
[[['lemon rind', 30, 47, 6, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade'],
['rice', 325, 130, 1, 'eat']],
60, 1],
{'kcal': 461, 'kcal_per_100g': 194, 'serving_g': 237, 'sodium_mg': 2205}],
['generated control 1',
[[['oil', 30, 884, 0, 'eat'], ['stock', 525, 10, 350, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade'],
['bay leaf', 2, 313, 23, 'eat']],
100, 1],
{'kcal': 351, 'kcal_per_100g': 58, 'serving_g': 602, 'sodium_mg': 4313}],
['generated control 2',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['stock', 500, 10, 350, 'eat']], 100, 1],
{'kcal': 74, 'kcal_per_100g': 14, 'serving_g': 540, 'sodium_mg': 3950}],
['generated control 3',
[[['soy marinade', 210, 60, 5500, 'marinade'], ['bay leaf', 2, 313, 23, 'discard']], 110, 2],
{'kcal': 13, 'kcal_per_100g': 55, 'serving_g': 23, 'sodium_mg': 1155}]],
[['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: serving weight rounding',
[[['chicken', 600, 165, 70, 'eat'], ['lemon rind', 45, 47, 6, 'eat']], 90, 1],
{'kcal': 1011, 'kcal_per_100g': 174, 'serving_g': 581, 'sodium_mg': 423}],
['repair check: serving weight rounding',
[[['lemon rind', 45, 47, 6, 'eat'], ['bay leaf', 27, 313, 23, 'discard'], ['oil', 40, 884, 0, 'eat'],
['rice', 300, 130, 1, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade']],
60, 3],
{'kcal': 264, 'kcal_per_100g': 307, 'serving_g': 86, 'sodium_mg': 827}],
['generated control 1',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['onion', 175, 40, 4, 'eat'], ['rice', 300, 130, 1, 'eat']],
70, 2],
{'kcal': 244, 'kcal_per_100g': 134, 'serving_g': 182, 'sodium_mg': 1243}],
['generated control 2',
[[['stock', 510, 10, 350, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade'],
['onion', 160, 40, 4, 'marinade'], ['lemon rind', 45, 47, 6, 'discard'],
['chicken', 600, 165, 70, 'eat']],
75, 6],
{'kcal': 180, 'kcal_per_100g': 122, 'serving_g': 148, 'sodium_mg': 753}],
['generated control 3',
[[['lemon rind', 45, 47, 6, 'discard'], ['oil', 30, 884, 0, 'eat'], ['stock', 525, 10, 350, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade']],
60, 1],
{'kcal': 343, 'kcal_per_100g': 96, 'serving_g': 358, 'sodium_mg': 4148}]],
[['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: serving weight rounding',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['rice', 325, 130, 1, 'eat'], ['onion', 160, 40, 4, 'eat']],
100, 4],
{'kcal': 128, 'kcal_per_100g': 97, 'serving_g': 133, 'sodium_mg': 621}],
['repair check: serving weight rounding',
[[['chicken', 610, 165, 70, 'eat'], ['bay leaf', 27, 313, 23, 'discard'], ['oil', 30, 884, 0, 'marinade']],
110, 2],
{'kcal': 530, 'kcal_per_100g': 156, 'serving_g': 339, 'sodium_mg': 214}],
['generated control 1', [[['stock', 525, 10, 350, 'eat'], ['rice', 310, 130, 1, 'eat']], 100, 5],
{'kcal': 91, 'kcal_per_100g': 55, 'serving_g': 167, 'sodium_mg': 368}],
['generated control 2',
[[['stock', 525, 10, 350, 'eat'], ['oil', 30, 884, 0, 'eat'], ['lemon rind', 45, 47, 6, 'discard'],
['bay leaf', 27, 313, 23, 'eat'], ['rice', 325, 130, 1, 'marinade']],
90, 1],
{'kcal': 487, 'kcal_per_100g': 84, 'serving_g': 582, 'sodium_mg': 1844}],
['generated control 3',
[[['bay leaf', 12, 313, 23, 'discard'], ['lemon rind', 30, 47, 6, 'discard'], ['rice', 310, 130, 1, 'eat'],
['chicken', 600, 165, 70, 'eat']],
75, 2],
{'kcal': 697, 'kcal_per_100g': 204, 'serving_g': 341, 'sodium_mg': 212}]],
[['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: serving weight rounding',
[[['bay leaf', 27, 313, 23, 'eat'], ['lemon rind', 20, 47, 6, 'discard'],
['chicken', 610, 165, 70, 'marinade'], ['stock', 510, 10, 350, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade']],
75, 6],
{'kcal': 60, 'kcal_per_100g': 69, 'serving_g': 88, 'sodium_mg': 698}],
['repair check: serving weight rounding',
[[['onion', 150, 40, 4, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade'], ['oil', 30, 884, 0, 'eat'],
['rice', 325, 130, 1, 'eat']],
90, 3],
{'kcal': 258, 'kcal_per_100g': 157, 'serving_g': 165, 'sodium_mg': 828}],
['generated control 1',
[[['chicken', 610, 165, 70, 'eat'], ['oil', 30, 884, 0, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade']],
100, 1],
{'kcal': 1297, 'kcal_per_100g': 190, 'serving_g': 682, 'sodium_mg': 2737}],
['generated control 2',
[[['bay leaf', 2, 313, 23, 'eat'], ['stock', 500, 10, 350, 'eat'], ['rice', 325, 130, 1, 'eat']], 110, 2],
{'kcal': 239, 'kcal_per_100g': 53, 'serving_g': 455, 'sodium_mg': 877}],
['generated control 3',
[[['bay leaf', 2, 313, 23, 'discard'], ['lemon rind', 30, 47, 6, 'discard'], ['onion', 160, 40, 4, 'eat'],
['rice', 325, 130, 1, 'marinade']],
90, 2],
{'kcal': 74, 'kcal_per_100g': 73, 'serving_g': 101, 'sodium_mg': 4}]]]
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: serving weight rounding | {'kcal': 167, 'kcal_per_100g': 280, 'serving_g': 85, 'sodium_mg': 63} | {'kcal': 167, 'kcal_per_100g': 280, 'serving_g': 60, 'sodium_mg': 63} | Failed |
| repair check: serving weight rounding | {'kcal': 803, 'kcal_per_100g': 218, 'serving_g': 410, 'sodium_mg': 2478} | {'kcal': 803, 'kcal_per_100g': 218, 'serving_g': 369, 'sodium_mg': 2478} | Failed |
| generated control 1 | {'kcal': 34, 'kcal_per_100g': 19, 'serving_g': 179, 'sodium_mg': 1011} | {'kcal': 34, 'kcal_per_100g': 19, 'serving_g': 179, 'sodium_mg': 1011} | Passed |
| generated control 2 | {'kcal': 6, 'kcal_per_100g': 100, 'serving_g': 10, 'sodium_mg': 550} | {'kcal': 6, 'kcal_per_100g': 100, 'serving_g': 6, 'sodium_mg': 550} | Failed |
| generated control 3 | {'kcal': 388, 'kcal_per_100g': 81, 'serving_g': 642, 'sodium_mg': 1844} | {'kcal': 388, 'kcal_per_100g': 81, 'serving_g': 482, 'sodium_mg': 1844} | Failed |
SHA-256 / 1b55d22538ef5ea4940c64ec1427867c8b5dc40e7d5c78a398c4f2b6b9bdf7a3
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: serving weight rounding',
[[['bay leaf', 27, 313, 23, 'eat'], ['oil', 55, 884, 0, 'eat'], ['lemon rind', 30, 47, 6, 'discard'],
['stock', 525, 10, 350, 'marinade'], ['rice', 325, 130, 1, 'eat']],
70, 6],
{'kcal': 167, 'kcal_per_100g': 280, 'serving_g': 60, 'sodium_mg': 63}],
['repair check: serving weight rounding',
[[['rice', 325, 130, 1, 'eat'], ['oil', 40, 884, 0, 'eat'], ['bay leaf', 12, 313, 23, 'discard'],
['soy marinade', 225, 60, 5500, 'marinade']],
90, 1],
{'kcal': 803, 'kcal_per_100g': 218, 'serving_g': 369, 'sodium_mg': 2478}],
['generated control 1',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['onion', 150, 40, 4, 'eat'],
['stock', 525, 10, 350, 'eat'], ['lemon rind', 30, 47, 6, 'discard']],
100, 4],
{'kcal': 34, 'kcal_per_100g': 19, 'serving_g': 179, 'sodium_mg': 1011}],
['generated control 2',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['lemon rind', 20, 47, 6, 'discard']], 60, 4],
{'kcal': 6, 'kcal_per_100g': 100, 'serving_g': 6, 'sodium_mg': 550}],
['generated control 3',
[[['lemon rind', 45, 47, 6, 'eat'], ['onion', 150, 40, 4, 'marinade'], ['stock', 525, 10, 350, 'eat'],
['bay leaf', 12, 313, 23, 'eat'], ['oil', 30, 884, 0, 'eat']],
75, 1],
{'kcal': 388, 'kcal_per_100g': 81, 'serving_g': 482, 'sodium_mg': 1844}]],
[['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: serving weight rounding',
[[['lemon rind', 20, 47, 6, 'discard'], ['stock', 525, 10, 350, 'eat'], ['oil', 55, 884, 0, 'eat']], 75,
6],
{'kcal': 90, 'kcal_per_100g': 124, 'serving_g': 73, 'sodium_mg': 306}],
['repair check: serving weight rounding',
[[['lemon rind', 30, 47, 6, 'eat'], ['soy marinade', 200, 60, 5500, 'marinade'],
['rice', 325, 130, 1, 'eat']],
60, 1],
{'kcal': 461, 'kcal_per_100g': 194, 'serving_g': 237, 'sodium_mg': 2205}],
['generated control 1',
[[['oil', 30, 884, 0, 'eat'], ['stock', 525, 10, 350, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade'],
['bay leaf', 2, 313, 23, 'eat']],
100, 1],
{'kcal': 351, 'kcal_per_100g': 58, 'serving_g': 602, 'sodium_mg': 4313}],
['generated control 2',
[[['soy marinade', 200, 60, 5500, 'marinade'], ['stock', 500, 10, 350, 'eat']], 100, 1],
{'kcal': 74, 'kcal_per_100g': 14, 'serving_g': 540, 'sodium_mg': 3950}],
['generated control 3',
[[['soy marinade', 210, 60, 5500, 'marinade'], ['bay leaf', 2, 313, 23, 'discard']], 110, 2],
{'kcal': 13, 'kcal_per_100g': 55, 'serving_g': 23, 'sodium_mg': 1155}]],
[['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: serving weight rounding',
[[['chicken', 600, 165, 70, 'eat'], ['lemon rind', 45, 47, 6, 'eat']], 90, 1],
{'kcal': 1011, 'kcal_per_100g': 174, 'serving_g': 581, 'sodium_mg': 423}],
['repair check: serving weight rounding',
[[['lemon rind', 45, 47, 6, 'eat'], ['bay leaf', 27, 313, 23, 'discard'], ['oil', 40, 884, 0, 'eat'],
['rice', 300, 130, 1, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade']],
60, 3],
{'kcal': 264, 'kcal_per_100g': 307, 'serving_g': 86, 'sodium_mg': 827}],
['generated control 1',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['onion', 175, 40, 4, 'eat'], ['rice', 300, 130, 1, 'eat']],
70, 2],
{'kcal': 244, 'kcal_per_100g': 134, 'serving_g': 182, 'sodium_mg': 1243}],
['generated control 2',
[[['stock', 510, 10, 350, 'eat'], ['soy marinade', 210, 60, 5500, 'marinade'],
['onion', 160, 40, 4, 'marinade'], ['lemon rind', 45, 47, 6, 'discard'],
['chicken', 600, 165, 70, 'eat']],
75, 6],
{'kcal': 180, 'kcal_per_100g': 122, 'serving_g': 148, 'sodium_mg': 753}],
['generated control 3',
[[['lemon rind', 45, 47, 6, 'discard'], ['oil', 30, 884, 0, 'eat'], ['stock', 525, 10, 350, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade']],
60, 1],
{'kcal': 343, 'kcal_per_100g': 96, 'serving_g': 358, 'sodium_mg': 4148}]],
[['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: serving weight rounding',
[[['soy marinade', 225, 60, 5500, 'marinade'], ['rice', 325, 130, 1, 'eat'], ['onion', 160, 40, 4, 'eat']],
100, 4],
{'kcal': 128, 'kcal_per_100g': 97, 'serving_g': 133, 'sodium_mg': 621}],
['repair check: serving weight rounding',
[[['chicken', 610, 165, 70, 'eat'], ['bay leaf', 27, 313, 23, 'discard'], ['oil', 30, 884, 0, 'marinade']],
110, 2],
{'kcal': 530, 'kcal_per_100g': 156, 'serving_g': 339, 'sodium_mg': 214}],
['generated control 1', [[['stock', 525, 10, 350, 'eat'], ['rice', 310, 130, 1, 'eat']], 100, 5],
{'kcal': 91, 'kcal_per_100g': 55, 'serving_g': 167, 'sodium_mg': 368}],
['generated control 2',
[[['stock', 525, 10, 350, 'eat'], ['oil', 30, 884, 0, 'eat'], ['lemon rind', 45, 47, 6, 'discard'],
['bay leaf', 27, 313, 23, 'eat'], ['rice', 325, 130, 1, 'marinade']],
90, 1],
{'kcal': 487, 'kcal_per_100g': 84, 'serving_g': 582, 'sodium_mg': 1844}],
['generated control 3',
[[['bay leaf', 12, 313, 23, 'discard'], ['lemon rind', 30, 47, 6, 'discard'], ['rice', 310, 130, 1, 'eat'],
['chicken', 600, 165, 70, 'eat']],
75, 2],
{'kcal': 697, 'kcal_per_100g': 204, 'serving_g': 341, 'sodium_mg': 212}]],
[['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: serving weight rounding',
[[['bay leaf', 27, 313, 23, 'eat'], ['lemon rind', 20, 47, 6, 'discard'],
['chicken', 610, 165, 70, 'marinade'], ['stock', 510, 10, 350, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade']],
75, 6],
{'kcal': 60, 'kcal_per_100g': 69, 'serving_g': 88, 'sodium_mg': 698}],
['repair check: serving weight rounding',
[[['onion', 150, 40, 4, 'eat'], ['soy marinade', 225, 60, 5500, 'marinade'], ['oil', 30, 884, 0, 'eat'],
['rice', 325, 130, 1, 'eat']],
90, 3],
{'kcal': 258, 'kcal_per_100g': 157, 'serving_g': 165, 'sodium_mg': 828}],
['generated control 1',
[[['chicken', 610, 165, 70, 'eat'], ['oil', 30, 884, 0, 'eat'],
['soy marinade', 210, 60, 5500, 'marinade']],
100, 1],
{'kcal': 1297, 'kcal_per_100g': 190, 'serving_g': 682, 'sodium_mg': 2737}],
['generated control 2',
[[['bay leaf', 2, 313, 23, 'eat'], ['stock', 500, 10, 350, 'eat'], ['rice', 325, 130, 1, 'eat']], 110, 2],
{'kcal': 239, 'kcal_per_100g': 53, 'serving_g': 455, 'sodium_mg': 877}],
['generated control 3',
[[['bay leaf', 2, 313, 23, 'discard'], ['lemon rind', 30, 47, 6, 'discard'], ['onion', 160, 40, 4, 'eat'],
['rice', 325, 130, 1, 'marinade']],
90, 2],
{'kcal': 74, 'kcal_per_100g': 73, 'serving_g': 101, 'sodium_mg': 4}]]]
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: serving weight rounding | {'kcal': 167, 'kcal_per_100g': 280, 'serving_g': 60, 'sodium_mg': 63} | {'kcal': 167, 'kcal_per_100g': 280, 'serving_g': 60, 'sodium_mg': 63} | Passed |
| repair check: serving weight rounding | {'kcal': 803, 'kcal_per_100g': 218, 'serving_g': 369, 'sodium_mg': 2478} | {'kcal': 803, 'kcal_per_100g': 218, 'serving_g': 369, 'sodium_mg': 2478} | Passed |
| generated control 1 | {'kcal': 34, 'kcal_per_100g': 19, 'serving_g': 179, 'sodium_mg': 1011} | {'kcal': 34, 'kcal_per_100g': 19, 'serving_g': 179, 'sodium_mg': 1011} | Passed |
| generated control 2 | {'kcal': 6, 'kcal_per_100g': 100, 'serving_g': 6, 'sodium_mg': 550} | {'kcal': 6, 'kcal_per_100g': 100, 'serving_g': 6, 'sodium_mg': 550} | Passed |
| generated control 3 | {'kcal': 388, 'kcal_per_100g': 81, 'serving_g': 482, 'sodium_mg': 1844} | {'kcal': 388, 'kcal_per_100g': 81, 'serving_g': 482, 'sodium_mg': 1844} | Passed |
SHA-256 / d5a1d5d6640d01925910b260d49297440631ca5f117fc3cc0534c16aa4f3ba34
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.607352+00:00.
Case digest / edcf152064ed38acd6c5eaf4cc154fede5b4be176fa1ea5c31df49262ea333d9