Edit: arc-endpoints-valid
Name
Must be unique (case-insensitive).
Description
Owner

Tags

network
referential-integrity
coverage

Rules

Rule 1
Type
Every value in the left column must exist in the right column. Use for foreign-key relationships where child values must reference a valid parent.
Left Contract
Left Column
Right Contract
Right Column
Rule 2
Type
Every value in the left column must exist in the right column. Use for foreign-key relationships where child values must reference a valid parent.
Left Contract
Left Column
Right Contract
Right Column
Rule 3
Type
Every distinct value in the right (parent) column will appear at least once in the left (child) column. Extra child rows may have random parent values.
Left Contract
Left Column
Right Contract
Right Column

Referenced Contracts (auto-computed)

No validation errors.
Ctrl+S to save · Esc to cancel 
{
  "id": "cst_seed_001",
  "name": "arc-endpoints-valid",
  "description": "Every arc must connect two nodes that exist in the network (subset). Every node must have at least one outbound arc (coverage), ensuring the network graph has no isolated locations. Prevents dangling references and disconnected nodes.",
  "tags": [
    "network",
    "referential-integrity",
    "coverage"
  ],
  "rules": [
    {
      "type": "subset",
      "left": "arcs.FROM_NODE",
      "right": "nodes.NODE_ID"
    },
    {
      "type": "subset",
      "left": "arcs.TO_NODE",
      "right": "nodes.NODE_ID"
    },
    {
      "type": "coverage",
      "left": "arcs.FROM_NODE",
      "right": "nodes.NODE_ID"
    }
  ],
  "contractRefs": [
    "arcs",
    "nodes"
  ],
  "createdAt": "2026-02-11T10:00:00Z",
  "updatedAt": "2026-02-18T04:55:01.9686478Z"
}