Proof check reference
Track related sites while investigating a defect
A useful finding should prompt a bounded search for the same failure shape elsewhere. This check keeps the declared class, candidate sites and differentiation notes from remaining empty.
What the check reads
The default-on verify-stage advisory warning applies to open or reviewed KnownIssues. It flags template_class without isomorphic_sites and can request dedup_armor on high-stakes sibling patterns. A precision, floor or cast keyword hint suggests a class for high or critical issues only in detected Web3 projects or an explicitly enabled context. General template metadata checks remain applicable outside that ecosystem.
proof audit --check known_issue_template_transferAn illustrative case
Illustrative case: a rounding defect is found in one price conversion, and a second component performs a similar division. Record the common shape and list the second site for investigation. Similar syntax does not make the sites the same defect: input ranges, guarantees and impact may differ. The site list preserves the question until evidence supports a disposition.
Resolve the finding
- Define the failure shape narrowly enough to guide a search, rather than using a generic label such as arithmetic.
- List candidate isomorphic sites and inspect their assumptions and behavior.
- Explain meaningful differences between sibling issues in dedup_armor and keep unresolved sites visible through repair and closure.
What a clear result means
The check validates declared metadata and uses limited keyword suggestions. It does not perform an exhaustive search or establish that listed sites are equivalent. A populated list is an investigation plan; executed evidence and close-time dispositions are separate work.
Continue with one real issue
Known issue sibling disposition · 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.