Verification · Finding validation · External contract verification
Proof grading
Grade as definitive (spec or exhaustive enum), illustrative (an example) or unresolved.
How to build it
- Mark a finding definitive when it cites the spec clause or an exhaustive list of cases.
- Mark a finding illustrative when it rests only on an example input.
- Mark a finding unresolved when no spec or source for the claim can be found.
Signals in a repository
- Finding records with a proof field holding definitive, illustrative or unresolved.
- Review comments that quote a spec section or list the cases they checked.
In practice
No scanned repository runs a tool for this check. The steps above are the only guidance.