Trait ContractBody 

pub trait ContractBody:
    Serialize
    + DeserializeOwned
    + Clone
    + Send
    + Sync
    + 'static {
    type Api: ApiVersion;

    const NAME: &'static str;
    const GENERATION: &'static str;
    const CONTRACT: &'static str;
    const TOPIC: &'static str;
}

The contract primitive traits, re-exported from the phoxal-bus crate (the ABI floor) so they stay addressable at phoxal_api::ApiVersion / phoxal_api::ContractBody.

• ApiVersion is the marker trait identifying one dated API version (D60), implemented only by the zero-variant enum Api {} that phoxal_api_tree! generates inside each version module; its ID is the dated module name ("y2026_1"). Its IS_PREVIEW const is lifecycle metadata only.
• ContractBody is a version-local wire body (D61): a plain serde type bound to exactly one ApiVersion and one contract topic. Every body declared inside a phoxal_api_tree! node gets a generated impl; handles, SetupContext builders, and the Service/Driver derive assertions key off its Api/TOPIC. TOPIC is generation-qualified (D1) and is the compatibility key - there is no SCHEMA_ID/FAMILY; its serde encoding is the wire payload, with no version envelope (D62). A version-local wire body: a plain serde type bound to exactly one ApiVersion and one contract topic (D61/D1).

Every body declared inside a phoxal_api_tree! node gets a generated impl. Each body carries its own Api generation marker and generation-qualified TOPIC. Participant Api derives record contract bodies field by field, and setup builders require the requested handle body to be declared by that struct.

The serde encoding of an implementor is the wire payload; there is no version envelope (D62).

Wire identity is the key, not a hash (D1). The generation is folded into TOPIC, so y2026_1::drive::Target and a hypothetically re-minted y2026_2::drive::Target publish on different Zenoh keys and physically cannot collide. There is therefore no SCHEMA_ID/FAMILY axis: two participants interoperate on a contract iff they use the exact same version-qualified name, which is realized on the wire by the key. A receiver’s per-key Zenoh subscription is the whole fast-reject; the bus decode path validates only the codec.

Required Associated Constants

const NAME: &'static str

The version-qualified type path this body’s own generation 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. "y2026_1::drive::Target" or "y2026_1::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 GENERATION 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 generation naming scheme).

const GENERATION: &'static str

This body’s generation alone, e.g. "y2026_1" - 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 generation and contract as two separate fields rather than parsing a joined name.

const CONTRACT: &'static str

This body’s contract path within its own generation: 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 generation bump - is this value alone; pairing it with GENERATION recovers the full version-qualified identity (NAME).

const TOPIC: &'static str

The generation-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. "y2026_1/drive/state" or "y2026_1/component/{instance}/motor/{capability}/command". The concrete key is produced by the api-local topic builder, which fills the placeholders.

Required Associated Types

type Api: ApiVersion

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl ContractBody for Clock

const NAME: &'static str = "y2026_1::simulation::Clock"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "simulation::Clock"

const TOPIC: &'static str = "y2026_1/simulation/clock"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::mission::Command

const NAME: &'static str = "y2026_1::mission::Command"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "mission::Command"

const TOPIC: &'static str = "y2026_1/mission/command"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::power::Command

const NAME: &'static str = "y2026_1::power::Command"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "power::Command"

const TOPIC: &'static str = "y2026_1/power/command"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::motor::Command

const NAME: &'static str = "y2026_1::component::motor::Command"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::motor::Command"

const TOPIC: &'static str = "y2026_1/component/{instance}/motor/{capability}/command"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::led::Command

const NAME: &'static str = "y2026_1::component::led::Command"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::led::Command"

const TOPIC: &'static str = "y2026_1/component/{instance}/led/{capability}/command"

type Api = Api

impl ContractBody for Contact

const NAME: &'static str = "y2026_1::simulation::Contact"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "simulation::Contact"

const TOPIC: &'static str = "y2026_1/simulation/contact"

type Api = Api

impl ContractBody for Control

const NAME: &'static str = "y2026_1::simulation::Control"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "simulation::Control"

const TOPIC: &'static str = "y2026_1/simulation/control"

type Api = Api

impl ContractBody for Detections

const NAME: &'static str = "y2026_1::perception::Detections"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "perception::Detections"

const TOPIC: &'static str = "y2026_1/perception/detections"

type Api = Api

impl ContractBody for EmergencyStopRequest

const NAME: &'static str = "y2026_1::safety::EmergencyStopRequest"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "safety::EmergencyStopRequest"

const TOPIC: &'static str = "y2026_1/safety/estop"

type Api = Api

impl ContractBody for Event

const NAME: &'static str = "y2026_1::logs::Event"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "logs::Event"

const TOPIC: &'static str = "y2026_1/logs/{participant_id}"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::camera::Frame

const NAME: &'static str = "y2026_1::component::camera::Frame"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::camera::Frame"

const TOPIC: &'static str = "y2026_1/component/{instance}/camera/{capability}/frame"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::depth::Frame

