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
- List the P0 unresearched records and read the intended surface and obligation class.
- Conduct the investigation or make an explicit, reasoned deferral under the project’s authority policy.
- Record actual progress and the supported exit, then rerun this check together with campaign closure and hygiene.
proof audit --check unresearched_p0_vectorsKeep 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.