Verify only explicit contracts in scope.
- Identify the authoritative specification and the changed implementation boundary.
- Extract explicit contracts: interfaces/signatures, parameter/return types, schemas, identifier rules, invariants, or other mechanically observable requirements.
- Map each contract to the implementation module(s) in the supplied change scope. Skip contracts owned by untouched modules unless the requested verification scope includes them.
- Inspect the implementation using language-appropriate parsing/reading. Do not treat a failed grep or unsupported language as evidence of absence.
- Classify an in-scope mismatch as CONTRACT VIOLATION and an explicit required contract with no implementation evidence as CONTRACT GAP.
- Report expected evidence, actual evidence, precise location, and the mismatch. Report clean only when every in-scope explicit contract has been checked.
Do not infer contracts the specification does not state. Do not review style, design preference, or general correctness unless those are explicit contracts.