skill
★ 5
Derive Isolated Contracts from Design Documents
This skill processes a system design document to derive a set of complete, per-module contracts (manifests). It hardens implicit assumptions, defines behavioral guarantees, and ensures each module contract is fully isolated for independent …
taniwhaai/arai
design-doc
contract-derivation
manifests
system-design