Derive Isolated Contracts from Design Documents

Summary

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 implementation.