FAILURE MAP
← Case archive

FA-97171 / Recipe scaling and nutrition / Open access

Nutrient content claim screener: exclusive sodium tiers · case 01

A sodium-free product also claims very low sodium.

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

ROOT CAUSE

The very-low-sodium tier is an independent if, so sodium-free foods get two claims.

VERIFIED REPAIR

Chain the sodium tiers so only the strongest claim is made.

Unsuccessful approach: A strict < 35 wrongly drops the very-low claim at exactly 35 mg.

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')
    if 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: exclusive sodium tiers', [{'fat': 3, 'fiber': 3, 'sugars': 0}, 20, 20],
   ['good source of fiber', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fat': 2.5, 'fiber': 1, 'sodium': 35, 'sugars': 0.4}, 55, 30],
   ['low fat', 'sugar free', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'fiber': 2.5, 'sodium': 300, 'sugars': 0.5}, 55, 20],
   ['fat free', 'good source of fiber']],
  ['generated control 2', [{'fiber': 3, 'sodium': 36}, 40, 240],
   ['fat free', 'good source of fiber', 'low sodium', 'sugar free']],
  ['generated control 3', [{'fat': 4, 'fiber': 3, 'sodium': 5, 'sugars': 2}, 20, 240],
   ['good source of fiber', 'very low sodium']]],
 [['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: exclusive sodium tiers', [{'fat': 0, 'fiber': 3, 'sodium': 0, 'sugars': 0.2}, 40, 31],
   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fiber': 2.5, 'sodium': 35, 'sugars': 0.5}, 55, 30],
   ['fat free', 'good source of fiber', 'very low sodium']],
  ['generated control 1', [{'fat': 3, 'fiber': 5, 'sodium': 30, 'sugars': 0}, 30, 20],
   ['high fiber', 'low sodium', 'sugar free']],
  ['generated control 2', [{'fat': 2.5, 'fiber': 3, 'sodium': 100, 'sugars': 0.4}, 100, 20],
   ['good source of fiber', 'low fat', 'low sodium', 'sugar free']],
  ['generated control 3', [{'fat': 0.5, 'fiber': 4.9, 'sodium': 0, 'sugars': 0}, 15, 15],
   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']]],
 [['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: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 2.5, 'sodium': 3, 'sugars': 2}, 100, 15],
   ['fat free', 'good source of fiber', 'sodium free']],
  ['repair check: exclusive sodium tiers', [{'fat': 1, 'fiber': 3, 'sodium': 35, 'sugars': 2}, 240, 50],
   ['good source of fiber', 'low fat', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'fiber': 1, 'sugars': 0.5}, 40, 50], ['fat free', 'sodium free']],
  ['generated control 2', [{'fat': 3, 'fiber': 0, 'sodium': 4.9, 'sugars': 0.2}, 15, 240],
   ['low fat', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 3, 'fiber': 2.5, 'sodium': 3, 'sugars': 0.5}, 15, 20],
   ['good source of fiber', 'very 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: exclusive sodium tiers', [{'fat': 0.5, 'fiber': 3, 'sugars': 0}, 28, 15],
   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 3, 'sodium': 35, 'sugars': 0.5}, 100, 20],
   ['fat free', 'good source of fiber', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'fiber': 4.9, 'sodium': 5, 'sugars': 0.5}, 10, 20],
   ['fat free', 'good source of fiber', 'very low sodium']],
  ['generated control 2', [{'sodium': 30, 'sugars': 0.5}, 55, 20], ['fat free', 'very low sodium']],
  ['generated control 3', [{'fat': 3, 'fiber': 5, 'sodium': 141, 'sugars': 0.5}, 20, 40],
   ['high fiber', 'low fat']]],
 [['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: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 5, 'sodium': 0, 'sugars': 0.2}, 100, 20],
   ['fat free', 'high fiber', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fat': 4, 'fiber': 6, 'sodium': 35}, 30, 40],
   ['high fiber', 'sugar free', 'very low sodium']],
  ['generated control 1', [{'fat': 1, 'fiber': 4.9, 'sodium': 300, 'sugars': 0.5}, 55, 50],
   ['good source of fiber', 'low fat']],
  ['generated control 2', [{'fat': 4}, 28, 31], ['sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 0, 'fiber': 1, 'sodium': 36}, 10, 40],
   ['fat free', 'low sodium', 'sugar free']]]]
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 fixtureActualExpectedOutcome
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: exclusive sodium tiers['good source of fiber', 'sodium free', 'sugar free', 'very low sodium']['good source of fiber', 'sodium free', 'sugar free']Failed
repair check: exclusive sodium tiers['low fat', 'sugar free', 'very low sodium']['low fat', 'sugar free', 'very low sodium']Passed
generated control 1['fat free', 'good source of fiber']['fat free', 'good source of fiber']Passed
generated control 2['fat free', 'good source of fiber', 'low sodium', 'sugar free']['fat free', 'good source of fiber', 'low sodium', 'sugar free']Passed
generated control 3['good source of fiber', 'very low sodium']['good source of fiber', 'very low sodium']Passed

SHA-256 / 4683d8869480dfcc14a4edba2f7ec059d05507d4c0402d5d745ba8048500f530

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)))
    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: exclusive sodium tiers', [{'fat': 3, 'fiber': 3, 'sugars': 0}, 20, 20],
   ['good source of fiber', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fat': 2.5, 'fiber': 1, 'sodium': 35, 'sugars': 0.4}, 55, 30],
   ['low fat', 'sugar free', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'fiber': 2.5, 'sodium': 300, 'sugars': 0.5}, 55, 20],
   ['fat free', 'good source of fiber']],
  ['generated control 2', [{'fiber': 3, 'sodium': 36}, 40, 240],
   ['fat free', 'good source of fiber', 'low sodium', 'sugar free']],
  ['generated control 3', [{'fat': 4, 'fiber': 3, 'sodium': 5, 'sugars': 2}, 20, 240],
   ['good source of fiber', 'very low sodium']]],
 [['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: exclusive sodium tiers', [{'fat': 0, 'fiber': 3, 'sodium': 0, 'sugars': 0.2}, 40, 31],
   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fiber': 2.5, 'sodium': 35, 'sugars': 0.5}, 55, 30],
   ['fat free', 'good source of fiber', 'very low sodium']],
  ['generated control 1', [{'fat': 3, 'fiber': 5, 'sodium': 30, 'sugars': 0}, 30, 20],
   ['high fiber', 'low sodium', 'sugar free']],
  ['generated control 2', [{'fat': 2.5, 'fiber': 3, 'sodium': 100, 'sugars': 0.4}, 100, 20],
   ['good source of fiber', 'low fat', 'low sodium', 'sugar free']],
  ['generated control 3', [{'fat': 0.5, 'fiber': 4.9, 'sodium': 0, 'sugars': 0}, 15, 15],
   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']]],
 [['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: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 2.5, 'sodium': 3, 'sugars': 2}, 100, 15],
   ['fat free', 'good source of fiber', 'sodium free']],
  ['repair check: exclusive sodium tiers', [{'fat': 1, 'fiber': 3, 'sodium': 35, 'sugars': 2}, 240, 50],
   ['good source of fiber', 'low fat', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'fiber': 1, 'sugars': 0.5}, 40, 50], ['fat free', 'sodium free']],
  ['generated control 2', [{'fat': 3, 'fiber': 0, 'sodium': 4.9, 'sugars': 0.2}, 15, 240],
   ['low fat', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 3, 'fiber': 2.5, 'sodium': 3, 'sugars': 0.5}, 15, 20],
   ['good source of fiber', 'very 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: exclusive sodium tiers', [{'fat': 0.5, 'fiber': 3, 'sugars': 0}, 28, 15],
   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 3, 'sodium': 35, 'sugars': 0.5}, 100, 20],
   ['fat free', 'good source of fiber', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'fiber': 4.9, 'sodium': 5, 'sugars': 0.5}, 10, 20],
   ['fat free', 'good source of fiber', 'very low sodium']],
  ['generated control 2', [{'sodium': 30, 'sugars': 0.5}, 55, 20], ['fat free', 'very low sodium']],
  ['generated control 3', [{'fat': 3, 'fiber': 5, 'sodium': 141, 'sugars': 0.5}, 20, 40],
   ['high fiber', 'low fat']]],
 [['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: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 5, 'sodium': 0, 'sugars': 0.2}, 100, 20],
   ['fat free', 'high fiber', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fat': 4, 'fiber': 6, 'sodium': 35}, 30, 40],
   ['high fiber', 'sugar free', 'very low sodium']],
  ['generated control 1', [{'fat': 1, 'fiber': 4.9, 'sodium': 300, 'sugars': 0.5}, 55, 50],
   ['good source of fiber', 'low fat']],
  ['generated control 2', [{'fat': 4}, 28, 31], ['sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 0, 'fiber': 1, 'sodium': 36}, 10, 40],
   ['fat free', 'low sodium', 'sugar free']]]]
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 fixtureActualExpectedOutcome
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: exclusive sodium tiers['good source of fiber', 'sodium free', 'sugar free']['good source of fiber', 'sodium free', 'sugar free']Passed
repair check: exclusive sodium tiers['low fat', 'low sodium', 'sugar free']['low fat', 'sugar free', 'very low sodium']Failed
generated control 1['fat free', 'good source of fiber']['fat free', 'good source of fiber']Passed
generated control 2['fat free', 'good source of fiber', 'low sodium', 'sugar free']['fat free', 'good source of fiber', 'low sodium', 'sugar free']Passed
generated control 3['good source of fiber', 'very low sodium']['good source of fiber', 'very low sodium']Passed

SHA-256 / 17c5f6dbf27a936e7b9430c5b199bf593b6420bdff259f0b094118b895b3a8cc

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: exclusive sodium tiers', [{'fat': 3, 'fiber': 3, 'sugars': 0}, 20, 20],
   ['good source of fiber', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fat': 2.5, 'fiber': 1, 'sodium': 35, 'sugars': 0.4}, 55, 30],
   ['low fat', 'sugar free', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'fiber': 2.5, 'sodium': 300, 'sugars': 0.5}, 55, 20],
   ['fat free', 'good source of fiber']],
  ['generated control 2', [{'fiber': 3, 'sodium': 36}, 40, 240],
   ['fat free', 'good source of fiber', 'low sodium', 'sugar free']],
  ['generated control 3', [{'fat': 4, 'fiber': 3, 'sodium': 5, 'sugars': 2}, 20, 240],
   ['good source of fiber', 'very low sodium']]],
 [['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: exclusive sodium tiers', [{'fat': 0, 'fiber': 3, 'sodium': 0, 'sugars': 0.2}, 40, 31],
   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fiber': 2.5, 'sodium': 35, 'sugars': 0.5}, 55, 30],
   ['fat free', 'good source of fiber', 'very low sodium']],
  ['generated control 1', [{'fat': 3, 'fiber': 5, 'sodium': 30, 'sugars': 0}, 30, 20],
   ['high fiber', 'low sodium', 'sugar free']],
  ['generated control 2', [{'fat': 2.5, 'fiber': 3, 'sodium': 100, 'sugars': 0.4}, 100, 20],
   ['good source of fiber', 'low fat', 'low sodium', 'sugar free']],
  ['generated control 3', [{'fat': 0.5, 'fiber': 4.9, 'sodium': 0, 'sugars': 0}, 15, 15],
   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']]],
 [['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: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 2.5, 'sodium': 3, 'sugars': 2}, 100, 15],
   ['fat free', 'good source of fiber', 'sodium free']],
  ['repair check: exclusive sodium tiers', [{'fat': 1, 'fiber': 3, 'sodium': 35, 'sugars': 2}, 240, 50],
   ['good source of fiber', 'low fat', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'fiber': 1, 'sugars': 0.5}, 40, 50], ['fat free', 'sodium free']],
  ['generated control 2', [{'fat': 3, 'fiber': 0, 'sodium': 4.9, 'sugars': 0.2}, 15, 240],
   ['low fat', 'sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 3, 'fiber': 2.5, 'sodium': 3, 'sugars': 0.5}, 15, 20],
   ['good source of fiber', 'very 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: exclusive sodium tiers', [{'fat': 0.5, 'fiber': 3, 'sugars': 0}, 28, 15],
   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 3, 'sodium': 35, 'sugars': 0.5}, 100, 20],
   ['fat free', 'good source of fiber', 'very low sodium']],
  ['generated control 1', [{'fat': 0, 'fiber': 4.9, 'sodium': 5, 'sugars': 0.5}, 10, 20],
   ['fat free', 'good source of fiber', 'very low sodium']],
  ['generated control 2', [{'sodium': 30, 'sugars': 0.5}, 55, 20], ['fat free', 'very low sodium']],
  ['generated control 3', [{'fat': 3, 'fiber': 5, 'sodium': 141, 'sugars': 0.5}, 20, 40],
   ['high fiber', 'low fat']]],
 [['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: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 5, 'sodium': 0, 'sugars': 0.2}, 100, 20],
   ['fat free', 'high fiber', 'sodium free', 'sugar free']],
  ['repair check: exclusive sodium tiers', [{'fat': 4, 'fiber': 6, 'sodium': 35}, 30, 40],
   ['high fiber', 'sugar free', 'very low sodium']],
  ['generated control 1', [{'fat': 1, 'fiber': 4.9, 'sodium': 300, 'sugars': 0.5}, 55, 50],
   ['good source of fiber', 'low fat']],
  ['generated control 2', [{'fat': 4}, 28, 31], ['sodium free', 'sugar free']],
  ['generated control 3', [{'fat': 0, 'fiber': 1, 'sodium': 36}, 10, 40],
   ['fat free', 'low sodium', 'sugar free']]]]
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 fixtureActualExpectedOutcome
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: exclusive sodium tiers['good source of fiber', 'sodium free', 'sugar free']['good source of fiber', 'sodium free', 'sugar free']Passed
repair check: exclusive sodium tiers['low fat', 'sugar free', 'very low sodium']['low fat', 'sugar free', 'very low sodium']Passed
generated control 1['fat free', 'good source of fiber']['fat free', 'good source of fiber']Passed
generated control 2['fat free', 'good source of fiber', 'low sodium', 'sugar free']['fat free', 'good source of fiber', 'low sodium', 'sugar free']Passed
generated control 3['good source of fiber', 'very low sodium']['good source of fiber', 'very low sodium']Passed

SHA-256 / b97673a3f4b23ee0f62caa989c7793a16c76ff7a97f4937130e3a43568b44b52

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

Case digest / c7a680b549e0007554f054cea7ad680914dee51188d1eadc16127c127a983660