Skip to content
nautilus nautilus nautilus

Verified: Not supported, by design

Each claim the Not supported, by design page makes, with the tests that prove it in the last green CI run: 2 of 8 verified, 3 with no test yet. The claims live in docs/claims/not-supported.yaml.

Last green CI run 16 Oct 2026, 14:48 UTC on c7618d3 · all runtime claims

NS-001 partly verified

Ladder JMP and LBL are rejected; rungs run top to bottom every scan.

where the docs say so · JMP and LBL are refused by naut check. "Rungs run top to bottom every scan" is not asserted here; LD-014, which carries it, is partial.

NS-002 verified

Ladder MCR zones are rejected.

where the docs say so

NS-003 no test yet

There is no library manager; shared blocks live in lib/ and are vendored with git.

where the docs say so · A decline of a feature; nothing to assert beyond lib/ composition (see ST-046).

NS-004 partly verified

There is no numeric SFC transition priority; declaration order defines a single deterministic outcome.

where the docs say so · Declaration-order outcome is tested; rejection of a numeric priority is not.

NS-005 no test yet

An SFC transition condition is one ST boolean expression; a condition written in LD or FBD is rejected.

where the docs say so · No test asserts that a non-ST condition is rejected. TestCheckEmptyCondition (dropped) asserts the empty-condition error, which says nothing about LD or FBD conditions.

NS-006 partly verified

SFC action bodies are ST; LD, FBD and IL action bodies are rejected.

where the docs say so · An IL action body is refused by naut check; LD and FBD action bodies are never tried.

  • pass TestCheckRejects/SFC IL action in cmd/naut

NS-007 no test yet

The vocabulary is the IEC standard; vendor idioms come only as an opt-in dialect: of blocks (logix in review; siemens and codesys reserved).

where the docs say so · No test asserts the default-off behaviour or the reserved dialect names.

NS-008 verified

Negated coils ( /Tag ) are rejected; use an NC contact or a reset coil.

where the docs say so

  • pass TestCheckRejects/negated coil in cmd/naut