Summary

CLI updates for both airgen-cli (0.4.1 → 0.5.0) and uht-substrate (0.4.6 → 0.4.7), plus protocol upgrade to v6.3 incorporating lessons from the Naval CMS decomposition review.

CLI Changes

airgen-cli 0.5.0

Fix	Before	After
trace list	Returned empty despite 106+ linkset links	Returns linkset links correctly
diag blocks list	Command didn’t exist	Lists blocks in a diagram
lint --suppress	No suppression mechanism	--suppress, --baseline, --save-baseline flags
diag render node IDs	block-1773507844558	n0, n1, n2
diag render label newlines	Literal \n	<br/>
diag render edge label quotes	|"text"|	|text|
diag render shape syntax	>"label"]	(["label"]) stadium shape
diag render connectors	==> still present	Sanitizer still needed
diag render style lines	Still emitted	Sanitizer still needed

The Mermaid sanitizer (fix-mermaid.py) updated to stop removing valid (["..."]) stadium shapes. Still handles ==> → --> and style line removal.

uht-substrate 0.4.7

Fix	Before	After
entities list --namespace	Flag didn’t exist	Filters entities by namespace

Protocol updated to document --namespace flag and use it for PART_OF reconciliation entity counts instead of the heavier namespace-context call.

Protocol v6.3

Eight improvements from the Naval CMS review (sessions 187–197):

1. Duplicate requirement prevention — check existing requirements before creating (new step 4a)
2. Diagram reuse — check for existing diagram before creating (modified step 4)
3. Degraded-mode quantification — hard rule requiring numeric thresholds
4. Verification entries for interfaces — every IFC requirement must have a VER entry (new step 6a)
5. PART_OF reconciliation — entity count vs fact count check before first-pass-complete
6. Lint noise suppression — LINT_ACKNOWLEDGED facts for reviewed findings
7. Architecture decisions — at least one ARC entry per subsystem (new step 3a)
8. QC reinforcement — 7 additional explicit checks in Flow C

Implications

1. From session 201 onward, decomposition sessions enforce lookup-before-write guards.
2. The Mermaid sanitizer remains necessary for ==> connectors and style lines.
3. entities list --namespace replaces namespace-context for lightweight entity queries.
4. Protocol version is now 6.3.

Version manifest

Component	Version	Notes
airgen-cli	0.5.0	Up from 0.4.1
uht-substrate	0.4.7	Up from 0.4.6
Session protocol	6.3	Up from 6.2
Mermaid sanitizer	Updated	Stops removing stadium shapes