ModelIndex

A repeated ID resolves only when every occurrence denotes the same object.

Design-declared contributors, crossing at most one child whose Analysis is absent or disabled.

Expected target element after at most one bypass. Only complete direct-parent content can establish the bypass; the returned grandparent's Analysis is checked when a link targets it.

The inverse of authored parent references, independent of Design.children.

Context collections remain complete for loaded modules; only rule subjects are narrowed.

The element tree must separate independent failures, in both ancestry directions.

Includes definitions and their declared members used through an element's service or topic ports.

Direction relative to element, including selected members of shared service definitions. A definition exposed and consumed by the same element has no single direction; neither does a neutral interface point without an owning service or topic port. Direct API methods declare their role explicitly. A provider's declaration does not override the direction of another element's required use.

Only matching tickets declared on the reviewed object supply coverage. Tracking never resolves a finding.

Definition membership is independent of which port selects a shared member.

Declaration/container ownership; use of a shared definition does not assign it an arbitrary owner.

Root document of a requirements section, following authored containment rather than identifier order.

Adapters supply only the checked module's physical sources, never dependency sources as subjects.