Proof check reference

Review the answers inside a PoC checklist

A proof-of-concept checklist can exist while every answer remains false. This check exposes unsatisfied general checklist rules on active high or critical KnownIssues.

What the check reads

The verify-stage warning inspects a present poc_quality block. Each applicable general rule must be true, or have a reasoned not_applicable entry where that rule permits it. A reviewer-stamped poc_quality_exemption is another recorded exit. Missing blocks are left to poc_quality_checked. This check does not grade the three Web3-only rules because it evaluates KnownIssue fields without project context.

proof audit --check known_issue_poc_quality_effective

An illustrative case

Illustrative case: a high-severity report includes poc_quality but leaves production_path false. The PoC uses a substitute implementation rather than the product path. Setting the boolean true would clear the metadata discrepancy while leaving the evidence unchanged. First exercise the actual target or explain the boundary and narrow the claim.

Resolve the finding

  1. Read each reported rule and locate the relevant setup, source and observed output.
  2. Repair the PoC until the applicable quality statement is supported. Cite the evidence in notes when recording the answer.
  3. Use not_applicable only for eligible rules with a real rationale, or obtain the appropriate reviewed exception. Rerun the check.

What a clear result means

The checker evaluates stored answers, not their truth in the world. A complete all-true block does not execute the PoC or establish exploitability. Keep the run record, input versions, result polarity and impact argument available to the reviewer instead of treating checklist completion as behavioral verification.

Continue with one real issue

Poc quality checked · 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.