{"abstract":"Small crackers claim high fiber from an inflated per-50 g figure.","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":"Per-50 g fiber inflates small servings and deflates large ones.","family":"w2-recipe_scaling_and_nutrition-content-claims-fiber-basis","id":"FA-97176","implementations":{"attempt":{"sha256":"381679557a0359c6166caafd7e722f51911f9f3a44e1d699c6cd93dd2581d8e8","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))) * 50 / Fraction(str(serving_g))\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: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 141, 'sugars': 0.5}, 15, 30],\n   ['fat free', 'good source of fiber']],\n  ['repair check: fiber basis', [{'fat': 0.3, 'fiber': 5, 'sodium': 3, 'sugars': 0}, 240, 15],\n   ['fat free', 'high fiber', 'sodium free', 'sugar free']],\n  ['generated control 1', [{}, 30, 20], ['fat free', 'sodium free', 'sugar free']],\n  ['generated control 2', [{'fat': 2.5, 'fiber': 5, 'sodium': 4.9, 'sugars': 0.4}, 28, 240],\n   ['high fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sodium': 140, 'sugars': 0.2}, 30, 20],\n   ['good source of fiber', 'low fat', '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  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['regression: fiber basis', [{'fat': 1, 'fiber': 1, 'sodium': 141, 'sugars': 0.5}, 10, 20], []],\n  ['repair check: fiber basis', [{'fat': 3, 'fiber': 2.5, 'sodium': 141}, 15, 50],\n   ['good source of fiber', 'low fat', 'sugar free']],\n  ['generated control 1', [{'fat': 2.5, 'fiber': 6, 'sodium': 141, 'sugars': 2}, 30, 240],\n   ['high fiber', 'low fat']],\n  ['generated control 2', [{'fat': 0.3, 'sodium': 3, 'sugars': 0.4}, 30, 50],\n   ['fat free', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 1, 'fiber': 5, 'sodium': 5, 'sugars': 0.4}, 240, 40],\n   ['high fiber', 'low fat', 'sugar free', 'very 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  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['regression: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 35}, 15, 30], ['low sodium', 'sugar free']],\n  ['repair check: fiber basis', [{'fat': 4, 'fiber': 4.9, 'sugars': 0.5}, 40, 50],\n   ['good source of fiber', 'sodium free']],\n  ['generated control 1', [{'fat': 0.5, 'sodium': 36, 'sugars': 0.2}, 40, 30],\n   ['low fat', 'low sodium', 'sugar free']],\n  ['generated control 2', [{'fat': 0.3, 'fiber': 6, 'sodium': 0, 'sugars': 0.4}, 55, 40],\n   ['fat free', 'high fiber', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 2.5, 'fiber': 6, 'sodium': 36, 'sugars': 2}, 240, 240],\n   ['high fiber', 'low fat', '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: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 30, 'sugars': 2}, 15, 20], ['low sodium']],\n  ['repair check: fiber basis', [{'fat': 0, 'fiber': 1, 'sodium': 5, 'sugars': 0}, 20, 31],\n   ['fat free', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'sodium': 300, 'sugars': 0.2}, 28, 30], ['fat free', 'sugar free']],\n  ['generated control 2', [{'fat': 0.3, 'sodium': 140, 'sugars': 0}, 100, 240],\n   ['fat free', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sugars': 0.5}, 28, 40],\n   ['good source of fiber', 'low fat', 'sodium 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  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['regression: fiber basis', [{'fat': 1, 'fiber': 3, 'sodium': 3, 'sugars': 0.5}, 20, 30],\n   ['good source of fiber', 'low fat', 'very low sodium']],\n  ['repair check: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 3}, 40, 50],\n   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],\n  ['generated control 1', [{'fat': 4, 'fiber': 6, 'sodium': 35, 'sugars': 0.5}, 20, 30],\n   ['high fiber', 'low sodium']],\n  ['generated control 2', [{'fat': 2.5, 'sodium': 141, 'sugars': 2}, 100, 240], ['low fat']],\n  ['generated control 3', [{'fat': 2.5, 'fiber': 5, 'sodium': 140, 'sugars': 2}, 100, 31],\n   ['high fiber', 'low fat', 'low sodium']]]]\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":"6d421c224117dbdebb6cd62071d38b66eb6a856fdf91eb3ece55ae3952c11562","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 = basis('fiber')\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: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 141, 'sugars': 0.5}, 15, 30],\n   ['fat free', 'good source of fiber']],\n  ['repair check: fiber basis', [{'fat': 0.3, 'fiber': 5, 'sodium': 3, 'sugars': 0}, 240, 15],\n   ['fat free', 'high fiber', 'sodium free', 'sugar free']],\n  ['generated control 1', [{}, 30, 20], ['fat free', 'sodium free', 'sugar free']],\n  ['generated control 2', [{'fat': 2.5, 'fiber': 5, 'sodium': 4.9, 'sugars': 0.4}, 28, 240],\n   ['high fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sodium': 140, 'sugars': 0.2}, 30, 20],\n   ['good source of fiber', 'low fat', '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  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['regression: fiber basis', [{'fat': 1, 'fiber': 1, 'sodium': 141, 'sugars': 0.5}, 10, 20], []],\n  ['repair check: fiber basis', [{'fat': 3, 'fiber': 2.5, 'sodium': 141}, 15, 50],\n   ['good source of fiber', 'low fat', 'sugar free']],\n  ['generated control 1', [{'fat': 2.5, 'fiber': 6, 'sodium': 141, 'sugars': 2}, 30, 240],\n   ['high fiber', 'low fat']],\n  ['generated control 2', [{'fat': 0.3, 'sodium': 3, 'sugars': 0.4}, 30, 50],\n   ['fat free', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 1, 'fiber': 5, 'sodium': 5, 'sugars': 0.4}, 240, 40],\n   ['high fiber', 'low fat', 'sugar free', 'very 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  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['regression: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 35}, 15, 30], ['low sodium', 'sugar free']],\n  ['repair check: fiber basis', [{'fat': 4, 'fiber': 4.9, 'sugars': 0.5}, 40, 50],\n   ['good source of fiber', 'sodium free']],\n  ['generated control 1', [{'fat': 0.5, 'sodium': 36, 'sugars': 0.2}, 40, 30],\n   ['low fat', 'low sodium', 'sugar free']],\n  ['generated control 2', [{'fat': 0.3, 'fiber': 6, 'sodium': 0, 'sugars': 0.4}, 55, 40],\n   ['fat free', 'high fiber', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 2.5, 'fiber': 6, 'sodium': 36, 'sugars': 2}, 240, 240],\n   ['high fiber', 'low fat', '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: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 30, 'sugars': 2}, 15, 20], ['low sodium']],\n  ['repair check: fiber basis', [{'fat': 0, 'fiber': 1, 'sodium': 5, 'sugars': 0}, 20, 31],\n   ['fat free', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'sodium': 300, 'sugars': 0.2}, 28, 30], ['fat free', 'sugar free']],\n  ['generated control 2', [{'fat': 0.3, 'sodium': 140, 'sugars': 0}, 100, 240],\n   ['fat free', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sugars': 0.5}, 28, 40],\n   ['good source of fiber', 'low fat', 'sodium 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  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['regression: fiber basis', [{'fat': 1, 'fiber': 3, 'sodium': 3, 'sugars': 0.5}, 20, 30],\n   ['good source of fiber', 'low fat', 'very low sodium']],\n  ['repair check: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 3}, 40, 50],\n   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],\n  ['generated control 1', [{'fat': 4, 'fiber': 6, 'sodium': 35, 'sugars': 0.5}, 20, 30],\n   ['high fiber', 'low sodium']],\n  ['generated control 2', [{'fat': 2.5, 'sodium': 141, 'sugars': 2}, 100, 240], ['low fat']],\n  ['generated control 3', [{'fat': 2.5, 'fiber': 5, 'sodium': 140, 'sugars': 2}, 100, 31],\n   ['high fiber', 'low fat', 'low sodium']]]]\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":"96ce1d02e73cda8892d6e294a3c5a13332095b42c696d7fd38f74c35974b7090","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: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 141, 'sugars': 0.5}, 15, 30],\n   ['fat free', 'good source of fiber']],\n  ['repair check: fiber basis', [{'fat': 0.3, 'fiber': 5, 'sodium': 3, 'sugars': 0}, 240, 15],\n   ['fat free', 'high fiber', 'sodium free', 'sugar free']],\n  ['generated control 1', [{}, 30, 20], ['fat free', 'sodium free', 'sugar free']],\n  ['generated control 2', [{'fat': 2.5, 'fiber': 5, 'sodium': 4.9, 'sugars': 0.4}, 28, 240],\n   ['high fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sodium': 140, 'sugars': 0.2}, 30, 20],\n   ['good source of fiber', 'low fat', '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  ['empty', [{}, 100, 100], ['fat free', 'sodium free', 'sugar free']],\n  ['regression: fiber basis', [{'fat': 1, 'fiber': 1, 'sodium': 141, 'sugars': 0.5}, 10, 20], []],\n  ['repair check: fiber basis', [{'fat': 3, 'fiber': 2.5, 'sodium': 141}, 15, 50],\n   ['good source of fiber', 'low fat', 'sugar free']],\n  ['generated control 1', [{'fat': 2.5, 'fiber': 6, 'sodium': 141, 'sugars': 2}, 30, 240],\n   ['high fiber', 'low fat']],\n  ['generated control 2', [{'fat': 0.3, 'sodium': 3, 'sugars': 0.4}, 30, 50],\n   ['fat free', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 1, 'fiber': 5, 'sodium': 5, 'sugars': 0.4}, 240, 40],\n   ['high fiber', 'low fat', 'sugar free', 'very 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  ['large serving', [{'fat': 2, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 240, 240],\n   ['high fiber', 'low fat', 'low sodium', 'sugar free']],\n  ['regression: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 35}, 15, 30], ['low sodium', 'sugar free']],\n  ['repair check: fiber basis', [{'fat': 4, 'fiber': 4.9, 'sugars': 0.5}, 40, 50],\n   ['good source of fiber', 'sodium free']],\n  ['generated control 1', [{'fat': 0.5, 'sodium': 36, 'sugars': 0.2}, 40, 30],\n   ['low fat', 'low sodium', 'sugar free']],\n  ['generated control 2', [{'fat': 0.3, 'fiber': 6, 'sodium': 0, 'sugars': 0.4}, 55, 40],\n   ['fat free', 'high fiber', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fat': 2.5, 'fiber': 6, 'sodium': 36, 'sugars': 2}, 240, 240],\n   ['high fiber', 'low fat', '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: fiber basis', [{'fat': 2.5, 'fiber': 1, 'sodium': 30, 'sugars': 2}, 15, 20], ['low sodium']],\n  ['repair check: fiber basis', [{'fat': 0, 'fiber': 1, 'sodium': 5, 'sugars': 0}, 20, 31],\n   ['fat free', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 0, 'sodium': 300, 'sugars': 0.2}, 28, 30], ['fat free', 'sugar free']],\n  ['generated control 2', [{'fat': 0.3, 'sodium': 140, 'sugars': 0}, 100, 240],\n   ['fat free', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'fiber': 2.5, 'sugars': 0.5}, 28, 40],\n   ['good source of fiber', 'low fat', 'sodium 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  ['racc exactly 30', [{'fat': 2, 'sodium': 100}, 20, 30], ['sugar free']],\n  ['regression: fiber basis', [{'fat': 1, 'fiber': 3, 'sodium': 3, 'sugars': 0.5}, 20, 30],\n   ['good source of fiber', 'low fat', 'very low sodium']],\n  ['repair check: fiber basis', [{'fat': 0, 'fiber': 4.9, 'sodium': 3}, 40, 50],\n   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],\n  ['generated control 1', [{'fat': 4, 'fiber': 6, 'sodium': 35, 'sugars': 0.5}, 20, 30],\n   ['high fiber', 'low sodium']],\n  ['generated control 2', [{'fat': 2.5, 'sodium': 141, 'sugars': 2}, 100, 240], ['low fat']],\n  ['generated control 3', [{'fat': 2.5, 'fiber': 5, 'sodium': 140, 'sugars': 2}, 100, 31],\n   ['high fiber', 'low fat', 'low sodium']]]]\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-fiber-basis","generated_at":"2026-09-29T14:52:29.578086+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":"Judge fiber claims per serving only.","root_cause":"Fiber, a positive nutrient, is judged with the stricter-of-two basis meant for limits.","sha256":"a04c4c1d8d4d2a53ddd52bafcad0642d4a849b3442711d264ee26e069266ca28","title":"Nutrient content claim screener: fiber basis · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.669,"exit_code":1,"observations":[{"actual":["low fat","low sodium","sugar free"],"check":"large serving","expected":["high fiber","low fat","low sodium","sugar free"],"passed":false},{"actual":["good source of fiber","low sodium"],"check":"small serving per 50 g","expected":["low sodium"],"passed":false},{"actual":["sugar free"],"check":"racc exactly 30","expected":["sugar free"],"passed":true},{"actual":["fat free","high fiber"],"check":"regression: fiber basis","expected":["fat free","good source of fiber"],"passed":false},{"actual":["fat free","sodium free","sugar free"],"check":"repair check: fiber basis","expected":["fat free","high fiber","sodium free","sugar free"],"passed":false},{"actual":["fat free","sodium free","sugar free"],"check":"generated control 1","expected":["fat free","sodium free","sugar free"],"passed":true},{"actual":["high fiber","low fat","sodium free","sugar free"],"check":"generated control 2","expected":["high fiber","low fat","sodium free","sugar free"],"passed":true},{"actual":["good source of fiber","low fat","sugar free"],"check":"generated control 3","expected":["good source of fiber","low fat","sugar free"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"large serving\", \"actual\": [\"low fat\", \"low sodium\", \"sugar free\"], \"expected\": [\"high fiber\", \"low fat\", \"low sodium\", \"sugar free\"], \"passed\": false}, {\"check\": \"small serving per 50 g\", \"actual\": [\"good source of fiber\", \"low sodium\"], \"expected\": [\"low sodium\"], \"passed\": false}, {\"check\": \"racc exactly 30\", \"actual\": [\"sugar free\"], \"expected\": [\"sugar free\"], \"passed\": true}, {\"check\": \"regression: fiber basis\", \"actual\": [\"fat free\", \"high fiber\"], \"expected\": [\"fat free\", \"good source of fiber\"], \"passed\": false}, {\"check\": \"repair check: fiber basis\", \"actual\": [\"fat free\", \"sodium free\", \"sugar free\"], \"expected\": [\"fat free\", \"high fiber\", \"sodium free\", \"sugar free\"], \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": [\"fat free\", \"sodium free\", \"sugar free\"], \"expected\": [\"fat free\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": [\"high fiber\", \"low fat\", \"sodium free\", \"sugar free\"], \"expected\": [\"high fiber\", \"low fat\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": [\"good source of fiber\", \"low fat\", \"sugar free\"], \"expected\": [\"good source of fiber\", \"low fat\", \"sugar free\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.581,"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":["good source of fiber","low sodium"],"check":"small serving per 50 g","expected":["low sodium"],"passed":false},{"actual":["sugar free"],"check":"racc exactly 30","expected":["sugar free"],"passed":true},{"actual":["fat free","high fiber"],"check":"regression: fiber basis","expected":["fat free","good source of fiber"],"passed":false},{"actual":["fat free","high fiber","sodium free","sugar free"],"check":"repair check: fiber basis","expected":["fat free","high fiber","sodium free","sugar free"],"passed":true},{"actual":["fat free","sodium free","sugar free"],"check":"generated control 1","expected":["fat free","sodium free","sugar free"],"passed":true},{"actual":["high fiber","low fat","sodium free","sugar free"],"check":"generated control 2","expected":["high fiber","low fat","sodium free","sugar free"],"passed":true},{"actual":["good source of fiber","low fat","sugar free"],"check":"generated control 3","expected":["good source of fiber","low fat","sugar free"],"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\": [\"good source of fiber\", \"low sodium\"], \"expected\": [\"low sodium\"], \"passed\": false}, {\"check\": \"racc exactly 30\", \"actual\": [\"sugar free\"], \"expected\": [\"sugar free\"], \"passed\": true}, {\"check\": \"regression: fiber basis\", \"actual\": [\"fat free\", \"high fiber\"], \"expected\": [\"fat free\", \"good source of fiber\"], \"passed\": false}, {\"check\": \"repair check: fiber basis\", \"actual\": [\"fat free\", \"high fiber\", \"sodium free\", \"sugar free\"], \"expected\": [\"fat free\", \"high fiber\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": [\"fat free\", \"sodium free\", \"sugar free\"], \"expected\": [\"fat free\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": [\"high fiber\", \"low fat\", \"sodium free\", \"sugar free\"], \"expected\": [\"high fiber\", \"low fat\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": [\"good source of fiber\", \"low fat\", \"sugar free\"], \"expected\": [\"good source of fiber\", \"low fat\", \"sugar free\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.311,"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":["fat free","good source of fiber"],"check":"regression: fiber basis","expected":["fat free","good source of fiber"],"passed":true},{"actual":["fat free","high fiber","sodium free","sugar free"],"check":"repair check: fiber basis","expected":["fat free","high fiber","sodium free","sugar free"],"passed":true},{"actual":["fat free","sodium free","sugar free"],"check":"generated control 1","expected":["fat free","sodium free","sugar free"],"passed":true},{"actual":["high fiber","low fat","sodium free","sugar free"],"check":"generated control 2","expected":["high fiber","low fat","sodium free","sugar free"],"passed":true},{"actual":["good source of fiber","low fat","sugar free"],"check":"generated control 3","expected":["good source of fiber","low fat","sugar free"],"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: fiber basis\", \"actual\": [\"fat free\", \"good source of fiber\"], \"expected\": [\"fat free\", \"good source of fiber\"], \"passed\": true}, {\"check\": \"repair check: fiber basis\", \"actual\": [\"fat free\", \"high fiber\", \"sodium free\", \"sugar free\"], \"expected\": [\"fat free\", \"high fiber\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": [\"fat free\", \"sodium free\", \"sugar free\"], \"expected\": [\"fat free\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": [\"high fiber\", \"low fat\", \"sodium free\", \"sugar free\"], \"expected\": [\"high fiber\", \"low fat\", \"sodium free\", \"sugar free\"], \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": [\"good source of fiber\", \"low fat\", \"sugar free\"], \"expected\": [\"good source of fiber\", \"low fat\", \"sugar free\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}