{"abstract":"In some years one extra unit of carryforward is used.","category":"Tax bracket computation","checks":7,"contract":"solve(years, life): years are pre-deduction incomes by year index (negative = operating loss). A loss year reports taxable 0 and creates a carryforward [origin, amount]. In an income year, carryforwards older than life years (year - origin > life) expire; the rest are applied oldest first, limited in total to floor(80% of that year's income). Return [taxable_by_year, remaining] where remaining lists [origin, amount] with amount > 0 not expired as of the final year.","evaluation_group":"w2-tax_bracket_computation-loss-carryforward-limitation","failed_approach":"Rounding the limit up uses one extra unit whenever 80% is fractional.","family":"w2-tax_bracket_computation-loss-carryforward-limitation-limit-rounding","id":"FA-62656","implementations":{"attempt":{"sha256":"9bbb24643166e6396e1049bc0a1d7dc9caeb2149a32b06fa4876b33cf058cf7e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(years, life):\n    nols, out = [], []\n    for y, inc in enumerate(years):\n        if inc < 0:\n            out.append(0)\n            nols.append([y, -inc])\n            continue\n        nols = [n for n in nols if y - n[0] <= life]\n        room = -(-inc * 80 // 100)\n        for n in nols:\n            use = min(n[1], room)\n            n[1] -= use\n            room -= use\n            inc -= use\n        out.append(inc)\n    last = len(years) - 1\n    return [out, [[o, a] for o, a in nols if a > 0 and last - o <= life]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression limit-rounding 1', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('regression limit-rounding 2', ([-3000, -50000, 2641, -3000, -50000], 5),\n   [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]]),\n  ('partial repair guard 2', ([-50000, 10003], 5), [[0, 2001], [[0, 41998]]]),\n  ('control: fifo two years', ([-10000, 5000, 20000], 5), [[0, 1000, 14000], []]),\n  ('control: two losses', ([-5000, -3000, 10000], 5), [[0, 0, 2000], []]),\n  ('control: expired', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []]),\n  ('control: expiry boundary', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]])],\n [('regression limit-rounding 1', ([-3000, 20000, 20000, -50000, -10000, 36637], 2),\n   [[0, 17000, 20000, 0, 0, 7328], [[3, 20691], [4, 10000]]]),\n  ('regression limit-rounding 2', ([20000, 60000, -10000, -3000, 14361, 20000], 5),\n   [[20000, 60000, 0, 0, 2873, 18488], []]),\n  ('partial repair guard 1', ([20000, -50000, 22304, 5000, -10000, 60000, -22379], 3),\n   [[20000, 0, 4461, 1000, 0, 50000, 0], [[6, 22379]]]),\n  ('partial repair guard 2', ([-3000, -50000, 2641, -3000, -50000], 5),\n   [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]]),\n  ('control: odd cap', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('control: expiry boundary', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]]),\n  ('control: no losses', ([1000, 2000], 1), [[1000, 2000], []])],\n [('regression limit-rounding 1', ([-50000, 5000, -3000, 10922], 3), [[0, 1000, 0, 2185], [[0, 37263], [2, 3000]]]),\n  ('regression limit-rounding 2', ([-10000, 5000, 2971], 5), [[0, 1000, 595], [[0, 3624]]]),\n  ('partial repair guard 1', ([-3000, 2749], 2), [[0, 550], [[0, 801]]]),\n  ('partial repair guard 2', ([-15828, -10000, 26139, -50000, -37672], 5),\n   [[0, 0, 5228, 0, 0], [[1, 4917], [3, 50000], [4, 37672]]]),\n  ('control: no losses', ([1000, 2000], 1), [[1000, 2000], []]),\n  ('control: fifo two years', ([-10000, 5000, 20000], 5), [[0, 1000, 14000], []]),\n  ('control: two losses', ([-5000, -3000, 10000], 5), [[0, 0, 2000], []]),\n  ('control: expired', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []])],\n [('regression limit-rounding 1', ([-3000, 717], 2), [[0, 144], [[0, 2427]]]),\n  ('regression limit-rounding 2', ([5000, 20000, -50000, -10000, 13360, 31032, 20000], 20),\n   [[5000, 20000, 0, 0, 2672, 6207, 4000], [[3, 8487]]]),\n  ('partial repair guard 1', ([0, 0, -3000, 3263], 3), [[0, 0, 0, 653], [[2, 390]]]),\n  ('partial repair guard 2', ([-3000, 20000, 20000, -50000, -10000, 36637], 2),\n   [[0, 17000, 20000, 0, 0, 7328], [[3, 20691], [4, 10000]]]),\n  ('control: expired', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []]),\n  ('control: odd cap', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('control: expiry boundary', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]])],\n [('regression limit-rounding 1', ([-10000, 50960, 5000, -50000, 20931, 20000, -3000], 2),\n   [[0, 40960, 5000, 0, 4187, 4000, 0], [[6, 3000]]]),\n  ('regression limit-rounding 2', ([31584, 0, -50000, 50401, 20000, 5000, -10000], 1),\n   [[31584, 0, 0, 10081, 20000, 5000, 0], [[6, 10000]]]),\n  ('partial repair guard 1', ([20000, 60000, -10000, -3000, 14361, 20000], 5), [[20000, 60000, 0, 0, 2873, 18488], []]),\n  ('partial repair guard 2', ([-3000, 5000, -50000, 13043], 1), [[0, 2000, 0, 2609], [[2, 39566]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]]),\n  ('control: no losses', ([1000, 2000], 1), [[1000, 2000], []]),\n  ('control: fifo two years', ([-10000, 5000, 20000], 5), [[0, 1000, 14000], []]),\n  ('control: two losses', ([-5000, -3000, 10000], 5), [[0, 0, 2000], []])]]\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":"087cdd196deef31c27e0861cfeae3f705bc7df42b03e605758fd38de5daa9f67","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(years, life):\n    nols, out = [], []\n    for y, inc in enumerate(years):\n        if inc < 0:\n            out.append(0)\n            nols.append([y, -inc])\n            continue\n        nols = [n for n in nols if y - n[0] <= life]\n        room = (inc * 80 + 50) // 100\n        for n in nols:\n            use = min(n[1], room)\n            n[1] -= use\n            room -= use\n            inc -= use\n        out.append(inc)\n    last = len(years) - 1\n    return [out, [[o, a] for o, a in nols if a > 0 and last - o <= life]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression limit-rounding 1', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('regression limit-rounding 2', ([-3000, -50000, 2641, -3000, -50000], 5),\n   [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]]),\n  ('partial repair guard 2', ([-50000, 10003], 5), [[0, 2001], [[0, 41998]]]),\n  ('control: fifo two years', ([-10000, 5000, 20000], 5), [[0, 1000, 14000], []]),\n  ('control: two losses', ([-5000, -3000, 10000], 5), [[0, 0, 2000], []]),\n  ('control: expired', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []]),\n  ('control: expiry boundary', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]])],\n [('regression limit-rounding 1', ([-3000, 20000, 20000, -50000, -10000, 36637], 2),\n   [[0, 17000, 20000, 0, 0, 7328], [[3, 20691], [4, 10000]]]),\n  ('regression limit-rounding 2', ([20000, 60000, -10000, -3000, 14361, 20000], 5),\n   [[20000, 60000, 0, 0, 2873, 18488], []]),\n  ('partial repair guard 1', ([20000, -50000, 22304, 5000, -10000, 60000, -22379], 3),\n   [[20000, 0, 4461, 1000, 0, 50000, 0], [[6, 22379]]]),\n  ('partial repair guard 2', ([-3000, -50000, 2641, -3000, -50000], 5),\n   [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]]),\n  ('control: odd cap', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('control: expiry boundary', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]]),\n  ('control: no losses', ([1000, 2000], 1), [[1000, 2000], []])],\n [('regression limit-rounding 1', ([-50000, 5000, -3000, 10922], 3), [[0, 1000, 0, 2185], [[0, 37263], [2, 3000]]]),\n  ('regression limit-rounding 2', ([-10000, 5000, 2971], 5), [[0, 1000, 595], [[0, 3624]]]),\n  ('partial repair guard 1', ([-3000, 2749], 2), [[0, 550], [[0, 801]]]),\n  ('partial repair guard 2', ([-15828, -10000, 26139, -50000, -37672], 5),\n   [[0, 0, 5228, 0, 0], [[1, 4917], [3, 50000], [4, 37672]]]),\n  ('control: no losses', ([1000, 2000], 1), [[1000, 2000], []]),\n  ('control: fifo two years', ([-10000, 5000, 20000], 5), [[0, 1000, 14000], []]),\n  ('control: two losses', ([-5000, -3000, 10000], 5), [[0, 0, 2000], []]),\n  ('control: expired', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []])],\n [('regression limit-rounding 1', ([-3000, 717], 2), [[0, 144], [[0, 2427]]]),\n  ('regression limit-rounding 2', ([5000, 20000, -50000, -10000, 13360, 31032, 20000], 20),\n   [[5000, 20000, 0, 0, 2672, 6207, 4000], [[3, 8487]]]),\n  ('partial repair guard 1', ([0, 0, -3000, 3263], 3), [[0, 0, 0, 653], [[2, 390]]]),\n  ('partial repair guard 2', ([-3000, 20000, 20000, -50000, -10000, 36637], 2),\n   [[0, 17000, 20000, 0, 0, 7328], [[3, 20691], [4, 10000]]]),\n  ('control: expired', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []]),\n  ('control: odd cap', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('control: expiry boundary', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]])],\n [('regression limit-rounding 1', ([-10000, 50960, 5000, -50000, 20931, 20000, -3000], 2),\n   [[0, 40960, 5000, 0, 4187, 4000, 0], [[6, 3000]]]),\n  ('regression limit-rounding 2', ([31584, 0, -50000, 50401, 20000, 5000, -10000], 1),\n   [[31584, 0, 0, 10081, 20000, 5000, 0], [[6, 10000]]]),\n  ('partial repair guard 1', ([20000, 60000, -10000, -3000, 14361, 20000], 5), [[20000, 60000, 0, 0, 2873, 18488], []]),\n  ('partial repair guard 2', ([-3000, 5000, -50000, 13043], 1), [[0, 2000, 0, 2609], [[2, 39566]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]]),\n  ('control: no losses', ([1000, 2000], 1), [[1000, 2000], []]),\n  ('control: fifo two years', ([-10000, 5000, 20000], 5), [[0, 1000, 14000], []]),\n  ('control: two losses', ([-5000, -3000, 10000], 5), [[0, 0, 2000], []])]]\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":"8771fdb83895a2c694789a2e1dbe75e2a44226a9df838f33f703b4205fcc6b1c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(years, life):\n    nols, out = [], []\n    for y, inc in enumerate(years):\n        if inc < 0:\n            out.append(0)\n            nols.append([y, -inc])\n            continue\n        nols = [n for n in nols if y - n[0] <= life]\n        room = inc * 80 // 100\n        for n in nols:\n            use = min(n[1], room)\n            n[1] -= use\n            room -= use\n            inc -= use\n        out.append(inc)\n    last = len(years) - 1\n    return [out, [[o, a] for o, a in nols if a > 0 and last - o <= life]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression limit-rounding 1', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('regression limit-rounding 2', ([-3000, -50000, 2641, -3000, -50000], 5),\n   [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]]),\n  ('partial repair guard 2', ([-50000, 10003], 5), [[0, 2001], [[0, 41998]]]),\n  ('control: fifo two years', ([-10000, 5000, 20000], 5), [[0, 1000, 14000], []]),\n  ('control: two losses', ([-5000, -3000, 10000], 5), [[0, 0, 2000], []]),\n  ('control: expired', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []]),\n  ('control: expiry boundary', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]])],\n [('regression limit-rounding 1', ([-3000, 20000, 20000, -50000, -10000, 36637], 2),\n   [[0, 17000, 20000, 0, 0, 7328], [[3, 20691], [4, 10000]]]),\n  ('regression limit-rounding 2', ([20000, 60000, -10000, -3000, 14361, 20000], 5),\n   [[20000, 60000, 0, 0, 2873, 18488], []]),\n  ('partial repair guard 1', ([20000, -50000, 22304, 5000, -10000, 60000, -22379], 3),\n   [[20000, 0, 4461, 1000, 0, 50000, 0], [[6, 22379]]]),\n  ('partial repair guard 2', ([-3000, -50000, 2641, -3000, -50000], 5),\n   [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]]),\n  ('control: odd cap', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('control: expiry boundary', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]]),\n  ('control: no losses', ([1000, 2000], 1), [[1000, 2000], []])],\n [('regression limit-rounding 1', ([-50000, 5000, -3000, 10922], 3), [[0, 1000, 0, 2185], [[0, 37263], [2, 3000]]]),\n  ('regression limit-rounding 2', ([-10000, 5000, 2971], 5), [[0, 1000, 595], [[0, 3624]]]),\n  ('partial repair guard 1', ([-3000, 2749], 2), [[0, 550], [[0, 801]]]),\n  ('partial repair guard 2', ([-15828, -10000, 26139, -50000, -37672], 5),\n   [[0, 0, 5228, 0, 0], [[1, 4917], [3, 50000], [4, 37672]]]),\n  ('control: no losses', ([1000, 2000], 1), [[1000, 2000], []]),\n  ('control: fifo two years', ([-10000, 5000, 20000], 5), [[0, 1000, 14000], []]),\n  ('control: two losses', ([-5000, -3000, 10000], 5), [[0, 0, 2000], []]),\n  ('control: expired', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []])],\n [('regression limit-rounding 1', ([-3000, 717], 2), [[0, 144], [[0, 2427]]]),\n  ('regression limit-rounding 2', ([5000, 20000, -50000, -10000, 13360, 31032, 20000], 20),\n   [[5000, 20000, 0, 0, 2672, 6207, 4000], [[3, 8487]]]),\n  ('partial repair guard 1', ([0, 0, -3000, 3263], 3), [[0, 0, 0, 653], [[2, 390]]]),\n  ('partial repair guard 2', ([-3000, 20000, 20000, -50000, -10000, 36637], 2),\n   [[0, 17000, 20000, 0, 0, 7328], [[3, 20691], [4, 10000]]]),\n  ('control: expired', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []]),\n  ('control: odd cap', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('control: expiry boundary', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]])],\n [('regression limit-rounding 1', ([-10000, 50960, 5000, -50000, 20931, 20000, -3000], 2),\n   [[0, 40960, 5000, 0, 4187, 4000, 0], [[6, 3000]]]),\n  ('regression limit-rounding 2', ([31584, 0, -50000, 50401, 20000, 5000, -10000], 1),\n   [[31584, 0, 0, 10081, 20000, 5000, 0], [[6, 10000]]]),\n  ('partial repair guard 1', ([20000, 60000, -10000, -3000, 14361, 20000], 5), [[20000, 60000, 0, 0, 2873, 18488], []]),\n  ('partial repair guard 2', ([-3000, 5000, -50000, 13043], 1), [[0, 2000, 0, 2609], [[2, 39566]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]]),\n  ('control: no losses', ([1000, 2000], 1), [[1000, 2000], []]),\n  ('control: fifo two years', ([-10000, 5000, 20000], 5), [[0, 1000, 14000], []]),\n  ('control: two losses', ([-5000, -3000, 10000], 5), [[0, 0, 2000], []])]]\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-loss-carryforward-limitation-limit-rounding","generated_at":"2026-09-29T14:47:06.668542+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":"Use floor(80% of income).","root_cause":"The limit is rounded half-up instead of down.","sha256":"e4849e3e9d6f1ccaae0930afdf52d3b9c0c8c4227d598afeac43c453b44d9fe7","title":"The 80% limit is rounded to the nearest unit · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.839,"exit_code":1,"observations":[{"actual":[[0,2000],[[0,41999]]],"check":"regression limit-rounding 1","expected":[[0,2001],[[0,42000]]],"passed":false},{"actual":[[0,0,528,0,0],[[0,887],[1,50000],[3,3000],[4,50000]]],"check":"regression limit-rounding 2","expected":[[0,0,529,0,0],[[0,888],[1,50000],[3,3000],[4,50000]]],"passed":false},{"actual":[[0,2000],[[0,41997]]],"check":"partial repair guard 2","expected":[[0,2001],[[0,41998]]],"passed":false},{"actual":[[0,1000,14000],[]],"check":"control: fifo two years","expected":[[0,1000,14000],[]],"passed":true},{"actual":[[0,0,2000],[]],"check":"control: two losses","expected":[[0,0,2000],[]],"passed":true},{"actual":[[0,0,0,10000],[]],"check":"control: expired","expected":[[0,0,0,10000],[]],"passed":true},{"actual":[[0,0,1000],[[0,4000]]],"check":"control: expiry boundary","expected":[[0,0,1000],[[0,4000]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression limit-rounding 1\", \"actual\": [[0, 2000], [[0, 41999]]], \"expected\": [[0, 2001], [[0, 42000]]], \"passed\": false}, {\"check\": \"regression limit-rounding 2\", \"actual\": [[0, 0, 528, 0, 0], [[0, 887], [1, 50000], [3, 3000], [4, 50000]]], \"expected\": [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]], \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": [[0, 2000], [[0, 41997]]], \"expected\": [[0, 2001], [[0, 41998]]], \"passed\": false}, {\"check\": \"control: fifo two years\", \"actual\": [[0, 1000, 14000], []], \"expected\": [[0, 1000, 14000], []], \"passed\": true}, {\"check\": \"control: two losses\", \"actual\": [[0, 0, 2000], []], \"expected\": [[0, 0, 2000], []], \"passed\": true}, {\"check\": \"control: expired\", \"actual\": [[0, 0, 0, 10000], []], \"expected\": [[0, 0, 0, 10000], []], \"passed\": true}, {\"check\": \"control: expiry boundary\", \"actual\": [[0, 0, 1000], [[0, 4000]]], \"expected\": [[0, 0, 1000], [[0, 4000]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.524,"exit_code":1,"observations":[{"actual":[[0,2000],[[0,41999]]],"check":"regression limit-rounding 1","expected":[[0,2001],[[0,42000]]],"passed":false},{"actual":[[0,0,528,0,0],[[0,887],[1,50000],[3,3000],[4,50000]]],"check":"regression limit-rounding 2","expected":[[0,0,529,0,0],[[0,888],[1,50000],[3,3000],[4,50000]]],"passed":false},{"actual":[[0,2001],[[0,41998]]],"check":"partial repair guard 2","expected":[[0,2001],[[0,41998]]],"passed":true},{"actual":[[0,1000,14000],[]],"check":"control: fifo two years","expected":[[0,1000,14000],[]],"passed":true},{"actual":[[0,0,2000],[]],"check":"control: two losses","expected":[[0,0,2000],[]],"passed":true},{"actual":[[0,0,0,10000],[]],"check":"control: expired","expected":[[0,0,0,10000],[]],"passed":true},{"actual":[[0,0,1000],[[0,4000]]],"check":"control: expiry boundary","expected":[[0,0,1000],[[0,4000]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression limit-rounding 1\", \"actual\": [[0, 2000], [[0, 41999]]], \"expected\": [[0, 2001], [[0, 42000]]], \"passed\": false}, {\"check\": \"regression limit-rounding 2\", \"actual\": [[0, 0, 528, 0, 0], [[0, 887], [1, 50000], [3, 3000], [4, 50000]]], \"expected\": [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]], \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": [[0, 2001], [[0, 41998]]], \"expected\": [[0, 2001], [[0, 41998]]], \"passed\": true}, {\"check\": \"control: fifo two years\", \"actual\": [[0, 1000, 14000], []], \"expected\": [[0, 1000, 14000], []], \"passed\": true}, {\"check\": \"control: two losses\", \"actual\": [[0, 0, 2000], []], \"expected\": [[0, 0, 2000], []], \"passed\": true}, {\"check\": \"control: expired\", \"actual\": [[0, 0, 0, 10000], []], \"expected\": [[0, 0, 0, 10000], []], \"passed\": true}, {\"check\": \"control: expiry boundary\", \"actual\": [[0, 0, 1000], [[0, 4000]]], \"expected\": [[0, 0, 1000], [[0, 4000]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.104,"exit_code":0,"observations":[{"actual":[[0,2001],[[0,42000]]],"check":"regression limit-rounding 1","expected":[[0,2001],[[0,42000]]],"passed":true},{"actual":[[0,0,529,0,0],[[0,888],[1,50000],[3,3000],[4,50000]]],"check":"regression limit-rounding 2","expected":[[0,0,529,0,0],[[0,888],[1,50000],[3,3000],[4,50000]]],"passed":true},{"actual":[[0,2001],[[0,41998]]],"check":"partial repair guard 2","expected":[[0,2001],[[0,41998]]],"passed":true},{"actual":[[0,1000,14000],[]],"check":"control: fifo two years","expected":[[0,1000,14000],[]],"passed":true},{"actual":[[0,0,2000],[]],"check":"control: two losses","expected":[[0,0,2000],[]],"passed":true},{"actual":[[0,0,0,10000],[]],"check":"control: expired","expected":[[0,0,0,10000],[]],"passed":true},{"actual":[[0,0,1000],[[0,4000]]],"check":"control: expiry boundary","expected":[[0,0,1000],[[0,4000]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression limit-rounding 1\", \"actual\": [[0, 2001], [[0, 42000]]], \"expected\": [[0, 2001], [[0, 42000]]], \"passed\": true}, {\"check\": \"regression limit-rounding 2\", \"actual\": [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]], \"expected\": [[0, 0, 529, 0, 0], [[0, 888], [1, 50000], [3, 3000], [4, 50000]]], \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": [[0, 2001], [[0, 41998]]], \"expected\": [[0, 2001], [[0, 41998]]], \"passed\": true}, {\"check\": \"control: fifo two years\", \"actual\": [[0, 1000, 14000], []], \"expected\": [[0, 1000, 14000], []], \"passed\": true}, {\"check\": \"control: two losses\", \"actual\": [[0, 0, 2000], []], \"expected\": [[0, 0, 2000], []], \"passed\": true}, {\"check\": \"control: expired\", \"actual\": [[0, 0, 0, 10000], []], \"expected\": [[0, 0, 0, 10000], []], \"passed\": true}, {\"check\": \"control: expiry boundary\", \"actual\": [[0, 0, 1000], [[0, 4000]]], \"expected\": [[0, 0, 1000], [[0, 4000]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}