{"abstract":"A loss is unusable in its final permitted year.","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":"Expiring carryforwards only in the final report still uses expired losses during the years.","family":"w2-tax_bracket_computation-loss-carryforward-limitation-expiry-boundary","id":"FA-62651","implementations":{"attempt":{"sha256":"21c5a3c378955398fa825054744c5283e0ab43bb66a7516294b2eaf0b218fc5d","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        pass\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 expiry-boundary 1', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]]),\n  ('regression expiry-boundary 2', ([-50000, 0, -10000, 20000, -10000, 20000], 1), [[0, 0, 0, 10000, 0, 10000], []]),\n  ('partial repair guard 1', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []]),\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: odd cap', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]])],\n [('regression expiry-boundary 1', ([-3000, -10000, -10000, -3000, -3000, 51657, -50000], 5),\n   [[0, 0, 0, 0, 0, 22657, 0], [[6, 50000]]]),\n  ('regression expiry-boundary 2', ([-50000, 20000, 77236, 20000, 60000, -50000, 20000], 1),\n   [[0, 4000, 77236, 20000, 60000, 0, 4000], [[5, 34000]]]),\n  ('partial repair guard 2', ([-3000, -5199, -3000, -14464, 20000], 1), [[0, 0, 0, 0, 5536], []]),\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 expiry-boundary 1', ([-3000, -5199, -3000, -14464, 20000], 1), [[0, 0, 0, 0, 5536], []]),\n  ('regression expiry-boundary 2', ([20000, 28622, -50000, 5000, 5000, 72523, 20000], 3),\n   [[20000, 28622, 0, 1000, 1000, 30523, 20000], []]),\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', ([-15586, -10000, 60000, 5000, -50000, 60000, -10000], 1),\n   [[0, 0, 50000, 5000, 0, 12000, 0], [[6, 10000]]]),\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 expiry-boundary 1', ([60000, -3000, -3000, 20000, 60000, 0, -10000], 2),\n   [[60000, 0, 0, 14000, 60000, 0, 0], [[6, 10000]]]),\n  ('regression expiry-boundary 2', ([-3000, 60000, 20966, 29858, 5000, 0, 0], 1),\n   [[0, 57000, 20966, 29858, 5000, 0, 0], []]),\n  ('partial repair guard 1', ([-50000, 5000, -10000, -50000, -50000, 60000], 1),\n   [[0, 1000, 0, 0, 0, 12000], [[4, 2000]]]),\n  ('partial repair guard 2', ([19011, 0, -50000, 20000, 20000], 1), [[19011, 0, 0, 4000, 20000], []]),\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 expiry-boundary 1', ([-15586, -10000, 60000, 5000, -50000, 60000, -10000], 1),\n   [[0, 0, 50000, 5000, 0, 12000, 0], [[6, 10000]]]),\n  ('regression expiry-boundary 2', ([-50000, 5000, -10000, -50000, -50000, 60000], 1),\n   [[0, 1000, 0, 0, 0, 12000], [[4, 2000]]]),\n  ('partial repair guard 1', ([-50000, 5000, 5000, -37469, 5000], 2), [[0, 1000, 1000, 0, 1000], [[3, 33469]]]),\n  ('partial repair guard 2', ([-50000, 48915, -3000, 27132, -50000], 2), [[0, 9783, 0, 24132, 0], [[4, 50000]]]),\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":"248331715b93a49c5915be62e8712e7c7813f8c5dfc7e9cacd772e7444310271","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 expiry-boundary 1', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]]),\n  ('regression expiry-boundary 2', ([-50000, 0, -10000, 20000, -10000, 20000], 1), [[0, 0, 0, 10000, 0, 10000], []]),\n  ('partial repair guard 1', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []]),\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: odd cap', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]])],\n [('regression expiry-boundary 1', ([-3000, -10000, -10000, -3000, -3000, 51657, -50000], 5),\n   [[0, 0, 0, 0, 0, 22657, 0], [[6, 50000]]]),\n  ('regression expiry-boundary 2', ([-50000, 20000, 77236, 20000, 60000, -50000, 20000], 1),\n   [[0, 4000, 77236, 20000, 60000, 0, 4000], [[5, 34000]]]),\n  ('partial repair guard 2', ([-3000, -5199, -3000, -14464, 20000], 1), [[0, 0, 0, 0, 5536], []]),\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 expiry-boundary 1', ([-3000, -5199, -3000, -14464, 20000], 1), [[0, 0, 0, 0, 5536], []]),\n  ('regression expiry-boundary 2', ([20000, 28622, -50000, 5000, 5000, 72523, 20000], 3),\n   [[20000, 28622, 0, 1000, 1000, 30523, 20000], []]),\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', ([-15586, -10000, 60000, 5000, -50000, 60000, -10000], 1),\n   [[0, 0, 50000, 5000, 0, 12000, 0], [[6, 10000]]]),\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 expiry-boundary 1', ([60000, -3000, -3000, 20000, 60000, 0, -10000], 2),\n   [[60000, 0, 0, 14000, 60000, 0, 0], [[6, 10000]]]),\n  ('regression expiry-boundary 2', ([-3000, 60000, 20966, 29858, 5000, 0, 0], 1),\n   [[0, 57000, 20966, 29858, 5000, 0, 0], []]),\n  ('partial repair guard 1', ([-50000, 5000, -10000, -50000, -50000, 60000], 1),\n   [[0, 1000, 0, 0, 0, 12000], [[4, 2000]]]),\n  ('partial repair guard 2', ([19011, 0, -50000, 20000, 20000], 1), [[19011, 0, 0, 4000, 20000], []]),\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 expiry-boundary 1', ([-15586, -10000, 60000, 5000, -50000, 60000, -10000], 1),\n   [[0, 0, 50000, 5000, 0, 12000, 0], [[6, 10000]]]),\n  ('regression expiry-boundary 2', ([-50000, 5000, -10000, -50000, -50000, 60000], 1),\n   [[0, 1000, 0, 0, 0, 12000], [[4, 2000]]]),\n  ('partial repair guard 1', ([-50000, 5000, 5000, -37469, 5000], 2), [[0, 1000, 1000, 0, 1000], [[3, 33469]]]),\n  ('partial repair guard 2', ([-50000, 48915, -3000, 27132, -50000], 2), [[0, 9783, 0, 24132, 0], [[4, 50000]]]),\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":"39fd9153425c26e37d0c712d20c9dbbab881a184d0b8295696563b661cdbca4e","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 expiry-boundary 1', ([-8000, 0, 5000], 2), [[0, 0, 1000], [[0, 4000]]]),\n  ('regression expiry-boundary 2', ([-50000, 0, -10000, 20000, -10000, 20000], 1), [[0, 0, 0, 10000, 0, 10000], []]),\n  ('partial repair guard 1', ([-10000, 0, 0, 10000], 2), [[0, 0, 0, 10000], []]),\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: odd cap', ([-50000, 10001], 5), [[0, 2001], [[0, 42000]]]),\n  ('control: losses after income', ([10000, -4000, -6000, 5000, 5000], 3), [[10000, 0, 0, 1000, 1000], [[2, 2000]]])],\n [('regression expiry-boundary 1', ([-3000, -10000, -10000, -3000, -3000, 51657, -50000], 5),\n   [[0, 0, 0, 0, 0, 22657, 0], [[6, 50000]]]),\n  ('regression expiry-boundary 2', ([-50000, 20000, 77236, 20000, 60000, -50000, 20000], 1),\n   [[0, 4000, 77236, 20000, 60000, 0, 4000], [[5, 34000]]]),\n  ('partial repair guard 2', ([-3000, -5199, -3000, -14464, 20000], 1), [[0, 0, 0, 0, 5536], []]),\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 expiry-boundary 1', ([-3000, -5199, -3000, -14464, 20000], 1), [[0, 0, 0, 0, 5536], []]),\n  ('regression expiry-boundary 2', ([20000, 28622, -50000, 5000, 5000, 72523, 20000], 3),\n   [[20000, 28622, 0, 1000, 1000, 30523, 20000], []]),\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', ([-15586, -10000, 60000, 5000, -50000, 60000, -10000], 1),\n   [[0, 0, 50000, 5000, 0, 12000, 0], [[6, 10000]]]),\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 expiry-boundary 1', ([60000, -3000, -3000, 20000, 60000, 0, -10000], 2),\n   [[60000, 0, 0, 14000, 60000, 0, 0], [[6, 10000]]]),\n  ('regression expiry-boundary 2', ([-3000, 60000, 20966, 29858, 5000, 0, 0], 1),\n   [[0, 57000, 20966, 29858, 5000, 0, 0], []]),\n  ('partial repair guard 1', ([-50000, 5000, -10000, -50000, -50000, 60000], 1),\n   [[0, 1000, 0, 0, 0, 12000], [[4, 2000]]]),\n  ('partial repair guard 2', ([19011, 0, -50000, 20000, 20000], 1), [[19011, 0, 0, 4000, 20000], []]),\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 expiry-boundary 1', ([-15586, -10000, 60000, 5000, -50000, 60000, -10000], 1),\n   [[0, 0, 50000, 5000, 0, 12000, 0], [[6, 10000]]]),\n  ('regression expiry-boundary 2', ([-50000, 5000, -10000, -50000, -50000, 60000], 1),\n   [[0, 1000, 0, 0, 0, 12000], [[4, 2000]]]),\n  ('partial repair guard 1', ([-50000, 5000, 5000, -37469, 5000], 2), [[0, 1000, 1000, 0, 1000], [[3, 33469]]]),\n  ('partial repair guard 2', ([-50000, 48915, -3000, 27132, -50000], 2), [[0, 9783, 0, 24132, 0], [[4, 50000]]]),\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-expiry-boundary","generated_at":"2026-09-29T14:47:06.659534+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":"Keep carryforwards while year - origin <= life.","root_cause":"The expiry filter uses y - origin < life.","sha256":"4ef90e5042d5c42337d8c6767f034fb0d76f6f28ce99ffc887ee43538bc02c36","title":"A carryforward expires one year early · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.609,"exit_code":1,"observations":[{"actual":[[0,0,1000],[[0,4000]]],"check":"regression expiry-boundary 1","expected":[[0,0,1000],[[0,4000]]],"passed":true},{"actual":[[0,0,0,4000,0,4000],[[4,10000]]],"check":"regression expiry-boundary 2","expected":[[0,0,0,10000,0,10000],[]],"passed":false},{"actual":[[0,0,0,2000],[]],"check":"partial repair guard 1","expected":[[0,0,0,10000],[]],"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,2001],[[0,42000]]],"check":"control: odd cap","expected":[[0,2001],[[0,42000]]],"passed":true},{"actual":[[10000,0,0,1000,1000],[[2,2000]]],"check":"control: losses after income","expected":[[10000,0,0,1000,1000],[[2,2000]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression expiry-boundary 1\", \"actual\": [[0, 0, 1000], [[0, 4000]]], \"expected\": [[0, 0, 1000], [[0, 4000]]], \"passed\": true}, {\"check\": \"regression expiry-boundary 2\", \"actual\": [[0, 0, 0, 4000, 0, 4000], [[4, 10000]]], \"expected\": [[0, 0, 0, 10000, 0, 10000], []], \"passed\": false}, {\"check\": \"partial repair guard 1\", \"actual\": [[0, 0, 0, 2000], []], \"expected\": [[0, 0, 0, 10000], []], \"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: odd cap\", \"actual\": [[0, 2001], [[0, 42000]]], \"expected\": [[0, 2001], [[0, 42000]]], \"passed\": true}, {\"check\": \"control: losses after income\", \"actual\": [[10000, 0, 0, 1000, 1000], [[2, 2000]]], \"expected\": [[10000, 0, 0, 1000, 1000], [[2, 2000]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.601,"exit_code":1,"observations":[{"actual":[[0,0,5000],[]],"check":"regression expiry-boundary 1","expected":[[0,0,1000],[[0,4000]]],"passed":false},{"actual":[[0,0,0,20000,0,20000],[]],"check":"regression expiry-boundary 2","expected":[[0,0,0,10000,0,10000],[]],"passed":false},{"actual":[[0,0,0,10000],[]],"check":"partial repair guard 1","expected":[[0,0,0,10000],[]],"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,2001],[[0,42000]]],"check":"control: odd cap","expected":[[0,2001],[[0,42000]]],"passed":true},{"actual":[[10000,0,0,1000,1000],[[2,2000]]],"check":"control: losses after income","expected":[[10000,0,0,1000,1000],[[2,2000]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression expiry-boundary 1\", \"actual\": [[0, 0, 5000], []], \"expected\": [[0, 0, 1000], [[0, 4000]]], \"passed\": false}, {\"check\": \"regression expiry-boundary 2\", \"actual\": [[0, 0, 0, 20000, 0, 20000], []], \"expected\": [[0, 0, 0, 10000, 0, 10000], []], \"passed\": false}, {\"check\": \"partial repair guard 1\", \"actual\": [[0, 0, 0, 10000], []], \"expected\": [[0, 0, 0, 10000], []], \"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: odd cap\", \"actual\": [[0, 2001], [[0, 42000]]], \"expected\": [[0, 2001], [[0, 42000]]], \"passed\": true}, {\"check\": \"control: losses after income\", \"actual\": [[10000, 0, 0, 1000, 1000], [[2, 2000]]], \"expected\": [[10000, 0, 0, 1000, 1000], [[2, 2000]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.096,"exit_code":0,"observations":[{"actual":[[0,0,1000],[[0,4000]]],"check":"regression expiry-boundary 1","expected":[[0,0,1000],[[0,4000]]],"passed":true},{"actual":[[0,0,0,10000,0,10000],[]],"check":"regression expiry-boundary 2","expected":[[0,0,0,10000,0,10000],[]],"passed":true},{"actual":[[0,0,0,10000],[]],"check":"partial repair guard 1","expected":[[0,0,0,10000],[]],"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,2001],[[0,42000]]],"check":"control: odd cap","expected":[[0,2001],[[0,42000]]],"passed":true},{"actual":[[10000,0,0,1000,1000],[[2,2000]]],"check":"control: losses after income","expected":[[10000,0,0,1000,1000],[[2,2000]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression expiry-boundary 1\", \"actual\": [[0, 0, 1000], [[0, 4000]]], \"expected\": [[0, 0, 1000], [[0, 4000]]], \"passed\": true}, {\"check\": \"regression expiry-boundary 2\", \"actual\": [[0, 0, 0, 10000, 0, 10000], []], \"expected\": [[0, 0, 0, 10000, 0, 10000], []], \"passed\": true}, {\"check\": \"partial repair guard 1\", \"actual\": [[0, 0, 0, 10000], []], \"expected\": [[0, 0, 0, 10000], []], \"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: odd cap\", \"actual\": [[0, 2001], [[0, 42000]]], \"expected\": [[0, 2001], [[0, 42000]]], \"passed\": true}, {\"check\": \"control: losses after income\", \"actual\": [[10000, 0, 0, 1000, 1000], [[2, 2000]]], \"expected\": [[10000, 0, 0, 1000, 1000], [[2, 2000]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}