<!--
Shared Coverage-critic (opt-in) rule — single source for the byte-identical
bullet that used to be duplicated in requirements-discovery.md,
error-analysis.md, and implementation-planning.md. Those three phases run a
reused-worker Coverage critic pass and INCLUDE this file under their
"Cross-verification mode" block. final-verification.md uses a different
Acceptance critic and improvement-discovery.md has no critic, so neither
includes this file. Edit here once; the three phases pick the change up at
next render.

The bullet keeps its 2-space indent so it nests under "Cross-verification
mode:" when the include directive (placed at column 0) is resolved in-place.

Do NOT write the literal include directive token in this file's body — the
resolver matches it anywhere and would recurse on this file itself.
-->
  - **Coverage critic (required, one slot)**: critic `min`/`recommended`/`max` are 1. The user picks the model at launch (`--role-model critic=<provider>/<model>` or the wizard role-model step). `--critic off` is rejected. A reused-worker critic pass is dispatched concurrently with the first convergence reverify round to surface **both** findings nobody covered and work the findings propose that no requirement asked for (`category: "unrequested-scope"`); its candidates are judged only after a 1-round adversarial reverify that follows convergence. The two halves are disposed of differently — a contested coverage gap is dropped as a hallucination, while a contested over-scope candidate is recorded as a `## 5. Missing Information and Risks` row instead of vanishing. In `implementation-planning`, the same critic slot also settles plan-body 1-1 splits (`critic-worker` on `--tie-vote` items only). See `prompts/lead/convergence.md` "Coverage critic pass" and `prompts/lead/plan-body-verification.md` even-split rule.
