← runs
The known-findings ledger: one row per distinct problem, deduped across runs.
No open findings.