FA-94612 / Exam timetabling constraints / Member archive
Travel gap measured between exam starts · case 02
Back-to-back sittings on different campuses pass because starts are far apart.
Case contract
sits [student, exam, start, end], campus exam -> campus, travel "X|Y" -> minutes stored in either order. For each student's consecutive sittings by start, the needed gap is the travel time between different campuses (0 for the same campus); if the gap from previous end to next start is smaller, report [student, previous exam, next exam, shortfall].
Why this case matters
Multi-campus exam timetables must leave travel time between a student's consecutive sittings.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: gap reference 1 | [] | [["s1", "A", "B", 10]] | 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.
Sign in to the archive ↗