FA-64551 / Clinical triage scoring / Open access
Waiting room queue ordering with overdue escalation: overdue comparison · case 01
Patients exactly at their target wait are flagged overdue, including level 1 patients just arrived.
ROOT CAUSE
The overdue check uses >= instead of strictly exceeding the target.
THE FAILURE
The overdue check uses >= instead of strictly exceeding the target.
Unsuccessful approach: Excluding level 1 from the check hides level 1 patients who have waited.
Case contract
Input {now, patients [{id, level, arrival, retriage (or null)}]}. Effective level = retriage when present (up or down), else level. Target waits: 1:0, 2:10, 3:30, 4:60, 5:120 minutes. A patient whose wait strictly exceeds the target of the effective level is overdue and moves up one priority (never above 1). Order by (priority, arrival, id). Return {order, overdue (sorted ids)}.
Why this case matters
Queue ordering with re-triage and time escalation mixes several keys; the chosen level, comparison and tie-break are separate faults.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
target = {1: 0, 2: 10, 3: 30, 4: 60, 5: 120}
rows, overdue = [], []
for p in x['patients']:
lvl = p['retriage'] if p['retriage'] is not None else p['level']
wait = x['now'] - p['arrival']
pr = lvl
if wait >= target[lvl]:
overdue.append(p['id'])
pr = max(1, lvl - 1)
rows.append((pr, p['arrival'], p['id']))
rows.sort()
return {'order': [r[2] for r in rows], 'overdue': sorted(overdue)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 91, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 81, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 79, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 93, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 98, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 91, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 194, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b1', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a1', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 11, 'retriage': None}]},
{'order': ['c', 'a1', 'b1'], 'overdue': []})],
[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 92, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 82, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 78, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 94, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 97, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 92, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 193, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b2', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a2', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 12, 'retriage': None}]},
{'order': ['c', 'a2', 'b2'], 'overdue': []})],
[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 93, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 83, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 77, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 96, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 93, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 192, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b3', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a3', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 13, 'retriage': None}]},
{'order': ['c', 'a3', 'b3'], 'overdue': []})],
[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 94, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 84, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 76, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 96, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 95, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 94, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 191, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b4', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a4', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 14, 'retriage': None}]},
{'order': ['c', 'a4', 'b4'], 'overdue': []})],
[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 85, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 75, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 97, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 94, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 95, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 190, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b5', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a5', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 15, 'retriage': None}]},
{'order': ['c', 'a5', 'b5'], 'overdue': []})]]
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 |
|---|---|---|---|
| downgraded on re-triage | {'order': ['b', 'a'], 'overdue': []} | {'order': ['b', 'a'], 'overdue': []} | Passed |
| upgraded on re-triage | {'order': ['a', 'b'], 'overdue': ['a']} | {'order': ['a', 'b'], 'overdue': []} | Failed |
| downgraded patient overdue by new target | {'order': ['b', 'a'], 'overdue': []} | {'order': ['b', 'a'], 'overdue': []} | Passed |
| wait exactly at target | {'order': ['c', 'a', 'b'], 'overdue': ['a', 'c']} | {'order': ['c', 'b', 'a'], 'overdue': []} | Failed |
| level one waiting | {'order': ['b', 'a'], 'overdue': ['a', 'b']} | {'order': ['b', 'a'], 'overdue': ['a', 'b']} | Passed |
| escalated level two ties with level one | {'order': ['b', 'a'], 'overdue': ['a', 'b']} | {'order': ['b', 'a'], 'overdue': ['a', 'b']} | Passed |
| escalated three ties with native two | {'order': ['y', 'x'], 'overdue': ['y']} | {'order': ['y', 'x'], 'overdue': ['y']} | Passed |
| same arrival id tie-break | {'order': ['c', 'a1', 'b1'], 'overdue': []} | {'order': ['c', 'a1', 'b1'], 'overdue': []} | Passed |
SHA-256 / f98c25400609b1cc164d9e143ad4756625e5895e0fbf05071847309ea9b61f78
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
target = {1: 0, 2: 10, 3: 30, 4: 60, 5: 120}
rows, overdue = [], []
for p in x['patients']:
lvl = p['retriage'] if p['retriage'] is not None else p['level']
wait = x['now'] - p['arrival']
pr = lvl
if wait > target[lvl] and lvl > 1:
overdue.append(p['id'])
pr = max(1, lvl - 1)
rows.append((pr, p['arrival'], p['id']))
rows.sort()
return {'order': [r[2] for r in rows], 'overdue': sorted(overdue)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 91, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 81, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 79, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 93, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 98, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 91, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 194, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b1', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a1', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 11, 'retriage': None}]},
{'order': ['c', 'a1', 'b1'], 'overdue': []})],
[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 92, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 82, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 78, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 94, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 97, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 92, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 193, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b2', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a2', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 12, 'retriage': None}]},
{'order': ['c', 'a2', 'b2'], 'overdue': []})],
[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 93, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 83, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 77, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 96, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 93, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 192, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b3', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a3', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 13, 'retriage': None}]},
{'order': ['c', 'a3', 'b3'], 'overdue': []})],
[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 94, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 84, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 76, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 96, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 95, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 94, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 191, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b4', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a4', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 14, 'retriage': None}]},
{'order': ['c', 'a4', 'b4'], 'overdue': []})],
[('downgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 95, 'retriage': 4},
{'id': 'b', 'level': 3, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('upgraded on re-triage',
{'now': 100,
'patients': [{'id': 'a', 'level': 4, 'arrival': 90, 'retriage': 2},
{'id': 'b', 'level': 3, 'arrival': 85, 'retriage': None}]},
{'order': ['a', 'b'], 'overdue': []}),
('downgraded patient overdue by new target',
{'now': 100,
'patients': [{'id': 'a', 'level': 2, 'arrival': 75, 'retriage': 3},
{'id': 'b', 'level': 2, 'arrival': 95, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': []}),
('wait exactly at target',
{'now': 100,
'patients': [{'id': 'a', 'level': 3, 'arrival': 70, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 97, 'retriage': None},
{'id': 'c', 'level': 1, 'arrival': 100, 'retriage': None}]},
{'order': ['c', 'b', 'a'], 'overdue': []}),
('level one waiting',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 94, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 50, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated level two ties with level one',
{'now': 100,
'patients': [{'id': 'a', 'level': 1, 'arrival': 95, 'retriage': None},
{'id': 'b', 'level': 2, 'arrival': 80, 'retriage': None}]},
{'order': ['b', 'a'], 'overdue': ['a', 'b']}),
('escalated three ties with native two',
{'now': 200,
'patients': [{'id': 'x', 'level': 2, 'arrival': 190, 'retriage': None},
{'id': 'y', 'level': 3, 'arrival': 150, 'retriage': None}]},
{'order': ['y', 'x'], 'overdue': ['y']}),
('same arrival id tie-break',
{'now': 60,
'patients': [{'id': 'b5', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'a5', 'level': 4, 'arrival': 30, 'retriage': None},
{'id': 'c', 'level': 4, 'arrival': 15, 'retriage': None}]},
{'order': ['c', 'a5', 'b5'], 'overdue': []})]]
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 |
|---|---|---|---|
| downgraded on re-triage | {'order': ['b', 'a'], 'overdue': []} | {'order': ['b', 'a'], 'overdue': []} | Passed |
| upgraded on re-triage | {'order': ['a', 'b'], 'overdue': []} | {'order': ['a', 'b'], 'overdue': []} | Passed |
| downgraded patient overdue by new target | {'order': ['b', 'a'], 'overdue': []} | {'order': ['b', 'a'], 'overdue': []} | Passed |
| wait exactly at target | {'order': ['c', 'b', 'a'], 'overdue': []} | {'order': ['c', 'b', 'a'], 'overdue': []} | Passed |
| level one waiting | {'order': ['b', 'a'], 'overdue': ['b']} | {'order': ['b', 'a'], 'overdue': ['a', 'b']} | Failed |
| escalated level two ties with level one | {'order': ['b', 'a'], 'overdue': ['b']} | {'order': ['b', 'a'], 'overdue': ['a', 'b']} | Failed |
| escalated three ties with native two | {'order': ['y', 'x'], 'overdue': ['y']} | {'order': ['y', 'x'], 'overdue': ['y']} | Passed |
| same arrival id tie-break | {'order': ['c', 'a1', 'b1'], 'overdue': []} | {'order': ['c', 'a1', 'b1'], 'overdue': []} | Passed |
SHA-256 / ebaa85fc09fa3cf00aacf29f52263e1ef5920180d4286a7ce86b5dbddf50d533
HELD IN THE MEMBER ARCHIVE
The verified repair and its recorded checks are member-only.
This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.
Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.
Member access is invitation-based. Sign in with your invited account to inspect the repair.
Sign in to the archive ↗Verification & scope
A deterministic toy software model with explicitly stipulated thresholds and formulas; it is not clinical guidance, not a validated medical calculator, and makes no claim of conformance to any published protocol. Numbered variants vary patient and order inputs. 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:47:25.593154+00:00.
Case digest / 6ab9ff3e53ad9bdf2f65fc9a4c056d7e4274c75b9c1a9f01af2b094a2e508c35