Proof check reference
Give each investigation a traceable disposition
An investigation should end in evidence, owned follow-up work or an explicit deferral. This check connects non-terminal vector campaigns to those recorded outcomes.
What the check reads
The default-on verify-stage advisory warning accepts a linked KnownIssue with resolving evidence, a KnownIssue YAML that references the vector’s exact ID, or a current dated deferral with a sufficiently detailed reason. Terminal campaigns normally pass, but deferred requires a note. Configured grace periods can postpone warnings. Unreadable manifests and oracle errors or timeouts remain inconclusive; missing owners or armed-family contracts also prevent an all-clear board.
An illustrative case
Illustrative case: a parser campaign has a linked issue and an evidence manifest, but the oracle timed out. Ownership makes the unfinished work accountable; it does not supply a verdict. Repair the execution or preserve the inconclusive result and its next action. Do not rewrite the timeout as a null finding to finish the board.
Resolve the finding
- Inspect the campaign, linked owner and evidence behind the reported state.
- Repair broken references or inconclusive evidence. If work is legitimately postponed, record the reason and an unexpired until date.
- Record a supported campaign exit and rerun the check. Keep open KnownIssues visible even when campaign attribution is complete.
proof audit --check vector_campaign_closureKeep the conclusion bounded
The name “closure” describes a workflow disposition, not proof that a defect is fixed. A KnownIssue reference can satisfy an ownership path while the issue remains unresolved. Terminal-state metadata and resolving files do not establish an exhaustive hunt or independent execution provenance.
Continue with one real issue
Vector campaign hygiene · Residual kill 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.