Module cli 

Structs

ProofTrace

Functions

is_science_subcommand

register_atlas_init_handler

register_atlas_materialize_handler

register_atlas_serve_handler

register_atlas_update_handler

register_code_handler

Install the code-analyst handler. Idempotent.

register_constellation_init_handler

register_constellation_materialize_handler

register_constellation_serve_handler

register_datasets_handler

Install the datasets handler. Idempotent.

register_experiments_handler

Install the experiment-planner handler. Idempotent.

register_notes_handler

Install the notes-compiler handler. Idempotent.

register_reviewer_handler

Install the reviewer-agent handler. Idempotent.

register_scout_handler

Install the scout handler. Idempotent — second registrations are silently ignored so a misbehaving consumer can’t unseat the binary’s wiring mid-run.

register_tensions_handler

Install the contradiction-finder handler. Idempotent.

run_command

run_from_args

Type Aliases

AtlasInitHandler

v0.78: pluggable handler for vela atlas init. The binary in vela-cli/src/main.rs installs a real handler that calls into the vela-atlas crate.

AtlasMaterializeHandler

v0.78: pluggable handler for vela atlas materialize.

AtlasServeHandler

v0.78: pluggable handler for vela atlas serve. v0.78 stub delegates to the per-frontier Workbench for the first composing frontier. Dedicated Atlas-level Workbench page is v0.79+.

AtlasUpdateHandler

v0.81.2: pluggable handler for vela atlas update. Lets the binary update an Atlas’s composing-frontier list without the rm-and-init dance. The handler re-computes the Atlas’s content-addressed id and writes the updated manifest.

CodeHandler

v0.24 Agent Inbox: pluggable handler for vela compile-code.

ConstellationInitHandler

v0.82: Constellation-level handlers. Mirror the Atlas pattern one layer up. The binary registers handlers that call into the vela-constellation crate.

ConstellationMaterializeHandler

ConstellationServeHandler

DatasetsHandler

v0.25 Agent Inbox: pluggable handler for vela compile-data.

ExperimentsHandler

v0.28 Agent Inbox: handler for vela plan-experiments.

NotesHandler

v0.23 Agent Inbox: pluggable handler for vela compile-notes. Same OnceLock pattern as the scout handler; the binary registers it at startup.

ReviewerHandler

v0.28 Agent Inbox: handler for vela review-pending.

ScoutHandler

v0.22 Agent Inbox: pluggable handler for vela scout.

TensionsHandler

v0.28 Agent Inbox: handler for vela find-tensions.