@celestia-island/plana-types 0.1.0

package/src/ws/ui/noa.rs

@@ -0,0 +1,105 @@
+//! NOA Workspace — SyncMessage variant params.
+//!
+//! Mirrors `entelecheia/packages/shared/state_types/src/gateway/
+//! tui_types/message/types/mod.rs`. The NOA handshake is a 4-message round trip:
+//!
+//!   scepter → client   RequestNoaHandshake
+//!   client  → scepter  NoaHandshakeResponse
+//!   scepter → client   NoaAuthRequest   (branch picker)
+//!   client  → scepter  NoaAuthResponse  (user's choice)
+//!   scepter → client   NoaReady         (terminal event)
+//!
+//! Plus a bidirectional event-sync pair used after NoaReady.
+
+use serde::{Deserialize, Serialize};
+use ts_rs::TS;
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/noa.ts")]
+pub struct NoaEvent {
+    pub event_id: String,
+    pub event_type: String,
+    pub timestamp: String,
+    #[serde(default)]
+    #[ts(optional)]
+    pub file_path: Option<String>,
+    #[serde(default)]
+    #[ts(optional)]
+    pub content_hash: Option<String>,
+    #[serde(default)]
+    #[ts(optional, type = "Record<string, unknown>")]
+    pub metadata: Option<serde_json::Value>,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/noa.ts")]
+pub struct RequestNoaHandshakeParams {
+    #[ts(type = "string")]
+    pub workspace_id: uuid::Uuid,
+    pub remote_name: String,
+    pub remote_path: String,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/noa.ts")]
+pub struct NoaHandshakeResponseParams {
+    #[ts(type = "string")]
+    pub workspace_id: uuid::Uuid,
+    pub repo_id: String,
+    pub current_branch: String,
+    #[serde(default)]
+    pub noa_initialized: bool,
+    #[serde(default)]
+    pub gitignore_updated: bool,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/noa.ts")]
+pub struct NoaAuthRequestParams {
+    #[ts(type = "string")]
+    pub workspace_id: uuid::Uuid,
+    pub branches: Vec<String>,
+    pub suggested_branch: String,
+    pub reason: String,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/noa.ts")]
+pub struct NoaAuthResponseParams {
+    #[ts(type = "string")]
+    pub workspace_id: uuid::Uuid,
+    pub selected_branch: String,
+    #[serde(default)]
+    #[ts(optional)]
+    pub branch_base: Option<String>,
+    #[serde(default)]
+    pub approved: bool,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/noa.ts")]
+pub struct NoaReadyParams {
+    #[ts(type = "string")]
+    pub workspace_id: uuid::Uuid,
+    pub branch: String,
+    pub snapshot_id: String,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/noa.ts")]
+pub struct NoaEventSyncParams {
+    #[ts(type = "string")]
+    pub workspace_id: uuid::Uuid,
+    pub events: Vec<NoaEvent>,
+    #[serde(default)]
+    #[ts(optional)]
+    pub direction: Option<String>,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/noa.ts")]
+pub struct NoaEventSyncAckParams {
+    #[ts(type = "string")]
+    pub workspace_id: uuid::Uuid,
+    pub last_event_id: String,
+}

package/src/ws/ui/system_ui.rs

@@ -0,0 +1,27 @@
+//! System / UI — web-UI control & status.
+
+use serde::{Deserialize, Serialize};
+use ts_rs::TS;
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/systemUi.ts")]
+pub struct WebUiControlResponseParams {
+    pub command: String,
+    pub success: bool,
+    pub message: String,
+    #[serde(default)]
+    #[ts(optional)]
+    pub url: Option<String>,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/systemUi.ts")]
+pub struct WebUiStatusParams {
+    pub running: bool,
+    #[serde(default)]
+    #[ts(optional)]
+    pub url: Option<String>,
+    #[serde(default)]
+    #[ts(optional)]
+    pub container_id: Option<String>,
+}

package/src/ws/ui/views.rs

@@ -0,0 +1,159 @@
+//! Abstract View Interface — pluggable dashboard views.
+
+use serde::{Deserialize, Serialize};
+use ts_rs::TS;
+
+/// View type identifier — determines which frontend renderer handles the view.
+#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize, TS)]
+#[serde(rename_all = "snake_case")]
+#[ts(export, export_to = "ws/views.ts")]
+pub enum ViewKind {
+    /// Industrial SCADA / HMI panel (P&ID, gauges, alarm panel, trend charts)
+    IndustrialScada,
+    /// Chat / conversation interface (default demiurge view)
+    Chat,
+    /// Kanban board (task cards, columns, drag-drop)
+    Kanban,
+    /// Gantt chart (timeline, milestones, dependencies)
+    Gantt,
+    /// Data table / spreadsheet (like Feishu multi-dimensional table)
+    DataTable,
+    /// Audio/video generation flow (node graph like ComfyUI)
+    MediaFlow,
+    /// File explorer / code browser
+    FileExplorer,
+    /// Custom (plugin-rendered)
+    Custom,
+}
+
+/// A view instance — one panel in the dashboard.
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/views.ts")]
+pub struct ViewInstance {
+    /// Unique view ID within the workspace.
+    pub view_id: String,
+    /// What kind of renderer to use.
+    pub kind: ViewKind,
+    /// Display title.
+    pub title: String,
+    /// Data source identifier — what the view is bound to.
+    /// Examples: "industrial:station:19", "chat:conversation:abc",
+    /// "kanban:project:xyz", "media:flow:comfyui"
+    pub data_source: String,
+    /// View-specific configuration (JSON, interpreted by the renderer).
+    #[serde(default)]
+    #[ts(type = "Record<string, unknown>")]
+    pub config: serde_json::Value,
+    /// Layout position (grid area, tab order, etc.).
+    #[serde(default)]
+    #[ts(optional)]
+    pub layout: Option<ViewLayout>,
+}
+
+/// Layout descriptor for a view within the dashboard grid.
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/views.ts")]
+pub struct ViewLayout {
+    /// Grid column start (1-based).
+    #[serde(default)]
+    pub col: u32,
+    /// Grid row start (1-based).
+    #[serde(default)]
+    pub row: u32,
+    /// Column span.
+    #[serde(default)]
+    pub col_span: u32,
+    /// Row span.
+    #[serde(default)]
+    pub row_span: u32,
+    /// Minimum width in pixels.
+    #[serde(default)]
+    #[ts(optional)]
+    pub min_width: Option<u32>,
+    /// Minimum height in pixels.
+    #[serde(default)]
+    #[ts(optional)]
+    pub min_height: Option<u32>,
+}
+
+/// Dashboard layout — a collection of views arranged in a grid.
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/views.ts")]
+pub struct DashboardLayout {
+    /// Workspace ID this dashboard belongs to.
+    pub workspace_id: String,
+    /// Dashboard name.
+    pub name: String,
+    /// All view instances in this dashboard.
+    pub views: Vec<ViewInstance>,
+    /// Grid columns count (0 = auto).
+    #[serde(default)]
+    pub grid_columns: u32,
+}
+
+/// Push a dashboard layout update to connected clients.
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/views.ts")]
+pub struct DashboardLayoutPushParams {
+    pub layout: DashboardLayout,
+}
+
+/// View data update — incremental data push for a specific view.
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/views.ts")]
+pub struct ViewDataPushParams {
+    /// Target view ID.
+    pub view_id: String,
+    /// Data payload (format depends on ViewKind).
+    #[ts(type = "Record<string, unknown>")]
+    pub data: serde_json::Value,
+    /// Whether this is a full replacement or incremental update.
+    #[serde(default)]
+    pub full_replace: bool,
+}
+
+/// A widget inside a webui dashboard descriptor (P3#A4).
+///
+/// Mirrors the shittim-chest `WidgetDescriptor` (dashboard.ts) so the
+/// agent-side push tool can construct widgets the webui understands
+/// without knowing its internals.
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/views.ts")]
+pub struct DashboardWidget {
+    /// Unique widget id within the layout.
+    pub id: String,
+    /// Renderer discriminator ("gauge-row", "node-graph", "data-table", …).
+    #[serde(rename = "type")]
+    pub widget_type: String,
+    /// Optional display title.
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    #[ts(optional)]
+    pub title: Option<String>,
+    /// Data-source label (free-form).
+    #[serde(default)]
+    pub source: String,
+    /// Grid span hint ("full" | "half").
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    #[ts(optional)]
+    pub span: Option<String>,
+    /// Widget-specific configuration.
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    #[ts(optional, type = "Record<string, unknown>")]
+    pub config: Option<serde_json::Value>,
+    /// Initial data payload (shape depends on widget type).
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    #[ts(optional, type = "Record<string, unknown>")]
+    pub data: Option<serde_json::Value>,
+}
+
+/// Widget create/update/delete on an existing layout (P3#A4).
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/views.ts")]
+pub struct ViewInstancePushParams {
+    /// Target layout (panel instance) id.
+    pub layout_id: String,
+    /// Mutation: "create" | "update" | "delete".
+    pub op: String,
+    /// Widget descriptor to create/update (ignored for delete).
+    pub widget: DashboardWidget,
+}

package/src/ws/ui/workspace.rs

@@ -0,0 +1,73 @@
+//! Workspace & Polemos device registry types.
+
+use serde::{Deserialize, Serialize};
+use ts_rs::TS;
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/workspace.ts")]
+pub struct WorkspaceStatusParams {
+    #[ts(type = "string")]
+    pub workspace_id: uuid::Uuid,
+    #[serde(default)]
+    #[ts(optional)]
+    pub display_name: Option<String>,
+    #[serde(default)]
+    pub connection_kind: String,
+    #[serde(default)]
+    #[ts(optional)]
+    pub resolved_path: Option<String>,
+    #[serde(default)]
+    #[ts(optional)]
+    pub remote_url: Option<String>,
+    #[serde(default)]
+    #[ts(optional)]
+    pub branch: Option<String>,
+    #[serde(default)]
+    #[ts(optional)]
+    pub host_id: Option<String>,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/workspace.ts")]
+pub struct PolemosDeviceInfo {
+    #[ts(type = "string")]
+    pub node_id: uuid::Uuid,
+    pub name: String,
+    pub address: String,
+    pub status: String,
+    #[serde(default)]
+    #[ts(optional)]
+    pub workspace_path: Option<String>,
+    #[serde(default)]
+    #[ts(optional)]
+    pub ide_id: Option<String>,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/workspace.ts")]
+pub struct PolemosDeviceListParams {
+    pub devices: Vec<PolemosDeviceInfo>,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/workspace.ts")]
+pub struct RegisterPolemosDeviceResponseParams {
+    pub success: bool,
+    #[serde(default)]
+    #[ts(optional)]
+    pub error: Option<String>,
+    #[serde(default)]
+    #[ts(optional)]
+    pub device: Option<PolemosDeviceInfo>,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize, TS)]
+#[ts(export, export_to = "ws/workspace.ts")]
+pub struct SwitchWorkspaceResponseParams {
+    pub success: bool,
+    #[ts(type = "string")]
+    pub workspace_id: uuid::Uuid,
+    #[serde(default)]
+    #[ts(optional)]
+    pub error: Option<String>,
+}