FA-67534 / Elevator dispatch scheduling / Member archive

Hall call waiting time statistics: mean rounding · case 04

The mean wait is one second high.

Member previewVariant 4 · 3 implementations · 8 checks per implementation

Case contract

Each hall call has a registration time and an answer time (None if still unanswered at end_s). Waits are answer - registration clamped at zero (clock skew); unanswered calls count with the censored wait end_s - registration. Report the integer mean (floor), per-mille of waits over 60 s (floor), the maximum and the count; all zeros when there are no calls.

Why this case matters

Lift group controllers make these decisions many times per minute; a wrong answer strands passengers, wastes trips or overrides a safety rule.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: mean with a remainder	`{"avg": 11, "count": 3, "long_permille": 0, "max": 11}`	`{"avg": 10, "count": 3, "long_permille": 0, "max": 11}`	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.