Enum Commands 

pub enum Commands {
    Run {
        file: PathBuf,
        runtime: Option<String>,
        timeout_ms: u64,
        entry: Option<String>,
        capture: Option<String>,
    },
    Inspect {
        snapshot: PathBuf,
    },
    Snapshot {
        file: PathBuf,
        output: PathBuf,
        runtime: Option<String>,
        capture: String,
        label: Option<String>,
    },
    Restore {
        snapshot: PathBuf,
        target: String,
    },
    Migrate {

        file: PathBuf,
        to: String,
        from: Option<String>,
        capture: String,
        allow_lossy: bool,
        no_prefer_bigint: bool,
        reject_unsupported: bool,
        strict: bool,
        output: Option<PathBuf>,
        snapshot: Option<PathBuf>,
        pir_input: bool,
        mode: String,
        dry_run: bool,
        verify: bool,
        target_style: String,
        preserve_layout: bool,
        require_build: bool,
        require_tests: bool,
        min_confidence: Option<f64>,
        fail_on_unsupported: bool,
        keep: Vec<String>,
        update: bool,
        project: bool,
    
},
    Origin {
        location: String,
        project: PathBuf,
    },
    Continuum {
        file: PathBuf,
        runtime: Option<String>,
        output: Option<PathBuf>,
        resume: bool,
        to: Option<String>,
        analyze_only: bool,
        inspect_ues: bool,
        timeout_ms: u64,
    },
    Runtimes,
    Connectors {
        id: Option<String>,
        pairs: bool,
        family: Option<String>,
        maturity: Option<String>,
    },
    Adapters {
        command: Option<AdaptersCommand>,
    },
    Adapter {
        command: AdapterCommand,
    },
    Analyze {
        path: PathBuf,
        to: Option<String>,
        write_lock: bool,
    },
    Stacks,
    Mappings {
        query: Option<String>,
    },
    Compatibility {
        source: String,
        target: String,
    },
    Unsupported {
        path: PathBuf,
    },
    ExplainStack {
        path: PathBuf,
        to: Option<String>,
    },
    Observe {
        path: PathBuf,
    },
    Impossible {
        path: PathBuf,
        to: Option<String>,
        strategy: Option<String>,
    },
    Dissolve {
        path: PathBuf,
        to: Option<String>,
    },
    Debt {
        path: PathBuf,
        to: Option<String>,
    },
    Detach {
        path: PathBuf,
        to: Option<String>,
    },
    Reconstruct,
    OptimizeMigration {
        path: PathBuf,
        to: Option<String>,
    },
    ExplainBarrier {
        id: u32,
        path: PathBuf,
        to: Option<String>,
    },
    Blame {
        location: String,
    },
    CherryPick {
        commit: String,
    },
    Patch {
        example: bool,
    },
    Capabilities {
        runtime: Option<String>,
        continuations: bool,
    },
    Doctor,
    Bench {
        iterations: u32,
        file: Option<PathBuf>,
        to: String,
    },
    Link {
        source: PathBuf,
        target: PathBuf,
        policy: String,
    },
    Sync {
        path: PathBuf,
        check: bool,
        reverse: bool,
        lint: bool,
        patch: bool,
        no_verify: bool,
        property: bool,
        deterministic: bool,
    },
    Status {
        path: PathBuf,
    },
    Ci {
        path: PathBuf,
    },
    History {
        path: PathBuf,
    },
    Rollback {
        path: PathBuf,
    },
    Explain {
        location: String,
        path: PathBuf,
    },
    Why {
        file: String,
        path: PathBuf,
    },
    Verify {
        path: PathBuf,
        property: bool,
        deterministic: bool,
        performance: bool,
    },
    Version {
        format: VersionFmt,
    },
}

Top-level commands.

Variants

Run

Execute a guest program.

Fields

file: PathBuf

Program file.

runtime: Option<String>

Runtime override (python|javascript|wasm).

timeout_ms: u64

