@roll-agent/runtime 0.7.0 → 0.8.0

package/dist/engine/compaction-semantic-state.d.ts

@@ -0,0 +1,1741 @@
+import { z } from "zod";
+export declare const COMPACTION_SEMANTIC_STATE_VERSION: 1;
+export declare const COMPACTION_PROVENANCE_KINDS: readonly ["message", "tool_execution", "resource", "running_session", "legacy_snapshot"];
+export declare const COMPACTION_SEMANTIC_ITEM_KINDS: readonly ["goal", "constraint", "decision", "completed_work", "pending_work", "resource", "running_session", "uncertainty"];
+export declare const legacyCompactionTranscriptFragmentsSchema: z.ZodReadonly<z.ZodArray<z.ZodString, "many">>;
+export type LegacyCompactionTranscriptFragments = z.infer<typeof legacyCompactionTranscriptFragmentsSchema>;
+export declare const compactionSemanticItemIdSchema: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+export type CompactionSemanticItemId = z.infer<typeof compactionSemanticItemIdSchema>;
+/**
+ * A single-object representation is deliberate: some structured-output providers
+ * cannot reliably emit discriminated unions. Every property is required and the
+ * kind-specific nullability invariant is checked after decoding.
+ */
+export declare const compactionProvenanceRefSchema: 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;
+}>>;
+export type CompactionProvenanceRef = z.infer<typeof compactionProvenanceRefSchema>;
+/**
+ * Provider-portable structured output contract. All object properties are
+ * required; goal is explicitly nullable and empty arrays mean "no candidate".
+ */
+export declare const compactionModelDraftSchema: z.ZodReadonly<z.ZodObject<{
+    startsNewGoalScope: z.ZodBoolean;
+    goal: z.ZodNullable<z.ZodReadonly<z.ZodObject<{
+        priorItemId: z.ZodNullable<z.ZodString>;
+        text: z.ZodString;
+        sourceEvidenceIds: z.ZodArray<z.ZodString, "many">;
+        sourceQuotes: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>>>;
+    constraints: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        priorItemId: z.ZodNullable<z.ZodString>;
+        text: z.ZodString;
+        sourceEvidenceIds: z.ZodArray<z.ZodString, "many">;
+        sourceQuotes: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>>, "many">;
+    decisions: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        priorItemId: z.ZodNullable<z.ZodString>;
+        text: z.ZodString;
+        sourceEvidenceIds: z.ZodArray<z.ZodString, "many">;
+        sourceQuotes: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>>, "many">;
+    completedWork: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        priorItemId: z.ZodNullable<z.ZodString>;
+        text: z.ZodString;
+        sourceEvidenceIds: z.ZodArray<z.ZodString, "many">;
+        sourceQuotes: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>>, "many">;
+    pendingWork: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        priorItemId: z.ZodNullable<z.ZodString>;
+        text: z.ZodString;
+        sourceEvidenceIds: z.ZodArray<z.ZodString, "many">;
+        sourceQuotes: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>>, "many">;
+    resources: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        priorItemId: z.ZodNullable<z.ZodString>;
+        sourceEvidenceIds: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+    }, {
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+    }>>, "many">;
+    runningSessions: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        priorItemId: z.ZodNullable<z.ZodString>;
+        sourceEvidenceIds: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+    }, {
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+    }>>, "many">;
+    uncertainties: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        priorItemId: z.ZodNullable<z.ZodString>;
+        text: z.ZodString;
+        sourceEvidenceIds: z.ZodArray<z.ZodString, "many">;
+        sourceQuotes: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }, {
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>>, "many">;
+    resolutions: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        targetItemId: z.ZodString;
+        targetCategory: z.ZodEnum<["constraint", "decision", "pending_work", "uncertainty"]>;
+        action: z.ZodEnum<["cancel", "supersede", "clarify", "revoke"]>;
+        reason: z.ZodString;
+        sourceEvidenceIds: z.ZodArray<z.ZodString, "many">;
+        sourceQuotes: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        action: "cancel" | "supersede" | "clarify" | "revoke";
+        reason: string;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+        targetItemId: string;
+        targetCategory: "constraint" | "decision" | "pending_work" | "uncertainty";
+    }, {
+        action: "cancel" | "supersede" | "clarify" | "revoke";
+        reason: string;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+        targetItemId: string;
+        targetCategory: "constraint" | "decision" | "pending_work" | "uncertainty";
+    }>>, "many">;
+    evidenceReviews: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        evidenceId: z.ZodString;
+        disposition: z.ZodEnum<["irrelevant", "uncertain"]>;
+        reason: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        reason: string;
+        evidenceId: string;
+        disposition: "irrelevant" | "uncertain";
+    }, {
+        reason: string;
+        evidenceId: string;
+        disposition: "irrelevant" | "uncertain";
+    }>>, "many">;
+}, "strict", z.ZodTypeAny, {
+    resources: Readonly<{
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+    }>[];
+    goal: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }> | null;
+    startsNewGoalScope: boolean;
+    constraints: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    decisions: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    completedWork: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    pendingWork: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    runningSessions: Readonly<{
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+    }>[];
+    uncertainties: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    resolutions: Readonly<{
+        action: "cancel" | "supersede" | "clarify" | "revoke";
+        reason: string;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+        targetItemId: string;
+        targetCategory: "constraint" | "decision" | "pending_work" | "uncertainty";
+    }>[];
+    evidenceReviews: Readonly<{
+        reason: string;
+        evidenceId: string;
+        disposition: "irrelevant" | "uncertain";
+    }>[];
+}, {
+    resources: Readonly<{
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+    }>[];
+    goal: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }> | null;
+    startsNewGoalScope: boolean;
+    constraints: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    decisions: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    completedWork: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    pendingWork: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    runningSessions: Readonly<{
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+    }>[];
+    uncertainties: Readonly<{
+        text: string;
+        priorItemId: string | null;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+    }>[];
+    resolutions: Readonly<{
+        action: "cancel" | "supersede" | "clarify" | "revoke";
+        reason: string;
+        sourceEvidenceIds: string[];
+        sourceQuotes: string[];
+        targetItemId: string;
+        targetCategory: "constraint" | "decision" | "pending_work" | "uncertainty";
+    }>[];
+    evidenceReviews: Readonly<{
+        reason: string;
+        evidenceId: string;
+        disposition: "irrelevant" | "uncertain";
+    }>[];
+}>>;
+export type CompactionModelDraft = z.infer<typeof compactionModelDraftSchema>;
+export declare function createEmptyCompactionModelDraft(): CompactionModelDraft;
+export declare const compactionSemanticStateSchema: 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;
+}>>;
+export type CompactionSemanticState = z.infer<typeof compactionSemanticStateSchema>;
+export type CompactionSemanticTextItem = CompactionSemanticState["decisions"][number];
+export type CompactionSemanticResource = CompactionSemanticState["resources"][number];
+export type CompactionSemanticRunningSession = CompactionSemanticState["runningSessions"][number];
+export declare const compactionSemanticReminderProjectionSchema: z.ZodReadonly<z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    items: z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        itemId: z.ZodBranded<z.ZodString, "CompactionSemanticItemId">;
+        category: z.ZodEnum<["goal", "constraint", "decision", "completed_work", "pending_work", "resource", "running_session", "uncertainty"]>;
+        text: z.ZodString;
+        sourceQuotes: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        text: string;
+        sourceQuotes: string[];
+        itemId: string & z.BRAND<"CompactionSemanticItemId">;
+        category: "resource" | "running_session" | "goal" | "constraint" | "decision" | "completed_work" | "pending_work" | "uncertainty";
+    }, {
+        text: string;
+        sourceQuotes: string[];
+        itemId: string;
+        category: "resource" | "running_session" | "goal" | "constraint" | "decision" | "completed_work" | "pending_work" | "uncertainty";
+    }>>, "many">;
+    omittedCounts: z.ZodReadonly<z.ZodObject<{
+        goal: z.ZodNumber;
+        constraint: 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;
+        goal: number;
+        constraint: number;
+        decision: number;
+        completed_work: number;
+        pending_work: number;
+        uncertainty: number;
+    }, {
+        resource: number;
+        running_session: number;
+        goal: number;
+        constraint: number;
+        decision: number;
+        completed_work: number;
+        pending_work: number;
+        uncertainty: number;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    version: 1;
+    items: Readonly<{
+        text: string;
+        sourceQuotes: string[];
+        itemId: string & z.BRAND<"CompactionSemanticItemId">;
+        category: "resource" | "running_session" | "goal" | "constraint" | "decision" | "completed_work" | "pending_work" | "uncertainty";
+    }>[];
+    omittedCounts: Readonly<{
+        resource: number;
+        running_session: number;
+        goal: number;
+        constraint: number;
+        decision: number;
+        completed_work: number;
+        pending_work: number;
+        uncertainty: number;
+    }>;
+}, {
+    version: 1;
+    items: Readonly<{
+        text: string;
+        sourceQuotes: string[];
+        itemId: string;
+        category: "resource" | "running_session" | "goal" | "constraint" | "decision" | "completed_work" | "pending_work" | "uncertainty";
+    }>[];
+    omittedCounts: Readonly<{
+        resource: number;
+        running_session: number;
+        goal: number;
+        constraint: number;
+        decision: number;
+        completed_work: number;
+        pending_work: number;
+        uncertainty: number;
+    }>;
+}>>;
+export type CompactionSemanticReminderProjection = z.infer<typeof compactionSemanticReminderProjectionSchema>;
+export interface CompactionSemanticResolution {
+    readonly targetItemId: CompactionSemanticItemId;
+    readonly targetCategory: "constraint" | "decision" | "pending_work" | "uncertainty";
+    readonly action: "cancel" | "supersede" | "clarify" | "revoke";
+    readonly reason: string;
+    readonly provenance: readonly CompactionProvenanceRef[];
+}
+export interface CompactionSemanticMessageEvidence {
+    readonly sequence: number;
+    readonly role?: string;
+    readonly summary: string;
+}
+export interface CompactionSemanticToolEvidence {
+    readonly id: string;
+    readonly agentName?: string;
+    readonly toolName?: string;
+    /** Bounded and redacted by the Harness before entering model context. */
+    readonly inputSummary?: string;
+    /** Bounded and redacted by the Harness before entering model context. */
+    readonly resultSummary?: string;
+    readonly outcome: {
+        readonly kind: string;
+    };
+}
+export interface CompactionSemanticResourceEvidence {
+    readonly key: string;
+    readonly mode?: string;
+}
+export interface CompactionSemanticRunningSessionEvidence {
+    readonly managerInstanceId: string;
+    readonly sessionId: number;
+    readonly state?: string;
+}
+export interface BuildCompactionSemanticEvidenceRegistryInput {
+    readonly messages: readonly CompactionSemanticMessageEvidence[];
+    readonly toolExecutions: readonly CompactionSemanticToolEvidence[];
+    readonly resources: readonly CompactionSemanticResourceEvidence[];
+    readonly runningSessions: readonly CompactionSemanticRunningSessionEvidence[];
+}
+export interface CompactionSemanticEvidenceRegistryEntry {
+    readonly evidenceId: string;
+    readonly summary: string;
+    readonly provenance: CompactionProvenanceRef;
+    readonly messageRole?: string;
+    readonly toolOutcomeKind?: string;
+}
+export type CompactionSemanticEvidenceRegistry = readonly CompactionSemanticEvidenceRegistryEntry[];
+export interface ValidateCompactionModelDraftInput {
+    readonly draft: unknown;
+    readonly evidenceRegistry: CompactionSemanticEvidenceRegistry;
+    readonly presentedEvidenceIds?: readonly string[];
+    readonly previousState?: CompactionSemanticState;
+    readonly harnessGoal?: {
+        readonly verbatimRequest: string;
+        readonly sourceSequence: number;
+    };
+}
+export interface MergeCompactionSemanticStateOptions {
+    /** Computed by the Harness from durable goal sourceSequence, never from model wording or IDs. */
+    readonly startsNewGoalScope: boolean;
+}
+export declare const COMPACTION_SEMANTIC_REJECTION_REASONS: readonly ["unknown_provenance", "missing_required_provenance", "completed_work_without_success_evidence", "resource_not_observed", "running_session_not_observed", "unknown_resolution_target", "resolution_target_category_mismatch", "invalid_resolution_action", "unsupported_source_quote", "unknown_evidence_review"];
+export interface CompactionSemanticRejection {
+    readonly category: "goal" | "constraint" | "decision" | "completed_work" | "pending_work" | "resource" | "running_session" | "uncertainty" | "resolution" | "evidence_review";
+    readonly index: number;
+    readonly reason: (typeof COMPACTION_SEMANTIC_REJECTION_REASONS)[number];
+}
+export interface ValidatedCompactionSemanticCandidate {
+    readonly state: CompactionSemanticState;
+    readonly resolutions: readonly CompactionSemanticResolution[];
+    readonly rejections: readonly CompactionSemanticRejection[];
+    readonly coveredEvidenceIds: readonly string[];
+    readonly startsNewGoalScope: boolean;
+}
+/** Builds opaque model-facing handles backed by exact Harness-owned facts. */
+export declare function buildCompactionSemanticEvidenceRegistry(input: BuildCompactionSemanticEvidenceRegistryInput): CompactionSemanticEvidenceRegistry;
+/** Renders opaque evidence handles in caller-provided priority order with a hard bound. */
+export declare function renderCompactionSemanticEvidenceRegistry(registry: CompactionSemanticEvidenceRegistry, maxChars?: number): string;
+export interface CompactionSemanticModelContext {
+    readonly prompt: string;
+    readonly includedEvidenceIds: readonly string[];
+}
+/** Returns both the bounded prompt and the exact evidence handles shown to the model. */
+export declare function buildCompactionSemanticModelContext(registry: CompactionSemanticEvidenceRegistry, previousState: CompactionSemanticState | undefined, maxChars?: number): CompactionSemanticModelContext;
+/** Includes prior stable IDs/text so the model can explicitly retain or resolve known items. */
+export declare function renderCompactionSemanticModelContext(registry: CompactionSemanticEvidenceRegistry, previousState: CompactionSemanticState | undefined, maxChars?: number): string;
+/**
+ * Validates a model-authored semantic candidate against Harness-owned evidence.
+ * Invalid individual claims are rejected without turning the remaining grounded
+ * candidate into an all-or-nothing failure.
+ */
+export declare function validateCompactionModelDraft(input: ValidateCompactionModelDraftInput): ValidatedCompactionSemanticCandidate;
+export declare function createEmptyCompactionSemanticState(): CompactionSemanticState;
+/** Seeds V1/top-level constraint evidence into the V2 semantic state without language heuristics. */
+export declare function seedCompactionSemanticConstraints(stateInput: CompactionSemanticState | undefined, constraints: readonly {
+    readonly quote: string;
+    readonly sourceSequence: number;
+}[]): CompactionSemanticState;
+export interface LegacyCompactionSnapshotMigrationResult {
+    readonly state: CompactionSemanticState;
+    /** Every migrated fragment must remain visible in the first V2 checkpoint reminder. */
+    readonly requiredItemIds: readonly CompactionSemanticItemId[];
+    /** Exact, redacted fragments that must be archived in transcript when V1 is retired. */
+    readonly transcriptFragments: LegacyCompactionTranscriptFragments;
+    /** False means at least one legacy snapshot chunk did not fit and its active prefix must stay. */
+    readonly complete: boolean;
+}
+/**
+ * Migrates an old active snapshot into low-confidence V2 state. It may only become uncertainty:
+ * legacy prose is not authoritative user intent or Tool completion evidence.
+ */
+export declare function seedLegacyCompactionSnapshotUncertainties(stateInput: CompactionSemanticState, input: {
+    readonly checkpointId: string;
+    readonly fragments: readonly string[];
+}): LegacyCompactionSnapshotMigrationResult;
+/** Deterministic truncate mode replaces only the constraint slice from verbatim user evidence. */
+export declare function replaceCompactionSemanticConstraints(stateInput: CompactionSemanticState, constraints: readonly {
+    readonly quote: string;
+    readonly sourceSequence: number;
+}[]): CompactionSemanticState;
+/** Deterministic truncate mode may advance the goal only from an exact persisted user request. */
+export declare function replaceCompactionSemanticGoal(stateInput: CompactionSemanticState, goal: {
+    readonly verbatimRequest: string;
+    readonly sourceSequence: number;
+} | undefined): CompactionSemanticState;
+/**
+ * Carries grounded state forward. Empty candidate arrays do not erase history;
+ * removal requires an evidence-grounded, category-specific explicit resolution.
+ */
+export declare function mergeCompactionSemanticState(previousInput: CompactionSemanticState | undefined, candidateInput: ValidatedCompactionSemanticCandidate, options: MergeCompactionSemanticStateOptions): CompactionSemanticState;
+/**
+ * Projects the durable semantic state into a bounded, structured prompt reminder.
+ * The complete state remains in the checkpoint and can be recovered through the
+ * transcript path; omitted counts make prompt truncation explicit to the model.
+ */
+export declare function createCompactionSemanticReminderProjection(stateInput: CompactionSemanticState, maxChars?: number): CompactionSemanticReminderProjection;
+/** Renders a deterministic, bounded presentation derived only from grounded state. */
+export declare function renderCompactionSemanticSummary(stateInput: CompactionSemanticState, maxChars?: number): string;