# Claim-by-Claim Verification

Method for all doc-code parity checks. The dispatching skill prepends this file to each parity prompt.

1. **Enumerate claims before reading code.** List every verifiable claim the doc makes (see the template's claim list). One claim = one entry in `gaps[]`, tagged with its check ID.
2. **Verify behavior, not names.** A claim passes only if the code produces the documented outcome under the documented condition. A matching name or similar-looking branch is not a pass — doc says "truncate", code that rejects is `fail`.
3. **Evidence required.** Every `pass` and `fail` cites `file:line` in `evidence`. A verdict without a citation is `fail` with detail "no evidence found".
4. **`skip` only when the code file is missing.** Never skip because a claim is hard to trace.
5. **Account for every claim.** `summary.claims_total` = number of enumerated claims; each appears exactly once in `gaps[]`.