Keep bounded risk dismissals inspectable

What the check reads

The default-on verify-stage advisory warning inspects proof/residuals. A closed quantitative kill_number needs sample_table entries. A strengthens relationship cannot merely repeat the same sample domain. A falsified reopen_if cannot remain closed. Linked KnownIssues and source_vector must resolve, and a reopened residual with no linked issue is surfaced as promotion debt. No residual directory produces a no-op pass.

An illustrative case

Illustrative case: a rounding investigation records negligible impact for two asset pairs. A later record claims to strengthen that conclusion using the same pairs. That adds another assertion without broadening the sampled domain. Preserve the first result, add genuinely relevant samples if the claim warrants them, and state which ranges remain unexamined.

Resolve the finding

1. Inspect the residual’s quantitative claim, sample domain and source campaign.
2. Repair missing samples and references. Reopen a conclusion when its recorded condition is falsified, then link confirmed issues as appropriate.
3. Rerun the hygiene check and separately review whether the measurements support the stated bound.

proof audit --check residual_kill_hygiene

Keep the conclusion bounded

The check does not recompute the measurements or prove the domain representative. Repeating a sample table with altered prose is not additional coverage. A bounded residual is also different from accepting a known product risk: the former records an investigated claim; the latter needs an accountable acceptance decision.

Continue with one real issue

Vector campaign closure · Risk acceptance

Bring one finding, its requirement and the current evidence to scope a walkthrough of what your reviewer can establish and what still needs work.