Generates highly concise, deterministic Markdown coverage digests tailored for LLMs and autonomous agents by matching coverage deficits to their AST semantic boundaries rather than line numbers.