ai-runtime-engine 2.7.0 → 2.8.0

package/dist/executions/agentTasks.d.ts

@@ -0,0 +1,627 @@
+/**
+ * Persisted agent tasks (Phase 3.5) — the schema, and the ONE way anything reads them back.
+ *
+ * An `Execution` is a JSON file in the user's home. Invariant 21 says persisted agent state is
+ * schema-validated on read, and the reason is concrete: a record's `innerPlan` is EXECUTED on resume and
+ * its hashes decide whether completed work may be reused, so a malformed record is not a display problem
+ * — it is an execution problem. Validation is fail-closed per record: anything that does not parse is
+ * dropped whole and counted, never coerced or half-read.
+ *
+ * READING IS NOT WRITING. `parseAgentTasks` returns a filtered VIEW and never touches the stored record,
+ * so merely listing or acquiring an execution cannot destroy tasks it could not parse. The dropped count
+ * travels with the view so a silently shrinking list is visible instead of inferred.
+ */
+import { z } from 'zod';
+import type { Execution } from './execution.js';
+import type { AgentTaskRecord } from '../agents/task.js';
+/**
+ * The record schema. `v` is a LITERAL: a record written by a future, wider version is dropped rather
+ * than parsed as this shape — reinterpreting an unknown layout is how a resume executes something its
+ * author never wrote.
+ */
+export declare const persistedAgentTask: z.ZodObject<{
+    v: z.ZodLiteral<1>;
+    agentTaskId: z.ZodString;
+    agentId: z.ZodString;
+    stepId: z.ZodString;
+    state: z.ZodEnum<["created", "queued", "running", "completed", "failed", "cancelled", "waiting_for_input", "waiting_for_clarification", "paused"]>;
+    createdAt: z.ZodNumber;
+    updatedAt: z.ZodNumber;
+    startedAt: z.ZodOptional<z.ZodNumber>;
+    endedAt: z.ZodOptional<z.ZodNumber>;
+    interruption: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodEnum<["crash", "pause", "parent-cancel"]>;
+        at: z.ZodNumber;
+        detail: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        at: number;
+        kind: "pause" | "crash" | "parent-cancel";
+        detail?: string | undefined;
+    }, {
+        at: number;
+        kind: "pause" | "crash" | "parent-cancel";
+        detail?: string | undefined;
+    }>>;
+    provenance: z.ZodObject<{
+        executionId: z.ZodOptional<z.ZodString>;
+        planVersion: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        planVersion: number;
+        executionId?: string | undefined;
+    }, {
+        planVersion: number;
+        executionId?: string | undefined;
+    }>;
+    agentDefHash: z.ZodString;
+    envelopeHash: z.ZodString;
+    stepInputHash: z.ZodString;
+    attempt: z.ZodNumber;
+    innerPlanVersion: z.ZodOptional<z.ZodNumber>;
+    innerPlan: z.ZodOptional<z.ZodObject<{
+        id: z.ZodString;
+        goal: z.ZodString;
+        version: z.ZodNumber;
+        steps: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            description: z.ZodString;
+            skill: z.ZodOptional<z.ZodString>;
+            tool: z.ZodOptional<z.ZodString>;
+            agent: z.ZodOptional<z.ZodString>;
+            motivatedBy: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            input: z.ZodOptional<z.ZodUnknown>;
+            dependsOn: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            status: z.ZodEnum<["pending", "running", "succeeded", "failed", "skipped"]>;
+        }, "strict", z.ZodTypeAny, {
+            status: "pending" | "running" | "succeeded" | "failed" | "skipped";
+            id: string;
+            description: string;
+            input?: unknown;
+            agent?: string | undefined;
+            skill?: string | undefined;
+            tool?: string | undefined;
+            motivatedBy?: string[] | undefined;
+            dependsOn?: string[] | undefined;
+        }, {
+            status: "pending" | "running" | "succeeded" | "failed" | "skipped";
+            id: string;
+            description: string;
+            input?: unknown;
+            agent?: string | undefined;
+            skill?: string | undefined;
+            tool?: string | undefined;
+            motivatedBy?: string[] | undefined;
+            dependsOn?: string[] | undefined;
+        }>, "many">;
+        reason: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        version: number;
+        steps: {
+            status: "pending" | "running" | "succeeded" | "failed" | "skipped";
+            id: string;
+            description: string;
+            input?: unknown;
+            agent?: string | undefined;
+            skill?: string | undefined;
+            tool?: string | undefined;
+            motivatedBy?: string[] | undefined;
+            dependsOn?: string[] | undefined;
+        }[];
+        goal: string;
+        reason?: string | undefined;
+    }, {
+        id: string;
+        version: number;
+        steps: {
+            status: "pending" | "running" | "succeeded" | "failed" | "skipped";
+            id: string;
+            description: string;
+            input?: unknown;
+            agent?: string | undefined;
+            skill?: string | undefined;
+            tool?: string | undefined;
+            motivatedBy?: string[] | undefined;
+            dependsOn?: string[] | undefined;
+        }[];
+        goal: string;
+        reason?: string | undefined;
+    }>>;
+    innerCompletedSteps: z.ZodArray<z.ZodString, "many">;
+    innerObservations: z.ZodArray<z.ZodObject<{
+        stepId: z.ZodString;
+        skill: z.ZodOptional<z.ZodString>;
+        tool: z.ZodOptional<z.ZodString>;
+        agent: z.ZodOptional<z.ZodString>;
+        agentTaskId: z.ZodOptional<z.ZodString>;
+        ok: z.ZodBoolean;
+        output: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        code: z.ZodOptional<z.ZodString>;
+        data: z.ZodOptional<z.ZodUnknown>;
+        artifacts: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+        callsUsed: z.ZodOptional<z.ZodNumber>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        stepId: z.ZodString;
+        skill: z.ZodOptional<z.ZodString>;
+        tool: z.ZodOptional<z.ZodString>;
+        agent: z.ZodOptional<z.ZodString>;
+        agentTaskId: z.ZodOptional<z.ZodString>;
+        ok: z.ZodBoolean;
+        output: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        code: z.ZodOptional<z.ZodString>;
+        data: z.ZodOptional<z.ZodUnknown>;
+        artifacts: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+        callsUsed: z.ZodOptional<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        stepId: z.ZodString;
+        skill: z.ZodOptional<z.ZodString>;
+        tool: z.ZodOptional<z.ZodString>;
+        agent: z.ZodOptional<z.ZodString>;
+        agentTaskId: z.ZodOptional<z.ZodString>;
+        ok: z.ZodBoolean;
+        output: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        code: z.ZodOptional<z.ZodString>;
+        data: z.ZodOptional<z.ZodUnknown>;
+        artifacts: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+        callsUsed: z.ZodOptional<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+    innerObservationsOmitted: z.ZodNumber;
+    innerCheckpoint: z.ZodOptional<z.ZodObject<{
+        at: z.ZodNumber;
+        planVersion: z.ZodNumber;
+        gitHead: z.ZodOptional<z.ZodString>;
+        fileHashes: z.ZodRecord<z.ZodString, z.ZodString>;
+        configHash: z.ZodOptional<z.ZodString>;
+        skillVersions: z.ZodRecord<z.ZodString, z.ZodString>;
+        completedSteps: z.ZodArray<z.ZodString, "many">;
+        mcpTools: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        at: z.ZodNumber;
+        planVersion: z.ZodNumber;
+        gitHead: z.ZodOptional<z.ZodString>;
+        fileHashes: z.ZodRecord<z.ZodString, z.ZodString>;
+        configHash: z.ZodOptional<z.ZodString>;
+        skillVersions: z.ZodRecord<z.ZodString, z.ZodString>;
+        completedSteps: z.ZodArray<z.ZodString, "many">;
+        mcpTools: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        at: z.ZodNumber;
+        planVersion: z.ZodNumber;
+        gitHead: z.ZodOptional<z.ZodString>;
+        fileHashes: z.ZodRecord<z.ZodString, z.ZodString>;
+        configHash: z.ZodOptional<z.ZodString>;
+        skillVersions: z.ZodRecord<z.ZodString, z.ZodString>;
+        completedSteps: z.ZodArray<z.ZodString, "many">;
+        mcpTools: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>;
+    pendingInner: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodLiteral<"clarification">;
+        question: z.ZodString;
+        at: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        at: number;
+        kind: "clarification";
+        question: string;
+    }, {
+        at: number;
+        kind: "clarification";
+        question: string;
+    }>>;
+    innerSteps: z.ZodObject<{
+        total: z.ZodNumber;
+        succeeded: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        succeeded: number;
+        total: number;
+    }, {
+        succeeded: number;
+        total: number;
+    }>;
+    callsReserved: z.ZodNumber;
+    callsUsed: z.ZodNumber;
+    callsRefunded: z.ZodNumber;
+    toolCallsUsed: z.ZodNumber;
+    findings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        agentId: z.ZodString;
+        agentTaskId: z.ZodString;
+        type: z.ZodString;
+        subject: z.ZodOptional<z.ZodString>;
+        claim: z.ZodString;
+        verdict: z.ZodOptional<z.ZodString>;
+        executionCoverage: z.ZodNumber;
+        confidence: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        artifacts: z.ZodArray<z.ZodUnknown, "many">;
+        sourceSteps: z.ZodArray<z.ZodString, "many">;
+        provenance: z.ZodObject<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">>;
+        status: z.ZodEnum<["active", "superseded", "contradicted"]>;
+        supersededBy: z.ZodOptional<z.ZodString>;
+        createdAt: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        id: z.ZodString;
+        agentId: z.ZodString;
+        agentTaskId: z.ZodString;
+        type: z.ZodString;
+        subject: z.ZodOptional<z.ZodString>;
+        claim: z.ZodString;
+        verdict: z.ZodOptional<z.ZodString>;
+        executionCoverage: z.ZodNumber;
+        confidence: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        artifacts: z.ZodArray<z.ZodUnknown, "many">;
+        sourceSteps: z.ZodArray<z.ZodString, "many">;
+        provenance: z.ZodObject<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">>;
+        status: z.ZodEnum<["active", "superseded", "contradicted"]>;
+        supersededBy: z.ZodOptional<z.ZodString>;
+        createdAt: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        id: z.ZodString;
+        agentId: z.ZodString;
+        agentTaskId: z.ZodString;
+        type: z.ZodString;
+        subject: z.ZodOptional<z.ZodString>;
+        claim: z.ZodString;
+        verdict: z.ZodOptional<z.ZodString>;
+        executionCoverage: z.ZodNumber;
+        confidence: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        artifacts: z.ZodArray<z.ZodUnknown, "many">;
+        sourceSteps: z.ZodArray<z.ZodString, "many">;
+        provenance: z.ZodObject<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">>;
+        status: z.ZodEnum<["active", "superseded", "contradicted"]>;
+        supersededBy: z.ZodOptional<z.ZodString>;
+        createdAt: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+    diagnostics: z.ZodArray<z.ZodUnknown, "many">;
+    failure: z.ZodOptional<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        code: z.ZodString;
+        message: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        code: z.ZodString;
+        message: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, "strict", z.ZodTypeAny, {
+    v: 1;
+    state: "running" | "failed" | "completed" | "waiting_for_clarification" | "cancelled" | "paused" | "waiting_for_input" | "created" | "queued";
+    createdAt: number;
+    updatedAt: number;
+    stepId: string;
+    agentTaskId: string;
+    callsUsed: number;
+    envelopeHash: string;
+    agentId: string;
+    provenance: {
+        planVersion: number;
+        executionId?: string | undefined;
+    };
+    agentDefHash: string;
+    stepInputHash: string;
+    attempt: number;
+    innerCompletedSteps: string[];
+    innerObservations: z.objectOutputType<{
+        stepId: z.ZodString;
+        skill: z.ZodOptional<z.ZodString>;
+        tool: z.ZodOptional<z.ZodString>;
+        agent: z.ZodOptional<z.ZodString>;
+        agentTaskId: z.ZodOptional<z.ZodString>;
+        ok: z.ZodBoolean;
+        output: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        code: z.ZodOptional<z.ZodString>;
+        data: z.ZodOptional<z.ZodUnknown>;
+        artifacts: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+        callsUsed: z.ZodOptional<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">[];
+    innerObservationsOmitted: number;
+    innerSteps: {
+        succeeded: number;
+        total: number;
+    };
+    callsReserved: number;
+    callsRefunded: number;
+    toolCallsUsed: number;
+    findings: z.objectOutputType<{
+        id: z.ZodString;
+        agentId: z.ZodString;
+        agentTaskId: z.ZodString;
+        type: z.ZodString;
+        subject: z.ZodOptional<z.ZodString>;
+        claim: z.ZodString;
+        verdict: z.ZodOptional<z.ZodString>;
+        executionCoverage: z.ZodNumber;
+        confidence: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        artifacts: z.ZodArray<z.ZodUnknown, "many">;
+        sourceSteps: z.ZodArray<z.ZodString, "many">;
+        provenance: z.ZodObject<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">>;
+        status: z.ZodEnum<["active", "superseded", "contradicted"]>;
+        supersededBy: z.ZodOptional<z.ZodString>;
+        createdAt: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">[];
+    diagnostics: unknown[];
+    innerPlan?: {
+        id: string;
+        version: number;
+        steps: {
+            status: "pending" | "running" | "succeeded" | "failed" | "skipped";
+            id: string;
+            description: string;
+            input?: unknown;
+            agent?: string | undefined;
+            skill?: string | undefined;
+            tool?: string | undefined;
+            motivatedBy?: string[] | undefined;
+            dependsOn?: string[] | undefined;
+        }[];
+        goal: string;
+        reason?: string | undefined;
+    } | undefined;
+    startedAt?: number | undefined;
+    endedAt?: number | undefined;
+    interruption?: {
+        at: number;
+        kind: "pause" | "crash" | "parent-cancel";
+        detail?: string | undefined;
+    } | undefined;
+    innerPlanVersion?: number | undefined;
+    innerCheckpoint?: z.objectOutputType<{
+        at: z.ZodNumber;
+        planVersion: z.ZodNumber;
+        gitHead: z.ZodOptional<z.ZodString>;
+        fileHashes: z.ZodRecord<z.ZodString, z.ZodString>;
+        configHash: z.ZodOptional<z.ZodString>;
+        skillVersions: z.ZodRecord<z.ZodString, z.ZodString>;
+        completedSteps: z.ZodArray<z.ZodString, "many">;
+        mcpTools: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+    pendingInner?: {
+        at: number;
+        kind: "clarification";
+        question: string;
+    } | undefined;
+    failure?: z.objectOutputType<{
+        code: z.ZodString;
+        message: z.ZodString;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+}, {
+    v: 1;
+    state: "running" | "failed" | "completed" | "waiting_for_clarification" | "cancelled" | "paused" | "waiting_for_input" | "created" | "queued";
+    createdAt: number;
+    updatedAt: number;
+    stepId: string;
+    agentTaskId: string;
+    callsUsed: number;
+    envelopeHash: string;
+    agentId: string;
+    provenance: {
+        planVersion: number;
+        executionId?: string | undefined;
+    };
+    agentDefHash: string;
+    stepInputHash: string;
+    attempt: number;
+    innerCompletedSteps: string[];
+    innerObservations: z.objectInputType<{
+        stepId: z.ZodString;
+        skill: z.ZodOptional<z.ZodString>;
+        tool: z.ZodOptional<z.ZodString>;
+        agent: z.ZodOptional<z.ZodString>;
+        agentTaskId: z.ZodOptional<z.ZodString>;
+        ok: z.ZodBoolean;
+        output: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        code: z.ZodOptional<z.ZodString>;
+        data: z.ZodOptional<z.ZodUnknown>;
+        artifacts: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+        callsUsed: z.ZodOptional<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">[];
+    innerObservationsOmitted: number;
+    innerSteps: {
+        succeeded: number;
+        total: number;
+    };
+    callsReserved: number;
+    callsRefunded: number;
+    toolCallsUsed: number;
+    findings: z.objectInputType<{
+        id: z.ZodString;
+        agentId: z.ZodString;
+        agentTaskId: z.ZodString;
+        type: z.ZodString;
+        subject: z.ZodOptional<z.ZodString>;
+        claim: z.ZodString;
+        verdict: z.ZodOptional<z.ZodString>;
+        executionCoverage: z.ZodNumber;
+        confidence: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            kind: z.ZodString;
+            ref: z.ZodOptional<z.ZodString>;
+            detail: z.ZodOptional<z.ZodString>;
+            stepId: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        artifacts: z.ZodArray<z.ZodUnknown, "many">;
+        sourceSteps: z.ZodArray<z.ZodString, "many">;
+        provenance: z.ZodObject<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            executionId: z.ZodOptional<z.ZodString>;
+            planVersion: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">>;
+        status: z.ZodEnum<["active", "superseded", "contradicted"]>;
+        supersededBy: z.ZodOptional<z.ZodString>;
+        createdAt: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">[];
+    diagnostics: unknown[];
+    innerPlan?: {
+        id: string;
+        version: number;
+        steps: {
+            status: "pending" | "running" | "succeeded" | "failed" | "skipped";
+            id: string;
+            description: string;
+            input?: unknown;
+            agent?: string | undefined;
+            skill?: string | undefined;
+            tool?: string | undefined;
+            motivatedBy?: string[] | undefined;
+            dependsOn?: string[] | undefined;
+        }[];
+        goal: string;
+        reason?: string | undefined;
+    } | undefined;
+    startedAt?: number | undefined;
+    endedAt?: number | undefined;
+    interruption?: {
+        at: number;
+        kind: "pause" | "crash" | "parent-cancel";
+        detail?: string | undefined;
+    } | undefined;
+    innerPlanVersion?: number | undefined;
+    innerCheckpoint?: z.objectInputType<{
+        at: z.ZodNumber;
+        planVersion: z.ZodNumber;
+        gitHead: z.ZodOptional<z.ZodString>;
+        fileHashes: z.ZodRecord<z.ZodString, z.ZodString>;
+        configHash: z.ZodOptional<z.ZodString>;
+        skillVersions: z.ZodRecord<z.ZodString, z.ZodString>;
+        completedSteps: z.ZodArray<z.ZodString, "many">;
+        mcpTools: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+    pendingInner?: {
+        at: number;
+        kind: "clarification";
+        question: string;
+    } | undefined;
+    failure?: z.objectInputType<{
+        code: z.ZodString;
+        message: z.ZodString;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+}>;
+export interface AgentTaskView {
+    tasks: AgentTaskRecord[];
+    /** Records that failed validation and were left out of the view (still on disk, untouched). */
+    dropped: number;
+}
+/**
+ * Validate the agent tasks on an execution. Pure: it reads, it never writes. Callers that then persist
+ * the execution are choosing to drop the unparseable records — reading alone never does.
+ */
+export declare function parseAgentTasks(exec: Pick<Execution, 'agentTasks'>): AgentTaskView;
+/** One task by id, validated — the lookup every resume path uses. */
+export declare function findAgentTask(exec: Pick<Execution, 'agentTasks'>, agentTaskId: string): AgentTaskRecord | undefined;