FA-97176 / Recipe scaling and nutrition / Open access

Nutrient content claim screener: fiber basis · case 01

Small crackers claim high fiber from an inflated per-50 g figure.

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

ROOT CAUSE

Fiber, a positive nutrient, is judged with the stricter-of-two basis meant for limits.

VERIFIED REPAIR

Judge fiber claims per serving only.

Unsuccessful approach: Per-50 g fiber inflates small servings and deflates large ones.

Case contract

Toy claim rules. If racc_g <= 30 (small reference amount), sodium, fat and sugars are judged on max(per serving, per 50 g) where per 50 g = value*50/serving_g. Sodium: <5 "sodium free", else <=35 "very low sodium", else <=140 "low sodium" (one claim). Fat: <0.5 "fat free", else <=3 "low fat". Fiber judged per serving only: >=5 "high fiber", else >=2.5 "good source of fiber". Sugars <0.5 "sugar free". Missing nutrients count as 0. Return sorted claims.

Why this case matters

Front-of-pack claims depend on per-serving and small-serving reference amount rules.

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(per_serving, serving_g, racc_g):
    small = racc_g <= 30
    def basis(k):
        v = Fraction(str(per_serving.get(k, 0)))
        if small:
            v = max(v, v * 50 / Fraction(str(serving_g)))
        return v
    claims = []
    na = basis('sodium')
    if na < 5:
        claims.append('sodium free')
    elif na <= 35:
        claims.append('very low sodium')
    elif na <= 140:
        claims.append('low sodium')
    fat = basis('fat')
    if fat < Fraction(1, 2):
        claims.append('fat free')
    elif fat <= 3:
        claims.append('low fat')
    fib = basis('fiber')
    if fib >= 5:
        claims.append('high fiber')
    elif fib >= Fraction(5, 2):
        claims.append('good source of fiber')
    if basis('sugars') < Fraction(1, 2):
        claims.append('sugar free')
    return sorted(claims)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['regression: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 141, 'sugars': 0.5}, 15, 30],
   ['fat free', 'good source of fiber']],
  ['repair check: fiber basis', [{'fat': 0.3, 'fiber': 5, 'sodium': 3, 'sugars': 0}, 240, 15],
   ['fat free', 'high fiber', 'sodium free', 'sugar free']],
  ['generated control 1', [{}, 30, 20], ['fat free', 'sodium free', 'sugar free']],
  ['generated control 2', [{'fat': 2.5, 'fiber': 5, 'sodium': 4.9, 'sugars': 0.4}, 28, 240],
   ['high fiber', 'low fat', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sodium': 140, 'sugars': 0.2}, 30, 20],
   ['good source of fiber', 'low fat', 'sugar free']]],
 [['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],
  ['regression: fiber basis', [{'fat': 1, 'fiber': 1, 'sodium': 141, 'sugars': 0.5}, 10, 20], []],
  ['repair check: fiber basis', [{'fat': 3, 'fiber': 2.5, 'sodium': 141}, 15, 50],
   ['good source of fiber', 'low fat', 'sugar free']],
  ['generated control 1', [{'fat': 2.5, 'fiber': 6, 'sodium': 141, 'sugars': 2}, 30, 240],
   ['high fiber', 'low fat']],
  ['generated control 2', [{'fat': 0.3, 'sodium': 3, 'sugars': 0.4}, 30, 50],
   ['fat free', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 1, 'fiber': 5, 'sodium': 5, 'sugars': 0.4}, 240, 40],
   ['high fiber', 'low fat', 'sugar free', 'very low sodium']]],
 [['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],
  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['regression: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 35}, 15, 30], ['low sodium', 'sugar free']],
  ['repair check: fiber basis', [{'fat': 4, 'fiber': 4.9, 'sugars': 0.5}, 40, 50],
   ['good source of fiber', 'sodium free']],
  ['generated control 1', [{'fat': 0.5, 'sodium': 36, 'sugars': 0.2}, 40, 30],
   ['low fat', 'low sodium', 'sugar free']],
  ['generated control 2', [{'fat': 0.3, 'fiber': 6, 'sodium': 0, 'sugars': 0.4}, 55, 40],
   ['fat free', 'high fiber', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 2.5, 'fiber': 6, 'sodium': 36, 'sugars': 2}, 240, 240],
   ['high fiber', 'low fat', 'low sodium']]],
 [['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],
  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['regression: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 30, 'sugars': 2}, 15, 20], ['low sodium']],
  ['repair check: fiber basis', [{'fat': 0, 'fiber': 1, 'sodium': 5, 'sugars': 0}, 20, 31],
   ['fat free', 'sugar free', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'sodium': 300, 'sugars': 0.2}, 28, 30], ['fat free', 'sugar free']],
  ['generated control 2', [{'fat': 0.3, 'sodium': 140, 'sugars': 0}, 100, 240],
   ['fat free', 'low sodium', 'sugar free']],
  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sugars': 0.5}, 28, 40],
   ['good source of fiber', 'low fat', 'sodium free']]],
 [['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['regression: fiber basis', [{'fat': 1, 'fiber': 3, 'sodium': 3, 'sugars': 0.5}, 20, 30],
   ['good source of fiber', 'low fat', 'very low sodium']],
  ['repair check: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 3}, 40, 50],
   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],
  ['generated control 1', [{'fat': 4, 'fiber': 6, 'sodium': 35, 'sugars': 0.5}, 20, 30],
   ['high fiber', 'low sodium']],
  ['generated control 2', [{'fat': 2.5, 'sodium': 141, 'sugars': 2}, 100, 240], ['low fat']],
  ['generated control 3', [{'fat': 2.5, 'fiber': 5, 'sodium': 140, 'sugars': 2}, 100, 31],
   ['high fiber', 'low fat', 'low sodium']]]]
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
large serving	`['high fiber', 'low fat', 'low sodium', 'sugar free']`	`['high fiber', 'low fat', 'low sodium', 'sugar free']`	Passed
small serving per 50 g	`['good source of fiber', 'low sodium']`	`['low sodium']`	Failed
racc exactly 30	`['sugar free']`	`['sugar free']`	Passed
regression: fiber basis	`['fat free', 'high fiber']`	`['fat free', 'good source of fiber']`	Failed
repair check: fiber basis	`['fat free', 'high fiber', 'sodium free', 'sugar free']`	`['fat free', 'high fiber', 'sodium free', 'sugar free']`	Passed
generated control 1	`['fat free', 'sodium free', 'sugar free']`	`['fat free', 'sodium free', 'sugar free']`	Passed
generated control 2	`['high fiber', 'low fat', 'sodium free', 'sugar free']`	`['high fiber', 'low fat', 'sodium free', 'sugar free']`	Passed
generated control 3	`['good source of fiber', 'low fat', 'sugar free']`	`['good source of fiber', 'low fat', 'sugar free']`	Passed

