{"abstract":"Staff with fractional shares are assigned targets one lower.","category":"Exam timetabling constraints","checks":8,"contract":"staff [name, FTE percent, duties assigned] and total duties. Each target is total * FTE / sum of FTE rounded half up. Deviation = assigned - target; flag staff whose absolute deviation exceeds one. Return [[name, target, deviation], flagged names].","evaluation_group":"w2-exam-timetabling-constraints-invigilation-fair-share","failed_approach":"round() uses banker's rounding on exact halves.","family":"w2-exam-timetabling-constraints-invigilation-fair-share-target-rounding","id":"FA-94751","implementations":{"attempt":{"sha256":"2284aa8247cd194d5404e5e97539795df5f73a1f2c78ae1763929c1be12ffd62","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(staff, total):\n    tot_fte = sum(f for n, f, a in staff)\n    rows = []\n    flag = []\n    for n, f, a in staff:\n        num = total * f * 2 + tot_fte\n        target = round(total * f / tot_fte) if tot_fte else 0\n        dev = a - target\n        rows.append([n, target, dev])\n        if abs(dev) > 1:\n            flag.append(n)\n    return [rows, flag]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: target rounding 1', [[['a', 50, 5], ['b', 50, 5]], 5],\n   [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),\n  ('regression variant: target rounding 2',\n   [[['st0', 100, 4], ['st1', 60, 4], ['st2', 60, 7], ['st3', 50, 6]], 15],\n   [[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']]),\n  ('partial repair guard 3', [[['st0', 100, 0], ['st1', 100, 0]], 25],\n   [[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']]),\n  ('boundary control 4', [[['a', 25, 1], ['b', 75, 4]], 10], [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('normal control 5', [[['st0', 100, 0], ['st1', 80, 9]], 30],\n   [[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']]),\n  ('normal control 6',\n   [[['st0', 60, 2], ['st1', 100, 8], ['st2', 100, 12], ['st3', 50, 5], ['st4', 20, 8]], 20],\n   [[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]],\n    ['st0', 'st1', 'st2', 'st3', 'st4']]),\n  ('normal control 7',\n   [[['st0', 80, 3], ['st1', 20, 3], ['st2', 100, 10], ['st3', 80, 10], ['st4', 80, 10]], 25],\n   [[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]],\n    ['st0', 'st1', 'st2', 'st3', 'st4']]),\n  ('normal control 8',\n   [[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],\n   [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],\n    ['st0', 'st2', 'st3', 'st4']])],\n [('regression: target rounding 1', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),\n  ('regression variant: target rounding 2',\n   [[['st0', 50, 2], ['st1', 20, 8], ['st2', 50, 6], ['st3', 100, 8], ['st4', 20, 4]], 10],\n   [[['st0', 2, 0], ['st1', 1, 7], ['st2', 2, 4], ['st3', 4, 4], ['st4', 1, 3]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('partial repair guard 3', [[['st0', 60, 12], ['st1', 80, 0], ['st2', 20, 3]], 20],\n   [[['st0', 8, 4], ['st1', 10, -10], ['st2', 3, 0]], ['st0', 'st1']]),\n  ('normal control 4', [[['st0', 60, 8], ['st1', 50, 8]], 7],\n   [[['st0', 4, 4], ['st1', 3, 5]], ['st0', 'st1']]),\n  ('normal control 5', [[['st0', 60, 10], ['st1', 100, 6]], 25],\n   [[['st0', 9, 1], ['st1', 16, -10]], ['st1']]),\n  ('normal control 6', [[['st0', 100, 1], ['st1', 20, 12], ['st2', 60, 0], ['st3', 100, 2]], 15],\n   [[['st0', 5, -4], ['st1', 1, 11], ['st2', 3, -3], ['st3', 5, -3]], ['st0', 'st1', 'st2', 'st3']]),\n  ('normal control 7', [[['st0', 100, 12], ['st1', 100, 8], ['st2', 100, 5]], 30],\n   [[['st0', 10, 2], ['st1', 10, -2], ['st2', 10, -5]], ['st0', 'st1', 'st2']]),\n  ('normal control 8', [[['st0', 100, 0], ['st1', 80, 6], ['st2', 50, 7], ['st3', 80, 5]], 25],\n   [[['st0', 8, -8], ['st1', 6, 0], ['st2', 4, 3], ['st3', 6, -1]], ['st0', 'st2']])],\n [('regression: target rounding 1', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),\n  ('regression variant: target rounding 2',\n   [[['st0', 20, 9], ['st1', 50, 8], ['st2', 80, 0], ['st3', 80, 1], ['st4', 100, 9]], 7],\n   [[['st0', 0, 9], ['st1', 1, 7], ['st2', 2, -2], ['st3', 2, -1], ['st4', 2, 7]],\n    ['st0', 'st1', 'st2', 'st4']]),\n  ('partial repair guard 3', [[['st0', 20, 9], ['st1', 50, 11], ['st2', 50, 1]], 30],\n   [[['st0', 5, 4], ['st1', 13, -2], ['st2', 13, -12]], ['st0', 'st1', 'st2']]),\n  ('boundary control 4', [[['a', 100, 2], ['b', 50, 5]], 9], [[['a', 6, -4], ['b', 3, 2]], ['a', 'b']]),\n  ('normal control 5', [[['st0', 100, 7], ['st1', 80, 6]], 10], [[['st0', 6, 1], ['st1', 4, 2]], ['st1']]),\n  ('normal control 6', [[['st0', 60, 0], ['st1', 20, 11], ['st2', 80, 7]], 30],\n   [[['st0', 11, -11], ['st1', 4, 7], ['st2', 15, -8]], ['st0', 'st1', 'st2']]),\n  ('normal control 7', [[['st0', 20, 6], ['st1', 80, 12], ['st2', 50, 8], ['st3', 80, 0]], 25],\n   [[['st0', 2, 4], ['st1', 9, 3], ['st2', 5, 3], ['st3', 9, -9]], ['st0', 'st1', 'st2', 'st3']]),\n  ('normal control 8', [[['st0', 80, 3], ['st1', 50, 9], ['st2', 20, 11]], 10],\n   [[['st0', 5, -2], ['st1', 3, 6], ['st2', 1, 10]], ['st0', 'st1', 'st2']])],\n [('regression: target rounding 1', [[['a', 25, 1], ['b', 75, 4]], 10],\n   [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('regression variant: target rounding 2', [[['st0', 100, 11], ['st1', 60, 1], ['st2', 20, 2]], 7],\n   [[['st0', 4, 7], ['st1', 2, -1], ['st2', 1, 1]], ['st0']]),\n  ('partial repair guard 3', [[['st0', 60, 4], ['st1', 100, 3]], 20],\n   [[['st0', 8, -4], ['st1', 13, -10]], ['st0', 'st1']]),\n  ('boundary control 4', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),\n  ('normal control 5', [[['st0', 60, 7], ['st1', 50, 10]], 25],\n   [[['st0', 14, -7], ['st1', 11, -1]], ['st0']]),\n  ('normal control 6', [[['st0', 100, 8], ['st1', 60, 0], ['st2', 100, 7], ['st3', 80, 7]], 25],\n   [[['st0', 7, 1], ['st1', 4, -4], ['st2', 7, 0], ['st3', 6, 1]], ['st1']]),\n  ('normal control 7',\n   [[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],\n   [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],\n    ['st0', 'st2', 'st3', 'st4']]),\n  ('normal control 8', [[['st0', 20, 11], ['st1', 60, 9]], 25],\n   [[['st0', 6, 5], ['st1', 19, -10]], ['st0', 'st1']])],\n [('regression: target rounding 1',\n   [[['st0', 50, 4], ['st1', 100, 7], ['st2', 20, 4], ['st3', 60, 7], ['st4', 50, 0]], 25],\n   [[['st0', 4, 0], ['st1', 9, -2], ['st2', 2, 2], ['st3', 5, 2], ['st4', 4, -4]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('regression variant: target rounding 2', [[['st0', 50, 9], ['st1', 80, 1], ['st2', 20, 4]], 20],\n   [[['st0', 7, 2], ['st1', 11, -10], ['st2', 3, 1]], ['st0', 'st1']]),\n  ('partial repair guard 3',\n   [[['st0', 50, 8], ['st1', 80, 11], ['st2', 80, 1], ['st3', 20, 12], ['st4', 50, 9]], 7],\n   [[['st0', 1, 7], ['st1', 2, 9], ['st2', 2, -1], ['st3', 1, 11], ['st4', 1, 8]],\n    ['st0', 'st1', 'st3', 'st4']]),\n  ('boundary control 4', [[['a', 50, 5], ['b', 50, 5]], 5], [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),\n  ('normal control 5',\n   [[['st0', 100, 5], ['st1', 80, 7], ['st2', 20, 10], ['st3', 100, 8], ['st4', 100, 7]], 15],\n   [[['st0', 4, 1], ['st1', 3, 4], ['st2', 1, 9], ['st3', 4, 4], ['st4', 4, 3]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('normal control 6', [[['st0', 100, 11], ['st1', 60, 3], ['st2', 20, 6], ['st3', 20, 12]], 10],\n   [[['st0', 5, 6], ['st1', 3, 0], ['st2', 1, 5], ['st3', 1, 11]], ['st0', 'st2', 'st3']]),\n  ('normal control 7', [[['st0', 100, 7], ['st1', 60, 11], ['st2', 100, 8], ['st3', 60, 4]], 25],\n   [[['st0', 8, -1], ['st1', 5, 6], ['st2', 8, 0], ['st3', 5, -1]], ['st1']]),\n  ('normal control 8', [[['st0', 80, 5], ['st1', 100, 8], ['st2', 20, 1]], 7],\n   [[['st0', 3, 2], ['st1', 4, 4], ['st2', 1, 0]], ['st0', 'st1']])]]\nfor label, args, expected in fixtures[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":"6b2b58518e65e47333fdbf6339f6ef98dfa9392e1ec7fb41cd8c98aee6800bbd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(staff, total):\n    tot_fte = sum(f for n, f, a in staff)\n    rows = []\n    flag = []\n    for n, f, a in staff:\n        num = total * f * 2\n        target = num // (2 * tot_fte) if tot_fte else 0\n        dev = a - target\n        rows.append([n, target, dev])\n        if abs(dev) > 1:\n            flag.append(n)\n    return [rows, flag]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: target rounding 1', [[['a', 50, 5], ['b', 50, 5]], 5],\n   [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),\n  ('regression variant: target rounding 2',\n   [[['st0', 100, 4], ['st1', 60, 4], ['st2', 60, 7], ['st3', 50, 6]], 15],\n   [[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']]),\n  ('partial repair guard 3', [[['st0', 100, 0], ['st1', 100, 0]], 25],\n   [[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']]),\n  ('boundary control 4', [[['a', 25, 1], ['b', 75, 4]], 10], [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('normal control 5', [[['st0', 100, 0], ['st1', 80, 9]], 30],\n   [[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']]),\n  ('normal control 6',\n   [[['st0', 60, 2], ['st1', 100, 8], ['st2', 100, 12], ['st3', 50, 5], ['st4', 20, 8]], 20],\n   [[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]],\n    ['st0', 'st1', 'st2', 'st3', 'st4']]),\n  ('normal control 7',\n   [[['st0', 80, 3], ['st1', 20, 3], ['st2', 100, 10], ['st3', 80, 10], ['st4', 80, 10]], 25],\n   [[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]],\n    ['st0', 'st1', 'st2', 'st3', 'st4']]),\n  ('normal control 8',\n   [[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],\n   [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],\n    ['st0', 'st2', 'st3', 'st4']])],\n [('regression: target rounding 1', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),\n  ('regression variant: target rounding 2',\n   [[['st0', 50, 2], ['st1', 20, 8], ['st2', 50, 6], ['st3', 100, 8], ['st4', 20, 4]], 10],\n   [[['st0', 2, 0], ['st1', 1, 7], ['st2', 2, 4], ['st3', 4, 4], ['st4', 1, 3]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('partial repair guard 3', [[['st0', 60, 12], ['st1', 80, 0], ['st2', 20, 3]], 20],\n   [[['st0', 8, 4], ['st1', 10, -10], ['st2', 3, 0]], ['st0', 'st1']]),\n  ('normal control 4', [[['st0', 60, 8], ['st1', 50, 8]], 7],\n   [[['st0', 4, 4], ['st1', 3, 5]], ['st0', 'st1']]),\n  ('normal control 5', [[['st0', 60, 10], ['st1', 100, 6]], 25],\n   [[['st0', 9, 1], ['st1', 16, -10]], ['st1']]),\n  ('normal control 6', [[['st0', 100, 1], ['st1', 20, 12], ['st2', 60, 0], ['st3', 100, 2]], 15],\n   [[['st0', 5, -4], ['st1', 1, 11], ['st2', 3, -3], ['st3', 5, -3]], ['st0', 'st1', 'st2', 'st3']]),\n  ('normal control 7', [[['st0', 100, 12], ['st1', 100, 8], ['st2', 100, 5]], 30],\n   [[['st0', 10, 2], ['st1', 10, -2], ['st2', 10, -5]], ['st0', 'st1', 'st2']]),\n  ('normal control 8', [[['st0', 100, 0], ['st1', 80, 6], ['st2', 50, 7], ['st3', 80, 5]], 25],\n   [[['st0', 8, -8], ['st1', 6, 0], ['st2', 4, 3], ['st3', 6, -1]], ['st0', 'st2']])],\n [('regression: target rounding 1', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),\n  ('regression variant: target rounding 2',\n   [[['st0', 20, 9], ['st1', 50, 8], ['st2', 80, 0], ['st3', 80, 1], ['st4', 100, 9]], 7],\n   [[['st0', 0, 9], ['st1', 1, 7], ['st2', 2, -2], ['st3', 2, -1], ['st4', 2, 7]],\n    ['st0', 'st1', 'st2', 'st4']]),\n  ('partial repair guard 3', [[['st0', 20, 9], ['st1', 50, 11], ['st2', 50, 1]], 30],\n   [[['st0', 5, 4], ['st1', 13, -2], ['st2', 13, -12]], ['st0', 'st1', 'st2']]),\n  ('boundary control 4', [[['a', 100, 2], ['b', 50, 5]], 9], [[['a', 6, -4], ['b', 3, 2]], ['a', 'b']]),\n  ('normal control 5', [[['st0', 100, 7], ['st1', 80, 6]], 10], [[['st0', 6, 1], ['st1', 4, 2]], ['st1']]),\n  ('normal control 6', [[['st0', 60, 0], ['st1', 20, 11], ['st2', 80, 7]], 30],\n   [[['st0', 11, -11], ['st1', 4, 7], ['st2', 15, -8]], ['st0', 'st1', 'st2']]),\n  ('normal control 7', [[['st0', 20, 6], ['st1', 80, 12], ['st2', 50, 8], ['st3', 80, 0]], 25],\n   [[['st0', 2, 4], ['st1', 9, 3], ['st2', 5, 3], ['st3', 9, -9]], ['st0', 'st1', 'st2', 'st3']]),\n  ('normal control 8', [[['st0', 80, 3], ['st1', 50, 9], ['st2', 20, 11]], 10],\n   [[['st0', 5, -2], ['st1', 3, 6], ['st2', 1, 10]], ['st0', 'st1', 'st2']])],\n [('regression: target rounding 1', [[['a', 25, 1], ['b', 75, 4]], 10],\n   [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('regression variant: target rounding 2', [[['st0', 100, 11], ['st1', 60, 1], ['st2', 20, 2]], 7],\n   [[['st0', 4, 7], ['st1', 2, -1], ['st2', 1, 1]], ['st0']]),\n  ('partial repair guard 3', [[['st0', 60, 4], ['st1', 100, 3]], 20],\n   [[['st0', 8, -4], ['st1', 13, -10]], ['st0', 'st1']]),\n  ('boundary control 4', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),\n  ('normal control 5', [[['st0', 60, 7], ['st1', 50, 10]], 25],\n   [[['st0', 14, -7], ['st1', 11, -1]], ['st0']]),\n  ('normal control 6', [[['st0', 100, 8], ['st1', 60, 0], ['st2', 100, 7], ['st3', 80, 7]], 25],\n   [[['st0', 7, 1], ['st1', 4, -4], ['st2', 7, 0], ['st3', 6, 1]], ['st1']]),\n  ('normal control 7',\n   [[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],\n   [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],\n    ['st0', 'st2', 'st3', 'st4']]),\n  ('normal control 8', [[['st0', 20, 11], ['st1', 60, 9]], 25],\n   [[['st0', 6, 5], ['st1', 19, -10]], ['st0', 'st1']])],\n [('regression: target rounding 1',\n   [[['st0', 50, 4], ['st1', 100, 7], ['st2', 20, 4], ['st3', 60, 7], ['st4', 50, 0]], 25],\n   [[['st0', 4, 0], ['st1', 9, -2], ['st2', 2, 2], ['st3', 5, 2], ['st4', 4, -4]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('regression variant: target rounding 2', [[['st0', 50, 9], ['st1', 80, 1], ['st2', 20, 4]], 20],\n   [[['st0', 7, 2], ['st1', 11, -10], ['st2', 3, 1]], ['st0', 'st1']]),\n  ('partial repair guard 3',\n   [[['st0', 50, 8], ['st1', 80, 11], ['st2', 80, 1], ['st3', 20, 12], ['st4', 50, 9]], 7],\n   [[['st0', 1, 7], ['st1', 2, 9], ['st2', 2, -1], ['st3', 1, 11], ['st4', 1, 8]],\n    ['st0', 'st1', 'st3', 'st4']]),\n  ('boundary control 4', [[['a', 50, 5], ['b', 50, 5]], 5], [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),\n  ('normal control 5',\n   [[['st0', 100, 5], ['st1', 80, 7], ['st2', 20, 10], ['st3', 100, 8], ['st4', 100, 7]], 15],\n   [[['st0', 4, 1], ['st1', 3, 4], ['st2', 1, 9], ['st3', 4, 4], ['st4', 4, 3]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('normal control 6', [[['st0', 100, 11], ['st1', 60, 3], ['st2', 20, 6], ['st3', 20, 12]], 10],\n   [[['st0', 5, 6], ['st1', 3, 0], ['st2', 1, 5], ['st3', 1, 11]], ['st0', 'st2', 'st3']]),\n  ('normal control 7', [[['st0', 100, 7], ['st1', 60, 11], ['st2', 100, 8], ['st3', 60, 4]], 25],\n   [[['st0', 8, -1], ['st1', 5, 6], ['st2', 8, 0], ['st3', 5, -1]], ['st1']]),\n  ('normal control 8', [[['st0', 80, 5], ['st1', 100, 8], ['st2', 20, 1]], 7],\n   [[['st0', 3, 2], ['st1', 4, 4], ['st2', 1, 0]], ['st0', 'st1']])]]\nfor label, args, expected in fixtures[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":"a28fe401ed63e05fc0387d24eb305c1f9130ab9d018e392d86b85c93ee72cd07","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(staff, total):\n    tot_fte = sum(f for n, f, a in staff)\n    rows = []\n    flag = []\n    for n, f, a in staff:\n        num = total * f * 2 + tot_fte\n        target = num // (2 * tot_fte) if tot_fte else 0\n        dev = a - target\n        rows.append([n, target, dev])\n        if abs(dev) > 1:\n            flag.append(n)\n    return [rows, flag]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: target rounding 1', [[['a', 50, 5], ['b', 50, 5]], 5],\n   [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),\n  ('regression variant: target rounding 2',\n   [[['st0', 100, 4], ['st1', 60, 4], ['st2', 60, 7], ['st3', 50, 6]], 15],\n   [[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']]),\n  ('partial repair guard 3', [[['st0', 100, 0], ['st1', 100, 0]], 25],\n   [[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']]),\n  ('boundary control 4', [[['a', 25, 1], ['b', 75, 4]], 10], [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('normal control 5', [[['st0', 100, 0], ['st1', 80, 9]], 30],\n   [[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']]),\n  ('normal control 6',\n   [[['st0', 60, 2], ['st1', 100, 8], ['st2', 100, 12], ['st3', 50, 5], ['st4', 20, 8]], 20],\n   [[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]],\n    ['st0', 'st1', 'st2', 'st3', 'st4']]),\n  ('normal control 7',\n   [[['st0', 80, 3], ['st1', 20, 3], ['st2', 100, 10], ['st3', 80, 10], ['st4', 80, 10]], 25],\n   [[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]],\n    ['st0', 'st1', 'st2', 'st3', 'st4']]),\n  ('normal control 8',\n   [[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],\n   [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],\n    ['st0', 'st2', 'st3', 'st4']])],\n [('regression: target rounding 1', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),\n  ('regression variant: target rounding 2',\n   [[['st0', 50, 2], ['st1', 20, 8], ['st2', 50, 6], ['st3', 100, 8], ['st4', 20, 4]], 10],\n   [[['st0', 2, 0], ['st1', 1, 7], ['st2', 2, 4], ['st3', 4, 4], ['st4', 1, 3]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('partial repair guard 3', [[['st0', 60, 12], ['st1', 80, 0], ['st2', 20, 3]], 20],\n   [[['st0', 8, 4], ['st1', 10, -10], ['st2', 3, 0]], ['st0', 'st1']]),\n  ('normal control 4', [[['st0', 60, 8], ['st1', 50, 8]], 7],\n   [[['st0', 4, 4], ['st1', 3, 5]], ['st0', 'st1']]),\n  ('normal control 5', [[['st0', 60, 10], ['st1', 100, 6]], 25],\n   [[['st0', 9, 1], ['st1', 16, -10]], ['st1']]),\n  ('normal control 6', [[['st0', 100, 1], ['st1', 20, 12], ['st2', 60, 0], ['st3', 100, 2]], 15],\n   [[['st0', 5, -4], ['st1', 1, 11], ['st2', 3, -3], ['st3', 5, -3]], ['st0', 'st1', 'st2', 'st3']]),\n  ('normal control 7', [[['st0', 100, 12], ['st1', 100, 8], ['st2', 100, 5]], 30],\n   [[['st0', 10, 2], ['st1', 10, -2], ['st2', 10, -5]], ['st0', 'st1', 'st2']]),\n  ('normal control 8', [[['st0', 100, 0], ['st1', 80, 6], ['st2', 50, 7], ['st3', 80, 5]], 25],\n   [[['st0', 8, -8], ['st1', 6, 0], ['st2', 4, 3], ['st3', 6, -1]], ['st0', 'st2']])],\n [('regression: target rounding 1', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),\n  ('regression variant: target rounding 2',\n   [[['st0', 20, 9], ['st1', 50, 8], ['st2', 80, 0], ['st3', 80, 1], ['st4', 100, 9]], 7],\n   [[['st0', 0, 9], ['st1', 1, 7], ['st2', 2, -2], ['st3', 2, -1], ['st4', 2, 7]],\n    ['st0', 'st1', 'st2', 'st4']]),\n  ('partial repair guard 3', [[['st0', 20, 9], ['st1', 50, 11], ['st2', 50, 1]], 30],\n   [[['st0', 5, 4], ['st1', 13, -2], ['st2', 13, -12]], ['st0', 'st1', 'st2']]),\n  ('boundary control 4', [[['a', 100, 2], ['b', 50, 5]], 9], [[['a', 6, -4], ['b', 3, 2]], ['a', 'b']]),\n  ('normal control 5', [[['st0', 100, 7], ['st1', 80, 6]], 10], [[['st0', 6, 1], ['st1', 4, 2]], ['st1']]),\n  ('normal control 6', [[['st0', 60, 0], ['st1', 20, 11], ['st2', 80, 7]], 30],\n   [[['st0', 11, -11], ['st1', 4, 7], ['st2', 15, -8]], ['st0', 'st1', 'st2']]),\n  ('normal control 7', [[['st0', 20, 6], ['st1', 80, 12], ['st2', 50, 8], ['st3', 80, 0]], 25],\n   [[['st0', 2, 4], ['st1', 9, 3], ['st2', 5, 3], ['st3', 9, -9]], ['st0', 'st1', 'st2', 'st3']]),\n  ('normal control 8', [[['st0', 80, 3], ['st1', 50, 9], ['st2', 20, 11]], 10],\n   [[['st0', 5, -2], ['st1', 3, 6], ['st2', 1, 10]], ['st0', 'st1', 'st2']])],\n [('regression: target rounding 1', [[['a', 25, 1], ['b', 75, 4]], 10],\n   [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('regression variant: target rounding 2', [[['st0', 100, 11], ['st1', 60, 1], ['st2', 20, 2]], 7],\n   [[['st0', 4, 7], ['st1', 2, -1], ['st2', 1, 1]], ['st0']]),\n  ('partial repair guard 3', [[['st0', 60, 4], ['st1', 100, 3]], 20],\n   [[['st0', 8, -4], ['st1', 13, -10]], ['st0', 'st1']]),\n  ('boundary control 4', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),\n  ('normal control 5', [[['st0', 60, 7], ['st1', 50, 10]], 25],\n   [[['st0', 14, -7], ['st1', 11, -1]], ['st0']]),\n  ('normal control 6', [[['st0', 100, 8], ['st1', 60, 0], ['st2', 100, 7], ['st3', 80, 7]], 25],\n   [[['st0', 7, 1], ['st1', 4, -4], ['st2', 7, 0], ['st3', 6, 1]], ['st1']]),\n  ('normal control 7',\n   [[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],\n   [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],\n    ['st0', 'st2', 'st3', 'st4']]),\n  ('normal control 8', [[['st0', 20, 11], ['st1', 60, 9]], 25],\n   [[['st0', 6, 5], ['st1', 19, -10]], ['st0', 'st1']])],\n [('regression: target rounding 1',\n   [[['st0', 50, 4], ['st1', 100, 7], ['st2', 20, 4], ['st3', 60, 7], ['st4', 50, 0]], 25],\n   [[['st0', 4, 0], ['st1', 9, -2], ['st2', 2, 2], ['st3', 5, 2], ['st4', 4, -4]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('regression variant: target rounding 2', [[['st0', 50, 9], ['st1', 80, 1], ['st2', 20, 4]], 20],\n   [[['st0', 7, 2], ['st1', 11, -10], ['st2', 3, 1]], ['st0', 'st1']]),\n  ('partial repair guard 3',\n   [[['st0', 50, 8], ['st1', 80, 11], ['st2', 80, 1], ['st3', 20, 12], ['st4', 50, 9]], 7],\n   [[['st0', 1, 7], ['st1', 2, 9], ['st2', 2, -1], ['st3', 1, 11], ['st4', 1, 8]],\n    ['st0', 'st1', 'st3', 'st4']]),\n  ('boundary control 4', [[['a', 50, 5], ['b', 50, 5]], 5], [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),\n  ('normal control 5',\n   [[['st0', 100, 5], ['st1', 80, 7], ['st2', 20, 10], ['st3', 100, 8], ['st4', 100, 7]], 15],\n   [[['st0', 4, 1], ['st1', 3, 4], ['st2', 1, 9], ['st3', 4, 4], ['st4', 4, 3]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('normal control 6', [[['st0', 100, 11], ['st1', 60, 3], ['st2', 20, 6], ['st3', 20, 12]], 10],\n   [[['st0', 5, 6], ['st1', 3, 0], ['st2', 1, 5], ['st3', 1, 11]], ['st0', 'st2', 'st3']]),\n  ('normal control 7', [[['st0', 100, 7], ['st1', 60, 11], ['st2', 100, 8], ['st3', 60, 4]], 25],\n   [[['st0', 8, -1], ['st1', 5, 6], ['st2', 8, 0], ['st3', 5, -1]], ['st1']]),\n  ('normal control 8', [[['st0', 80, 5], ['st1', 100, 8], ['st2', 20, 1]], 7],\n   [[['st0', 3, 2], ['st1', 4, 4], ['st2', 1, 0]], ['st0', 'st1']])]]\nfor label, args, expected in fixtures[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":"Stipulated toy exam-timetabling rule set for a bounded model; it does not claim conformance with any institution's regulations or a benchmark specification, and it performs no search or optimisation. 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-exam-timetabling-constraints-invigilation-fair-share-target-rounding","generated_at":"2026-09-29T14:52:07.252647+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Invigilation duties are distributed pro rata to contracted hours; fairness reports drive reallocation.","repair":"Round each target half up.","root_cause":"The half-up offset is missing, so targets are floored.","sha256":"218a65e0683ac26933b45f81a5ad5c05a1f29dbb6f364106bcc6c3a3b64f9fd9","title":"Fair-share target truncated instead of rounded · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.41,"exit_code":1,"observations":[{"actual":[[["a",2,3],["b",2,3]],["a","b"]],"check":"regression: target rounding 1","expected":[[["a",3,2],["b",3,2]],["a","b"]],"passed":false},{"actual":[[["st0",6,-2],["st1",3,1],["st2",3,4],["st3",3,3]],["st0","st2","st3"]],"check":"regression variant: target rounding 2","expected":[[["st0",6,-2],["st1",3,1],["st2",3,4],["st3",3,3]],["st0","st2","st3"]],"passed":true},{"actual":[[["st0",12,-12],["st1",12,-12]],["st0","st1"]],"check":"partial repair guard 3","expected":[[["st0",13,-13],["st1",13,-13]],["st0","st1"]],"passed":false},{"actual":[[["a",2,-1],["b",8,-4]],["b"]],"check":"boundary control 4","expected":[[["a",3,-2],["b",8,-4]],["a","b"]],"passed":false},{"actual":[[["st0",17,-17],["st1",13,-4]],["st0","st1"]],"check":"normal control 5","expected":[[["st0",17,-17],["st1",13,-4]],["st0","st1"]],"passed":true},{"actual":[[["st0",4,-2],["st1",6,2],["st2",6,6],["st3",3,2],["st4",1,7]],["st0","st1","st2","st3","st4"]],"check":"normal control 6","expected":[[["st0",4,-2],["st1",6,2],["st2",6,6],["st3",3,2],["st4",1,7]],["st0","st1","st2","st3","st4"]],"passed":true},{"actual":[[["st0",6,-3],["st1",1,2],["st2",7,3],["st3",6,4],["st4",6,4]],["st0","st1","st2","st3","st4"]],"check":"normal control 7","expected":[[["st0",6,-3],["st1",1,2],["st2",7,3],["st3",6,4],["st4",6,4]],["st0","st1","st2","st3","st4"]],"passed":true},{"actual":[[["st0",2,-2],["st1",1,1],["st2",3,6],["st3",3,4],["st4",1,9]],["st0","st2","st3","st4"]],"check":"normal control 8","expected":[[["st0",2,-2],["st1",1,1],["st2",3,6],["st3",3,4],["st4",1,9]],["st0","st2","st3","st4"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: target rounding 1\", \"actual\": [[[\"a\", 2, 3], [\"b\", 2, 3]], [\"a\", \"b\"]], \"expected\": [[[\"a\", 3, 2], [\"b\", 3, 2]], [\"a\", \"b\"]], \"passed\": false}, {\"check\": \"regression variant: target rounding 2\", \"actual\": [[[\"st0\", 6, -2], [\"st1\", 3, 1], [\"st2\", 3, 4], [\"st3\", 3, 3]], [\"st0\", \"st2\", \"st3\"]], \"expected\": [[[\"st0\", 6, -2], [\"st1\", 3, 1], [\"st2\", 3, 4], [\"st3\", 3, 3]], [\"st0\", \"st2\", \"st3\"]], \"passed\": true}, {\"check\": \"partial repair guard 3\", \"actual\": [[[\"st0\", 12, -12], [\"st1\", 12, -12]], [\"st0\", \"st1\"]], \"expected\": [[[\"st0\", 13, -13], [\"st1\", 13, -13]], [\"st0\", \"st1\"]], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [[[\"a\", 2, -1], [\"b\", 8, -4]], [\"b\"]], \"expected\": [[[\"a\", 3, -2], [\"b\", 8, -4]], [\"a\", \"b\"]], \"passed\": false}, {\"check\": \"normal control 5\", \"actual\": [[[\"st0\", 17, -17], [\"st1\", 13, -4]], [\"st0\", \"st1\"]], \"expected\": [[[\"st0\", 17, -17], [\"st1\", 13, -4]], [\"st0\", \"st1\"]], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [[[\"st0\", 4, -2], [\"st1\", 6, 2], [\"st2\", 6, 6], [\"st3\", 3, 2], [\"st4\", 1, 7]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 4, -2], [\"st1\", 6, 2], [\"st2\", 6, 6], [\"st3\", 3, 2], [\"st4\", 1, 7]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [[[\"st0\", 6, -3], [\"st1\", 1, 2], [\"st2\", 7, 3], [\"st3\", 6, 4], [\"st4\", 6, 4]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 6, -3], [\"st1\", 1, 2], [\"st2\", 7, 3], [\"st3\", 6, 4], [\"st4\", 6, 4]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": [[[\"st0\", 2, -2], [\"st1\", 1, 1], [\"st2\", 3, 6], [\"st3\", 3, 4], [\"st4\", 1, 9]], [\"st0\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 2, -2], [\"st1\", 1, 1], [\"st2\", 3, 6], [\"st3\", 3, 4], [\"st4\", 1, 9]], [\"st0\", \"st2\", \"st3\", \"st4\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.175,"exit_code":1,"observations":[{"actual":[[["a",2,3],["b",2,3]],["a","b"]],"check":"regression: target rounding 1","expected":[[["a",3,2],["b",3,2]],["a","b"]],"passed":false},{"actual":[[["st0",5,-1],["st1",3,1],["st2",3,4],["st3",2,4]],["st2","st3"]],"check":"regression variant: target rounding 2","expected":[[["st0",6,-2],["st1",3,1],["st2",3,4],["st3",3,3]],["st0","st2","st3"]],"passed":false},{"actual":[[["st0",12,-12],["st1",12,-12]],["st0","st1"]],"check":"partial repair guard 3","expected":[[["st0",13,-13],["st1",13,-13]],["st0","st1"]],"passed":false},{"actual":[[["a",2,-1],["b",7,-3]],["b"]],"check":"boundary control 4","expected":[[["a",3,-2],["b",8,-4]],["a","b"]],"passed":false},{"actual":[[["st0",16,-16],["st1",13,-4]],["st0","st1"]],"check":"normal control 5","expected":[[["st0",17,-17],["st1",13,-4]],["st0","st1"]],"passed":false},{"actual":[[["st0",3,-1],["st1",6,2],["st2",6,6],["st3",3,2],["st4",1,7]],["st1","st2","st3","st4"]],"check":"normal control 6","expected":[[["st0",4,-2],["st1",6,2],["st2",6,6],["st3",3,2],["st4",1,7]],["st0","st1","st2","st3","st4"]],"passed":false},{"actual":[[["st0",5,-2],["st1",1,2],["st2",6,4],["st3",5,5],["st4",5,5]],["st0","st1","st2","st3","st4"]],"check":"normal control 7","expected":[[["st0",6,-3],["st1",1,2],["st2",7,3],["st3",6,4],["st4",6,4]],["st0","st1","st2","st3","st4"]],"passed":false},{"actual":[[["st0",2,-2],["st1",0,2],["st2",3,6],["st3",3,4],["st4",0,10]],["st0","st1","st2","st3","st4"]],"check":"normal control 8","expected":[[["st0",2,-2],["st1",1,1],["st2",3,6],["st3",3,4],["st4",1,9]],["st0","st2","st3","st4"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: target rounding 1\", \"actual\": [[[\"a\", 2, 3], [\"b\", 2, 3]], [\"a\", \"b\"]], \"expected\": [[[\"a\", 3, 2], [\"b\", 3, 2]], [\"a\", \"b\"]], \"passed\": false}, {\"check\": \"regression variant: target rounding 2\", \"actual\": [[[\"st0\", 5, -1], [\"st1\", 3, 1], [\"st2\", 3, 4], [\"st3\", 2, 4]], [\"st2\", \"st3\"]], \"expected\": [[[\"st0\", 6, -2], [\"st1\", 3, 1], [\"st2\", 3, 4], [\"st3\", 3, 3]], [\"st0\", \"st2\", \"st3\"]], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[[\"st0\", 12, -12], [\"st1\", 12, -12]], [\"st0\", \"st1\"]], \"expected\": [[[\"st0\", 13, -13], [\"st1\", 13, -13]], [\"st0\", \"st1\"]], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [[[\"a\", 2, -1], [\"b\", 7, -3]], [\"b\"]], \"expected\": [[[\"a\", 3, -2], [\"b\", 8, -4]], [\"a\", \"b\"]], \"passed\": false}, {\"check\": \"normal control 5\", \"actual\": [[[\"st0\", 16, -16], [\"st1\", 13, -4]], [\"st0\", \"st1\"]], \"expected\": [[[\"st0\", 17, -17], [\"st1\", 13, -4]], [\"st0\", \"st1\"]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[[\"st0\", 3, -1], [\"st1\", 6, 2], [\"st2\", 6, 6], [\"st3\", 3, 2], [\"st4\", 1, 7]], [\"st1\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 4, -2], [\"st1\", 6, 2], [\"st2\", 6, 6], [\"st3\", 3, 2], [\"st4\", 1, 7]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[[\"st0\", 5, -2], [\"st1\", 1, 2], [\"st2\", 6, 4], [\"st3\", 5, 5], [\"st4\", 5, 5]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 6, -3], [\"st1\", 1, 2], [\"st2\", 7, 3], [\"st3\", 6, 4], [\"st4\", 6, 4]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"passed\": false}, {\"check\": \"normal control 8\", \"actual\": [[[\"st0\", 2, -2], [\"st1\", 0, 2], [\"st2\", 3, 6], [\"st3\", 3, 4], [\"st4\", 0, 10]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 2, -2], [\"st1\", 1, 1], [\"st2\", 3, 6], [\"st3\", 3, 4], [\"st4\", 1, 9]], [\"st0\", \"st2\", \"st3\", \"st4\"]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.605,"exit_code":0,"observations":[{"actual":[[["a",3,2],["b",3,2]],["a","b"]],"check":"regression: target rounding 1","expected":[[["a",3,2],["b",3,2]],["a","b"]],"passed":true},{"actual":[[["st0",6,-2],["st1",3,1],["st2",3,4],["st3",3,3]],["st0","st2","st3"]],"check":"regression variant: target rounding 2","expected":[[["st0",6,-2],["st1",3,1],["st2",3,4],["st3",3,3]],["st0","st2","st3"]],"passed":true},{"actual":[[["st0",13,-13],["st1",13,-13]],["st0","st1"]],"check":"partial repair guard 3","expected":[[["st0",13,-13],["st1",13,-13]],["st0","st1"]],"passed":true},{"actual":[[["a",3,-2],["b",8,-4]],["a","b"]],"check":"boundary control 4","expected":[[["a",3,-2],["b",8,-4]],["a","b"]],"passed":true},{"actual":[[["st0",17,-17],["st1",13,-4]],["st0","st1"]],"check":"normal control 5","expected":[[["st0",17,-17],["st1",13,-4]],["st0","st1"]],"passed":true},{"actual":[[["st0",4,-2],["st1",6,2],["st2",6,6],["st3",3,2],["st4",1,7]],["st0","st1","st2","st3","st4"]],"check":"normal control 6","expected":[[["st0",4,-2],["st1",6,2],["st2",6,6],["st3",3,2],["st4",1,7]],["st0","st1","st2","st3","st4"]],"passed":true},{"actual":[[["st0",6,-3],["st1",1,2],["st2",7,3],["st3",6,4],["st4",6,4]],["st0","st1","st2","st3","st4"]],"check":"normal control 7","expected":[[["st0",6,-3],["st1",1,2],["st2",7,3],["st3",6,4],["st4",6,4]],["st0","st1","st2","st3","st4"]],"passed":true},{"actual":[[["st0",2,-2],["st1",1,1],["st2",3,6],["st3",3,4],["st4",1,9]],["st0","st2","st3","st4"]],"check":"normal control 8","expected":[[["st0",2,-2],["st1",1,1],["st2",3,6],["st3",3,4],["st4",1,9]],["st0","st2","st3","st4"]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: target rounding 1\", \"actual\": [[[\"a\", 3, 2], [\"b\", 3, 2]], [\"a\", \"b\"]], \"expected\": [[[\"a\", 3, 2], [\"b\", 3, 2]], [\"a\", \"b\"]], \"passed\": true}, {\"check\": \"regression variant: target rounding 2\", \"actual\": [[[\"st0\", 6, -2], [\"st1\", 3, 1], [\"st2\", 3, 4], [\"st3\", 3, 3]], [\"st0\", \"st2\", \"st3\"]], \"expected\": [[[\"st0\", 6, -2], [\"st1\", 3, 1], [\"st2\", 3, 4], [\"st3\", 3, 3]], [\"st0\", \"st2\", \"st3\"]], \"passed\": true}, {\"check\": \"partial repair guard 3\", \"actual\": [[[\"st0\", 13, -13], [\"st1\", 13, -13]], [\"st0\", \"st1\"]], \"expected\": [[[\"st0\", 13, -13], [\"st1\", 13, -13]], [\"st0\", \"st1\"]], \"passed\": true}, {\"check\": \"boundary control 4\", \"actual\": [[[\"a\", 3, -2], [\"b\", 8, -4]], [\"a\", \"b\"]], \"expected\": [[[\"a\", 3, -2], [\"b\", 8, -4]], [\"a\", \"b\"]], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [[[\"st0\", 17, -17], [\"st1\", 13, -4]], [\"st0\", \"st1\"]], \"expected\": [[[\"st0\", 17, -17], [\"st1\", 13, -4]], [\"st0\", \"st1\"]], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [[[\"st0\", 4, -2], [\"st1\", 6, 2], [\"st2\", 6, 6], [\"st3\", 3, 2], [\"st4\", 1, 7]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 4, -2], [\"st1\", 6, 2], [\"st2\", 6, 6], [\"st3\", 3, 2], [\"st4\", 1, 7]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [[[\"st0\", 6, -3], [\"st1\", 1, 2], [\"st2\", 7, 3], [\"st3\", 6, 4], [\"st4\", 6, 4]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 6, -3], [\"st1\", 1, 2], [\"st2\", 7, 3], [\"st3\", 6, 4], [\"st4\", 6, 4]], [\"st0\", \"st1\", \"st2\", \"st3\", \"st4\"]], \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": [[[\"st0\", 2, -2], [\"st1\", 1, 1], [\"st2\", 3, 6], [\"st3\", 3, 4], [\"st4\", 1, 9]], [\"st0\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 2, -2], [\"st1\", 1, 1], [\"st2\", 3, 6], [\"st3\", 3, 4], [\"st4\", 1, 9]], [\"st0\", \"st2\", \"st3\", \"st4\"]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}