@method-ai-hq/sdk 0.0.0-stage → 0.14.2

package/dist/packages/workflow-language/src/inspection.d.ts

@@ -0,0 +1,990 @@
+import { z } from "zod";
+import { type Json, type Step, type Workflow, type Shape } from "./schema.js";
+export declare const FailureSchema: z.ZodObject<{
+    phase: z.ZodEnum<["environment", "input", "action", "check", "change"]>;
+    expected: z.ZodString;
+    observed: z.ZodString;
+    evidence: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    expected: string;
+    phase: "check" | "input" | "action" | "environment" | "change";
+    observed: string;
+    evidence: string[];
+}, {
+    expected: string;
+    phase: "check" | "input" | "action" | "environment" | "change";
+    observed: string;
+    evidence: string[];
+}>;
+export declare const ObservedEffectsSchema: z.ZodUnion<[z.ZodObject<{
+    network: z.ZodArray<z.ZodString, "many">;
+    reads: z.ZodArray<z.ZodString, "many">;
+    writes: z.ZodArray<z.ZodString, "many">;
+    env: z.ZodArray<z.ZodString, "many">;
+    runs: z.ZodArray<z.ZodString, "many">;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, "strict", z.ZodTypeAny, {
+    runs: string[];
+    network: string[];
+    reads: string[];
+    writes: string[];
+    env: string[];
+    truncated?: true | undefined;
+}, {
+    runs: string[];
+    network: string[];
+    reads: string[];
+    writes: string[];
+    env: string[];
+    truncated?: true | undefined;
+}>, z.ZodObject<{
+    unavailable: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    unavailable: string;
+}, {
+    unavailable: string;
+}>]>;
+export type ObservedEffects = z.infer<typeof ObservedEffectsSchema>;
+export declare const RunEventSchema: z.ZodObject<{
+    provider: z.ZodOptional<z.ZodString>;
+    model: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodLiteral<"classify">>;
+    request_id: z.ZodOptional<z.ZodString>;
+    operation_id: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    usage: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        input_tokens: z.ZodNumber;
+        output_tokens: z.ZodNumber;
+        cost: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        input_tokens: number;
+        output_tokens: number;
+        cost?: number | undefined;
+    }, {
+        input_tokens: number;
+        output_tokens: number;
+        cost?: number | undefined;
+    }>>>;
+    duration_ms: z.ZodOptional<z.ZodNumber>;
+    at: z.ZodString;
+    type: z.ZodString;
+    detail: z.ZodOptional<z.ZodString>;
+    sequence: z.ZodOptional<z.ZodNumber>;
+    phase: z.ZodOptional<z.ZodEnum<["action", "check"]>>;
+    tool: z.ZodOptional<z.ZodString>;
+    call_id: z.ZodOptional<z.ZodString>;
+    command: z.ZodOptional<z.ZodString>;
+    exit_code: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    diagnostics: z.ZodOptional<z.ZodString>;
+    child: z.ZodOptional<z.ZodString>;
+    completed: z.ZodOptional<z.ZodNumber>;
+    total: z.ZodOptional<z.ZodNumber>;
+    unit: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    at: string;
+    type: string;
+    tool?: string | undefined;
+    kind?: "classify" | undefined;
+    child?: string | undefined;
+    model?: string | undefined;
+    provider?: string | undefined;
+    request_id?: string | undefined;
+    phase?: "check" | "action" | undefined;
+    operation_id?: string | undefined;
+    confidence?: number | null | undefined;
+    usage?: {
+        input_tokens: number;
+        output_tokens: number;
+        cost?: number | undefined;
+    } | null | undefined;
+    duration_ms?: number | undefined;
+    detail?: string | undefined;
+    sequence?: number | undefined;
+    call_id?: string | undefined;
+    command?: string | undefined;
+    exit_code?: number | null | undefined;
+    diagnostics?: string | undefined;
+    completed?: number | undefined;
+    total?: number | undefined;
+    unit?: string | undefined;
+}, {
+    at: string;
+    type: string;
+    tool?: string | undefined;
+    kind?: "classify" | undefined;
+    child?: string | undefined;
+    model?: string | undefined;
+    provider?: string | undefined;
+    request_id?: string | undefined;
+    phase?: "check" | "action" | undefined;
+    operation_id?: string | undefined;
+    confidence?: number | null | undefined;
+    usage?: {
+        input_tokens: number;
+        output_tokens: number;
+        cost?: number | undefined;
+    } | null | undefined;
+    duration_ms?: number | undefined;
+    detail?: string | undefined;
+    sequence?: number | undefined;
+    call_id?: string | undefined;
+    command?: string | undefined;
+    exit_code?: number | null | undefined;
+    diagnostics?: string | undefined;
+    completed?: number | undefined;
+    total?: number | undefined;
+    unit?: string | undefined;
+}>;
+export declare const InspectionSchema: z.ZodObject<{
+    started_at: z.ZodOptional<z.ZodString>;
+    device_name: z.ZodOptional<z.ZodString>;
+    local_run_directory: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodLiteral<"device">>;
+    schema: z.ZodLiteral<"workflow-inspection/2">;
+    workflow: z.ZodType<import("./schema.js").CurrentWorkflow, z.ZodTypeDef, import("./schema.js").CurrentWorkflow>;
+    run_id: z.ZodString;
+    status: z.ZodString;
+    error: z.ZodOptional<z.ZodString>;
+    failure: z.ZodOptional<z.ZodObject<{
+        phase: z.ZodEnum<["environment", "input", "action", "check", "change"]>;
+        expected: z.ZodString;
+        observed: z.ZodString;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        expected: string;
+        phase: "check" | "input" | "action" | "environment" | "change";
+        observed: string;
+        evidence: string[];
+    }, {
+        expected: string;
+        phase: "check" | "input" | "action" | "environment" | "change";
+        observed: string;
+        evidence: string[];
+    }>>;
+    inputs: z.ZodRecord<z.ZodString, z.ZodType<Json, z.ZodTypeDef, Json>>;
+    state: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<Json, z.ZodTypeDef, Json>>>;
+    resources: z.ZodRecord<z.ZodString, z.ZodObject<{
+        description: z.ZodString;
+        setup: z.ZodOptional<z.ZodString>;
+        path: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        description: string;
+        path?: string | undefined;
+        setup?: string | undefined;
+    }, {
+        description: string;
+        path?: string | undefined;
+        setup?: string | undefined;
+    }>>;
+    environment: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        result: z.ZodEnum<["pass", "fail", "ambiguous"]>;
+        summary: z.ZodString;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        evidence: string[];
+        result: "pass" | "fail" | "ambiguous";
+        summary: string;
+    }, {
+        evidence: string[];
+        result: "pass" | "fail" | "ambiguous";
+        summary: string;
+    }>>>;
+    files: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        sha256: z.ZodString;
+        status: z.ZodEnum<["verified", "unavailable"]>;
+        observed_at: z.ZodString;
+        text: z.ZodOptional<z.ZodString>;
+        bytes: z.ZodOptional<z.ZodNumber>;
+        reason: z.ZodOptional<z.ZodString>;
+        title: z.ZodOptional<z.ZodString>;
+        media_type: z.ZodOptional<z.ZodString>;
+        data: z.ZodOptional<z.ZodString>;
+        encoding: z.ZodOptional<z.ZodLiteral<"gzip">>;
+        stored: z.ZodOptional<z.ZodBoolean>;
+        website: z.ZodOptional<z.ZodObject<{
+            entrypoint: z.ZodString;
+            files: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                sha256: z.ZodString;
+                media_type: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                sha256: string;
+                path: string;
+                media_type: string;
+            }, {
+                sha256: string;
+                path: string;
+                media_type: string;
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            files: {
+                sha256: string;
+                path: string;
+                media_type: string;
+            }[];
+            entrypoint: string;
+        }, {
+            files: {
+                sha256: string;
+                path: string;
+                media_type: string;
+            }[];
+            entrypoint: string;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        sha256: string;
+        status: "verified" | "unavailable";
+        path: string;
+        observed_at: string;
+        text?: string | undefined;
+        bytes?: number | undefined;
+        encoding?: "gzip" | undefined;
+        media_type?: string | undefined;
+        title?: string | undefined;
+        reason?: string | undefined;
+        data?: string | undefined;
+        stored?: boolean | undefined;
+        website?: {
+            files: {
+                sha256: string;
+                path: string;
+                media_type: string;
+            }[];
+            entrypoint: string;
+        } | undefined;
+    }, {
+        sha256: string;
+        status: "verified" | "unavailable";
+        path: string;
+        observed_at: string;
+        text?: string | undefined;
+        bytes?: number | undefined;
+        encoding?: "gzip" | undefined;
+        media_type?: string | undefined;
+        title?: string | undefined;
+        reason?: string | undefined;
+        data?: string | undefined;
+        stored?: boolean | undefined;
+        website?: {
+            files: {
+                sha256: string;
+                path: string;
+                media_type: string;
+            }[];
+            entrypoint: string;
+        } | undefined;
+    }>, "many">>;
+    events: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        provider: z.ZodOptional<z.ZodString>;
+        model: z.ZodOptional<z.ZodString>;
+        kind: z.ZodOptional<z.ZodLiteral<"classify">>;
+        request_id: z.ZodOptional<z.ZodString>;
+        operation_id: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        usage: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            input_tokens: z.ZodNumber;
+            output_tokens: z.ZodNumber;
+            cost: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            input_tokens: number;
+            output_tokens: number;
+            cost?: number | undefined;
+        }, {
+            input_tokens: number;
+            output_tokens: number;
+            cost?: number | undefined;
+        }>>>;
+        duration_ms: z.ZodOptional<z.ZodNumber>;
+        at: z.ZodString;
+        type: z.ZodString;
+        detail: z.ZodOptional<z.ZodString>;
+        sequence: z.ZodOptional<z.ZodNumber>;
+        phase: z.ZodOptional<z.ZodEnum<["action", "check"]>>;
+        tool: z.ZodOptional<z.ZodString>;
+        call_id: z.ZodOptional<z.ZodString>;
+        command: z.ZodOptional<z.ZodString>;
+        exit_code: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        diagnostics: z.ZodOptional<z.ZodString>;
+        child: z.ZodOptional<z.ZodString>;
+        completed: z.ZodOptional<z.ZodNumber>;
+        total: z.ZodOptional<z.ZodNumber>;
+        unit: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        at: string;
+        type: string;
+        tool?: string | undefined;
+        kind?: "classify" | undefined;
+        child?: string | undefined;
+        model?: string | undefined;
+        provider?: string | undefined;
+        request_id?: string | undefined;
+        phase?: "check" | "action" | undefined;
+        operation_id?: string | undefined;
+        confidence?: number | null | undefined;
+        usage?: {
+            input_tokens: number;
+            output_tokens: number;
+            cost?: number | undefined;
+        } | null | undefined;
+        duration_ms?: number | undefined;
+        detail?: string | undefined;
+        sequence?: number | undefined;
+        call_id?: string | undefined;
+        command?: string | undefined;
+        exit_code?: number | null | undefined;
+        diagnostics?: string | undefined;
+        completed?: number | undefined;
+        total?: number | undefined;
+        unit?: string | undefined;
+    }, {
+        at: string;
+        type: string;
+        tool?: string | undefined;
+        kind?: "classify" | undefined;
+        child?: string | undefined;
+        model?: string | undefined;
+        provider?: string | undefined;
+        request_id?: string | undefined;
+        phase?: "check" | "action" | undefined;
+        operation_id?: string | undefined;
+        confidence?: number | null | undefined;
+        usage?: {
+            input_tokens: number;
+            output_tokens: number;
+            cost?: number | undefined;
+        } | null | undefined;
+        duration_ms?: number | undefined;
+        detail?: string | undefined;
+        sequence?: number | undefined;
+        call_id?: string | undefined;
+        command?: string | undefined;
+        exit_code?: number | null | undefined;
+        diagnostics?: string | undefined;
+        completed?: number | undefined;
+        total?: number | undefined;
+        unit?: string | undefined;
+    }>, "many">>;
+    invocations: z.ZodRecord<z.ZodString, z.ZodObject<{
+        step_id: z.ZodString;
+        status: z.ZodString;
+        verification: z.ZodOptional<z.ZodEnum<["checked", "unchecked"]>>;
+        error: z.ZodOptional<z.ZodString>;
+        failure: z.ZodOptional<z.ZodObject<{
+            phase: z.ZodEnum<["environment", "input", "action", "check", "change"]>;
+            expected: z.ZodString;
+            observed: z.ZodString;
+            evidence: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            expected: string;
+            phase: "check" | "input" | "action" | "environment" | "change";
+            observed: string;
+            evidence: string[];
+        }, {
+            expected: string;
+            phase: "check" | "input" | "action" | "environment" | "change";
+            observed: string;
+            evidence: string[];
+        }>>;
+        inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<Json, z.ZodTypeDef, Json>>>;
+        outputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<Json, z.ZodTypeDef, Json>>>;
+        checks: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            result: z.ZodEnum<["pass", "fail", "ambiguous"]>;
+            summary: z.ZodString;
+            evidence: z.ZodArray<z.ZodString, "many">;
+            method: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            method: string;
+            id: string;
+            evidence: string[];
+            result: "pass" | "fail" | "ambiguous";
+            summary: string;
+        }, {
+            method: string;
+            id: string;
+            evidence: string[];
+            result: "pass" | "fail" | "ambiguous";
+            summary: string;
+        }>, "many">;
+        changes: z.ZodRecord<z.ZodString, z.ZodType<Json, z.ZodTypeDef, Json>>;
+        prompts: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            sequence: z.ZodNumber;
+            phase: z.ZodEnum<["action", "check"]>;
+            template: z.ZodString;
+            rendered: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            phase: "check" | "action";
+            sequence: number;
+            template: string;
+            rendered: string;
+        }, {
+            phase: "check" | "action";
+            sequence: number;
+            template: string;
+            rendered: string;
+        }>, "many">>;
+        events: z.ZodArray<z.ZodObject<{
+            provider: z.ZodOptional<z.ZodString>;
+            model: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodLiteral<"classify">>;
+            request_id: z.ZodOptional<z.ZodString>;
+            operation_id: z.ZodOptional<z.ZodString>;
+            confidence: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+            usage: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                input_tokens: z.ZodNumber;
+                output_tokens: z.ZodNumber;
+                cost: z.ZodOptional<z.ZodNumber>;
+            }, "strict", z.ZodTypeAny, {
+                input_tokens: number;
+                output_tokens: number;
+                cost?: number | undefined;
+            }, {
+                input_tokens: number;
+                output_tokens: number;
+                cost?: number | undefined;
+            }>>>;
+            duration_ms: z.ZodOptional<z.ZodNumber>;
+            at: z.ZodString;
+            type: z.ZodString;
+            detail: z.ZodOptional<z.ZodString>;
+            sequence: z.ZodOptional<z.ZodNumber>;
+            phase: z.ZodOptional<z.ZodEnum<["action", "check"]>>;
+            tool: z.ZodOptional<z.ZodString>;
+            call_id: z.ZodOptional<z.ZodString>;
+            command: z.ZodOptional<z.ZodString>;
+            exit_code: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+            diagnostics: z.ZodOptional<z.ZodString>;
+            child: z.ZodOptional<z.ZodString>;
+            completed: z.ZodOptional<z.ZodNumber>;
+            total: z.ZodOptional<z.ZodNumber>;
+            unit: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            at: string;
+            type: string;
+            tool?: string | undefined;
+            kind?: "classify" | undefined;
+            child?: string | undefined;
+            model?: string | undefined;
+            provider?: string | undefined;
+            request_id?: string | undefined;
+            phase?: "check" | "action" | undefined;
+            operation_id?: string | undefined;
+            confidence?: number | null | undefined;
+            usage?: {
+                input_tokens: number;
+                output_tokens: number;
+                cost?: number | undefined;
+            } | null | undefined;
+            duration_ms?: number | undefined;
+            detail?: string | undefined;
+            sequence?: number | undefined;
+            call_id?: string | undefined;
+            command?: string | undefined;
+            exit_code?: number | null | undefined;
+            diagnostics?: string | undefined;
+            completed?: number | undefined;
+            total?: number | undefined;
+            unit?: string | undefined;
+        }, {
+            at: string;
+            type: string;
+            tool?: string | undefined;
+            kind?: "classify" | undefined;
+            child?: string | undefined;
+            model?: string | undefined;
+            provider?: string | undefined;
+            request_id?: string | undefined;
+            phase?: "check" | "action" | undefined;
+            operation_id?: string | undefined;
+            confidence?: number | null | undefined;
+            usage?: {
+                input_tokens: number;
+                output_tokens: number;
+                cost?: number | undefined;
+            } | null | undefined;
+            duration_ms?: number | undefined;
+            detail?: string | undefined;
+            sequence?: number | undefined;
+            call_id?: string | undefined;
+            command?: string | undefined;
+            exit_code?: number | null | undefined;
+            diagnostics?: string | undefined;
+            completed?: number | undefined;
+            total?: number | undefined;
+            unit?: string | undefined;
+        }>, "many">;
+        observed_effects: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
+            network: z.ZodArray<z.ZodString, "many">;
+            reads: z.ZodArray<z.ZodString, "many">;
+            writes: z.ZodArray<z.ZodString, "many">;
+            env: z.ZodArray<z.ZodString, "many">;
+            runs: z.ZodArray<z.ZodString, "many">;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, "strict", z.ZodTypeAny, {
+            runs: string[];
+            network: string[];
+            reads: string[];
+            writes: string[];
+            env: string[];
+            truncated?: true | undefined;
+        }, {
+            runs: string[];
+            network: string[];
+            reads: string[];
+            writes: string[];
+            env: string[];
+            truncated?: true | undefined;
+        }>, z.ZodObject<{
+            unavailable: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            unavailable: string;
+        }, {
+            unavailable: string;
+        }>]>>;
+    }, "strict", z.ZodTypeAny, {
+        status: string;
+        checks: {
+            method: string;
+            id: string;
+            evidence: string[];
+            result: "pass" | "fail" | "ambiguous";
+            summary: string;
+        }[];
+        events: {
+            at: string;
+            type: string;
+            tool?: string | undefined;
+            kind?: "classify" | undefined;
+            child?: string | undefined;
+            model?: string | undefined;
+            provider?: string | undefined;
+            request_id?: string | undefined;
+            phase?: "check" | "action" | undefined;
+            operation_id?: string | undefined;
+            confidence?: number | null | undefined;
+            usage?: {
+                input_tokens: number;
+                output_tokens: number;
+                cost?: number | undefined;
+            } | null | undefined;
+            duration_ms?: number | undefined;
+            detail?: string | undefined;
+            sequence?: number | undefined;
+            call_id?: string | undefined;
+            command?: string | undefined;
+            exit_code?: number | null | undefined;
+            diagnostics?: string | undefined;
+            completed?: number | undefined;
+            total?: number | undefined;
+            unit?: string | undefined;
+        }[];
+        step_id: string;
+        changes: Record<string, Json>;
+        error?: string | undefined;
+        inputs?: Record<string, Json> | undefined;
+        failure?: {
+            expected: string;
+            phase: "check" | "input" | "action" | "environment" | "change";
+            observed: string;
+            evidence: string[];
+        } | undefined;
+        verification?: "checked" | "unchecked" | undefined;
+        outputs?: Record<string, Json> | undefined;
+        prompts?: {
+            phase: "check" | "action";
+            sequence: number;
+            template: string;
+            rendered: string;
+        }[] | undefined;
+        observed_effects?: {
+            runs: string[];
+            network: string[];
+            reads: string[];
+            writes: string[];
+            env: string[];
+            truncated?: true | undefined;
+        } | {
+            unavailable: string;
+        } | undefined;
+    }, {
+        status: string;
+        checks: {
+            method: string;
+            id: string;
+            evidence: string[];
+            result: "pass" | "fail" | "ambiguous";
+            summary: string;
+        }[];
+        events: {
+            at: string;
+            type: string;
+            tool?: string | undefined;
+            kind?: "classify" | undefined;
+            child?: string | undefined;
+            model?: string | undefined;
+            provider?: string | undefined;
+            request_id?: string | undefined;
+            phase?: "check" | "action" | undefined;
+            operation_id?: string | undefined;
+            confidence?: number | null | undefined;
+            usage?: {
+                input_tokens: number;
+                output_tokens: number;
+                cost?: number | undefined;
+            } | null | undefined;
+            duration_ms?: number | undefined;
+            detail?: string | undefined;
+            sequence?: number | undefined;
+            call_id?: string | undefined;
+            command?: string | undefined;
+            exit_code?: number | null | undefined;
+            diagnostics?: string | undefined;
+            completed?: number | undefined;
+            total?: number | undefined;
+            unit?: string | undefined;
+        }[];
+        step_id: string;
+        changes: Record<string, Json>;
+        error?: string | undefined;
+        inputs?: Record<string, Json> | undefined;
+        failure?: {
+            expected: string;
+            phase: "check" | "input" | "action" | "environment" | "change";
+            observed: string;
+            evidence: string[];
+        } | undefined;
+        verification?: "checked" | "unchecked" | undefined;
+        outputs?: Record<string, Json> | undefined;
+        prompts?: {
+            phase: "check" | "action";
+            sequence: number;
+            template: string;
+            rendered: string;
+        }[] | undefined;
+        observed_effects?: {
+            runs: string[];
+            network: string[];
+            reads: string[];
+            writes: string[];
+            env: string[];
+            truncated?: true | undefined;
+        } | {
+            unavailable: string;
+        } | undefined;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    status: string;
+    inputs: Record<string, Json>;
+    schema: "workflow-inspection/2";
+    workflow: import("./schema.js").CurrentWorkflow;
+    run_id: string;
+    resources: Record<string, {
+        description: string;
+        path?: string | undefined;
+        setup?: string | undefined;
+    }>;
+    invocations: Record<string, {
+        status: string;
+        checks: {
+            method: string;
+            id: string;
+            evidence: string[];
+            result: "pass" | "fail" | "ambiguous";
+            summary: string;
+        }[];
+        events: {
+            at: string;
+            type: string;
+            tool?: string | undefined;
+            kind?: "classify" | undefined;
+            child?: string | undefined;
+            model?: string | undefined;
+            provider?: string | undefined;
+            request_id?: string | undefined;
+            phase?: "check" | "action" | undefined;
+            operation_id?: string | undefined;
+            confidence?: number | null | undefined;
+            usage?: {
+                input_tokens: number;
+                output_tokens: number;
+                cost?: number | undefined;
+            } | null | undefined;
+            duration_ms?: number | undefined;
+            detail?: string | undefined;
+            sequence?: number | undefined;
+            call_id?: string | undefined;
+            command?: string | undefined;
+            exit_code?: number | null | undefined;
+            diagnostics?: string | undefined;
+            completed?: number | undefined;
+            total?: number | undefined;
+            unit?: string | undefined;
+        }[];
+        step_id: string;
+        changes: Record<string, Json>;
+        error?: string | undefined;
+        inputs?: Record<string, Json> | undefined;
+        failure?: {
+            expected: string;
+            phase: "check" | "input" | "action" | "environment" | "change";
+            observed: string;
+            evidence: string[];
+        } | undefined;
+        verification?: "checked" | "unchecked" | undefined;
+        outputs?: Record<string, Json> | undefined;
+        prompts?: {
+            phase: "check" | "action";
+            sequence: number;
+            template: string;
+            rendered: string;
+        }[] | undefined;
+        observed_effects?: {
+            runs: string[];
+            network: string[];
+            reads: string[];
+            writes: string[];
+            env: string[];
+            truncated?: true | undefined;
+        } | {
+            unavailable: string;
+        } | undefined;
+    }>;
+    files?: {
+        sha256: string;
+        status: "verified" | "unavailable";
+        path: string;
+        observed_at: string;
+        text?: string | undefined;
+        bytes?: number | undefined;
+        encoding?: "gzip" | undefined;
+        media_type?: string | undefined;
+        title?: string | undefined;
+        reason?: string | undefined;
+        data?: string | undefined;
+        stored?: boolean | undefined;
+        website?: {
+            files: {
+                sha256: string;
+                path: string;
+                media_type: string;
+            }[];
+            entrypoint: string;
+        } | undefined;
+    }[] | undefined;
+    error?: string | undefined;
+    state?: Record<string, Json> | undefined;
+    environment?: Record<string, {
+        evidence: string[];
+        result: "pass" | "fail" | "ambiguous";
+        summary: string;
+    }> | undefined;
+    started_at?: string | undefined;
+    device_name?: string | undefined;
+    local_run_directory?: string | undefined;
+    content?: "device" | undefined;
+    failure?: {
+        expected: string;
+        phase: "check" | "input" | "action" | "environment" | "change";
+        observed: string;
+        evidence: string[];
+    } | undefined;
+    events?: {
+        at: string;
+        type: string;
+        tool?: string | undefined;
+        kind?: "classify" | undefined;
+        child?: string | undefined;
+        model?: string | undefined;
+        provider?: string | undefined;
+        request_id?: string | undefined;
+        phase?: "check" | "action" | undefined;
+        operation_id?: string | undefined;
+        confidence?: number | null | undefined;
+        usage?: {
+            input_tokens: number;
+            output_tokens: number;
+            cost?: number | undefined;
+        } | null | undefined;
+        duration_ms?: number | undefined;
+        detail?: string | undefined;
+        sequence?: number | undefined;
+        call_id?: string | undefined;
+        command?: string | undefined;
+        exit_code?: number | null | undefined;
+        diagnostics?: string | undefined;
+        completed?: number | undefined;
+        total?: number | undefined;
+        unit?: string | undefined;
+    }[] | undefined;
+}, {
+    status: string;
+    inputs: Record<string, Json>;
+    schema: "workflow-inspection/2";
+    workflow: import("./schema.js").CurrentWorkflow;
+    run_id: string;
+    resources: Record<string, {
+        description: string;
+        path?: string | undefined;
+        setup?: string | undefined;
+    }>;
+    invocations: Record<string, {
+        status: string;
+        checks: {
+            method: string;
+            id: string;
+            evidence: string[];
+            result: "pass" | "fail" | "ambiguous";
+            summary: string;
+        }[];
+        events: {
+            at: string;
+            type: string;
+            tool?: string | undefined;
+            kind?: "classify" | undefined;
+            child?: string | undefined;
+            model?: string | undefined;
+            provider?: string | undefined;
+            request_id?: string | undefined;
+            phase?: "check" | "action" | undefined;
+            operation_id?: string | undefined;
+            confidence?: number | null | undefined;
+            usage?: {
+                input_tokens: number;
+                output_tokens: number;
+                cost?: number | undefined;
+            } | null | undefined;
+            duration_ms?: number | undefined;
+            detail?: string | undefined;
+            sequence?: number | undefined;
+            call_id?: string | undefined;
+            command?: string | undefined;
+            exit_code?: number | null | undefined;
+            diagnostics?: string | undefined;
+            completed?: number | undefined;
+            total?: number | undefined;
+            unit?: string | undefined;
+        }[];
+        step_id: string;
+        changes: Record<string, Json>;
+        error?: string | undefined;
+        inputs?: Record<string, Json> | undefined;
+        failure?: {
+            expected: string;
+            phase: "check" | "input" | "action" | "environment" | "change";
+            observed: string;
+            evidence: string[];
+        } | undefined;
+        verification?: "checked" | "unchecked" | undefined;
+        outputs?: Record<string, Json> | undefined;
+        prompts?: {
+            phase: "check" | "action";
+            sequence: number;
+            template: string;
+            rendered: string;
+        }[] | undefined;
+        observed_effects?: {
+            runs: string[];
+            network: string[];
+            reads: string[];
+            writes: string[];
+            env: string[];
+            truncated?: true | undefined;
+        } | {
+            unavailable: string;
+        } | undefined;
+    }>;
+    files?: {
+        sha256: string;
+        status: "verified" | "unavailable";
+        path: string;
+        observed_at: string;
+        text?: string | undefined;
+        bytes?: number | undefined;
+        encoding?: "gzip" | undefined;
+        media_type?: string | undefined;
+        title?: string | undefined;
+        reason?: string | undefined;
+        data?: string | undefined;
+        stored?: boolean | undefined;
+        website?: {
+            files: {
+                sha256: string;
+                path: string;
+                media_type: string;
+            }[];
+            entrypoint: string;
+        } | undefined;
+    }[] | undefined;
+    error?: string | undefined;
+    state?: Record<string, Json> | undefined;
+    environment?: Record<string, {
+        evidence: string[];
+        result: "pass" | "fail" | "ambiguous";
+        summary: string;
+    }> | undefined;
+    started_at?: string | undefined;
+    device_name?: string | undefined;
+    local_run_directory?: string | undefined;
+    content?: "device" | undefined;
+    failure?: {
+        expected: string;
+        phase: "check" | "input" | "action" | "environment" | "change";
+        observed: string;
+        evidence: string[];
+    } | undefined;
+    events?: {
+        at: string;
+        type: string;
+        tool?: string | undefined;
+        kind?: "classify" | undefined;
+        child?: string | undefined;
+        model?: string | undefined;
+        provider?: string | undefined;
+        request_id?: string | undefined;
+        phase?: "check" | "action" | undefined;
+        operation_id?: string | undefined;
+        confidence?: number | null | undefined;
+        usage?: {
+            input_tokens: number;
+            output_tokens: number;
+            cost?: number | undefined;
+        } | null | undefined;
+        duration_ms?: number | undefined;
+        detail?: string | undefined;
+        sequence?: number | undefined;
+        call_id?: string | undefined;
+        command?: string | undefined;
+        exit_code?: number | null | undefined;
+        diagnostics?: string | undefined;
+        completed?: number | undefined;
+        total?: number | undefined;
+        unit?: string | undefined;
+    }[] | undefined;
+}>;
+export type RunInspection = z.infer<typeof InspectionSchema>;
+export declare function label(value: string): string;
+export declare function stepTitle(step: Step, id?: string): string;
+export declare function canonical(value: unknown): string;
+export type InspectItem = {
+    id: string;
+    name: string;
+    description: string;
+    kind: string;
+    shape?: Shape;
+    createdBy: string[];
+    usedBy: string[];
+    checkedBy: string[];
+    changedBy: string[];
+};
+export declare function inspectCatalog(workflow: Workflow): {
+    items: Map<string, InspectItem>;
+    itemFor: (ref: string) => InspectItem;
+};
+export declare function copyInstructions(step: Step, inputs?: Record<string, Json>, resources?: Record<string, unknown>): string;
+export declare function observedValue(item: InspectItem, inspection: RunInspection, invocation?: string): Json | undefined;
+/**
+ * The device form of a run record (run_data: device). Keep step status, kinds, names, and timing., kinds, names, and timing. Remove inputs, outputs,
+ * prompts, files, and free text. The server accepts only this form when an organization keeps run content on devices.
+ */
+export declare function deviceOnly(inspection: RunInspection): RunInspection;