Each drawing exists to prove one engineering claim.

A radial system and a shared bus differ by one countable integer in the model.

The equipment is unchanged. One seven-terminal net makes the declared radial topology machine-rejectable.

Reverse feed, return paths, and multi-point isolation expose any directional connectivity shortcut.

A released START button can leave the circuit energized because the seal-in contact follows the coil.

A terminal schedule is a query over the same model, not a second dataset.

One physical contactor appears as three schematic parts on two sheets, with live cross-references derived from identity.

The 24 V source exists only while its 400 V input is live, and the protective-earth net never propagates energization.

Eighteen wire marks and thirty-eight terminal assignments come from the complete DOL model without adding or mutating a field.

Each I/O point owns one physical terminal reference and one IEC 61131-3 logical address in the same object.

RCD protection, final circuits, and protective earth remain one topology while the symbol profile changes independently.

PV source circuits remain DC until the inverter boundary; its AC output appears only while the DC side is live.

Six motor conductors, three contactors and one mutual exclusion rule describe the complete start transition.

The same terminal-level topology kernel carries process piping and an instrumentation loop without reinterpreting electrical source or load fields.