Problem: a TU skipped because a prior run quarantined it was not analysed, but coverage did not say so. The serial path dropped it from the attempted set, so a scan whose only TU was quarantined was complete and exited 0; the fan-out path saw no file_finished record and called it frontend-failed. Fix: the shard runner counts every requested TU and records skipped ones with gap reason `quarantined`; a worker emits a file_finished record with that reason so the parent classifies it the same way. USAGE lists the reason. Test: test_subprocess_fanout "[quarantine]" covers serial (was 2 attempted, no gap) and fan-out (was frontend-failed). CLI probe: serial and fan-out both exit 2 with a `quarantined` gap. |
||
|---|---|---|
| .. | ||
| architecture | ||
| internal | ||
| research | ||
| BUILDING.md | ||
| compatibility.md | ||
| mcp-tools.md | ||
| positioning.md | ||
| README.md | ||
| USAGE.md | ||
fold documentation
Public-facing docs in this directory are intentionally small:
USAGE.md— CLI usage and report formats.BUILDING.md— build and radare2 integration notes.positioning.md— high-level product positioning and tradeoffs.research/— public research/background notes.
Verbose development plans, audit logs, benchmark snapshots, and agent-specific
notes live under internal/. Link to those files from public docs only when a
contributor needs the implementation detail.