VERIFIED · RADIAL
32 wires · every wire has 2 ends
Each feeder is explicit. MCC-07 resolves to feeder 4 without guessing.
Inspect the radial record →Open a switch. The model recalculates terminal-level connectivity.
TERMINAL-LEVEL · UNDIRECTED
WHY A MODEL
The same 33 components can describe two different systems. One integer exposes the difference.
“480 V, 3 phase … 6 × 1200 A fused disconnects … each will feed 2 × 600 A disconnects … each will feed MCCs.”
VERIFIED · RADIAL
Each feeder is explicit. MCC-07 resolves to feeder 4 without guessing.
Inspect the radial record →REJECTED · SHARED BUS
The model declares “radial,” so a multi-terminal bus is a machine-checkable violation.
See all seven terminals →THREE QUERIES · ONE MODEL
LIVE
Open feeder 4. Two MCCs and their downstream disconnects lose power while the source side stays live.
Run the outageLIVE · SAFETY
The graph finds every lock point, including the fire-pump return path into BUS A.
Inspect the LOTO trapADAPTERS PLANNED
Stable component IDs and terminal references form the handoff boundary to PLCopen XML and AutomationML.
See the case roadmapSCOPE · HONESTLY MARKED
Implemented and planned formats are deliberately separated.
IMPLEMENTED
MODEL-DERIVED
PLANNED
OPEN MEANS SPECIFIC THINGS
Components have stable IDs. Wires connect terminals, not vague boxes. Topology, layout, operating scenarios, and symbols stay separate.
You can inspect the schema and run the same acceptance fixtures used by every live page.