# Citation coverage check

Input: a list of retrieved record IDs and claims with text and citation IDs.

Rules:
- At least one record and one nonempty claim must be present.
- Every claim must cite at least one record.
- Every cited ID must be in the retrieved set.

Output: pass/fail checks for each claim, with missing or unknown IDs reported.

Failure example: a claim cites missing-usage when only renewal-01 was retrieved.

Boundary: matching an ID does not establish that a claim is true or that the record supports it. Semantic support, freshness and commercial judgment require separate evaluation. This example is deliberately smaller than the Enterprise Lab evaluator.

---

From Curious Current · Did the evidence actually show up?
Format: Runnable fixture + specification
Evidence: Executable teaching example inspired by the Lab evaluator. It checks record-ID coverage only, not whether evidence supports a claim.
Source: https://curiouscurrent.com/lab/revenue-operations/?scenario=renewal-risk

Free to download and adapt. Review and test changes in your own environment.