Timeout in milliseconds.

entry: Option<String>

WASM entry export name.

capture: Option<String>

Capture binding names after execution (comma-separated).

Inspect

Inspect a .plx snapshot.

Fields

snapshot: PathBuf

Snapshot path.

Snapshot

Capture program state into a .plx snapshot.

Fields

file: PathBuf

Program file.

output: PathBuf

Output .plx path.

runtime: Option<String>

Runtime override.

capture: String

Binding names to capture (default: state).

label: Option<String>

Optional label.

Restore

Restore a snapshot into a runtime (verifies restore).

Fields

snapshot: PathBuf

Snapshot path.

target: String

Target runtime.

Migrate

Migrate state (PIR) or an entire project (Transmute).

Fields

file: PathBuf

Source program file, PIR JSON, or project directory.

to: String

Target runtime (python|javascript) or language (rust|go|…).

from: Option<String>

Source runtime / language override.

capture: String

Binding names to migrate for value mode (default: state).

allow_lossy: bool

Allow known-lossy conversions (e.g. unsafe int → Number).

no_prefer_bigint: bool

Disable automatic BigInt for integers outside JS safe range.

reject_unsupported: bool

Reject unsupported values instead of encoding them as PIR Unsupported.

strict: bool

Strict policy: reject unsupported and potentially-lossy conversions.

output: Option<PathBuf>

Write restored target-language source / project output.

snapshot: Option<PathBuf>

Also write a .plx snapshot of migrated PIR (value mode).

pir_input: bool

Offline-only: treat file as JSON PIR document (skip live capture).

mode: String

Migration mode: value (PIR), continuation (UES), or project (Transmute).

dry_run: bool

Dry-run project migration (plan only).

verify: bool

Verify migrated project (build/tests/behavior).

target_style: String

Target code style: idiomatic|literal.

preserve_layout: bool

Preserve source layout when possible.

require_build: bool

Require successful target build.

require_tests: bool

Require target tests to pass.

min_confidence: Option<f64>

Minimum overall confidence [0.0–1.0].

fail_on_unsupported: bool

Fail if unsupported regions remain.

keep: Vec<String>

Keep language/role untranslated (repeatable), e.g. sql, shell.

update: bool

Incremental update (reuse .parallax/ workspace).

project: bool

Force project (Transmute) migration even for a single file.

Origin

Look up the original source location for a generated line (file:line).

Fields

location: String

Generated path:line (relative to migrated project).

project: PathBuf

Migrated project root (directory containing .plxmap.json).

Continuum

Continuum: explicit safepoint capture / UES inspect / checkpoint resume.

Fields

file: PathBuf

Program with parallax.checkpoint(...), or a UES JSON file with --inspect-ues.

runtime: Option<String>

Runtime override.

output: Option<PathBuf>

Write captured UES JSON.

resume: bool

Resume post-checkpoint region on the same runtime (experimental).

to: Option<String>

Target runtime for contract analysis (default: same as source).

analyze_only: bool

Only analyze the migration contract (no execute).

inspect_ues: bool

Inspect a previously written UES file instead of running a program.

timeout_ms: u64

Timeout in milliseconds.

Runtimes

List registered runtimes and status.

Connectors

List the full language connector catalog (all languages Parallax knows).

Fields

id: Option<String>

Optional connector id / alias filter.

pairs: bool

Show highlighted transmute/mirror pairs.

family: Option<String>

Filter by family (systems|scripting|managed_vm|…).

maturity: Option<String>

Filter by maturity (production|experimental|scaffold|planned).

Adapters

Atlas: list / inspect modular adapters.

Fields

command: Option<AdaptersCommand>

Adapter

Atlas: scaffold or validate a third-party adapter (stubs).

Fields

command: AdapterCommand

Analyze

Atlas: detect project stack and adapter plan.

Fields

path: PathBuf

Project root.

to: Option<String>

Target language for stack suggestion / estimate.

write_lock: bool

