Demo Proof Pack

Example metrics:

• Findings: 18
• Fixed in‑scan: 7
• Fix‑as‑Code: 12 generated / 9 validated / 6 PRs / 4 merged
• Proof Impact Score: 82%