Electrical drawings backed by real data.

Open a switch. The model recalculates terminal-level connectivity.

Loading verified fixture…
Loading drawing Cases →
  1. Requirement
  2. Build
  3. Question
Loading verified model…

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.”

Maintenance supervisor · precast concrete plant

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 →

REJECTED · SHARED BUS

27 wires · one wire has 7 ends

The model declares “radial,” so a multi-terminal bus is a machine-checkable violation.

See all seven terminals →

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 while the source side stays live.

Run the outage

LIVE · SAFETY

Isolation list

The graph finds every lock point, including the fire-pump return path into BUS A.

Inspect the LOTO trap

ADAPTERS PLANNED

Exchange

Stable component IDs and terminal references form the handoff boundary to PLCopen XML and AutomationML.

See the case roadmap

SCOPE · HONESTLY MARKED

What the engine supports.

Implemented and planned formats are deliberately separated.

IMPLEMENTED

  • Single-line diagramsRadial, bus, and dual-feed topology
  • Control schematicsContacts, coils, and seal-in logic

MODEL-DERIVED

  • Isolation proceduresQueried from terminal connectivity
  • Terminal schedulesQueried from nets and terminals

PLANNED

  • PLC I/O and ladderIEC 61131 exchange path
  • PV and consumer unitsIEC / NEC profile expansion

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 every live page.