t3code-cli 0.10.0 → 0.11.0

package/dist/src/application/layer.d.ts

@@ -1,860 +1,101 @@
 import * as Effect from "effect/Effect";
 import * as Layer from "effect/Layer";
-import { T3Application } from "./service.ts";
+import { T3Application, T3ModelApplication, T3ProjectApplication, T3TerminalApplication, T3ThreadApplication } from "./service.ts";
 export declare const makeT3Application: () => Effect.Effect<{
+    listThreads: (projectRef: string, options?: {
+        readonly include?: import("./service.ts").ListThreadsInclude;
+    }) => Effect.Effect<{
+        readonly project: import("#t3tools/contracts").OrchestrationProjectShell;
+        readonly threads: ReadonlyArray<import("#t3tools/contracts").OrchestrationThreadShell>;
+    }, import("./error.ts").ApplicationError>;
+    getThreadMessages: (threadId: string) => Effect.Effect<import("#t3tools/contracts").OrchestrationThread, import("./error.ts").ApplicationError>;
+    showThread: (threadId: string) => Effect.Effect<import("./threads.ts").ThreadShow, import("./error.ts").ApplicationError>;
     approveThread: (input: {
         readonly threadId: string;
         readonly requestId: string;
-        readonly decision: import("#t3tools/contracts").ProviderApprovalDecision;
+        readonly decision: "accept" | "decline" | "cancel";
     }) => Effect.Effect<{
-        threadId: string;
-        requestId: string;
-        dispatch: {
-            readonly sequence: number;
-        };
-    }, import("../rpc/error.ts").RpcError, never>;
-    archiveThread: (threadId: string) => Effect.Effect<{
-        readonly sequence: number;
-    }, import("../rpc/error.ts").RpcError, never>;
-    listThreads: (projectRef: string) => Effect.Effect<{
-        project: {
-            readonly id: string & import("effect/Brand").Brand<"ProjectId">;
-            readonly title: string;
-            readonly workspaceRoot: string;
-            readonly defaultModelSelection: {
-                readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-                readonly model: string;
-                readonly options?: readonly {
-                    readonly id: string;
-                    readonly value: string | boolean;
-                }[];
-            } | null;
-            readonly scripts: readonly {
-                readonly id: string;
-                readonly name: string;
-                readonly command: string;
-                readonly icon: "play" | "test" | "lint" | "configure" | "build" | "debug";
-                readonly runOnWorktreeCreate: boolean;
-            }[];
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly repositoryIdentity?: {
-                readonly canonicalKey: string;
-                readonly locator: {
-                    readonly source: "git-remote";
-                    readonly remoteName: string;
-                    readonly remoteUrl: string;
-                };
-                readonly rootPath?: string;
-                readonly displayName?: string;
-                readonly provider?: string;
-                readonly owner?: string;
-                readonly name?: string;
-            } | null | undefined;
-        };
-        threads: {
-            readonly id: string & import("effect/Brand").Brand<"ThreadId">;
-            readonly projectId: string & import("effect/Brand").Brand<"ProjectId">;
-            readonly title: string;
-            readonly modelSelection: {
-                readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-                readonly model: string;
-                readonly options?: readonly {
-                    readonly id: string;
-                    readonly value: string | boolean;
-                }[];
-            };
-            readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-            readonly interactionMode: "default" | "plan";
-            readonly branch: string | null;
-            readonly worktreePath: string | null;
-            readonly latestTurn: {
-                readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-                readonly state: "error" | "running" | "interrupted" | "completed";
-                readonly requestedAt: string;
-                readonly startedAt: string | null;
-                readonly completedAt: string | null;
-                readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-                readonly sourceProposedPlan?: {
-                    readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                    readonly planId: string;
-                } | undefined;
-            } | null;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly archivedAt: string | null;
-            readonly session: {
-                readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                readonly status: "error" | "idle" | "starting" | "running" | "ready" | "interrupted" | "stopped";
-                readonly providerName: string | null;
-                readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-                readonly activeTurnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly lastError: string | null;
-                readonly updatedAt: string;
-                readonly providerInstanceId?: (string & import("effect/Brand").Brand<"ProviderInstanceId">) | undefined;
-            } | null;
-            readonly goal: {
-                readonly objective: string;
-                readonly status: "active" | "paused" | "budgetLimited" | "complete";
-                readonly tokensUsed: number;
-                readonly tokenBudget: number | null;
-                readonly timeUsedSeconds: number;
-                readonly createdAt: string;
-                readonly updatedAt: string;
-            } | null;
-            readonly latestUserMessageAt: string | null;
-            readonly hasPendingApprovals: boolean;
-            readonly hasPendingUserInput: boolean;
-            readonly hasActionableProposedPlan: boolean;
-        }[];
-    }, import("../domain/error.ts").ProjectLookupError | import("../rpc/error.ts").RpcError, never>;
-    getThreadMessages: (threadId: string) => Effect.Effect<{
-        readonly id: string & import("effect/Brand").Brand<"ThreadId">;
-        readonly projectId: string & import("effect/Brand").Brand<"ProjectId">;
-        readonly title: string;
-        readonly modelSelection: {
-            readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-            readonly model: string;
-            readonly options?: readonly {
-                readonly id: string;
-                readonly value: string | boolean;
-            }[];
-        };
-        readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-        readonly interactionMode: "default" | "plan";
-        readonly branch: string | null;
-        readonly worktreePath: string | null;
-        readonly latestTurn: {
-            readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-            readonly state: "error" | "running" | "interrupted" | "completed";
-            readonly requestedAt: string;
-            readonly startedAt: string | null;
-            readonly completedAt: string | null;
-            readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-            readonly sourceProposedPlan?: {
-                readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                readonly planId: string;
-            } | undefined;
-        } | null;
-        readonly createdAt: string;
-        readonly updatedAt: string;
-        readonly archivedAt: string | null;
-        readonly deletedAt: string | null;
-        readonly goal: {
-            readonly objective: string;
-            readonly status: "active" | "paused" | "budgetLimited" | "complete";
-            readonly tokensUsed: number;
-            readonly tokenBudget: number | null;
-            readonly timeUsedSeconds: number;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-        } | null;
-        readonly messages: readonly {
-            readonly id: string & import("effect/Brand").Brand<"MessageId">;
-            readonly role: "user" | "assistant" | "system";
-            readonly text: string;
-            readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-            readonly streaming: boolean;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly attachments?: readonly {
-                readonly type: "image";
-                readonly id: string;
-                readonly name: string;
-                readonly mimeType: string;
-                readonly sizeBytes: number;
-            }[] | undefined;
-        }[];
-        readonly proposedPlans: readonly {
-            readonly id: string;
-            readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-            readonly planMarkdown: string;
-            readonly implementedAt: string | null;
-            readonly implementationThreadId: (string & import("effect/Brand").Brand<"ThreadId">) | null;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-        }[];
-        readonly activities: readonly {
-            readonly id: string & import("effect/Brand").Brand<"EventId">;
-            readonly tone: "error" | "info" | "tool" | "approval";
-            readonly kind: string;
-            readonly summary: string;
-            readonly payload: unknown;
-            readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-            readonly createdAt: string;
-            readonly sequence?: number | undefined;
-        }[];
-        readonly checkpoints: readonly {
-            readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-            readonly checkpointTurnCount: number;
-            readonly checkpointRef: string & import("effect/Brand").Brand<"CheckpointRef">;
-            readonly status: "error" | "ready" | "missing";
-            readonly files: readonly {
-                readonly path: string;
-                readonly kind: string;
-                readonly additions: number;
-                readonly deletions: number;
-            }[];
-            readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-            readonly completedAt: string;
-        }[];
-        readonly session: {
-            readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-            readonly status: "error" | "idle" | "starting" | "running" | "ready" | "interrupted" | "stopped";
-            readonly providerName: string | null;
-            readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-            readonly activeTurnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-            readonly lastError: string | null;
-            readonly updatedAt: string;
-            readonly providerInstanceId?: (string & import("effect/Brand").Brand<"ProviderInstanceId">) | undefined;
-        } | null;
-    }, import("../rpc/error.ts").RpcError, never>;
+        readonly threadId: string;
+        readonly requestId: string;
+        readonly dispatch: import("#t3tools/contracts").DispatchResult;
+    }, import("./error.ts").ApplicationError>;
     respondToThread: (input: {
         readonly threadId: string;
         readonly requestId: string;
         readonly answers: import("#t3tools/contracts").ProviderUserInputAnswers;
     }) => Effect.Effect<{
-        threadId: string;
-        requestId: string;
-        dispatch: {
-            readonly sequence: number;
-        };
-    }, import("../rpc/error.ts").RpcError, never>;
-    sendThread: (input: import("./service.ts").SendThreadInput, policy?: {
-        readonly until: "dispatch" | "visible" | "complete";
-    } | undefined) => Effect.Effect<{
-        dispatch: {
-            readonly sequence: number;
-        };
-        threadId: string;
-        thread?: never;
-    } | {
-        dispatch: {
-            readonly sequence: number;
-        };
-        threadId: string;
-        thread: {
-            readonly id: string & import("effect/Brand").Brand<"ThreadId">;
-            readonly projectId: string & import("effect/Brand").Brand<"ProjectId">;
-            readonly title: string;
-            readonly modelSelection: {
-                readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-                readonly model: string;
-                readonly options?: readonly {
-                    readonly id: string;
-                    readonly value: string | boolean;
-                }[];
-            };
-            readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-            readonly interactionMode: "default" | "plan";
-            readonly branch: string | null;
-            readonly worktreePath: string | null;
-            readonly latestTurn: {
-                readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-                readonly state: "error" | "running" | "interrupted" | "completed";
-                readonly requestedAt: string;
-                readonly startedAt: string | null;
-                readonly completedAt: string | null;
-                readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-                readonly sourceProposedPlan?: {
-                    readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                    readonly planId: string;
-                } | undefined;
-            } | null;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly archivedAt: string | null;
-            readonly deletedAt: string | null;
-            readonly goal: {
-                readonly objective: string;
-                readonly status: "active" | "paused" | "budgetLimited" | "complete";
-                readonly tokensUsed: number;
-                readonly tokenBudget: number | null;
-                readonly timeUsedSeconds: number;
-                readonly createdAt: string;
-                readonly updatedAt: string;
-            } | null;
-            readonly messages: readonly {
-                readonly id: string & import("effect/Brand").Brand<"MessageId">;
-                readonly role: "user" | "assistant" | "system";
-                readonly text: string;
-                readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly streaming: boolean;
-                readonly createdAt: string;
-                readonly updatedAt: string;
-                readonly attachments?: readonly {
-                    readonly type: "image";
-                    readonly id: string;
-                    readonly name: string;
-                    readonly mimeType: string;
-                    readonly sizeBytes: number;
-                }[] | undefined;
-            }[];
-            readonly proposedPlans: readonly {
-                readonly id: string;
-                readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly planMarkdown: string;
-                readonly implementedAt: string | null;
-                readonly implementationThreadId: (string & import("effect/Brand").Brand<"ThreadId">) | null;
-                readonly createdAt: string;
-                readonly updatedAt: string;
-            }[];
-            readonly activities: readonly {
-                readonly id: string & import("effect/Brand").Brand<"EventId">;
-                readonly tone: "error" | "info" | "tool" | "approval";
-                readonly kind: string;
-                readonly summary: string;
-                readonly payload: unknown;
-                readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly createdAt: string;
-                readonly sequence?: number | undefined;
-            }[];
-            readonly checkpoints: readonly {
-                readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-                readonly checkpointTurnCount: number;
-                readonly checkpointRef: string & import("effect/Brand").Brand<"CheckpointRef">;
-                readonly status: "error" | "ready" | "missing";
-                readonly files: readonly {
-                    readonly path: string;
-                    readonly kind: string;
-                    readonly additions: number;
-                    readonly deletions: number;
-                }[];
-                readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-                readonly completedAt: string;
-            }[];
-            readonly session: {
-                readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                readonly status: "error" | "idle" | "starting" | "running" | "ready" | "interrupted" | "stopped";
-                readonly providerName: string | null;
-                readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-                readonly activeTurnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly lastError: string | null;
-                readonly updatedAt: string;
-                readonly providerInstanceId?: (string & import("effect/Brand").Brand<"ProviderInstanceId">) | undefined;
-            } | null;
-        };
-    }, import("../domain/error.ts").ThreadSessionError | import("../rpc/error.ts").RpcError, never>;
-    showThread: (threadId: string) => Effect.Effect<import("./threads.ts").ThreadShow, import("../rpc/error.ts").RpcError, never>;
-    startThread: (startInput: import("./service.ts").StartThreadInput, policy?: {
-        readonly until: "dispatch" | "visible" | "complete";
-    } | undefined) => Effect.Effect<{
-        dispatch: {
-            readonly sequence: number;
-        };
-        project: {
-            readonly id: string & import("effect/Brand").Brand<"ProjectId">;
-            readonly title: string;
-            readonly workspaceRoot: string;
-            readonly defaultModelSelection: {
-                readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-                readonly model: string;
-                readonly options?: readonly {
-                    readonly id: string;
-                    readonly value: string | boolean;
-                }[];
-            } | null;
-            readonly scripts: readonly {
-                readonly id: string;
-                readonly name: string;
-                readonly command: string;
-                readonly icon: "play" | "test" | "lint" | "configure" | "build" | "debug";
-                readonly runOnWorktreeCreate: boolean;
-            }[];
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly repositoryIdentity?: {
-                readonly canonicalKey: string;
-                readonly locator: {
-                    readonly source: "git-remote";
-                    readonly remoteName: string;
-                    readonly remoteUrl: string;
-                };
-                readonly rootPath?: string;
-                readonly displayName?: string;
-                readonly provider?: string;
-                readonly owner?: string;
-                readonly name?: string;
-            } | null | undefined;
-        };
-        threadId: string & import("effect/Brand").Brand<"ThreadId">;
-        thread?: never;
-    } | {
-        dispatch: {
-            readonly sequence: number;
-        };
-        project: {
-            readonly id: string & import("effect/Brand").Brand<"ProjectId">;
-            readonly title: string;
-            readonly workspaceRoot: string;
-            readonly defaultModelSelection: {
-                readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-                readonly model: string;
-                readonly options?: readonly {
-                    readonly id: string;
-                    readonly value: string | boolean;
-                }[];
-            } | null;
-            readonly scripts: readonly {
-                readonly id: string;
-                readonly name: string;
-                readonly command: string;
-                readonly icon: "play" | "test" | "lint" | "configure" | "build" | "debug";
-                readonly runOnWorktreeCreate: boolean;
-            }[];
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly repositoryIdentity?: {
-                readonly canonicalKey: string;
-                readonly locator: {
-                    readonly source: "git-remote";
-                    readonly remoteName: string;
-                    readonly remoteUrl: string;
-                };
-                readonly rootPath?: string;
-                readonly displayName?: string;
-                readonly provider?: string;
-                readonly owner?: string;
-                readonly name?: string;
-            } | null | undefined;
-        };
-        threadId: string & import("effect/Brand").Brand<"ThreadId">;
-        thread: {
-            readonly id: string & import("effect/Brand").Brand<"ThreadId">;
-            readonly projectId: string & import("effect/Brand").Brand<"ProjectId">;
-            readonly title: string;
-            readonly modelSelection: {
-                readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-                readonly model: string;
-                readonly options?: readonly {
-                    readonly id: string;
-                    readonly value: string | boolean;
-                }[];
-            };
-            readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-            readonly interactionMode: "default" | "plan";
-            readonly branch: string | null;
-            readonly worktreePath: string | null;
-            readonly latestTurn: {
-                readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-                readonly state: "error" | "running" | "interrupted" | "completed";
-                readonly requestedAt: string;
-                readonly startedAt: string | null;
-                readonly completedAt: string | null;
-                readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-                readonly sourceProposedPlan?: {
-                    readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                    readonly planId: string;
-                } | undefined;
-            } | null;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly archivedAt: string | null;
-            readonly deletedAt: string | null;
-            readonly goal: {
-                readonly objective: string;
-                readonly status: "active" | "paused" | "budgetLimited" | "complete";
-                readonly tokensUsed: number;
-                readonly tokenBudget: number | null;
-                readonly timeUsedSeconds: number;
-                readonly createdAt: string;
-                readonly updatedAt: string;
-            } | null;
-            readonly messages: readonly {
-                readonly id: string & import("effect/Brand").Brand<"MessageId">;
-                readonly role: "user" | "assistant" | "system";
-                readonly text: string;
-                readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly streaming: boolean;
-                readonly createdAt: string;
-                readonly updatedAt: string;
-                readonly attachments?: readonly {
-                    readonly type: "image";
-                    readonly id: string;
-                    readonly name: string;
-                    readonly mimeType: string;
-                    readonly sizeBytes: number;
-                }[] | undefined;
-            }[];
-            readonly proposedPlans: readonly {
-                readonly id: string;
-                readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly planMarkdown: string;
-                readonly implementedAt: string | null;
-                readonly implementationThreadId: (string & import("effect/Brand").Brand<"ThreadId">) | null;
-                readonly createdAt: string;
-                readonly updatedAt: string;
-            }[];
-            readonly activities: readonly {
-                readonly id: string & import("effect/Brand").Brand<"EventId">;
-                readonly tone: "error" | "info" | "tool" | "approval";
-                readonly kind: string;
-                readonly summary: string;
-                readonly payload: unknown;
-                readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly createdAt: string;
-                readonly sequence?: number | undefined;
-            }[];
-            readonly checkpoints: readonly {
-                readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-                readonly checkpointTurnCount: number;
-                readonly checkpointRef: string & import("effect/Brand").Brand<"CheckpointRef">;
-                readonly status: "error" | "ready" | "missing";
-                readonly files: readonly {
-                    readonly path: string;
-                    readonly kind: string;
-                    readonly additions: number;
-                    readonly deletions: number;
-                }[];
-                readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-                readonly completedAt: string;
-            }[];
-            readonly session: {
-                readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                readonly status: "error" | "idle" | "starting" | "running" | "ready" | "interrupted" | "stopped";
-                readonly providerName: string | null;
-                readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-                readonly activeTurnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly lastError: string | null;
-                readonly updatedAt: string;
-                readonly providerInstanceId?: (string & import("effect/Brand").Brand<"ProviderInstanceId">) | undefined;
-            } | null;
-        };
-    }, import("../domain/error.ts").ProjectLookupError | import("../domain/error.ts").ModelSelectionError | import("../domain/error.ts").ThreadSessionError | import("../rpc/error.ts").RpcError, never>;
-    watchThread: (threadId: string) => import("effect/Stream").Stream<import("./service.ts").WaitEvent, import("../domain/error.ts").ThreadSessionError | import("../rpc/error.ts").RpcError, never>;
-    waitForThread: (threadId: string) => Effect.Effect<{
-        readonly id: string & import("effect/Brand").Brand<"ThreadId">;
-        readonly projectId: string & import("effect/Brand").Brand<"ProjectId">;
-        readonly title: string;
-        readonly modelSelection: {
-            readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-            readonly model: string;
-            readonly options?: readonly {
-                readonly id: string;
-                readonly value: string | boolean;
-            }[];
-        };
-        readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-        readonly interactionMode: "default" | "plan";
-        readonly branch: string | null;
-        readonly worktreePath: string | null;
-        readonly latestTurn: {
-            readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-            readonly state: "error" | "running" | "interrupted" | "completed";
-            readonly requestedAt: string;
-            readonly startedAt: string | null;
-            readonly completedAt: string | null;
-            readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-            readonly sourceProposedPlan?: {
-                readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                readonly planId: string;
-            } | undefined;
-        } | null;
-        readonly createdAt: string;
-        readonly updatedAt: string;
-        readonly archivedAt: string | null;
-        readonly deletedAt: string | null;
-        readonly goal: {
-            readonly objective: string;
-            readonly status: "active" | "paused" | "budgetLimited" | "complete";
-            readonly tokensUsed: number;
-            readonly tokenBudget: number | null;
-            readonly timeUsedSeconds: number;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-        } | null;
-        readonly messages: readonly {
-            readonly id: string & import("effect/Brand").Brand<"MessageId">;
-            readonly role: "user" | "assistant" | "system";
-            readonly text: string;
-            readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-            readonly streaming: boolean;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly attachments?: readonly {
-                readonly type: "image";
-                readonly id: string;
-                readonly name: string;
-                readonly mimeType: string;
-                readonly sizeBytes: number;
-            }[] | undefined;
-        }[];
-        readonly proposedPlans: readonly {
-            readonly id: string;
-            readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-            readonly planMarkdown: string;
-            readonly implementedAt: string | null;
-            readonly implementationThreadId: (string & import("effect/Brand").Brand<"ThreadId">) | null;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-        }[];
-        readonly activities: readonly {
-            readonly id: string & import("effect/Brand").Brand<"EventId">;
-            readonly tone: "error" | "info" | "tool" | "approval";
-            readonly kind: string;
-            readonly summary: string;
-            readonly payload: unknown;
-            readonly turnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-            readonly createdAt: string;
-            readonly sequence?: number | undefined;
-        }[];
-        readonly checkpoints: readonly {
-            readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-            readonly checkpointTurnCount: number;
-            readonly checkpointRef: string & import("effect/Brand").Brand<"CheckpointRef">;
-            readonly status: "error" | "ready" | "missing";
-            readonly files: readonly {
-                readonly path: string;
-                readonly kind: string;
-                readonly additions: number;
-                readonly deletions: number;
-            }[];
-            readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-            readonly completedAt: string;
-        }[];
-        readonly session: {
-            readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-            readonly status: "error" | "idle" | "starting" | "running" | "ready" | "interrupted" | "stopped";
-            readonly providerName: string | null;
-            readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-            readonly activeTurnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-            readonly lastError: string | null;
-            readonly updatedAt: string;
-            readonly providerInstanceId?: (string & import("effect/Brand").Brand<"ProviderInstanceId">) | undefined;
-        } | null;
-    }, import("../domain/error.ts").ThreadSessionError | import("../rpc/error.ts").RpcError, never>;
+        readonly threadId: string;
+        readonly requestId: string;
+        readonly dispatch: import("#t3tools/contracts").DispatchResult;
+    }, import("./error.ts").ApplicationError>;
+    archiveThread: (threadId: string) => Effect.Effect<import("#t3tools/contracts").DispatchResult, import("./error.ts").ApplicationError>;
+    interruptThread: (threadId: string) => Effect.Effect<import("#t3tools/contracts").DispatchResult, import("./error.ts").ApplicationError>;
+    unarchiveThread: (threadId: string) => Effect.Effect<import("#t3tools/contracts").DispatchResult, import("./error.ts").ApplicationError>;
+    deleteThread: (threadId: string) => Effect.Effect<{
+        readonly threadId: string;
+        readonly dispatch: import("#t3tools/contracts").DispatchResult;
+    }, import("./error.ts").ApplicationError>;
+    updateThread: (input: import("./service.ts").UpdateThreadInput) => Effect.Effect<import("#t3tools/contracts").DispatchResult, import("./error.ts").ApplicationError>;
+    startThread: (input: import("./service.ts").StartThreadInput, policy?: import("./service.ts").StartThreadPolicy) => Effect.Effect<{
+        readonly dispatch: import("#t3tools/contracts").DispatchResult;
+        readonly project: import("#t3tools/contracts").OrchestrationProjectShell;
+        readonly threadId: string;
+        readonly thread?: import("#t3tools/contracts").OrchestrationThread;
+    }, import("./error.ts").ApplicationError>;
+    sendThread: (input: import("./service.ts").SendThreadInput, policy?: import("./service.ts").StartThreadPolicy) => Effect.Effect<{
+        readonly dispatch: import("#t3tools/contracts").DispatchResult;
+        readonly threadId: string;
+        readonly thread?: import("#t3tools/contracts").OrchestrationThread;
+    }, import("./error.ts").ApplicationError>;
+    watchThread: (threadId: string) => import("effect/Stream").Stream<import("./service.ts").WaitEvent, import("./error.ts").ApplicationError>;
+    waitForThread: (threadId: string) => Effect.Effect<import("#t3tools/contracts").OrchestrationThread, import("./error.ts").ApplicationError>;
     callbackThread: (input: import("./service.ts").CallbackThreadInput) => Effect.Effect<{
-        dispatch: {
-            readonly sequence: number;
-        };
-        targetThreadId: string;
-    }, import("../domain/error.ts").ThreadSessionError | import("../rpc/error.ts").RpcError, never>;
-    loadShell: () => Effect.Effect<{
-        readonly snapshotSequence: number;
-        readonly projects: readonly {
-            readonly id: string & import("effect/Brand").Brand<"ProjectId">;
-            readonly title: string;
-            readonly workspaceRoot: string;
-            readonly defaultModelSelection: {
-                readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-                readonly model: string;
-                readonly options?: readonly {
-                    readonly id: string;
-                    readonly value: string | boolean;
-                }[];
-            } | null;
-            readonly scripts: readonly {
-                readonly id: string;
-                readonly name: string;
-                readonly command: string;
-                readonly icon: "play" | "test" | "lint" | "configure" | "build" | "debug";
-                readonly runOnWorktreeCreate: boolean;
-            }[];
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly repositoryIdentity?: {
-                readonly canonicalKey: string;
-                readonly locator: {
-                    readonly source: "git-remote";
-                    readonly remoteName: string;
-                    readonly remoteUrl: string;
-                };
-                readonly rootPath?: string;
-                readonly displayName?: string;
-                readonly provider?: string;
-                readonly owner?: string;
-                readonly name?: string;
-            } | null | undefined;
-        }[];
-        readonly threads: readonly {
-            readonly id: string & import("effect/Brand").Brand<"ThreadId">;
-            readonly projectId: string & import("effect/Brand").Brand<"ProjectId">;
-            readonly title: string;
-            readonly modelSelection: {
-                readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-                readonly model: string;
-                readonly options?: readonly {
-                    readonly id: string;
-                    readonly value: string | boolean;
-                }[];
-            };
-            readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-            readonly interactionMode: "default" | "plan";
-            readonly branch: string | null;
-            readonly worktreePath: string | null;
-            readonly latestTurn: {
-                readonly turnId: string & import("effect/Brand").Brand<"TurnId">;
-                readonly state: "error" | "running" | "interrupted" | "completed";
-                readonly requestedAt: string;
-                readonly startedAt: string | null;
-                readonly completedAt: string | null;
-                readonly assistantMessageId: (string & import("effect/Brand").Brand<"MessageId">) | null;
-                readonly sourceProposedPlan?: {
-                    readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                    readonly planId: string;
-                } | undefined;
-            } | null;
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly archivedAt: string | null;
-            readonly session: {
-                readonly threadId: string & import("effect/Brand").Brand<"ThreadId">;
-                readonly status: "error" | "idle" | "starting" | "running" | "ready" | "interrupted" | "stopped";
-                readonly providerName: string | null;
-                readonly runtimeMode: "approval-required" | "auto-accept-edits" | "full-access";
-                readonly activeTurnId: (string & import("effect/Brand").Brand<"TurnId">) | null;
-                readonly lastError: string | null;
-                readonly updatedAt: string;
-                readonly providerInstanceId?: (string & import("effect/Brand").Brand<"ProviderInstanceId">) | undefined;
-            } | null;
-            readonly goal: {
-                readonly objective: string;
-                readonly status: "active" | "paused" | "budgetLimited" | "complete";
-                readonly tokensUsed: number;
-                readonly tokenBudget: number | null;
-                readonly timeUsedSeconds: number;
-                readonly createdAt: string;
-                readonly updatedAt: string;
-            } | null;
-            readonly latestUserMessageAt: string | null;
-            readonly hasPendingApprovals: boolean;
-            readonly hasPendingUserInput: boolean;
-            readonly hasActionableProposedPlan: boolean;
-        }[];
-        readonly updatedAt: string;
-    }, import("../rpc/error.ts").RpcError, never>;
-    addProject: (projectInput: {
+        readonly dispatch: import("#t3tools/contracts").DispatchResult;
+        readonly targetThreadId: string;
+    }, import("./error.ts").ApplicationError>;
+    listTerminals: (threadId: string) => Effect.Effect<ReadonlyArray<import("#t3tools/contracts").TerminalSummary>, import("./error.ts").ApplicationError>;
+    getTerminal: (terminal: import("./service.ts").TerminalRef) => Effect.Effect<import("#t3tools/contracts").TerminalSummary, import("./error.ts").ApplicationError>;
+    createTerminal: (input: import("./service.ts").CreateTerminalInput) => Effect.Effect<import("#t3tools/contracts").TerminalSessionSnapshot, import("./error.ts").ApplicationError>;
+    attachTerminal: (input: {
+        readonly terminal: import("./service.ts").TerminalAttachTarget;
+        readonly cols?: number;
+        readonly rows?: number;
+    }) => import("effect/Stream").Stream<import("#t3tools/contracts").TerminalAttachStreamEvent, import("./error.ts").ApplicationError>;
+    watchTerminalMetadata: () => import("effect/Stream").Stream<import("#t3tools/contracts").TerminalMetadataStreamEvent, import("./error.ts").ApplicationError>;
+    writeTerminal: (input: {
+        readonly terminal: import("./service.ts").TerminalRef;
+        readonly data: string;
+    }) => Effect.Effect<void, import("./error.ts").ApplicationError>;
+    resizeTerminal: (input: {
+        readonly terminal: import("./service.ts").TerminalRef;
+        readonly cols: number;
+        readonly rows: number;
+    }) => Effect.Effect<void, import("./error.ts").ApplicationError>;
+    destroyTerminal: (terminal: import("./service.ts").TerminalRef) => Effect.Effect<void, import("./error.ts").ApplicationError>;
+    loadShell: () => Effect.Effect<import("#t3tools/contracts").OrchestrationShellSnapshot, import("./error.ts").ApplicationError>;
+    addProject: (input: {
         readonly path: string;
         readonly title?: string;
     }) => Effect.Effect<{
-        dispatch: {
-            readonly sequence: number;
-        };
-        project: {
-            readonly id: string & import("effect/Brand").Brand<"ProjectId">;
-            readonly title: string;
-            readonly workspaceRoot: string;
-            readonly defaultModelSelection: {
-                readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-                readonly model: string;
-                readonly options?: readonly {
-                    readonly id: string;
-                    readonly value: string | boolean;
-                }[];
-            } | null;
-            readonly scripts: readonly {
-                readonly id: string;
-                readonly name: string;
-                readonly command: string;
-                readonly icon: "play" | "test" | "lint" | "configure" | "build" | "debug";
-                readonly runOnWorktreeCreate: boolean;
-            }[];
-            readonly createdAt: string;
-            readonly updatedAt: string;
-            readonly repositoryIdentity?: {
-                readonly canonicalKey: string;
-                readonly locator: {
-                    readonly source: "git-remote";
-                    readonly remoteName: string;
-                    readonly remoteUrl: string;
-                };
-                readonly rootPath?: string;
-                readonly displayName?: string;
-                readonly provider?: string;
-                readonly owner?: string;
-                readonly name?: string;
-            } | null | undefined;
-        };
-    }, import("../domain/error.ts").ProjectCreateVisibilityError | import("../rpc/error.ts").RpcError, never>;
+        readonly dispatch: import("#t3tools/contracts").DispatchResult;
+        readonly project: import("#t3tools/contracts").OrchestrationProjectShell;
+    }, import("./error.ts").ApplicationError>;
+    resolveProject: (projectRef: string) => Effect.Effect<import("#t3tools/contracts").OrchestrationProjectShell, import("./error.ts").ApplicationError>;
+    deleteProject: (input: {
+        readonly projectId: string;
+        readonly force?: boolean;
+    }) => Effect.Effect<{
+        readonly projectId: string;
+        readonly dispatch: import("#t3tools/contracts").DispatchResult;
+    }, import("./error.ts").ApplicationError>;
     listModels: (input: {
         readonly all?: boolean;
         readonly provider?: string;
-    }) => Effect.Effect<{
-        readonly instanceId: string & import("effect/Brand").Brand<"ProviderInstanceId">;
-        readonly driver: string & import("effect/Brand").Brand<"ProviderDriverKind">;
-        readonly enabled: boolean;
-        readonly installed: boolean;
-        readonly version: string | null;
-        readonly status: "error" | "ready" | "warning" | "disabled";
-        readonly auth: {
-            readonly status: "authenticated" | "unknown" | "unauthenticated";
-            readonly type?: string | undefined;
-            readonly label?: string | undefined;
-            readonly email?: string | undefined;
-        };
-        readonly checkedAt: string;
-        readonly models: readonly {
-            readonly slug: string;
-            readonly name: string;
-            readonly isCustom: boolean;
-            readonly capabilities: {
-                readonly optionDescriptors?: readonly ({
-                    readonly type: "select";
-                    readonly options: readonly {
-                        readonly id: string;
-                        readonly label: string;
-                        readonly description?: string | undefined;
-                        readonly isDefault?: boolean | undefined;
-                    }[];
-                    readonly id: string;
-                    readonly label: string;
-                    readonly currentValue?: string | undefined;
-                    readonly promptInjectedValues?: readonly string[] | undefined;
-                    readonly description?: string | undefined;
-                } | {
-                    readonly type: "boolean";
-                    readonly id: string;
-                    readonly label: string;
-                    readonly currentValue?: boolean | undefined;
-                    readonly description?: string | undefined;
-                })[] | undefined;
-            } | null;
-            readonly shortName?: string | undefined;
-            readonly subProvider?: string | undefined;
-        }[];
-        readonly slashCommands: readonly {
-            readonly name: string;
-            readonly description?: string | undefined;
-            readonly input?: {
-                readonly hint: string;
-            } | undefined;
-        }[];
-        readonly skills: readonly {
-            readonly name: string;
-            readonly path: string;
-            readonly enabled: boolean;
-            readonly description?: string | undefined;
-            readonly scope?: string | undefined;
-            readonly displayName?: string | undefined;
-            readonly shortDescription?: string | undefined;
-        }[];
-        readonly displayName?: string | undefined;
-        readonly accentColor?: string | undefined;
-        readonly badgeLabel?: string | undefined;
-        readonly continuation?: {
-            readonly groupKey: string;
-        } | undefined;
-        readonly showInteractionModeToggle?: boolean | undefined;
-        readonly requiresNewThreadForModelChange?: boolean | undefined;
-        readonly message?: string | undefined;
-        readonly availability?: "available" | "unavailable" | undefined;
-        readonly unavailableReason?: string | undefined;
-        readonly versionAdvisory?: {
-            readonly status: "unknown" | "current" | "behind_latest";
-            readonly currentVersion: string | null;
-            readonly latestVersion: string | null;
-            readonly updateCommand: string | null;
-            readonly canUpdate: boolean;
-            readonly checkedAt: string | null;
-            readonly message: string | null;
-        };
-        readonly updateState?: {
-            readonly status: "idle" | "running" | "failed" | "queued" | "succeeded" | "unchanged";
-            readonly startedAt: string | null;
-            readonly finishedAt: string | null;
-            readonly message: string | null;
-            readonly output: string | null;
-        };
-    }[], import("../rpc/error.ts").RpcError, never>;
-}, never, import("../environment/service.ts").Environment | import("../orchestration/service.ts").T3Orchestration | import("effect/Path").Path | import("effect/Crypto").Crypto>;
-export declare const T3ApplicationLive: Layer.Layer<T3Application, never, import("../environment/service.ts").Environment | import("../orchestration/service.ts").T3Orchestration | import("effect/Path").Path | import("effect/Crypto").Crypto>;
+    }) => Effect.Effect<ReadonlyArray<import("#t3tools/contracts").ServerProvider>, import("./error.ts").ApplicationError>;
+}, never, T3ModelApplication | T3ProjectApplication | T3ThreadApplication | T3TerminalApplication>;
+export declare const T3ModelApplicationLive: Layer.Layer<T3ModelApplication, never, import("../orchestration/service.ts").T3Orchestration>;
+export declare const T3ProjectApplicationLive: Layer.Layer<T3ProjectApplication, never, import("../environment/service.ts").Environment | import("../orchestration/service.ts").T3Orchestration | import("effect/Path").Path | import("effect/Crypto").Crypto>;
+export declare const T3TerminalApplicationLive: Layer.Layer<T3TerminalApplication, never, import("../orchestration/service.ts").T3Orchestration | import("effect/Crypto").Crypto | import("../rpc/operation.ts").T3RpcOperations>;
+export declare const T3ThreadApplicationLive: Layer.Layer<T3ThreadApplication, never, import("../environment/service.ts").Environment | import("../orchestration/service.ts").T3Orchestration | import("effect/Path").Path | import("effect/Crypto").Crypto>;
+export declare const T3ApplicationSlicesLive: Layer.Layer<T3ModelApplication | T3ProjectApplication | T3ThreadApplication | T3TerminalApplication, never, import("../environment/service.ts").Environment | import("../orchestration/service.ts").T3Orchestration | import("effect/Path").Path | import("effect/Crypto").Crypto | import("../rpc/operation.ts").T3RpcOperations>;
+export declare const T3ApplicationLive: Layer.Layer<T3Application, never, import("../environment/service.ts").Environment | import("../orchestration/service.ts").T3Orchestration | import("effect/Path").Path | import("effect/Crypto").Crypto | import("../rpc/operation.ts").T3RpcOperations>;