Give high-severity hazards an investigation owner

What the check reads

The default-on verify-stage advisory warning examines obligation_hazards on active requirements. For high or critical severity, it looks for a vector under proof/vectors whose related_obligation_classes contains the same class. Medium and low hazards are outside this check. A missing vectors directory leaves each applicable class uncovered; no applicable hazards produces a pass. An explicit disable reports skip.

proof audit --check high_severity_obligation_without_vector

An illustrative case

Illustrative case: a requirement records a high-severity deadline_arithmetic_faithful hazard. The team has investigated several other vectors, but none names that class. The campaign board can appear finished while this obligation has no investigation entry. Creating and linking a campaign makes the work visible, even while its status remains unresearched.

Resolve the finding

1. Inspect the requirement, hazard rationale and catalog class named in the finding.
2. Create a suitable campaign or link the class to an existing investigation that actually covers it.
3. Assign and conduct the investigation, retaining its evidence and disposition. Rerun this coverage check and then the campaign lifecycle checks.

What a clear result means

The check establishes that a class is represented in the campaign records. It does not require that the campaign is complete or that every hazardous site was found. Lowering a severity solely to clear the warning changes the claim without resolving the risk; any legitimate reassessment should retain its rationale.

Continue with one real issue

Unresearched p0 vectors · Vector campaign closure

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