check_set_coverage_tool
Check required items against found items to reveal coverage gaps, complete coverage, and unexpected extras. Read-only and caller-supplied.
Instructions
Check what a task required against what was actually read, over any two sets of keys.
Read-only, and touches no filesystem — the caller holds both lists. Use this when the thing you must account for is not dated files in a folder: documents the question spans against the chunks a retriever returned, files changed in a pull request against files reviewed, table partitions against partitions loaded, required controls against controls with evidence, declared eval cases against cases actually run.
expected is the caller's declaration and is never inferred here. scope names the items for
the sentence ("documents the question spans"); where names where they were looked for ("the
retrieved set"); derivation records how the expected set was arrived at, so a reader can
disagree with the denominator rather than only with the result.
Returns the coverage record: complete, read of required, and each way an expectation
failed to be evidence kept separate. Anything present that was not expected is reported under
unexpected and deliberately earns no credit against the denominator.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| found | Yes | ||
| scope | No | ||
| where | No | ||
| expected | Yes | ||
| derivation | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||