FlowDrop Workflow Specification 1.0-draft

An edge's target node must exist

The rule

Normative: this is the rule
  1. An edge whose target does not name a node in the workflow is refused with R8_EDGE_TARGET_MISSING at edge.{index}, where {index} is the edge's position in the workflow's edge list.
  2. An empty target counts as missing.

What it means

Addressed the same way as R8.a's missing source: the locator names the edge's position in the workflow's edge list, not the id the edge itself carries. An empty target counts as missing, on the same footing as one naming a node the workflow does not have.

Example

An edge named e1 names a target the workflow has no node for:

An edge whose target names no node in the workflow
{ "id": "e1", "source": "s", "target": "gone" }
The code and locator of the finding it producesrefused
{ "code": "R8_EDGE_TARGET_MISSING", "locator": "edge.0" }
Rule identifiers are permanent and are never renumbered. Each implementation publishes its own standing against these rules; this specification does not.spec 1.0-draft · R8.b · changed in spec 1.0