Profile contract
requirements.basic@1
Requirement IDs/text, satisfies/verifies/derives links.
graph projectionRequirements traceability
Open this profile in the gallery
Primary palette
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
req.derives | req.requirement | req.requirement | Not allowed |
req.satisfies | req.implementation | req.requirement | Not allowed |
req.verifies | req.test | req.requirement | Not allowed |
Profile verification
- A completed requirement has nonempty text and a unique nonempty code in the checked scope.
- Implementation satisfies a requirement; test verifies a requirement; requirement derivation preserves registered direction.
- A drawn verification link is a claim/reference, not evidence that the test ran or the requirement passed.
Profile defaults
Explicit file settings override eligible CSS, then these profile defaults and the common standard apply. Unspecified semantic facts remain unspecified.
{
"projection.kind": "graph",
"projection.profile": "requirements.basic@1"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
Design operations
- Create requirement/test/implementation, edit code and text, link satisfies/verifies/derives; attach supplied evidence references.
Bounded analysis
Structural verification and display only; no execution or implied process engine.
Outside this profile
- SysML conformance
- evidence of operating effectiveness