Unresearched P0 vectors

The check is default-on at warning. It runs at verify against every vector YAML. It fires only when priority: P0 and status: unresearched. partial and researched do not fire in this MVP. closed-null, closed-ki, and deferred (with a recorded defer_note) do not fire. Missing proof/vectors/ is a no-op pass. Projects that never author vectors are not failed for that.

Null is success. Closing a campaign as closed-null (hunted; no NEW Med+) clears the finding. That is a valid external-review exit, not a failure. Filing a KnownIssue and exiting closed-ki also clears it. Parking the angle with an explicit defer note clears it. Silencing the check with enabled: false reports skip, never pass.

By default the finding is a counted warning. It does not fail the merge. For an auditor completion profile that must not go green with open P0 hunts, raise it:

proof config set project.checks.unresearched_p0_vectors.fail_as_error true
proof config set project.external_review.require_p0_vectors_closed true

Either flag sets result severity to ERROR when open P0 unresearched vectors exist. Closed and deferred exits still clear the gate. Release readiness can also block on the same open set via readiness_policy.require_no_unresearched_p0_vectors: true on a Release manifest. Counts are always populated on proof release status.

id: V-H1
title: Deadline arithmetic on the periphery
priority: P0
status: unresearched

That YAML is the silent board. The suite can still be green. The hunt never started. See residual kill hygiene for whether a closed kill still has samples. This hop is whether the P0 campaign is still unopened. Vector YAML structure (missing links, missing notes, unknown classes) is vector campaign hygiene, not this URL.

proof vector list --priority P0 --status unresearched
proof vector campaign V-H1 --status closed-null --note "0 NEW Med+; site board complete"
proof audit --check unresearched_p0_vectors

Open the campaign, or exit it honestly. Do not drop the YAML so the hop goes green. An unopened P0 is still an unopened P0.

The teaching graph is still one P0 next to one unresearched status. Read the finding. Then open the hunt, or exit it with a note.

proof vector list --priority P0 --status unresearched
proof vector campaign V-H1 --status closed-null --note "0 NEW Med+; site board complete"
proof audit --check unresearched_p0_vectors --verbose
proof help vectors

Close an unresearched finding by starting the hunt (partial / researched), exiting closed-null, filing a KI and exiting closed-ki, or recording deferred with a defer note. Residual-only measured kills stay on residual kill hygiene. Do not treat a missing vectors directory as proof you hunted. Jama still authors. Proof vs Jama.

Warning severity. Findings are counted warnings, strict-exempt, unless you raise fail_as_error or the external-review flag. Missing proof/vectors/ is a no-op pass that inspected nothing. MVP scope is unresearched only: a P0 left at partial still clears this hop. Orphan markdown hunt notes outside proof/vectors/ are not scanned until imported into yaml objects. An explicit opt-out reports skip, not pass. The hop does not run the campaign. It does not inspect the implementation. We have not scored this floor against a frozen Jama pack, a CodeSignal interview, or a STRIDE workbook. The loss is named, not scored.

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 unresearched P0 vectors? Same question. Same URL.

Is this residual kill hygiene? No. That hop is whether a closed kill still has samples. This hop is whether the P0 campaign is still unopened. See residual kill hygiene.

Is this vector campaign hygiene? No. That hop is whether the hunt YAML still resolves. This hop is whether the P0 is still unopened. See vector campaign hygiene.

Is this CodeSignal? No. Ads code signal is that interview product. A hosted coding test 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 open or exit it.

Does an unresearched P0 fail the merge? No. The check keeps warning severity unless you raise fail_as_error or require_p0_vectors_closed.

Is closed-null a failure? No. Hunted with no NEW Med+ is success. That is the honest empty board.

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