const NAME: &'static str = "y2026_1::component::depth::Frame"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::depth::Frame"

const TOPIC: &'static str = "y2026_1/component/{instance}/depth/{capability}/frame"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::microphone::Frame

const NAME: &'static str = "y2026_1::component::microphone::Frame"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::microphone::Frame"

const TOPIC: &'static str = "y2026_1/component/{instance}/microphone/{capability}/frame"

type Api = Api

impl ContractBody for Frontiers

const NAME: &'static str = "y2026_1::explore::Frontiers"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "explore::Frontiers"

const TOPIC: &'static str = "y2026_1/explore/frontiers"

type Api = Api

impl ContractBody for GetRequest

const NAME: &'static str = "y2026_1::asset::GetRequest"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "asset::GetRequest"

const TOPIC: &'static str = "y2026_1/asset/get"

type Api = Api

impl ContractBody for GetResponse

const NAME: &'static str = "y2026_1::asset::GetResponse"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "asset::GetResponse"

const TOPIC: &'static str = "y2026_1/asset/get"

type Api = Api

impl ContractBody for Goal

const NAME: &'static str = "y2026_1::mission::Goal"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "mission::Goal"

const TOPIC: &'static str = "y2026_1/mission/goal"

type Api = Api

impl ContractBody for Heartbeat

const NAME: &'static str = "y2026_1::presence::Heartbeat"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "presence::Heartbeat"

const TOPIC: &'static str = "y2026_1/presence/heartbeat"

type Api = Api

impl ContractBody for JointState

const NAME: &'static str = "y2026_1::joint::JointState"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "joint::JointState"

const TOPIC: &'static str = "y2026_1/joint/{joint}/state"

type Api = Api

impl ContractBody for LocalizationState

const NAME: &'static str = "y2026_1::localize::LocalizationState"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "localize::LocalizationState"

const TOPIC: &'static str = "y2026_1/localize/state"

type Api = Api

impl ContractBody for LookupRequest

const NAME: &'static str = "y2026_1::frame::LookupRequest"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "frame::LookupRequest"

const TOPIC: &'static str = "y2026_1/frame/lookup"

type Api = Api

impl ContractBody for LookupResponse

const NAME: &'static str = "y2026_1::frame::LookupResponse"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "frame::LookupResponse"

const TOPIC: &'static str = "y2026_1/frame/lookup"

type Api = Api

impl ContractBody for ManualCommand

const NAME: &'static str = "y2026_1::motion::ManualCommand"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/motion/manual"

type Api = Api

impl ContractBody for OpenRequest

const NAME: &'static str = "y2026_1::video::OpenRequest"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "video::OpenRequest"

const TOPIC: &'static str = "y2026_1/video/open"

type Api = Api

impl ContractBody for OpenResponse

const NAME: &'static str = "y2026_1::video::OpenResponse"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "video::OpenResponse"

const TOPIC: &'static str = "y2026_1/video/open"

type Api = Api

impl ContractBody for Path

const NAME: &'static str = "y2026_1::plan::Path"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "plan::Path"

const TOPIC: &'static str = "y2026_1/plan/path"

type Api = Api

impl ContractBody for Revision

const NAME: &'static str = "y2026_1::map::Revision"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "map::Revision"

const TOPIC: &'static str = "y2026_1/map/revision"

type Api = Api

impl ContractBody for RobotPose

const NAME: &'static str = "y2026_1::simulation::RobotPose"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "simulation::RobotPose"

const TOPIC: &'static str = "y2026_1/simulation/robot_pose"

type Api = Api

impl ContractBody for SafetyAuthorization

const NAME: &'static str = "y2026_1::safety::SafetyAuthorization"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "safety::SafetyAuthorization"

const TOPIC: &'static str = "y2026_1/safety/authorization"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::encoder::Sample

const NAME: &'static str = "y2026_1::component::encoder::Sample"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::encoder::Sample"

const TOPIC: &'static str = "y2026_1/component/{instance}/encoder/{capability}/sample"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::accelerometer::Sample

const NAME: &'static str = "y2026_1::component::accelerometer::Sample"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::accelerometer::Sample"

const TOPIC: &'static str = "y2026_1/component/{instance}/accelerometer/{capability}/sample"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::gyroscope::Sample

const NAME: &'static str = "y2026_1::component::gyroscope::Sample"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::gyroscope::Sample"

const TOPIC: &'static str = "y2026_1/component/{instance}/gyroscope/{capability}/sample"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::magnetometer::Sample

const NAME: &'static str = "y2026_1::component::magnetometer::Sample"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::magnetometer::Sample"

const TOPIC: &'static str = "y2026_1/component/{instance}/magnetometer/{capability}/sample"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::imu::Sample

const NAME: &'static str = "y2026_1::component::imu::Sample"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::imu::Sample"

const TOPIC: &'static str = "y2026_1/component/{instance}/imu/{capability}/sample"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::range::Sample

