FA-92054 / PLC ladder logic scan cycles / Member archive

Non-retentive outputs survive a power cycle · case 04

An output coil that was on before the power loss is reported on after prescan, before its rung has been solved.

Member previewVariant 4 · 3 implementations · 8 checks per implementation

Case contract

Latch (OTL), unlatch (OTU) and non-retentive output (OTE) rungs executed in program order each scan. rungs is a list of [instr, bit, condition_tag]; the rung is true when the condition input is true, or, for condition S:FS, on the first scan after power-up. A scan item {"power_cycle": true} models a power cycle: prescan clears only OTE destination bits, OTL/OTU bits are retentive, and the next scan is a first scan; it also reports the post-prescan state. OTL sets and OTU clears its bit only when its rung is true; the later rung wins. Return the sorted true bits after each item.

Why this case matters

Ladder programs are executed as repeated scans; each defect here changes what a rung, timer, counter or data-table instruction reports on a particular scan, which is how commissioning and field faults are actually observed.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: scenario 11	`[["B:1"], ["B:1"], ["B:0", "B:1"], ["B:0", "B:1"], ["B:0", "B:1"], ["B:1"]]`	`[["B:1"], ["B:1"], ["B:0", "B:1"], ["B:1"], ["B:1"], ["B:1"]]`	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.