Verify Coverage Claims

Verify cross-artifact coverage claims by tracing every claimed item to source, implementation, test, and proof receipts.

HomenShum 3606335 3 files · 1.9 KB Updated

File contents

Verify coverage claims

Read the execution contract before starting. Validate the final receipt with its parameterized verification.argv, replacing {python}, {skill_dir}, and {receipt} with concrete local values.

Turn the coverage statement into a finite item list. For each item locate the governing source, implementation, realistic test, and observed proof. Mark each link MEASURED, INFERRED, or UNVERIFIED.

Report missing items, duplicate counting, stale artifacts, and scope changes. Do not infer full coverage from a percentage, a green suite, or sampled rows. The denominator and exclusions must be explicit and replayable.

HomenShum/codex-claude-cursor-setup/tree/main/templates/project/.agents/skills/verify-coverage-claims commit 36063355da

Frequently asked questions

npx skillmds@latest add homenshum/verify-coverage-claims