{"abstract":"A sodium-free product also claims very low sodium.","category":"Recipe scaling and nutrition","checks":8,"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.","evaluation_group":"w2-recipe_scaling_and_nutrition-content-claims","failed_approach":"A strict < 35 wrongly drops the very-low claim at exactly 35 mg.","family":"w2-recipe_scaling_and_nutrition-content-claims-exclusive-sodium-tiers","id":"FA-97171","implementations":{"attempt":{"sha256":"17c5f6dbf27a936e7b9430c5b199bf593b6420bdff259f0b094118b895b3a8cc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(per_serving, serving_g, racc_g):\n    small = racc_g <= 30\n    def basis(k):\n        v = Fraction(str(per_serving.get(k, 0)))\n        if small:\n            v = max(v, v * 50 / Fraction(str(serving_g)))\n        return v\n    claims = []\n    na = basis('sodium')\n    if na < 5:\n        claims.append('sodium free')\n    elif na < 35:\n        claims.append('very low sodium')\n    elif na <= 140:\n        claims.append('low sodium')\n    fat = basis('fat')\n    if fat < Fraction(1, 2):\n        claims.append('fat free')\n    elif fat <= 3:\n        claims.append('low fat')\n    fib = Fraction(str(per_serving.get('fiber', 0)))\n    if fib >= 5:\n        claims.append('high fiber')\n    elif fib >= Fraction(5, 2):\n        claims.append('good source of fiber')\n    if basis('sugars') < Fraction(1, 2):\n        claims.append('sugar free')\n    return sorted(claims)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 3, 'fiber': 3, 'sugars': 0}, 20, 20],\n   ['good source of fiber', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 2.5, 'fiber': 1, 'sodium': 35, 'sugars': 0.4}, 55, 30],\n   ['low fat', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'fiber': 2.5, 'sodium': 300, 'sugars': 0.5}, 55, 20],\n   ['fat free', 'good source of fiber']],\n  ['generated control 2', [{'fiber': 3, 'sodium': 36}, 40, 240],\n   ['fat free', 'good source of fiber', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 4, 'fiber': 3, 'sodium': 5, 'sugars': 2}, 20, 240],\n   ['good source of fiber', 'very low sodium']]],\n [['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 0, 'fiber': 3, 'sodium': 0, 'sugars': 0.2}, 40, 31],\n   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fiber': 2.5, 'sodium': 35, 'sugars': 0.5}, 55, 30],\n   ['fat free', 'good source of fiber', 'very low sodium']],\n  ['generated control 1', [{'fat': 3, 'fiber': 5, 'sodium': 30, 'sugars': 0}, 30, 20],\n   ['high fiber', 'low sodium', 'sugar free']],\n  ['generated control 2', [{'fat': 2.5, 'fiber': 3, 'sodium': 100, 'sugars': 0.4}, 100, 20],\n   ['good source of fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'fiber': 4.9, 'sodium': 0, 'sugars': 0}, 15, 15],\n   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']]],\n [['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 2.5, 'sodium': 3, 'sugars': 2}, 100, 15],\n   ['fat free', 'good source of fiber', 'sodium free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 1, 'fiber': 3, 'sodium': 35, 'sugars': 2}, 240, 50],\n   ['good source of fiber', 'low fat', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'fiber': 1, 'sugars': 0.5}, 40, 50], ['fat free', 'sodium free']],\n  ['generated control 2', [{'fat': 3, 'fiber': 0, 'sodium': 4.9, 'sugars': 0.2}, 15, 240],\n   ['low fat', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 3, 'fiber': 2.5, 'sodium': 3, 'sugars': 0.5}, 15, 20],\n   ['good source of fiber', 'very low sodium']]],\n [['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['regression: exclusive sodium tiers', [{'fat': 0.5, 'fiber': 3, 'sugars': 0}, 28, 15],\n   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 3, 'sodium': 35, 'sugars': 0.5}, 100, 20],\n   ['fat free', 'good source of fiber', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'fiber': 4.9, 'sodium': 5, 'sugars': 0.5}, 10, 20],\n   ['fat free', 'good source of fiber', 'very low sodium']],\n  ['generated control 2', [{'sodium': 30, 'sugars': 0.5}, 55, 20], ['fat free', 'very low sodium']],\n  ['generated control 3', [{'fat': 3, 'fiber': 5, 'sodium': 141, 'sugars': 0.5}, 20, 40],\n   ['high fiber', 'low fat']]],\n [['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 5, 'sodium': 0, 'sugars': 0.2}, 100, 20],\n   ['fat free', 'high fiber', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 4, 'fiber': 6, 'sodium': 35}, 30, 40],\n   ['high fiber', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 1, 'fiber': 4.9, 'sodium': 300, 'sugars': 0.5}, 55, 50],\n   ['good source of fiber', 'low fat']],\n  ['generated control 2', [{'fat': 4}, 28, 31], ['sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 0, 'fiber': 1, 'sodium': 36}, 10, 40],\n   ['fat free', 'low sodium', 'sugar free']]]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"4683d8869480dfcc14a4edba2f7ec059d05507d4c0402d5d745ba8048500f530","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(per_serving, serving_g, racc_g):\n    small = racc_g <= 30\n    def basis(k):\n        v = Fraction(str(per_serving.get(k, 0)))\n        if small:\n            v = max(v, v * 50 / Fraction(str(serving_g)))\n        return v\n    claims = []\n    na = basis('sodium')\n    if na < 5:\n        claims.append('sodium free')\n    if na <= 35:\n        claims.append('very low sodium')\n    elif na <= 140:\n        claims.append('low sodium')\n    fat = basis('fat')\n    if fat < Fraction(1, 2):\n        claims.append('fat free')\n    elif fat <= 3:\n        claims.append('low fat')\n    fib = Fraction(str(per_serving.get('fiber', 0)))\n    if fib >= 5:\n        claims.append('high fiber')\n    elif fib >= Fraction(5, 2):\n        claims.append('good source of fiber')\n    if basis('sugars') < Fraction(1, 2):\n        claims.append('sugar free')\n    return sorted(claims)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 3, 'fiber': 3, 'sugars': 0}, 20, 20],\n   ['good source of fiber', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 2.5, 'fiber': 1, 'sodium': 35, 'sugars': 0.4}, 55, 30],\n   ['low fat', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'fiber': 2.5, 'sodium': 300, 'sugars': 0.5}, 55, 20],\n   ['fat free', 'good source of fiber']],\n  ['generated control 2', [{'fiber': 3, 'sodium': 36}, 40, 240],\n   ['fat free', 'good source of fiber', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 4, 'fiber': 3, 'sodium': 5, 'sugars': 2}, 20, 240],\n   ['good source of fiber', 'very low sodium']]],\n [['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 0, 'fiber': 3, 'sodium': 0, 'sugars': 0.2}, 40, 31],\n   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fiber': 2.5, 'sodium': 35, 'sugars': 0.5}, 55, 30],\n   ['fat free', 'good source of fiber', 'very low sodium']],\n  ['generated control 1', [{'fat': 3, 'fiber': 5, 'sodium': 30, 'sugars': 0}, 30, 20],\n   ['high fiber', 'low sodium', 'sugar free']],\n  ['generated control 2', [{'fat': 2.5, 'fiber': 3, 'sodium': 100, 'sugars': 0.4}, 100, 20],\n   ['good source of fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'fiber': 4.9, 'sodium': 0, 'sugars': 0}, 15, 15],\n   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']]],\n [['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 2.5, 'sodium': 3, 'sugars': 2}, 100, 15],\n   ['fat free', 'good source of fiber', 'sodium free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 1, 'fiber': 3, 'sodium': 35, 'sugars': 2}, 240, 50],\n   ['good source of fiber', 'low fat', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'fiber': 1, 'sugars': 0.5}, 40, 50], ['fat free', 'sodium free']],\n  ['generated control 2', [{'fat': 3, 'fiber': 0, 'sodium': 4.9, 'sugars': 0.2}, 15, 240],\n   ['low fat', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 3, 'fiber': 2.5, 'sodium': 3, 'sugars': 0.5}, 15, 20],\n   ['good source of fiber', 'very low sodium']]],\n [['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['regression: exclusive sodium tiers', [{'fat': 0.5, 'fiber': 3, 'sugars': 0}, 28, 15],\n   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 3, 'sodium': 35, 'sugars': 0.5}, 100, 20],\n   ['fat free', 'good source of fiber', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'fiber': 4.9, 'sodium': 5, 'sugars': 0.5}, 10, 20],\n   ['fat free', 'good source of fiber', 'very low sodium']],\n  ['generated control 2', [{'sodium': 30, 'sugars': 0.5}, 55, 20], ['fat free', 'very low sodium']],\n  ['generated control 3', [{'fat': 3, 'fiber': 5, 'sodium': 141, 'sugars': 0.5}, 20, 40],\n   ['high fiber', 'low fat']]],\n [['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 5, 'sodium': 0, 'sugars': 0.2}, 100, 20],\n   ['fat free', 'high fiber', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 4, 'fiber': 6, 'sodium': 35}, 30, 40],\n   ['high fiber', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 1, 'fiber': 4.9, 'sodium': 300, 'sugars': 0.5}, 55, 50],\n   ['good source of fiber', 'low fat']],\n  ['generated control 2', [{'fat': 4}, 28, 31], ['sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 0, 'fiber': 1, 'sodium': 36}, 10, 40],\n   ['fat free', 'low sodium', 'sugar free']]]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"b97673a3f4b23ee0f62caa989c7793a16c76ff7a97f4937130e3a43568b44b52","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(per_serving, serving_g, racc_g):\n    small = racc_g <= 30\n    def basis(k):\n        v = Fraction(str(per_serving.get(k, 0)))\n        if small:\n            v = max(v, v * 50 / Fraction(str(serving_g)))\n        return v\n    claims = []\n    na = basis('sodium')\n    if na < 5:\n        claims.append('sodium free')\n    elif na <= 35:\n        claims.append('very low sodium')\n    elif na <= 140:\n        claims.append('low sodium')\n    fat = basis('fat')\n    if fat < Fraction(1, 2):\n        claims.append('fat free')\n    elif fat <= 3:\n        claims.append('low fat')\n    fib = Fraction(str(per_serving.get('fiber', 0)))\n    if fib >= 5:\n        claims.append('high fiber')\n    elif fib >= Fraction(5, 2):\n        claims.append('good source of fiber')\n    if basis('sugars') < Fraction(1, 2):\n        claims.append('sugar free')\n    return sorted(claims)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 3, 'fiber': 3, 'sugars': 0}, 20, 20],\n   ['good source of fiber', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 2.5, 'fiber': 1, 'sodium': 35, 'sugars': 0.4}, 55, 30],\n   ['low fat', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'fiber': 2.5, 'sodium': 300, 'sugars': 0.5}, 55, 20],\n   ['fat free', 'good source of fiber']],\n  ['generated control 2', [{'fiber': 3, 'sodium': 36}, 40, 240],\n   ['fat free', 'good source of fiber', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 4, 'fiber': 3, 'sodium': 5, 'sugars': 2}, 20, 240],\n   ['good source of fiber', 'very low sodium']]],\n [['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 0, 'fiber': 3, 'sodium': 0, 'sugars': 0.2}, 40, 31],\n   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fiber': 2.5, 'sodium': 35, 'sugars': 0.5}, 55, 30],\n   ['fat free', 'good source of fiber', 'very low sodium']],\n  ['generated control 1', [{'fat': 3, 'fiber': 5, 'sodium': 30, 'sugars': 0}, 30, 20],\n   ['high fiber', 'low sodium', 'sugar free']],\n  ['generated control 2', [{'fat': 2.5, 'fiber': 3, 'sodium': 100, 'sugars': 0.4}, 100, 20],\n   ['good source of fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'fiber': 4.9, 'sodium': 0, 'sugars': 0}, 15, 15],\n   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']]],\n [['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 2.5, 'sodium': 3, 'sugars': 2}, 100, 15],\n   ['fat free', 'good source of fiber', 'sodium free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 1, 'fiber': 3, 'sodium': 35, 'sugars': 2}, 240, 50],\n   ['good source of fiber', 'low fat', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'fiber': 1, 'sugars': 0.5}, 40, 50], ['fat free', 'sodium free']],\n  ['generated control 2', [{'fat': 3, 'fiber': 0, 'sodium': 4.9, 'sugars': 0.2}, 15, 240],\n   ['low fat', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 3, 'fiber': 2.5, 'sodium': 3, 'sugars': 0.5}, 15, 20],\n   ['good source of fiber', 'very low sodium']]],\n [['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['regression: exclusive sodium tiers', [{'fat': 0.5, 'fiber': 3, 'sugars': 0}, 28, 15],\n   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 3, 'sodium': 35, 'sugars': 0.5}, 100, 20],\n   ['fat free', 'good source of fiber', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'fiber': 4.9, 'sodium': 5, 'sugars': 0.5}, 10, 20],\n   ['fat free', 'good source of fiber', 'very low sodium']],\n  ['generated control 2', [{'sodium': 30, 'sugars': 0.5}, 55, 20], ['fat free', 'very low sodium']],\n  ['generated control 3', [{'fat': 3, 'fiber': 5, 'sodium': 141, 'sugars': 0.5}, 20, 40],\n   ['high fiber', 'low fat']]],\n [['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['small serving per 50 g', [{'fat': 1, 'fiber': 1, 'sodium': 30, 'sugars': 0.2}, 15, 15], ['low sodium']],\n  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['regression: exclusive sodium tiers', [{'fat': 0.3, 'fiber': 5, 'sodium': 0, 'sugars': 0.2}, 100, 20],\n   ['fat free', 'high fiber', 'sodium free', 'sugar free']],\n  ['repair check: exclusive sodium tiers', [{'fat': 4, 'fiber': 6, 'sodium': 35}, 30, 40],\n   ['high fiber', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 1, 'fiber': 4.9, 'sodium': 300, 'sugars': 0.5}, 55, 50],\n   ['good source of fiber', 'low fat']],\n  ['generated control 2', [{'fat': 4}, 28, 31], ['sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 0, 'fiber': 1, 'sodium': 36}, 10, 40],\n   ['fat free', 'low sodium', 'sugar free']]]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-recipe_scaling_and_nutrition-content-claims-exclusive-sodium-tiers","generated_at":"2026-09-29T14:52:29.555956+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Front-of-pack claims depend on per-serving and small-serving reference amount rules.","repair":"Chain the sodium tiers so only the strongest claim is made.","root_cause":"The very-low-sodium tier is an independent if, so sodium-free foods get two claims.","sha256":"c7a680b549e0007554f054cea7ad680914dee51188d1eadc16127c127a983660","title":"Nutrient content claim screener: exclusive sodium tiers · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.387,"exit_code":1,"observations":[{"actual":["high fiber","low fat","low sodium","sugar free"],"check":"large serving","expected":["high fiber","low fat","low sodium","sugar free"],"passed":true},{"actual":["low sodium"],"check":"small serving per 50 g","expected":["low sodium"],"passed":true},{"actual":["sugar free"],"check":"racc exactly 30","expected":["sugar free"],"passed":true},{"actual":["good source of fiber","sodium free","sugar free"],"check":"regression: exclusive sodium tiers","expected":["good source of fiber","sodium free","sugar free"],"passed":true},{"actual":["low fat","low sodium","sugar free"],"check":"repair check: exclusive sodium tiers","expected":["low fat","sugar free","very low sodium"],"passed":false},{"actual":["fat free","good source of fiber"],"check":"generated control 1","expected":["fat free","good source of fiber"],"passed":true},{"actual":["fat free","good source of fiber","low sodium","sugar free"],"check":"generated control 2","expected":["fat free","good source of fiber","low sodium","sugar free"],"passed":true},{"actual":["good source of fiber","very low sodium"],"check":"generated control 3","expected":["good source of fiber","very low sodium"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"large serving\", \"actual\": [\"high fiber\", \"low fat\", \"low sodium\", \"sugar free\"], \"expected\": [\"high fiber\", \"low fat\", \"low sodium\", \"sugar free\"], \"passed\": true}, {\"check\": \"small serving per 50 g\", \"actual\": [\"low sodium\"], \"expected\": [\"low sodium\"], \"passed\": true}, {\"check\": \"racc exactly 30\", \"actual\": [\"sugar free\"], \"expected\": [\"sugar free\"], \"passed\": true}, {\"check\": \"regression: exclusive sodium tiers\", \"actual\": [\"good source of fiber\", \"sodium free\", \"sugar free\"], \"expected\": [\"good source of fiber\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"repair check: exclusive sodium tiers\", \"actual\": [\"low fat\", \"low sodium\", \"sugar free\"], \"expected\": [\"low fat\", \"sugar free\", \"very low sodium\"], \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": [\"fat free\", \"good source of fiber\"], \"expected\": [\"fat free\", \"good source of fiber\"], \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": [\"fat free\", \"good source of fiber\", \"low sodium\", \"sugar free\"], \"expected\": [\"fat free\", \"good source of fiber\", \"low sodium\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": [\"good source of fiber\", \"very low sodium\"], \"expected\": [\"good source of fiber\", \"very low sodium\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.941,"exit_code":1,"observations":[{"actual":["high fiber","low fat","low sodium","sugar free"],"check":"large serving","expected":["high fiber","low fat","low sodium","sugar free"],"passed":true},{"actual":["low sodium"],"check":"small serving per 50 g","expected":["low sodium"],"passed":true},{"actual":["sugar free"],"check":"racc exactly 30","expected":["sugar free"],"passed":true},{"actual":["good source of fiber","sodium free","sugar free","very low sodium"],"check":"regression: exclusive sodium tiers","expected":["good source of fiber","sodium free","sugar free"],"passed":false},{"actual":["low fat","sugar free","very low sodium"],"check":"repair check: exclusive sodium tiers","expected":["low fat","sugar free","very low sodium"],"passed":true},{"actual":["fat free","good source of fiber"],"check":"generated control 1","expected":["fat free","good source of fiber"],"passed":true},{"actual":["fat free","good source of fiber","low sodium","sugar free"],"check":"generated control 2","expected":["fat free","good source of fiber","low sodium","sugar free"],"passed":true},{"actual":["good source of fiber","very low sodium"],"check":"generated control 3","expected":["good source of fiber","very low sodium"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"large serving\", \"actual\": [\"high fiber\", \"low fat\", \"low sodium\", \"sugar free\"], \"expected\": [\"high fiber\", \"low fat\", \"low sodium\", \"sugar free\"], \"passed\": true}, {\"check\": \"small serving per 50 g\", \"actual\": [\"low sodium\"], \"expected\": [\"low sodium\"], \"passed\": true}, {\"check\": \"racc exactly 30\", \"actual\": [\"sugar free\"], \"expected\": [\"sugar free\"], \"passed\": true}, {\"check\": \"regression: exclusive sodium tiers\", \"actual\": [\"good source of fiber\", \"sodium free\", \"sugar free\", \"very low sodium\"], \"expected\": [\"good source of fiber\", \"sodium free\", \"sugar free\"], \"passed\": false}, {\"check\": \"repair check: exclusive sodium tiers\", \"actual\": [\"low fat\", \"sugar free\", \"very low sodium\"], \"expected\": [\"low fat\", \"sugar free\", \"very low sodium\"], \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": [\"fat free\", \"good source of fiber\"], \"expected\": [\"fat free\", \"good source of fiber\"], \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": [\"fat free\", \"good source of fiber\", \"low sodium\", \"sugar free\"], \"expected\": [\"fat free\", \"good source of fiber\", \"low sodium\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": [\"good source of fiber\", \"very low sodium\"], \"expected\": [\"good source of fiber\", \"very low sodium\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.423,"exit_code":0,"observations":[{"actual":["high fiber","low fat","low sodium","sugar free"],"check":"large serving","expected":["high fiber","low fat","low sodium","sugar free"],"passed":true},{"actual":["low sodium"],"check":"small serving per 50 g","expected":["low sodium"],"passed":true},{"actual":["sugar free"],"check":"racc exactly 30","expected":["sugar free"],"passed":true},{"actual":["good source of fiber","sodium free","sugar free"],"check":"regression: exclusive sodium tiers","expected":["good source of fiber","sodium free","sugar free"],"passed":true},{"actual":["low fat","sugar free","very low sodium"],"check":"repair check: exclusive sodium tiers","expected":["low fat","sugar free","very low sodium"],"passed":true},{"actual":["fat free","good source of fiber"],"check":"generated control 1","expected":["fat free","good source of fiber"],"passed":true},{"actual":["fat free","good source of fiber","low sodium","sugar free"],"check":"generated control 2","expected":["fat free","good source of fiber","low sodium","sugar free"],"passed":true},{"actual":["good source of fiber","very low sodium"],"check":"generated control 3","expected":["good source of fiber","very low sodium"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"large serving\", \"actual\": [\"high fiber\", \"low fat\", \"low sodium\", \"sugar free\"], \"expected\": [\"high fiber\", \"low fat\", \"low sodium\", \"sugar free\"], \"passed\": true}, {\"check\": \"small serving per 50 g\", \"actual\": [\"low sodium\"], \"expected\": [\"low sodium\"], \"passed\": true}, {\"check\": \"racc exactly 30\", \"actual\": [\"sugar free\"], \"expected\": [\"sugar free\"], \"passed\": true}, {\"check\": \"regression: exclusive sodium tiers\", \"actual\": [\"good source of fiber\", \"sodium free\", \"sugar free\"], \"expected\": [\"good source of fiber\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"repair check: exclusive sodium tiers\", \"actual\": [\"low fat\", \"sugar free\", \"very low sodium\"], \"expected\": [\"low fat\", \"sugar free\", \"very low sodium\"], \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": [\"fat free\", \"good source of fiber\"], \"expected\": [\"fat free\", \"good source of fiber\"], \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": [\"fat free\", \"good source of fiber\", \"low sodium\", \"sugar free\"], \"expected\": [\"fat free\", \"good source of fiber\", \"low sodium\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": [\"good source of fiber\", \"very low sodium\"], \"expected\": [\"good source of fiber\", \"very low sodium\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}