SHA-256 / 6d421c224117dbdebb6cd62071d38b66eb6a856fdf91eb3ece55ae3952c11562

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(per_serving, serving_g, racc_g):
    small = racc_g <= 30
    def basis(k):
        v = Fraction(str(per_serving.get(k, 0)))
        if small:
            v = max(v, v * 50 / Fraction(str(serving_g)))
        return v
    claims = []
    na = basis('sodium')
    if na < 5:
        claims.append('sodium free')
    elif na <= 35:
        claims.append('very low sodium')
    elif na <= 140:
        claims.append('low sodium')
    fat = basis('fat')
    if fat < Fraction(1, 2):
        claims.append('fat free')
    elif fat <= 3:
        claims.append('low fat')
    fib = Fraction(str(per_serving.get('fiber', 0))) * 50 / Fraction(str(serving_g))
    if fib >= 5:
        claims.append('high fiber')
    elif fib >= Fraction(5, 2):
        claims.append('good source of fiber')
    if basis('sugars') < Fraction(1, 2):
        claims.append('sugar free')
    return sorted(claims)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['regression: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 141, 'sugars': 0.5}, 15, 30],
   ['fat free', 'good source of fiber']],
  ['repair check: fiber basis', [{'fat': 0.3, 'fiber': 5, 'sodium': 3, 'sugars': 0}, 240, 15],
   ['fat free', 'high fiber', 'sodium free', 'sugar free']],
  ['generated control 1', [{}, 30, 20], ['fat free', 'sodium free', 'sugar free']],
  ['generated control 2', [{'fat': 2.5, 'fiber': 5, 'sodium': 4.9, 'sugars': 0.4}, 28, 240],
   ['high fiber', 'low fat', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sodium': 140, 'sugars': 0.2}, 30, 20],
   ['good source of fiber', 'low fat', 'sugar free']]],
 [['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],
  ['regression: fiber basis', [{'fat': 1, 'fiber': 1, 'sodium': 141, 'sugars': 0.5}, 10, 20], []],
  ['repair check: fiber basis', [{'fat': 3, 'fiber': 2.5, 'sodium': 141}, 15, 50],
   ['good source of fiber', 'low fat', 'sugar free']],
  ['generated control 1', [{'fat': 2.5, 'fiber': 6, 'sodium': 141, 'sugars': 2}, 30, 240],
   ['high fiber', 'low fat']],
  ['generated control 2', [{'fat': 0.3, 'sodium': 3, 'sugars': 0.4}, 30, 50],
   ['fat free', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 1, 'fiber': 5, 'sodium': 5, 'sugars': 0.4}, 240, 40],
   ['high fiber', 'low fat', 'sugar free', 'very low sodium']]],
 [['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],
  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['regression: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 35}, 15, 30], ['low sodium', 'sugar free']],
  ['repair check: fiber basis', [{'fat': 4, 'fiber': 4.9, 'sugars': 0.5}, 40, 50],
   ['good source of fiber', 'sodium free']],
  ['generated control 1', [{'fat': 0.5, 'sodium': 36, 'sugars': 0.2}, 40, 30],
   ['low fat', 'low sodium', 'sugar free']],
  ['generated control 2', [{'fat': 0.3, 'fiber': 6, 'sodium': 0, 'sugars': 0.4}, 55, 40],
   ['fat free', 'high fiber', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 2.5, 'fiber': 6, 'sodium': 36, 'sugars': 2}, 240, 240],
   ['high fiber', 'low fat', 'low sodium']]],
 [['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],
  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['regression: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 30, 'sugars': 2}, 15, 20], ['low sodium']],
  ['repair check: fiber basis', [{'fat': 0, 'fiber': 1, 'sodium': 5, 'sugars': 0}, 20, 31],
   ['fat free', 'sugar free', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'sodium': 300, 'sugars': 0.2}, 28, 30], ['fat free', 'sugar free']],
  ['generated control 2', [{'fat': 0.3, 'sodium': 140, 'sugars': 0}, 100, 240],
   ['fat free', 'low sodium', 'sugar free']],
  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sugars': 0.5}, 28, 40],
   ['good source of fiber', 'low fat', 'sodium free']]],
 [['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['regression: fiber basis', [{'fat': 1, 'fiber': 3, 'sodium': 3, 'sugars': 0.5}, 20, 30],
   ['good source of fiber', 'low fat', 'very low sodium']],
  ['repair check: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 3}, 40, 50],
   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],
  ['generated control 1', [{'fat': 4, 'fiber': 6, 'sodium': 35, 'sugars': 0.5}, 20, 30],
   ['high fiber', 'low sodium']],
  ['generated control 2', [{'fat': 2.5, 'sodium': 141, 'sugars': 2}, 100, 240], ['low fat']],
  ['generated control 3', [{'fat': 2.5, 'fiber': 5, 'sodium': 140, 'sugars': 2}, 100, 31],
   ['high fiber', 'low fat', 'low sodium']]]]
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
large serving	`['low fat', 'low sodium', 'sugar free']`	`['high fiber', 'low fat', 'low sodium', 'sugar free']`	Failed
small serving per 50 g	`['good source of fiber', 'low sodium']`	`['low sodium']`	Failed
racc exactly 30	`['sugar free']`	`['sugar free']`	Passed
regression: fiber basis	`['fat free', 'high fiber']`	`['fat free', 'good source of fiber']`	Failed
repair check: fiber basis	`['fat free', 'sodium free', 'sugar free']`	`['fat free', 'high fiber', 'sodium free', 'sugar free']`	Failed
generated control 1	`['fat free', 'sodium free', 'sugar free']`	`['fat free', 'sodium free', 'sugar free']`	Passed
generated control 2	`['high fiber', 'low fat', 'sodium free', 'sugar free']`	`['high fiber', 'low fat', 'sodium free', 'sugar free']`	Passed
generated control 3	`['good source of fiber', 'low fat', 'sugar free']`	`['good source of fiber', 'low fat', 'sugar free']`	Passed

