Proof check reference

Make unopened P0 investigations visible

A high-priority investigation can remain untouched while unrelated checks pass. This reference explains the narrow state that Proof’s unopened-campaign check reports.

What the check reads

The default-on verify-stage advisory warning examines proof/vectors records with priority P0 and status unresearched. Partial and researched campaigns are outside this particular trigger, as are terminal closed-null, closed-ki and deferred states. A missing vectors directory produces a no-op pass. The fail_as_error option or external_review.require_p0_vectors_closed can promote this check’s findings to errors, but the predicate still targets unresearched P0 records.

An illustrative case

Illustrative case: a campaign is created for a critical deadline conversion and then left untouched. Starting a scoped investigation and changing status to partial clears this specific unopened-work warning. It does not mean the campaign is complete. The closure and hygiene checks still need to inspect its ownership, evidence and eventual disposition.

Resolve the finding

  1. List the P0 unresearched records and read the intended surface and obligation class.
  2. Conduct the investigation or make an explicit, reasoned deferral under the project’s authority policy.
  3. Record actual progress and the supported exit, then rerun this check together with campaign closure and hygiene.
proof audit --check unresearched_p0_vectors

Keep the conclusion bounded

The policy flag’s name does not expand the check to all unfinished campaigns. Markdown notes outside the vector store are not scanned. A null result can be a valid outcome within the investigated scope, but a status field alone cannot establish that the work happened or that every attack angle was covered.

Continue with one real issue

Vector campaign closure · Vector campaign hygiene

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