Rendered from docs/requirements/README.md in the Headwater corpus. Every document on this half of the site is typed by the taxonomy the descriptor names: corpus.json.

Requirements

The documents on this shelf, in the reading order this corpus derives.

• The engine reaches no network at check time — The engine opens no network connection while it reads a corpus, so a check runs offline and a resolution result stays reproducible. (asserted, and no human has accepted it)
• Every document of a kind that requires sections carries all of them — A document of a kind that declares required sections carries a heading for every one of them, and section.required.missing settles it. (asserted, and no human has accepted it)
• A relation target written as the path of a document is reported, and never bound as an anchor onto that file — A relation entry that writes the path of a document gets a finding that names the identifier to write, and no anchor. (asserted, and no human has accepted it)
• The graph export carries the member patterns of a list anchor — Each list anchor in the native graph export carries its sorted members as patterns beside its encoded id. (asserted, and no human has accepted it)
• A code path names every document that governs it — Asked about a code path in any spelling, the engine names every document whose governs anchor matches it. (asserted, and no human has accepted it)