FA-94513 / Exam timetabling constraints / Member archive

Duplicated sitting rows count as extra exams · case 03

A repeated registration row pushes a student over the daily limit.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

sits [student, exam, start minute] (rows may repeat an exam). A student violates the limit if more than limit distinct exams start inside some half-open 24-hour window [t, t + 1440). Return [student, maximum count] for violators, by student.

Why this case matters

Maximum-exams-per-day rules are stated as rolling windows; calendar bucketing and inclusive windows both misreport.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: repeated exam rows 1	`[["s5", 3]]`	`[["s5", 2]]`	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.