{"abstract":"A product with no sodium prints \"<1%\".","category":"Recipe scaling and nutrition","checks":8,"contract":"DVs: sodium 2300 mg, fat 78 g, fiber 28 g, calcium 1300 mg, vitamin d 20 mcg, added sugars 50 g, protein 50 g. Names are trimmed, case-insensitive; unknown -> \"error: no daily value\". Units g, mg, mcg convert exactly; \"iu\" is allowed only for vitamin d (40 IU = 1 mcg), else \"error: unit\". pct = amount/DV*100. Zero -> \"0%\". Calcium and vitamin d: <2 -> \"<2%\", <=10 -> nearest 2, <=50 -> nearest 5, else nearest 10. Others: <1 -> \"<1%\", else nearest 1. Half-up.","contract_signature":"nutrient, amount, unit","evaluation_group":"w2-recipe_scaling_and_nutrition-percent-daily-value","failed_approach":"Excluding micronutrients still prints \"<2%\" for zero calcium.","family":"w2-recipe_scaling_and_nutrition-percent-daily-value-zero-amount","id":"FA-97021","implementations":{"attempt":{"sha256":"cd72178e760aaa7080f71ddac2b4eee243a95afc24be44f04f374700103d26c2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(nutrient, amount, unit):\n    DV = {'sodium': (2300, 'mg'), 'fat': (78, 'g'), 'fiber': (28, 'g'), 'calcium': (1300, 'mg'),\n          'vitamin d': (20, 'mcg'), 'added sugars': (50, 'g'), 'protein': (50, 'g')}\n    SCALE = {'g': 1000000, 'mg': 1000, 'mcg': 1}\n    key = nutrient.strip().lower()\n    if key not in DV:\n        return 'error: no daily value'\n    amt = Fraction(str(amount))\n    if unit == 'iu':\n        if key != 'vitamin d':\n            return 'error: unit'\n        amt, unit = amt / 40, 'mcg'\n    if unit not in SCALE:\n        return 'error: unit'\n    dv, dvu = DV[key]\n    p = amt * SCALE[unit] / (dv * SCALE[dvu]) * 100\n    def near(v, s):\n        return math.floor(v / s + Fraction(1, 2)) * s\n    if p == 0 and key not in ('calcium', 'vitamin d'):\n        return '0%'\n    if key in ('calcium', 'vitamin d'):\n        if p < 2:\n            return '<2%'\n        v = near(p, 2) if p <= 10 else near(p, 5) if p <= 50 else near(p, 10)\n    else:\n        if p < 1:\n            return '<1%'\n        v = near(p, 1)\n    return '%d%%' % v\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['sodium control', ['sodium', 460, 'mg'], '20%'],\n  ['calcium exactly two percent', ['calcium', 26, 'mg'], '2%'],\n  ['vitamin d in IU', ['vitamin d', 400, 'iu'], '50%'],\n  ['regression: zero amount', ['protein', 0, 'mcg'], '0%'],\n  ['repair check: zero amount', ['vitamin d', 0, 'mg'], '0%'],\n  ['generated control 1', ['iron', 2300, 'mg'], 'error: no daily value'],\n  ['generated control 2', ['calcium', 0.39, 'iu'], 'error: unit'],\n  ['generated control 3', ['protein', 2300, 'iu'], 'error: unit']],\n [['calcium exactly two percent', ['calcium', 26, 'mg'], '2%'],\n  ['vitamin d in IU', ['vitamin d', 400, 'iu'], '50%'], ['fat in grams', ['fat', 3, 'g'], '4%'],\n  ['regression: zero amount', [' Sodium', 0, 'mg'], '0%'],\n  ['repair check: zero amount', ['CALCIUM', 0, 'g'], '0%'],\n  ['generated control 1', ['added sugars', 300, 'g'], '600%'],\n  ['generated control 2', ['CALCIUM', 130, 'g'], '10000%'],\n  ['generated control 3', ['protein', 3, 'g'], '6%']],\n [['vitamin d in IU', ['vitamin d', 400, 'iu'], '50%'], ['fat in grams', ['fat', 3, 'g'], '4%'],\n  ['zero calcium', ['calcium', 0, 'mg'], '0%'], ['regression: zero amount', ['fat', 0, 'mcg'], '0%'],\n  ['repair check: zero amount', ['vitamin d', 0, 'g'], '0%'],\n  ['generated control 1', ['vitamin d', 2, 'mg'], '10000%'],\n  ['generated control 2', ['protein', 700, 'g'], '1400%'],\n  ['generated control 3', ['added sugars', 0.5, 'g'], '1%']],\n [['fat in grams', ['fat', 3, 'g'], '4%'], ['zero calcium', ['calcium', 0, 'mg'], '0%'],\n  ['iu for sodium rejected', ['sodium', 10, 'iu'], 'error: unit'],\n  ['regression: zero amount', ['added sugars', 0, 'g'], '0%'],\n  ['repair check: zero amount', ['CALCIUM', 0, 'mcg'], '0%'],\n  ['generated control 1', ['sodium', 7.8, 'mg'], '<1%'],\n  ['generated control 2', ['calcium', 40, 'iu'], 'error: unit'],\n  ['generated control 3', ['vitamin d', 7.8, 'g'], '39000000%']],\n [['zero calcium', ['calcium', 0, 'mg'], '0%'],\n  ['iu for sodium rejected', ['sodium', 10, 'iu'], 'error: unit'],\n  ['sodium control', ['sodium', 460, 'mg'], '20%'], ['regression: zero amount', [' Sodium', 0, 'mg'], '0%'],\n  ['repair check: zero amount', ['CALCIUM', 0, 'mcg'], '0%'],\n  ['generated control 1', ['sodium', 1000, 'g'], '43478%'],\n  ['generated control 2', ['iron', 26, 'g'], 'error: no daily value'],\n  ['generated control 3', ['protein', 1500, 'mcg'], '<1%']]]\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":"cf070ffe0660519ffdb045abd55cb8e1c20a708b23fa70bf968918a820df7aae","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(nutrient, amount, unit):\n    DV = {'sodium': (2300, 'mg'), 'fat': (78, 'g'), 'fiber': (28, 'g'), 'calcium': (1300, 'mg'),\n          'vitamin d': (20, 'mcg'), 'added sugars': (50, 'g'), 'protein': (50, 'g')}\n    SCALE = {'g': 1000000, 'mg': 1000, 'mcg': 1}\n    key = nutrient.strip().lower()\n    if key not in DV:\n        return 'error: no daily value'\n    amt = Fraction(str(amount))\n    if unit == 'iu':\n        if key != 'vitamin d':\n            return 'error: unit'\n        amt, unit = amt / 40, 'mcg'\n    if unit not in SCALE:\n        return 'error: unit'\n    dv, dvu = DV[key]\n    p = amt * SCALE[unit] / (dv * SCALE[dvu]) * 100\n    def near(v, s):\n        return math.floor(v / s + Fraction(1, 2)) * s\n    if p < 0:\n        return '0%'\n    if key in ('calcium', 'vitamin d'):\n        if p < 2:\n            return '<2%'\n        v = near(p, 2) if p <= 10 else near(p, 5) if p <= 50 else near(p, 10)\n    else:\n        if p < 1:\n            return '<1%'\n        v = near(p, 1)\n    return '%d%%' % v\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['sodium control', ['sodium', 460, 'mg'], '20%'],\n  ['calcium exactly two percent', ['calcium', 26, 'mg'], '2%'],\n  ['vitamin d in IU', ['vitamin d', 400, 'iu'], '50%'],\n  ['regression: zero amount', ['protein', 0, 'mcg'], '0%'],\n  ['repair check: zero amount', ['vitamin d', 0, 'mg'], '0%'],\n  ['generated control 1', ['iron', 2300, 'mg'], 'error: no daily value'],\n  ['generated control 2', ['calcium', 0.39, 'iu'], 'error: unit'],\n  ['generated control 3', ['protein', 2300, 'iu'], 'error: unit']],\n [['calcium exactly two percent', ['calcium', 26, 'mg'], '2%'],\n  ['vitamin d in IU', ['vitamin d', 400, 'iu'], '50%'], ['fat in grams', ['fat', 3, 'g'], '4%'],\n  ['regression: zero amount', [' Sodium', 0, 'mg'], '0%'],\n  ['repair check: zero amount', ['CALCIUM', 0, 'g'], '0%'],\n  ['generated control 1', ['added sugars', 300, 'g'], '600%'],\n  ['generated control 2', ['CALCIUM', 130, 'g'], '10000%'],\n  ['generated control 3', ['protein', 3, 'g'], '6%']],\n [['vitamin d in IU', ['vitamin d', 400, 'iu'], '50%'], ['fat in grams', ['fat', 3, 'g'], '4%'],\n  ['zero calcium', ['calcium', 0, 'mg'], '0%'], ['regression: zero amount', ['fat', 0, 'mcg'], '0%'],\n  ['repair check: zero amount', ['vitamin d', 0, 'g'], '0%'],\n  ['generated control 1', ['vitamin d', 2, 'mg'], '10000%'],\n  ['generated control 2', ['protein', 700, 'g'], '1400%'],\n  ['generated control 3', ['added sugars', 0.5, 'g'], '1%']],\n [['fat in grams', ['fat', 3, 'g'], '4%'], ['zero calcium', ['calcium', 0, 'mg'], '0%'],\n  ['iu for sodium rejected', ['sodium', 10, 'iu'], 'error: unit'],\n  ['regression: zero amount', ['added sugars', 0, 'g'], '0%'],\n  ['repair check: zero amount', ['CALCIUM', 0, 'mcg'], '0%'],\n  ['generated control 1', ['sodium', 7.8, 'mg'], '<1%'],\n  ['generated control 2', ['calcium', 40, 'iu'], 'error: unit'],\n  ['generated control 3', ['vitamin d', 7.8, 'g'], '39000000%']],\n [['zero calcium', ['calcium', 0, 'mg'], '0%'],\n  ['iu for sodium rejected', ['sodium', 10, 'iu'], 'error: unit'],\n  ['sodium control', ['sodium', 460, 'mg'], '20%'], ['regression: zero amount', [' Sodium', 0, 'mg'], '0%'],\n  ['repair check: zero amount', ['CALCIUM', 0, 'mcg'], '0%'],\n  ['generated control 1', ['sodium', 1000, 'g'], '43478%'],\n  ['generated control 2', ['iron', 26, 'g'], 'error: no daily value'],\n  ['generated control 3', ['protein', 1500, 'mcg'], '<1%']]]\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-percent-daily-value-zero-amount","generated_at":"2026-09-29T14:52:28.154315+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Label software prints %DV with different increments for micronutrients and macronutrients.","root_cause":"The zero case is not special-cased, so zero falls into the less-than band.","sha256":"1ea91ca4756cf03982613b050082db74a4f92d54a8ab4e26232643e39879c8ab","title":"Percent daily value formatter: zero amount · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.322,"exit_code":1,"observations":[{"actual":"20%","check":"sodium control","expected":"20%","passed":true},{"actual":"2%","check":"calcium exactly two percent","expected":"2%","passed":true},{"actual":"50%","check":"vitamin d in IU","expected":"50%","passed":true},{"actual":"0%","check":"regression: zero amount","expected":"0%","passed":true},{"actual":"<2%","check":"repair check: zero amount","expected":"0%","passed":false},{"actual":"error: no daily value","check":"generated control 1","expected":"error: no daily value","passed":true},{"actual":"error: unit","check":"generated control 2","expected":"error: unit","passed":true},{"actual":"error: unit","check":"generated control 3","expected":"error: unit","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sodium control\", \"actual\": \"20%\", \"expected\": \"20%\", \"passed\": true}, {\"check\": \"calcium exactly two percent\", \"actual\": \"2%\", \"expected\": \"2%\", \"passed\": true}, {\"check\": \"vitamin d in IU\", \"actual\": \"50%\", \"expected\": \"50%\", \"passed\": true}, {\"check\": \"regression: zero amount\", \"actual\": \"0%\", \"expected\": \"0%\", \"passed\": true}, {\"check\": \"repair check: zero amount\", \"actual\": \"<2%\", \"expected\": \"0%\", \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": \"error: no daily value\", \"expected\": \"error: no daily value\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"error: unit\", \"expected\": \"error: unit\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"error: unit\", \"expected\": \"error: unit\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.283,"exit_code":1,"observations":[{"actual":"20%","check":"sodium control","expected":"20%","passed":true},{"actual":"2%","check":"calcium exactly two percent","expected":"2%","passed":true},{"actual":"50%","check":"vitamin d in IU","expected":"50%","passed":true},{"actual":"<1%","check":"regression: zero amount","expected":"0%","passed":false},{"actual":"<2%","check":"repair check: zero amount","expected":"0%","passed":false},{"actual":"error: no daily value","check":"generated control 1","expected":"error: no daily value","passed":true},{"actual":"error: unit","check":"generated control 2","expected":"error: unit","passed":true},{"actual":"error: unit","check":"generated control 3","expected":"error: unit","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sodium control\", \"actual\": \"20%\", \"expected\": \"20%\", \"passed\": true}, {\"check\": \"calcium exactly two percent\", \"actual\": \"2%\", \"expected\": \"2%\", \"passed\": true}, {\"check\": \"vitamin d in IU\", \"actual\": \"50%\", \"expected\": \"50%\", \"passed\": true}, {\"check\": \"regression: zero amount\", \"actual\": \"<1%\", \"expected\": \"0%\", \"passed\": false}, {\"check\": \"repair check: zero amount\", \"actual\": \"<2%\", \"expected\": \"0%\", \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": \"error: no daily value\", \"expected\": \"error: no daily value\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"error: unit\", \"expected\": \"error: unit\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"error: unit\", \"expected\": \"error: unit\", \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}