Model health

branch main · commit 0399697d

Healthy: no orphaned nodes, one connected component, no dangling links, every requirement covered.

Orphaned nodes (0)

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

None.

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

None — one connected component.

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

None.

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

None.