what fraction of a task's actual intent the written clauses at a seam capture; orthogonal to per-clause checkability (the determinism ladder). Raising it is contract-side craft; clause-writing that stops paying before intent is captured is coverage exhaustion. (verification asymmetry, the contract)

Coverage

Used in