{"abstract":"An effective rate of 8.4296% is reported as 842 bps instead of 843 bps.","category":"Tax bracket computation","checks":8,"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":"Rounding to whole percent before scaling to basis points discards the fractional percent.","family":"w2-tax_bracket_computation-marginal-and-effective-rate-effective-rounding","id":"FA-62501","implementations":{"attempt":{"sha256":"f9909b1d692e3bddac12c03a61083470c713e5c70ae0939ddc24efc75dbc1733","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 / gross) * 100 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 effective-rounding 1',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('regression effective-rounding 2',\n   (54600, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 839]),\n  ('partial repair guard 1', (54600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 842]),\n  ('partial repair guard 2', (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  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression effective-rounding 1', (50000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 810]),\n  ('regression effective-rounding 2',\n   (54600, 3000, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['22', 1220]),\n  ('partial repair guard 1',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('partial repair guard 2', (50000, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1228]),\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: 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 [('regression effective-rounding 1',\n   (39261, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 698]),\n  ('regression effective-rounding 2',\n   (272814, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['32.5', 2267]),\n  ('partial repair guard 1',\n   (54600, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 839]),\n  ('partial repair guard 2', (50000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 810]),\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 effective-rounding 1',\n   (13000, 0, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 1031]),\n  ('regression effective-rounding 2',\n   (236107, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['32.5', 2114]),\n  ('partial repair guard 1', (108005, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1750]),\n  ('partial repair guard 2',\n   (54600, 3000, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['22', 1220]),\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 effective-rounding 1',\n   (50000, 0, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['22', 1262]),\n  ('regression effective-rounding 2', (54600, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1431]),\n  ('partial repair guard 1', (13000, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 769]),\n  ('partial repair guard 2',\n   (39261, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 698]),\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":"295b7e6b96b77144269f00719e70e26011719f1c1dd9b0592103da8619c4b2ba","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 = int(tax * 10000 / 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 effective-rounding 1',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('regression effective-rounding 2',\n   (54600, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 839]),\n  ('partial repair guard 1', (54600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 842]),\n  ('partial repair guard 2', (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  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression effective-rounding 1', (50000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 810]),\n  ('regression effective-rounding 2',\n   (54600, 3000, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['22', 1220]),\n  ('partial repair guard 1',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('partial repair guard 2', (50000, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1228]),\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: 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 [('regression effective-rounding 1',\n   (39261, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 698]),\n  ('regression effective-rounding 2',\n   (272814, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['32.5', 2267]),\n  ('partial repair guard 1',\n   (54600, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 839]),\n  ('partial repair guard 2', (50000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 810]),\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 effective-rounding 1',\n   (13000, 0, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 1031]),\n  ('regression effective-rounding 2',\n   (236107, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['32.5', 2114]),\n  ('partial repair guard 1', (108005, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1750]),\n  ('partial repair guard 2',\n   (54600, 3000, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['22', 1220]),\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 effective-rounding 1',\n   (50000, 0, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['22', 1262]),\n  ('regression effective-rounding 2', (54600, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1431]),\n  ('partial repair guard 1', (13000, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 769]),\n  ('partial repair guard 2',\n   (39261, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 698]),\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":"bb5033ebd2e4520081f666f165ba1d9d41f36979025252ef7f9676664a603f6b","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 effective-rounding 1',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('regression effective-rounding 2',\n   (54600, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 839]),\n  ('partial repair guard 1', (54600, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 842]),\n  ('partial repair guard 2', (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  ('control: zero gross', (0, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 0])],\n [('regression effective-rounding 1', (50000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 810]),\n  ('regression effective-rounding 2',\n   (54600, 3000, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['22', 1220]),\n  ('partial repair guard 1',\n   (123456, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['24', 1582]),\n  ('partial repair guard 2', (50000, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1228]),\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: 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 [('regression effective-rounding 1',\n   (39261, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 698]),\n  ('regression effective-rounding 2',\n   (272814, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['32.5', 2267]),\n  ('partial repair guard 1',\n   (54600, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 839]),\n  ('partial repair guard 2', (50000, 14600, [[10000, '10'], [40000, '12'], [None, '22']]), ['12', 810]),\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 effective-rounding 1',\n   (13000, 0, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 1031]),\n  ('regression effective-rounding 2',\n   (236107, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['32.5', 2114]),\n  ('partial repair guard 1', (108005, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1750]),\n  ('partial repair guard 2',\n   (54600, 3000, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['22', 1220]),\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 effective-rounding 1',\n   (50000, 0, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['22', 1262]),\n  ('regression effective-rounding 2', (54600, 0, [[10000, '10'], [40000, '12'], [None, '22']]), ['22', 1431]),\n  ('partial repair guard 1', (13000, 3000, [[10000, '10'], [40000, '12'], [None, '22']]), ['10', 769]),\n  ('partial repair guard 2',\n   (39261, 14600, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), ['12', 698]),\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-effective-rounding","generated_at":"2026-09-29T14:47:05.278347+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":"Round half-up to whole basis points.","root_cause":"The basis-point value is truncated with int().","sha256":"676961f4d4a8c201db41bc2545197cd2ef42201b0de7f47e3741cf25402230e7","title":"Effective basis points are truncated · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.604,"exit_code":1,"observations":[{"actual":["24",1600],"check":"regression effective-rounding 1","expected":["24",1582],"passed":false},{"actual":["12",800],"check":"regression effective-rounding 2","expected":["12",839],"passed":false},{"actual":["12",800],"check":"partial repair guard 1","expected":["12",842],"passed":false},{"actual":["22",1400],"check":"partial repair guard 2","expected":["22",1360],"passed":false},{"actual":["10",1000],"check":"control: exact first threshold","expected":["10",1000],"passed":true},{"actual":["0",0],"check":"control: deduction not exhausted","expected":["0",0],"passed":true},{"actual":["10",0],"check":"control: deduction exactly used","expected":["10",0],"passed":true},{"actual":["10",0],"check":"control: zero gross","expected":["10",0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression effective-rounding 1\", \"actual\": [\"24\", 1600], \"expected\": [\"24\", 1582], \"passed\": false}, {\"check\": \"regression effective-rounding 2\", \"actual\": [\"12\", 800], \"expected\": [\"12\", 839], \"passed\": false}, {\"check\": \"partial repair guard 1\", \"actual\": [\"12\", 800], \"expected\": [\"12\", 842], \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": [\"22\", 1400], \"expected\": [\"22\", 1360], \"passed\": false}, {\"check\": \"control: exact first threshold\", \"actual\": [\"10\", 1000], \"expected\": [\"10\", 1000], \"passed\": true}, {\"check\": \"control: deduction not exhausted\", \"actual\": [\"0\", 0], \"expected\": [\"0\", 0], \"passed\": true}, {\"check\": \"control: deduction exactly used\", \"actual\": [\"10\", 0], \"expected\": [\"10\", 0], \"passed\": true}, {\"check\": \"control: zero gross\", \"actual\": [\"10\", 0], \"expected\": [\"10\", 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.654,"exit_code":1,"observations":[{"actual":["24",1581],"check":"regression effective-rounding 1","expected":["24",1582],"passed":false},{"actual":["12",838],"check":"regression effective-rounding 2","expected":["12",839],"passed":false},{"actual":["12",842],"check":"partial repair guard 1","expected":["12",842],"passed":true},{"actual":["22",1360],"check":"partial repair guard 2","expected":["22",1360],"passed":true},{"actual":["10",1000],"check":"control: exact first threshold","expected":["10",1000],"passed":true},{"actual":["0",0],"check":"control: deduction not exhausted","expected":["0",0],"passed":true},{"actual":["10",0],"check":"control: deduction exactly used","expected":["10",0],"passed":true},{"actual":["10",0],"check":"control: zero gross","expected":["10",0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression effective-rounding 1\", \"actual\": [\"24\", 1581], \"expected\": [\"24\", 1582], \"passed\": false}, {\"check\": \"regression effective-rounding 2\", \"actual\": [\"12\", 838], \"expected\": [\"12\", 839], \"passed\": false}, {\"check\": \"partial repair guard 1\", \"actual\": [\"12\", 842], \"expected\": [\"12\", 842], \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": [\"22\", 1360], \"expected\": [\"22\", 1360], \"passed\": true}, {\"check\": \"control: exact first threshold\", \"actual\": [\"10\", 1000], \"expected\": [\"10\", 1000], \"passed\": true}, {\"check\": \"control: deduction not exhausted\", \"actual\": [\"0\", 0], \"expected\": [\"0\", 0], \"passed\": true}, {\"check\": \"control: deduction exactly used\", \"actual\": [\"10\", 0], \"expected\": [\"10\", 0], \"passed\": true}, {\"check\": \"control: zero gross\", \"actual\": [\"10\", 0], \"expected\": [\"10\", 0], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.092,"exit_code":0,"observations":[{"actual":["24",1582],"check":"regression effective-rounding 1","expected":["24",1582],"passed":true},{"actual":["12",839],"check":"regression effective-rounding 2","expected":["12",839],"passed":true},{"actual":["12",842],"check":"partial repair guard 1","expected":["12",842],"passed":true},{"actual":["22",1360],"check":"partial repair guard 2","expected":["22",1360],"passed":true},{"actual":["10",1000],"check":"control: exact first threshold","expected":["10",1000],"passed":true},{"actual":["0",0],"check":"control: deduction not exhausted","expected":["0",0],"passed":true},{"actual":["10",0],"check":"control: deduction exactly used","expected":["10",0],"passed":true},{"actual":["10",0],"check":"control: zero gross","expected":["10",0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression effective-rounding 1\", \"actual\": [\"24\", 1582], \"expected\": [\"24\", 1582], \"passed\": true}, {\"check\": \"regression effective-rounding 2\", \"actual\": [\"12\", 839], \"expected\": [\"12\", 839], \"passed\": true}, {\"check\": \"partial repair guard 1\", \"actual\": [\"12\", 842], \"expected\": [\"12\", 842], \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": [\"22\", 1360], \"expected\": [\"22\", 1360], \"passed\": true}, {\"check\": \"control: exact first threshold\", \"actual\": [\"10\", 1000], \"expected\": [\"10\", 1000], \"passed\": true}, {\"check\": \"control: deduction not exhausted\", \"actual\": [\"0\", 0], \"expected\": [\"0\", 0], \"passed\": true}, {\"check\": \"control: deduction exactly used\", \"actual\": [\"10\", 0], \"expected\": [\"10\", 0], \"passed\": true}, {\"check\": \"control: zero gross\", \"actual\": [\"10\", 0], \"expected\": [\"10\", 0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}