ada-contract-consistency-review

Verifies frozen SRS, HLD, ADR, and plan contracts for consistency with read-only PASS/FAIL verdicts.

Updated Jul 23, 2026
One-click install
npx skills add https://github.com/wubing7755/Ada --skill ada-contract-consistency-review-wubing7755
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: ada-contract-consistency-review
Source: https://github.com/wubing7755/Ada/tree/main/skills/software-development/ada-contract-consistency-review
Command: npx skills add https://github.com/wubing7755/Ada --skill ada-contract-consistency-review-wubing7755

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? Before implementation starts or a release ships, teams need to know whether their normative documents — SRS requirements, HLD design entries, accepted ADRs, and the implementation plan — tell one consistent story about every frozen contract property. Manually cross-checking namespaces, nullability, enum values, and forbidden requirement IDs across thousands of lines of documentation is error-prone and often misses contradictions or untested acceptance criteria. ## Core Features & Use Cases - Frozen-contract consistency review: Traces each contract property through every document that should state it, citing doc:line evidence, and distinguishes actionable contradictions from harmless omissions. - Spec-compliance implementation mode: Maps every SRS acceptance criterion to a named test, runs focused test suites as execution evidence, and classifies results as PASS, FAIL-untested, or FAIL-deviant. - Negative-claim verification: Greps the whole docs tree and repository for forbidden requirement IDs, removed API names, and scope-exclusion violations, and diffs the frozen API manifest symbol-by-symbol against PublicAPI baselines. - Use Case: Before freezing a Phase-N contract, ask for a final read-only review of the SRS, HLD manifest section, ADRs, and plan; receive a PASS/FAIL verdict with per-item evidence and a separate informational-only list. ## Quick Start Ask the agent to perform a final read-only consistency review of your Phase-N frozen contracts against the SRS, HLD, ADR, and implementation plan, returning a PASS/FAIL verdict with evidence.

Frequently Asked Questions about ada-contract-consistency-review

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I verify frozen API contracts across SRS, HLD, and ADR documents?

Build a checklist from the frozen items or the ADR's Verification section, then trace each property through every document that should state it with doc:line citations. The review returns a PASS/FAIL verdict and treats only direct contradictions as actionable.

How to check that acceptance criteria are covered by tests?

Map every acceptance criterion to a test by name using grep over test files, then run the focused test suites as execution evidence. Criteria with correct implementation but zero coverage are reported as FAIL-untested, distinct from FAIL-deviant.

Does this review modify source code or documents?

No, the review is strictly read-only and produces only a PASS/FAIL verdict with evidence tables. Fixes are applied only when explicitly requested by the user.

When should I use contract consistency review instead of a docs-vs-code audit?

Use it when verifying that normative documents agree with each other on frozen properties before implementation or release. For auditing drift between documentation and source code, use a doc-implementation audit skill instead.

Why is an omission in the plan not reported as a failure?

Plans legitimately defer to the normative freeze section, so omission is classified as informational rather than actionable. Only direct contradictions such as different namespaces, nullability, or conflicting semantics produce a FAIL.