Links you can reason about.
Each link has a type, such as Decomposes, Verifies or Impacts, and a direction. The Links tab on an object shows its parents and children with their modules, and the same links can be queried from either end.
Duplicate links and links from an object to itself are rejected, so the trace stays clean. Links can also cross module and project boundaries.
- Typed, directional links
- Duplicate and self-link rejection
- Cross-module and cross-project links

