How do I install the Prove The Coverage Denominator skill?

Run npx skillmds@latest add xyrasinclair/prove-the-coverage-denominator in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

Is Prove The Coverage Denominator safe to use?

This skill has not completed SkillMD's automated safety review yet. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Prove The Coverage Denominator?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Prove The Coverage Denominator free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

Who published Prove The Coverage Denominator?

XyraSinclair (@xyrasinclair) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Prove The Coverage Denominator by xyrasinclair

Name: Prove The Coverage Denominator
Author: XyraSinclair

Prove The Coverage Denominator

Whenever you are tempted to say "done", "complete", "fully reviewed", "all sources covered", or "the migration is comprehensive", force the denominator into the open first. State the full space of cases, sources, branches, or entities under discussion, then label every element. The failure it prevents: declaring exhaustiveness because the largest or easiest visible case landed while the rest of the denominator stayed implicit and therefore unjudged. Triggers on audits, corpus ingestion, test coverage, literature reviews, source enumeration, and any completeness claim that could hide an unlabeled remainder.

XyraSinclair Updated Sep 17, 2026

File contents

prove-the-coverage-denominator

Feynman's insistence on the full case space fused with gap-finding and a persistent ledger: completeness is not a feeling, it is a labeled denominator. Organon: P11 gap-find + P1 enumerate + P30 ledger. Phase: JUDGE / PERSIST, with SENSE doing the enumeration that makes the claim auditable. Respiratory: coverage compresses only after the residual denominator is named.

Procedure

State the denominator explicitly. Define the full set whose coverage is being claimed: files, branches, sources, users, pathways, experiments.
Enumerate its elements. Materialize the list or the partition that makes every member inspectable.
Label every element exactly once. Each member must be one of: covered, replayable-unpromoted, named-gap, or ruled-out.
Explain every non-covered label. A named gap needs the missing condition; a ruled-out case needs the reason it is outside scope; replayable-unpromoted means it exists and can be rerun, but is not yet promoted to done.
Refuse the word "complete" until the labels close. If any element lacks a label, the work is partial. If the denominator itself is unstable, that is the first named gap.
Persist the residual denominator. Carry forward the named gaps rather than letting them vanish under a summary sentence.

The gate

There are zero unlabeled elements of the stated denominator, or the work is explicitly reported as partial with the residual named. A claim of completeness with an implicit or shifting denominator does not pass.

The denominator's source must be stated too — what fixed this as the full space (a spec, a directory listing, a census, a stakeholder)? A denominator chosen by the same move it gates is self-serving until checked against the real target (preserve-the-target); a conveniently narrow denominator passed cleanly is the vacuous firing this clause exists to block.

Example

A corpus ingest says "all government sources are covered." The denominator is made explicit: federal, state, county, and municipal sources on the scoped list. Enumeration shows federal and state are covered, county feeds are replayable-unpromoted, and municipal archives are a named gap because no resolver exists yet. Because the denominator has labeled residue, the honest status is partial, not complete.

---name: prove-the-coverage-denominatordescription: Whenever you are tempted to say "done", "complete", "fully reviewed", "all sources covered", or "the migration is comprehensive", force the denominator into the open first. State the full space of cases, sources, branches, or entities under discussion, then label every element. The failure it prevents: declaring exhaustiveness because the largest or easiest visible case landed while the rest of the denominator stayed implicit and therefore unjudged. Triggers on audits, corpus ingestion, test coverage, literature reviews, source enumeration, and any completeness claim that could hide an unlabeled remainder.---# prove-the-coverage-denominatorFeynman's insistence on the full case space fused with gap-finding and apersistent ledger: completeness is not a feeling, it is a labeled denominator.Organon: P11 gap-find + P1 enumerate + P30 ledger. Phase: JUDGE / PERSIST,with SENSE doing the enumeration that makes the claim auditable. Respiratory:coverage compresses only after the residual denominator is named.## Procedure1. **State the denominator explicitly.** Define the full set whose coverage is being claimed: files, branches, sources, users, pathways, experiments.2. **Enumerate its elements.** Materialize the list or the partition that makes every member inspectable.3. **Label every element exactly once.** Each member must be one of: covered, replayable-unpromoted, named-gap, or ruled-out.4. **Explain every non-covered label.** A named gap needs the missing condition; a ruled-out case needs the reason it is outside scope; replayable-unpromoted means it exists and can be rerun, but is not yet promoted to done.5. **Refuse the word "complete" until the labels close.** If any element lacks a label, the work is partial. If the denominator itself is unstable, that is the first named gap.6. **Persist the residual denominator.** Carry forward the named gaps rather than letting them vanish under a summary sentence.**The gate**There are zero unlabeled elements of the stated denominator, or the work isexplicitly reported as partial with the residual named. A claim of completenesswith an implicit or shifting denominator does not pass.The denominator's *source* must be stated too — what fixed this as the fullspace (a spec, a directory listing, a census, a stakeholder)? A denominatorchosen by the same move it gates is self-serving until checked against thereal target (`preserve-the-target`); a conveniently narrow denominator passedcleanly is the vacuous firing this clause exists to block.## ExampleA corpus ingest says "all government sources are covered." The denominator ismade explicit: federal, state, county, and municipal sources on the scoped list.Enumeration shows federal and state are covered, county feeds arereplayable-unpromoted, and municipal archives are a named gap because noresolver exists yet. Because the denominator has labeled residue, the honeststatus is partial, not complete.

Frequently asked questions