Proof check reference

Check approval against the current requirement

An approval of an earlier requirement is not automatically approval of its edited form. This check compares the recorded approval with the current authored requirement under the project’s configured approval policy.

What the check reads

The spec-stage check has error severity. If the approval policy names no required assurance levels, it passes with approval policy disabled. Otherwise it inspects active requirements at the selected levels: approved status, an allowed role when configured, a comment when required, a nonempty reviewed_at field and an approval fingerprint matching the current requirement. The check reports stale fingerprints; it does not itself change the stored review status.

proof audit --check approvals_current

An illustrative case

Illustrative case: an approved retry requirement changes from three attempts to five. The stored approval fingerprint no longer matches. A reviewer needs to assess the changed behavior and relevant evidence before recording a new approval. Updating the timestamp alone cannot repair the mismatch. A passing result with the policy disabled would mean the requirement was never subject to this check’s approval floor.

Resolve the finding

Inspect proof.yaml to establish which assurance levels and reviewer roles require approval, including any permitted agent authority.
Review the changed requirement and its evidence through the authorized approval workflow. Record an actual approval decision and its motivation where required.
Rerun the check on the resulting revision. Confirm separately that your required CI checks and bypass rules enforce the intended approval policy before merge.

What a clear result means

A clear result means the configured record requirements and fingerprint comparison passed. It does not independently authenticate the reviewer, assess the quality of their judgment or execute behavioral verification. This check also does not establish an age-based review deadline. Requirement approval, acceptance of residual risk and permission to release remain distinct decisions.

Continue with one real issue

Approval motivation present · Approved guarantee ki conflict

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