{"abstract":"Filers with high regular tax receive a negative AMT that reduces their total.","category":"Tax bracket computation","checks":6,"contract":"solve(amti, regular_cents, status): stipulated AMT, whole dollars. Exemption: single 85700 (phase-out threshold 609350), mfj 133300 (threshold 1218700). The exemption is reduced by 25% of AMTI above the threshold, with the reduction rounded down to whole dollars, never below 0. Base = max(0, amti - exemption). Tentative minimum tax = 26% of base up to 232600 plus 28% of base above 232600 (in cents: dollars times percent). AMT = max(0, TMT - regular tax). Return [exemption, tmt_cents, amt_cents].","contract_signature":"amti, regular_cents, status","evaluation_group":"w2-tax_bracket_computation-alternative-minimum-tax","failed_approach":"Reporting the absolute difference charges AMT to filers whose regular tax is higher.","family":"w2-tax_bracket_computation-alternative-minimum-tax-amt-floor","id":"FA-62546","implementations":{"attempt":{"sha256":"762717860f8b488ed0a5cdaf5063155954a322e650d5e0863831711383777073","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(amti, regular_cents, status):\n    ex, thr = {'single': (85700, 609350), 'mfj': (133300, 1218700)}[status]\n    if amti > thr: ex = max(0, ex - (amti - thr) // 4)\n    base = max(0, amti - ex)\n    tmt = min(base, 232600) * 26 + max(0, base - 232600) * 28\n    return [ex, tmt, abs(tmt - regular_cents)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression amt-floor 1', (1000000, 99999999, 'single'), [0, 27534800, 0]),\n  ('regression amt-floor 2', (100000, 5000, 'mfj'), [133300, 0, 0]),\n  ('control: moderate single', (200000, 2500000, 'single'), [85700, 2971800, 471800]),\n  ('control: partial phase-out', (700000, 0, 'single'), [63038, 17369736, 17369736]),\n  ('control: below exemption', (100000, 0, 'mfj'), [133300, 0, 0]),\n  ('control: odd excess', (609353, 5000000, 'single'), [85700, 14197084, 9197084])],\n [('regression amt-floor 1', (365900, 10000000, 'single'), [85700, 7380400, 0]),\n  ('regression amt-floor 2', (365900, 35622995, 'mfj'), [133300, 6047600, 0]),\n  ('control: below exemption', (100000, 0, 'mfj'), [133300, 0, 0]),\n  ('control: odd excess', (609353, 5000000, 'single'), [85700, 14197084, 9197084]),\n  ('control: joint high', (1300000, 30000000, 'mfj'), [112975, 32771500, 2771500]),\n  ('control: rate break', (400000, 0, 'mfj'), [133300, 7002400, 7002400])],\n [('regression amt-floor 1', (365900, 7499416, 'mfj'), [133300, 6047600, 0]),\n  ('regression amt-floor 2', (318300, 22229357, 'mfj'), [133300, 4810000, 0]),\n  ('control: rate break', (400000, 0, 'mfj'), [133300, 7002400, 7002400]),\n  ('control: moderate single', (200000, 2500000, 'single'), [85700, 2971800, 471800]),\n  ('control: partial phase-out', (700000, 0, 'single'), [63038, 17369736, 17369736]),\n  ('control: no exemption left', (1000000, 99999999, 'single'), [0, 27534800, 0])],\n [('regression amt-floor 1', (365900, 25512013, 'mfj'), [133300, 6047600, 0]),\n  ('regression amt-floor 2', (365900, 10000000, 'mfj'), [133300, 6047600, 0]),\n  ('control: no exemption left', (1000000, 99999999, 'single'), [0, 27534800, 0]),\n  ('control: below exemption', (100000, 0, 'mfj'), [133300, 0, 0]),\n  ('control: odd excess', (609353, 5000000, 'single'), [85700, 14197084, 9197084]),\n  ('control: joint high', (1300000, 30000000, 'mfj'), [112975, 32771500, 2771500])],\n [('regression amt-floor 1', (198479, 2500000, 'mfj'), [133300, 1694654, 0]),\n  ('regression amt-floor 2', (318300, 10000000, 'single'), [85700, 6047600, 0]),\n  ('control: joint high', (1300000, 30000000, 'mfj'), [112975, 32771500, 2771500]),\n  ('control: rate break', (400000, 0, 'mfj'), [133300, 7002400, 7002400]),\n  ('control: moderate single', (200000, 2500000, 'single'), [85700, 2971800, 471800]),\n  ('control: partial phase-out', (700000, 0, 'single'), [63038, 17369736, 17369736])]]\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":"91c1f757f14ee32186ec53d095e2a9e621042f140d87baa861dc5d276e2f37f3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(amti, regular_cents, status):\n    ex, thr = {'single': (85700, 609350), 'mfj': (133300, 1218700)}[status]\n    if amti > thr: ex = max(0, ex - (amti - thr) // 4)\n    base = max(0, amti - ex)\n    tmt = min(base, 232600) * 26 + max(0, base - 232600) * 28\n    return [ex, tmt, tmt - regular_cents]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression amt-floor 1', (1000000, 99999999, 'single'), [0, 27534800, 0]),\n  ('regression amt-floor 2', (100000, 5000, 'mfj'), [133300, 0, 0]),\n  ('control: moderate single', (200000, 2500000, 'single'), [85700, 2971800, 471800]),\n  ('control: partial phase-out', (700000, 0, 'single'), [63038, 17369736, 17369736]),\n  ('control: below exemption', (100000, 0, 'mfj'), [133300, 0, 0]),\n  ('control: odd excess', (609353, 5000000, 'single'), [85700, 14197084, 9197084])],\n [('regression amt-floor 1', (365900, 10000000, 'single'), [85700, 7380400, 0]),\n  ('regression amt-floor 2', (365900, 35622995, 'mfj'), [133300, 6047600, 0]),\n  ('control: below exemption', (100000, 0, 'mfj'), [133300, 0, 0]),\n  ('control: odd excess', (609353, 5000000, 'single'), [85700, 14197084, 9197084]),\n  ('control: joint high', (1300000, 30000000, 'mfj'), [112975, 32771500, 2771500]),\n  ('control: rate break', (400000, 0, 'mfj'), [133300, 7002400, 7002400])],\n [('regression amt-floor 1', (365900, 7499416, 'mfj'), [133300, 6047600, 0]),\n  ('regression amt-floor 2', (318300, 22229357, 'mfj'), [133300, 4810000, 0]),\n  ('control: rate break', (400000, 0, 'mfj'), [133300, 7002400, 7002400]),\n  ('control: moderate single', (200000, 2500000, 'single'), [85700, 2971800, 471800]),\n  ('control: partial phase-out', (700000, 0, 'single'), [63038, 17369736, 17369736]),\n  ('control: no exemption left', (1000000, 99999999, 'single'), [0, 27534800, 0])],\n [('regression amt-floor 1', (365900, 25512013, 'mfj'), [133300, 6047600, 0]),\n  ('regression amt-floor 2', (365900, 10000000, 'mfj'), [133300, 6047600, 0]),\n  ('control: no exemption left', (1000000, 99999999, 'single'), [0, 27534800, 0]),\n  ('control: below exemption', (100000, 0, 'mfj'), [133300, 0, 0]),\n  ('control: odd excess', (609353, 5000000, 'single'), [85700, 14197084, 9197084]),\n  ('control: joint high', (1300000, 30000000, 'mfj'), [112975, 32771500, 2771500])],\n [('regression amt-floor 1', (198479, 2500000, 'mfj'), [133300, 1694654, 0]),\n  ('regression amt-floor 2', (318300, 10000000, 'single'), [85700, 6047600, 0]),\n  ('control: joint high', (1300000, 30000000, 'mfj'), [112975, 32771500, 2771500]),\n  ('control: rate break', (400000, 0, 'mfj'), [133300, 7002400, 7002400]),\n  ('control: moderate single', (200000, 2500000, 'single'), [85700, 2971800, 471800]),\n  ('control: partial phase-out', (700000, 0, 'single'), [63038, 17369736, 17369736])]]\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-alternative-minimum-tax-amt-floor","generated_at":"2026-09-29T14:47:05.642342+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":"AMT = TMT - regular without a floor at zero.","sha256":"bd3aa8c6328e28259c856c62180a76cd61f3839d3f5faad6675bfdb76ab33d95","title":"AMT is reported as negative when regular tax exceeds the tentative minimum tax · 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":38.5,"exit_code":1,"observations":[{"actual":[0,27534800,72465199],"check":"regression amt-floor 1","expected":[0,27534800,0],"passed":false},{"actual":[133300,0,5000],"check":"regression amt-floor 2","expected":[133300,0,0],"passed":false},{"actual":[85700,2971800,471800],"check":"control: moderate single","expected":[85700,2971800,471800],"passed":true},{"actual":[63038,17369736,17369736],"check":"control: partial phase-out","expected":[63038,17369736,17369736],"passed":true},{"actual":[133300,0,0],"check":"control: below exemption","expected":[133300,0,0],"passed":true},{"actual":[85700,14197084,9197084],"check":"control: odd excess","expected":[85700,14197084,9197084],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression amt-floor 1\", \"actual\": [0, 27534800, 72465199], \"expected\": [0, 27534800, 0], \"passed\": false}, {\"check\": \"regression amt-floor 2\", \"actual\": [133300, 0, 5000], \"expected\": [133300, 0, 0], \"passed\": false}, {\"check\": \"control: moderate single\", \"actual\": [85700, 2971800, 471800], \"expected\": [85700, 2971800, 471800], \"passed\": true}, {\"check\": \"control: partial phase-out\", \"actual\": [63038, 17369736, 17369736], \"expected\": [63038, 17369736, 17369736], \"passed\": true}, {\"check\": \"control: below exemption\", \"actual\": [133300, 0, 0], \"expected\": [133300, 0, 0], \"passed\": true}, {\"check\": \"control: odd excess\", \"actual\": [85700, 14197084, 9197084], \"expected\": [85700, 14197084, 9197084], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.617,"exit_code":1,"observations":[{"actual":[0,27534800,-72465199],"check":"regression amt-floor 1","expected":[0,27534800,0],"passed":false},{"actual":[133300,0,-5000],"check":"regression amt-floor 2","expected":[133300,0,0],"passed":false},{"actual":[85700,2971800,471800],"check":"control: moderate single","expected":[85700,2971800,471800],"passed":true},{"actual":[63038,17369736,17369736],"check":"control: partial phase-out","expected":[63038,17369736,17369736],"passed":true},{"actual":[133300,0,0],"check":"control: below exemption","expected":[133300,0,0],"passed":true},{"actual":[85700,14197084,9197084],"check":"control: odd excess","expected":[85700,14197084,9197084],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression amt-floor 1\", \"actual\": [0, 27534800, -72465199], \"expected\": [0, 27534800, 0], \"passed\": false}, {\"check\": \"regression amt-floor 2\", \"actual\": [133300, 0, -5000], \"expected\": [133300, 0, 0], \"passed\": false}, {\"check\": \"control: moderate single\", \"actual\": [85700, 2971800, 471800], \"expected\": [85700, 2971800, 471800], \"passed\": true}, {\"check\": \"control: partial phase-out\", \"actual\": [63038, 17369736, 17369736], \"expected\": [63038, 17369736, 17369736], \"passed\": true}, {\"check\": \"control: below exemption\", \"actual\": [133300, 0, 0], \"expected\": [133300, 0, 0], \"passed\": true}, {\"check\": \"control: odd excess\", \"actual\": [85700, 14197084, 9197084], \"expected\": [85700, 14197084, 9197084], \"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."}}