Every documented diagram, checked

Which rules fired

Deliberate demonstrations

Pages that teach a rule must break it. These diagrams declare the diagnostics they expect, so they never masquerade as defects.

• Variant family specimen component-reference

  • expected unconnected-component Component RT4 takes part in no connection.
  • expected unconnected-component Component CP4 takes part in no connection.
  • expected unconnected-component Component LC4 takes part in no connection.
  • expected unconnected-component Component DZ4 takes part in no connection.
  • expected unconnected-component Component QJ4 takes part in no connection.
  • expected disconnected-subcircuit The diagram contains 5 independent connected groups.

• Six-lane reversal bus grammar

  • expected disconnected-subcircuit The diagram contains 6 independent connected groups.

• Bounded orthogonal corridor limits

  • expected unconnected-component Component CAGE takes part in no connection.
  • expected disconnected-subcircuit The diagram contains 2 independent connected groups.

• Two nets, one canvas limits

  • expected disconnected-subcircuit The diagram contains 2 independent connected groups.

• Small source, real routing work limits

  • expected disconnected-subcircuit The diagram contains 2 independent connected groups.

• Rotated components with upright math math-labels

  • expected unconnected-component Component V5 takes part in no connection.
  • expected unconnected-component Component L5 takes part in no connection.
  • expected unconnected-component Component Q5 takes part in no connection.
  • expected unconnected-component Component O5 takes part in no connection.
  • expected disconnected-subcircuit The diagram contains 4 independent connected groups.

• A shorted rail netlist

  • expected shorted-supply Net vbat ties supply rails VC, RT together.

• Two outputs, one node netlist

  • expected multiple-drivers Net $1 is driven by IRQA.out, IRQB.out.

• Repeated passives output-modes

  • expected unconnected-component Component LA takes part in no connection.
  • expected unconnected-component Component LB takes part in no connection.
  • expected unconnected-component Component LC takes part in no connection.
  • expected disconnected-subcircuit The diagram contains 3 independent connected groups.

• Bounded rotated route performance

  • expected unconnected-component Component BOX takes part in no connection.
  • expected disconnected-subcircuit The diagram contains 2 independent connected groups.

• Cross-domain 1.0 specimen roadmap

  • expected unconnected-component Component AC1 takes part in no connection.
  • expected unconnected-component Component CX1 takes part in no connection.
  • expected unconnected-component Component FA1 takes part in no connection.
  • expected unconnected-component Component QZ1 takes part in no connection.
  • expected unconnected-component Component LAB1 takes part in no connection.
  • expected disconnected-subcircuit The diagram contains 5 independent connected groups.

Check your own diagrams

The same rules run as a service, so a project can gate its own build without installing the compiler. Nothing is stored and no source leaves the request.

curl -X POST https://schemd.johnowolabiidogun.dev/api/verify \
  -H 'content-type: application/json' \
  -d '{"source": "source:V1 \"AC\" at (100,150) #blue [type=voltage-ac]\n..."}'

{"ok": false, "counts": {"errors": 1, "warnings": 0, "notes": 0},
 "diagnostics": [{"code": "shorted-supply", "severity": "error", "line": 4, ...}]}

ok answers the only question a build asks. The badge below reports this corpus:

Flagged diagrams

• Strobe across a bus nets

  • info disconnected-subcircuit The diagram contains 4 independent connected groups.
  Open in the playground

• Around the shield nets

  • warning unconnected-component Component SH takes part in no connection.
  • info disconnected-subcircuit The diagram contains 3 independent connected groups.
  Open in the playground

• Clock over data overview

  • info disconnected-subcircuit The diagram contains 4 independent connected groups.
  Open in the playground