SHA-256 / 381679557a0359c6166caafd7e722f51911f9f3a44e1d699c6cd93dd2581d8e8

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(per_serving, serving_g, racc_g):
    small = racc_g <= 30
    def basis(k):
        v = Fraction(str(per_serving.get(k, 0)))
        if small:
            v = max(v, v * 50 / Fraction(str(serving_g)))
        return v
    claims = []
    na = basis('sodium')
    if na < 5:
        claims.append('sodium free')
    elif na <= 35:
        claims.append('very low sodium')
    elif na <= 140:
        claims.append('low sodium')
    fat = basis('fat')
    if fat < Fraction(1, 2):
        claims.append('fat free')
    elif fat <= 3:
        claims.append('low fat')
    fib = Fraction(str(per_serving.get('fiber', 0)))
    if fib >= 5:
        claims.append('high fiber')
    elif fib >= Fraction(5, 2):
        claims.append('good source of fiber')
    if basis('sugars') < Fraction(1, 2):
        claims.append('sugar free')
    return sorted(claims)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['regression: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 141, 'sugars': 0.5}, 15, 30],
   ['fat free', 'good source of fiber']],
  ['repair check: fiber basis', [{'fat': 0.3, 'fiber': 5, 'sodium': 3, 'sugars': 0}, 240, 15],
   ['fat free', 'high fiber', 'sodium free', 'sugar free']],
  ['generated control 1', [{}, 30, 20], ['fat free', 'sodium free', 'sugar free']],
  ['generated control 2', [{'fat': 2.5, 'fiber': 5, 'sodium': 4.9, 'sugars': 0.4}, 28, 240],
   ['high fiber', 'low fat', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sodium': 140, 'sugars': 0.2}, 30, 20],
   ['good source of fiber', 'low fat', 'sugar free']]],
 [['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],
  ['regression: fiber basis', [{'fat': 1, 'fiber': 1, 'sodium': 141, 'sugars': 0.5}, 10, 20], []],
  ['repair check: fiber basis', [{'fat': 3, 'fiber': 2.5, 'sodium': 141}, 15, 50],
   ['good source of fiber', 'low fat', 'sugar free']],
  ['generated control 1', [{'fat': 2.5, 'fiber': 6, 'sodium': 141, 'sugars': 2}, 30, 240],
   ['high fiber', 'low fat']],
  ['generated control 2', [{'fat': 0.3, 'sodium': 3, 'sugars': 0.4}, 30, 50],
   ['fat free', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 1, 'fiber': 5, 'sodium': 5, 'sugars': 0.4}, 240, 40],
   ['high fiber', 'low fat', 'sugar free', 'very low sodium']]],
 [['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],
  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['regression: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 35}, 15, 30], ['low sodium', 'sugar free']],
  ['repair check: fiber basis', [{'fat': 4, 'fiber': 4.9, 'sugars': 0.5}, 40, 50],
   ['good source of fiber', 'sodium free']],
  ['generated control 1', [{'fat': 0.5, 'sodium': 36, 'sugars': 0.2}, 40, 30],
   ['low fat', 'low sodium', 'sugar free']],
  ['generated control 2', [{'fat': 0.3, 'fiber': 6, 'sodium': 0, 'sugars': 0.4}, 55, 40],
   ['fat free', 'high fiber', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 2.5, 'fiber': 6, 'sodium': 36, 'sugars': 2}, 240, 240],
   ['high fiber', 'low fat', 'low sodium']]],
 [['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],
  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['regression: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 30, 'sugars': 2}, 15, 20], ['low sodium']],
  ['repair check: fiber basis', [{'fat': 0, 'fiber': 1, 'sodium': 5, 'sugars': 0}, 20, 31],
   ['fat free', 'sugar free', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'sodium': 300, 'sugars': 0.2}, 28, 30], ['fat free', 'sugar free']],
  ['generated control 2', [{'fat': 0.3, 'sodium': 140, 'sugars': 0}, 100, 240],
   ['fat free', 'low sodium', 'sugar free']],
  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sugars': 0.5}, 28, 40],
   ['good source of fiber', 'low fat', 'sodium free']]],
 [['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],
   ['high fiber', 'low fat', 'low sodium', 'sugar free']],
  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],
  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],
  ['regression: fiber basis', [{'fat': 1, 'fiber': 3, 'sodium': 3, 'sugars': 0.5}, 20, 30],
   ['good source of fiber', 'low fat', 'very low sodium']],
  ['repair check: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 3}, 40, 50],
   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],
  ['generated control 1', [{'fat': 4, 'fiber': 6, 'sodium': 35, 'sugars': 0.5}, 20, 30],
   ['high fiber', 'low sodium']],
  ['generated control 2', [{'fat': 2.5, 'sodium': 141, 'sugars': 2}, 100, 240], ['low fat']],
  ['generated control 3', [{'fat': 2.5, 'fiber': 5, 'sodium': 140, 'sugars': 2}, 100, 31],
   ['high fiber', 'low fat', 'low sodium']]]]
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
large serving	`['high fiber', 'low fat', 'low sodium', 'sugar free']`	`['high fiber', 'low fat', 'low sodium', 'sugar free']`	Passed
small serving per 50 g	`['low sodium']`	`['low sodium']`	Passed
racc exactly 30	`['sugar free']`	`['sugar free']`	Passed
regression: fiber basis	`['fat free', 'good source of fiber']`	`['fat free', 'good source of fiber']`	Passed
repair check: fiber basis	`['fat free', 'high fiber', 'sodium free', 'sugar free']`	`['fat free', 'high fiber', 'sodium free', 'sugar free']`	Passed
generated control 1	`['fat free', 'sodium free', 'sugar free']`	`['fat free', 'sodium free', 'sugar free']`	Passed
generated control 2	`['high fiber', 'low fat', 'sodium free', 'sugar free']`	`['high fiber', 'low fat', 'sodium free', 'sugar free']`	Passed
generated control 3	`['good source of fiber', 'low fat', 'sugar free']`	`['good source of fiber', 'low fat', 'sugar free']`	Passed

SHA-256 / 96ce1d02e73cda8892d6e294a3c5a13332095b42c696d7fd38f74c35974b7090

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

Case digest / a04c4c1d8d4d2a53ddd52bafcad0642d4a849b3442711d264ee26e069266ca28