FA-94705 / Exam timetabling constraints / Member archive
Access-arrangement candidates counted as one seat · case 05
Spaced seating for access candidates overflows the hall.
Case contract
sits [student, exam, period, access]; cap period -> seats (missing = 0); mode exam -> paper/online (missing = paper). Each distinct (student, exam) uses one seat, two with an access arrangement, and none for online exams. Return [period, used, capacity] for periods over capacity, by period.
Why this case matters
Seat capacity per period is a hard constraint on which periods can take large exams.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: access seat weight 1 | [[0, 5, 3]] | [[0, 6, 3], [2, 4, 3]] | 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 ↗