contract-design - Design and review verifiable contract clauses.
Provides rules for writing and reviewing contracts, RED tests, thresholds, and proof shapes to prevent false-green failures before dispatch.
Tags
Updated: 2026-09-24Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Design planted RED tests
- Establish known-good columns
- Define counterweight rules
- Execute destructive probes
- Derive numeric thresholds
- Review contract proof shapes
Inputs
- done_when blocks
- Planted RED tests
- Numeric thresholds
- Test fixtures
- Enum definitions
Outputs
- Validated contracts
- Pre-fix baseline artifacts
- Inverted guard clauses
Requirements
- orchestrator-dispatch-loop environment