Write parallax.lock into the project root.

Stacks

Atlas: list known target stack presets.

Mappings

Atlas: show dependency equivalence mappings.

Fields

query: Option<String>

Optional package / ecosystem filter.

Compatibility

Atlas: language-pair compatibility scores.

Fields

source: String

Source language.

target: String

Target language.

Unsupported

Atlas: report scaffold / unsupported adapter surface for a project.

Fields

path: PathBuf

ExplainStack

Atlas: explain why a target stack was selected.

Fields

path: PathBuf

to: Option<String>

Observe

Event Horizon: inspect a project semantically (no migration).

Fields

path: PathBuf

Impossible

Event Horizon: report hard barriers + preservation strategy.

Fields

path: PathBuf

to: Option<String>

strategy: Option<String>

maximum-compatibility|maximum-native|maximum-performance|minimum-dependencies|fastest-migration

Dissolve

Event Horizon: shrink polyglot islands one step.

Fields

path: PathBuf

to: Option<String>

Debt

Event Horizon: compatibility debt / target purity.

Fields

path: PathBuf

to: Option<String>

Detach

Event Horizon: check if source runtime can be detached.

Fields

path: PathBuf

to: Option<String>

Reconstruct

Event Horizon: source-less behavioral reconstruction (scaffold).

OptimizeMigration

Event Horizon: propose replacing capsules/islands with native semantics.

Fields

path: PathBuf

to: Option<String>

ExplainBarrier

Event Horizon: explain a barrier from plx impossible.

Fields

id: u32

Barrier id from plx impossible.

path: PathBuf

to: Option<String>

Blame

Event Horizon: semantic blame for a generated location (scaffold).

Fields

location: String

file:line in the target project.

CherryPick

Event Horizon: semantic cherry-pick (scaffold).

Fields

commit: String

Patch

Event Horizon: show / emit a semantic patch (.plxp) example.

Fields

example: bool

Print the built-in example patch.

Capabilities

Show capability matrix.

Fields

runtime: Option<String>

Optional runtime filter.

continuations: bool

Show Continuum continuation capability matrix.

Doctor

Probe host for runtime readiness.

Bench

Micro-benchmark capture/migrate/restore for the demo shape.

Fields

iterations: u32

Iterations.

file: Option<PathBuf>

Source file (default: examples/demo.py if present).

to: String

Target runtime.

Link

Link source and target projects for Mirror sync.

Fields

source: PathBuf

Source project directory.

target: PathBuf

Target project directory.

policy: String

Sync policy: source-authoritative|target-authoritative|bidirectional|manual.

Sync

Incrementally synchronize a linked pair.

Fields

path: PathBuf

Path to linked project (target or .parallax-link).

check: bool

Check freshness without modifying files.

reverse: bool

Attempt reverse sync (target → source) when safe.

lint: bool

Run formatter/linter checks.

patch: bool

Write a patch preview only.

no_verify: bool

Skip build/test verification.

property: bool

Request property-based equivalence notes.

deterministic: bool

Deterministic verification notes.

Status

Show Mirror link status / drift.

Fields

path: PathBuf

Ci

CI entrypoint (sync –check + verify).

Fields

path: PathBuf

History

Show sync history.

Fields

path: PathBuf

Rollback

Rollback last sync snapshot.

Fields

path: PathBuf

Explain

Explain a generated location (file:line).

Fields

location: String

path: PathBuf

Why

Explain why a target file changed.

Fields

file: String

path: PathBuf

Verify

Verify linked target (differential tests).

Fields

path: PathBuf

property: bool

deterministic: bool

performance: bool

Version

Show version / build info.

Fields

format: VersionFmt

Trait Implementations

impl Debug for Commands

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl FromArgMatches for Commands

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut<'b>( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

impl Subcommand for Commands

fn augment_subcommands<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut

fn augment_subcommands_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut

fn has_subcommand(__clap_name: &str) -> bool

Test whether Self can parse a specific subcommand