yichus explore
Emit system profile JSON
This help is generated from the same argument parser as the CLI. For a
subcommand, append its name and --help to see its options.
Usage: yichus explore [--output <string>] [--path <string>] [--depth <integer>] [--overview <string>] [--overlay <string>] [--limit <integer>] [--path-from <string>] [--path-to <string>] [--trace <string>] [--trace-flow <string>] [--follow-edges <string>] [--monad <string>] [--connections <string>] [--direction <string>] [--search <string>] [--scope <string>] [--load <string>] [--unload <string>] [--reload <string>] [--stop] [--daemon-server] [--socket <string>] [--query <string>] [--entry-point <string>] [--agenda] [--agenda-type <string>] [--cursor <integer>] [--agenda-package <string>] [<files>...]
Emit system profile JSON
Options and flags:
--help
Display this help text.
--output <string>, -o <string>
Output path
--path <string>
Explorer path to inspect
--depth <integer>
Expansion depth
--overview <string>
Summarize a target, package, or binding path
--overlay <string>
Overview overlay: all, effects, dataflow, signals, boundaries
--limit <integer>
Maximum bindings returned per overview section (totalMatching always reports the full count)
--path-from <string>
Start binding path for a route query
--path-to <string>
End binding path for a route query
--trace <string>
Trace upstream dependencies for a binding path
--trace-flow <string>
Trace upstream dependency edges for a binding path
--follow-edges <string>
Trace dependency pruning mode
--monad <string>
Monad type to treat as effectful
--connections <string>
Show connections for a path
--direction <string>
Connection direction
--search <string>
Structured property search
--scope <string>
Search scope path
--load <string>
Load files into the explorer daemon as this target
--unload <string>
Unload a target from the explorer daemon
--reload <string>
Reload a target in the explorer daemon
--stop
Stop the explorer daemon
--daemon-server
Run the explorer daemon server
--socket <string>
Explorer daemon socket path
--query <string>
Bosatsu query program to run against the target
--entry-point <string>
Entry point function name in the query program (default: classify)
--agenda
Enumerate fact cards one page at a time (with per-type coverage counts)
--agenda-type <string>
Filter agenda cards by type: dead-field, discarded-argument, unused-parameter, guard-only-parameter, detached-read, blind-write, literal-result, package-reach, run-evidence, unexecuted-reference, constant-despite-reach, flow-instance, flow-divergence, wire-result-field
--cursor <integer>
Agenda paging cursor (use nextCursor from the previous page)
--agenda-package <string>
Filter agenda cards to one package (drain one package at a time)