{"abstract":"Crossing a threshold by one dollar raises tax on every dollar of income.","category":"Tax bracket computation","checks":7,"contract":"solve(income, brackets): brackets is [[upper, rate_percent], ...] with strictly increasing positive uppers and a final open bracket [None, rate]; otherwise return 'ERR:brackets'. Each rate applies only to the slice of income in (previous upper, upper]. Negative income is taxed as zero. The tax is summed exactly and rounded half-up to cents once, returned as integer cents.","evaluation_group":"w2-tax_bracket_computation-progressive-marginal-slices","failed_approach":"Taxing the first bracket at its own rate and the rest at the top rate is right only for two-bracket schedules.","family":"w2-tax_bracket_computation-progressive-marginal-slices-whole-income-at-top-rate","id":"FA-62341","implementations":{"attempt":{"sha256":"fb53132ad5c09160c5f8f71a8dddf0331eec4e9a7393083110af907945e438f9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(income, brackets):\n    if not brackets or brackets[-1][0] is not None: return 'ERR:brackets'\n    uppers = [u for u, _ in brackets[:-1]]\n    if any(b <= a for a, b in zip([0] + uppers, uppers)): return 'ERR:brackets'\n    x = max(0, income)\n    tax, lower = Fraction(0), 0\n    fu, fr = brackets[0]\n    for upper, rate in brackets:\n        if upper is None or x <= upper:\n            cut = x if fu is None else min(x, fu)\n            tax = cut * Fraction(fr) / 100 + (x - cut) * Fraction(rate) / 100\n            break\n    return int(tax * 100 + Fraction(1, 2))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression whole-income-at-top-rate 1', (50000, [[10000, '10'], [40000, '12'], [None, '22']]), 680000),\n  ('regression whole-income-at-top-rate 2',\n   (12345, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), 126140),\n  ('partial repair guard 2', (40001, [[10000, '10'], [40000, '12'], [None, '22']]), 460022),\n  ('control: at first threshold', (10000, [[10000, '10'], [40000, '12'], [None, '22']]), 100000),\n  ('control: zero', (0, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: negative', (-5, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: non increasing', (10000, [[10000, '10'], [5000, '20'], [None, '30']]), 'ERR:brackets')],\n [('regression whole-income-at-top-rate 1', (40001, [[10000, '10'], [40000, '12'], [None, '22']]), 460022),\n  ('regression whole-income-at-top-rate 2',\n   (250001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), 5917183),\n  ('partial repair guard 2', (232540, [[34000, '22'], [101000, '15'], [147000, '10'], [184000, '10'], [None, '30']]),\n   4039200),\n  ('control: negative', (-5, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: fractional rate', (12345, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   126140),\n  ('control: non increasing', (10000, [[10000, '10'], [5000, '20'], [None, '30']]), 'ERR:brackets'),\n  ('control: closed top', (10, [[10000, '10'], [20000, '20']]), 'ERR:brackets')],\n [('regression whole-income-at-top-rate 1',\n   (232540, [[34000, '22'], [101000, '15'], [147000, '10'], [184000, '10'], [None, '30']]), 4039200),\n  ('regression whole-income-at-top-rate 2',\n   (236107, [[31000, '10'], [159000, '10'], [172000, '24'], [193000, '22'], [None, '45']]), 4303815),\n  ('partial repair guard 2', (221539, [[9000, '24'], [72000, '5'], [91000, '33.3'], [101000, '5'], [None, '37']]),\n   5673643),\n  ('control: non increasing', (10000, [[10000, '10'], [5000, '20'], [None, '30']]), 'ERR:brackets'),\n  ('control: closed top', (10, [[10000, '10'], [20000, '20']]), 'ERR:brackets'),\n  ('control: high earner', (250001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   5917183),\n  ('control: single bracket', (777, [[None, '12.5']]), 9713)],\n [('regression whole-income-at-top-rate 1',\n   (221539, [[9000, '24'], [72000, '5'], [91000, '33.3'], [101000, '5'], [None, '37']]), 5673643),\n  ('regression whole-income-at-top-rate 2',\n   (64068, [[32000, '22'], [105000, '10'], [170000, '24'], [193000, '10'], [None, '37']]), 1024680),\n  ('partial repair guard 1', (161544, [[108000, '22'], [122000, '12.5'], [192000, '10'], [None, '30']]), 2946440),\n  ('partial repair guard 2', (156576, [[30000, '5'], [111000, '15'], [None, '30']]), 2732280),\n  ('control: single bracket', (777, [[None, '12.5']]), 9713),\n  ('control: three brackets', (50000, [[10000, '10'], [40000, '12'], [None, '22']]), 680000),\n  ('control: at first threshold', (10000, [[10000, '10'], [40000, '12'], [None, '22']]), 100000),\n  ('control: zero', (0, [[10000, '10'], [40000, '12'], [None, '22']]), 0)],\n [('regression whole-income-at-top-rate 1', (161544, [[108000, '22'], [122000, '12.5'], [192000, '10'], [None, '30']]),\n   2946440),\n  ('regression whole-income-at-top-rate 2', (84182, [[82000, '12.5'], [138000, '22'], [161000, '15'], [None, '37']]),\n   1073004),\n  ('partial repair guard 1', (135000, [[30000, '15'], [126000, '12.5'], [None, '30']]), 1920000),\n  ('partial repair guard 2', (259309, [[57000, '24'], [175000, '5'], [None, '30']]), 4487270),\n  ('control: zero', (0, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: negative', (-5, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: one over threshold', (40001, [[10000, '10'], [40000, '12'], [None, '22']]), 460022),\n  ('control: fractional rate', (12345, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   126140)]]\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":"6540d615120056133110b04abbda4195d53ebcfae52cd9b05560ce7073f90091","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(income, brackets):\n    if not brackets or brackets[-1][0] is not None: return 'ERR:brackets'\n    uppers = [u for u, _ in brackets[:-1]]\n    if any(b <= a for a, b in zip([0] + uppers, uppers)): return 'ERR:brackets'\n    x = max(0, income)\n    tax, lower = Fraction(0), 0\n    for upper, rate in brackets:\n        if upper is None or x <= upper:\n            tax = x * Fraction(rate) / 100\n            break\n    return int(tax * 100 + Fraction(1, 2))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression whole-income-at-top-rate 1', (50000, [[10000, '10'], [40000, '12'], [None, '22']]), 680000),\n  ('regression whole-income-at-top-rate 2',\n   (12345, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), 126140),\n  ('partial repair guard 2', (40001, [[10000, '10'], [40000, '12'], [None, '22']]), 460022),\n  ('control: at first threshold', (10000, [[10000, '10'], [40000, '12'], [None, '22']]), 100000),\n  ('control: zero', (0, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: negative', (-5, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: non increasing', (10000, [[10000, '10'], [5000, '20'], [None, '30']]), 'ERR:brackets')],\n [('regression whole-income-at-top-rate 1', (40001, [[10000, '10'], [40000, '12'], [None, '22']]), 460022),\n  ('regression whole-income-at-top-rate 2',\n   (250001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), 5917183),\n  ('partial repair guard 2', (232540, [[34000, '22'], [101000, '15'], [147000, '10'], [184000, '10'], [None, '30']]),\n   4039200),\n  ('control: negative', (-5, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: fractional rate', (12345, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   126140),\n  ('control: non increasing', (10000, [[10000, '10'], [5000, '20'], [None, '30']]), 'ERR:brackets'),\n  ('control: closed top', (10, [[10000, '10'], [20000, '20']]), 'ERR:brackets')],\n [('regression whole-income-at-top-rate 1',\n   (232540, [[34000, '22'], [101000, '15'], [147000, '10'], [184000, '10'], [None, '30']]), 4039200),\n  ('regression whole-income-at-top-rate 2',\n   (236107, [[31000, '10'], [159000, '10'], [172000, '24'], [193000, '22'], [None, '45']]), 4303815),\n  ('partial repair guard 2', (221539, [[9000, '24'], [72000, '5'], [91000, '33.3'], [101000, '5'], [None, '37']]),\n   5673643),\n  ('control: non increasing', (10000, [[10000, '10'], [5000, '20'], [None, '30']]), 'ERR:brackets'),\n  ('control: closed top', (10, [[10000, '10'], [20000, '20']]), 'ERR:brackets'),\n  ('control: high earner', (250001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   5917183),\n  ('control: single bracket', (777, [[None, '12.5']]), 9713)],\n [('regression whole-income-at-top-rate 1',\n   (221539, [[9000, '24'], [72000, '5'], [91000, '33.3'], [101000, '5'], [None, '37']]), 5673643),\n  ('regression whole-income-at-top-rate 2',\n   (64068, [[32000, '22'], [105000, '10'], [170000, '24'], [193000, '10'], [None, '37']]), 1024680),\n  ('partial repair guard 1', (161544, [[108000, '22'], [122000, '12.5'], [192000, '10'], [None, '30']]), 2946440),\n  ('partial repair guard 2', (156576, [[30000, '5'], [111000, '15'], [None, '30']]), 2732280),\n  ('control: single bracket', (777, [[None, '12.5']]), 9713),\n  ('control: three brackets', (50000, [[10000, '10'], [40000, '12'], [None, '22']]), 680000),\n  ('control: at first threshold', (10000, [[10000, '10'], [40000, '12'], [None, '22']]), 100000),\n  ('control: zero', (0, [[10000, '10'], [40000, '12'], [None, '22']]), 0)],\n [('regression whole-income-at-top-rate 1', (161544, [[108000, '22'], [122000, '12.5'], [192000, '10'], [None, '30']]),\n   2946440),\n  ('regression whole-income-at-top-rate 2', (84182, [[82000, '12.5'], [138000, '22'], [161000, '15'], [None, '37']]),\n   1073004),\n  ('partial repair guard 1', (135000, [[30000, '15'], [126000, '12.5'], [None, '30']]), 1920000),\n  ('partial repair guard 2', (259309, [[57000, '24'], [175000, '5'], [None, '30']]), 4487270),\n  ('control: zero', (0, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: negative', (-5, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: one over threshold', (40001, [[10000, '10'], [40000, '12'], [None, '22']]), 460022),\n  ('control: fractional rate', (12345, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   126140)]]\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":"e56f08472f30f6873a7642077dde7d6d396fc9729f3d2fe6486f212164e28f20","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(income, brackets):\n    if not brackets or brackets[-1][0] is not None: return 'ERR:brackets'\n    uppers = [u for u, _ in brackets[:-1]]\n    if any(b <= a for a, b in zip([0] + uppers, uppers)): return 'ERR:brackets'\n    x = max(0, income)\n    tax, lower = Fraction(0), 0\n    for upper, rate in brackets:\n        top = x if upper is None else min(x, upper)\n        if top > lower:\n            tax += (top - lower) * Fraction(rate) / 100\n        if upper is None or x <= upper: break\n        lower = upper\n    return int(tax * 100 + Fraction(1, 2))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression whole-income-at-top-rate 1', (50000, [[10000, '10'], [40000, '12'], [None, '22']]), 680000),\n  ('regression whole-income-at-top-rate 2',\n   (12345, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), 126140),\n  ('partial repair guard 2', (40001, [[10000, '10'], [40000, '12'], [None, '22']]), 460022),\n  ('control: at first threshold', (10000, [[10000, '10'], [40000, '12'], [None, '22']]), 100000),\n  ('control: zero', (0, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: negative', (-5, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: non increasing', (10000, [[10000, '10'], [5000, '20'], [None, '30']]), 'ERR:brackets')],\n [('regression whole-income-at-top-rate 1', (40001, [[10000, '10'], [40000, '12'], [None, '22']]), 460022),\n  ('regression whole-income-at-top-rate 2',\n   (250001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), 5917183),\n  ('partial repair guard 2', (232540, [[34000, '22'], [101000, '15'], [147000, '10'], [184000, '10'], [None, '30']]),\n   4039200),\n  ('control: negative', (-5, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: fractional rate', (12345, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   126140),\n  ('control: non increasing', (10000, [[10000, '10'], [5000, '20'], [None, '30']]), 'ERR:brackets'),\n  ('control: closed top', (10, [[10000, '10'], [20000, '20']]), 'ERR:brackets')],\n [('regression whole-income-at-top-rate 1',\n   (232540, [[34000, '22'], [101000, '15'], [147000, '10'], [184000, '10'], [None, '30']]), 4039200),\n  ('regression whole-income-at-top-rate 2',\n   (236107, [[31000, '10'], [159000, '10'], [172000, '24'], [193000, '22'], [None, '45']]), 4303815),\n  ('partial repair guard 2', (221539, [[9000, '24'], [72000, '5'], [91000, '33.3'], [101000, '5'], [None, '37']]),\n   5673643),\n  ('control: non increasing', (10000, [[10000, '10'], [5000, '20'], [None, '30']]), 'ERR:brackets'),\n  ('control: closed top', (10, [[10000, '10'], [20000, '20']]), 'ERR:brackets'),\n  ('control: high earner', (250001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   5917183),\n  ('control: single bracket', (777, [[None, '12.5']]), 9713)],\n [('regression whole-income-at-top-rate 1',\n   (221539, [[9000, '24'], [72000, '5'], [91000, '33.3'], [101000, '5'], [None, '37']]), 5673643),\n  ('regression whole-income-at-top-rate 2',\n   (64068, [[32000, '22'], [105000, '10'], [170000, '24'], [193000, '10'], [None, '37']]), 1024680),\n  ('partial repair guard 1', (161544, [[108000, '22'], [122000, '12.5'], [192000, '10'], [None, '30']]), 2946440),\n  ('partial repair guard 2', (156576, [[30000, '5'], [111000, '15'], [None, '30']]), 2732280),\n  ('control: single bracket', (777, [[None, '12.5']]), 9713),\n  ('control: three brackets', (50000, [[10000, '10'], [40000, '12'], [None, '22']]), 680000),\n  ('control: at first threshold', (10000, [[10000, '10'], [40000, '12'], [None, '22']]), 100000),\n  ('control: zero', (0, [[10000, '10'], [40000, '12'], [None, '22']]), 0)],\n [('regression whole-income-at-top-rate 1', (161544, [[108000, '22'], [122000, '12.5'], [192000, '10'], [None, '30']]),\n   2946440),\n  ('regression whole-income-at-top-rate 2', (84182, [[82000, '12.5'], [138000, '22'], [161000, '15'], [None, '37']]),\n   1073004),\n  ('partial repair guard 1', (135000, [[30000, '15'], [126000, '12.5'], [None, '30']]), 1920000),\n  ('partial repair guard 2', (259309, [[57000, '24'], [175000, '5'], [None, '30']]), 4487270),\n  ('control: zero', (0, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: negative', (-5, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: one over threshold', (40001, [[10000, '10'], [40000, '12'], [None, '22']]), 460022),\n  ('control: fractional rate', (12345, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   126140)]]\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-progressive-marginal-slices-whole-income-at-top-rate","generated_at":"2026-09-29T14:47:03.722767+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":"Tax each slice of income only at its own bracket rate.","root_cause":"The bracket containing the income is located and its rate applied to the full income.","sha256":"9f3038b905061285c26cf093fbf70608704359e2333fd2f408fdd0ecec5064ab","title":"The whole income is taxed at the rate of its highest bracket · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.24,"exit_code":1,"observations":[{"actual":980000,"check":"regression whole-income-at-top-rate 1","expected":680000,"passed":false},{"actual":126140,"check":"regression whole-income-at-top-rate 2","expected":126140,"passed":true},{"actual":760022,"check":"partial repair guard 2","expected":460022,"passed":false},{"actual":100000,"check":"control: at first threshold","expected":100000,"passed":true},{"actual":0,"check":"control: zero","expected":0,"passed":true},{"actual":0,"check":"control: negative","expected":0,"passed":true},{"actual":"ERR:brackets","check":"control: non increasing","expected":"ERR:brackets","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression whole-income-at-top-rate 1\", \"actual\": 980000, \"expected\": 680000, \"passed\": false}, {\"check\": \"regression whole-income-at-top-rate 2\", \"actual\": 126140, \"expected\": 126140, \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": 760022, \"expected\": 460022, \"passed\": false}, {\"check\": \"control: at first threshold\", \"actual\": 100000, \"expected\": 100000, \"passed\": true}, {\"check\": \"control: zero\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: negative\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: non increasing\", \"actual\": \"ERR:brackets\", \"expected\": \"ERR:brackets\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.897,"exit_code":1,"observations":[{"actual":1100000,"check":"regression whole-income-at-top-rate 1","expected":680000,"passed":false},{"actual":148140,"check":"regression whole-income-at-top-rate 2","expected":126140,"passed":false},{"actual":880022,"check":"partial repair guard 2","expected":460022,"passed":false},{"actual":100000,"check":"control: at first threshold","expected":100000,"passed":true},{"actual":0,"check":"control: zero","expected":0,"passed":true},{"actual":0,"check":"control: negative","expected":0,"passed":true},{"actual":"ERR:brackets","check":"control: non increasing","expected":"ERR:brackets","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression whole-income-at-top-rate 1\", \"actual\": 1100000, \"expected\": 680000, \"passed\": false}, {\"check\": \"regression whole-income-at-top-rate 2\", \"actual\": 148140, \"expected\": 126140, \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": 880022, \"expected\": 460022, \"passed\": false}, {\"check\": \"control: at first threshold\", \"actual\": 100000, \"expected\": 100000, \"passed\": true}, {\"check\": \"control: zero\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: negative\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: non increasing\", \"actual\": \"ERR:brackets\", \"expected\": \"ERR:brackets\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.897,"exit_code":0,"observations":[{"actual":680000,"check":"regression whole-income-at-top-rate 1","expected":680000,"passed":true},{"actual":126140,"check":"regression whole-income-at-top-rate 2","expected":126140,"passed":true},{"actual":460022,"check":"partial repair guard 2","expected":460022,"passed":true},{"actual":100000,"check":"control: at first threshold","expected":100000,"passed":true},{"actual":0,"check":"control: zero","expected":0,"passed":true},{"actual":0,"check":"control: negative","expected":0,"passed":true},{"actual":"ERR:brackets","check":"control: non increasing","expected":"ERR:brackets","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression whole-income-at-top-rate 1\", \"actual\": 680000, \"expected\": 680000, \"passed\": true}, {\"check\": \"regression whole-income-at-top-rate 2\", \"actual\": 126140, \"expected\": 126140, \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": 460022, \"expected\": 460022, \"passed\": true}, {\"check\": \"control: at first threshold\", \"actual\": 100000, \"expected\": 100000, \"passed\": true}, {\"check\": \"control: zero\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: negative\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: non increasing\", \"actual\": \"ERR:brackets\", \"expected\": \"ERR:brackets\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}