Proof check reference

Keep investigation records and links valid

Campaign status is useful only when its fields and linked work can be inspected. This check validates the vector record’s structure and references.

What the check reads

The default-on verify-stage advisory warning reads proof/vectors. It checks required identity and enum fields, notes for terminal exits, defer_note for deferred work and KnownIssue links for closed-ki. Related issues, residuals and catalog obligation classes must resolve. P0 vectors need a related obligation class. A missing vectors directory produces a no-op pass; disabling the check explicitly reports skip.

An illustrative case

Illustrative case: a campaign is marked closed-ki but references an issue ID that was never created. The board appears finished while the follow-up work has no durable owner. File the actual issue with its evidence, repair the link, or revise the campaign outcome if investigation did not establish the allegation. An arbitrary placeholder would satisfy neither the workflow nor the reviewer.

Resolve the finding

  1. Inspect the vector and each unresolved reference named in the finding.
  2. Repair structural fields and link real issue, residual and catalog records. Explain the investigation’s supported exit in its note.
  3. Run vector validation and this audit check, then review unfinished-work and evidence-closure findings separately.
proof audit --check vector_campaign_hygiene

Keep the conclusion bounded

A valid link only establishes that the target exists. This check does not execute the campaign, assess the quality of a null result or prove an obligation is satisfied. Treat catalog association as an investigation scope, with behavioral evidence and acceptance still requiring their own review.

Continue with one real issue

Vector campaign closure · High severity obligation without vector

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