{"abstract":"A filer earning below the deduction is told the next dollar is taxed at 10%.","category":"Tax bracket computation","checks":7,"contract":"solve(gross, deduction, brackets): taxable = max(0, gross - deduction); tax uses the progressive slices. The marginal rate is the rate of the bracket containing taxable income with (lower, upper] semantics (income exactly at a threshold is in the lower bracket), and is '0' when gross < deduction (unused deduction absorbs the next dollar; at gross == deduction the next dollar is taxed at the first rate). The effective rate is tax / gross in basis points rounded half-up (0 when gross <= 0). Return [marginal_rate_string, effective_bps].","evaluation_group":"w2-tax_bracket_computation-marginal-and-effective-rate","failed_approach":"Reporting zero only when gross is zero still quotes 10% for low earners with unused deduction.","family":"w2-tax_bracket_computation-marginal-and-effective-rate-unused-deduction-marginal","id":"FA-62506","implementations":{"attempt":{"sha256":"cb6bda0f231fbc4b78cc19e767982a2cc1c638233b6d2af3935814aa79607ae9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(gross, deduction, brackets):\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    taxable = max(0, gross - deduction)\n    tax = prog(taxable, brackets)\n    if gross == 0 and deduction > 0:\n        marginal = '0'\n    else:\n        marginal = next(rate for upper, rate in brackets if upper is None or taxable <= upper)\n    eff = cents(tax * 100 / gross) if gross > 0 else 0\n    return [marginal, eff]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression unused-deduction-marginal 1', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2',\n   (0, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('partial repair guard 2',\n   (10000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: at threshold after deduction', (54600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 842]),\n  ('control: top bracket', (50000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1360]),\n  ('control: exact first threshold', (10000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 1000]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression unused-deduction-marginal 1',\n   (10000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2', (1000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 2',\n   (13000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: deduction not exhausted', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: five brackets',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression unused-deduction-marginal 1',\n   (13000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2',\n   (1000, 3000, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('partial repair guard 2', (13000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: one above threshold', (10001, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 1000]),\n  ('control: at threshold after deduction', (54600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 842]),\n  ('control: top bracket', (50000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1360])],\n [('regression unused-deduction-marginal 1', (13000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2', (1000, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 2',\n   (1000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: top bracket', (50000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1360]),\n  ('control: exact first threshold', (10000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 1000]),\n  ('control: deduction not exhausted', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression unused-deduction-marginal 1',\n   (1000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2', (0, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 1', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 2',\n   (10000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: five brackets',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: one above threshold', (10001, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 1000])]]\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":"9c4323017bb59e03a3ff94892e0963f4c37f526d7078215eca9c927de9bc7655","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(gross, deduction, brackets):\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    taxable = max(0, gross - deduction)\n    tax = prog(taxable, brackets)\n    if False:\n        marginal = '0'\n    else:\n        marginal = next(rate for upper, rate in brackets if upper is None or taxable <= upper)\n    eff = cents(tax * 100 / gross) if gross > 0 else 0\n    return [marginal, eff]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression unused-deduction-marginal 1', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2',\n   (0, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('partial repair guard 2',\n   (10000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: at threshold after deduction', (54600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 842]),\n  ('control: top bracket', (50000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1360]),\n  ('control: exact first threshold', (10000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 1000]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression unused-deduction-marginal 1',\n   (10000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2', (1000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 2',\n   (13000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: deduction not exhausted', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: five brackets',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression unused-deduction-marginal 1',\n   (13000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2',\n   (1000, 3000, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('partial repair guard 2', (13000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: one above threshold', (10001, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 1000]),\n  ('control: at threshold after deduction', (54600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 842]),\n  ('control: top bracket', (50000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1360])],\n [('regression unused-deduction-marginal 1', (13000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2', (1000, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 2',\n   (1000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: top bracket', (50000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1360]),\n  ('control: exact first threshold', (10000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 1000]),\n  ('control: deduction not exhausted', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression unused-deduction-marginal 1',\n   (1000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2', (0, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 1', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 2',\n   (10000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: five brackets',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: one above threshold', (10001, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 1000])]]\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":"be20e5cce8871df142a3747417acfc80233b44b8787fc2e65f239836d4a6b64e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(gross, deduction, brackets):\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    taxable = max(0, gross - deduction)\n    tax = prog(taxable, brackets)\n    if gross < deduction:\n        marginal = '0'\n    else:\n        marginal = next(rate for upper, rate in brackets if upper is None or taxable <= upper)\n    eff = cents(tax * 100 / gross) if gross > 0 else 0\n    return [marginal, eff]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression unused-deduction-marginal 1', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2',\n   (0, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('partial repair guard 2',\n   (10000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: at threshold after deduction', (54600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 842]),\n  ('control: top bracket', (50000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1360]),\n  ('control: exact first threshold', (10000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 1000]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression unused-deduction-marginal 1',\n   (10000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2', (1000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 2',\n   (13000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: deduction not exhausted', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: five brackets',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression unused-deduction-marginal 1',\n   (13000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2',\n   (1000, 3000, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('partial repair guard 2', (13000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: one above threshold', (10001, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 1000]),\n  ('control: at threshold after deduction', (54600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 842]),\n  ('control: top bracket', (50000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1360])],\n [('regression unused-deduction-marginal 1', (13000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2', (1000, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 2',\n   (1000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: top bracket', (50000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1360]),\n  ('control: exact first threshold', (10000, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 1000]),\n  ('control: deduction not exhausted', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression unused-deduction-marginal 1',\n   (1000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('regression unused-deduction-marginal 2', (0, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 1', (10000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['0', 0]),\n  ('partial repair guard 2',\n   (10000, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['0', 0]),\n  ('control: deduction exactly used', (14600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: five brackets',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0]),\n  ('control: one above threshold', (10001, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 1000])]]\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-marginal-and-effective-rate-unused-deduction-marginal","generated_at":"2026-09-29T14:47:05.293767+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":"Report a zero marginal rate when gross is below the deduction.","root_cause":"The zero-taxable case always reports the first bracket rate.","sha256":"87580bea8c76c1216001f8ab73c6b8e0af09d8e9a65ac861fcd8cb41f8f33d33","title":"The first bracket rate is reported while deduction headroom remains · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.005,"exit_code":1,"observations":[{"actual":["10",0],"check":"regression unused-deduction-marginal 1","expected":["0",0],"passed":false},{"actual":["0",0],"check":"regression unused-deduction-marginal 2","expected":["0",0],"passed":true},{"actual":["10",0],"check":"partial repair guard 2","expected":["0",0],"passed":false},{"actual":["12",842],"check":"control: at threshold after deduction","expected":["12",842],"passed":true},{"actual":["22",1360],"check":"control: top bracket","expected":["22",1360],"passed":true},{"actual":["10",1000],"check":"control: exact first threshold","expected":["10",1000],"passed":true},{"actual":["10",0],"check":"control: deduction exactly used","expected":["10",0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression unused-deduction-marginal 1\", \"actual\": [\"10\", 0], \"expected\": [\"0\", 0], \"passed\": false}, {\"check\": \"regression unused-deduction-marginal 2\", \"actual\": [\"0\", 0], \"expected\": [\"0\", 0], \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": [\"10\", 0], \"expected\": [\"0\", 0], \"passed\": false}, {\"check\": \"control: at threshold after deduction\", \"actual\": [\"12\", 842], \"expected\": [\"12\", 842], \"passed\": true}, {\"check\": \"control: top bracket\", \"actual\": [\"22\", 1360], \"expected\": [\"22\", 1360], \"passed\": true}, {\"check\": \"control: exact first threshold\", \"actual\": [\"10\", 1000], \"expected\": [\"10\", 1000], \"passed\": true}, {\"check\": \"control: deduction exactly used\", \"actual\": [\"10\", 0], \"expected\": [\"10\", 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.886,"exit_code":1,"observations":[{"actual":["10",0],"check":"regression unused-deduction-marginal 1","expected":["0",0],"passed":false},{"actual":["10",0],"check":"regression unused-deduction-marginal 2","expected":["0",0],"passed":false},{"actual":["10",0],"check":"partial repair guard 2","expected":["0",0],"passed":false},{"actual":["12",842],"check":"control: at threshold after deduction","expected":["12",842],"passed":true},{"actual":["22",1360],"check":"control: top bracket","expected":["22",1360],"passed":true},{"actual":["10",1000],"check":"control: exact first threshold","expected":["10",1000],"passed":true},{"actual":["10",0],"check":"control: deduction exactly used","expected":["10",0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression unused-deduction-marginal 1\", \"actual\": [\"10\", 0], \"expected\": [\"0\", 0], \"passed\": false}, {\"check\": \"regression unused-deduction-marginal 2\", \"actual\": [\"10\", 0], \"expected\": [\"0\", 0], \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": [\"10\", 0], \"expected\": [\"0\", 0], \"passed\": false}, {\"check\": \"control: at threshold after deduction\", \"actual\": [\"12\", 842], \"expected\": [\"12\", 842], \"passed\": true}, {\"check\": \"control: top bracket\", \"actual\": [\"22\", 1360], \"expected\": [\"22\", 1360], \"passed\": true}, {\"check\": \"control: exact first threshold\", \"actual\": [\"10\", 1000], \"expected\": [\"10\", 1000], \"passed\": true}, {\"check\": \"control: deduction exactly used\", \"actual\": [\"10\", 0], \"expected\": [\"10\", 0], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.982,"exit_code":0,"observations":[{"actual":["0",0],"check":"regression unused-deduction-marginal 1","expected":["0",0],"passed":true},{"actual":["0",0],"check":"regression unused-deduction-marginal 2","expected":["0",0],"passed":true},{"actual":["0",0],"check":"partial repair guard 2","expected":["0",0],"passed":true},{"actual":["12",842],"check":"control: at threshold after deduction","expected":["12",842],"passed":true},{"actual":["22",1360],"check":"control: top bracket","expected":["22",1360],"passed":true},{"actual":["10",1000],"check":"control: exact first threshold","expected":["10",1000],"passed":true},{"actual":["10",0],"check":"control: deduction exactly used","expected":["10",0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression unused-deduction-marginal 1\", \"actual\": [\"0\", 0], \"expected\": [\"0\", 0], \"passed\": true}, {\"check\": \"regression unused-deduction-marginal 2\", \"actual\": [\"0\", 0], \"expected\": [\"0\", 0], \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": [\"0\", 0], \"expected\": [\"0\", 0], \"passed\": true}, {\"check\": \"control: at threshold after deduction\", \"actual\": [\"12\", 842], \"expected\": [\"12\", 842], \"passed\": true}, {\"check\": \"control: top bracket\", \"actual\": [\"22\", 1360], \"expected\": [\"22\", 1360], \"passed\": true}, {\"check\": \"control: exact first threshold\", \"actual\": [\"10\", 1000], \"expected\": [\"10\", 1000], \"passed\": true}, {\"check\": \"control: deduction exactly used\", \"actual\": [\"10\", 0], \"expected\": [\"10\", 0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}