{"abstract":"Staff carrying far fewer duties than their share pass the report.","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].","contract_signature":"staff, total","evaluation_group":"w2-exam-timetabling-constraints-invigilation-fair-share","failed_approach":"An inclusive threshold flags deviations of exactly one.","family":"w2-exam-timetabling-constraints-invigilation-fair-share-deviation-flag","id":"FA-94761","implementations":{"attempt":{"sha256":"3029d35d185adf5bfc8076d824b1122d2a3c0750d36e2335889977fe0477e960","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: deviation flag 1', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),\n  ('regression variant: deviation flag 2', [[['st0', 50, 4], ['st1', 100, 4]], 25],\n   [[['st0', 8, -4], ['st1', 17, -13]], ['st0', 'st1']]),\n  ('partial repair guard 3',\n   [[['st0', 100, 8], ['st1', 20, 4], ['st2', 100, 3], ['st3', 80, 10], ['st4', 100, 9]], 30],\n   [[['st0', 8, 0], ['st1', 2, 2], ['st2', 8, -5], ['st3', 6, 4], ['st4', 8, 1]], ['st1', 'st2', 'st3']]),\n  ('boundary control 4', [[['a', 25, 1], ['b', 75, 4]], 10], [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('normal control 5', [[['st0', 60, 0], ['st1', 50, 1], ['st2', 20, 8], ['st3', 80, 5], ['st4', 50, 2]], 10],\n   [[['st0', 2, -2], ['st1', 2, -1], ['st2', 1, 7], ['st3', 3, 2], ['st4', 2, 0]], ['st0', 'st2', 'st3']]),\n  ('normal control 6', [[['st0', 20, 0], ['st1', 80, 3], ['st2', 80, 3], ['st3', 60, 11]], 7],\n   [[['st0', 1, -1], ['st1', 2, 1], ['st2', 2, 1], ['st3', 2, 9]], ['st3']]),\n  ('normal control 7', [[['st0', 50, 11], ['st1', 80, 10], ['st2', 60, 0], ['st3', 80, 9]], 15],\n   [[['st0', 3, 8], ['st1', 4, 6], ['st2', 3, -3], ['st3', 4, 5]], ['st0', 'st1', 'st2', 'st3']]),\n  ('normal control 8', [[['st0', 60, 4], ['st1', 80, 6], ['st2', 50, 7], ['st3', 50, 6]], 30],\n   [[['st0', 8, -4], ['st1', 10, -4], ['st2', 6, 1], ['st3', 6, 0]], ['st0', 'st1']])],\n [('regression: deviation flag 1', [[['a', 25, 1], ['b', 75, 4]], 10],\n   [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('regression variant: deviation flag 2', [[['st0', 20, 8], ['st1', 50, 8]], 15],\n   [[['st0', 4, 4], ['st1', 11, -3]], ['st0', 'st1']]),\n  ('partial repair guard 3',\n   [[['st0', 100, 2], ['st1', 80, 2], ['st2', 100, 5], ['st3', 100, 12], ['st4', 20, 8]], 25],\n   [[['st0', 6, -4], ['st1', 5, -3], ['st2', 6, -1], ['st3', 6, 6], ['st4', 1, 7]],\n    ['st0', 'st1', 'st3', 'st4']]),\n  ('boundary control 4', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),\n  ('normal control 5',\n   [[['st0', 50, 4], ['st1', 100, 11], ['st2', 60, 6], ['st3', 20, 7], ['st4', 80, 0]], 20],\n   [[['st0', 3, 1], ['st1', 6, 5], ['st2', 4, 2], ['st3', 1, 6], ['st4', 5, -5]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('normal control 6',\n   [[['st0', 50, 4], ['st1', 20, 1], ['st2', 20, 10], ['st3', 80, 10], ['st4', 60, 8]], 25],\n   [[['st0', 5, -1], ['st1', 2, -1], ['st2', 2, 8], ['st3', 9, 1], ['st4', 7, 1]], ['st2']]),\n  ('normal control 7', [[['st0', 80, 10], ['st1', 60, 5]], 25],\n   [[['st0', 14, -4], ['st1', 11, -6]], ['st0', 'st1']]),\n  ('normal control 8',\n   [[['st0', 80, 6], ['st1', 100, 6], ['st2', 50, 2], ['st3', 100, 10], ['st4', 50, 4]], 10],\n   [[['st0', 2, 4], ['st1', 3, 3], ['st2', 1, 1], ['st3', 3, 7], ['st4', 1, 3]],\n    ['st0', 'st1', 'st3', 'st4']])],\n [('regression: deviation flag 1', [[['a', 100, 2], ['b', 50, 5]], 9],\n   [[['a', 6, -4], ['b', 3, 2]], ['a', 'b']]),\n  ('regression variant: deviation flag 2', [[['st0', 80, 3], ['st1', 50, 9], ['st2', 20, 11]], 10],\n   [[['st0', 5, -2], ['st1', 3, 6], ['st2', 1, 10]], ['st0', 'st1', 'st2']]),\n  ('partial repair guard 3', [[['st0', 60, 10], ['st1', 100, 6]], 25],\n   [[['st0', 9, 1], ['st1', 16, -10]], ['st1']]),\n  ('normal control 4',\n   [[['st0', 20, 4], ['st1', 100, 2], ['st2', 20, 10], ['st3', 60, 2], ['st4', 80, 2]], 30],\n   [[['st0', 2, 2], ['st1', 11, -9], ['st2', 2, 8], ['st3', 6, -4], ['st4', 9, -7]],\n    ['st0', 'st1', 'st2', 'st3', 'st4']]),\n  ('normal control 5', [[['st0', 60, 4], ['st1', 100, 3]], 20],\n   [[['st0', 8, -4], ['st1', 13, -10]], ['st0', 'st1']]),\n  ('normal control 6', [[['st0', 50, 11], ['st1', 80, 0]], 25],\n   [[['st0', 10, 1], ['st1', 15, -15]], ['st1']]),\n  ('normal control 7', [[['st0', 50, 4], ['st1', 100, 6], ['st2', 60, 8]], 25],\n   [[['st0', 6, -2], ['st1', 12, -6], ['st2', 7, 1]], ['st0', 'st1']]),\n  ('normal control 8', [[['st0', 100, 6], ['st1', 100, 11], ['st2', 100, 1], ['st3', 60, 5]], 7],\n   [[['st0', 2, 4], ['st1', 2, 9], ['st2', 2, -1], ['st3', 1, 4]], ['st0', 'st1', 'st3']])],\n [('regression: deviation flag 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: deviation flag 2', [[['st0', 100, 10], ['st1', 20, 6], ['st2', 100, 5]], 15],\n   [[['st0', 7, 3], ['st1', 1, 5], ['st2', 7, -2]], ['st0', 'st1', 'st2']]),\n  ('partial repair guard 3',\n   [[['st0', 80, 1], ['st1', 20, 10], ['st2', 80, 12], ['st3', 80, 0], ['st4', 60, 3]], 7],\n   [[['st0', 2, -1], ['st1', 0, 10], ['st2', 2, 10], ['st3', 2, -2], ['st4', 1, 2]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('boundary control 4', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),\n  ('normal control 5',\n   [[['st0', 60, 5], ['st1', 60, 0], ['st2', 50, 8], ['st3', 50, 3], ['st4', 50, 10]], 10],\n   [[['st0', 2, 3], ['st1', 2, -2], ['st2', 2, 6], ['st3', 2, 1], ['st4', 2, 8]],\n    ['st0', 'st1', 'st2', 'st4']]),\n  ('normal control 6', [[['st0', 50, 12], ['st1', 20, 8]], 20],\n   [[['st0', 14, -2], ['st1', 6, 2]], ['st0', 'st1']]),\n  ('normal control 7', [[['st0', 20, 11], ['st1', 50, 12]], 15], [[['st0', 4, 7], ['st1', 11, 1]], ['st0']]),\n  ('normal control 8', [[['st0', 50, 10], ['st1', 20, 12], ['st2', 20, 4]], 15],\n   [[['st0', 8, 2], ['st1', 3, 9], ['st2', 3, 1]], ['st0', 'st1']])],\n [('regression: deviation flag 1',\n   [[['st0', 50, 10], ['st1', 100, 4], ['st2', 100, 0], ['st3', 20, 0], ['st4', 80, 3]], 7],\n   [[['st0', 1, 9], ['st1', 2, 2], ['st2', 2, -2], ['st3', 0, 0], ['st4', 2, 1]], ['st0', 'st1', 'st2']]),\n  ('regression variant: deviation flag 2',\n   [[['st0', 80, 1], ['st1', 20, 10], ['st2', 80, 12], ['st3', 80, 0], ['st4', 60, 3]], 7],\n   [[['st0', 2, -1], ['st1', 0, 10], ['st2', 2, 10], ['st3', 2, -2], ['st4', 1, 2]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('partial repair guard 3', [[['st0', 60, 4], ['st1', 60, 2], ['st2', 60, 0], ['st3', 20, 10]], 15],\n   [[['st0', 5, -1], ['st1', 5, -3], ['st2', 5, -5], ['st3', 2, 8]], ['st1', 'st2', 'st3']]),\n  ('boundary control 4', [[['a', 50, 5], ['b', 50, 5]], 5], [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),\n  ('normal control 5', [[['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 6', [[['st0', 100, 8], ['st1', 60, 5], ['st2', 20, 4]], 20],\n   [[['st0', 11, -3], ['st1', 7, -2], ['st2', 2, 2]], ['st0', 'st1', 'st2']]),\n  ('normal control 7', [[['st0', 100, 12], ['st1', 50, 9], ['st2', 100, 10]], 10],\n   [[['st0', 4, 8], ['st1', 2, 7], ['st2', 4, 6]], ['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']])]]\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":"94e1b02592d6d7cb25dcf5d36c736c22eaa4ff8055d1aa674c48bbaecddfd209","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 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: deviation flag 1', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),\n  ('regression variant: deviation flag 2', [[['st0', 50, 4], ['st1', 100, 4]], 25],\n   [[['st0', 8, -4], ['st1', 17, -13]], ['st0', 'st1']]),\n  ('partial repair guard 3',\n   [[['st0', 100, 8], ['st1', 20, 4], ['st2', 100, 3], ['st3', 80, 10], ['st4', 100, 9]], 30],\n   [[['st0', 8, 0], ['st1', 2, 2], ['st2', 8, -5], ['st3', 6, 4], ['st4', 8, 1]], ['st1', 'st2', 'st3']]),\n  ('boundary control 4', [[['a', 25, 1], ['b', 75, 4]], 10], [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('normal control 5', [[['st0', 60, 0], ['st1', 50, 1], ['st2', 20, 8], ['st3', 80, 5], ['st4', 50, 2]], 10],\n   [[['st0', 2, -2], ['st1', 2, -1], ['st2', 1, 7], ['st3', 3, 2], ['st4', 2, 0]], ['st0', 'st2', 'st3']]),\n  ('normal control 6', [[['st0', 20, 0], ['st1', 80, 3], ['st2', 80, 3], ['st3', 60, 11]], 7],\n   [[['st0', 1, -1], ['st1', 2, 1], ['st2', 2, 1], ['st3', 2, 9]], ['st3']]),\n  ('normal control 7', [[['st0', 50, 11], ['st1', 80, 10], ['st2', 60, 0], ['st3', 80, 9]], 15],\n   [[['st0', 3, 8], ['st1', 4, 6], ['st2', 3, -3], ['st3', 4, 5]], ['st0', 'st1', 'st2', 'st3']]),\n  ('normal control 8', [[['st0', 60, 4], ['st1', 80, 6], ['st2', 50, 7], ['st3', 50, 6]], 30],\n   [[['st0', 8, -4], ['st1', 10, -4], ['st2', 6, 1], ['st3', 6, 0]], ['st0', 'st1']])],\n [('regression: deviation flag 1', [[['a', 25, 1], ['b', 75, 4]], 10],\n   [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),\n  ('regression variant: deviation flag 2', [[['st0', 20, 8], ['st1', 50, 8]], 15],\n   [[['st0', 4, 4], ['st1', 11, -3]], ['st0', 'st1']]),\n  ('partial repair guard 3',\n   [[['st0', 100, 2], ['st1', 80, 2], ['st2', 100, 5], ['st3', 100, 12], ['st4', 20, 8]], 25],\n   [[['st0', 6, -4], ['st1', 5, -3], ['st2', 6, -1], ['st3', 6, 6], ['st4', 1, 7]],\n    ['st0', 'st1', 'st3', 'st4']]),\n  ('boundary control 4', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),\n  ('normal control 5',\n   [[['st0', 50, 4], ['st1', 100, 11], ['st2', 60, 6], ['st3', 20, 7], ['st4', 80, 0]], 20],\n   [[['st0', 3, 1], ['st1', 6, 5], ['st2', 4, 2], ['st3', 1, 6], ['st4', 5, -5]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('normal control 6',\n   [[['st0', 50, 4], ['st1', 20, 1], ['st2', 20, 10], ['st3', 80, 10], ['st4', 60, 8]], 25],\n   [[['st0', 5, -1], ['st1', 2, -1], ['st2', 2, 8], ['st3', 9, 1], ['st4', 7, 1]], ['st2']]),\n  ('normal control 7', [[['st0', 80, 10], ['st1', 60, 5]], 25],\n   [[['st0', 14, -4], ['st1', 11, -6]], ['st0', 'st1']]),\n  ('normal control 8',\n   [[['st0', 80, 6], ['st1', 100, 6], ['st2', 50, 2], ['st3', 100, 10], ['st4', 50, 4]], 10],\n   [[['st0', 2, 4], ['st1', 3, 3], ['st2', 1, 1], ['st3', 3, 7], ['st4', 1, 3]],\n    ['st0', 'st1', 'st3', 'st4']])],\n [('regression: deviation flag 1', [[['a', 100, 2], ['b', 50, 5]], 9],\n   [[['a', 6, -4], ['b', 3, 2]], ['a', 'b']]),\n  ('regression variant: deviation flag 2', [[['st0', 80, 3], ['st1', 50, 9], ['st2', 20, 11]], 10],\n   [[['st0', 5, -2], ['st1', 3, 6], ['st2', 1, 10]], ['st0', 'st1', 'st2']]),\n  ('partial repair guard 3', [[['st0', 60, 10], ['st1', 100, 6]], 25],\n   [[['st0', 9, 1], ['st1', 16, -10]], ['st1']]),\n  ('normal control 4',\n   [[['st0', 20, 4], ['st1', 100, 2], ['st2', 20, 10], ['st3', 60, 2], ['st4', 80, 2]], 30],\n   [[['st0', 2, 2], ['st1', 11, -9], ['st2', 2, 8], ['st3', 6, -4], ['st4', 9, -7]],\n    ['st0', 'st1', 'st2', 'st3', 'st4']]),\n  ('normal control 5', [[['st0', 60, 4], ['st1', 100, 3]], 20],\n   [[['st0', 8, -4], ['st1', 13, -10]], ['st0', 'st1']]),\n  ('normal control 6', [[['st0', 50, 11], ['st1', 80, 0]], 25],\n   [[['st0', 10, 1], ['st1', 15, -15]], ['st1']]),\n  ('normal control 7', [[['st0', 50, 4], ['st1', 100, 6], ['st2', 60, 8]], 25],\n   [[['st0', 6, -2], ['st1', 12, -6], ['st2', 7, 1]], ['st0', 'st1']]),\n  ('normal control 8', [[['st0', 100, 6], ['st1', 100, 11], ['st2', 100, 1], ['st3', 60, 5]], 7],\n   [[['st0', 2, 4], ['st1', 2, 9], ['st2', 2, -1], ['st3', 1, 4]], ['st0', 'st1', 'st3']])],\n [('regression: deviation flag 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: deviation flag 2', [[['st0', 100, 10], ['st1', 20, 6], ['st2', 100, 5]], 15],\n   [[['st0', 7, 3], ['st1', 1, 5], ['st2', 7, -2]], ['st0', 'st1', 'st2']]),\n  ('partial repair guard 3',\n   [[['st0', 80, 1], ['st1', 20, 10], ['st2', 80, 12], ['st3', 80, 0], ['st4', 60, 3]], 7],\n   [[['st0', 2, -1], ['st1', 0, 10], ['st2', 2, 10], ['st3', 2, -2], ['st4', 1, 2]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('boundary control 4', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),\n  ('normal control 5',\n   [[['st0', 60, 5], ['st1', 60, 0], ['st2', 50, 8], ['st3', 50, 3], ['st4', 50, 10]], 10],\n   [[['st0', 2, 3], ['st1', 2, -2], ['st2', 2, 6], ['st3', 2, 1], ['st4', 2, 8]],\n    ['st0', 'st1', 'st2', 'st4']]),\n  ('normal control 6', [[['st0', 50, 12], ['st1', 20, 8]], 20],\n   [[['st0', 14, -2], ['st1', 6, 2]], ['st0', 'st1']]),\n  ('normal control 7', [[['st0', 20, 11], ['st1', 50, 12]], 15], [[['st0', 4, 7], ['st1', 11, 1]], ['st0']]),\n  ('normal control 8', [[['st0', 50, 10], ['st1', 20, 12], ['st2', 20, 4]], 15],\n   [[['st0', 8, 2], ['st1', 3, 9], ['st2', 3, 1]], ['st0', 'st1']])],\n [('regression: deviation flag 1',\n   [[['st0', 50, 10], ['st1', 100, 4], ['st2', 100, 0], ['st3', 20, 0], ['st4', 80, 3]], 7],\n   [[['st0', 1, 9], ['st1', 2, 2], ['st2', 2, -2], ['st3', 0, 0], ['st4', 2, 1]], ['st0', 'st1', 'st2']]),\n  ('regression variant: deviation flag 2',\n   [[['st0', 80, 1], ['st1', 20, 10], ['st2', 80, 12], ['st3', 80, 0], ['st4', 60, 3]], 7],\n   [[['st0', 2, -1], ['st1', 0, 10], ['st2', 2, 10], ['st3', 2, -2], ['st4', 1, 2]],\n    ['st1', 'st2', 'st3', 'st4']]),\n  ('partial repair guard 3', [[['st0', 60, 4], ['st1', 60, 2], ['st2', 60, 0], ['st3', 20, 10]], 15],\n   [[['st0', 5, -1], ['st1', 5, -3], ['st2', 5, -5], ['st3', 2, 8]], ['st1', 'st2', 'st3']]),\n  ('boundary control 4', [[['a', 50, 5], ['b', 50, 5]], 5], [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),\n  ('normal control 5', [[['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 6', [[['st0', 100, 8], ['st1', 60, 5], ['st2', 20, 4]], 20],\n   [[['st0', 11, -3], ['st1', 7, -2], ['st2', 2, 2]], ['st0', 'st1', 'st2']]),\n  ('normal control 7', [[['st0', 100, 12], ['st1', 50, 9], ['st2', 100, 10]], 10],\n   [[['st0', 4, 8], ['st1', 2, 7], ['st2', 4, 6]], ['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']])]]\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-deviation-flag","generated_at":"2026-09-29T14:52:07.345809+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.","root_cause":"Only positive deviations are tested.","sha256":"44d422fe248e199ce1cf8461d89e111a6cc1b18a4ba63a79e286b898a96d46cf","title":"Under-assigned staff never flagged · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.07,"exit_code":1,"observations":[{"actual":[[["a",4,-1],["b",4,-2]],["a","b"]],"check":"regression: deviation flag 1","expected":[[["a",4,-1],["b",4,-2]],["b"]],"passed":false},{"actual":[[["st0",8,-4],["st1",17,-13]],["st0","st1"]],"check":"regression variant: deviation flag 2","expected":[[["st0",8,-4],["st1",17,-13]],["st0","st1"]],"passed":true},{"actual":[[["st0",8,0],["st1",2,2],["st2",8,-5],["st3",6,4],["st4",8,1]],["st1","st2","st3","st4"]],"check":"partial repair guard 3","expected":[[["st0",8,0],["st1",2,2],["st2",8,-5],["st3",6,4],["st4",8,1]],["st1","st2","st3"]],"passed":false},{"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",2,-2],["st1",2,-1],["st2",1,7],["st3",3,2],["st4",2,0]],["st0","st1","st2","st3"]],"check":"normal control 5","expected":[[["st0",2,-2],["st1",2,-1],["st2",1,7],["st3",3,2],["st4",2,0]],["st0","st2","st3"]],"passed":false},{"actual":[[["st0",1,-1],["st1",2,1],["st2",2,1],["st3",2,9]],["st0","st1","st2","st3"]],"check":"normal control 6","expected":[[["st0",1,-1],["st1",2,1],["st2",2,1],["st3",2,9]],["st3"]],"passed":false},{"actual":[[["st0",3,8],["st1",4,6],["st2",3,-3],["st3",4,5]],["st0","st1","st2","st3"]],"check":"normal control 7","expected":[[["st0",3,8],["st1",4,6],["st2",3,-3],["st3",4,5]],["st0","st1","st2","st3"]],"passed":true},{"actual":[[["st0",8,-4],["st1",10,-4],["st2",6,1],["st3",6,0]],["st0","st1","st2"]],"check":"normal control 8","expected":[[["st0",8,-4],["st1",10,-4],["st2",6,1],["st3",6,0]],["st0","st1"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: deviation flag 1\", \"actual\": [[[\"a\", 4, -1], [\"b\", 4, -2]], [\"a\", \"b\"]], \"expected\": [[[\"a\", 4, -1], [\"b\", 4, -2]], [\"b\"]], \"passed\": false}, {\"check\": \"regression variant: deviation flag 2\", \"actual\": [[[\"st0\", 8, -4], [\"st1\", 17, -13]], [\"st0\", \"st1\"]], \"expected\": [[[\"st0\", 8, -4], [\"st1\", 17, -13]], [\"st0\", \"st1\"]], \"passed\": true}, {\"check\": \"partial repair guard 3\", \"actual\": [[[\"st0\", 8, 0], [\"st1\", 2, 2], [\"st2\", 8, -5], [\"st3\", 6, 4], [\"st4\", 8, 1]], [\"st1\", \"st2\", \"st3\", \"st4\"]], \"expected\": [[[\"st0\", 8, 0], [\"st1\", 2, 2], [\"st2\", 8, -5], [\"st3\", 6, 4], [\"st4\", 8, 1]], [\"st1\", \"st2\", \"st3\"]], \"passed\": false}, {\"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\", 2, -2], [\"st1\", 2, -1], [\"st2\", 1, 7], [\"st3\", 3, 2], [\"st4\", 2, 0]], [\"st0\", \"st1\", \"st2\", \"st3\"]], \"expected\": [[[\"st0\", 2, -2], [\"st1\", 2, -1], [\"st2\", 1, 7], [\"st3\", 3, 2], [\"st4\", 2, 0]], [\"st0\", \"st2\", \"st3\"]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[[\"st0\", 1, -1], [\"st1\", 2, 1], [\"st2\", 2, 1], [\"st3\", 2, 9]], [\"st0\", \"st1\", \"st2\", \"st3\"]], \"expected\": [[[\"st0\", 1, -1], [\"st1\", 2, 1], [\"st2\", 2, 1], [\"st3\", 2, 9]], [\"st3\"]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[[\"st0\", 3, 8], [\"st1\", 4, 6], [\"st2\", 3, -3], [\"st3\", 4, 5]], [\"st0\", \"st1\", \"st2\", \"st3\"]], \"expected\": [[[\"st0\", 3, 8], [\"st1\", 4, 6], [\"st2\", 3, -3], [\"st3\", 4, 5]], [\"st0\", \"st1\", \"st2\", \"st3\"]], \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": [[[\"st0\", 8, -4], [\"st1\", 10, -4], [\"st2\", 6, 1], [\"st3\", 6, 0]], [\"st0\", \"st1\", \"st2\"]], \"expected\": [[[\"st0\", 8, -4], [\"st1\", 10, -4], [\"st2\", 6, 1], [\"st3\", 6, 0]], [\"st0\", \"st1\"]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.528,"exit_code":1,"observations":[{"actual":[[["a",4,-1],["b",4,-2]],[]],"check":"regression: deviation flag 1","expected":[[["a",4,-1],["b",4,-2]],["b"]],"passed":false},{"actual":[[["st0",8,-4],["st1",17,-13]],[]],"check":"regression variant: deviation flag 2","expected":[[["st0",8,-4],["st1",17,-13]],["st0","st1"]],"passed":false},{"actual":[[["st0",8,0],["st1",2,2],["st2",8,-5],["st3",6,4],["st4",8,1]],["st1","st3"]],"check":"partial repair guard 3","expected":[[["st0",8,0],["st1",2,2],["st2",8,-5],["st3",6,4],["st4",8,1]],["st1","st2","st3"]],"passed":false},{"actual":[[["a",3,-2],["b",8,-4]],[]],"check":"boundary control 4","expected":[[["a",3,-2],["b",8,-4]],["a","b"]],"passed":false},{"actual":[[["st0",2,-2],["st1",2,-1],["st2",1,7],["st3",3,2],["st4",2,0]],["st2","st3"]],"check":"normal control 5","expected":[[["st0",2,-2],["st1",2,-1],["st2",1,7],["st3",3,2],["st4",2,0]],["st0","st2","st3"]],"passed":false},{"actual":[[["st0",1,-1],["st1",2,1],["st2",2,1],["st3",2,9]],["st3"]],"check":"normal control 6","expected":[[["st0",1,-1],["st1",2,1],["st2",2,1],["st3",2,9]],["st3"]],"passed":true},{"actual":[[["st0",3,8],["st1",4,6],["st2",3,-3],["st3",4,5]],["st0","st1","st3"]],"check":"normal control 7","expected":[[["st0",3,8],["st1",4,6],["st2",3,-3],["st3",4,5]],["st0","st1","st2","st3"]],"passed":false},{"actual":[[["st0",8,-4],["st1",10,-4],["st2",6,1],["st3",6,0]],[]],"check":"normal control 8","expected":[[["st0",8,-4],["st1",10,-4],["st2",6,1],["st3",6,0]],["st0","st1"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: deviation flag 1\", \"actual\": [[[\"a\", 4, -1], [\"b\", 4, -2]], []], \"expected\": [[[\"a\", 4, -1], [\"b\", 4, -2]], [\"b\"]], \"passed\": false}, {\"check\": \"regression variant: deviation flag 2\", \"actual\": [[[\"st0\", 8, -4], [\"st1\", 17, -13]], []], \"expected\": [[[\"st0\", 8, -4], [\"st1\", 17, -13]], [\"st0\", \"st1\"]], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[[\"st0\", 8, 0], [\"st1\", 2, 2], [\"st2\", 8, -5], [\"st3\", 6, 4], [\"st4\", 8, 1]], [\"st1\", \"st3\"]], \"expected\": [[[\"st0\", 8, 0], [\"st1\", 2, 2], [\"st2\", 8, -5], [\"st3\", 6, 4], [\"st4\", 8, 1]], [\"st1\", \"st2\", \"st3\"]], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [[[\"a\", 3, -2], [\"b\", 8, -4]], []], \"expected\": [[[\"a\", 3, -2], [\"b\", 8, -4]], [\"a\", \"b\"]], \"passed\": false}, {\"check\": \"normal control 5\", \"actual\": [[[\"st0\", 2, -2], [\"st1\", 2, -1], [\"st2\", 1, 7], [\"st3\", 3, 2], [\"st4\", 2, 0]], [\"st2\", \"st3\"]], \"expected\": [[[\"st0\", 2, -2], [\"st1\", 2, -1], [\"st2\", 1, 7], [\"st3\", 3, 2], [\"st4\", 2, 0]], [\"st0\", \"st2\", \"st3\"]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[[\"st0\", 1, -1], [\"st1\", 2, 1], [\"st2\", 2, 1], [\"st3\", 2, 9]], [\"st3\"]], \"expected\": [[[\"st0\", 1, -1], [\"st1\", 2, 1], [\"st2\", 2, 1], [\"st3\", 2, 9]], [\"st3\"]], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [[[\"st0\", 3, 8], [\"st1\", 4, 6], [\"st2\", 3, -3], [\"st3\", 4, 5]], [\"st0\", \"st1\", \"st3\"]], \"expected\": [[[\"st0\", 3, 8], [\"st1\", 4, 6], [\"st2\", 3, -3], [\"st3\", 4, 5]], [\"st0\", \"st1\", \"st2\", \"st3\"]], \"passed\": false}, {\"check\": \"normal control 8\", \"actual\": [[[\"st0\", 8, -4], [\"st1\", 10, -4], [\"st2\", 6, 1], [\"st3\", 6, 0]], []], \"expected\": [[[\"st0\", 8, -4], [\"st1\", 10, -4], [\"st2\", 6, 1], [\"st3\", 6, 0]], [\"st0\", \"st1\"]], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}