FA-66994 / Railway interlocking logic / Member archive

Track circuit pick-up delay: failure sample handling · case 04

A receiver failure sample counts towards clearing the section.

Member previewVariant 4 · 3 implementations · 8 checks per implementation

Case contract

Samples arrive every period_ms: True is shunted, False unshunted, None a power or receiver failure. The section starts occupied. A shunt or a failure makes it occupied immediately and restarts the pick-up count; it becomes clear once consecutive unshunted samples span at least pickup_ms (count*period_ms >= pickup_ms). Output the state after every sample.

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: receiver failure on a clear section	`["occ", "clr", "clr", "clr"]`	`["occ", "clr", "occ", "occ"]`	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.