Each repo is fetched at its pinned commit and analyzed twice from a clean slate. The hash covers every artifact the run produces: findings, coverage, diagnostics, the report, the repros. Nine are cross-stack Python and TypeScript; five are TypeScript-only — Next.js App Router, Server Actions and Prisma, with no Python in the repository at all.
| Repository | Pinned commit | Files | Routes | Calls | Backend seen | Defects | Rerun check | Scan time |
|---|---|---|---|---|---|---|---|---|
| loading data.json … | ||||||||
Defect counts are what the evidence gate asserts at these exact commits — three of the historical findings are linked below as receipts; fixed ones no longer derive, which is the point. Read the defect count together with “backend seen”. A defect is only asserted where route extraction is trustworthy enough to license one, so a low match rate means DACIP did not extract the server this frontend talks to — its silence there is a statement about our coverage, not about the repository. A dash means nothing was comparable (backend-only repositories).
Every asserted defect from the original audit was hand-verified and disclosed upstream, under this project's name, where the maintainers could call us wrong.
The scheduled job does exactly this — tools/proofrun.py — and publishes the raw output as data.json.