{"abstract":"A taxpayer with no itemized deductions deducts nothing.","category":"Tax bracket computation","checks":7,"contract":"solve(status, gross, earned, itemized, conditions, dependent, spouse_itemizes): stipulated deduction rules. Base standard deduction: single 14600, mfj 29200, mfs 14600, hoh 21900 (other statuses 'ERR:status'). A dependent's base is min(base, max(1300, earned + 450)). Then add 1950 per age/blindness condition for single or hoh, 1550 per condition for married statuses. If status is mfs and the spouse itemizes, the standard deduction is 0. The deduction is the larger of standard and itemized; taxable = max(0, gross - deduction). Return [deduction, taxable].","evaluation_group":"w2-tax_bracket_computation-deduction-selection-by-status","failed_approach":"Preferring any non-zero itemized amount still loses when itemized is below the standard deduction.","family":"w2-tax_bracket_computation-deduction-selection-by-status-larger-deduction","id":"FA-62371","implementations":{"attempt":{"sha256":"d12118b62d61aed4b62eb1fb31c722d9434d5f052e1384f6d7e37349199ca517","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(status, gross, earned, itemized, conditions, dependent, spouse_itemizes):\n    std = {'single': 14600, 'mfj': 29200, 'mfs': 14600, 'hoh': 21900}\n    if status not in std: return 'ERR:status'\n    extra = 1950 if status in ('single', 'hoh') else 1550\n    base = std[status]\n    if dependent: base = min(base, max(1300, earned + 450))\n    s = base + extra * conditions\n    if status == 'mfs' and spouse_itemizes: s = 0\n    d = itemized if itemized else s\n    return [d, max(0, gross - d)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression larger-deduction 1', ('single', 50000, 50000, 0, 0, False, False), [14600, 35400]),\n  ('regression larger-deduction 2', ('single', 50000, 50000, 3000, 0, False, False), [14600, 35400]),\n  ('partial repair guard 2', ('mfj', 70625, 900, 25000, 1, False, False), [30750, 39875]),\n  ('control: hoh with age', ('hoh', 30000, 30000, 0, 1, False, False), [23850, 6150]),\n  ('control: dependent', ('single', 5000, 2000, 0, 0, True, False), [2450, 2550]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('control: mfj below deduction', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0])],\n [('regression larger-deduction 1', ('hoh', 30000, 30000, 0, 1, False, False), [23850, 6150]),\n  ('regression larger-deduction 2', ('single', 5000, 2000, 0, 0, True, False), [2450, 2550]),\n  ('partial repair guard 1', ('hoh', 102225, 22645, 15000, 0, False, True), [21900, 80325]),\n  ('partial repair guard 2', ('mfj', 828, 2000, 15000, 0, False, True), [29200, 0]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('control: mfj below deduction', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0]),\n  ('control: high-earning dependent', ('single', 9000, 20000, 0, 1, True, False), [16550, 0]),\n  ('control: itemizer', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000])],\n [('regression larger-deduction 1', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('regression larger-deduction 2', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0]),\n  ('partial repair guard 1', ('mfs', 54568, 20000, 3000, 0, True, False), [14600, 39968]),\n  ('partial repair guard 2', ('mfj', 140586, 20000, 3000, 0, True, False), [20450, 120136]),\n  ('control: itemizer', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000]),\n  ('control: bad status', ('widow', 1, 1, 0, 0, False, False), 'ERR:status'),\n  ('control: dependent no earnings', ('single', 3000, 0, 0, 0, True, False), [1300, 1700]),\n  ('control: single standard', ('single', 50000, 50000, 0, 0, False, False), [14600, 35400])],\n [('regression larger-deduction 1', ('single', 9000, 20000, 0, 1, True, False), [16550, 0]),\n  ('regression larger-deduction 2', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000]),\n  ('partial repair guard 1', ('single', 45837, 500, 15000, 1, False, False), [16550, 29287]),\n  ('partial repair guard 2', ('single', 111058, 500, 3000, 1, False, False), [16550, 94508]),\n  ('control: single standard', ('single', 50000, 50000, 0, 0, False, False), [14600, 35400]),\n  ('control: hoh with age', ('hoh', 30000, 30000, 0, 1, False, False), [23850, 6150]),\n  ('control: dependent', ('single', 5000, 2000, 0, 0, True, False), [2450, 2550]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000])],\n [('regression larger-deduction 1', ('single', 3000, 0, 0, 0, True, False), [1300, 1700]),\n  ('regression larger-deduction 2', ('mfs', 15301, 1366, 3000, 0, True, False), [3000, 12301]),\n  ('partial repair guard 1', ('mfj', 82202, 19334, 3000, 2, False, False), [32300, 49902]),\n  ('partial repair guard 2', ('hoh', 26068, 20000, 3000, 0, False, True), [21900, 4168]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('control: mfj below deduction', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0]),\n  ('control: high-earning dependent', ('single', 9000, 20000, 0, 1, True, False), [16550, 0]),\n  ('control: itemizer', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000])]]\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":"b6610dff1dac0c00ee489675d2c5c2a1a6217a1e16804a45c74f3c7bb9810a0c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(status, gross, earned, itemized, conditions, dependent, spouse_itemizes):\n    std = {'single': 14600, 'mfj': 29200, 'mfs': 14600, 'hoh': 21900}\n    if status not in std: return 'ERR:status'\n    extra = 1950 if status in ('single', 'hoh') else 1550\n    base = std[status]\n    if dependent: base = min(base, max(1300, earned + 450))\n    s = base + extra * conditions\n    if status == 'mfs' and spouse_itemizes: s = 0\n    d = min(s, itemized)\n    return [d, max(0, gross - d)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression larger-deduction 1', ('single', 50000, 50000, 0, 0, False, False), [14600, 35400]),\n  ('regression larger-deduction 2', ('single', 50000, 50000, 3000, 0, False, False), [14600, 35400]),\n  ('partial repair guard 2', ('mfj', 70625, 900, 25000, 1, False, False), [30750, 39875]),\n  ('control: hoh with age', ('hoh', 30000, 30000, 0, 1, False, False), [23850, 6150]),\n  ('control: dependent', ('single', 5000, 2000, 0, 0, True, False), [2450, 2550]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('control: mfj below deduction', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0])],\n [('regression larger-deduction 1', ('hoh', 30000, 30000, 0, 1, False, False), [23850, 6150]),\n  ('regression larger-deduction 2', ('single', 5000, 2000, 0, 0, True, False), [2450, 2550]),\n  ('partial repair guard 1', ('hoh', 102225, 22645, 15000, 0, False, True), [21900, 80325]),\n  ('partial repair guard 2', ('mfj', 828, 2000, 15000, 0, False, True), [29200, 0]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('control: mfj below deduction', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0]),\n  ('control: high-earning dependent', ('single', 9000, 20000, 0, 1, True, False), [16550, 0]),\n  ('control: itemizer', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000])],\n [('regression larger-deduction 1', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('regression larger-deduction 2', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0]),\n  ('partial repair guard 1', ('mfs', 54568, 20000, 3000, 0, True, False), [14600, 39968]),\n  ('partial repair guard 2', ('mfj', 140586, 20000, 3000, 0, True, False), [20450, 120136]),\n  ('control: itemizer', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000]),\n  ('control: bad status', ('widow', 1, 1, 0, 0, False, False), 'ERR:status'),\n  ('control: dependent no earnings', ('single', 3000, 0, 0, 0, True, False), [1300, 1700]),\n  ('control: single standard', ('single', 50000, 50000, 0, 0, False, False), [14600, 35400])],\n [('regression larger-deduction 1', ('single', 9000, 20000, 0, 1, True, False), [16550, 0]),\n  ('regression larger-deduction 2', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000]),\n  ('partial repair guard 1', ('single', 45837, 500, 15000, 1, False, False), [16550, 29287]),\n  ('partial repair guard 2', ('single', 111058, 500, 3000, 1, False, False), [16550, 94508]),\n  ('control: single standard', ('single', 50000, 50000, 0, 0, False, False), [14600, 35400]),\n  ('control: hoh with age', ('hoh', 30000, 30000, 0, 1, False, False), [23850, 6150]),\n  ('control: dependent', ('single', 5000, 2000, 0, 0, True, False), [2450, 2550]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000])],\n [('regression larger-deduction 1', ('single', 3000, 0, 0, 0, True, False), [1300, 1700]),\n  ('regression larger-deduction 2', ('mfs', 15301, 1366, 3000, 0, True, False), [3000, 12301]),\n  ('partial repair guard 1', ('mfj', 82202, 19334, 3000, 2, False, False), [32300, 49902]),\n  ('partial repair guard 2', ('hoh', 26068, 20000, 3000, 0, False, True), [21900, 4168]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('control: mfj below deduction', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0]),\n  ('control: high-earning dependent', ('single', 9000, 20000, 0, 1, True, False), [16550, 0]),\n  ('control: itemizer', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000])]]\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":"f78dd34f6b9958d198145a689b0a386ba42f0b6f63680a44f8658396b3bdb731","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(status, gross, earned, itemized, conditions, dependent, spouse_itemizes):\n    std = {'single': 14600, 'mfj': 29200, 'mfs': 14600, 'hoh': 21900}\n    if status not in std: return 'ERR:status'\n    extra = 1950 if status in ('single', 'hoh') else 1550\n    base = std[status]\n    if dependent: base = min(base, max(1300, earned + 450))\n    s = base + extra * conditions\n    if status == 'mfs' and spouse_itemizes: s = 0\n    d = max(s, itemized)\n    return [d, max(0, gross - d)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression larger-deduction 1', ('single', 50000, 50000, 0, 0, False, False), [14600, 35400]),\n  ('regression larger-deduction 2', ('single', 50000, 50000, 3000, 0, False, False), [14600, 35400]),\n  ('partial repair guard 2', ('mfj', 70625, 900, 25000, 1, False, False), [30750, 39875]),\n  ('control: hoh with age', ('hoh', 30000, 30000, 0, 1, False, False), [23850, 6150]),\n  ('control: dependent', ('single', 5000, 2000, 0, 0, True, False), [2450, 2550]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('control: mfj below deduction', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0])],\n [('regression larger-deduction 1', ('hoh', 30000, 30000, 0, 1, False, False), [23850, 6150]),\n  ('regression larger-deduction 2', ('single', 5000, 2000, 0, 0, True, False), [2450, 2550]),\n  ('partial repair guard 1', ('hoh', 102225, 22645, 15000, 0, False, True), [21900, 80325]),\n  ('partial repair guard 2', ('mfj', 828, 2000, 15000, 0, False, True), [29200, 0]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('control: mfj below deduction', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0]),\n  ('control: high-earning dependent', ('single', 9000, 20000, 0, 1, True, False), [16550, 0]),\n  ('control: itemizer', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000])],\n [('regression larger-deduction 1', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('regression larger-deduction 2', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0]),\n  ('partial repair guard 1', ('mfs', 54568, 20000, 3000, 0, True, False), [14600, 39968]),\n  ('partial repair guard 2', ('mfj', 140586, 20000, 3000, 0, True, False), [20450, 120136]),\n  ('control: itemizer', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000]),\n  ('control: bad status', ('widow', 1, 1, 0, 0, False, False), 'ERR:status'),\n  ('control: dependent no earnings', ('single', 3000, 0, 0, 0, True, False), [1300, 1700]),\n  ('control: single standard', ('single', 50000, 50000, 0, 0, False, False), [14600, 35400])],\n [('regression larger-deduction 1', ('single', 9000, 20000, 0, 1, True, False), [16550, 0]),\n  ('regression larger-deduction 2', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000]),\n  ('partial repair guard 1', ('single', 45837, 500, 15000, 1, False, False), [16550, 29287]),\n  ('partial repair guard 2', ('single', 111058, 500, 3000, 1, False, False), [16550, 94508]),\n  ('control: single standard', ('single', 50000, 50000, 0, 0, False, False), [14600, 35400]),\n  ('control: hoh with age', ('hoh', 30000, 30000, 0, 1, False, False), [23850, 6150]),\n  ('control: dependent', ('single', 5000, 2000, 0, 0, True, False), [2450, 2550]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000])],\n [('regression larger-deduction 1', ('single', 3000, 0, 0, 0, True, False), [1300, 1700]),\n  ('regression larger-deduction 2', ('mfs', 15301, 1366, 3000, 0, True, False), [3000, 12301]),\n  ('partial repair guard 1', ('mfj', 82202, 19334, 3000, 2, False, False), [32300, 49902]),\n  ('partial repair guard 2', ('hoh', 26068, 20000, 3000, 0, False, True), [21900, 4168]),\n  ('control: mfs spouse itemizes', ('mfs', 40000, 40000, 3000, 2, False, True), [3000, 37000]),\n  ('control: mfj below deduction', ('mfj', 20000, 20000, 0, 2, False, False), [32300, 0]),\n  ('control: high-earning dependent', ('single', 9000, 20000, 0, 1, True, False), [16550, 0]),\n  ('control: itemizer', ('mfj', 120000, 120000, 35000, 0, False, False), [35000, 85000])]]\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-deduction-selection-by-status-larger-deduction","generated_at":"2026-09-29T14:47:04.011650+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":"Take the larger of the two deductions.","root_cause":"The deduction uses min(standard, itemized).","sha256":"834e02d648f91d409fcb4e8edb95ea3da7d54e65f0beedf5b5ba03e13036c1b9","title":"The smaller of standard and itemized deductions is taken · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.696,"exit_code":1,"observations":[{"actual":[14600,35400],"check":"regression larger-deduction 1","expected":[14600,35400],"passed":true},{"actual":[3000,47000],"check":"regression larger-deduction 2","expected":[14600,35400],"passed":false},{"actual":[25000,45625],"check":"partial repair guard 2","expected":[30750,39875],"passed":false},{"actual":[23850,6150],"check":"control: hoh with age","expected":[23850,6150],"passed":true},{"actual":[2450,2550],"check":"control: dependent","expected":[2450,2550],"passed":true},{"actual":[3000,37000],"check":"control: mfs spouse itemizes","expected":[3000,37000],"passed":true},{"actual":[32300,0],"check":"control: mfj below deduction","expected":[32300,0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression larger-deduction 1\", \"actual\": [14600, 35400], \"expected\": [14600, 35400], \"passed\": true}, {\"check\": \"regression larger-deduction 2\", \"actual\": [3000, 47000], \"expected\": [14600, 35400], \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": [25000, 45625], \"expected\": [30750, 39875], \"passed\": false}, {\"check\": \"control: hoh with age\", \"actual\": [23850, 6150], \"expected\": [23850, 6150], \"passed\": true}, {\"check\": \"control: dependent\", \"actual\": [2450, 2550], \"expected\": [2450, 2550], \"passed\": true}, {\"check\": \"control: mfs spouse itemizes\", \"actual\": [3000, 37000], \"expected\": [3000, 37000], \"passed\": true}, {\"check\": \"control: mfj below deduction\", \"actual\": [32300, 0], \"expected\": [32300, 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.259,"exit_code":1,"observations":[{"actual":[0,50000],"check":"regression larger-deduction 1","expected":[14600,35400],"passed":false},{"actual":[3000,47000],"check":"regression larger-deduction 2","expected":[14600,35400],"passed":false},{"actual":[25000,45625],"check":"partial repair guard 2","expected":[30750,39875],"passed":false},{"actual":[0,30000],"check":"control: hoh with age","expected":[23850,6150],"passed":false},{"actual":[0,5000],"check":"control: dependent","expected":[2450,2550],"passed":false},{"actual":[0,40000],"check":"control: mfs spouse itemizes","expected":[3000,37000],"passed":false},{"actual":[0,20000],"check":"control: mfj below deduction","expected":[32300,0],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression larger-deduction 1\", \"actual\": [0, 50000], \"expected\": [14600, 35400], \"passed\": false}, {\"check\": \"regression larger-deduction 2\", \"actual\": [3000, 47000], \"expected\": [14600, 35400], \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": [25000, 45625], \"expected\": [30750, 39875], \"passed\": false}, {\"check\": \"control: hoh with age\", \"actual\": [0, 30000], \"expected\": [23850, 6150], \"passed\": false}, {\"check\": \"control: dependent\", \"actual\": [0, 5000], \"expected\": [2450, 2550], \"passed\": false}, {\"check\": \"control: mfs spouse itemizes\", \"actual\": [0, 40000], \"expected\": [3000, 37000], \"passed\": false}, {\"check\": \"control: mfj below deduction\", \"actual\": [0, 20000], \"expected\": [32300, 0], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.682,"exit_code":0,"observations":[{"actual":[14600,35400],"check":"regression larger-deduction 1","expected":[14600,35400],"passed":true},{"actual":[14600,35400],"check":"regression larger-deduction 2","expected":[14600,35400],"passed":true},{"actual":[30750,39875],"check":"partial repair guard 2","expected":[30750,39875],"passed":true},{"actual":[23850,6150],"check":"control: hoh with age","expected":[23850,6150],"passed":true},{"actual":[2450,2550],"check":"control: dependent","expected":[2450,2550],"passed":true},{"actual":[3000,37000],"check":"control: mfs spouse itemizes","expected":[3000,37000],"passed":true},{"actual":[32300,0],"check":"control: mfj below deduction","expected":[32300,0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression larger-deduction 1\", \"actual\": [14600, 35400], \"expected\": [14600, 35400], \"passed\": true}, {\"check\": \"regression larger-deduction 2\", \"actual\": [14600, 35400], \"expected\": [14600, 35400], \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": [30750, 39875], \"expected\": [30750, 39875], \"passed\": true}, {\"check\": \"control: hoh with age\", \"actual\": [23850, 6150], \"expected\": [23850, 6150], \"passed\": true}, {\"check\": \"control: dependent\", \"actual\": [2450, 2550], \"expected\": [2450, 2550], \"passed\": true}, {\"check\": \"control: mfs spouse itemizes\", \"actual\": [3000, 37000], \"expected\": [3000, 37000], \"passed\": true}, {\"check\": \"control: mfj below deduction\", \"actual\": [32300, 0], \"expected\": [32300, 0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}