Model health

Orphaned nodes (0)

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

None.

Isolated groups (0)

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

None — one connected component.

Dangling links (2)

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

• _2026x_1_12a70364_1789524431087_459748_5711 → _2026x_1_12a70364_1789522470210_613186_5619 (Satisfy) — missing source _2026x_1_12a70364_1789524431087_459748_5711
• _2026x_1_12a70364_1789524431091_435540_5713 → _2026x_1_12a70364_1789522470210_613186_5619 (Satisfy) — missing source _2026x_1_12a70364_1789524431091_435540_5713

Uncovered requirements (10)

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

• _2026x_1_12a70364_1789522470201_737876_5617 — System Level Requirements
• _2026x_1_12a70364_1789522470246_238622_5652 — Cleaning Requirements
• _2026x_1_12a70364_1789522470268_212057_5663 — Safety Requirements
• _2026x_1_12a70364_1789522470269_5755_5665 — Internal Features
• _2026x_1_12a70364_1789522470270_589609_5667 — Gearmotor Overload
• _2026x_1_12a70364_1789522470271_475286_5670 — HWS Valve Open During Brewing
• _2026x_1_12a70364_1789522470272_63721_5673 — Interruption By Removal Of Dregs Draw
• _2026x_1_12a70364_1789522470273_392927_5676 — Main Power Supply Disconnection During Operation
• _2026x_1_12a70364_1789522470274_644308_5679 — External Features
• _2026x_1_12a70364_1789522470275_767711_5681 — Regulatory Compliance Mark