merge: protocol typescript generation

web/workspace/src/lib/generated/protocol.ts

@@ -0,0 +1,123 @@
+// @generated by `cargo run -p protocol --example generate_typescript --features typescript`
+// Do not edit by hand. Rust DTO authority lives in `crates/protocol`.
+// Large integer fields are JSON numbers on the wire and are emitted as TypeScript `number`.
+
+export type AlertLevel = "warn" | "error";
+
+export type AlertSource = "pod" | "worker" | "compactor" | "agents_md";
+
+export type CompletionKind = "file" | "knowledge" | "workflow";
+
+export type PodStatus = "idle" | "running" | "paused";
+
+export type TurnResult = "finished" | "paused";
+
+export type InvokeKind = "user_send" | "notify" | "pod_event" | "system_reminder" | "wakeup";
+
+export type RunResult = "finished" | "paused" | "limit_reached" | "rolled_back";
+
+export type ErrorCode = "already_running" | "not_running" | "not_paused" | "provider_error" | "tool_error" | "invalid_request" | "internal";
+
+export type Permission = "read" | "write";
+
+export type InFlightToolCallState = "pending" | "streaming_args" | "done";
+
+export type ScopeRule = {
+/**
+ * Target path. Must be absolute by the time a `Scope` is built from
+ * this rule — relative paths are resolved per-layer against the
+ * manifest file's directory (cwd for overlay layers) before cascade
+ * merge.
+ */
+target: string,
+/**
+ * Permission level this rule grants (allow) or caps strictly below
+ * (deny).
+ */
+permission: Permission,
+/**
+ * When `false`, the rule only matches the target itself and its
+ * direct children. Defaults to `true`.
+ */
+recursive: boolean, };
+
+export type CompletionEntry = { value: string, is_dir: boolean, };
+
+export type RewindTargetId = { segment_id: string, user_input_entry_index: number, };
+
+export type RewindTarget = { id: RewindTargetId, expected_head_entries: number, truncate_entries: number, turn_index: number, timestamp_ms: number | null, preview: string, eligible: boolean, disabled_reason: string | null, warning: string | null, };
+
+export type RewindSummary = { truncated_to_entries: number, discarded_entries: number, tool_side_effect_warning: boolean, };
+
+export type InFlightBlock = { "kind": "text", text: string, finished?: boolean, } | { "kind": "thinking", text: string, finished?: boolean, } | { "kind": "tool_call", id: string, name: string, args: string, state?: InFlightToolCallState, };
+
+export type InFlightSnapshot = { blocks?: Array<InFlightBlock>, };
+
+export type Greeting = { pod_name: string, cwd: string, provider: string, model: string, scope_summary: string, tools: Array<string>,
+/**
+ * Model context window in tokens. Always filled by the Pod greeting.
+ */
+context_window: number,
+/**
+ * Estimated current session context tokens at connect time.
+ */
+context_tokens: number, };
+
+export type Alert = { level: AlertLevel, source: AlertSource, message: string,
+/**
+ * Milliseconds since the Unix epoch.
+ */
+timestamp_ms: number, };
+
+export type MemoryWorkerEvent = { worker: string, status: string, run_id: string, trigger: string, reason: string,
+/**
+ * Human-readable compact form for actionbar rendering.
+ */
+message: string,
+/**
+ * Milliseconds since the Unix epoch.
+ */
+timestamp_ms: number, };
+
+export type Segment = { "kind": "text", content: string, } | { "kind": "paste", id: number, chars: number, lines: number, content: string, } | { "kind": "file_ref", path: string, } | { "kind": "knowledge_ref", slug: string, } | { "kind": "workflow_invoke", slug: string, } | { "kind": "unknown" };
+
+export type PodEvent = { "kind": "turn_ended", pod_name: string, } | { "kind": "errored", pod_name: string, message: string, } | { "kind": "shut_down", pod_name: string, } | { "kind": "scope_sub_delegated",
+/**
+ * Sub-delegating Pod (= the sender itself).
+ */
+parent_pod: string,
+/**
+ * Name of the grandchild Pod.
+ */
+sub_pod: string,
+/**
+ * Unix-socket path where the grandchild is reachable.
+ */
+sub_socket: string,
+/**
+ * Scope delegated to the grandchild.
+ */
+scope: Array<ScopeRule>, };
+
+export type Method = { "method": "run", "params": { input: Array<Segment>, } } | { "method": "notify", "params": { message: string, auto_run?: boolean, } } | { "method": "pod_event", "params": PodEvent } | { "method": "resume" } | { "method": "cancel" } | { "method": "pause" } | { "method": "compact" } | { "method": "list_rewind_targets" } | { "method": "rewind_to", "params": { target: RewindTargetId, expected_head_entries: number, } } | { "method": "shutdown" } | { "method": "list_completions", "params": { kind: CompletionKind, prefix: string, } } | { "method": "list_pods" } | { "method": "restore_pod", "params": { name: string, } } | { "method": "register_peer", "params": { name: string, } };
+
+export type Event = { "event": "user_message", "data": { segments: Array<Segment>, } } | { "event": "system_item", "data": { item: unknown, } } | { "event": "invoke_start", "data": { kind: InvokeKind, } } | { "event": "turn_start", "data": { turn: number, } } | { "event": "turn_end", "data": { turn: number, result: TurnResult, } } | { "event": "llm_call_start", "data": { llm_call: number, } } | { "event": "llm_call_end", "data": { llm_call: number, } } | { "event": "llm_retry", "data": { llm_call: number,
+/**
+ * The attempt that just failed. 1 origin.
+ */
+failed_attempt: number, max_attempts: number, wait_ms: number, elapsed_ms: number, status?: number | null, error: string, } } | { "event": "llm_continuation", "data": { llm_call: number, attempt: number, max_attempts: number, reason: string, } } | { "event": "text_delta", "data": { text: string, } } | { "event": "text_done", "data": { text: string, } } | { "event": "thinking_start" } | { "event": "thinking_delta", "data": { text: string, } } | { "event": "thinking_done", "data": { text: string, } } | { "event": "tool_call_start", "data": { id: string, name: string, } } | { "event": "tool_call_args_delta", "data": { id: string, json: string, } } | { "event": "tool_call_done", "data": { id: string, name: string, arguments: string, } } | { "event": "tool_result", "data": { id: string,
+/**
+ * Short human-readable summary. Always present; used by clients
+ * that only want a 1-line rendering (e.g. collapsed views).
+ */
+summary: string,
+/**
+ * Full tool output. Absent when the tool chose to return
+ * summary-only, or when the result was pruned.
+ */
+output?: string | null, is_error: boolean, } } | { "event": "usage", "data": { input_tokens: number | null, output_tokens: number | null, cache_read_input_tokens?: number | null, } } | { "event": "run_end", "data": { result: RunResult, } } | { "event": "error", "data": { code: ErrorCode, message: string, } } | { "event": "snapshot", "data": { entries: Array<unknown>, greeting: Greeting, status: PodStatus,
+/**
+ * Unfinished model output that has already streamed in the current
+ * run but is not yet represented by committed snapshot entries.
+ */
+in_flight?: InFlightSnapshot, } } | { "event": "segment_rotated", "data": { entry: unknown, } } | { "event": "status", "data": { status: PodStatus, } } | { "event": "completions", "data": { kind: CompletionKind, entries: Array<CompletionEntry>, } } | { "event": "rewind_targets", "data": { head_entries: number, targets: Array<RewindTarget>, } } | { "event": "rewind_applied", "data": { entries: Array<unknown>, input: Array<Segment>, summary: RewindSummary, } } | { "event": "pods_listed", "data": { pods: unknown, } } | { "event": "pod_restored", "data": { result: unknown, } } | { "event": "peer_registered", "data": { result: unknown, } } | { "event": "alert", "data": Alert } | { "event": "memory_worker", "data": MemoryWorkerEvent } | { "event": "compact_start" } | { "event": "compact_done", "data": { new_segment_id: string, } } | { "event": "compact_failed", "data": { error: string, } } | { "event": "shutdown" };

web/workspace/src/lib/workspace-sidebar/types.ts

@@ -1,3 +1,9 @@
+export type {
+  Event as PodProtocolEvent,
+  Method as PodProtocolMethod,
+  Segment as PodProtocolSegment,
+} from '$lib/generated/protocol';
+
 export type ExtensionPoint = {
   status: string;
   note: string;