{"abstract":"A surviving spouse's estate pays tax as if no exclusion had been ported.","category":"Tax bracket computation","checks":7,"contract":"solve(estate, gifts, dsue): stipulated unified transfer tax in whole dollars. T is the progressive schedule 18% to 10000 rising to 40% above 1000000. The exclusion is 13610000 + dsue; the unified credit is T(exclusion). Tentative tax = T(estate + gifts). Gift credit = max(0, T(gifts) - unified credit). Tax = max(0, tentative - gift credit - unified credit), returned in integer cents.","contract_signature":"estate, gifts, dsue","evaluation_group":"w2-tax_bracket_computation-unified-transfer-credit","failed_approach":"Adding dsue dollars directly to the credit treats the ported exclusion as tax.","family":"w2-tax_bracket_computation-unified-transfer-credit-ported-exclusion","id":"FA-62676","implementations":{"attempt":{"sha256":"077c1d1ec3b4f7bf0f52ff9f35eb31dd30d6b58df23e71163743cc9b349143c3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(estate, gifts, dsue):\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    sched = [[10000, '18'], [20000, '20'], [40000, '22'], [60000, '24'], [80000, '26'], [100000, '28'], [150000, '30'], [250000, '32'], [500000, '34'], [750000, '37'], [1000000, '39'], [None, '40']]\n    T = lambda x: prog(x, sched)\n    credit = T(13610000) + dsue\n    tent = T(estate + gifts)\n    gift_credit = max(0, T(gifts) - credit)\n    return cents(max(0, tent - gift_credit - credit))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression ported-exclusion 1', (20000000, 0, 5000000), 55600000),\n  ('regression ported-exclusion 2', (867406, 15000000, 5000000), 0),\n  ('partial repair guard 2', (13610000, 5000000, 2000000), 120000000),\n  ('control: large estate', (20000000, 0, 0), 255600000), ('control: under exclusion', (10000000, 0, 0), 0),\n  ('control: with prior gifts', (10000000, 5000000, 0), 55600000),\n  ('control: gifts above exclusion', (5000000, 15000000, 0), 200000000)],\n [('regression ported-exclusion 1', (13610000, 5000000, 2000000), 120000000),\n  ('regression ported-exclusion 2', (27783445, 500000, 5000000), 386937800),\n  ('partial repair guard 2', (22327855, 5000000, 2000000), 468714200),\n  ('control: ported exclusion', (20000000, 0, 5000000), 55600000),\n  ('control: gifts above exclusion', (5000000, 15000000, 0), 200000000), ('control: modest', (1500000, 200000, 0), 0),\n  ('control: large estate', (20000000, 0, 0), 255600000)],\n [('regression ported-exclusion 1', (22327855, 5000000, 2000000), 468714200),\n  ('regression ported-exclusion 2', (13610000, 5000000, 5000000), 0),\n  ('partial repair guard 1', (24200909, 15000000, 2000000), 943636360),\n  ('partial repair guard 2', (28075997, 5000000, 5000000), 578639880),\n  ('control: large estate', (20000000, 0, 0), 255600000), ('control: under exclusion', (10000000, 0, 0), 0),\n  ('control: with prior gifts', (10000000, 5000000, 0), 55600000),\n  ('control: ported exclusion', (20000000, 0, 5000000), 55600000)],\n [('regression ported-exclusion 1', (24200909, 15000000, 2000000), 943636360),\n  ('regression ported-exclusion 2', (28075997, 5000000, 5000000), 578639880),\n  ('partial repair guard 1', (21824496, 5000000, 5000000), 328579840),\n  ('partial repair guard 2', (19264731, 0, 2000000), 146189240),\n  ('control: ported exclusion', (20000000, 0, 5000000), 55600000),\n  ('control: gifts above exclusion', (5000000, 15000000, 0), 200000000), ('control: modest', (1500000, 200000, 0), 0),\n  ('control: large estate', (20000000, 0, 0), 255600000)],\n [('regression ported-exclusion 1', (21824496, 5000000, 5000000), 328579840),\n  ('regression ported-exclusion 2', (19264731, 0, 2000000), 146189240),\n  ('partial repair guard 1', (29904698, 15000000, 2000000), 1171787920),\n  ('partial repair guard 2', (9658783, 13906347, 2000000), 318205200),\n  ('control: large estate', (20000000, 0, 0), 255600000), ('control: under exclusion', (10000000, 0, 0), 0),\n  ('control: with prior gifts', (10000000, 5000000, 0), 55600000),\n  ('control: ported exclusion', (20000000, 0, 5000000), 55600000)]]\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":"5beeb384cf27b23ce9f0a429787d5d089a41f8f4af5d191d5d5a2b2fa1c73cc2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(estate, gifts, dsue):\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    sched = [[10000, '18'], [20000, '20'], [40000, '22'], [60000, '24'], [80000, '26'], [100000, '28'], [150000, '30'], [250000, '32'], [500000, '34'], [750000, '37'], [1000000, '39'], [None, '40']]\n    T = lambda x: prog(x, sched)\n    credit = T(13610000)\n    tent = T(estate + gifts)\n    gift_credit = max(0, T(gifts) - credit)\n    return cents(max(0, tent - gift_credit - credit))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression ported-exclusion 1', (20000000, 0, 5000000), 55600000),\n  ('regression ported-exclusion 2', (867406, 15000000, 5000000), 0),\n  ('partial repair guard 2', (13610000, 5000000, 2000000), 120000000),\n  ('control: large estate', (20000000, 0, 0), 255600000), ('control: under exclusion', (10000000, 0, 0), 0),\n  ('control: with prior gifts', (10000000, 5000000, 0), 55600000),\n  ('control: gifts above exclusion', (5000000, 15000000, 0), 200000000)],\n [('regression ported-exclusion 1', (13610000, 5000000, 2000000), 120000000),\n  ('regression ported-exclusion 2', (27783445, 500000, 5000000), 386937800),\n  ('partial repair guard 2', (22327855, 5000000, 2000000), 468714200),\n  ('control: ported exclusion', (20000000, 0, 5000000), 55600000),\n  ('control: gifts above exclusion', (5000000, 15000000, 0), 200000000), ('control: modest', (1500000, 200000, 0), 0),\n  ('control: large estate', (20000000, 0, 0), 255600000)],\n [('regression ported-exclusion 1', (22327855, 5000000, 2000000), 468714200),\n  ('regression ported-exclusion 2', (13610000, 5000000, 5000000), 0),\n  ('partial repair guard 1', (24200909, 15000000, 2000000), 943636360),\n  ('partial repair guard 2', (28075997, 5000000, 5000000), 578639880),\n  ('control: large estate', (20000000, 0, 0), 255600000), ('control: under exclusion', (10000000, 0, 0), 0),\n  ('control: with prior gifts', (10000000, 5000000, 0), 55600000),\n  ('control: ported exclusion', (20000000, 0, 5000000), 55600000)],\n [('regression ported-exclusion 1', (24200909, 15000000, 2000000), 943636360),\n  ('regression ported-exclusion 2', (28075997, 5000000, 5000000), 578639880),\n  ('partial repair guard 1', (21824496, 5000000, 5000000), 328579840),\n  ('partial repair guard 2', (19264731, 0, 2000000), 146189240),\n  ('control: ported exclusion', (20000000, 0, 5000000), 55600000),\n  ('control: gifts above exclusion', (5000000, 15000000, 0), 200000000), ('control: modest', (1500000, 200000, 0), 0),\n  ('control: large estate', (20000000, 0, 0), 255600000)],\n [('regression ported-exclusion 1', (21824496, 5000000, 5000000), 328579840),\n  ('regression ported-exclusion 2', (19264731, 0, 2000000), 146189240),\n  ('partial repair guard 1', (29904698, 15000000, 2000000), 1171787920),\n  ('partial repair guard 2', (9658783, 13906347, 2000000), 318205200),\n  ('control: large estate', (20000000, 0, 0), 255600000), ('control: under exclusion', (10000000, 0, 0), 0),\n  ('control: with prior gifts', (10000000, 5000000, 0), 55600000),\n  ('control: ported exclusion', (20000000, 0, 5000000), 55600000)]]\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-unified-transfer-credit-ported-exclusion","generated_at":"2026-09-29T14:47:06.860061+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.","root_cause":"The exclusion omits dsue.","sha256":"0198c3732234eab3efe67cb17f316cfe5111579cc139aef8902d9e84a01b8aba","title":"The deceased spouse's unused exclusion is ignored · 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":44.177,"exit_code":1,"observations":[{"actual":0,"check":"regression ported-exclusion 1","expected":55600000,"passed":false},{"actual":0,"check":"regression ported-exclusion 2","expected":0,"passed":true},{"actual":0,"check":"partial repair guard 2","expected":120000000,"passed":false},{"actual":255600000,"check":"control: large estate","expected":255600000,"passed":true},{"actual":0,"check":"control: under exclusion","expected":0,"passed":true},{"actual":55600000,"check":"control: with prior gifts","expected":55600000,"passed":true},{"actual":200000000,"check":"control: gifts above exclusion","expected":200000000,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression ported-exclusion 1\", \"actual\": 0, \"expected\": 55600000, \"passed\": false}, {\"check\": \"regression ported-exclusion 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": 0, \"expected\": 120000000, \"passed\": false}, {\"check\": \"control: large estate\", \"actual\": 255600000, \"expected\": 255600000, \"passed\": true}, {\"check\": \"control: under exclusion\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: with prior gifts\", \"actual\": 55600000, \"expected\": 55600000, \"passed\": true}, {\"check\": \"control: gifts above exclusion\", \"actual\": 200000000, \"expected\": 200000000, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.361,"exit_code":1,"observations":[{"actual":255600000,"check":"regression ported-exclusion 1","expected":55600000,"passed":false},{"actual":34696240,"check":"regression ported-exclusion 2","expected":0,"passed":false},{"actual":200000000,"check":"partial repair guard 2","expected":120000000,"passed":false},{"actual":255600000,"check":"control: large estate","expected":255600000,"passed":true},{"actual":0,"check":"control: under exclusion","expected":0,"passed":true},{"actual":55600000,"check":"control: with prior gifts","expected":55600000,"passed":true},{"actual":200000000,"check":"control: gifts above exclusion","expected":200000000,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression ported-exclusion 1\", \"actual\": 255600000, \"expected\": 55600000, \"passed\": false}, {\"check\": \"regression ported-exclusion 2\", \"actual\": 34696240, \"expected\": 0, \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": 200000000, \"expected\": 120000000, \"passed\": false}, {\"check\": \"control: large estate\", \"actual\": 255600000, \"expected\": 255600000, \"passed\": true}, {\"check\": \"control: under exclusion\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: with prior gifts\", \"actual\": 55600000, \"expected\": 55600000, \"passed\": true}, {\"check\": \"control: gifts above exclusion\", \"actual\": 200000000, \"expected\": 200000000, \"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."}}