Model health

Orphaned nodes (0)

Nodes with no edges. They are invisible to coverage and traceability.

None.

Isolated groups (1)

Disconnected components of two or more nodes, cut off from the main body.

Group 1 (7 nodes)

• act-duck-deposit — Deposit Cups
• act-duck-detect — Detect Cup
• act-duck-grasp — Grasp Cup
• act-duck-patrol — Patrol Floor
• act-duck-retry — Retry Grasp
• req-duck-pick — Pick Up Cup
• req-duck-stack — Handles Stacked Cups

Dangling links (0)

Edges naming an endpoint that is not a node in the graph.

None.

Uncovered requirements (0)

Requirements no Satisfy, Refine, Verify or Allocate edge covers.

None.