FA-94582 / Exam timetabling constraints / Member archive

Subject code taken as the first four characters · case 02

BIO invigilators are allowed to supervise BIO exams, while BIOL staff are blocked from BIO-201.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

duties [invigilator, exam, period]; teach invigilator -> busy periods; subj invigilator -> subject code; exam subject is the part of the exam id before "-". Findings: busy (duty in a busy period), own_subject, double (same invigilator already on duty that period), daily_max (reported once, on the first duty that exceeds maxday on a day = period // spd). Return sorted [invigilator, exam, finding] rows.

Why this case matters

Invigilation rosters must respect teaching commitments, conflict-of-interest rules and daily limits.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: subject code prefix 1	`[["bob", "BIO-201", "busy"], ["cy", "BIOL-300", "double"]]`	`[["ann", "BIO-201", "own_subject"], ["bob", "BIO-201", "busy"], ["cy", "BIOL-300", "double"]]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.