coverage-tracerlisted

# Coverage Tracer ## Purpose Maintain a coverage ledger tracing every active `R`/`RI` manifest ID from the brief through Ship: `covered`, `deferred`, `waived`, or `dropped`, each with an artifact citation. Prevents a requirement from silently disappearing between phases. This is a power skill, not a lifecycle phase. It is gate-bound: Plan establishes the ledger, Review/Ship/Reflect verify and extend it at their own Exit Gates. ## Invocation Context Use this skill when: - Plan is writing its Requirement Coverage section — this is the ledger's first population - Review is confirming the task's changes map back to every manifest ID - Ship is aggregating final coverage state before a go/hold/blocked decision - Reflect is writing the Manifest Coverage Retrospective Do not invoke it for Trivial work (no manifest, nothing to trace). ## What To Load **Foundation** (confirm in context; load if not already present): - Root `AGENTS.md` - `workflow/router.md` - `workflow/lifecycle.md` - `workflow/rules.md` **Minimum for invocation**: - This file - `references/output-schema.md` **Before starting work**: - `references/ledger-states.md` — the 4 valid states and when each applies - The brief's Requirement Manifest (source of the active `R`/`RI` set) - The current phase's own artifact (plan, review, ship, or reflect) being written **Load when the step requires it**: - Prior-phase artifacts in the chain — to trace a manifest ID's state as it moved between phases ## Inputs - Activ