CLI re-export of the brief helpers that now live in core
(agentstatedeveloper_core::brief). Kept as a single-line module so
existing crate::commands::brief::* call sites in read.rs / graph.rs
resolve unchanged. Plan D t-007.
asd conclusions list [--class <class>] [--symbol <qname>] — view ledger
entries bucketed by the six Plan B conclusion classes (decisions,
classifications, mappings, hazards, recipes, followups).
asd hooks — show installed ASD git hooks, their triggers, commands,
and current status. Hooks are installed by asd init and live in
.asd/hooks/ with core.hooksPath pointing git at that directory.
asd scopes [list] — discoverability for named scope aliases defined in
.asd/scopes.toml. Most field users have not realized that --scope foo
and --paths "Packages/AudioEngine/**" already work on search,
prepare-change, investigate, impact, checklist, and since. This command
makes the available scopes visible and prints a usage hint when the file
is missing.
asd sync [--dir <path>] [--prune] — mirror live ASG state into the
.asd/v1/ on-disk sidecar. The sidecar travels with git commit,
letting a fresh git clone hydrate an ASD repo without a network
registry.
asd test-summary — read test-runner output on stdin and emit a compact,
failures-only summary. Pairs with ASD’s test-gap detection: run your tests,
pipe the log in, and hand the agent only the failures + counts.
asd trace -- <cmd> [args...] — run a Python program under the ASD
runtime tracer (tools/asd_tracer.py), then ingest the resulting JSON
report into ASG as Trace records. Updates each symbol’s EffectDecl
verification block to reflect what the tracer actually observed.
asd verify-effects <qname> — compare declared effects against what the
static checker infers from the current source, write mismatches back to
the EffectDecl, and report verification status.