FA-94602 / Exam timetabling constraints / Member archive

Teaching commitment blocks the whole day · case 02

Invigilators teaching one period cannot be assigned any duty that day.

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: busy period granularity 1	`[["ann", "MATH-101", "busy"], ["cy", "CHEM-110", "own_subject"]]`	`[["cy", "CHEM-110", "own_subject"]]`	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.