docs: document the BSDL workflow + add a batch/TUI tutorial

DESIGN.md: libbsdl dependency and --batch headless mode; bsdl_model/bsdl_check
in the layout; the attach-bsdl command and the `B` persist tag; PinSpec is now
BSDL-populated; verify's five passes incl. the model-driven and JTAG checks
and the new AnomalyKinds. README: libbsdl dependency, --batch usage, tutorial
link. New doc/user/tutorial.md: end-to-end batch and TUI walkthroughs (load →
tag → connect → attach-bsdl → verify, with the pin/JTAG findings explained).
Regenerated commands.md (adds attach-bsdl); index.md links the tutorial.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

doc/user/commands.md

@@ -37,7 +37,7 @@ browse modules → parts/signals/connections → details (interactive)
 ---
 ### `export`  *(interactive)*
 
-export structured data to CSV (kinds: connections; bare form opens the file-picker dialog)
+export structured data to CSV / ODS (kinds: connections; bare form opens the file-picker dialog)
 
 **Arguments**
 
@@ -88,6 +88,21 @@ tag a part's connector type for transform lookup
 detect signal groups (diff pairs, buses) and structural anomalies
 
 **No arguments.**
+---
+### `attach-bsdl`
+
+attach a BSDL (.bsd) model to a part and populate pin specs
+
+**Arguments**
+
+1. `module`
+2. `part (name or pattern)`
+3. `bsdl file (.bsd path)`
+
+**Notes**
+
+- no per-arg prompt: pass all args inline (or run bare for an empty-args path)
+
 ---
 ### `clear`
 
@@ -238,7 +253,7 @@ execute a file of commands line by line (interactive cmds rejected)
 ---
 ### `verify`
 
-check pin roles locally and signal-type consistency across bridged nets
+check pin roles, bridged-net consistency, and model-driven pin specs (contention/undriven/NC)
 
 **No arguments.**
 ---