View commands

View commands present components of the current formal state. All accept --json for machine-readable output.

Common flags: --compact, --stats-only, --code/--no-code, --ids, --art-ids.

Full state

speclogician view state              # rich output
speclogician view state --json       # full JSON (for agents)
speclogician view state --compact    # condensed overview
speclogician view state --stats-only # counts only, no spec/artifact detail

Spec and domain

speclogician view spec               # specification (domain model + scenarios)
speclogician view domain             # domain model only (base, predicates, transitions)

Artifacts

speclogician view artifacts          # all artifacts (traces, docs, source refs)

Diff

Show what changed between the current and previous state instance:

speclogician view diff
speclogician view diff --json

The diff includes a progress section with quantified metrics:

Metric	Meaning	Target
`scenarios_valid_pct`	% of scenarios with no missing/inconsistent components	`100.0`
`reachability_pct`	% of scenarios reachable from initial states	`100.0`
`components_valid_pct`	% of predicates + transitions with valid IML	`100.0`
`linked_artifacts_pct`	% of components linked to at least one artifact	`100.0`
`complement_regions`	Number of uncovered behavior regions (lower is better)	`0`

Instance history

speclogician view instances          # list all state instances

Trace reachability

speclogician view trace-reachability          # full analysis
speclogician view trace-reachability --trace T1  # filter to one trace