Repository navigation

feat: add verification diagnostics and safe summaries - #30

Merged

ipolyzos merged 4 commits into

mainfrom

feat/verification-diagnostics

Oct 10, 2026

Merged

feat: add verification diagnostics and safe summaries#30
ipolyzos merged 4 commits into
mainfrom
feat/verification-diagnostics

Commits on Oct 10, 2026
- feat: add machine-readable verification summary counts
  ipolyzos
  committed
  479a498
- feat: display safe verification failure summaries
  ipolyzos
  committed
  5ca80af
- test: cover pass, failure, timeout and launch summaries
  ipolyzos
  committed
  36c925f
- docs: describe verification summaries and privacy limits
  ipolyzos
  committed
  f58c7cd