Struct MachineSchema 

pub struct MachineSchema {

    pub machine: MachineId,
    pub version: u32,
    pub rust: RustBinding,
    pub state: StateSchema,
    pub inputs: EnumSchema,
    pub surface_only_inputs: Vec<InputVariantId>,
    pub runtime_internal_inputs: Vec<InputVariantId>,
    pub signals: EnumSchema,
    pub effects: EnumSchema,
    pub helpers: Vec<HelperSchema>,
    pub derived: Vec<HelperSchema>,
    pub command_plans: Vec<CommandPlanSchema>,
    pub invariants: Vec<InvariantSchema>,
    pub transitions: Vec<TransitionSchema>,
    pub effect_dispositions: Vec<EffectDispositionRule>,
    pub named_types: Vec<NamedTypeBinding>,
    pub ci_step_limit: Option<u32>,
}

Fields

machine: MachineId

version: u32

rust: RustBinding

state: StateSchema

inputs: EnumSchema

surface_only_inputs: Vec<InputVariantId>

runtime_internal_inputs: Vec<InputVariantId>

Inputs that are part of the DSL alphabet but intentionally internal to machine/composition drivers rather than public runtime command surfaces.

signals: EnumSchema

effects: EnumSchema

helpers: Vec<HelperSchema>

derived: Vec<HelperSchema>

command_plans: Vec<CommandPlanSchema>

Generated command/capability plans that group existing inputs, transitions, guards, and effects into an auditable authority surface.

invariants: Vec<InvariantSchema>

transitions: Vec<TransitionSchema>

effect_dispositions: Vec<EffectDispositionRule>

named_types: Vec<NamedTypeBinding>

Authoritative Rust-type mapping for every TypeRef::Named(NamedTypeId) referenced in this schema. The codegen consults this table rather than matching on the type’s name; a NamedTypeId referenced without a matching binding is a schema-construction error.

ci_step_limit: Option<u32>

Override the CI step_limit for individual machine TLC verification. Machines with many state fields (e.g. a rich MobMachine flow/work region) may need a lower limit to keep CI verification tractable. None uses the codegen default (6 for CI, 8 for deep).

Implementations

impl MachineSchema

pub fn named_type_binding( &self, name: &NamedTypeId, ) -> Option<&NamedTypeBinding>

Look up the authoritative Rust binding for a named type referenced by this schema. Returns None if the type is unbound.

impl MachineSchema

pub fn validate(&self) -> Result<(), MachineSchemaError>

Trait Implementations

impl Clone for MachineSchema

fn clone(&self) -> MachineSchema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MachineSchema

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

Formats the value using the given formatter.

impl Eq for MachineSchema

impl PartialEq for MachineSchema

fn eq(&self, other: &MachineSchema) -> 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 StructuralPartialEq for MachineSchema