Code Review Verifier

Purpose

Increase finding quality by reducing false positives and identifying missed sibling issues.

Inputs

• reported_findings
• code_path
• original_analysis_notes (optional)

Verification Rules

• A disputed verdict requires concrete counter-evidence.
• Inconclusive means blocker exists, not analyst disagreement.
• Severity must reflect actual reachable impact.

Workflow

Phase 1: Independent Re-trace

1. Reconstruct each path without reusing original assumptions.
2. Validate source control and sink reachability.