Enum Command 

pub enum Command {
    List,
    Generate {
        target: String,
        output: PathBuf,
        force: bool,
    },
    Check {
        temp_root: Option<PathBuf>,
        keep: bool,
        full: bool,
        signer_full: bool,
    },
    SignerThroughput {
        source_evidence: PathBuf,
        output: PathBuf,
    },
    BenchmarkKernel {
        output: PathBuf,
    },
    U280LinkGraph {
        kernel: PathBuf,
        kernel_manifest: PathBuf,
        signer_evidence: PathBuf,
        output: PathBuf,
    },
    U280VerifyLinkGraph {
        kernel: PathBuf,
        kernel_manifest: PathBuf,
        signer_evidence: PathBuf,
        record: PathBuf,
    },
    U280HbmRtlCheck {
        kernel: PathBuf,
        kernel_manifest: PathBuf,
        signer_evidence: PathBuf,
        record: PathBuf,
        output: PathBuf,
    },
    Help,
    // some variants omitted
}

Parsed command-line operation.

Variants

List

List all registered generation targets.

Generate

Generate one target and its manifest.

Fields

target: String

Registry name of the target.

output: PathBuf

Directory that receives the generated files.

force: bool

Permit replacement of the target’s deterministic filenames.

Check

Generate and elaborate the supported smoke-check targets with Icarus, optionally adding Verilator lint and host-oracle arithmetic simulations for the unchecked complete SHA lane and exact three-lane farm.

Fields

temp_root: Option<PathBuf>

Parent for the unique temporary check directory.

keep: bool

Preserve the unique directory after a successful or failed check.

full: bool

Also render the complete SHA lane and exact three-lane farm, then run Verilator lint/elaboration and deterministic arithmetic simulations.

signer_full: bool

Sequentially render and link the modular production signer, then run its fail-closed structural and generated-RTL equivalence gates.

SignerThroughput

Build and run the separately generated sustained-throughput testbench against an existing immutable successful production-signer bundle.

Fields

source_evidence: PathBuf

Existing directory containing the complete signer check-evidence manifest and every immutable file in its checksum chain.

output: PathBuf

New directory that receives the immutable throughput evidence.

BenchmarkKernel

Generate the immutable modular RHDL benchmark, metadata-derived Vitis wrapper, and packaging Tcl in sequential lowering children.

Fields

output: PathBuf

New directory that receives the frozen generation bundle.

U280LinkGraph

Bind the exact generated HBM kernel and successful signer evidence into one immutable graph record.

Fields

kernel: PathBuf

Generated Rust/RHDL shell plus metadata-derived adapter source.

kernel_manifest: PathBuf

Canonical schema-2 generation manifest adjacent to the kernel.

signer_evidence: PathBuf

Successful immutable full-signer evidence directory.

output: PathBuf

New read-only checksum/graph JSON record.

U280VerifyLinkGraph

Revalidate an existing immutable U280 link record without writing files.

Fields

kernel: PathBuf

Generated Rust/RHDL shell plus metadata-derived adapter source.

kernel_manifest: PathBuf

Canonical schema-2 generation manifest adjacent to the kernel.

signer_evidence: PathBuf

Successful immutable full-signer evidence directory.

record: PathBuf

Existing canonical read-only schema-2 link record.

U280HbmRtlCheck

Run a source-tier external generated-RTL gate over the actual HBM top, actual signer bundle, AXI4-Lite, and deterministic HBM models.

Fields

kernel: PathBuf

Generated Rust/RHDL shell plus metadata-derived adapter source.

kernel_manifest: PathBuf

Canonical schema-2 generation manifest adjacent to the kernel.

signer_evidence: PathBuf

Successful immutable full-signer evidence directory.

record: PathBuf

Existing canonical read-only schema-2 live link record.

output: PathBuf

New directory that receives the immutable external-RTL evidence.

Help

Print usage text.

Trait Implementations

impl Clone for Command

fn clone(&self) -> Command

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Command

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

Formats the value using the given formatter.

impl PartialEq for Command

fn eq(&self, other: &Command) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Command

impl StructuralPartialEq for Command