Rendered from docs/obligations/0067-a-rule-that-reads-the-taxonomy-has-no-grain-in-spec-12s-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 rule that reads the taxonomy has no grain in spec 12's list

Context

Spec 12 draws every scope over the corpus, and it names five of them. The register makes two findings that no document is about. An obligation with no disposition and a control whose mechanism the engine does not implement are both defects of the taxonomy. Neither one has a document to point at, and neither creates a check instance, so neither accounts anything against the census.

Obligation

Either spec 12 names the fifth grain, or these two rules move out of the check layer and into taxonomy validate.

Discharge

The engine states the grain as Taxonomy and reports it beside the other four. A corpus-grained verdict moves when a document moves, and a taxonomy-grained one moves when the lock moves. To fold the second into the first would put a document in a read set that no document was read for.