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_transfer

An 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

  1. Define the failure shape narrowly enough to guide a search, rather than using a generic label such as arithmetic.
  2. List candidate isomorphic sites and inspect their assumptions and behavior.
  3. 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.