svlens ships layered help:
svlens --help— root overview, quick-start, install hint, docs pointer, product boundarysvlens help conn/svlens conn --help— connectivity-specific contractsvlens help cdc/svlens cdc --help— CDC-specific contractsvlens help both/svlens both --help— combined-run contract
Phase 1B uses a hybrid help architecture:
- Generated / structured sections
- command usage
- option tables
- required/common/output sections
- Hand-authored narrative sections
- quick-start examples
- exit code semantics
- limitations / heuristic notes
- install hints
- product boundary messaging
This keeps help aligned with the CLI surface while still giving users practical guidance.
svlens is a pre-signoff structural analysis tool.
Use it for CI gates, review support, and early structural/CDC checks.
Do not treat the help text as a claim of sign-off equivalence.
Must include:
- usage for
conn,cdc,both, andhelp - quick-start examples
- install hint for offline / preinstalled builds
- docs pointer
- product boundary note
Must include:
RequiredCommonOutputsExamplesExit CodesLimitationsNotes