phoxal 0.4.0

Phoxal — production-oriented autonomous robot framework (engine, model, typed bus, contracts).
Documentation
pub const SCHEMA_NAME: &str = "phoxal-api-plan/v1";
pub const SCHEMA_VERSION: u32 = 1;

use crate::api::localize::v1::LocalizationRevisionId;
use crate::api::map::v1::MapRevisionId;
use crate::api::mission::v1::Goal;
use crate::bus::zenoh::TypedSchema;
use serde::{Deserialize, Serialize};

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct Path {
    pub goal: Goal,
    pub map_revision: MapRevisionId,
    pub built_from_localize_revision: LocalizationRevisionId,
    pub frame_id: String,
    pub poses: Vec<PathPose>,
}

impl TypedSchema for Path {
    const SCHEMA_NAME: &'static str = "runtime/plan/path";
    const SCHEMA_VERSION: u32 = 1;
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct PathPose {
    pub xy_m: [f64; 2],
    pub yaw_rad: f64,
}

#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct State {
    pub status: PlanStatus,
    pub reason: Option<PlanReason>,
}

impl TypedSchema for State {
    const SCHEMA_NAME: &'static str = "runtime/plan/state";
    const SCHEMA_VERSION: u32 = 2;
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum PlanStatus {
    Idle,
    Planning,
    Ready,
    Failed,
    Refused,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum PlanReason {
    NonPlanarGoalUnsupported,
    NoLocalizationState,
    LocalizationInitializing,
    LocalizationLost,
    LocalizationRelocalizing,
    UnsupportedLocalizationMode,
    NoLocalizationPose,
    NoLocalizationRevision,
    NoMapRevision,
    GoalMapRevisionMismatch,
    MapLocalizeRevisionMismatch,
}

#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct SearchGraph {
    pub nodes: Vec<String>,
    pub edges: Vec<[String; 2]>,
}

impl TypedSchema for SearchGraph {
    const SCHEMA_NAME: &'static str = "runtime/plan/debug/search_graph";
    const SCHEMA_VERSION: u32 = 1;
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct CostLayers {
    pub layers: Vec<CostLayer>,
}

impl TypedSchema for CostLayers {
    const SCHEMA_NAME: &'static str = "runtime/plan/debug/cost_layers";
    const SCHEMA_VERSION: u32 = 1;
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct CostLayer {
    pub name: String,
    pub weight: f64,
}

#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct RejectedPaths {
    pub rejected: Vec<RejectedPath>,
}

impl TypedSchema for RejectedPaths {
    const SCHEMA_NAME: &'static str = "runtime/plan/debug/rejected_paths";
    const SCHEMA_VERSION: u32 = 1;
}

#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct RejectedPath {
    pub reason: String,
}

#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct RevisionInputs {
    pub map_revision: Option<MapRevisionId>,
    pub localization_revision: Option<LocalizationRevisionId>,
}

impl TypedSchema for RevisionInputs {
    const SCHEMA_NAME: &'static str = "runtime/plan/debug/revision_inputs";
    const SCHEMA_VERSION: u32 = 1;
}

crate::bus::topic_leaf! {
    pubsub path {
        path: "runtime/plan/path",
        payload: Path
    }
}

crate::bus::topic_leaf! {
    pubsub state {
        path: "runtime/plan/state",
        payload: State
    }
}

pub mod debug {
    use super::*;

    crate::bus::topic_leaf! {
        pubsub search_graph {
            path: "runtime/plan/debug/search_graph",
            payload: SearchGraph
        }
    }

    crate::bus::topic_leaf! {
        pubsub cost_layers {
            path: "runtime/plan/debug/cost_layers",
            payload: CostLayers
        }
    }

    crate::bus::topic_leaf! {
        pubsub rejected_paths {
            path: "runtime/plan/debug/rejected_paths",
            payload: RejectedPaths
        }
    }

    crate::bus::topic_leaf! {
        pubsub revision_inputs {
            path: "runtime/plan/debug/revision_inputs",
            payload: RevisionInputs
        }
    }
}

#[cfg(test)]
mod tests {
    use crate::bus::zenoh::TypedSchema;

    use super::{
        CostLayers, Path, RejectedPaths, RevisionInputs, SCHEMA_NAME, SCHEMA_VERSION, SearchGraph,
        State,
    };

    #[test]
    fn schema_contracts_do_not_drift() {
        assert_eq!(SCHEMA_NAME, "phoxal-api-plan/v1");
        assert_eq!(SCHEMA_VERSION, 1);
        assert_eq!(Path::SCHEMA_NAME, "runtime/plan/path");
        assert_eq!(Path::SCHEMA_VERSION, 1);
        assert_eq!(State::SCHEMA_NAME, "runtime/plan/state");
        assert_eq!(State::SCHEMA_VERSION, 2);
        assert_eq!(SearchGraph::SCHEMA_NAME, "runtime/plan/debug/search_graph");
        assert_eq!(SearchGraph::SCHEMA_VERSION, 1);
        assert_eq!(CostLayers::SCHEMA_NAME, "runtime/plan/debug/cost_layers");
        assert_eq!(CostLayers::SCHEMA_VERSION, 1);
        assert_eq!(
            RejectedPaths::SCHEMA_NAME,
            "runtime/plan/debug/rejected_paths"
        );
        assert_eq!(RejectedPaths::SCHEMA_VERSION, 1);
        assert_eq!(
            RevisionInputs::SCHEMA_NAME,
            "runtime/plan/debug/revision_inputs"
        );
        assert_eq!(RevisionInputs::SCHEMA_VERSION, 1);
    }

    #[test]
    fn topic_paths_are_stable() {
        assert_eq!(super::path::path(), "runtime/plan/path");
        assert_eq!(super::state::path(), "runtime/plan/state");
        assert_eq!(
            super::debug::search_graph::path(),
            "runtime/plan/debug/search_graph"
        );
        assert_eq!(
            super::debug::cost_layers::path(),
            "runtime/plan/debug/cost_layers"
        );
        assert_eq!(
            super::debug::rejected_paths::path(),
            "runtime/plan/debug/rejected_paths"
        );
        assert_eq!(
            super::debug::revision_inputs::path(),
            "runtime/plan/debug/revision_inputs"
        );
    }
}

#[cfg(test)]
mod v1_version_tests {
    use super::{SCHEMA_NAME, SCHEMA_VERSION};

    #[test]
    fn api_contract_version_is_stable() {
        assert_eq!(SCHEMA_NAME, "phoxal-api-plan/v1");
        assert_eq!(SCHEMA_VERSION, 1);
    }
}