The system shall define a dedicated AI-assistant skills submodel that provides instruction contracts for Reqvire modeling workflows and traceable implementation artifacts.
- type: user-requirement
- Refinement Specification
- Relation Semantics Specification
- Supported Element Types Specification
- Traceability Reporting Specification
- derive: AI Skills Instruction Contracts
- derive: AI Skills Markdown Implementation Artifacts
- derivedFrom: AI Assistant Skill Authoring for Reqvire
The system shall define AI skill instruction contracts that describe MBSE-first Reqvire workflows, including boundary clarification and verification-aligned change sequencing.
Implementation details shall follow the associated refinement specification.
- type: requirement
- derivedFrom: AI Assistant Skill-Guided Reqvire Modeling
- refinedBy: AI Skills Instruction Contract Specification
The system shall produce traceable markdown skill artifacts that implement the AI assistant skill guidance contracts for supported assistant ecosystems.
Implementation details shall follow the associated refinement specification.
- type: requirement
- derivedFrom: AI Assistant Skill-Guided Reqvire Modeling
- refinedBy: AI Skills Markdown Artifact Specification
- satisfiedBy: analyze-coverage.md
- satisfiedBy: SKILL.md
- satisfiedBy: SKILL.md
The AI skills instruction contract is expected to define:
- MBSE change sequence: requirements -> refinements -> verifications -> implementation links.
- Explicit human boundary checkpoint before cross-submodel refactors.
- Verification alignment policy: verification criteria must match explicit assertions in test cases.
- Coverage interpretation guidance for verification and implementation coverage.
- Mandatory validation and lint checks after meaningful model updates.
- type: specification
- refine: AI Skills Instruction Contracts
The markdown implementation artifacts is expected to:
- Be versioned in repository paths consumed by supported assistant runtimes.
- Capture task patterns with explicit "Do It When" triggers.
- Include correct and incorrect examples for model-refactor workflows.
- Require circle-back confirmation for expected submodel boundaries.
- Remain synchronized across Codex and Claude plugin variants.
- type: specification