FA-67605 / Elevator dispatch scheduling / Member archive

Up-peak round trip time: passenger load · case 05

Round trip times assume every car leaves the lobby full.

Member previewVariant 5 · 3 implementations · 8 checks per implementation

Case contract

Up-peak analysis with N floors above the lobby, P = 0.8*capacity passengers per trip (fractional), probable stops S = N(1-(1-1/N)^P), highest reversal floor H = N - sum_{i=1}^{N-1}(i/N)^P, RTT = 2*H*tv + (S+1)*ts + 2*P*tp, interval = RTT/cars and 5-minute handling capacity HC5 = 300*P*cars/RTT. Values rounded to 2 decimals.

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: tall office	`{"H": 19.26, "S": 11.2, "hc5": 136.01, "interval": 35.29, "rtt": 211.75}`	`{"H": 19.0, "S": 9.63, "hc5": 121.99, "interval": 31.48, "rtt": 188.87}`	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.