const NAME: &'static str = "y2026_1::component::range::Sample"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::range::Sample"

const TOPIC: &'static str = "y2026_1/component/{instance}/range/{capability}/sample"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::gnss::Sample

const NAME: &'static str = "y2026_1::component::gnss::Sample"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::gnss::Sample"

const TOPIC: &'static str = "y2026_1/component/{instance}/gnss/{capability}/sample"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::lidar::Scan

const NAME: &'static str = "y2026_1::component::lidar::Scan"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::lidar::Scan"

const TOPIC: &'static str = "y2026_1/component/{instance}/lidar/{capability}/scan"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::mmwave::Scan

const NAME: &'static str = "y2026_1::component::mmwave::Scan"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::mmwave::Scan"

const TOPIC: &'static str = "y2026_1/component/{instance}/mmwave/{capability}/scan"

type Api = Api

impl ContractBody for SpawnRequest

const NAME: &'static str = "y2026_8::simulation::SpawnRequest"

const GENERATION: &'static str = "y2026_8"

const CONTRACT: &'static str = "simulation::SpawnRequest"

const TOPIC: &'static str = "y2026_8/simulation/spawn"

type Api = Api

impl ContractBody for SpawnSet

const NAME: &'static str = "y2026_8::simulation::SpawnSet"

const GENERATION: &'static str = "y2026_8"

const CONTRACT: &'static str = "simulation::SpawnSet"

const TOPIC: &'static str = "y2026_8/simulation/spawn"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::drive::State

const NAME: &'static str = "y2026_1::drive::State"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/drive/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::mission::State

const NAME: &'static str = "y2026_1::mission::State"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/mission/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::power::State

const NAME: &'static str = "y2026_1::power::State"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/power/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::motion::State

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

const GENERATION: &'static str = "y2026_1"

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

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

type Api = Api

impl ContractBody for phoxal_api::y2026_1::bus::uplink::State

const NAME: &'static str = "y2026_1::bus::uplink::State"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "bus::uplink::State"

const TOPIC: &'static str = "y2026_1/bus/uplink/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::plan::State

const NAME: &'static str = "y2026_1::plan::State"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/plan/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::follow::State

const NAME: &'static str = "y2026_1::follow::State"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/follow/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::explore::State

const NAME: &'static str = "y2026_1::explore::State"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/explore/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::perception::State

const NAME: &'static str = "y2026_1::perception::State"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/perception/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::component::emergency_stop::State

const NAME: &'static str = "y2026_1::component::emergency_stop::State"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "component::emergency_stop::State"

const TOPIC: &'static str = "y2026_1/component/{instance}/emergency_stop/{capability}/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::odometry::State

const NAME: &'static str = "y2026_1::odometry::State"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/odometry/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::presence::State

const NAME: &'static str = "y2026_1::presence::State"

const GENERATION: &'static str = "y2026_1"

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

const TOPIC: &'static str = "y2026_1/presence/state"

type Api = Api

impl ContractBody for phoxal_api::y2026_7::battery::State

const NAME: &'static str = "y2026_7::battery::State"

const GENERATION: &'static str = "y2026_7"

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

const TOPIC: &'static str = "y2026_7/battery/state"

type Api = Api

impl ContractBody for StaticTransforms

const NAME: &'static str = "y2026_1::frame::StaticTransforms"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "frame::StaticTransforms"

const TOPIC: &'static str = "y2026_1/frame/static_transforms"

type Api = Api

impl ContractBody for Status

const NAME: &'static str = "y2026_1::safety::Status"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "safety::Status"

const TOPIC: &'static str = "y2026_1/safety/state"

type Api = Api

impl ContractBody for StreamState

const NAME: &'static str = "y2026_1::video::stream::StreamState"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "video::stream::StreamState"

const TOPIC: &'static str = "y2026_1/video/stream/{stream}/state"

type Api = Api

impl ContractBody for SubmapRequest

const NAME: &'static str = "y2026_1::map::SubmapRequest"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "map::SubmapRequest"

const TOPIC: &'static str = "y2026_1/map/submap"

type Api = Api

impl ContractBody for SubmapResponse

const NAME: &'static str = "y2026_1::map::SubmapResponse"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "map::SubmapResponse"

const TOPIC: &'static str = "y2026_1/map/submap"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::drive::Target

const NAME: &'static str = "y2026_1::drive::Target"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "drive::Target"

const TOPIC: &'static str = "y2026_1/drive/target"

type Api = Api

impl ContractBody for phoxal_api::y2026_1::follow::Target

const NAME: &'static str = "y2026_1::follow::Target"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "follow::Target"

const TOPIC: &'static str = "y2026_1/follow/target"

type Api = Api

impl ContractBody for Tree

const NAME: &'static str = "y2026_1::frame::Tree"

const GENERATION: &'static str = "y2026_1"

const CONTRACT: &'static str = "frame::Tree"

const TOPIC: &'static str = "y2026_1/frame/tree"

type Api = Api