FA-67608 / Elevator dispatch scheduling / Member archive

Up-peak round trip time: probable stops · case 03

The number of probable stops is overstated.

Member previewVariant 3 · 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: fractional passenger load	`{"H": 11.38, "S": 10.4, "hc5": 67.66, "interval": 46.12, "rtt": 184.46}`	`{"H": 11.38, "S": 7.15, "hc5": 82.15, "interval": 37.98, "rtt": 151.91}`	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.