What problem does it solve? Recurring research-assurance checks often stay as informal review notes instead of enforced rules, so schema regressions (dropped fields, wrong types, unpinned literals) slip through commits. This Skill turns a stabilized audit finding into a binding contract artifact that fails the commit when violated. ## Core Features & Use Cases - Contract authoring: Creates formula, schema, invariant, or output_validation contracts under contracts/<topic>/<id>.yaml validated against the meta-schema with strict additionalProperties: false. - Binding test wiring: Enforces value-and-type assertions (not key presence), pinned literals, quantified tolerances, and fixtures constructible from committed files only. - Pending lifecycle and verification: Manages pending: true status, manifest registration, and validation via contract_binding_check.py --validate-only. - Use Case: After an audit finds a results JSON silently dropped fields needed for comparison tables, use this Skill to write a schema contract with explicit required_keys and a binding test so the pre-commit gate rejects any future regression. ## Quick Start Use the schema-contract-design skill to add a new schema contract for the comparison results JSON and wire its binding test.
