Coverage joins three independent statements about the same requirement: the
spec defines it, the plan's table maps it to tasks, and a work item claims
it. They are reported side by side rather than reconciled — a requirement
claimed by a task but absent from the table is a different fact from one no
task mentions at all, and flattening them would hide the difference.
Compose G1's packet from the run's own artifacts.
Coverage joins three independent statements about the same requirement: the spec defines it, the plan's table maps it to tasks, and a work item claims it. They are reported side by side rather than reconciled — a requirement claimed by a task but absent from the table is a different fact from one no task mentions at all, and flattening them would hide the difference.