Make a known issue useful to the next investigator

What the check reads

The default-on verify-stage check emits counted advisory warnings. Its evidence floor accepts a bound test or resolving evidence reference, a reproducer command, manual reproduction steps or an environment note. It also checks origin provenance through introduced_in. High, critical or security-relevant records require additional ownership, review, severity and treatment fields. Security-relevant records require a valid vector. Referenced manifests are checked for validity, freshness, run-record fields and alignment with the issue.

proof audit --check known_issue_complete

An illustrative case

Illustrative case: an open issue points to a test that once reproduced a timeout. The test changed, but the evidence manifest retains its old input hash. The test link still resolves; the observed result is stale. Refreshing the date or copying a new hash would obscure the missing execution. Rerun the relevant reproducer and retain its actual result.

Resolve the finding

1. Use the named finding to repair the missing evidence, origin, trace or high-stakes metadata. Record unknown origin honestly while investigation continues.
2. Resolve attached paths and test links. Re-execute stale evidence and update affected-requirement mappings when the issue scope changes.
3. Inspect duplicate candidates and mirror links where reported. Rerun the check and keep unresolved debt visible.

What a clear result means

A complete record can still describe a false allegation. Some accepted evidence forms are manual, and manifest run fields do not authenticate execution or validate the author-supplied observed_result. Use the dedicated reproducer and severity checks, plus review of the retained output, for stronger claims.

Continue with one real issue

Known issue reproducer present and resolves · High severity reproducer grade

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