{"abstract":"Larger families get the two-child maximum credit.","category":"Tax bracket computation","checks":7,"contract":"solve(earned, agi, children, mfj, invest): stipulated earned-income credit, whole dollars. Investment income above 11600 disqualifies (0). Parameters by min(children, 3): phase-in rate %, max credit, phase-out rate %, phase-out start (0: 7.65, 600, 7.65, 9800; 1: 34, 3995, 15.98, 21560; 2: 40, 6604, 21.06, 21560; 3+: 45, 7430, 21.06, 21560); joint filers add 6920 to the start. Credit = min(rate_in*earned, max) reduced by rate_out*(max(earned, agi) - start) when positive, floored at 0. Return integer cents half-up.","evaluation_group":"w2-tax_bracket_computation-earned-credit-phaseout","failed_approach":"Using the three-child row only from four children still underpays families with exactly three.","family":"w2-tax_bracket_computation-earned-credit-phaseout-children-cap","id":"FA-62786","implementations":{"attempt":{"sha256":"385344358cb11687d7d01d69f27df3acc097714f8aa58d9873f0ea0b657455ac","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(earned, agi, children, mfj, invest):\n    def prog(x, br):\n        tax, lower = Fraction(0), 0\n        for upper, rate in br:\n            top = x if upper is None else min(x, upper)\n            if top > lower: tax += (top - lower) * Fraction(rate) / 100\n            if upper is None or x <= upper: break\n            lower = upper\n        return tax\n    def cents(v):\n        v = v * 100\n        return int(v + Fraction(1, 2)) if v >= 0 else -int(-v + Fraction(1, 2))\n    \n    P = {0: ['7.65', 7840, 600, '7.65', 9800], 1: ['34', 11750, 3995, '15.98', 21560], 2: ['40', 16510, 6604, '21.06', 21560], 3: ['45', 16510, 7430, '21.06', 21560]}\n    if invest > 11600: return 0\n    rin, cap, mx, rout, start = (P[3] if children >= 4 else P[min(children, 2)])\n    if mfj: start += 6920\n    credit = min(Fraction(rin) * earned / 100, Fraction(mx))\n    income = max(earned, agi)\n    if income > start: credit -= Fraction(rout) * (income - start) / 100\n    return cents(max(0, credit))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression children-cap 1', (15000, 15000, 4, False, 0), 675000),\n  ('regression children-cap 2', (15000, 15000, 3, False, 0), 675000),\n  ('partial repair guard 2', (15000, 15000, 3, True, 11600), 675000),\n  ('control: plateau', (10000, 10000, 1, False, 0), 340000),\n  ('control: phase-out two children', (30000, 30000, 2, False, 0), 482654),\n  ('control: agi drives phase-out', (12000, 30000, 1, False, 0), 264629),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0)],\n [('regression children-cap 1', (15000, 15000, 3, True, 11600), 675000),\n  ('regression children-cap 2', (10000, 30000, 5, False, 0), 272254),\n  ('partial repair guard 1', (39928, 0, 3, False, 0), 356170),\n  ('partial repair guard 2', (40000, 30000, 3, False, 11600), 354654),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0),\n  ('control: no children', (5000, 5000, 0, False, 0), 38250), ('control: joint', (30000, 30000, 2, True, 0), 628389),\n  ('control: four children', (15000, 15000, 4, False, 0), 675000)],\n [('regression children-cap 1', (30678, 10000, 5, False, 11600), 550975),\n  ('regression children-cap 2', (40000, 10000, 5, True, 11600), 500389),\n  ('partial repair guard 1', (31680, 0, 3, False, 11600), 529873),\n  ('partial repair guard 2', (5000, 30000, 3, True, 0), 192989),\n  ('control: four children', (15000, 15000, 4, False, 0), 675000),\n  ('control: phased to zero', (60000, 60000, 1, False, 0), 0),\n  ('control: investment at limit', (15000, 15000, 3, True, 11600), 675000),\n  ('control: plateau', (10000, 10000, 1, False, 0), 340000)],\n [('regression children-cap 1', (10000, 30000, 5, False, 11600), 272254),\n  ('regression children-cap 2', (5000, 10000, 4, True, 0), 225000),\n  ('partial repair guard 1', (40000, 0, 3, True, 0), 500389),\n  ('partial repair guard 2', (5000, 0, 3, False, 0), 225000), ('control: plateau', (10000, 10000, 1, False, 0), 340000),\n  ('control: phase-out two children', (30000, 30000, 2, False, 0), 482654),\n  ('control: agi drives phase-out', (12000, 30000, 1, False, 0), 264629),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0)],\n [('regression children-cap 1', (39928, 0, 3, False, 0), 356170),\n  ('regression children-cap 2', (40000, 30000, 3, False, 11600), 354654),\n  ('partial repair guard 1', (5000, 30000, 3, False, 0), 47254),\n  ('partial repair guard 2', (40000, 17532, 3, False, 0), 354654),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0),\n  ('control: no children', (5000, 5000, 0, False, 0), 38250), ('control: joint', (30000, 30000, 2, True, 0), 628389),\n  ('control: four children', (15000, 15000, 4, False, 0), 675000)]]\nfor label, args, expected in cases[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":"b4c04221fa52a3f3d1c151431612268728480a752326a2a3878f659efb6b783d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(earned, agi, children, mfj, invest):\n    def prog(x, br):\n        tax, lower = Fraction(0), 0\n        for upper, rate in br:\n            top = x if upper is None else min(x, upper)\n            if top > lower: tax += (top - lower) * Fraction(rate) / 100\n            if upper is None or x <= upper: break\n            lower = upper\n        return tax\n    def cents(v):\n        v = v * 100\n        return int(v + Fraction(1, 2)) if v >= 0 else -int(-v + Fraction(1, 2))\n    \n    P = {0: ['7.65', 7840, 600, '7.65', 9800], 1: ['34', 11750, 3995, '15.98', 21560], 2: ['40', 16510, 6604, '21.06', 21560], 3: ['45', 16510, 7430, '21.06', 21560]}\n    if invest > 11600: return 0\n    rin, cap, mx, rout, start = P[min(children, 2)]\n    if mfj: start += 6920\n    credit = min(Fraction(rin) * earned / 100, Fraction(mx))\n    income = max(earned, agi)\n    if income > start: credit -= Fraction(rout) * (income - start) / 100\n    return cents(max(0, credit))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression children-cap 1', (15000, 15000, 4, False, 0), 675000),\n  ('regression children-cap 2', (15000, 15000, 3, False, 0), 675000),\n  ('partial repair guard 2', (15000, 15000, 3, True, 11600), 675000),\n  ('control: plateau', (10000, 10000, 1, False, 0), 340000),\n  ('control: phase-out two children', (30000, 30000, 2, False, 0), 482654),\n  ('control: agi drives phase-out', (12000, 30000, 1, False, 0), 264629),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0)],\n [('regression children-cap 1', (15000, 15000, 3, True, 11600), 675000),\n  ('regression children-cap 2', (10000, 30000, 5, False, 0), 272254),\n  ('partial repair guard 1', (39928, 0, 3, False, 0), 356170),\n  ('partial repair guard 2', (40000, 30000, 3, False, 11600), 354654),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0),\n  ('control: no children', (5000, 5000, 0, False, 0), 38250), ('control: joint', (30000, 30000, 2, True, 0), 628389),\n  ('control: four children', (15000, 15000, 4, False, 0), 675000)],\n [('regression children-cap 1', (30678, 10000, 5, False, 11600), 550975),\n  ('regression children-cap 2', (40000, 10000, 5, True, 11600), 500389),\n  ('partial repair guard 1', (31680, 0, 3, False, 11600), 529873),\n  ('partial repair guard 2', (5000, 30000, 3, True, 0), 192989),\n  ('control: four children', (15000, 15000, 4, False, 0), 675000),\n  ('control: phased to zero', (60000, 60000, 1, False, 0), 0),\n  ('control: investment at limit', (15000, 15000, 3, True, 11600), 675000),\n  ('control: plateau', (10000, 10000, 1, False, 0), 340000)],\n [('regression children-cap 1', (10000, 30000, 5, False, 11600), 272254),\n  ('regression children-cap 2', (5000, 10000, 4, True, 0), 225000),\n  ('partial repair guard 1', (40000, 0, 3, True, 0), 500389),\n  ('partial repair guard 2', (5000, 0, 3, False, 0), 225000), ('control: plateau', (10000, 10000, 1, False, 0), 340000),\n  ('control: phase-out two children', (30000, 30000, 2, False, 0), 482654),\n  ('control: agi drives phase-out', (12000, 30000, 1, False, 0), 264629),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0)],\n [('regression children-cap 1', (39928, 0, 3, False, 0), 356170),\n  ('regression children-cap 2', (40000, 30000, 3, False, 11600), 354654),\n  ('partial repair guard 1', (5000, 30000, 3, False, 0), 47254),\n  ('partial repair guard 2', (40000, 17532, 3, False, 0), 354654),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0),\n  ('control: no children', (5000, 5000, 0, False, 0), 38250), ('control: joint', (30000, 30000, 2, True, 0), 628389),\n  ('control: four children', (15000, 15000, 4, False, 0), 675000)]]\nfor label, args, expected in cases[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":"da58a75a574ed98b69ddb03ddb743ad924f8a451c37748d2888ab3c6820b359e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(earned, agi, children, mfj, invest):\n    def prog(x, br):\n        tax, lower = Fraction(0), 0\n        for upper, rate in br:\n            top = x if upper is None else min(x, upper)\n            if top > lower: tax += (top - lower) * Fraction(rate) / 100\n            if upper is None or x <= upper: break\n            lower = upper\n        return tax\n    def cents(v):\n        v = v * 100\n        return int(v + Fraction(1, 2)) if v >= 0 else -int(-v + Fraction(1, 2))\n    \n    P = {0: ['7.65', 7840, 600, '7.65', 9800], 1: ['34', 11750, 3995, '15.98', 21560], 2: ['40', 16510, 6604, '21.06', 21560], 3: ['45', 16510, 7430, '21.06', 21560]}\n    if invest > 11600: return 0\n    rin, cap, mx, rout, start = P[min(children, 3)]\n    if mfj: start += 6920\n    credit = min(Fraction(rin) * earned / 100, Fraction(mx))\n    income = max(earned, agi)\n    if income > start: credit -= Fraction(rout) * (income - start) / 100\n    return cents(max(0, credit))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression children-cap 1', (15000, 15000, 4, False, 0), 675000),\n  ('regression children-cap 2', (15000, 15000, 3, False, 0), 675000),\n  ('partial repair guard 2', (15000, 15000, 3, True, 11600), 675000),\n  ('control: plateau', (10000, 10000, 1, False, 0), 340000),\n  ('control: phase-out two children', (30000, 30000, 2, False, 0), 482654),\n  ('control: agi drives phase-out', (12000, 30000, 1, False, 0), 264629),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0)],\n [('regression children-cap 1', (15000, 15000, 3, True, 11600), 675000),\n  ('regression children-cap 2', (10000, 30000, 5, False, 0), 272254),\n  ('partial repair guard 1', (39928, 0, 3, False, 0), 356170),\n  ('partial repair guard 2', (40000, 30000, 3, False, 11600), 354654),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0),\n  ('control: no children', (5000, 5000, 0, False, 0), 38250), ('control: joint', (30000, 30000, 2, True, 0), 628389),\n  ('control: four children', (15000, 15000, 4, False, 0), 675000)],\n [('regression children-cap 1', (30678, 10000, 5, False, 11600), 550975),\n  ('regression children-cap 2', (40000, 10000, 5, True, 11600), 500389),\n  ('partial repair guard 1', (31680, 0, 3, False, 11600), 529873),\n  ('partial repair guard 2', (5000, 30000, 3, True, 0), 192989),\n  ('control: four children', (15000, 15000, 4, False, 0), 675000),\n  ('control: phased to zero', (60000, 60000, 1, False, 0), 0),\n  ('control: investment at limit', (15000, 15000, 3, True, 11600), 675000),\n  ('control: plateau', (10000, 10000, 1, False, 0), 340000)],\n [('regression children-cap 1', (10000, 30000, 5, False, 11600), 272254),\n  ('regression children-cap 2', (5000, 10000, 4, True, 0), 225000),\n  ('partial repair guard 1', (40000, 0, 3, True, 0), 500389),\n  ('partial repair guard 2', (5000, 0, 3, False, 0), 225000), ('control: plateau', (10000, 10000, 1, False, 0), 340000),\n  ('control: phase-out two children', (30000, 30000, 2, False, 0), 482654),\n  ('control: agi drives phase-out', (12000, 30000, 1, False, 0), 264629),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0)],\n [('regression children-cap 1', (39928, 0, 3, False, 0), 356170),\n  ('regression children-cap 2', (40000, 30000, 3, False, 11600), 354654),\n  ('partial repair guard 1', (5000, 30000, 3, False, 0), 47254),\n  ('partial repair guard 2', (40000, 17532, 3, False, 0), 354654),\n  ('control: investment limit', (20000, 20000, 1, False, 11601), 0),\n  ('control: no children', (5000, 5000, 0, False, 0), 38250), ('control: joint', (30000, 30000, 2, True, 0), 628389),\n  ('control: four children', (15000, 15000, 4, False, 0), 675000)]]\nfor label, args, expected in cases[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, bounded teaching model with a stipulated toy contract; it makes no claim of conformance to any real regulation, standard, or institution's rules. 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-tax_bracket_computation-earned-credit-phaseout-children-cap","generated_at":"2026-09-29T14:47:08.032822+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Tax computations hinge on which slice, threshold, ordering and rounding rule applies at each step; a misplaced boundary silently misstates liabilities.","repair":"Use the three-child row for three or more children.","root_cause":"Parameters are chosen with min(children, 2).","sha256":"f62d490e4b0cba5806d966cecba2a9bd2d090c05185229a3fbdc4044d3eaecb7","title":"Three or more children receive the two-child parameters · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":49.742,"exit_code":1,"observations":[{"actual":675000,"check":"regression children-cap 1","expected":675000,"passed":true},{"actual":600000,"check":"regression children-cap 2","expected":675000,"passed":false},{"actual":600000,"check":"partial repair guard 2","expected":675000,"passed":false},{"actual":340000,"check":"control: plateau","expected":340000,"passed":true},{"actual":482654,"check":"control: phase-out two children","expected":482654,"passed":true},{"actual":264629,"check":"control: agi drives phase-out","expected":264629,"passed":true},{"actual":0,"check":"control: investment limit","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression children-cap 1\", \"actual\": 675000, \"expected\": 675000, \"passed\": true}, {\"check\": \"regression children-cap 2\", \"actual\": 600000, \"expected\": 675000, \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": 600000, \"expected\": 675000, \"passed\": false}, {\"check\": \"control: plateau\", \"actual\": 340000, \"expected\": 340000, \"passed\": true}, {\"check\": \"control: phase-out two children\", \"actual\": 482654, \"expected\": 482654, \"passed\": true}, {\"check\": \"control: agi drives phase-out\", \"actual\": 264629, \"expected\": 264629, \"passed\": true}, {\"check\": \"control: investment limit\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.561,"exit_code":1,"observations":[{"actual":600000,"check":"regression children-cap 1","expected":675000,"passed":false},{"actual":600000,"check":"regression children-cap 2","expected":675000,"passed":false},{"actual":600000,"check":"partial repair guard 2","expected":675000,"passed":false},{"actual":340000,"check":"control: plateau","expected":340000,"passed":true},{"actual":482654,"check":"control: phase-out two children","expected":482654,"passed":true},{"actual":264629,"check":"control: agi drives phase-out","expected":264629,"passed":true},{"actual":0,"check":"control: investment limit","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression children-cap 1\", \"actual\": 600000, \"expected\": 675000, \"passed\": false}, {\"check\": \"regression children-cap 2\", \"actual\": 600000, \"expected\": 675000, \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": 600000, \"expected\": 675000, \"passed\": false}, {\"check\": \"control: plateau\", \"actual\": 340000, \"expected\": 340000, \"passed\": true}, {\"check\": \"control: phase-out two children\", \"actual\": 482654, \"expected\": 482654, \"passed\": true}, {\"check\": \"control: agi drives phase-out\", \"actual\": 264629, \"expected\": 264629, \"passed\": true}, {\"check\": \"control: investment limit\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":49.254,"exit_code":0,"observations":[{"actual":675000,"check":"regression children-cap 1","expected":675000,"passed":true},{"actual":675000,"check":"regression children-cap 2","expected":675000,"passed":true},{"actual":675000,"check":"partial repair guard 2","expected":675000,"passed":true},{"actual":340000,"check":"control: plateau","expected":340000,"passed":true},{"actual":482654,"check":"control: phase-out two children","expected":482654,"passed":true},{"actual":264629,"check":"control: agi drives phase-out","expected":264629,"passed":true},{"actual":0,"check":"control: investment limit","expected":0,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression children-cap 1\", \"actual\": 675000, \"expected\": 675000, \"passed\": true}, {\"check\": \"regression children-cap 2\", \"actual\": 675000, \"expected\": 675000, \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": 675000, \"expected\": 675000, \"passed\": true}, {\"check\": \"control: plateau\", \"actual\": 340000, \"expected\": 340000, \"passed\": true}, {\"check\": \"control: phase-out two children\", \"actual\": 482654, \"expected\": 482654, \"passed\": true}, {\"check\": \"control: agi drives phase-out\", \"actual\": 264629, \"expected\": 264629, \"passed\": true}, {\"check\": \"control: investment limit\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}