Overview

Informative. SPEC.md controls.

The question

What was tested, and what was claimed but not tested?

Proof of Coverage is the claim that a proof states its own reach accurately: every item the Provider claimed, and every technique class, Effect Point and target level in the test plan, is classified as tested, untested, or blind, with the reason for each. It is computed from the Mine Plan, the Claim Sheet, the Witness Coverage Map, Claim Findings and the Absence Ladder. Its output is a coverage statement and a coverage ratio, never an efficacy rate.

Why it matters

Anything outside the witness's view is a stated blind spot, never a silent one. A buyer, insurer or regulator relying on a proof of efficacy also needs this question answered, and answered by evidence the measured party did not produce.

What it is not

• It is not Proof of Efficacy. Coverage says what was looked at; it does not say what worked.
• A high coverage ratio is not a good result. It is an honest one.

The three answers

• proven: Every item in the Claimed Set and the Mine Plan is classified tested, untested or blind, and the classification recomputes identically from the registered records.
• refuted: Any item is misclassified: presented as tested without the declared minimum of scored Units of Proof, or omitted.
• insufficient: The Claim Sheet or Mine Plan was not registered before the first commitment.