Map behaviors (not lines) to tests: which business rules, branches, and

integration paths are verified vs unverified. Produce a behavior coverage matrix.