Rendered from docs/obligations/0066-a-finding-names-one-obligation-and-a-control-discharges-a-list.md in the Headwater corpus. Every document on this half of the site is typed by the taxonomy the descriptor names: corpus.json.

A finding names one obligation, and a control discharges a list

Context

The finding shape carries one identifier, and discharges is a sequence. Several controls may also name one rule, because a rule can run at more than one trigger. Nothing says which obligation the finding of such a rule names.

Obligation

Spec 4 and spec 12 owe a rule for the many-to-one case.

Discharge

The engine binds one where the controls that name a rule reach exactly one obligation. Where they reach more, it names them all, binds none, and reports that in the run. That is the reading it takes for two anchor kinds that claim one string.

The register is where the asymmetry is visible from both ends. It lists the rule beside every obligation that the rule reaches, and crates/check/fixtures/check.report records one such rule.