@calltelemetry/ct-lab-mcp 0.8.22 → 0.8.24

package/dist/src/tools/lab-dev.d.ts

@@ -0,0 +1,711 @@
+/** Strict canonical façade for the leased remote development lifecycle. */
+import { z } from "zod";
+import { CallToolResult } from "../types/mcp.js";
+import type { ToolContext } from "./list-hosts.js";
+/**
+ * Runtime validation uses a strict discriminated union. Each action owns its
+ * allowed fields so a status request cannot accidentally become a lifecycle
+ * mutation by carrying fields from another action.
+ */
+export declare const LabDevInputObjectSchema: z.ZodDiscriminatedUnion<"action", [z.ZodObject<{
+    assetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    leaseId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    linearIssue: z.ZodOptional<z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>>;
+    action: z.ZodLiteral<"doctor">;
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+}, "strict", z.ZodTypeAny, {
+    action: "doctor";
+    profile: "ct-local-dev-v1";
+    linearIssue?: string | undefined;
+    leaseId?: string | undefined;
+    assetId?: string | undefined;
+}, {
+    action: "doctor";
+    profile: "ct-local-dev-v1";
+    linearIssue?: string | undefined;
+    leaseId?: string | undefined;
+    assetId?: string | undefined;
+}>, z.ZodObject<{
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+    workspaceRef: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    sourceDigest: z.ZodString;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"plan">;
+}, "strict", z.ZodTypeAny, {
+    action: "plan";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+}, {
+    action: "plan";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+    workspaceRef: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    sourceDigest: z.ZodString;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"prepare">;
+}, "strict", z.ZodTypeAny, {
+    action: "prepare";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "prepare";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+    workspaceRef: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    sourceDigest: z.ZodString;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"start">;
+}, "strict", z.ZodTypeAny, {
+    action: "start";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "start";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"status">;
+}, "strict", z.ZodTypeAny, {
+    action: "status";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId?: string | undefined;
+}, {
+    action: "status";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+    workspaceRef: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    sourceDigest: z.ZodString;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"sync">;
+}, "strict", z.ZodTypeAny, {
+    action: "sync";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "sync";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"stop">;
+}, "strict", z.ZodTypeAny, {
+    action: "stop";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "stop";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"cleanup">;
+}, "strict", z.ZodTypeAny, {
+    action: "cleanup";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "cleanup";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>]>;
+export declare const LabDevInputSchema: z.ZodEffects<z.ZodDiscriminatedUnion<"action", [z.ZodObject<{
+    assetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    leaseId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    linearIssue: z.ZodOptional<z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>>;
+    action: z.ZodLiteral<"doctor">;
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+}, "strict", z.ZodTypeAny, {
+    action: "doctor";
+    profile: "ct-local-dev-v1";
+    linearIssue?: string | undefined;
+    leaseId?: string | undefined;
+    assetId?: string | undefined;
+}, {
+    action: "doctor";
+    profile: "ct-local-dev-v1";
+    linearIssue?: string | undefined;
+    leaseId?: string | undefined;
+    assetId?: string | undefined;
+}>, z.ZodObject<{
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+    workspaceRef: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    sourceDigest: z.ZodString;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"plan">;
+}, "strict", z.ZodTypeAny, {
+    action: "plan";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+}, {
+    action: "plan";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+    workspaceRef: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    sourceDigest: z.ZodString;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"prepare">;
+}, "strict", z.ZodTypeAny, {
+    action: "prepare";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "prepare";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+    workspaceRef: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    sourceDigest: z.ZodString;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"start">;
+}, "strict", z.ZodTypeAny, {
+    action: "start";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "start";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"status">;
+}, "strict", z.ZodTypeAny, {
+    action: "status";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId?: string | undefined;
+}, {
+    action: "status";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    profile: z.ZodLiteral<"ct-local-dev-v1">;
+    workspaceRef: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    sourceDigest: z.ZodString;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"sync">;
+}, "strict", z.ZodTypeAny, {
+    action: "sync";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "sync";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"stop">;
+}, "strict", z.ZodTypeAny, {
+    action: "stop";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "stop";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>, z.ZodObject<{
+    operationId: z.ZodType<string, z.ZodTypeDef, string>;
+    planReceiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    receiptFile: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>;
+    apply: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    assetId: z.ZodType<string, z.ZodTypeDef, string>;
+    leaseId: z.ZodType<string, z.ZodTypeDef, string>;
+    linearIssue: z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>;
+    action: z.ZodLiteral<"cleanup">;
+}, "strict", z.ZodTypeAny, {
+    action: "cleanup";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "cleanup";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>]>, {
+    action: "doctor";
+    profile: "ct-local-dev-v1";
+    linearIssue?: string | undefined;
+    leaseId?: string | undefined;
+    assetId?: string | undefined;
+} | {
+    action: "plan";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+} | {
+    action: "status";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId?: string | undefined;
+} | {
+    action: "prepare";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+} | {
+    action: "start";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+} | {
+    action: "sync";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+} | {
+    action: "stop";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+} | {
+    action: "cleanup";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    apply: boolean;
+    receiptFile: string;
+    planReceiptFile: string;
+    confirmAssetId?: string | undefined;
+}, {
+    action: "doctor";
+    profile: "ct-local-dev-v1";
+    linearIssue?: string | undefined;
+    leaseId?: string | undefined;
+    assetId?: string | undefined;
+} | {
+    action: "plan";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+} | {
+    action: "status";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId?: string | undefined;
+} | {
+    action: "prepare";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+} | {
+    action: "start";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+} | {
+    action: "sync";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    profile: "ct-local-dev-v1";
+    workspaceRef: string;
+    sourceDigest: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+} | {
+    action: "stop";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+} | {
+    action: "cleanup";
+    linearIssue: string;
+    leaseId: string;
+    assetId: string;
+    operationId: string;
+    receiptFile: string;
+    planReceiptFile: string;
+    apply?: boolean | undefined;
+    confirmAssetId?: string | undefined;
+}>;
+/**
+ * MCP SDK tools/list serializes only object schemas, not top-level refined
+ * unions. Expose the known typed fields for discovery, then apply the strict
+ * action union above in the handler before constructing any canonical argv.
+ * Do not put defaults here: that would inject disallowed fields into actions.
+ */
+export declare const LabDevAdvertisedInputSchema: z.ZodObject<{
+    action: z.ZodEnum<["doctor", "plan", "prepare", "start", "status", "sync", "stop", "cleanup"]>;
+    assetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    leaseId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    linearIssue: z.ZodOptional<z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>>;
+    profile: z.ZodOptional<z.ZodLiteral<"ct-local-dev-v1">>;
+    workspaceRef: z.ZodOptional<z.ZodEffects<z.ZodType<string, z.ZodTypeDef, string>, string, string>>;
+    operationId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+    sourceDigest: z.ZodOptional<z.ZodString>;
+    receiptFile: z.ZodOptional<z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>>;
+    planReceiptFile: z.ZodOptional<z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, string, string>>;
+    apply: z.ZodOptional<z.ZodBoolean>;
+    confirmAssetId: z.ZodOptional<z.ZodType<string, z.ZodTypeDef, string>>;
+}, "strict", z.ZodTypeAny, {
+    action: "start" | "stop" | "status" | "doctor" | "plan" | "prepare" | "sync" | "cleanup";
+    linearIssue?: string | undefined;
+    leaseId?: string | undefined;
+    assetId?: string | undefined;
+    operationId?: string | undefined;
+    apply?: boolean | undefined;
+    receiptFile?: string | undefined;
+    confirmAssetId?: string | undefined;
+    profile?: "ct-local-dev-v1" | undefined;
+    workspaceRef?: string | undefined;
+    sourceDigest?: string | undefined;
+    planReceiptFile?: string | undefined;
+}, {
+    action: "start" | "stop" | "status" | "doctor" | "plan" | "prepare" | "sync" | "cleanup";
+    linearIssue?: string | undefined;
+    leaseId?: string | undefined;
+    assetId?: string | undefined;
+    operationId?: string | undefined;
+    apply?: boolean | undefined;
+    receiptFile?: string | undefined;
+    confirmAssetId?: string | undefined;
+    profile?: "ct-local-dev-v1" | undefined;
+    workspaceRef?: string | undefined;
+    sourceDigest?: string | undefined;
+    planReceiptFile?: string | undefined;
+}>;
+export type LabDevInput = z.infer<typeof LabDevInputSchema>;
+export type LabDevRawInput = z.input<typeof LabDevInputSchema>;
+/** Build only the fixed, typed canonical argv for a validated request. */
+export declare function buildLabDevCommand(value: LabDevInput): string[];
+export declare function handleLabDev(rawArgs: LabDevRawInput | unknown, context: ToolContext): Promise<CallToolResult>;
+//# sourceMappingURL=lab-dev.d.ts.map