tools: command records, Types, instructions and docs group - one line per cause, examples, prohibitions (#142)

Files changed:
- CHANGES.md
- VERSION
- tools/CONTRACT.md
- tools/chemenu/commands/docs_verify.py
- tools/chemenu/commands/instructions_cmd.py
- tools/chemenu/commands/types_cmd.py

CHANGES.md

@@ -59,7 +59,7 @@ concern - readable here, never shipped as something to parse.
 
 ---
 
-## 7.1.0-beta.15 - 2026-09-26 - Command records, Workshop runs and session budget group: examples, prohibitions
+## 7.1.0-beta.16 - 2026-09-26 - Command records, Types, instructions and docs group: one line per cause, examples, prohibitions
 
 **Author:** Torben Nehmer
 
@@ -84,6 +84,7 @@ concern - readable here, never shipped as something to parse.
 - Command records, Provenance group: examples, exit lines per cause
 - Command records, Raw material and uploads group: one line per cause, examples, prohibitions
 - Command records, Workshop runs and session budget group: examples, prohibitions
+- Command records, Types, instructions and docs group: one line per cause, examples, prohibitions
 <!-- /wikitool:bumps -->
 
 ### CalDAV task-tracker provider (Nextcloud Tasks, iOS Reminders); review reports unknown-value findings instead of skipping them
@@ -287,6 +288,17 @@ gate's shape itself instead of pointing at the Mass-Update Gate's.
 own initiative to get past a budget refusal - and `work close` states the caller's side of its
 `--yes`: the run's conclusions are in `kb/` first.
 
+### Command records, Types, instructions and docs group: one line per cause, examples, prohibitions
+
+`types list`/`describe`, `instructions sync`/`verify`/`list` and `docs verify`/`toc`/`contract`
+rewritten the same way; text only. `docs verify`'s single sentence naming some twenty checks is
+now grouped by what it checks (commands, collections, types, ignore canaries, shipped issue
+references, tables of contents, links), with six exit-1 causes and a reaction each. `docs toc`'s
+"never fails on content" had been carried over as an exit-1 cause, so the index listed it as
+`exit:0,1`; it is now a success line and the index says `exit:0`, which is what the command has
+always done. The reasoning `docs toc`'s record carried about its scope already lived in
+`toc.py`'s module docstring and now lives only there.
+
 ---
 
 ## 7.0.0 - 2026-09-22 - Task-Tracker-Anbindung: Vorhaben als Seitenart, Verpflichtungsschicht, Weekly Review als Read-Time-Join