@roll-agent/runtime 0.7.0 → 0.8.0

package/dist/engine/compaction-checkpoint.d.ts

@@ -0,0 +1,3827 @@
+import { type ModelMessage } from "ai";
+import { z } from "zod";
+import type { ToolExecutionRecord } from "../tool-bridge/tool-execution-record.ts";
+import { createCompactionSemanticReminderProjection, type CompactionSemanticState } from "./compaction-semantic-state.ts";
+export declare const COMPACTION_CHECKPOINT_VERSION: 2;
+export declare const COMPACTION_CHECKPOINT_V1_VERSION: 1;
+export declare class UnsupportedCompactionCheckpointVersionError extends Error {
+    readonly checkpointVersion: number;
+    constructor(checkpointVersion: number);
+}
+export declare const COMPACTION_GOAL_STATUSES: readonly ["active", "interrupted", "unknown"];
+export declare const COMPACTION_SUMMARY_STATUSES: readonly ["valid", "fallback", "skipped"];
+export declare const COMPACTION_TRANSCRIPT_COMPLETENESS: readonly ["complete", "legacy_snapshot"];
+export declare const COMPACTION_SESSION_RECOVERABILITY: readonly ["live", "stale", "unavailable"];
+export declare const COMPACTION_TOOL_INTEGRITY_STATUSES: readonly ["valid", "sanitized", "invalid"];
+export declare const COMPACTION_TOOL_ANOMALY_KINDS: readonly ["orphan_result", "dangling_call", "duplicate_call", "duplicate_result", "record_without_call", "record_without_result", "result_without_record"];
+export declare const TRANSCRIPT_MESSAGE_PROVENANCES: readonly ["native", "legacy_snapshot"];
+export declare const compactionCheckpointIdSchema: z.ZodBranded<z.ZodString, "CompactionCheckpointId">;
+export type CompactionCheckpointId = z.infer<typeof compactionCheckpointIdSchema>;
+declare const compactionGoalSchema: z.ZodReadonly<z.ZodObject<{
+    verbatimRequest: z.ZodString;
+    sourceSequence: z.ZodNumber;
+    status: z.ZodEnum<["active", "interrupted", "unknown"]>;
+}, "strict", z.ZodTypeAny, {
+    status: "unknown" | "active" | "interrupted";
+    sourceSequence: number;
+    verbatimRequest: string;
+}, {
+    status: "unknown" | "active" | "interrupted";
+    sourceSequence: number;
+    verbatimRequest: string;
+}>>;
+declare const compactionConstraintSchema: z.ZodReadonly<z.ZodObject<{
+    quote: z.ZodString;
+    sourceSequence: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    sourceSequence: number;
+    quote: string;
+}, {
+    sourceSequence: number;
+    quote: string;
+}>>;
+declare const compactionResourceSchema: z.ZodReadonly<z.ZodObject<{
+    key: z.ZodString;
+    mode: z.ZodEnum<["read", "write"]>;
+    evidenceToolCallId: z.ZodString;
+    evidenceExecutionId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    mode: "read" | "write";
+    key: string;
+    evidenceToolCallId: string;
+    evidenceExecutionId: string;
+}, {
+    mode: "read" | "write";
+    key: string;
+    evidenceToolCallId: string;
+    evidenceExecutionId: string;
+}>>;
+declare const compactionToolStateSchema: z.ZodReadonly<z.ZodObject<{
+    countsByOutcome: z.ZodReadonly<z.ZodObject<{
+        success: z.ZodNumber;
+        user_rejected: z.ZodNumber;
+        policy_denied: z.ZodNumber;
+        invalid_input: z.ZodNumber;
+        cancelled: z.ZodNumber;
+        tool_failed: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        cancelled: number;
+        success: number;
+        user_rejected: number;
+        policy_denied: number;
+        invalid_input: number;
+        tool_failed: number;
+    }, {
+        cancelled: number;
+        success: number;
+        user_rejected: number;
+        policy_denied: number;
+        invalid_input: number;
+        tool_failed: number;
+    }>>;
+    recentRecords: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        executionId: z.ZodString;
+        sequence: z.ZodNumber;
+        toolCallId: z.ZodString;
+        agentName: z.ZodString;
+        toolName: z.ZodString;
+        outcome: z.ZodReadonly<z.ZodObject<{
+            kind: z.ZodEnum<["success", "user_rejected", "policy_denied", "invalid_input", "cancelled", "tool_failed"]>;
+            reason: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+            reason?: string | undefined;
+        }, {
+            kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+            reason?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        toolCallId: string;
+        toolName: string;
+        agentName: string;
+        outcome: Readonly<{
+            kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+            reason?: string | undefined;
+        }>;
+        sequence: number;
+        executionId: string;
+    }, {
+        toolCallId: string;
+        toolName: string;
+        agentName: string;
+        outcome: Readonly<{
+            kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+            reason?: string | undefined;
+        }>;
+        sequence: number;
+        executionId: string;
+    }>>, "many">;
+    integrityStatus: z.ZodEnum<["valid", "sanitized", "invalid"]>;
+    anomalies: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        kind: z.ZodEnum<["orphan_result", "dangling_call", "duplicate_call", "duplicate_result", "record_without_call", "record_without_result", "result_without_record"]>;
+        toolCallId: z.ZodString;
+        count: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        toolCallId: string;
+        kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+        count?: number | undefined;
+    }, {
+        toolCallId: string;
+        kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+        count?: number | undefined;
+    }>>, "many">;
+}, "strict", z.ZodTypeAny, {
+    countsByOutcome: Readonly<{
+        cancelled: number;
+        success: number;
+        user_rejected: number;
+        policy_denied: number;
+        invalid_input: number;
+        tool_failed: number;
+    }>;
+    recentRecords: Readonly<{
+        toolCallId: string;
+        toolName: string;
+        agentName: string;
+        outcome: Readonly<{
+            kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+            reason?: string | undefined;
+        }>;
+        sequence: number;
+        executionId: string;
+    }>[];
+    integrityStatus: "invalid" | "valid" | "sanitized";
+    anomalies: Readonly<{
+        toolCallId: string;
+        kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+        count?: number | undefined;
+    }>[];
+}, {
+    countsByOutcome: Readonly<{
+        cancelled: number;
+        success: number;
+        user_rejected: number;
+        policy_denied: number;
+        invalid_input: number;
+        tool_failed: number;
+    }>;
+    recentRecords: Readonly<{
+        toolCallId: string;
+        toolName: string;
+        agentName: string;
+        outcome: Readonly<{
+            kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+            reason?: string | undefined;
+        }>;
+        sequence: number;
+        executionId: string;
+    }>[];
+    integrityStatus: "invalid" | "valid" | "sanitized";
+    anomalies: Readonly<{
+        toolCallId: string;
+        kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+        count?: number | undefined;
+    }>[];
+}>>;
+declare const compactionRunningWorkSchema: z.ZodReadonly<z.ZodObject<{
+    managerInstanceId: z.ZodString;
+    sessionId: z.ZodNumber;
+    state: z.ZodEnum<["running", "draining", "stopping", "completed", "cleanup-failed"]>;
+    recoverability: z.ZodEnum<["live", "stale", "unavailable"]>;
+    commandPreview: z.ZodString;
+    workdir: z.ZodString;
+    observedAt: z.ZodString;
+    wallTimeMs: z.ZodOptional<z.ZodNumber>;
+    exitCode: z.ZodOptional<z.ZodNumber>;
+    terminationCause: z.ZodOptional<z.ZodString>;
+    cleanupError: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    workdir: string;
+    managerInstanceId: string;
+    sessionId: number;
+    state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+    recoverability: "live" | "stale" | "unavailable";
+    commandPreview: string;
+    observedAt: string;
+    terminationCause?: string | undefined;
+    wallTimeMs?: number | undefined;
+    exitCode?: number | undefined;
+    cleanupError?: string | undefined;
+}, {
+    workdir: string;
+    managerInstanceId: string;
+    sessionId: number;
+    state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+    recoverability: "live" | "stale" | "unavailable";
+    commandPreview: string;
+    observedAt: string;
+    terminationCause?: string | undefined;
+    wallTimeMs?: number | undefined;
+    exitCode?: number | undefined;
+    cleanupError?: string | undefined;
+}>>;
+declare const compactionContextSchema: z.ZodReadonly<z.ZodObject<{
+    cwd: z.ZodString;
+    stableRuleIds: z.ZodArray<z.ZodString, "many">;
+    systemPromptSha256: z.ZodOptional<z.ZodString>;
+    skills: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        name: z.ZodString;
+        source: z.ZodEnum<["agent", "project", "user", "config"]>;
+    }, "strict", z.ZodTypeAny, {
+        name: string;
+        source: "config" | "user" | "agent" | "project";
+    }, {
+        name: string;
+        source: "config" | "user" | "agent" | "project";
+    }>>, "many">;
+    explicitSkillNames: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    skills: Readonly<{
+        name: string;
+        source: "config" | "user" | "agent" | "project";
+    }>[];
+    cwd: string;
+    stableRuleIds: string[];
+    explicitSkillNames: string[];
+    systemPromptSha256?: string | undefined;
+}, {
+    skills: Readonly<{
+        name: string;
+        source: "config" | "user" | "agent" | "project";
+    }>[];
+    cwd: string;
+    stableRuleIds: string[];
+    explicitSkillNames: string[];
+    systemPromptSha256?: string | undefined;
+}>>;
+export declare const compactionTranscriptRangeSchema: z.ZodEffects<z.ZodObject<{
+    fromSequenceExclusive: z.ZodNumber;
+    throughSequence: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    fromSequenceExclusive: number;
+    throughSequence: number;
+}, {
+    fromSequenceExclusive: number;
+    throughSequence: number;
+}>, {
+    fromSequenceExclusive: number;
+    throughSequence: number;
+}, {
+    fromSequenceExclusive: number;
+    throughSequence: number;
+}>;
+declare const compactionTranscriptSchema: z.ZodReadonly<z.ZodObject<{
+    messages: z.ZodEffects<z.ZodObject<{
+        fromSequenceExclusive: z.ZodNumber;
+        throughSequence: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    }, {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    }>, {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    }, {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    }>;
+    toolExecutions: z.ZodEffects<z.ZodObject<{
+        fromSequenceExclusive: z.ZodNumber;
+        throughSequence: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    }, {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    }>, {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    }, {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    }>;
+    completeness: z.ZodEnum<["complete", "legacy_snapshot"]>;
+}, "strict", z.ZodTypeAny, {
+    messages: {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    };
+    toolExecutions: {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    };
+    completeness: "legacy_snapshot" | "complete";
+}, {
+    messages: {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    };
+    toolExecutions: {
+        fromSequenceExclusive: number;
+        throughSequence: number;
+    };
+    completeness: "legacy_snapshot" | "complete";
+}>>;
+export declare const compactionSemanticEvidenceWatermarksSchema: z.ZodReadonly<z.ZodObject<{
+    messagesThroughSequence: z.ZodNumber;
+    toolExecutionsThroughSequence: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    messagesThroughSequence: number;
+    toolExecutionsThroughSequence: number;
+}, {
+    messagesThroughSequence: number;
+    toolExecutionsThroughSequence: number;
+}>>;
+declare const compactionSummarySchema: z.ZodReadonly<z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+    status: z.ZodLiteral<"valid">;
+    digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    status: "valid";
+    digest: string;
+}, {
+    status: "valid";
+    digest: string;
+}>, z.ZodObject<{
+    status: z.ZodLiteral<"fallback">;
+    reason: z.ZodString;
+    lastValidCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+}, "strict", z.ZodTypeAny, {
+    status: "fallback";
+    reason: string;
+    lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+}, {
+    status: "fallback";
+    reason: string;
+    lastValidCheckpointId?: string | undefined;
+}>, z.ZodObject<{
+    status: z.ZodLiteral<"skipped">;
+    lastValidCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+}, "strict", z.ZodTypeAny, {
+    status: "skipped";
+    lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+}, {
+    status: "skipped";
+    lastValidCheckpointId?: string | undefined;
+}>]>>;
+export declare const compactionCheckpointDraftSchema: z.ZodReadonly<z.ZodObject<{
+    goal: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+        verbatimRequest: z.ZodString;
+        sourceSequence: z.ZodNumber;
+        status: z.ZodEnum<["active", "interrupted", "unknown"]>;
+    }, "strict", z.ZodTypeAny, {
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }, {
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }>>>;
+    constraints: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        quote: z.ZodString;
+        sourceSequence: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        sourceSequence: number;
+        quote: string;
+    }, {
+        sourceSequence: number;
+        quote: string;
+    }>>, "many">;
+    resources: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        key: z.ZodString;
+        mode: z.ZodEnum<["read", "write"]>;
+        evidenceToolCallId: z.ZodString;
+        evidenceExecutionId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }, {
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>>, "many">;
+    toolState: z.ZodReadonly<z.ZodObject<{
+        countsByOutcome: z.ZodReadonly<z.ZodObject<{
+            success: z.ZodNumber;
+            user_rejected: z.ZodNumber;
+            policy_denied: z.ZodNumber;
+            invalid_input: z.ZodNumber;
+            cancelled: z.ZodNumber;
+            tool_failed: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }, {
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>>;
+        recentRecords: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            executionId: z.ZodString;
+            sequence: z.ZodNumber;
+            toolCallId: z.ZodString;
+            agentName: z.ZodString;
+            toolName: z.ZodString;
+            outcome: z.ZodReadonly<z.ZodObject<{
+                kind: z.ZodEnum<["success", "user_rejected", "policy_denied", "invalid_input", "cancelled", "tool_failed"]>;
+                reason: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }, {
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>>;
+        }, "strict", z.ZodTypeAny, {
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }, {
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>>, "many">;
+        integrityStatus: z.ZodEnum<["valid", "sanitized", "invalid"]>;
+        anomalies: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            kind: z.ZodEnum<["orphan_result", "dangling_call", "duplicate_call", "duplicate_result", "record_without_call", "record_without_result", "result_without_record"]>;
+            toolCallId: z.ZodString;
+            count: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }, {
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }, {
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>>;
+    runningWork: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        managerInstanceId: z.ZodString;
+        sessionId: z.ZodNumber;
+        state: z.ZodEnum<["running", "draining", "stopping", "completed", "cleanup-failed"]>;
+        recoverability: z.ZodEnum<["live", "stale", "unavailable"]>;
+        commandPreview: z.ZodString;
+        workdir: z.ZodString;
+        observedAt: z.ZodString;
+        wallTimeMs: z.ZodOptional<z.ZodNumber>;
+        exitCode: z.ZodOptional<z.ZodNumber>;
+        terminationCause: z.ZodOptional<z.ZodString>;
+        cleanupError: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }, {
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>>, "many">;
+    context: z.ZodReadonly<z.ZodObject<{
+        cwd: z.ZodString;
+        stableRuleIds: z.ZodArray<z.ZodString, "many">;
+        systemPromptSha256: z.ZodOptional<z.ZodString>;
+        skills: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            name: z.ZodString;
+            source: z.ZodEnum<["agent", "project", "user", "config"]>;
+        }, "strict", z.ZodTypeAny, {
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }, {
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>>, "many">;
+        explicitSkillNames: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }, {
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>>;
+    summary: z.ZodReadonly<z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+        status: z.ZodLiteral<"valid">;
+        digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        status: "valid";
+        digest: string;
+    }, {
+        status: "valid";
+        digest: string;
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"fallback">;
+        reason: z.ZodString;
+        lastValidCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }, {
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: string | undefined;
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"skipped">;
+        lastValidCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "skipped";
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }, {
+        status: "skipped";
+        lastValidCheckpointId?: string | undefined;
+    }>]>>;
+}, "strict", z.ZodTypeAny, {
+    context: Readonly<{
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>;
+    summary: Readonly<{
+        status: "valid";
+        digest: string;
+    }> | Readonly<{
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }> | Readonly<{
+        status: "skipped";
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }>;
+    resources: Readonly<{
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>[];
+    constraints: Readonly<{
+        sourceSequence: number;
+        quote: string;
+    }>[];
+    toolState: Readonly<{
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>;
+    runningWork: Readonly<{
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>[];
+    goal?: Readonly<{
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }> | undefined;
+}, {
+    context: Readonly<{
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>;
+    summary: Readonly<{
+        status: "valid";
+        digest: string;
+    }> | Readonly<{
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: string | undefined;
+    }> | Readonly<{
+        status: "skipped";
+        lastValidCheckpointId?: string | undefined;
+    }>;
+    resources: Readonly<{
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>[];
+    constraints: Readonly<{
+        sourceSequence: number;
+        quote: string;
+    }>[];
+    toolState: Readonly<{
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>;
+    runningWork: Readonly<{
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>[];
+    goal?: Readonly<{
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }> | undefined;
+}>>;
+export declare const compactionCheckpointV1Schema: z.ZodReadonly<z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    id: z.ZodBranded<z.ZodString, "CompactionCheckpointId">;
+    generation: z.ZodNumber;
+    previousCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+    createdAt: z.ZodString;
+    transcript: z.ZodReadonly<z.ZodObject<{
+        messages: z.ZodEffects<z.ZodObject<{
+            fromSequenceExclusive: z.ZodNumber;
+            throughSequence: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }>, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }>;
+        toolExecutions: z.ZodEffects<z.ZodObject<{
+            fromSequenceExclusive: z.ZodNumber;
+            throughSequence: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }>, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }>;
+        completeness: z.ZodEnum<["complete", "legacy_snapshot"]>;
+    }, "strict", z.ZodTypeAny, {
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }, {
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }>>;
+    goal: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+        verbatimRequest: z.ZodString;
+        sourceSequence: z.ZodNumber;
+        status: z.ZodEnum<["active", "interrupted", "unknown"]>;
+    }, "strict", z.ZodTypeAny, {
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }, {
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }>>>;
+    constraints: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        quote: z.ZodString;
+        sourceSequence: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        sourceSequence: number;
+        quote: string;
+    }, {
+        sourceSequence: number;
+        quote: string;
+    }>>, "many">;
+    resources: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        key: z.ZodString;
+        mode: z.ZodEnum<["read", "write"]>;
+        evidenceToolCallId: z.ZodString;
+        evidenceExecutionId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }, {
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>>, "many">;
+    toolState: z.ZodReadonly<z.ZodObject<{
+        countsByOutcome: z.ZodReadonly<z.ZodObject<{
+            success: z.ZodNumber;
+            user_rejected: z.ZodNumber;
+            policy_denied: z.ZodNumber;
+            invalid_input: z.ZodNumber;
+            cancelled: z.ZodNumber;
+            tool_failed: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }, {
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>>;
+        recentRecords: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            executionId: z.ZodString;
+            sequence: z.ZodNumber;
+            toolCallId: z.ZodString;
+            agentName: z.ZodString;
+            toolName: z.ZodString;
+            outcome: z.ZodReadonly<z.ZodObject<{
+                kind: z.ZodEnum<["success", "user_rejected", "policy_denied", "invalid_input", "cancelled", "tool_failed"]>;
+                reason: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }, {
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>>;
+        }, "strict", z.ZodTypeAny, {
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }, {
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>>, "many">;
+        integrityStatus: z.ZodEnum<["valid", "sanitized", "invalid"]>;
+        anomalies: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            kind: z.ZodEnum<["orphan_result", "dangling_call", "duplicate_call", "duplicate_result", "record_without_call", "record_without_result", "result_without_record"]>;
+            toolCallId: z.ZodString;
+            count: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }, {
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }, {
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>>;
+    runningWork: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        managerInstanceId: z.ZodString;
+        sessionId: z.ZodNumber;
+        state: z.ZodEnum<["running", "draining", "stopping", "completed", "cleanup-failed"]>;
+        recoverability: z.ZodEnum<["live", "stale", "unavailable"]>;
+        commandPreview: z.ZodString;
+        workdir: z.ZodString;
+        observedAt: z.ZodString;
+        wallTimeMs: z.ZodOptional<z.ZodNumber>;
+        exitCode: z.ZodOptional<z.ZodNumber>;
+        terminationCause: z.ZodOptional<z.ZodString>;
+        cleanupError: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }, {
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>>, "many">;
+    context: z.ZodReadonly<z.ZodObject<{
+        cwd: z.ZodString;
+        stableRuleIds: z.ZodArray<z.ZodString, "many">;
+        systemPromptSha256: z.ZodOptional<z.ZodString>;
+        skills: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            name: z.ZodString;
+            source: z.ZodEnum<["agent", "project", "user", "config"]>;
+        }, "strict", z.ZodTypeAny, {
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }, {
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>>, "many">;
+        explicitSkillNames: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }, {
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>>;
+    summary: z.ZodReadonly<z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+        status: z.ZodLiteral<"valid">;
+        digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        status: "valid";
+        digest: string;
+    }, {
+        status: "valid";
+        digest: string;
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"fallback">;
+        reason: z.ZodString;
+        lastValidCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }, {
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: string | undefined;
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"skipped">;
+        lastValidCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "skipped";
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }, {
+        status: "skipped";
+        lastValidCheckpointId?: string | undefined;
+    }>]>>;
+}, "strict", z.ZodTypeAny, {
+    version: 1;
+    createdAt: string;
+    id: string & z.BRAND<"CompactionCheckpointId">;
+    context: Readonly<{
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>;
+    summary: Readonly<{
+        status: "valid";
+        digest: string;
+    }> | Readonly<{
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }> | Readonly<{
+        status: "skipped";
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }>;
+    resources: Readonly<{
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>[];
+    constraints: Readonly<{
+        sourceSequence: number;
+        quote: string;
+    }>[];
+    toolState: Readonly<{
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>;
+    runningWork: Readonly<{
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>[];
+    generation: number;
+    transcript: Readonly<{
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }>;
+    goal?: Readonly<{
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }> | undefined;
+    previousCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+}, {
+    version: 1;
+    createdAt: string;
+    id: string;
+    context: Readonly<{
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>;
+    summary: Readonly<{
+        status: "valid";
+        digest: string;
+    }> | Readonly<{
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: string | undefined;
+    }> | Readonly<{
+        status: "skipped";
+        lastValidCheckpointId?: string | undefined;
+    }>;
+    resources: Readonly<{
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>[];
+    constraints: Readonly<{
+        sourceSequence: number;
+        quote: string;
+    }>[];
+    toolState: Readonly<{
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>;
+    runningWork: Readonly<{
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>[];
+    generation: number;
+    transcript: Readonly<{
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }>;
+    goal?: Readonly<{
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }> | undefined;
+    previousCheckpointId?: string | undefined;
+}>>;
+export declare const compactionCheckpointV2Schema: z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+    version: z.ZodLiteral<2>;
+    id: z.ZodBranded<z.ZodString, "CompactionCheckpointId">;
+    generation: z.ZodNumber;
+    previousCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+    createdAt: z.ZodString;
+    transcript: z.ZodReadonly<z.ZodObject<{
+        messages: z.ZodEffects<z.ZodObject<{
+            fromSequenceExclusive: z.ZodNumber;
+            throughSequence: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }>, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }>;
+        toolExecutions: z.ZodEffects<z.ZodObject<{
+            fromSequenceExclusive: z.ZodNumber;
+            throughSequence: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }>, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }, {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        }>;
+        completeness: z.ZodEnum<["complete", "legacy_snapshot"]>;
+    }, "strict", z.ZodTypeAny, {
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }, {
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }>>;
+    semanticState: z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+        version: z.ZodLiteral<1>;
+        goal: z.ZodNullable<z.ZodReadonly<z.ZodObject<{
+            id: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+            text: z.ZodString;
+            provenance: z.ZodArray<z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+                kind: z.ZodEnum<["message", "tool_execution", "resource", "running_session", "legacy_snapshot"]>;
+                messageSequence: z.ZodNullable<z.ZodNumber>;
+                toolExecutionId: z.ZodNullable<z.ZodString>;
+                resourceKey: z.ZodNullable<z.ZodString>;
+                managerInstanceId: z.ZodNullable<z.ZodString>;
+                sessionId: z.ZodNullable<z.ZodNumber>;
+                checkpointId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                snapshotIndex: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>>, "many">;
+            sourceQuotes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }, {
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>>>;
+        constraints: z.ZodDefault<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            id: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+            text: z.ZodString;
+            provenance: z.ZodArray<z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+                kind: z.ZodEnum<["message", "tool_execution", "resource", "running_session", "legacy_snapshot"]>;
+                messageSequence: z.ZodNullable<z.ZodNumber>;
+                toolExecutionId: z.ZodNullable<z.ZodString>;
+                resourceKey: z.ZodNullable<z.ZodString>;
+                managerInstanceId: z.ZodNullable<z.ZodString>;
+                sessionId: z.ZodNullable<z.ZodNumber>;
+                checkpointId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                snapshotIndex: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>>, "many">;
+            sourceQuotes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }, {
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>>, "many">>;
+        decisions: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            id: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+            text: z.ZodString;
+            provenance: z.ZodArray<z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+                kind: z.ZodEnum<["message", "tool_execution", "resource", "running_session", "legacy_snapshot"]>;
+                messageSequence: z.ZodNullable<z.ZodNumber>;
+                toolExecutionId: z.ZodNullable<z.ZodString>;
+                resourceKey: z.ZodNullable<z.ZodString>;
+                managerInstanceId: z.ZodNullable<z.ZodString>;
+                sessionId: z.ZodNullable<z.ZodNumber>;
+                checkpointId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                snapshotIndex: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>>, "many">;
+            sourceQuotes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }, {
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>>, "many">;
+        completedWork: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            id: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+            text: z.ZodString;
+            provenance: z.ZodArray<z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+                kind: z.ZodEnum<["message", "tool_execution", "resource", "running_session", "legacy_snapshot"]>;
+                messageSequence: z.ZodNullable<z.ZodNumber>;
+                toolExecutionId: z.ZodNullable<z.ZodString>;
+                resourceKey: z.ZodNullable<z.ZodString>;
+                managerInstanceId: z.ZodNullable<z.ZodString>;
+                sessionId: z.ZodNullable<z.ZodNumber>;
+                checkpointId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                snapshotIndex: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>>, "many">;
+            sourceQuotes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }, {
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>>, "many">;
+        pendingWork: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            id: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+            text: z.ZodString;
+            provenance: z.ZodArray<z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+                kind: z.ZodEnum<["message", "tool_execution", "resource", "running_session", "legacy_snapshot"]>;
+                messageSequence: z.ZodNullable<z.ZodNumber>;
+                toolExecutionId: z.ZodNullable<z.ZodString>;
+                resourceKey: z.ZodNullable<z.ZodString>;
+                managerInstanceId: z.ZodNullable<z.ZodString>;
+                sessionId: z.ZodNullable<z.ZodNumber>;
+                checkpointId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                snapshotIndex: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>>, "many">;
+            sourceQuotes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }, {
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>>, "many">;
+        resources: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            id: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+            resourceKey: z.ZodString;
+            provenance: z.ZodArray<z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+                kind: z.ZodEnum<["message", "tool_execution", "resource", "running_session", "legacy_snapshot"]>;
+                messageSequence: z.ZodNullable<z.ZodNumber>;
+                toolExecutionId: z.ZodNullable<z.ZodString>;
+                resourceKey: z.ZodNullable<z.ZodString>;
+                managerInstanceId: z.ZodNullable<z.ZodString>;
+                sessionId: z.ZodNullable<z.ZodNumber>;
+                checkpointId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                snapshotIndex: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }, {
+            id: string;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>>, "many">;
+        runningSessions: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            id: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+            managerInstanceId: z.ZodString;
+            sessionId: z.ZodNumber;
+            provenance: z.ZodArray<z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+                kind: z.ZodEnum<["message", "tool_execution", "resource", "running_session", "legacy_snapshot"]>;
+                messageSequence: z.ZodNullable<z.ZodNumber>;
+                toolExecutionId: z.ZodNullable<z.ZodString>;
+                resourceKey: z.ZodNullable<z.ZodString>;
+                managerInstanceId: z.ZodNullable<z.ZodString>;
+                sessionId: z.ZodNullable<z.ZodNumber>;
+                checkpointId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                snapshotIndex: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }, {
+            id: string;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>>, "many">;
+        uncertainties: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            id: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+            text: z.ZodString;
+            provenance: z.ZodArray<z.ZodReadonly<z.ZodEffects<z.ZodObject<{
+                kind: z.ZodEnum<["message", "tool_execution", "resource", "running_session", "legacy_snapshot"]>;
+                messageSequence: z.ZodNullable<z.ZodNumber>;
+                toolExecutionId: z.ZodNullable<z.ZodString>;
+                resourceKey: z.ZodNullable<z.ZodString>;
+                managerInstanceId: z.ZodNullable<z.ZodString>;
+                sessionId: z.ZodNullable<z.ZodNumber>;
+                checkpointId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                snapshotIndex: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }, {
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>>, "many">;
+            sourceQuotes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }, {
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>>, "many">;
+        prunedItemCounts: z.ZodDefault<z.ZodReadonly<z.ZodObject<{
+            constraint: z.ZodDefault<z.ZodNumber>;
+            decision: z.ZodNumber;
+            completed_work: z.ZodNumber;
+            pending_work: z.ZodNumber;
+            resource: z.ZodNumber;
+            running_session: z.ZodNumber;
+            uncertainty: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            resource: number;
+            running_session: number;
+            constraint: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+        }, {
+            resource: number;
+            running_session: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+            constraint?: number | undefined;
+        }>>>;
+    }, "strict", z.ZodTypeAny, {
+        version: 1;
+        resources: Readonly<{
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        goal: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }> | null;
+        constraints: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        decisions: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        completedWork: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        pendingWork: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        runningSessions: Readonly<{
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        uncertainties: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        prunedItemCounts: Readonly<{
+            resource: number;
+            running_session: number;
+            constraint: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+        }>;
+    }, {
+        version: 1;
+        resources: Readonly<{
+            id: string;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>[];
+        goal: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }> | null;
+        decisions: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        completedWork: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        pendingWork: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        runningSessions: Readonly<{
+            id: string;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>[];
+        uncertainties: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        constraints?: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[] | undefined;
+        prunedItemCounts?: Readonly<{
+            resource: number;
+            running_session: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+            constraint?: number | undefined;
+        }> | undefined;
+    }>, {
+        version: 1;
+        resources: Readonly<{
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        goal: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }> | null;
+        constraints: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        decisions: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        completedWork: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        pendingWork: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        runningSessions: Readonly<{
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        uncertainties: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        prunedItemCounts: Readonly<{
+            resource: number;
+            running_session: number;
+            constraint: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+        }>;
+    }, {
+        version: 1;
+        resources: Readonly<{
+            id: string;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>[];
+        goal: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }> | null;
+        decisions: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        completedWork: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        pendingWork: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        runningSessions: Readonly<{
+            id: string;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>[];
+        uncertainties: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        constraints?: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[] | undefined;
+        prunedItemCounts?: Readonly<{
+            resource: number;
+            running_session: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+            constraint?: number | undefined;
+        }> | undefined;
+    }>>;
+    semanticEvidence: z.ZodDefault<z.ZodReadonly<z.ZodObject<{
+        messagesThroughSequence: z.ZodNumber;
+        toolExecutionsThroughSequence: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        messagesThroughSequence: number;
+        toolExecutionsThroughSequence: number;
+    }, {
+        messagesThroughSequence: number;
+        toolExecutionsThroughSequence: number;
+    }>>>;
+    goal: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+        verbatimRequest: z.ZodString;
+        sourceSequence: z.ZodNumber;
+        status: z.ZodEnum<["active", "interrupted", "unknown"]>;
+    }, "strict", z.ZodTypeAny, {
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }, {
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }>>>;
+    constraints: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        quote: z.ZodString;
+        sourceSequence: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        sourceSequence: number;
+        quote: string;
+    }, {
+        sourceSequence: number;
+        quote: string;
+    }>>, "many">;
+    resources: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        key: z.ZodString;
+        mode: z.ZodEnum<["read", "write"]>;
+        evidenceToolCallId: z.ZodString;
+        evidenceExecutionId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }, {
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>>, "many">;
+    toolState: z.ZodReadonly<z.ZodObject<{
+        countsByOutcome: z.ZodReadonly<z.ZodObject<{
+            success: z.ZodNumber;
+            user_rejected: z.ZodNumber;
+            policy_denied: z.ZodNumber;
+            invalid_input: z.ZodNumber;
+            cancelled: z.ZodNumber;
+            tool_failed: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }, {
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>>;
+        recentRecords: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            executionId: z.ZodString;
+            sequence: z.ZodNumber;
+            toolCallId: z.ZodString;
+            agentName: z.ZodString;
+            toolName: z.ZodString;
+            outcome: z.ZodReadonly<z.ZodObject<{
+                kind: z.ZodEnum<["success", "user_rejected", "policy_denied", "invalid_input", "cancelled", "tool_failed"]>;
+                reason: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }, {
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>>;
+        }, "strict", z.ZodTypeAny, {
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }, {
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>>, "many">;
+        integrityStatus: z.ZodEnum<["valid", "sanitized", "invalid"]>;
+        anomalies: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            kind: z.ZodEnum<["orphan_result", "dangling_call", "duplicate_call", "duplicate_result", "record_without_call", "record_without_result", "result_without_record"]>;
+            toolCallId: z.ZodString;
+            count: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }, {
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }, {
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>>;
+    runningWork: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        managerInstanceId: z.ZodString;
+        sessionId: z.ZodNumber;
+        state: z.ZodEnum<["running", "draining", "stopping", "completed", "cleanup-failed"]>;
+        recoverability: z.ZodEnum<["live", "stale", "unavailable"]>;
+        commandPreview: z.ZodString;
+        workdir: z.ZodString;
+        observedAt: z.ZodString;
+        wallTimeMs: z.ZodOptional<z.ZodNumber>;
+        exitCode: z.ZodOptional<z.ZodNumber>;
+        terminationCause: z.ZodOptional<z.ZodString>;
+        cleanupError: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }, {
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>>, "many">;
+    context: z.ZodReadonly<z.ZodObject<{
+        cwd: z.ZodString;
+        stableRuleIds: z.ZodArray<z.ZodString, "many">;
+        systemPromptSha256: z.ZodOptional<z.ZodString>;
+        skills: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            name: z.ZodString;
+            source: z.ZodEnum<["agent", "project", "user", "config"]>;
+        }, "strict", z.ZodTypeAny, {
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }, {
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>>, "many">;
+        explicitSkillNames: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }, {
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>>;
+    summary: z.ZodReadonly<z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+        status: z.ZodLiteral<"valid">;
+        digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        status: "valid";
+        digest: string;
+    }, {
+        status: "valid";
+        digest: string;
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"fallback">;
+        reason: z.ZodString;
+        lastValidCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }, {
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: string | undefined;
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"skipped">;
+        lastValidCheckpointId: z.ZodOptional<z.ZodBranded<z.ZodString, "CompactionCheckpointId">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "skipped";
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }, {
+        status: "skipped";
+        lastValidCheckpointId?: string | undefined;
+    }>]>>;
+}, "strict", z.ZodTypeAny, {
+    version: 2;
+    createdAt: string;
+    id: string & z.BRAND<"CompactionCheckpointId">;
+    context: Readonly<{
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>;
+    summary: Readonly<{
+        status: "valid";
+        digest: string;
+    }> | Readonly<{
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }> | Readonly<{
+        status: "skipped";
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }>;
+    resources: Readonly<{
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>[];
+    constraints: Readonly<{
+        sourceSequence: number;
+        quote: string;
+    }>[];
+    toolState: Readonly<{
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>;
+    runningWork: Readonly<{
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>[];
+    generation: number;
+    transcript: Readonly<{
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }>;
+    semanticState: Readonly<{
+        version: 1;
+        resources: Readonly<{
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        goal: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }> | null;
+        constraints: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        decisions: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        completedWork: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        pendingWork: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        runningSessions: Readonly<{
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        uncertainties: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        prunedItemCounts: Readonly<{
+            resource: number;
+            running_session: number;
+            constraint: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+        }>;
+    }>;
+    semanticEvidence: Readonly<{
+        messagesThroughSequence: number;
+        toolExecutionsThroughSequence: number;
+    }>;
+    goal?: Readonly<{
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }> | undefined;
+    previousCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+}, {
+    version: 2;
+    createdAt: string;
+    id: string;
+    context: Readonly<{
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>;
+    summary: Readonly<{
+        status: "valid";
+        digest: string;
+    }> | Readonly<{
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: string | undefined;
+    }> | Readonly<{
+        status: "skipped";
+        lastValidCheckpointId?: string | undefined;
+    }>;
+    resources: Readonly<{
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>[];
+    constraints: Readonly<{
+        sourceSequence: number;
+        quote: string;
+    }>[];
+    toolState: Readonly<{
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>;
+    runningWork: Readonly<{
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>[];
+    generation: number;
+    transcript: Readonly<{
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }>;
+    semanticState: Readonly<{
+        version: 1;
+        resources: Readonly<{
+            id: string;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>[];
+        goal: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }> | null;
+        decisions: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        completedWork: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        pendingWork: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        runningSessions: Readonly<{
+            id: string;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>[];
+        uncertainties: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        constraints?: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[] | undefined;
+        prunedItemCounts?: Readonly<{
+            resource: number;
+            running_session: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+            constraint?: number | undefined;
+        }> | undefined;
+    }>;
+    goal?: Readonly<{
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }> | undefined;
+    previousCheckpointId?: string | undefined;
+    semanticEvidence?: Readonly<{
+        messagesThroughSequence: number;
+        toolExecutionsThroughSequence: number;
+    }> | undefined;
+}>, {
+    version: 2;
+    createdAt: string;
+    id: string & z.BRAND<"CompactionCheckpointId">;
+    context: Readonly<{
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>;
+    summary: Readonly<{
+        status: "valid";
+        digest: string;
+    }> | Readonly<{
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }> | Readonly<{
+        status: "skipped";
+        lastValidCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+    }>;
+    resources: Readonly<{
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>[];
+    constraints: Readonly<{
+        sourceSequence: number;
+        quote: string;
+    }>[];
+    toolState: Readonly<{
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>;
+    runningWork: Readonly<{
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>[];
+    generation: number;
+    transcript: Readonly<{
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }>;
+    semanticState: Readonly<{
+        version: 1;
+        resources: Readonly<{
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        goal: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }> | null;
+        constraints: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        decisions: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        completedWork: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        pendingWork: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        runningSessions: Readonly<{
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        uncertainties: Readonly<{
+            text: string;
+            id: string & z.BRAND<"CompactionSemanticItemId">;
+            sourceQuotes: string[];
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId: string | null;
+                snapshotIndex: number | null;
+            }>[];
+        }>[];
+        prunedItemCounts: Readonly<{
+            resource: number;
+            running_session: number;
+            constraint: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+        }>;
+    }>;
+    semanticEvidence: Readonly<{
+        messagesThroughSequence: number;
+        toolExecutionsThroughSequence: number;
+    }>;
+    goal?: Readonly<{
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }> | undefined;
+    previousCheckpointId?: (string & z.BRAND<"CompactionCheckpointId">) | undefined;
+}, {
+    version: 2;
+    createdAt: string;
+    id: string;
+    context: Readonly<{
+        skills: Readonly<{
+            name: string;
+            source: "config" | "user" | "agent" | "project";
+        }>[];
+        cwd: string;
+        stableRuleIds: string[];
+        explicitSkillNames: string[];
+        systemPromptSha256?: string | undefined;
+    }>;
+    summary: Readonly<{
+        status: "valid";
+        digest: string;
+    }> | Readonly<{
+        status: "fallback";
+        reason: string;
+        lastValidCheckpointId?: string | undefined;
+    }> | Readonly<{
+        status: "skipped";
+        lastValidCheckpointId?: string | undefined;
+    }>;
+    resources: Readonly<{
+        mode: "read" | "write";
+        key: string;
+        evidenceToolCallId: string;
+        evidenceExecutionId: string;
+    }>[];
+    constraints: Readonly<{
+        sourceSequence: number;
+        quote: string;
+    }>[];
+    toolState: Readonly<{
+        countsByOutcome: Readonly<{
+            cancelled: number;
+            success: number;
+            user_rejected: number;
+            policy_denied: number;
+            invalid_input: number;
+            tool_failed: number;
+        }>;
+        recentRecords: Readonly<{
+            toolCallId: string;
+            toolName: string;
+            agentName: string;
+            outcome: Readonly<{
+                kind: "cancelled" | "success" | "user_rejected" | "policy_denied" | "invalid_input" | "tool_failed";
+                reason?: string | undefined;
+            }>;
+            sequence: number;
+            executionId: string;
+        }>[];
+        integrityStatus: "invalid" | "valid" | "sanitized";
+        anomalies: Readonly<{
+            toolCallId: string;
+            kind: "orphan_result" | "dangling_call" | "duplicate_call" | "duplicate_result" | "record_without_call" | "record_without_result" | "result_without_record";
+            count?: number | undefined;
+        }>[];
+    }>;
+    runningWork: Readonly<{
+        workdir: string;
+        managerInstanceId: string;
+        sessionId: number;
+        state: "completed" | "running" | "draining" | "stopping" | "cleanup-failed";
+        recoverability: "live" | "stale" | "unavailable";
+        commandPreview: string;
+        observedAt: string;
+        terminationCause?: string | undefined;
+        wallTimeMs?: number | undefined;
+        exitCode?: number | undefined;
+        cleanupError?: string | undefined;
+    }>[];
+    generation: number;
+    transcript: Readonly<{
+        messages: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        toolExecutions: {
+            fromSequenceExclusive: number;
+            throughSequence: number;
+        };
+        completeness: "legacy_snapshot" | "complete";
+    }>;
+    semanticState: Readonly<{
+        version: 1;
+        resources: Readonly<{
+            id: string;
+            resourceKey: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>[];
+        goal: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }> | null;
+        decisions: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        completedWork: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        pendingWork: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        runningSessions: Readonly<{
+            id: string;
+            managerInstanceId: string;
+            sessionId: number;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+        }>[];
+        uncertainties: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[];
+        constraints?: Readonly<{
+            text: string;
+            id: string;
+            provenance: Readonly<{
+                kind: "resource" | "message" | "tool_execution" | "running_session" | "legacy_snapshot";
+                messageSequence: number | null;
+                toolExecutionId: string | null;
+                resourceKey: string | null;
+                managerInstanceId: string | null;
+                sessionId: number | null;
+                checkpointId?: string | null | undefined;
+                snapshotIndex?: number | null | undefined;
+            }>[];
+            sourceQuotes?: string[] | undefined;
+        }>[] | undefined;
+        prunedItemCounts?: Readonly<{
+            resource: number;
+            running_session: number;
+            decision: number;
+            completed_work: number;
+            pending_work: number;
+            uncertainty: number;
+            constraint?: number | undefined;
+        }> | undefined;
+    }>;
+    goal?: Readonly<{
+        status: "unknown" | "active" | "interrupted";
+        sourceSequence: number;
+        verbatimRequest: string;
+    }> | undefined;
+    previousCheckpointId?: string | undefined;
+    semanticEvidence?: Readonly<{
+        messagesThroughSequence: number;
+        toolExecutionsThroughSequence: number;
+    }> | undefined;
+}>>;
+export type CompactionGoal = z.infer<typeof compactionGoalSchema>;
+export type CompactionConstraint = z.infer<typeof compactionConstraintSchema>;
+export type CompactionResource = z.infer<typeof compactionResourceSchema>;
+export type CompactionToolState = z.infer<typeof compactionToolStateSchema>;
+export type CompactionRunningWork = z.infer<typeof compactionRunningWorkSchema>;
+export type CompactionContext = z.infer<typeof compactionContextSchema>;
+export type CompactionTranscriptRange = z.infer<typeof compactionTranscriptRangeSchema>;
+export type CompactionTranscript = z.infer<typeof compactionTranscriptSchema>;
+export type CompactionSemanticEvidenceWatermarks = z.infer<typeof compactionSemanticEvidenceWatermarksSchema>;
+export type CompactionSummary = z.infer<typeof compactionSummarySchema>;
+export type CompactionCheckpointDraft = z.infer<typeof compactionCheckpointDraftSchema>;
+export type CompactionCheckpointDraftInput = z.input<typeof compactionCheckpointDraftSchema>;
+export type CompactionCheckpointV1 = z.infer<typeof compactionCheckpointV1Schema>;
+export type CompactionCheckpointV2 = z.infer<typeof compactionCheckpointV2Schema>;
+export type CompactionCheckpoint = CompactionCheckpointV1 | CompactionCheckpointV2;
+export declare const archivedTranscriptMessageSchema: z.ZodReadonly<z.ZodObject<{
+    sequence: z.ZodNumber;
+    provenance: z.ZodEnum<["native", "legacy_snapshot"]>;
+    createdAt: z.ZodString;
+    message: z.ZodType<ModelMessage, z.ZodTypeDef, ModelMessage>;
+}, "strict", z.ZodTypeAny, {
+    createdAt: string;
+    message: ModelMessage;
+    provenance: "legacy_snapshot" | "native";
+    sequence: number;
+}, {
+    createdAt: string;
+    message: ModelMessage;
+    provenance: "legacy_snapshot" | "native";
+    sequence: number;
+}>>;
+export type ArchivedTranscriptMessage = z.infer<typeof archivedTranscriptMessageSchema>;
+export declare const compactionConstraintCandidateSchema: z.ZodReadonly<z.ZodObject<{
+    quote: z.ZodString;
+    sourceSequence: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    sourceSequence: number;
+    quote: string;
+}, {
+    sourceSequence: number;
+    quote: string;
+}>>;
+export type CompactionConstraintCandidate = z.infer<typeof compactionConstraintCandidateSchema>;
+export interface SequencedToolExecutionEvidence extends ToolExecutionRecord {
+    readonly sequence: number;
+}
+export interface CreateCompactionCheckpointInput {
+    readonly draft: CompactionCheckpointDraftInput;
+    readonly generation: number;
+    readonly transcript: CompactionTranscript;
+    readonly id?: string;
+    readonly previousCheckpointId?: string;
+    readonly createdAt?: string;
+    readonly semanticState?: CompactionSemanticState;
+    readonly semanticEvidence?: CompactionSemanticEvidenceWatermarks;
+}
+/** Uses the exact semantic budget applied by the production checkpoint reminder. */
+export declare function createCheckpointSemanticReminderProjection(state: CompactionSemanticState): ReturnType<typeof createCompactionSemanticReminderProjection>;
+export declare function createEmptyCompactionToolState(): CompactionToolState;
+export declare function buildCompactionToolState(evidenceMessages: readonly ModelMessage[], evidenceRecords: readonly SequencedToolExecutionEvidence[], recentLimit?: number, completeness?: CompactionTranscript["completeness"]): CompactionToolState;
+export declare function findLatestRealUserGoal(entries: readonly ArchivedTranscriptMessage[], status?: CompactionGoal["status"]): CompactionGoal | undefined;
+/**
+ * Extracts conservative, verbatim constraint clauses from persisted user transcript evidence.
+ * Every returned quote remains directly verifiable by sourceSequence; continuation-only turns
+ * and ordinary goal prose do not become constraints.
+ */
+export declare function extractExplicitCompactionConstraintCandidates(entries: readonly ArchivedTranscriptMessage[]): readonly CompactionConstraintCandidate[];
+/**
+ * Resolves the bounded set of currently-active explicit constraints.
+ *
+ * Priority is transcript sequence: a later assertion replaces an earlier assertion for the same
+ * normalized scope, while a later explicit allowance/revocation removes that scope. Matching is
+ * intentionally exact after directive/punctuation normalization; implicit paraphrases, synonyms,
+ * and cross-scope contradictions remain outside this deterministic Harness layer.
+ */
+export declare function resolveActiveCompactionConstraints(entries: readonly ArchivedTranscriptMessage[], previous?: readonly CompactionConstraint[]): readonly CompactionConstraint[];
+export declare function verifyCompactionConstraintCandidates(entries: readonly ArchivedTranscriptMessage[], candidates: readonly CompactionConstraintCandidate[], previous?: readonly CompactionConstraint[]): readonly CompactionConstraint[];
+export declare function createCompactionSummary(text: string | undefined): CompactionSummary;
+/**
+ * A non-authoritative quality hint for debug telemetry only. Recovery facts come
+ * from the structured checkpoint, Tool ledger and transcript evidence instead
+ * of language-specific words in the generated prose.
+ */
+export declare function compactionSummaryQualityAdvisory(text: string | undefined): string | undefined;
+export declare function createCompactionCheckpointDraft(input: CompactionCheckpointDraftInput): CompactionCheckpointDraft;
+export declare function createCompactionCheckpoint(input: CreateCompactionCheckpointInput): CompactionCheckpointV2;
+export declare function parseCompactionCheckpoint(value: unknown): CompactionCheckpoint;
+export declare function isCompactionCheckpoint(value: unknown): value is CompactionCheckpoint;
+export declare function buildCompactionCheckpointReminder(checkpoint: CompactionCheckpoint, currentManagerInstanceId?: string, transcriptToolId?: string): string;
+export {};