An available tool is not necessarily an executed tool. Coverage needs evidence for each phase.
Why it matters
The report connects observations from one system to engineering patterns: a deterministic testing core, verification separate from the original reasoning, bounded retries, and scope validation at each action. Minimal examples make each pattern explorable without the original system.
Method and limits
This is a report from one system across several sessions, not a comparative benchmark. Figures describe historical runs; they do not guarantee current coverage, complete detection or absence of false positives.