{"abstract":"Married couples start losing the credit at 200000.","category":"Tax bracket computation","checks":6,"contract":"solve(kids, others, magi, status, tax, earned): stipulated child credit, whole dollars. Credit = 2000 per child + 500 per other dependent, reduced by 50 for each 1000 or fraction thereof of MAGI above the threshold (single 200000, mfj 400000), floored at 0. The credit first offsets tax (used = min(credit, tax)); the refundable portion is min(credit - used, 1700 per child, 15% of earned income above 2500 rounded down, floored at 0). Return [credit, used, refundable].","evaluation_group":"w2-tax_bracket_computation-child-credit-phaseout","failed_approach":"Using a 300000 joint threshold still starts the phase-out too early.","family":"w2-tax_bracket_computation-child-credit-phaseout-joint-threshold","id":"FA-62821","implementations":{"attempt":{"sha256":"ea28eeb40a5a5323efa51206779d1d6d29df4b12968be9caa47a6ff305cf8259","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kids, others, magi, status, tax, earned):\n    thr = {'single': 200000, 'mfj': 300000}[status]\n    credit = 2000 * kids + 500 * others\n    if magi > thr: credit = max(0, credit - 50 * (-(-(magi - thr) // 1000)))\n    used = min(credit, tax)\n    refundable = min(credit - used, 1700 * kids, max(0, (earned - 2500) * 15 // 100))\n    return [credit, used, refundable]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression joint-threshold 1', (3, 2, 410500, 'mfj', 1000, 410500), [6450, 1000, 5100]),\n  ('regression joint-threshold 2', (2, 0, 350000, 'mfj', 1000, 350000), [4000, 1000, 3000]),\n  ('control: refund limited by child cap', (2, 0, 150000, 'single', 1000, 30000), [4000, 1000, 3000]),\n  ('control: fraction thereof', (2, 1, 201001, 'single', 10000, 200000), [4400, 4400, 0]),\n  ('control: earned limit', (1, 0, 30000, 'mfj', 0, 10000), [2000, 0, 1125]),\n  ('control: fully phased', (1, 0, 450000, 'mfj', 5000, 450000), [0, 0, 0])],\n [('regression joint-threshold 1', (2, 0, 450000, 'mfj', 10000, 30481), [1500, 1500, 0]),\n  ('regression joint-threshold 2', (0, 2, 400001, 'mfj', 500, 3000), [950, 500, 0]),\n  ('control: fully phased', (1, 0, 450000, 'mfj', 5000, 450000), [0, 0, 0]),\n  ('control: joint partial phase-out', (3, 2, 410500, 'mfj', 1000, 410500), [6450, 1000, 5100]),\n  ('control: other dependents only', (0, 3, 50000, 'single', 0, 50000), [1500, 0, 0]),\n  ('control: low earner', (2, 0, 2000, 'single', 0, 2000), [4000, 0, 0])],\n [('regression joint-threshold 1', (3, 0, 200001, 'mfj', 10000, 24871), [6000, 6000, 0]),\n  ('regression joint-threshold 2', (3, 0, 200001, 'mfj', 10000, 30000), [6000, 6000, 0]),\n  ('partial repair guard 1', (2, 0, 405864, 'mfj', 10000, 2000), [3700, 3700, 0]),\n  ('partial repair guard 2', (1, 2, 450000, 'mfj', 0, 10000), [500, 0, 500]),\n  ('control: low earner', (2, 0, 2000, 'single', 0, 2000), [4000, 0, 0]),\n  ('control: refund limited by child cap', (2, 0, 150000, 'single', 1000, 30000), [4000, 1000, 3000]),\n  ('control: fraction thereof', (2, 1, 201001, 'single', 10000, 200000), [4400, 4400, 0]),\n  ('control: earned limit', (1, 0, 30000, 'mfj', 0, 10000), [2000, 0, 1125])],\n [('regression joint-threshold 1', (1, 0, 201000, 'mfj', 0, 2000), [2000, 0, 0]),\n  ('regression joint-threshold 2', (2, 1, 275424, 'mfj', 0, 10000), [4500, 0, 1125]),\n  ('partial repair guard 1', (3, 2, 450000, 'mfj', 500, 0), [4500, 500, 0]),\n  ('partial repair guard 2', (1, 0, 400001, 'mfj', 5000, 42362), [1950, 1950, 0]),\n  ('control: earned limit', (1, 0, 30000, 'mfj', 0, 10000), [2000, 0, 1125]),\n  ('control: fully phased', (1, 0, 450000, 'mfj', 5000, 450000), [0, 0, 0]),\n  ('control: joint partial phase-out', (3, 2, 410500, 'mfj', 1000, 410500), [6450, 1000, 5100]),\n  ('control: other dependents only', (0, 3, 50000, 'single', 0, 50000), [1500, 0, 0])],\n [('regression joint-threshold 1', (2, 0, 405864, 'mfj', 10000, 2000), [3700, 3700, 0]),\n  ('regression joint-threshold 2', (1, 0, 201000, 'mfj', 5000, 10000), [2000, 2000, 0]),\n  ('partial repair guard 1', (1, 0, 400001, 'mfj', 0, 30000), [1950, 0, 1700]),\n  ('partial repair guard 2', (3, 2, 450000, 'mfj', 5000, 30000), [4500, 4500, 0]),\n  ('control: other dependents only', (0, 3, 50000, 'single', 0, 50000), [1500, 0, 0]),\n  ('control: low earner', (2, 0, 2000, 'single', 0, 2000), [4000, 0, 0]),\n  ('control: refund limited by child cap', (2, 0, 150000, 'single', 1000, 30000), [4000, 1000, 3000]),\n  ('control: fraction thereof', (2, 1, 201001, 'single', 10000, 200000), [4400, 4400, 0])]]\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":"c2be88dc59f03520a2d6ffa911f3e512f7bc550d51b4fdc8c37e10907f2ea939","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kids, others, magi, status, tax, earned):\n    thr = 200000\n    credit = 2000 * kids + 500 * others\n    if magi > thr: credit = max(0, credit - 50 * (-(-(magi - thr) // 1000)))\n    used = min(credit, tax)\n    refundable = min(credit - used, 1700 * kids, max(0, (earned - 2500) * 15 // 100))\n    return [credit, used, refundable]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression joint-threshold 1', (3, 2, 410500, 'mfj', 1000, 410500), [6450, 1000, 5100]),\n  ('regression joint-threshold 2', (2, 0, 350000, 'mfj', 1000, 350000), [4000, 1000, 3000]),\n  ('control: refund limited by child cap', (2, 0, 150000, 'single', 1000, 30000), [4000, 1000, 3000]),\n  ('control: fraction thereof', (2, 1, 201001, 'single', 10000, 200000), [4400, 4400, 0]),\n  ('control: earned limit', (1, 0, 30000, 'mfj', 0, 10000), [2000, 0, 1125]),\n  ('control: fully phased', (1, 0, 450000, 'mfj', 5000, 450000), [0, 0, 0])],\n [('regression joint-threshold 1', (2, 0, 450000, 'mfj', 10000, 30481), [1500, 1500, 0]),\n  ('regression joint-threshold 2', (0, 2, 400001, 'mfj', 500, 3000), [950, 500, 0]),\n  ('control: fully phased', (1, 0, 450000, 'mfj', 5000, 450000), [0, 0, 0]),\n  ('control: joint partial phase-out', (3, 2, 410500, 'mfj', 1000, 410500), [6450, 1000, 5100]),\n  ('control: other dependents only', (0, 3, 50000, 'single', 0, 50000), [1500, 0, 0]),\n  ('control: low earner', (2, 0, 2000, 'single', 0, 2000), [4000, 0, 0])],\n [('regression joint-threshold 1', (3, 0, 200001, 'mfj', 10000, 24871), [6000, 6000, 0]),\n  ('regression joint-threshold 2', (3, 0, 200001, 'mfj', 10000, 30000), [6000, 6000, 0]),\n  ('partial repair guard 1', (2, 0, 405864, 'mfj', 10000, 2000), [3700, 3700, 0]),\n  ('partial repair guard 2', (1, 2, 450000, 'mfj', 0, 10000), [500, 0, 500]),\n  ('control: low earner', (2, 0, 2000, 'single', 0, 2000), [4000, 0, 0]),\n  ('control: refund limited by child cap', (2, 0, 150000, 'single', 1000, 30000), [4000, 1000, 3000]),\n  ('control: fraction thereof', (2, 1, 201001, 'single', 10000, 200000), [4400, 4400, 0]),\n  ('control: earned limit', (1, 0, 30000, 'mfj', 0, 10000), [2000, 0, 1125])],\n [('regression joint-threshold 1', (1, 0, 201000, 'mfj', 0, 2000), [2000, 0, 0]),\n  ('regression joint-threshold 2', (2, 1, 275424, 'mfj', 0, 10000), [4500, 0, 1125]),\n  ('partial repair guard 1', (3, 2, 450000, 'mfj', 500, 0), [4500, 500, 0]),\n  ('partial repair guard 2', (1, 0, 400001, 'mfj', 5000, 42362), [1950, 1950, 0]),\n  ('control: earned limit', (1, 0, 30000, 'mfj', 0, 10000), [2000, 0, 1125]),\n  ('control: fully phased', (1, 0, 450000, 'mfj', 5000, 450000), [0, 0, 0]),\n  ('control: joint partial phase-out', (3, 2, 410500, 'mfj', 1000, 410500), [6450, 1000, 5100]),\n  ('control: other dependents only', (0, 3, 50000, 'single', 0, 50000), [1500, 0, 0])],\n [('regression joint-threshold 1', (2, 0, 405864, 'mfj', 10000, 2000), [3700, 3700, 0]),\n  ('regression joint-threshold 2', (1, 0, 201000, 'mfj', 5000, 10000), [2000, 2000, 0]),\n  ('partial repair guard 1', (1, 0, 400001, 'mfj', 0, 30000), [1950, 0, 1700]),\n  ('partial repair guard 2', (3, 2, 450000, 'mfj', 5000, 30000), [4500, 4500, 0]),\n  ('control: other dependents only', (0, 3, 50000, 'single', 0, 50000), [1500, 0, 0]),\n  ('control: low earner', (2, 0, 2000, 'single', 0, 2000), [4000, 0, 0]),\n  ('control: refund limited by child cap', (2, 0, 150000, 'single', 1000, 30000), [4000, 1000, 3000]),\n  ('control: fraction thereof', (2, 1, 201001, 'single', 10000, 200000), [4400, 4400, 0])]]\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":"7859ba66f54debb7f1a700e1334d079aa76710b287686e7c84fd8a4a0c26d77a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kids, others, magi, status, tax, earned):\n    thr = {'single': 200000, 'mfj': 400000}[status]\n    credit = 2000 * kids + 500 * others\n    if magi > thr: credit = max(0, credit - 50 * (-(-(magi - thr) // 1000)))\n    used = min(credit, tax)\n    refundable = min(credit - used, 1700 * kids, max(0, (earned - 2500) * 15 // 100))\n    return [credit, used, refundable]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression joint-threshold 1', (3, 2, 410500, 'mfj', 1000, 410500), [6450, 1000, 5100]),\n  ('regression joint-threshold 2', (2, 0, 350000, 'mfj', 1000, 350000), [4000, 1000, 3000]),\n  ('control: refund limited by child cap', (2, 0, 150000, 'single', 1000, 30000), [4000, 1000, 3000]),\n  ('control: fraction thereof', (2, 1, 201001, 'single', 10000, 200000), [4400, 4400, 0]),\n  ('control: earned limit', (1, 0, 30000, 'mfj', 0, 10000), [2000, 0, 1125]),\n  ('control: fully phased', (1, 0, 450000, 'mfj', 5000, 450000), [0, 0, 0])],\n [('regression joint-threshold 1', (2, 0, 450000, 'mfj', 10000, 30481), [1500, 1500, 0]),\n  ('regression joint-threshold 2', (0, 2, 400001, 'mfj', 500, 3000), [950, 500, 0]),\n  ('control: fully phased', (1, 0, 450000, 'mfj', 5000, 450000), [0, 0, 0]),\n  ('control: joint partial phase-out', (3, 2, 410500, 'mfj', 1000, 410500), [6450, 1000, 5100]),\n  ('control: other dependents only', (0, 3, 50000, 'single', 0, 50000), [1500, 0, 0]),\n  ('control: low earner', (2, 0, 2000, 'single', 0, 2000), [4000, 0, 0])],\n [('regression joint-threshold 1', (3, 0, 200001, 'mfj', 10000, 24871), [6000, 6000, 0]),\n  ('regression joint-threshold 2', (3, 0, 200001, 'mfj', 10000, 30000), [6000, 6000, 0]),\n  ('partial repair guard 1', (2, 0, 405864, 'mfj', 10000, 2000), [3700, 3700, 0]),\n  ('partial repair guard 2', (1, 2, 450000, 'mfj', 0, 10000), [500, 0, 500]),\n  ('control: low earner', (2, 0, 2000, 'single', 0, 2000), [4000, 0, 0]),\n  ('control: refund limited by child cap', (2, 0, 150000, 'single', 1000, 30000), [4000, 1000, 3000]),\n  ('control: fraction thereof', (2, 1, 201001, 'single', 10000, 200000), [4400, 4400, 0]),\n  ('control: earned limit', (1, 0, 30000, 'mfj', 0, 10000), [2000, 0, 1125])],\n [('regression joint-threshold 1', (1, 0, 201000, 'mfj', 0, 2000), [2000, 0, 0]),\n  ('regression joint-threshold 2', (2, 1, 275424, 'mfj', 0, 10000), [4500, 0, 1125]),\n  ('partial repair guard 1', (3, 2, 450000, 'mfj', 500, 0), [4500, 500, 0]),\n  ('partial repair guard 2', (1, 0, 400001, 'mfj', 5000, 42362), [1950, 1950, 0]),\n  ('control: earned limit', (1, 0, 30000, 'mfj', 0, 10000), [2000, 0, 1125]),\n  ('control: fully phased', (1, 0, 450000, 'mfj', 5000, 450000), [0, 0, 0]),\n  ('control: joint partial phase-out', (3, 2, 410500, 'mfj', 1000, 410500), [6450, 1000, 5100]),\n  ('control: other dependents only', (0, 3, 50000, 'single', 0, 50000), [1500, 0, 0])],\n [('regression joint-threshold 1', (2, 0, 405864, 'mfj', 10000, 2000), [3700, 3700, 0]),\n  ('regression joint-threshold 2', (1, 0, 201000, 'mfj', 5000, 10000), [2000, 2000, 0]),\n  ('partial repair guard 1', (1, 0, 400001, 'mfj', 0, 30000), [1950, 0, 1700]),\n  ('partial repair guard 2', (3, 2, 450000, 'mfj', 5000, 30000), [4500, 4500, 0]),\n  ('control: other dependents only', (0, 3, 50000, 'single', 0, 50000), [1500, 0, 0]),\n  ('control: low earner', (2, 0, 2000, 'single', 0, 2000), [4000, 0, 0]),\n  ('control: refund limited by child cap', (2, 0, 150000, 'single', 1000, 30000), [4000, 1000, 3000]),\n  ('control: fraction thereof', (2, 1, 201001, 'single', 10000, 200000), [4400, 4400, 0])]]\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-child-credit-phaseout-joint-threshold","generated_at":"2026-09-29T14:47:08.298157+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 400000 for joint filers.","root_cause":"The threshold table ignores filing status.","sha256":"56fafbb7fd9172f8a8411c8f650e2d0e64dcf4879392dbfbb0f7b45728021280","title":"Joint filers use the single phase-out threshold · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.573,"exit_code":1,"observations":[{"actual":[1450,1000,450],"check":"regression joint-threshold 1","expected":[6450,1000,5100],"passed":false},{"actual":[1500,1000,500],"check":"regression joint-threshold 2","expected":[4000,1000,3000],"passed":false},{"actual":[4000,1000,3000],"check":"control: refund limited by child cap","expected":[4000,1000,3000],"passed":true},{"actual":[4400,4400,0],"check":"control: fraction thereof","expected":[4400,4400,0],"passed":true},{"actual":[2000,0,1125],"check":"control: earned limit","expected":[2000,0,1125],"passed":true},{"actual":[0,0,0],"check":"control: fully phased","expected":[0,0,0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression joint-threshold 1\", \"actual\": [1450, 1000, 450], \"expected\": [6450, 1000, 5100], \"passed\": false}, {\"check\": \"regression joint-threshold 2\", \"actual\": [1500, 1000, 500], \"expected\": [4000, 1000, 3000], \"passed\": false}, {\"check\": \"control: refund limited by child cap\", \"actual\": [4000, 1000, 3000], \"expected\": [4000, 1000, 3000], \"passed\": true}, {\"check\": \"control: fraction thereof\", \"actual\": [4400, 4400, 0], \"expected\": [4400, 4400, 0], \"passed\": true}, {\"check\": \"control: earned limit\", \"actual\": [2000, 0, 1125], \"expected\": [2000, 0, 1125], \"passed\": true}, {\"check\": \"control: fully phased\", \"actual\": [0, 0, 0], \"expected\": [0, 0, 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.039,"exit_code":1,"observations":[{"actual":[0,0,0],"check":"regression joint-threshold 1","expected":[6450,1000,5100],"passed":false},{"actual":[0,0,0],"check":"regression joint-threshold 2","expected":[4000,1000,3000],"passed":false},{"actual":[4000,1000,3000],"check":"control: refund limited by child cap","expected":[4000,1000,3000],"passed":true},{"actual":[4400,4400,0],"check":"control: fraction thereof","expected":[4400,4400,0],"passed":true},{"actual":[2000,0,1125],"check":"control: earned limit","expected":[2000,0,1125],"passed":true},{"actual":[0,0,0],"check":"control: fully phased","expected":[0,0,0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression joint-threshold 1\", \"actual\": [0, 0, 0], \"expected\": [6450, 1000, 5100], \"passed\": false}, {\"check\": \"regression joint-threshold 2\", \"actual\": [0, 0, 0], \"expected\": [4000, 1000, 3000], \"passed\": false}, {\"check\": \"control: refund limited by child cap\", \"actual\": [4000, 1000, 3000], \"expected\": [4000, 1000, 3000], \"passed\": true}, {\"check\": \"control: fraction thereof\", \"actual\": [4400, 4400, 0], \"expected\": [4400, 4400, 0], \"passed\": true}, {\"check\": \"control: earned limit\", \"actual\": [2000, 0, 1125], \"expected\": [2000, 0, 1125], \"passed\": true}, {\"check\": \"control: fully phased\", \"actual\": [0, 0, 0], \"expected\": [0, 0, 0], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.012,"exit_code":0,"observations":[{"actual":[6450,1000,5100],"check":"regression joint-threshold 1","expected":[6450,1000,5100],"passed":true},{"actual":[4000,1000,3000],"check":"regression joint-threshold 2","expected":[4000,1000,3000],"passed":true},{"actual":[4000,1000,3000],"check":"control: refund limited by child cap","expected":[4000,1000,3000],"passed":true},{"actual":[4400,4400,0],"check":"control: fraction thereof","expected":[4400,4400,0],"passed":true},{"actual":[2000,0,1125],"check":"control: earned limit","expected":[2000,0,1125],"passed":true},{"actual":[0,0,0],"check":"control: fully phased","expected":[0,0,0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression joint-threshold 1\", \"actual\": [6450, 1000, 5100], \"expected\": [6450, 1000, 5100], \"passed\": true}, {\"check\": \"regression joint-threshold 2\", \"actual\": [4000, 1000, 3000], \"expected\": [4000, 1000, 3000], \"passed\": true}, {\"check\": \"control: refund limited by child cap\", \"actual\": [4000, 1000, 3000], \"expected\": [4000, 1000, 3000], \"passed\": true}, {\"check\": \"control: fraction thereof\", \"actual\": [4400, 4400, 0], \"expected\": [4400, 4400, 0], \"passed\": true}, {\"check\": \"control: earned limit\", \"actual\": [2000, 0, 1125], \"expected\": [2000, 0, 1125], \"passed\": true}, {\"check\": \"control: fully phased\", \"actual\": [0, 0, 0], \"expected\": [0, 0, 0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}