Tirsvad
7c0ed0dcc5
Mount the framework as a submodule at framework/ (v0.4.0), add AGENTS.md and the installed skill copies for Codex CLI (.agents/skills) and Claude Code (.claude/skills).
1.2 KiB
1.2 KiB
Sequence Diagram (Design) (SD)
Cite in CrossReference only if the instance exists (new-artifact.sh checks this for you):
- OC — Required source: the contract whose postconditions each diagram realizes
- DCD — Forward: classes/methods these messages become
Required sections (after Metadata / Version History)
One block per realized Operation Contract:
- Realizes — the contract (
[OC-…]) and its operation name. - Diagram — PlantUML sequence diagram: sync (solid filled arrow),
async (open arrow), returns (dashed); activations matching the call
nesting;
create/destroyshown for transient objects;loop/alt/optfragments for conditional/repeated behavior. - Pattern Annotations — table
Pattern (GRASP/GoF) | Applied to | Rationale. Patterns are labelled, never implicit. - Postcondition Coverage —
Postcondition | Satisfied by message; every postcondition of the contract must be covered. - Responsibility Check — a short note showing no god-object receives all messages (low coupling, high cohesion).
Terminology
Use the IT terms from the dictionary (DICT), not the PO terms the Domain Model uses.