Vector campaign hygiene

The check is default-on at warning. It runs at verify against every vector YAML. It fires on structural ValidateVector exits (closed-ki without related_known_issues, deferred without defer_note, terminal without close note or campaign log, missing id/title/priority/status, bad enums). It fires when a listed KnownIssue is not under proof/known-issues/, when a listed residual is not under proof/residuals/, when a listed obligation class is not in the loaded catalog, and when a P0 vector names no class. Missing proof/vectors/ is a no-op pass. An empty vectors directory is also a pass. Projects that never author vectors are not failed for that.

This hop does not ask whether a P0 is still unresearched. That is unresearched P0 vectors. A P0 that already left unresearched can still fail here: closed-ki with a ghost KI, or P0 with an empty class list. Silencing the check with enabled: false reports skip, never pass.

id: V-H1
title: Deadline arithmetic on the periphery
priority: P0
status: closed-ki
related_known_issues:
  - KI-DEADLINE-01

If KI-DEADLINE-01 is not on disk, the suite can still be green. The hunt YAML is a dangling pointer. See residual kill hygiene for whether a closed kill still has samples. This hop is whether the campaign object still resolves.

proof vector list
proof vector show V-H1
proof vector link V-H1 --known-issue KI-DEADLINE-01
proof vector link V-H1 --class deadline_arithmetic_faithful
proof audit --check vector_campaign_hygiene

Fix the id, create the target, or exit the campaign honestly. Do not drop the YAML so the hop goes green. A dangling closed-ki is still a dangling closed-ki.

The teaching graph is still one campaign next to one missing file. Read the finding. Then create the target, fix the id, or exit the campaign with a note.

proof vector list
proof known-issue new --id KI-DEADLINE-01 --title "Deadline wrap on periphery"
proof vector link V-H1 --known-issue KI-DEADLINE-01 --class deadline_arithmetic_faithful
proof audit --check vector_campaign_hygiene --verbose
proof help vector-campaign

Close a hygiene finding by making ValidateVector succeed, by creating the listed KI or residual, by naming a catalog class on every P0, or by correcting the id. Unopened P0 status stays on unresearched P0 vectors. Residual-only measured kills stay on residual kill hygiene. Do not treat a missing vectors directory as proof the links resolve. Jama still authors. Proof vs Jama.

Warning severity. Findings are counted warnings unless the load of proof/vectors/ itself fails. Missing proof/vectors/ is a no-op pass that inspected nothing. An empty directory is a pass that inspected nothing. Catalog unloadable skips class checks rather than false-fail. A P1 with no class does not fire; only P0 must name a class. KI and residual indexes that fail to load are treated as empty, so a real file the loader missed still warns. An explicit opt-out reports skip, not pass. The hop does not run the campaign. It does not inspect the implementation. Closure of a non-terminal status (bound evidence, owned KI, dated deferral) is a different check, not this URL. We have not scored this floor against a frozen Jama pack, an ad campaign, or a STRIDE workbook. The loss is named, not scored.

The open-P0 hop stays on unresearched P0 vectors. The sample-table hop stays on residual kill hygiene. The KI completeness hop stays on known issue complete. The engagement stays on software correctness audit. Jama still authors.

What is vector campaign hygiene? Same question. Same URL.

Is this unresearched P0 vectors? No. That hop is whether a P0 campaign is still unopened. This hop is whether the YAML still resolves. See unresearched P0 vectors.

Is this residual kill hygiene? No. That hop is whether a closed kill still has samples. This hop is whether listed residuals and KIs exist. See residual kill hygiene.

Is this an ad campaign? No. Ads vector campaign is that marketing spend. A hosted ad is not this cell.

Does a missing vectors directory fail? No. Missing proof/vectors/ is a no-op pass. Put a YAML there when you plan a hunt, then keep its links honest.

Does a dangling KI fail the merge? No. The check keeps warning severity. Load failure of the vectors directory is the exception that fails.

Is Proof a Jama alternative for the shall? No. Jama still authors. Proof vs Jama.