VERIFIED · RADIAL
32 wires · every wire has 2 ends
Each feeder is explicit. MCC-07 resolves to feeder 4 without guessing.
INTERACTIVE PROOF · STRUCTURED ECAD
Electrical drawings backed by a queryable model.
The drawing is one view. Switch states, live paths, isolation points, and export data come from the same topology.
Open any switch. The drawing recalculates immediately.
Hover, focus, or select a device to inspect it. Dashed switch targets can be operated.
WHY A MODEL
Topology is a fact the machine can check.
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.”
REJECTED · SHARED BUS
27 wires · one wire has 7 ends
The model declares “radial,” so a multi-terminal bus is a machine-checkable violation.
THREE QUERIES · ONE MODEL
Do the checks. Do not take the claims on faith.
LIVE
Connectivity
Open feeder 4. Two MCCs and their downstream disconnects lose power. The source-side terminal remains live.
LIVE · SAFETY
Isolation list
LOTO procedures are written safety documents. The graph finds every lock point, including reverse-feed paths.
ADAPTERS PLANNED
Export
Stable component IDs and terminal references are the handoff boundary to PLCopen XML, AutomationML, TIA Portal, and CODESYS.
Select a query above. Its result will be computed from the same fixture that renders the drawing.
SCOPE · HONESTLY MARKED
What the engine supports.
Implemented and planned formats are deliberately separated.
IMPLEMENTED
- Single-line diagramsRadial and bus topology
- Control schematicsContacts, coils, seal-in logic
MODEL-DERIVED
- Terminal and jumper schedulesQueried from nets and terminals
- PLC I/O diagramsGenerated from point data
- Wiring tables and cable listsQueried from connection data
PLANNED
- Ladder diagramsPLCopen XML exchange path
- P&IDDEXPI model path
OPEN MEANS SPECIFIC THINGS
The format and validation rules are open. The engine is not.
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 this page.