pulseed 0.5.4 → 0.6.1

package/dist/platform/corrections/memory-correction-ledger.d.ts

@@ -0,0 +1,656 @@
+import { z } from "zod";
+export declare const MemoryCorrectionTargetKindSchema: z.ZodEnum<["agent_memory", "soil_record", "runtime_evidence", "dream_checkpoint"]>;
+export type MemoryCorrectionTargetKind = z.infer<typeof MemoryCorrectionTargetKindSchema>;
+export declare const MemoryCorrectionKindSchema: z.ZodEnum<["corrected", "superseded", "retracted", "forgotten", "quarantined"]>;
+export type MemoryCorrectionKind = z.infer<typeof MemoryCorrectionKindSchema>;
+export declare const MemoryCorrectionActorSchema: z.ZodEnum<["user", "dream_lint", "runtime_verification", "manual_tool"]>;
+export type MemoryCorrectionActor = z.infer<typeof MemoryCorrectionActorSchema>;
+export declare const MemoryCorrectionAuditStatusSchema: z.ZodEnum<["active", "superseded", "disputed", "destructive_delete_requested"]>;
+export type MemoryCorrectionAuditStatus = z.infer<typeof MemoryCorrectionAuditStatusSchema>;
+export declare const MemoryCorrectionTargetRefSchema: z.ZodObject<{
+    kind: z.ZodEnum<["agent_memory", "soil_record", "runtime_evidence", "dream_checkpoint"]>;
+    id: z.ZodString;
+    scope: z.ZodOptional<z.ZodObject<{
+        goal_id: z.ZodOptional<z.ZodString>;
+        run_id: z.ZodOptional<z.ZodString>;
+        task_id: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        goal_id?: string | undefined;
+        task_id?: string | undefined;
+        run_id?: string | undefined;
+    }, {
+        goal_id?: string | undefined;
+        task_id?: string | undefined;
+        run_id?: string | undefined;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+    scope?: {
+        goal_id?: string | undefined;
+        task_id?: string | undefined;
+        run_id?: string | undefined;
+    } | undefined;
+}, {
+    id: string;
+    kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+    scope?: {
+        goal_id?: string | undefined;
+        task_id?: string | undefined;
+        run_id?: string | undefined;
+    } | undefined;
+}>;
+export type MemoryCorrectionTargetRef = z.infer<typeof MemoryCorrectionTargetRefSchema>;
+export declare const MemoryCorrectionProvenanceSchema: z.ZodObject<{
+    source: z.ZodEnum<["user", "dream_lint", "runtime_verification", "manual_tool"]>;
+    source_ref: z.ZodOptional<z.ZodString>;
+    evidence_ref: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    note: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+    confidence: number | null;
+    evidence_ref?: string | undefined;
+    source_ref?: string | undefined;
+    note?: string | undefined;
+}, {
+    source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+    confidence?: number | null | undefined;
+    evidence_ref?: string | undefined;
+    source_ref?: string | undefined;
+    note?: string | undefined;
+}>;
+export type MemoryCorrectionProvenance = z.infer<typeof MemoryCorrectionProvenanceSchema>;
+export declare const MemoryCorrectionAuditSchema: z.ZodObject<{
+    status: z.ZodDefault<z.ZodEnum<["active", "superseded", "disputed", "destructive_delete_requested"]>>;
+    retained_for_audit: z.ZodDefault<z.ZodBoolean>;
+    destructive_delete_approved_at: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+}, "strict", z.ZodTypeAny, {
+    status: "active" | "superseded" | "disputed" | "destructive_delete_requested";
+    retained_for_audit: boolean;
+    destructive_delete_approved_at: string | null;
+}, {
+    status?: "active" | "superseded" | "disputed" | "destructive_delete_requested" | undefined;
+    retained_for_audit?: boolean | undefined;
+    destructive_delete_approved_at?: string | null | undefined;
+}>;
+export type MemoryCorrectionAudit = z.infer<typeof MemoryCorrectionAuditSchema>;
+export declare const MemoryCorrectionEntrySchema: z.ZodObject<{
+    schema_version: z.ZodDefault<z.ZodLiteral<"memory-correction-entry-v1">>;
+    correction_id: z.ZodString;
+    target_ref: z.ZodObject<{
+        kind: z.ZodEnum<["agent_memory", "soil_record", "runtime_evidence", "dream_checkpoint"]>;
+        id: z.ZodString;
+        scope: z.ZodOptional<z.ZodObject<{
+            goal_id: z.ZodOptional<z.ZodString>;
+            run_id: z.ZodOptional<z.ZodString>;
+            task_id: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        }, {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    }, {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    }>;
+    correction_kind: z.ZodEnum<["corrected", "superseded", "retracted", "forgotten", "quarantined"]>;
+    replacement_ref: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        kind: z.ZodEnum<["agent_memory", "soil_record", "runtime_evidence", "dream_checkpoint"]>;
+        id: z.ZodString;
+        scope: z.ZodOptional<z.ZodObject<{
+            goal_id: z.ZodOptional<z.ZodString>;
+            run_id: z.ZodOptional<z.ZodString>;
+            task_id: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        }, {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    }, {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    }>>>;
+    actor: z.ZodEnum<["user", "dream_lint", "runtime_verification", "manual_tool"]>;
+    reason: z.ZodString;
+    created_at: z.ZodString;
+    provenance: z.ZodObject<{
+        source: z.ZodEnum<["user", "dream_lint", "runtime_verification", "manual_tool"]>;
+        source_ref: z.ZodOptional<z.ZodString>;
+        evidence_ref: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        note: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+        confidence: number | null;
+        evidence_ref?: string | undefined;
+        source_ref?: string | undefined;
+        note?: string | undefined;
+    }, {
+        source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+        confidence?: number | null | undefined;
+        evidence_ref?: string | undefined;
+        source_ref?: string | undefined;
+        note?: string | undefined;
+    }>;
+    audit: z.ZodDefault<z.ZodObject<{
+        status: z.ZodDefault<z.ZodEnum<["active", "superseded", "disputed", "destructive_delete_requested"]>>;
+        retained_for_audit: z.ZodDefault<z.ZodBoolean>;
+        destructive_delete_approved_at: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    }, "strict", z.ZodTypeAny, {
+        status: "active" | "superseded" | "disputed" | "destructive_delete_requested";
+        retained_for_audit: boolean;
+        destructive_delete_approved_at: string | null;
+    }, {
+        status?: "active" | "superseded" | "disputed" | "destructive_delete_requested" | undefined;
+        retained_for_audit?: boolean | undefined;
+        destructive_delete_approved_at?: string | null | undefined;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    created_at: string;
+    reason: string;
+    schema_version: "memory-correction-entry-v1";
+    provenance: {
+        source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+        confidence: number | null;
+        evidence_ref?: string | undefined;
+        source_ref?: string | undefined;
+        note?: string | undefined;
+    };
+    correction_id: string;
+    target_ref: {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    };
+    correction_kind: "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+    replacement_ref: {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    } | null;
+    actor: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+    audit: {
+        status: "active" | "superseded" | "disputed" | "destructive_delete_requested";
+        retained_for_audit: boolean;
+        destructive_delete_approved_at: string | null;
+    };
+}, {
+    created_at: string;
+    reason: string;
+    provenance: {
+        source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+        confidence?: number | null | undefined;
+        evidence_ref?: string | undefined;
+        source_ref?: string | undefined;
+        note?: string | undefined;
+    };
+    correction_id: string;
+    target_ref: {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    };
+    correction_kind: "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+    actor: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+    schema_version?: "memory-correction-entry-v1" | undefined;
+    replacement_ref?: {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    } | null | undefined;
+    audit?: {
+        status?: "active" | "superseded" | "disputed" | "destructive_delete_requested" | undefined;
+        retained_for_audit?: boolean | undefined;
+        destructive_delete_approved_at?: string | null | undefined;
+    } | undefined;
+}>;
+export type MemoryCorrectionEntry = z.infer<typeof MemoryCorrectionEntrySchema>;
+export type MemoryCorrectionEntryInput = z.input<typeof MemoryCorrectionEntrySchema>;
+export declare const MemoryCorrectionLedgerFileSchema: z.ZodObject<{
+    schema_version: z.ZodDefault<z.ZodLiteral<"memory-correction-ledger-v1">>;
+    generated_at: z.ZodString;
+    entries: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        schema_version: z.ZodDefault<z.ZodLiteral<"memory-correction-entry-v1">>;
+        correction_id: z.ZodString;
+        target_ref: z.ZodObject<{
+            kind: z.ZodEnum<["agent_memory", "soil_record", "runtime_evidence", "dream_checkpoint"]>;
+            id: z.ZodString;
+            scope: z.ZodOptional<z.ZodObject<{
+                goal_id: z.ZodOptional<z.ZodString>;
+                run_id: z.ZodOptional<z.ZodString>;
+                task_id: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            }, {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            }>>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        }, {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        }>;
+        correction_kind: z.ZodEnum<["corrected", "superseded", "retracted", "forgotten", "quarantined"]>;
+        replacement_ref: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            kind: z.ZodEnum<["agent_memory", "soil_record", "runtime_evidence", "dream_checkpoint"]>;
+            id: z.ZodString;
+            scope: z.ZodOptional<z.ZodObject<{
+                goal_id: z.ZodOptional<z.ZodString>;
+                run_id: z.ZodOptional<z.ZodString>;
+                task_id: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            }, {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            }>>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        }, {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        }>>>;
+        actor: z.ZodEnum<["user", "dream_lint", "runtime_verification", "manual_tool"]>;
+        reason: z.ZodString;
+        created_at: z.ZodString;
+        provenance: z.ZodObject<{
+            source: z.ZodEnum<["user", "dream_lint", "runtime_verification", "manual_tool"]>;
+            source_ref: z.ZodOptional<z.ZodString>;
+            evidence_ref: z.ZodOptional<z.ZodString>;
+            confidence: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            note: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+            confidence: number | null;
+            evidence_ref?: string | undefined;
+            source_ref?: string | undefined;
+            note?: string | undefined;
+        }, {
+            source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+            confidence?: number | null | undefined;
+            evidence_ref?: string | undefined;
+            source_ref?: string | undefined;
+            note?: string | undefined;
+        }>;
+        audit: z.ZodDefault<z.ZodObject<{
+            status: z.ZodDefault<z.ZodEnum<["active", "superseded", "disputed", "destructive_delete_requested"]>>;
+            retained_for_audit: z.ZodDefault<z.ZodBoolean>;
+            destructive_delete_approved_at: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        }, "strict", z.ZodTypeAny, {
+            status: "active" | "superseded" | "disputed" | "destructive_delete_requested";
+            retained_for_audit: boolean;
+            destructive_delete_approved_at: string | null;
+        }, {
+            status?: "active" | "superseded" | "disputed" | "destructive_delete_requested" | undefined;
+            retained_for_audit?: boolean | undefined;
+            destructive_delete_approved_at?: string | null | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        created_at: string;
+        reason: string;
+        schema_version: "memory-correction-entry-v1";
+        provenance: {
+            source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+            confidence: number | null;
+            evidence_ref?: string | undefined;
+            source_ref?: string | undefined;
+            note?: string | undefined;
+        };
+        correction_id: string;
+        target_ref: {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        };
+        correction_kind: "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+        replacement_ref: {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        } | null;
+        actor: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+        audit: {
+            status: "active" | "superseded" | "disputed" | "destructive_delete_requested";
+            retained_for_audit: boolean;
+            destructive_delete_approved_at: string | null;
+        };
+    }, {
+        created_at: string;
+        reason: string;
+        provenance: {
+            source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+            confidence?: number | null | undefined;
+            evidence_ref?: string | undefined;
+            source_ref?: string | undefined;
+            note?: string | undefined;
+        };
+        correction_id: string;
+        target_ref: {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        };
+        correction_kind: "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+        actor: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+        schema_version?: "memory-correction-entry-v1" | undefined;
+        replacement_ref?: {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        } | null | undefined;
+        audit?: {
+            status?: "active" | "superseded" | "disputed" | "destructive_delete_requested" | undefined;
+            retained_for_audit?: boolean | undefined;
+            destructive_delete_approved_at?: string | null | undefined;
+        } | undefined;
+    }>, "many">>;
+}, "strict", z.ZodTypeAny, {
+    entries: {
+        created_at: string;
+        reason: string;
+        schema_version: "memory-correction-entry-v1";
+        provenance: {
+            source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+            confidence: number | null;
+            evidence_ref?: string | undefined;
+            source_ref?: string | undefined;
+            note?: string | undefined;
+        };
+        correction_id: string;
+        target_ref: {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        };
+        correction_kind: "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+        replacement_ref: {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        } | null;
+        actor: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+        audit: {
+            status: "active" | "superseded" | "disputed" | "destructive_delete_requested";
+            retained_for_audit: boolean;
+            destructive_delete_approved_at: string | null;
+        };
+    }[];
+    generated_at: string;
+    schema_version: "memory-correction-ledger-v1";
+}, {
+    generated_at: string;
+    entries?: {
+        created_at: string;
+        reason: string;
+        provenance: {
+            source: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+            confidence?: number | null | undefined;
+            evidence_ref?: string | undefined;
+            source_ref?: string | undefined;
+            note?: string | undefined;
+        };
+        correction_id: string;
+        target_ref: {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        };
+        correction_kind: "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+        actor: "user" | "dream_lint" | "runtime_verification" | "manual_tool";
+        schema_version?: "memory-correction-entry-v1" | undefined;
+        replacement_ref?: {
+            id: string;
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        } | null | undefined;
+        audit?: {
+            status?: "active" | "superseded" | "disputed" | "destructive_delete_requested" | undefined;
+            retained_for_audit?: boolean | undefined;
+            destructive_delete_approved_at?: string | null | undefined;
+        } | undefined;
+    }[] | undefined;
+    schema_version?: "memory-correction-ledger-v1" | undefined;
+}>;
+export type MemoryCorrectionLedgerFile = z.infer<typeof MemoryCorrectionLedgerFileSchema>;
+export declare const MemoryCorrectionTargetStateSchema: z.ZodObject<{
+    target_ref: z.ZodObject<{
+        kind: z.ZodEnum<["agent_memory", "soil_record", "runtime_evidence", "dream_checkpoint"]>;
+        id: z.ZodString;
+        scope: z.ZodOptional<z.ZodObject<{
+            goal_id: z.ZodOptional<z.ZodString>;
+            run_id: z.ZodOptional<z.ZodString>;
+            task_id: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        }, {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    }, {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    }>;
+    status: z.ZodEnum<["active", "corrected", "superseded", "retracted", "forgotten", "quarantined"]>;
+    active: z.ZodBoolean;
+    latest_correction_id: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    replacement_ref: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        kind: z.ZodEnum<["agent_memory", "soil_record", "runtime_evidence", "dream_checkpoint"]>;
+        id: z.ZodString;
+        scope: z.ZodOptional<z.ZodObject<{
+            goal_id: z.ZodOptional<z.ZodString>;
+            run_id: z.ZodOptional<z.ZodString>;
+            task_id: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        }, {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    }, {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    }>>>;
+    retained_for_audit: z.ZodDefault<z.ZodBoolean>;
+    reason: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    updated_at: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+}, "strict", z.ZodTypeAny, {
+    status: "active" | "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+    active: boolean;
+    updated_at: string | null;
+    reason: string | null;
+    retained_for_audit: boolean;
+    target_ref: {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    };
+    replacement_ref: {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    } | null;
+    latest_correction_id: string | null;
+}, {
+    status: "active" | "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+    active: boolean;
+    target_ref: {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    };
+    updated_at?: string | null | undefined;
+    reason?: string | null | undefined;
+    retained_for_audit?: boolean | undefined;
+    replacement_ref?: {
+        id: string;
+        kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+        scope?: {
+            goal_id?: string | undefined;
+            task_id?: string | undefined;
+            run_id?: string | undefined;
+        } | undefined;
+    } | null | undefined;
+    latest_correction_id?: string | null | undefined;
+}>;
+export type MemoryCorrectionTargetState = z.infer<typeof MemoryCorrectionTargetStateSchema>;
+export declare function memoryCorrectionTargetKey(ref: MemoryCorrectionTargetRef): string;
+export declare function isMemoryCorrectionInactive(kind: MemoryCorrectionKind): boolean;
+export declare function summarizeMemoryCorrectionState(entries: MemoryCorrectionEntry[]): Record<string, MemoryCorrectionTargetState>;
+export declare function correctionStateForTarget(states: Record<string, MemoryCorrectionTargetState>, ref: MemoryCorrectionTargetRef): MemoryCorrectionTargetState;
+//# sourceMappingURL=memory-correction-ledger.d.ts.map

package/dist/platform/corrections/memory-correction-ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-correction-ledger.d.ts","sourceRoot":"","sources":["../../../src/platform/corrections/memory-correction-ledger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,gCAAgC,oFAK3C,CAAC;AACH,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAC;AAE1F,eAAO,MAAM,0BAA0B,iFAMrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,eAAO,MAAM,2BAA2B,0EAKtC,CAAC;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,eAAO,MAAM,iCAAiC,iFAK5C,CAAC;AACH,MAAM,MAAM,2BAA2B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iCAAiC,CAAC,CAAC;AAE5F,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQjC,CAAC;AACZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,+BAA+B,CAAC,CAAC;AAExF,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;EAMlC,CAAC;AACZ,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAC;AAE1F,eAAO,MAAM,2BAA2B;;;;;;;;;;;;EAI7B,CAAC;AACZ,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAW7B,CAAC;AACZ,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAChF,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAErF,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIlC,CAAC;AACZ,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAC;AAE1F,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASnC,CAAC;AACZ,MAAM,MAAM,2BAA2B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iCAAiC,CAAC,CAAC;AAU5F,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,yBAAyB,GAAG,MAAM,CAQhF;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,oBAAoB,GAAG,OAAO,CAE9E;AAED,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,qBAAqB,EAAE,GAC/B,MAAM,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAiB7C;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,2BAA2B,CAAC,EACnD,GAAG,EAAE,yBAAyB,GAC7B,2BAA2B,CAM7B"}