Elements
graph TD;
%% REQVIRE-AUTOGENERATED-DIAGRAM
%% Graph styling
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
subgraph 8735c0a811307e57["📁 requirements/Functional/Core"]
subgraph 793b6191caf1a62f["📄 Constraints.md"]
c2c71cb34cb7b7c9["Cross-Section Duplicate Constraint"];
class c2c71cb34cb7b7c9 default;
click c2c71cb34cb7b7c9 "Constraints.html#cross-section-duplicate-constraint";
c1660a11594249ca["Element Type Relation Compatibility Constraint"];
class c1660a11594249ca default;
click c1660a11594249ca "Constraints.html#element-type-relation-compatibility-constraint";
end
end
Cross-Section Duplicate Constraint
Rules for detecting duplicate link targets across subsections.
Cross-section duplicates (same target in BOTH Relations AND Attachments):
- Applies to all target types: element identifiers AND file paths
- Treated as semantic errors requiring user resolution
- The validate command fails with error
- The format command does not auto-fix (user must decide which section to keep)
Within-section duplicates (same entry repeated in Relations OR in Attachments):
- Treated as formatting issues, not validation errors
- The format fix operation removes duplicate entries
- The validate command does not fail for within-section duplicates
Metadata
Relations
Element Type Relation Compatibility Constraint
Validation rules for element type and relation type combinations.
Details
Relation Type Restrictions:
| Relation Type | Allowed Source Types | Allowed Target Types |
|---|
| derivedFrom/derive | requirement, user-requirement | requirement, user-requirement |
| satisfiedBy/satisfy | requirement, user-requirement, test-verification, refinement types | InternalPath, refinement types |
| verifiedBy/verify | requirement, user-requirement | All verification types |
| trace | Any (except refinement types) | Any |
Key Constraints:
- derivedFrom/derive restricted to requirement types only
- Refinement types (constraint, behavior, specification) can only have
satisfy relations
- Only test-verification can use satisfiedBy among verification types
- Elements with type “other” can only use trace relations
Metadata
Relations