FA-94534 / Exam timetabling constraints / Member archive

Seat labels use zero-based column numbers · case 04

Candidates are directed to seat A0, which does not exist on the floor plan.

Member previewVariant 4 · 3 implementations · 8 checks per implementation

Case contract

Candidates [id, surname, given, access flag], rooms [room, rows, cols]. Non-access candidates are sorted by case-folded surname, case-folded given name, then id, and take alternate seats (even row and even column indices) room by room in row-major order, labelled room-<row letter><column number>; candidates beyond the seats are UNSEATED. Access candidates go to SEP-1, SEP-2... in the same order. Return id -> seat.

Why this case matters

Seating plans are generated from the timetable's room allocation and must be deterministic and fair.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: seat column label 1	`{"C1": "H1-A0", "C2": "SEP-1"}`	`{"C1": "H1-A1", "C2": "SEP-1"}`	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.