FA-67218 / Railway interlocking logic / Member archive

Call-on permissive move authorisation: main aspect precedence · case 03

A train approaching a clear platform is refused a main aspect because it has not stood at the signal.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Without a route the answer is none. With the section ahead clear the main aspect is given. Into an occupied section a call-on is given only if the train has stood at the signal for at least 120 s and is stationary (0 km/h), the gap to the standing train is at least 20 m and that train is not moving; otherwise none.

Why this case matters

Interlocking logic decides whether trains may be given authority; a wrong decision at this point either grants unsafe movements or strands traffic.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: clear platform for a moving train	`"none"`	`"main"`	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.