Appendix C — Quick Reference Card¶

# Model exploration
syscribe -m model ls                     # list root packages
syscribe -m model tree                   # full namespace tree
syscribe -m model find <name>            # fuzzy search
syscribe -m model show <qname|id>        # element detail
syscribe -m model template Requirement   # paste-ready frontmatter skeleton

# Traceability
syscribe -m model trace REQ-X-001        # full chain: goal→req→arch→test
syscribe -m model who-verifies REQ-X-001 # test cases covering a requirement
syscribe -m model why PartDef::MyComp    # requirements the component satisfies
syscribe -m model links REQ-X-001        # all outbound + inbound edges

# Validation
syscribe -m model validate               # full model check
syscribe -m model validate --deny W015,W031  # promote specific warnings
syscribe -m model validate --profile sil4    # named policy

# Coverage
syscribe -m model matrix                 # full coverage matrix
syscribe -m model matrix --gaps-only     # only rows with gaps
syscribe -m model matrix --status approved   # only approved requirements
syscribe -m model verification-depth --sil 4 --min-levels 2

# Safety
syscribe -m model metrics                # SPFM / LFM / PMHF per goal
syscribe -m model safety-case            # GSN trees for all goals
syscribe -m model safety-case SG-X-001  # GSN tree for one goal
syscribe -m model fmea report FMEA-X-001 # RPN-ranked FMEA table
syscribe -m model hara matrix            # HARA S/E/C -> ASIL heat table (--format md|html|json)
syscribe -m model fault-tree render FT-X-001  # Mermaid FTA
syscribe -m model audit                  # readiness dashboard

# Security
syscribe -m model cyber-risk             # ISO/SAE 21434 risk matrix
syscribe -m model co-analysis            # safety ↔ security overlap
syscribe -m model testplan TP-SEC-001    # security plan membership

# MagicGrid
syscribe -m model magicgrid              # grid population report
syscribe -m model magicgrid --audit      # grid + PASS/FAIL verdict
syscribe -m model trade-study            # MoE-weighted alternative scoring
syscribe -m model matrix --allocations   # function → structure allocation matrix

# Maintenance
syscribe -m model next-id REQ-SCHED      # next available ID
syscribe -m model check-ref Safety::SG-X-001  # verify a reference resolves
syscribe -m model move <src> <dst> --dry-run  # safe rename preview
syscribe -m model move <src> <dst>       # rename + rewrite all references
syscribe -m model extref "DOORS://..."   # find elements by external reference
syscribe -m model set REQ-X-001 status=approved       # schema-checked field mutation
syscribe -m model set PI-X-001 achieves.add REQ-X-002 # append, target validated first
syscribe -m model ingest-results --format cargo-json test-output.json   # or junit | session-log

# PlanningItem (multi-agent coordination)
syscribe -m model claim PI-X-001 --by agent-session-01VRUS  # refuses if claimed by someone else
syscribe -m model release PI-X-001                           # on completion or handoff