FA-94751 / Exam timetabling constraints / Open access
Fair-share target truncated instead of rounded · case 01
Staff with fractional shares are assigned targets one lower.
ROOT CAUSE
The half-up offset is missing, so targets are floored.
VERIFIED REPAIR
Round each target half up.
Unsuccessful approach: round() uses banker's rounding on exact halves.
Case 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].
Why this case matters
Invigilation duties are distributed pro rata to contracted hours; fairness reports drive reallocation.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(staff, total):
tot_fte = sum(f for n, f, a in staff)
rows = []
flag = []
for n, f, a in staff:
num = total * f * 2
target = num // (2 * tot_fte) if tot_fte else 0
dev = a - target
rows.append([n, target, dev])
if abs(dev) > 1:
flag.append(n)
return [rows, flag]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: target rounding 1', [[['a', 50, 5], ['b', 50, 5]], 5],
[[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),
('regression variant: target rounding 2',
[[['st0', 100, 4], ['st1', 60, 4], ['st2', 60, 7], ['st3', 50, 6]], 15],
[[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']]),
('partial repair guard 3', [[['st0', 100, 0], ['st1', 100, 0]], 25],
[[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']]),
('boundary control 4', [[['a', 25, 1], ['b', 75, 4]], 10], [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),
('normal control 5', [[['st0', 100, 0], ['st1', 80, 9]], 30],
[[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']]),
('normal control 6',
[[['st0', 60, 2], ['st1', 100, 8], ['st2', 100, 12], ['st3', 50, 5], ['st4', 20, 8]], 20],
[[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]],
['st0', 'st1', 'st2', 'st3', 'st4']]),
('normal control 7',
[[['st0', 80, 3], ['st1', 20, 3], ['st2', 100, 10], ['st3', 80, 10], ['st4', 80, 10]], 25],
[[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]],
['st0', 'st1', 'st2', 'st3', 'st4']]),
('normal control 8',
[[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],
[[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],
['st0', 'st2', 'st3', 'st4']])],
[('regression: target rounding 1', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),
('regression variant: target rounding 2',
[[['st0', 50, 2], ['st1', 20, 8], ['st2', 50, 6], ['st3', 100, 8], ['st4', 20, 4]], 10],
[[['st0', 2, 0], ['st1', 1, 7], ['st2', 2, 4], ['st3', 4, 4], ['st4', 1, 3]],
['st1', 'st2', 'st3', 'st4']]),
('partial repair guard 3', [[['st0', 60, 12], ['st1', 80, 0], ['st2', 20, 3]], 20],
[[['st0', 8, 4], ['st1', 10, -10], ['st2', 3, 0]], ['st0', 'st1']]),
('normal control 4', [[['st0', 60, 8], ['st1', 50, 8]], 7],
[[['st0', 4, 4], ['st1', 3, 5]], ['st0', 'st1']]),
('normal control 5', [[['st0', 60, 10], ['st1', 100, 6]], 25],
[[['st0', 9, 1], ['st1', 16, -10]], ['st1']]),
('normal control 6', [[['st0', 100, 1], ['st1', 20, 12], ['st2', 60, 0], ['st3', 100, 2]], 15],
[[['st0', 5, -4], ['st1', 1, 11], ['st2', 3, -3], ['st3', 5, -3]], ['st0', 'st1', 'st2', 'st3']]),
('normal control 7', [[['st0', 100, 12], ['st1', 100, 8], ['st2', 100, 5]], 30],
[[['st0', 10, 2], ['st1', 10, -2], ['st2', 10, -5]], ['st0', 'st1', 'st2']]),
('normal control 8', [[['st0', 100, 0], ['st1', 80, 6], ['st2', 50, 7], ['st3', 80, 5]], 25],
[[['st0', 8, -8], ['st1', 6, 0], ['st2', 4, 3], ['st3', 6, -1]], ['st0', 'st2']])],
[('regression: target rounding 1', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),
('regression variant: target rounding 2',
[[['st0', 20, 9], ['st1', 50, 8], ['st2', 80, 0], ['st3', 80, 1], ['st4', 100, 9]], 7],
[[['st0', 0, 9], ['st1', 1, 7], ['st2', 2, -2], ['st3', 2, -1], ['st4', 2, 7]],
['st0', 'st1', 'st2', 'st4']]),
('partial repair guard 3', [[['st0', 20, 9], ['st1', 50, 11], ['st2', 50, 1]], 30],
[[['st0', 5, 4], ['st1', 13, -2], ['st2', 13, -12]], ['st0', 'st1', 'st2']]),
('boundary control 4', [[['a', 100, 2], ['b', 50, 5]], 9], [[['a', 6, -4], ['b', 3, 2]], ['a', 'b']]),
('normal control 5', [[['st0', 100, 7], ['st1', 80, 6]], 10], [[['st0', 6, 1], ['st1', 4, 2]], ['st1']]),
('normal control 6', [[['st0', 60, 0], ['st1', 20, 11], ['st2', 80, 7]], 30],
[[['st0', 11, -11], ['st1', 4, 7], ['st2', 15, -8]], ['st0', 'st1', 'st2']]),
('normal control 7', [[['st0', 20, 6], ['st1', 80, 12], ['st2', 50, 8], ['st3', 80, 0]], 25],
[[['st0', 2, 4], ['st1', 9, 3], ['st2', 5, 3], ['st3', 9, -9]], ['st0', 'st1', 'st2', 'st3']]),
('normal control 8', [[['st0', 80, 3], ['st1', 50, 9], ['st2', 20, 11]], 10],
[[['st0', 5, -2], ['st1', 3, 6], ['st2', 1, 10]], ['st0', 'st1', 'st2']])],
[('regression: target rounding 1', [[['a', 25, 1], ['b', 75, 4]], 10],
[[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),
('regression variant: target rounding 2', [[['st0', 100, 11], ['st1', 60, 1], ['st2', 20, 2]], 7],
[[['st0', 4, 7], ['st1', 2, -1], ['st2', 1, 1]], ['st0']]),
('partial repair guard 3', [[['st0', 60, 4], ['st1', 100, 3]], 20],
[[['st0', 8, -4], ['st1', 13, -10]], ['st0', 'st1']]),
('boundary control 4', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),
('normal control 5', [[['st0', 60, 7], ['st1', 50, 10]], 25],
[[['st0', 14, -7], ['st1', 11, -1]], ['st0']]),
('normal control 6', [[['st0', 100, 8], ['st1', 60, 0], ['st2', 100, 7], ['st3', 80, 7]], 25],
[[['st0', 7, 1], ['st1', 4, -4], ['st2', 7, 0], ['st3', 6, 1]], ['st1']]),
('normal control 7',
[[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],
[[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],
['st0', 'st2', 'st3', 'st4']]),
('normal control 8', [[['st0', 20, 11], ['st1', 60, 9]], 25],
[[['st0', 6, 5], ['st1', 19, -10]], ['st0', 'st1']])],
[('regression: target rounding 1',
[[['st0', 50, 4], ['st1', 100, 7], ['st2', 20, 4], ['st3', 60, 7], ['st4', 50, 0]], 25],
[[['st0', 4, 0], ['st1', 9, -2], ['st2', 2, 2], ['st3', 5, 2], ['st4', 4, -4]],
['st1', 'st2', 'st3', 'st4']]),
('regression variant: target rounding 2', [[['st0', 50, 9], ['st1', 80, 1], ['st2', 20, 4]], 20],
[[['st0', 7, 2], ['st1', 11, -10], ['st2', 3, 1]], ['st0', 'st1']]),
('partial repair guard 3',
[[['st0', 50, 8], ['st1', 80, 11], ['st2', 80, 1], ['st3', 20, 12], ['st4', 50, 9]], 7],
[[['st0', 1, 7], ['st1', 2, 9], ['st2', 2, -1], ['st3', 1, 11], ['st4', 1, 8]],
['st0', 'st1', 'st3', 'st4']]),
('boundary control 4', [[['a', 50, 5], ['b', 50, 5]], 5], [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),
('normal control 5',
[[['st0', 100, 5], ['st1', 80, 7], ['st2', 20, 10], ['st3', 100, 8], ['st4', 100, 7]], 15],
[[['st0', 4, 1], ['st1', 3, 4], ['st2', 1, 9], ['st3', 4, 4], ['st4', 4, 3]],
['st1', 'st2', 'st3', 'st4']]),
('normal control 6', [[['st0', 100, 11], ['st1', 60, 3], ['st2', 20, 6], ['st3', 20, 12]], 10],
[[['st0', 5, 6], ['st1', 3, 0], ['st2', 1, 5], ['st3', 1, 11]], ['st0', 'st2', 'st3']]),
('normal control 7', [[['st0', 100, 7], ['st1', 60, 11], ['st2', 100, 8], ['st3', 60, 4]], 25],
[[['st0', 8, -1], ['st1', 5, 6], ['st2', 8, 0], ['st3', 5, -1]], ['st1']]),
('normal control 8', [[['st0', 80, 5], ['st1', 100, 8], ['st2', 20, 1]], 7],
[[['st0', 3, 2], ['st1', 4, 4], ['st2', 1, 0]], ['st0', 'st1']])]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: target rounding 1 | [[['a', 2, 3], ['b', 2, 3]], ['a', 'b']] | [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']] | Failed |
| regression variant: target rounding 2 | [[['st0', 5, -1], ['st1', 3, 1], ['st2', 3, 4], ['st3', 2, 4]], ['st2', 'st3']] | [[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']] | Failed |
| partial repair guard 3 | [[['st0', 12, -12], ['st1', 12, -12]], ['st0', 'st1']] | [[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']] | Failed |
| boundary control 4 | [[['a', 2, -1], ['b', 7, -3]], ['b']] | [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']] | Failed |
| normal control 5 | [[['st0', 16, -16], ['st1', 13, -4]], ['st0', 'st1']] | [[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']] | Failed |
| normal control 6 | [[['st0', 3, -1], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]], ['st1', 'st2', 'st3', 'st4']] | [[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]], ['st0', 'st1', 'st2', 'st3', 'st4']] | Failed |
| normal control 7 | [[['st0', 5, -2], ['st1', 1, 2], ['st2', 6, 4], ['st3', 5, 5], ['st4', 5, 5]], ['st0', 'st1', 'st2', 'st3', 'st4']] | [[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]], ['st0', 'st1', 'st2', 'st3', 'st4']] | Failed |
| normal control 8 | [[['st0', 2, -2], ['st1', 0, 2], ['st2', 3, 6], ['st3', 3, 4], ['st4', 0, 10]], ['st0', 'st1', 'st2', 'st3', 'st4']] | [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]], ['st0', 'st2', 'st3', 'st4']] | Failed |
SHA-256 / 6b2b58518e65e47333fdbf6339f6ef98dfa9392e1ec7fb41cd8c98aee6800bbd
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(staff, total):
tot_fte = sum(f for n, f, a in staff)
rows = []
flag = []
for n, f, a in staff:
num = total * f * 2 + tot_fte
target = round(total * f / tot_fte) if tot_fte else 0
dev = a - target
rows.append([n, target, dev])
if abs(dev) > 1:
flag.append(n)
return [rows, flag]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: target rounding 1', [[['a', 50, 5], ['b', 50, 5]], 5],
[[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),
('regression variant: target rounding 2',
[[['st0', 100, 4], ['st1', 60, 4], ['st2', 60, 7], ['st3', 50, 6]], 15],
[[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']]),
('partial repair guard 3', [[['st0', 100, 0], ['st1', 100, 0]], 25],
[[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']]),
('boundary control 4', [[['a', 25, 1], ['b', 75, 4]], 10], [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),
('normal control 5', [[['st0', 100, 0], ['st1', 80, 9]], 30],
[[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']]),
('normal control 6',
[[['st0', 60, 2], ['st1', 100, 8], ['st2', 100, 12], ['st3', 50, 5], ['st4', 20, 8]], 20],
[[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]],
['st0', 'st1', 'st2', 'st3', 'st4']]),
('normal control 7',
[[['st0', 80, 3], ['st1', 20, 3], ['st2', 100, 10], ['st3', 80, 10], ['st4', 80, 10]], 25],
[[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]],
['st0', 'st1', 'st2', 'st3', 'st4']]),
('normal control 8',
[[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],
[[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],
['st0', 'st2', 'st3', 'st4']])],
[('regression: target rounding 1', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),
('regression variant: target rounding 2',
[[['st0', 50, 2], ['st1', 20, 8], ['st2', 50, 6], ['st3', 100, 8], ['st4', 20, 4]], 10],
[[['st0', 2, 0], ['st1', 1, 7], ['st2', 2, 4], ['st3', 4, 4], ['st4', 1, 3]],
['st1', 'st2', 'st3', 'st4']]),
('partial repair guard 3', [[['st0', 60, 12], ['st1', 80, 0], ['st2', 20, 3]], 20],
[[['st0', 8, 4], ['st1', 10, -10], ['st2', 3, 0]], ['st0', 'st1']]),
('normal control 4', [[['st0', 60, 8], ['st1', 50, 8]], 7],
[[['st0', 4, 4], ['st1', 3, 5]], ['st0', 'st1']]),
('normal control 5', [[['st0', 60, 10], ['st1', 100, 6]], 25],
[[['st0', 9, 1], ['st1', 16, -10]], ['st1']]),
('normal control 6', [[['st0', 100, 1], ['st1', 20, 12], ['st2', 60, 0], ['st3', 100, 2]], 15],
[[['st0', 5, -4], ['st1', 1, 11], ['st2', 3, -3], ['st3', 5, -3]], ['st0', 'st1', 'st2', 'st3']]),
('normal control 7', [[['st0', 100, 12], ['st1', 100, 8], ['st2', 100, 5]], 30],
[[['st0', 10, 2], ['st1', 10, -2], ['st2', 10, -5]], ['st0', 'st1', 'st2']]),
('normal control 8', [[['st0', 100, 0], ['st1', 80, 6], ['st2', 50, 7], ['st3', 80, 5]], 25],
[[['st0', 8, -8], ['st1', 6, 0], ['st2', 4, 3], ['st3', 6, -1]], ['st0', 'st2']])],
[('regression: target rounding 1', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),
('regression variant: target rounding 2',
[[['st0', 20, 9], ['st1', 50, 8], ['st2', 80, 0], ['st3', 80, 1], ['st4', 100, 9]], 7],
[[['st0', 0, 9], ['st1', 1, 7], ['st2', 2, -2], ['st3', 2, -1], ['st4', 2, 7]],
['st0', 'st1', 'st2', 'st4']]),
('partial repair guard 3', [[['st0', 20, 9], ['st1', 50, 11], ['st2', 50, 1]], 30],
[[['st0', 5, 4], ['st1', 13, -2], ['st2', 13, -12]], ['st0', 'st1', 'st2']]),
('boundary control 4', [[['a', 100, 2], ['b', 50, 5]], 9], [[['a', 6, -4], ['b', 3, 2]], ['a', 'b']]),
('normal control 5', [[['st0', 100, 7], ['st1', 80, 6]], 10], [[['st0', 6, 1], ['st1', 4, 2]], ['st1']]),
('normal control 6', [[['st0', 60, 0], ['st1', 20, 11], ['st2', 80, 7]], 30],
[[['st0', 11, -11], ['st1', 4, 7], ['st2', 15, -8]], ['st0', 'st1', 'st2']]),
('normal control 7', [[['st0', 20, 6], ['st1', 80, 12], ['st2', 50, 8], ['st3', 80, 0]], 25],
[[['st0', 2, 4], ['st1', 9, 3], ['st2', 5, 3], ['st3', 9, -9]], ['st0', 'st1', 'st2', 'st3']]),
('normal control 8', [[['st0', 80, 3], ['st1', 50, 9], ['st2', 20, 11]], 10],
[[['st0', 5, -2], ['st1', 3, 6], ['st2', 1, 10]], ['st0', 'st1', 'st2']])],
[('regression: target rounding 1', [[['a', 25, 1], ['b', 75, 4]], 10],
[[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),
('regression variant: target rounding 2', [[['st0', 100, 11], ['st1', 60, 1], ['st2', 20, 2]], 7],
[[['st0', 4, 7], ['st1', 2, -1], ['st2', 1, 1]], ['st0']]),
('partial repair guard 3', [[['st0', 60, 4], ['st1', 100, 3]], 20],
[[['st0', 8, -4], ['st1', 13, -10]], ['st0', 'st1']]),
('boundary control 4', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),
('normal control 5', [[['st0', 60, 7], ['st1', 50, 10]], 25],
[[['st0', 14, -7], ['st1', 11, -1]], ['st0']]),
('normal control 6', [[['st0', 100, 8], ['st1', 60, 0], ['st2', 100, 7], ['st3', 80, 7]], 25],
[[['st0', 7, 1], ['st1', 4, -4], ['st2', 7, 0], ['st3', 6, 1]], ['st1']]),
('normal control 7',
[[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],
[[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],
['st0', 'st2', 'st3', 'st4']]),
('normal control 8', [[['st0', 20, 11], ['st1', 60, 9]], 25],
[[['st0', 6, 5], ['st1', 19, -10]], ['st0', 'st1']])],
[('regression: target rounding 1',
[[['st0', 50, 4], ['st1', 100, 7], ['st2', 20, 4], ['st3', 60, 7], ['st4', 50, 0]], 25],
[[['st0', 4, 0], ['st1', 9, -2], ['st2', 2, 2], ['st3', 5, 2], ['st4', 4, -4]],
['st1', 'st2', 'st3', 'st4']]),
('regression variant: target rounding 2', [[['st0', 50, 9], ['st1', 80, 1], ['st2', 20, 4]], 20],
[[['st0', 7, 2], ['st1', 11, -10], ['st2', 3, 1]], ['st0', 'st1']]),
('partial repair guard 3',
[[['st0', 50, 8], ['st1', 80, 11], ['st2', 80, 1], ['st3', 20, 12], ['st4', 50, 9]], 7],
[[['st0', 1, 7], ['st1', 2, 9], ['st2', 2, -1], ['st3', 1, 11], ['st4', 1, 8]],
['st0', 'st1', 'st3', 'st4']]),
('boundary control 4', [[['a', 50, 5], ['b', 50, 5]], 5], [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),
('normal control 5',
[[['st0', 100, 5], ['st1', 80, 7], ['st2', 20, 10], ['st3', 100, 8], ['st4', 100, 7]], 15],
[[['st0', 4, 1], ['st1', 3, 4], ['st2', 1, 9], ['st3', 4, 4], ['st4', 4, 3]],
['st1', 'st2', 'st3', 'st4']]),
('normal control 6', [[['st0', 100, 11], ['st1', 60, 3], ['st2', 20, 6], ['st3', 20, 12]], 10],
[[['st0', 5, 6], ['st1', 3, 0], ['st2', 1, 5], ['st3', 1, 11]], ['st0', 'st2', 'st3']]),
('normal control 7', [[['st0', 100, 7], ['st1', 60, 11], ['st2', 100, 8], ['st3', 60, 4]], 25],
[[['st0', 8, -1], ['st1', 5, 6], ['st2', 8, 0], ['st3', 5, -1]], ['st1']]),
('normal control 8', [[['st0', 80, 5], ['st1', 100, 8], ['st2', 20, 1]], 7],
[[['st0', 3, 2], ['st1', 4, 4], ['st2', 1, 0]], ['st0', 'st1']])]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: target rounding 1 | [[['a', 2, 3], ['b', 2, 3]], ['a', 'b']] | [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']] | Failed |
| regression variant: target rounding 2 | [[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']] | [[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']] | Passed |
| partial repair guard 3 | [[['st0', 12, -12], ['st1', 12, -12]], ['st0', 'st1']] | [[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']] | Failed |
| boundary control 4 | [[['a', 2, -1], ['b', 8, -4]], ['b']] | [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']] | Failed |
| normal control 5 | [[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']] | [[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']] | Passed |
| normal control 6 | [[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]], ['st0', 'st1', 'st2', 'st3', 'st4']] | [[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]], ['st0', 'st1', 'st2', 'st3', 'st4']] | Passed |
| normal control 7 | [[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]], ['st0', 'st1', 'st2', 'st3', 'st4']] | [[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]], ['st0', 'st1', 'st2', 'st3', 'st4']] | Passed |
| normal control 8 | [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]], ['st0', 'st2', 'st3', 'st4']] | [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]], ['st0', 'st2', 'st3', 'st4']] | Passed |
SHA-256 / 2284aa8247cd194d5404e5e97539795df5f73a1f2c78ae1763929c1be12ffd62
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(staff, total):
tot_fte = sum(f for n, f, a in staff)
rows = []
flag = []
for n, f, a in staff:
num = total * f * 2 + tot_fte
target = num // (2 * tot_fte) if tot_fte else 0
dev = a - target
rows.append([n, target, dev])
if abs(dev) > 1:
flag.append(n)
return [rows, flag]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: target rounding 1', [[['a', 50, 5], ['b', 50, 5]], 5],
[[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),
('regression variant: target rounding 2',
[[['st0', 100, 4], ['st1', 60, 4], ['st2', 60, 7], ['st3', 50, 6]], 15],
[[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']]),
('partial repair guard 3', [[['st0', 100, 0], ['st1', 100, 0]], 25],
[[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']]),
('boundary control 4', [[['a', 25, 1], ['b', 75, 4]], 10], [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),
('normal control 5', [[['st0', 100, 0], ['st1', 80, 9]], 30],
[[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']]),
('normal control 6',
[[['st0', 60, 2], ['st1', 100, 8], ['st2', 100, 12], ['st3', 50, 5], ['st4', 20, 8]], 20],
[[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]],
['st0', 'st1', 'st2', 'st3', 'st4']]),
('normal control 7',
[[['st0', 80, 3], ['st1', 20, 3], ['st2', 100, 10], ['st3', 80, 10], ['st4', 80, 10]], 25],
[[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]],
['st0', 'st1', 'st2', 'st3', 'st4']]),
('normal control 8',
[[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],
[[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],
['st0', 'st2', 'st3', 'st4']])],
[('regression: target rounding 1', [[['a', 50, 3], ['b', 50, 2]], 7], [[['a', 4, -1], ['b', 4, -2]], ['b']]),
('regression variant: target rounding 2',
[[['st0', 50, 2], ['st1', 20, 8], ['st2', 50, 6], ['st3', 100, 8], ['st4', 20, 4]], 10],
[[['st0', 2, 0], ['st1', 1, 7], ['st2', 2, 4], ['st3', 4, 4], ['st4', 1, 3]],
['st1', 'st2', 'st3', 'st4']]),
('partial repair guard 3', [[['st0', 60, 12], ['st1', 80, 0], ['st2', 20, 3]], 20],
[[['st0', 8, 4], ['st1', 10, -10], ['st2', 3, 0]], ['st0', 'st1']]),
('normal control 4', [[['st0', 60, 8], ['st1', 50, 8]], 7],
[[['st0', 4, 4], ['st1', 3, 5]], ['st0', 'st1']]),
('normal control 5', [[['st0', 60, 10], ['st1', 100, 6]], 25],
[[['st0', 9, 1], ['st1', 16, -10]], ['st1']]),
('normal control 6', [[['st0', 100, 1], ['st1', 20, 12], ['st2', 60, 0], ['st3', 100, 2]], 15],
[[['st0', 5, -4], ['st1', 1, 11], ['st2', 3, -3], ['st3', 5, -3]], ['st0', 'st1', 'st2', 'st3']]),
('normal control 7', [[['st0', 100, 12], ['st1', 100, 8], ['st2', 100, 5]], 30],
[[['st0', 10, 2], ['st1', 10, -2], ['st2', 10, -5]], ['st0', 'st1', 'st2']]),
('normal control 8', [[['st0', 100, 0], ['st1', 80, 6], ['st2', 50, 7], ['st3', 80, 5]], 25],
[[['st0', 8, -8], ['st1', 6, 0], ['st2', 4, 3], ['st3', 6, -1]], ['st0', 'st2']])],
[('regression: target rounding 1', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),
('regression variant: target rounding 2',
[[['st0', 20, 9], ['st1', 50, 8], ['st2', 80, 0], ['st3', 80, 1], ['st4', 100, 9]], 7],
[[['st0', 0, 9], ['st1', 1, 7], ['st2', 2, -2], ['st3', 2, -1], ['st4', 2, 7]],
['st0', 'st1', 'st2', 'st4']]),
('partial repair guard 3', [[['st0', 20, 9], ['st1', 50, 11], ['st2', 50, 1]], 30],
[[['st0', 5, 4], ['st1', 13, -2], ['st2', 13, -12]], ['st0', 'st1', 'st2']]),
('boundary control 4', [[['a', 100, 2], ['b', 50, 5]], 9], [[['a', 6, -4], ['b', 3, 2]], ['a', 'b']]),
('normal control 5', [[['st0', 100, 7], ['st1', 80, 6]], 10], [[['st0', 6, 1], ['st1', 4, 2]], ['st1']]),
('normal control 6', [[['st0', 60, 0], ['st1', 20, 11], ['st2', 80, 7]], 30],
[[['st0', 11, -11], ['st1', 4, 7], ['st2', 15, -8]], ['st0', 'st1', 'st2']]),
('normal control 7', [[['st0', 20, 6], ['st1', 80, 12], ['st2', 50, 8], ['st3', 80, 0]], 25],
[[['st0', 2, 4], ['st1', 9, 3], ['st2', 5, 3], ['st3', 9, -9]], ['st0', 'st1', 'st2', 'st3']]),
('normal control 8', [[['st0', 80, 3], ['st1', 50, 9], ['st2', 20, 11]], 10],
[[['st0', 5, -2], ['st1', 3, 6], ['st2', 1, 10]], ['st0', 'st1', 'st2']])],
[('regression: target rounding 1', [[['a', 25, 1], ['b', 75, 4]], 10],
[[['a', 3, -2], ['b', 8, -4]], ['a', 'b']]),
('regression variant: target rounding 2', [[['st0', 100, 11], ['st1', 60, 1], ['st2', 20, 2]], 7],
[[['st0', 4, 7], ['st1', 2, -1], ['st2', 1, 1]], ['st0']]),
('partial repair guard 3', [[['st0', 60, 4], ['st1', 100, 3]], 20],
[[['st0', 8, -4], ['st1', 13, -10]], ['st0', 'st1']]),
('boundary control 4', [[['a', 100, 3], ['b', 100, 4]], 7], [[['a', 4, -1], ['b', 4, 0]], []]),
('normal control 5', [[['st0', 60, 7], ['st1', 50, 10]], 25],
[[['st0', 14, -7], ['st1', 11, -1]], ['st0']]),
('normal control 6', [[['st0', 100, 8], ['st1', 60, 0], ['st2', 100, 7], ['st3', 80, 7]], 25],
[[['st0', 7, 1], ['st1', 4, -4], ['st2', 7, 0], ['st3', 6, 1]], ['st1']]),
('normal control 7',
[[['st0', 60, 0], ['st1', 20, 2], ['st2', 80, 9], ['st3', 80, 7], ['st4', 20, 10]], 10],
[[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]],
['st0', 'st2', 'st3', 'st4']]),
('normal control 8', [[['st0', 20, 11], ['st1', 60, 9]], 25],
[[['st0', 6, 5], ['st1', 19, -10]], ['st0', 'st1']])],
[('regression: target rounding 1',
[[['st0', 50, 4], ['st1', 100, 7], ['st2', 20, 4], ['st3', 60, 7], ['st4', 50, 0]], 25],
[[['st0', 4, 0], ['st1', 9, -2], ['st2', 2, 2], ['st3', 5, 2], ['st4', 4, -4]],
['st1', 'st2', 'st3', 'st4']]),
('regression variant: target rounding 2', [[['st0', 50, 9], ['st1', 80, 1], ['st2', 20, 4]], 20],
[[['st0', 7, 2], ['st1', 11, -10], ['st2', 3, 1]], ['st0', 'st1']]),
('partial repair guard 3',
[[['st0', 50, 8], ['st1', 80, 11], ['st2', 80, 1], ['st3', 20, 12], ['st4', 50, 9]], 7],
[[['st0', 1, 7], ['st1', 2, 9], ['st2', 2, -1], ['st3', 1, 11], ['st4', 1, 8]],
['st0', 'st1', 'st3', 'st4']]),
('boundary control 4', [[['a', 50, 5], ['b', 50, 5]], 5], [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']]),
('normal control 5',
[[['st0', 100, 5], ['st1', 80, 7], ['st2', 20, 10], ['st3', 100, 8], ['st4', 100, 7]], 15],
[[['st0', 4, 1], ['st1', 3, 4], ['st2', 1, 9], ['st3', 4, 4], ['st4', 4, 3]],
['st1', 'st2', 'st3', 'st4']]),
('normal control 6', [[['st0', 100, 11], ['st1', 60, 3], ['st2', 20, 6], ['st3', 20, 12]], 10],
[[['st0', 5, 6], ['st1', 3, 0], ['st2', 1, 5], ['st3', 1, 11]], ['st0', 'st2', 'st3']]),
('normal control 7', [[['st0', 100, 7], ['st1', 60, 11], ['st2', 100, 8], ['st3', 60, 4]], 25],
[[['st0', 8, -1], ['st1', 5, 6], ['st2', 8, 0], ['st3', 5, -1]], ['st1']]),
('normal control 8', [[['st0', 80, 5], ['st1', 100, 8], ['st2', 20, 1]], 7],
[[['st0', 3, 2], ['st1', 4, 4], ['st2', 1, 0]], ['st0', 'st1']])]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: target rounding 1 | [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']] | [[['a', 3, 2], ['b', 3, 2]], ['a', 'b']] | Passed |
| regression variant: target rounding 2 | [[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']] | [[['st0', 6, -2], ['st1', 3, 1], ['st2', 3, 4], ['st3', 3, 3]], ['st0', 'st2', 'st3']] | Passed |
| partial repair guard 3 | [[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']] | [[['st0', 13, -13], ['st1', 13, -13]], ['st0', 'st1']] | Passed |
| boundary control 4 | [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']] | [[['a', 3, -2], ['b', 8, -4]], ['a', 'b']] | Passed |
| normal control 5 | [[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']] | [[['st0', 17, -17], ['st1', 13, -4]], ['st0', 'st1']] | Passed |
| normal control 6 | [[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]], ['st0', 'st1', 'st2', 'st3', 'st4']] | [[['st0', 4, -2], ['st1', 6, 2], ['st2', 6, 6], ['st3', 3, 2], ['st4', 1, 7]], ['st0', 'st1', 'st2', 'st3', 'st4']] | Passed |
| normal control 7 | [[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]], ['st0', 'st1', 'st2', 'st3', 'st4']] | [[['st0', 6, -3], ['st1', 1, 2], ['st2', 7, 3], ['st3', 6, 4], ['st4', 6, 4]], ['st0', 'st1', 'st2', 'st3', 'st4']] | Passed |
| normal control 8 | [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]], ['st0', 'st2', 'st3', 'st4']] | [[['st0', 2, -2], ['st1', 1, 1], ['st2', 3, 6], ['st3', 3, 4], ['st4', 1, 9]], ['st0', 'st2', 'st3', 'st4']] | Passed |
SHA-256 / a28fe401ed63e05fc0387d24eb305c1f9130ab9d018e392d86b85c93ee72cd07
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:52:07.252647+00:00.
Case digest / 218a65e0683ac26933b45f81a5ad5c05a1f29dbb6f364106bcc6c3a3b64f9fd9