Coverage Lens

Identifies missing edge cases, undefined failure modes, under-specified inputs, and missing Critical Rules. Returns findings for gaps that will cause inconsistent or broken outputs at the edges.