soft3/neuron/specs/cli.md

Neuron CLI

Automatic local emit uses the guarded embedded worker path: explicit supported descriptor, fresh placement generation, affine attempt token and one-use durable dispatch claim. Its device/boot label identifies this disposable local process; it makes no physical-device or remote-attestation claim. External/manual take never constructs a worker token. Running a no-longer-retained invocation reports not-retained; retrying its admission still returns its preserved original receipt.

The executable is neuron. Mutations require an explicitly selected host key; inspection/history and legacy inspection need no VM authority. The supported local key file holds one secp256k1 scalar, created only by explicit keygen FILE with exclusive creation and owner-only permissions. Identity is the existing mudra H(compressed_pubkey), never a program installation hash.

--vault-home DIR --vault-root ID selects the encrypted Vault and its spell entry. --vault-path PATH selects a Cosmos path; --vault-domain DOMAIN instead selects a domain-root entry. --vault-hrp HRP is address formatting, not a new signing profile. Vault prompts for its unlock password directly; --vault-secrets-stdin explicitly selects a trusted pipe. Two replicas must already be configured with the Vault CLI. All signing uses the shared Vault host journal and custody API; Neuron receives only public credentials and NSIG1 evidence. The process retains the exclusive Vault host lock while using its signer.

--key-file FILE selects the explicit legacy raw-key adapter, mutually exclusive with Vault selection. An unavailable/locked Vault never falls back to it. --network ID pins a network explicitly; otherwise an existing subject's stored network is used. New local activation uses the versioned local network identifier. --grant-act NAME supplies current host rights. A program's install --allow NAME requests a subset of those rights; its manifest cannot issue rights. No key bytes are emitted in JSON or graph data.

Commands: keygen, identity, activate, install, submit, run, inspect, history, take, outcome, fail, wake, pause, resume, cancel, retire, upgrade, archive, import, legacy-inspect, legacy-history. Programs and invocations are explicit arguments under the neuron subject. Admission defaults to the program's bounded allowance; parent allocations use --parent and --steps. --queue-only persists admission without evaluation. Stable --nonce returns the original receipt or conflicts.

take durably records an attempt and returns bound subject/network/prog/invocation/ operation/attempt/authorization. A repeated take is unknown, not permission to redispatch. outcome and fail correlate exact operation/attempt identities. Paused programs retain outcomes and resume only after explicit activation. wake delivers a correlated event result using its own stable nonce.

import NEURON ORIGIN=INSTALL_NONCE... --nonce NONCE migrates inspected legacy namespaces in the selected shared store and fences them atomically. An exact rerun returns the original mapping. legacy-inspect and legacy-history retain explicit provenance; normal subject APIs do not accept a birth hash as identity. Backend redb migration remains a separate feature-gated conversion command.

For a separate SSD source, first activate the authenticated target in --store, then use stage-import NEURON --source LEGACY_DIR --nonce TRANSFER_KEY --pages N. The source must be closed by other processes. This seals its ordinary writer entry point and copies bounded pages. JSON reports the manifest, copied row/byte counts and complete; rerun with the same key until complete. Interrupted pages do not advance the cursor. The source remains retained and sealed. Then run import with explicit origin-to-prog mapping and granted acts. Staging alone creates no invocation and cannot dispatch. A changed transfer key/target conflicts.

An existing implicit cell.redb prevents accidentally opening an empty default BBG store. Explicit --store selects a store; existing files are never replaced by an empty directory. The CLI reports local durability and local authority, without claiming network finality or unimplemented proof verification.

legacy-source-inspect SOURCE [--destination PATH] opens the source explicitly, including after a seal. It reports validated source heads, counts/digest, programs, resources, live/unknown operations, checkpoint compatibility and sizing. It needs no key, target root or execution grant and never seals an unsealed source.

legacy-export SOURCE DESTINATION --target NEURON --nonce TRANSFER_KEY --pages N uses the same bounded BBG logical transfer without activating a subject. The source is sealed and retained; the destination holds inert staged namespaces. A page-limited result reports complete=false; rerun the exact command until complete. The intended target and nonce are public cutover metadata, not custody. Then explicitly activate that subject under its key and run semantic import with the required mappings/grants, or stage the retained source into its already active shared store. Export creates no key and executes no pending invocation.

Homonyms

cli
feature of go-cyber cyber query bandwidth load: query the bandwidth load neuron: query the neuron bandwidth params: query the bostrom/bandwidth module parameters information price: query the bandwidth price total: query the total bandwidth
cyber/cli
soft3/cli
soft3 CLI `soft3` — command-line interface to the soft3 stack. commands launch full operator guide: soft3/docs/launch|launch spacepussy-test. summary: product network is **spacepussy-test**, not cosmos space-pussy on cybernode today: local cybergraph + foculus components; `cyber sync` probes :7780…
specs/cli
cyber CLI Product owner: cyber. Implementation: `cyber/src/main.rs`. This document specifies the public executable boundary; specs/worker owns computation jobs and specs/cyb-node owns the existing cyb HTTP connection. The implemented baseline describes the current unpublished 0.8.0 source,…
neural/inf/rs/cli
cli
warriors/joy/specs/cli
joy CLI Owner: joy. The baseline describes source version 0.4.0 at `6b8dfd3`. The working-tree integration below records concurrent target-package work separately from that committed baseline. Target sections define requirements for a subsequent interface revision and remain unimplemented until…
soft3/cybergraph/specs/cli
cybergraph cli a command-line console for the cyberlink processor: declare intents, seal and link signals, query the graph with inf, and inspect the per-neuron chains. `cybergraph`'s verb is **link** — the CLI is the processor's console, one layer above the bbg state store (`bbg` CLI). scope — the…
neural/trident/reference/cli
⌨️ CLI Reference [← Language Reference](/neural/trident/reference/language) Three-Register Flags Trident uses a **three-register** naming model for targets. Each register has two synonyms — one *geeky* (technical) and one *gamy* (metaphorical) — plus a *universal* shorthand for backward…
soft3/zheng/specs/cli
cli the `zheng` command-line face of the proof system. drives the library's five entry points from a shell and emits results as a tape chunk stream. invocation output convention — one channel (stdout), two renderings of the same data: **interactive** (stdout is a terminal) — styled ANSI: a gradient…
soft3/lens/specs/cli
lens cli command-line tool for the commitment layer. commit to a file as a polynomial, open evaluations, verify openings without the file. wraps the five constructions of commitment behind one binary. the tool lives in the `cli/` crate (package `lens-cli`, binary `lens`), a workspace member…
soft3/bbg/specs/cli
bbg cli a command-line tool for the authenticated state layer: inspect the committed state, apply signals, finalize blocks, and prove/verify records. `bbg`'s verb is **store** — the CLI is the store's console, the way `redb`/`sqlite` ship a shell for their engine. scope — what it is, and is not bbg…
cyb/wysm/crates/cli
The Wasmi CLI Application A lightweight **WebAssembly interpreter CLI** built on top of the [Wasmi crate]. This application provides a command-line interface for executing WebAssembly modules (`.wasm`) and WebAssembly script files (`.wast`). It supports WASI, configurable compilation strategies and…
soft3/glia/import/specs/cli
import CLI surface What the `mi` binary (the CLI entry point of the `import` crate) exposes today. Subcommands | Subcommand | Purpose | Source | |---|---|---| | `mi import ` | Convert source directory → `~/llm/.model` | `main.rs::run_import` | | `mi list` | List HF cache entries under…

Graph