Risk-ranked scan
Recent closure bundles, ranked by proof risk
This page ships with a seeded view of the latest Duck Control closure bundles relevant to the current lane. Scores stay honest: the finder only flags what is actually missing in the baked dataset, and treats older proofs as aging rather than pretending they are fresh.
Filters
Focus the scan by risk, gap type, or bundle name
Gap ledger
Every detected gap, grouped as remediation work
Markdown export
Remediation checklist
Exports only the visible results so operators can narrow the bundle to the current handoff or release lane.