Proof check reference
Review check exceptions before they expire
A waiver is an explicit exception to a check result. Keeping its reason, scope and expiry reviewable prevents a temporary exception from silently becoming the project’s normal behavior.
What the check reads
The verify-stage check has error severity. Expired waivers produce a failed result; waivers approaching expiry produce a warning. The default expiring-soon window is 14 days when the configured value is absent or nonpositive. Expiry uses YYYY-MM-DD and the current UTC calendar day: today is expiring, not expired. An invalid expiry is treated as expired. A waiver without an expiry does not trigger an expiry finding.
proof audit --check waivers_reviewedAn illustrative case
Illustrative case: an exception allows a specific finding while its reproducer is being repaired. When its deadline approaches, review whether the finding still applies and whether the agreed repair occurred. Renewing the date without inspecting the evidence extends an exception; it does not resolve the underlying issue. A permanent exception deserves an explicit policy decision even though this expiry check accepts an empty deadline.
Resolve the finding
- Inspect the waiver’s check, scope, reason and original result. Determine whether the underlying problem is fixed, remains accepted within a boundary or needs escalation.
- Remove an obsolete exception or renew it through the project’s authorized waiver process with a current rationale and appropriate expiry. Agent management depends on explicit project policy.
- Rerun the affected check and waiver review. A matching waiver changes the visible status to waived while preserving the underlying status; it does not turn the original finding into a pass.
What a clear result means
A clear result only establishes that the inspected waivers are not expired or within the configured warning window. It does not judge the exception’s safety. Check-specific waiver scope and product risk acceptance are separate records, and all reported issue IDs must be covered for a multi-issue check to be waived.
Continue with one real issue
Risk acceptance · Approvals current
Bring one finding, its requirement and the current evidence to scope a walkthrough of what your reviewer can establish and what still needs work.