My case that coverage, mutation scores, and LLM-written tests share the same blind spots. And how property-based testing (PBT), which searches for counterexamples to declared invariants, is emerging as a low-cost complement for agentic development harnesses. Full coverage does not cover everything Branch coverage and mutation score