{"abstract":"Foods with a 30 g reference amount skip the per-50 g check.","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":"Testing the labelled serving size instead of the reference amount misclassifies large-serving snacks.","family":"w2-recipe_scaling_and_nutrition-content-claims-small-reference-amount-test","id":"FA-97156","implementations":{"attempt":{"sha256":"66b180b6bbf40067ecbb7b695d753837213d2ec7a2e040c0430f0ee3a69c0284","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 = serving_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: small reference amount test', [{'fat': 0.3, 'sugars': 2}, 15, 30],\n   ['low fat', 'sodium free']],\n  ['repair check: small reference amount test', [{'fat': 0.3, 'sodium': 0, 'sugars': 2}, 20, 31],\n   ['fat free', 'sodium free']],\n  ['generated control 1', [{'fat': 0, 'fiber': 0, 'sodium': 30, 'sugars': 0.5}, 20, 15],\n   ['fat free', 'low sodium']],\n  ['generated control 2', [{'fat': 0.5, 'fiber': 6, 'sodium': 3, 'sugars': 0.2}, 240, 30],\n   ['high fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fiber': 4.9, 'sodium': 5, 'sugars': 0}, 100, 30],\n   ['fat free', 'good source of fiber', 'sugar free', '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: small reference amount test', [{'fat': 3, 'fiber': 0, 'sodium': 0, 'sugars': 0}, 40, 30],\n   ['sodium free', 'sugar free']],\n  ['repair check: small reference amount test', [{'fat': 1, 'sodium': 30, 'sugars': 0}, 40, 20],\n   ['low fat', 'low sodium', 'sugar free']],\n  ['generated control 1', [{'fat': 2.5, 'fiber': 2.5, 'sodium': 30, 'sugars': 0.2}, 55, 50],\n   ['good source of fiber', 'low fat', 'sugar free', 'very low sodium']],\n  ['generated control 2', [{'fat': 2.5, 'sodium': 100}, 40, 50], ['low fat', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 4, 'fiber': 1, 'sodium': 300, 'sugars': 0.5}, 20, 31], []]],\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: small reference amount test', [{'fat': 4, 'fiber': 4.9, 'sodium': 4.9}, 28, 30],\n   ['good source of fiber', 'sugar free', 'very low sodium']],\n  ['repair check: small reference amount test', [{'fat': 1, 'fiber': 6, 'sodium': 140, 'sugars': 0}, 40, 15],\n   ['high fiber', 'low fat', 'sugar free']],\n  ['generated control 1', [{'fat': 0.3, 'fiber': 1, 'sodium': 5, 'sugars': 0.4}, 15, 15],\n   ['low fat', 'very low sodium']],\n  ['generated control 2', [{}, 28, 240], ['fat free', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fiber': 0, 'sodium': 5, 'sugars': 0.5}, 10, 20],\n   ['fat free', '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: small reference amount test', [{'fat': 0.3, 'fiber': 4.9, 'sodium': 3}, 10, 30],\n   ['good source of fiber', 'low fat', 'sugar free', 'very low sodium']],\n  ['repair check: small reference amount test', [{'fiber': 5, 'sodium': 30, 'sugars': 0.2}, 30, 240],\n   ['fat free', 'high fiber', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 0.5, 'fiber': 2.5, 'sodium': 3, 'sugars': 0.4}, 20, 50],\n   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['generated control 2', [{'fiber': 3, 'sodium': 0, 'sugars': 0.2}, 28, 15],\n   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fiber': 4.9, 'sodium': 5, 'sugars': 0.2}, 28, 31],\n   ['fat free', 'good source of fiber', 'sugar free', 'very low sodium']]],\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: small reference amount test', [{'fat': 0.3, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 10, 30],\n   ['high fiber', 'low fat', 'sugar free']],\n  ['repair check: small reference amount test',\n   [{'fat': 4, 'fiber': 0, 'sodium': 30, 'sugars': 0.2}, 15, 240], ['sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 1, 'fiber': 0, 'sodium': 3, 'sugars': 0.2}, 28, 15],\n   ['low fat', 'sugar free', 'very low sodium']],\n  ['generated control 2', [{'fat': 4, 'fiber': 4.9, 'sodium': 140, 'sugars': 0.2}, 55, 20],\n   ['good source of fiber', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'sodium': 4.9}, 55, 40], ['low fat', 'sodium free', '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":"29b2a528aff3034db727a13ee3d65b45159f23943bb792876b6a2b29eecfb38b","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: small reference amount test', [{'fat': 0.3, 'sugars': 2}, 15, 30],\n   ['low fat', 'sodium free']],\n  ['repair check: small reference amount test', [{'fat': 0.3, 'sodium': 0, 'sugars': 2}, 20, 31],\n   ['fat free', 'sodium free']],\n  ['generated control 1', [{'fat': 0, 'fiber': 0, 'sodium': 30, 'sugars': 0.5}, 20, 15],\n   ['fat free', 'low sodium']],\n  ['generated control 2', [{'fat': 0.5, 'fiber': 6, 'sodium': 3, 'sugars': 0.2}, 240, 30],\n   ['high fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fiber': 4.9, 'sodium': 5, 'sugars': 0}, 100, 30],\n   ['fat free', 'good source of fiber', 'sugar free', '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: small reference amount test', [{'fat': 3, 'fiber': 0, 'sodium': 0, 'sugars': 0}, 40, 30],\n   ['sodium free', 'sugar free']],\n  ['repair check: small reference amount test', [{'fat': 1, 'sodium': 30, 'sugars': 0}, 40, 20],\n   ['low fat', 'low sodium', 'sugar free']],\n  ['generated control 1', [{'fat': 2.5, 'fiber': 2.5, 'sodium': 30, 'sugars': 0.2}, 55, 50],\n   ['good source of fiber', 'low fat', 'sugar free', 'very low sodium']],\n  ['generated control 2', [{'fat': 2.5, 'sodium': 100}, 40, 50], ['low fat', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 4, 'fiber': 1, 'sodium': 300, 'sugars': 0.5}, 20, 31], []]],\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: small reference amount test', [{'fat': 4, 'fiber': 4.9, 'sodium': 4.9}, 28, 30],\n   ['good source of fiber', 'sugar free', 'very low sodium']],\n  ['repair check: small reference amount test', [{'fat': 1, 'fiber': 6, 'sodium': 140, 'sugars': 0}, 40, 15],\n   ['high fiber', 'low fat', 'sugar free']],\n  ['generated control 1', [{'fat': 0.3, 'fiber': 1, 'sodium': 5, 'sugars': 0.4}, 15, 15],\n   ['low fat', 'very low sodium']],\n  ['generated control 2', [{}, 28, 240], ['fat free', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fiber': 0, 'sodium': 5, 'sugars': 0.5}, 10, 20],\n   ['fat free', '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: small reference amount test', [{'fat': 0.3, 'fiber': 4.9, 'sodium': 3}, 10, 30],\n   ['good source of fiber', 'low fat', 'sugar free', 'very low sodium']],\n  ['repair check: small reference amount test', [{'fiber': 5, 'sodium': 30, 'sugars': 0.2}, 30, 240],\n   ['fat free', 'high fiber', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 0.5, 'fiber': 2.5, 'sodium': 3, 'sugars': 0.4}, 20, 50],\n   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['generated control 2', [{'fiber': 3, 'sodium': 0, 'sugars': 0.2}, 28, 15],\n   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fiber': 4.9, 'sodium': 5, 'sugars': 0.2}, 28, 31],\n   ['fat free', 'good source of fiber', 'sugar free', 'very low sodium']]],\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: small reference amount test', [{'fat': 0.3, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 10, 30],\n   ['high fiber', 'low fat', 'sugar free']],\n  ['repair check: small reference amount test',\n   [{'fat': 4, 'fiber': 0, 'sodium': 30, 'sugars': 0.2}, 15, 240], ['sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 1, 'fiber': 0, 'sodium': 3, 'sugars': 0.2}, 28, 15],\n   ['low fat', 'sugar free', 'very low sodium']],\n  ['generated control 2', [{'fat': 4, 'fiber': 4.9, 'sodium': 140, 'sugars': 0.2}, 55, 20],\n   ['good source of fiber', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'sodium': 4.9}, 55, 40], ['low fat', 'sodium free', '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":"5465dff2c75a8b488502ae4e065699b5997e5bd8a6a4d6457d25cff9bace0b2c","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: small reference amount test', [{'fat': 0.3, 'sugars': 2}, 15, 30],\n   ['low fat', 'sodium free']],\n  ['repair check: small reference amount test', [{'fat': 0.3, 'sodium': 0, 'sugars': 2}, 20, 31],\n   ['fat free', 'sodium free']],\n  ['generated control 1', [{'fat': 0, 'fiber': 0, 'sodium': 30, 'sugars': 0.5}, 20, 15],\n   ['fat free', 'low sodium']],\n  ['generated control 2', [{'fat': 0.5, 'fiber': 6, 'sodium': 3, 'sugars': 0.2}, 240, 30],\n   ['high fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fiber': 4.9, 'sodium': 5, 'sugars': 0}, 100, 30],\n   ['fat free', 'good source of fiber', 'sugar free', '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: small reference amount test', [{'fat': 3, 'fiber': 0, 'sodium': 0, 'sugars': 0}, 40, 30],\n   ['sodium free', 'sugar free']],\n  ['repair check: small reference amount test', [{'fat': 1, 'sodium': 30, 'sugars': 0}, 40, 20],\n   ['low fat', 'low sodium', 'sugar free']],\n  ['generated control 1', [{'fat': 2.5, 'fiber': 2.5, 'sodium': 30, 'sugars': 0.2}, 55, 50],\n   ['good source of fiber', 'low fat', 'sugar free', 'very low sodium']],\n  ['generated control 2', [{'fat': 2.5, 'sodium': 100}, 40, 50], ['low fat', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 4, 'fiber': 1, 'sodium': 300, 'sugars': 0.5}, 20, 31], []]],\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: small reference amount test', [{'fat': 4, 'fiber': 4.9, 'sodium': 4.9}, 28, 30],\n   ['good source of fiber', 'sugar free', 'very low sodium']],\n  ['repair check: small reference amount test', [{'fat': 1, 'fiber': 6, 'sodium': 140, 'sugars': 0}, 40, 15],\n   ['high fiber', 'low fat', 'sugar free']],\n  ['generated control 1', [{'fat': 0.3, 'fiber': 1, 'sodium': 5, 'sugars': 0.4}, 15, 15],\n   ['low fat', 'very low sodium']],\n  ['generated control 2', [{}, 28, 240], ['fat free', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fiber': 0, 'sodium': 5, 'sugars': 0.5}, 10, 20],\n   ['fat free', '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: small reference amount test', [{'fat': 0.3, 'fiber': 4.9, 'sodium': 3}, 10, 30],\n   ['good source of fiber', 'low fat', 'sugar free', 'very low sodium']],\n  ['repair check: small reference amount test', [{'fiber': 5, 'sodium': 30, 'sugars': 0.2}, 30, 240],\n   ['fat free', 'high fiber', 'sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 0.5, 'fiber': 2.5, 'sodium': 3, 'sugars': 0.4}, 20, 50],\n   ['good source of fiber', 'low fat', 'sodium free', 'sugar free']],\n  ['generated control 2', [{'fiber': 3, 'sodium': 0, 'sugars': 0.2}, 28, 15],\n   ['fat free', 'good source of fiber', 'sodium free', 'sugar free']],\n  ['generated control 3', [{'fiber': 4.9, 'sodium': 5, 'sugars': 0.2}, 28, 31],\n   ['fat free', 'good source of fiber', 'sugar free', 'very low sodium']]],\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: small reference amount test', [{'fat': 0.3, 'fiber': 5, 'sodium': 100, 'sugars': 0}, 10, 30],\n   ['high fiber', 'low fat', 'sugar free']],\n  ['repair check: small reference amount test',\n   [{'fat': 4, 'fiber': 0, 'sodium': 30, 'sugars': 0.2}, 15, 240], ['sugar free', 'very low sodium']],\n  ['generated control 1', [{'fat': 1, 'fiber': 0, 'sodium': 3, 'sugars': 0.2}, 28, 15],\n   ['low fat', 'sugar free', 'very low sodium']],\n  ['generated control 2', [{'fat': 4, 'fiber': 4.9, 'sodium': 140, 'sugars': 0.2}, 55, 20],\n   ['good source of fiber', 'low sodium', 'sugar free']],\n  ['generated control 3', [{'fat': 0.5, 'sodium': 4.9}, 55, 40], ['low fat', 'sodium free', '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-small-reference-amount-test","generated_at":"2026-09-29T14:52:29.357861+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":"Treat reference amounts of 30 g or less as small.","root_cause":"The small-RACC test excludes exactly 30 g.","sha256":"a758434b6d816508d20f339e382b177545c856e27ea2ed811fdfc3b07843bb9d","title":"Nutrient content claim screener: small reference amount test · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.576,"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":["low fat","sodium free"],"check":"regression: small reference amount test","expected":["low fat","sodium free"],"passed":true},{"actual":["low fat","sodium free"],"check":"repair check: small reference amount test","expected":["fat free","sodium free"],"passed":false},{"actual":["fat free","low sodium"],"check":"generated control 1","expected":["fat free","low sodium"],"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":["fat free","good source of fiber","sugar free","very low sodium"],"check":"generated control 3","expected":["fat free","good source of fiber","sugar free","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: small reference amount test\", \"actual\": [\"low fat\", \"sodium free\"], \"expected\": [\"low fat\", \"sodium free\"], \"passed\": true}, {\"check\": \"repair check: small reference amount test\", \"actual\": [\"low fat\", \"sodium free\"], \"expected\": [\"fat free\", \"sodium free\"], \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": [\"fat free\", \"low sodium\"], \"expected\": [\"fat free\", \"low sodium\"], \"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\": [\"fat free\", \"good source of fiber\", \"sugar free\", \"very low sodium\"], \"expected\": [\"fat free\", \"good source of fiber\", \"sugar free\", \"very low sodium\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.277,"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":["low fat","low sodium","sugar free"],"check":"racc exactly 30","expected":["sugar free"],"passed":false},{"actual":["fat free","sodium free"],"check":"regression: small reference amount test","expected":["low fat","sodium free"],"passed":false},{"actual":["fat free","sodium free"],"check":"repair check: small reference amount test","expected":["fat free","sodium free"],"passed":true},{"actual":["fat free","low sodium"],"check":"generated control 1","expected":["fat free","low sodium"],"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":["fat free","good source of fiber","sugar free","very low sodium"],"check":"generated control 3","expected":["fat free","good source of fiber","sugar free","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\": [\"low fat\", \"low sodium\", \"sugar free\"], \"expected\": [\"sugar free\"], \"passed\": false}, {\"check\": \"regression: small reference amount test\", \"actual\": [\"fat free\", \"sodium free\"], \"expected\": [\"low fat\", \"sodium free\"], \"passed\": false}, {\"check\": \"repair check: small reference amount test\", \"actual\": [\"fat free\", \"sodium free\"], \"expected\": [\"fat free\", \"sodium free\"], \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": [\"fat free\", \"low sodium\"], \"expected\": [\"fat free\", \"low sodium\"], \"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\": [\"fat free\", \"good source of fiber\", \"sugar free\", \"very low sodium\"], \"expected\": [\"fat free\", \"good source of fiber\", \"sugar free\", \"very low sodium\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.058,"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":["low fat","sodium free"],"check":"regression: small reference amount test","expected":["low fat","sodium free"],"passed":true},{"actual":["fat free","sodium free"],"check":"repair check: small reference amount test","expected":["fat free","sodium free"],"passed":true},{"actual":["fat free","low sodium"],"check":"generated control 1","expected":["fat free","low sodium"],"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":["fat free","good source of fiber","sugar free","very low sodium"],"check":"generated control 3","expected":["fat free","good source of fiber","sugar free","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: small reference amount test\", \"actual\": [\"low fat\", \"sodium free\"], \"expected\": [\"low fat\", \"sodium free\"], \"passed\": true}, {\"check\": \"repair check: small reference amount test\", \"actual\": [\"fat free\", \"sodium free\"], \"expected\": [\"fat free\", \"sodium free\"], \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": [\"fat free\", \"low sodium\"], \"expected\": [\"fat free\", \"low sodium\"], \"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\": [\"fat free\", \"good source of fiber\", \"sugar free\", \"very low sodium\"], \"expected\": [\"fat free\", \"good source of fiber\", \"sugar free\", \"very low sodium\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}