Module cli 

Structs

ProofTrace

Functions

is_science_subcommand

register_code_handler

Install the code-analyst handler. Idempotent.

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

CodeHandler

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

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.