Struct State 

pub struct State {
    pub manual_candidate_age_ns: Option<u64>,
    pub autonomous_candidate_age_ns: Option<u64>,
    pub safety_constraints_age_ns: Option<u64>,
    pub selected_source: Option<Source>,
    pub final_target: Target,
    pub zero_reason: Option<ZeroReason>,
    pub safety_runtime: SafetyRuntime,
    pub software_estop_engaged: bool,
    pub component_estop_blocked: bool,
    pub active_safety_constraints: Vec<Constraint>,
}

Fields

manual_candidate_age_ns: Option<u64>

autonomous_candidate_age_ns: Option<u64>

safety_constraints_age_ns: Option<u64>

selected_source: Option<Source>

final_target: Target

zero_reason: Option<ZeroReason>

safety_runtime: SafetyRuntime

software_estop_engaged: bool

component_estop_blocked: bool

active_safety_constraints: Vec<Constraint>

Trait Implementations

impl Clone for State

fn clone(&self) -> State

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ContractBody for State

const NAME: &'static str = "v1::motion::State"

The version-qualified type path this body’s own version module places it at: the version module name, then the ::-joined node path (dynamic-node vars are topic params, never type-path segments), then the PascalCase type leaf, e.g. "v1::drive::Target" or "v1::component::motor::Command". This is the contract’s source identity (D1) - two contracts interoperate iff they share this exact name - as distinct from TOPIC, the resolved wire key derived from it. NAME is exactly the "::"-join of VERSION and CONTRACT; it stays available for callers that want the whole identity as one string (e.g. display), while metadata recording splices the two split consts instead (coherence-gate design doc §2 - a joined name is not machine-parseable without assuming the version naming scheme).

const VERSION: &'static str = "v1"

This body’s version alone, e.g. "v1" - equal to <Self::Api as ApiVersion>::ID, but exposed directly on the body so a metadata recorder (#[derive(phoxal::Api)]’s linker-section splicing) can const-splice it without routing through Self::Api. Split from CONTRACT so consumers (the coherence gate, catalog) record version and contract as two separate fields rather than parsing a joined name.

const CONTRACT: &'static str = "motion::State"

This body’s contract path within its own version: the ::-joined node path (dynamic-node vars excluded, as with NAME) plus the PascalCase type leaf, e.g. "drive::Target". The logical contract - stable across a version bump - is this value alone; pairing it with VERSION recovers the full version-qualified identity (NAME).

const TOPIC: &'static str = "v1/motion/state"

The version-qualified wire key: the version module name, then the /-joined node path plus the topic leaf, with each dynamic node contributing a {var} placeholder, e.g. "v1/drive/state" or "v1/component/{instance}/motor/{capability}/command". The concrete key is produced by the api-local topic builder, which fills the placeholders.

type Api = Api

The single API version this body belongs to. Two bodies from different versions have different Api, so the type system keeps them apart.

impl Debug for State

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for State

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for State

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for State

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for State