Struct CommandSpec 

pub struct CommandSpec { /* private fields */ }

Immutable allowlist entry pinning every local checker execution input.

Implementations

impl CommandSpec

pub fn new( program: ProgramRef, root: ProjectRootRef, invocation: CommandInvocation, environment: SealedBindings, resources: Vec<CommandResource>, budget: ProcessBudget, outputs: OutputContract, cleanup: CleanupContract, network: NetworkAccess, route: CommandRoute, replay: CommandReplayPolicy, ) -> Result<Self>

Validates and identifies an exact trusted command allowlist entry.

pub const fn id(&self) -> &CommandId

Returns the stable command identity.

pub const fn program(&self) -> &ProgramRef

Returns the boot-trusted executable or interpreter identity.

pub const fn root(&self) -> &ProjectRootRef

Returns the boot-trusted working-root identity.

pub const fn invocation(&self) -> &CommandInvocation

Returns the exact invocation.

pub const fn environment(&self) -> &SealedBindings

Returns the sealed, empty-by-default environment.

pub fn resources(&self) -> &[CommandResource]

Returns all explicit input, output, cache, and scratch resources.

pub const fn budget(&self) -> &ProcessBudget

Returns the mandatory time, input, and output budget.

pub const fn outputs(&self) -> &OutputContract

Returns the semantic postcondition contract.

pub const fn cleanup(&self) -> &CleanupContract

Returns the descendant and resource cleanup contract.

pub const fn network(&self) -> &NetworkAccess

Returns the separately scoped network policy.

pub const fn route(&self) -> &CommandRoute

Returns the selected process or sandbox boundary.

pub const fn replay(&self) -> CommandReplayPolicy

Returns the replay policy bound into operation intent.

pub fn canonical_datum(&self) -> Datum

Returns the canonical semantic command specification.

Trait Implementations

impl Clone for CommandSpec

fn clone(&self) -> CommandSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CommandSpec

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

Formats the value using the given formatter.

impl Eq for CommandSpec

impl PartialEq for CommandSpec

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CommandSpec