pulseed 0.6.0 → 0.6.2

package/dist/platform/knowledge/types/agent-memory.d.ts

@@ -1,7 +1,7 @@
 import { z } from "zod";
 export declare const AgentMemoryTypeEnum: z.ZodEnum<["fact", "procedure", "preference", "observation"]>;
 export type AgentMemoryType = z.infer<typeof AgentMemoryTypeEnum>;
-export declare const AgentMemoryStatusEnum: z.ZodEnum<["raw", "compiled", "archived"]>;
+export declare const AgentMemoryStatusEnum: z.ZodEnum<["raw", "compiled", "archived", "corrected", "superseded", "retracted", "forgotten", "quarantined"]>;
 export type AgentMemoryStatus = z.infer<typeof AgentMemoryStatusEnum>;
 export declare const AgentMemoryEntrySchema: z.ZodObject<{
     id: z.ZodString;
@@ -11,21 +11,331 @@ export declare const AgentMemoryEntrySchema: z.ZodObject<{
     tags: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     category: z.ZodOptional<z.ZodString>;
     memory_type: z.ZodDefault<z.ZodEnum<["fact", "procedure", "preference", "observation"]>>;
-    status: z.ZodDefault<z.ZodEnum<["raw", "compiled", "archived"]>>;
+    status: z.ZodDefault<z.ZodEnum<["raw", "compiled", "archived", "corrected", "superseded", "retracted", "forgotten", "quarantined"]>>;
+    correction_state: z.ZodOptional<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, {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        }, {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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, {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        }, {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        };
+        replacement_ref: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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?: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        } | null | undefined;
+        latest_correction_id?: string | null | undefined;
+    }>>;
+    verification_status: z.ZodOptional<z.ZodEnum<["unknown", "unverified", "verified", "contradicted", "suspicious"]>>;
+    provenance: z.ZodOptional<z.ZodObject<{
+        source_type: z.ZodDefault<z.ZodEnum<["user", "runtime", "tool", "web", "external", "imported", "unknown"]>>;
+        source_ref: z.ZodOptional<z.ZodString>;
+        raw_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        reliability: z.ZodOptional<z.ZodNumber>;
+        verification_status: z.ZodDefault<z.ZodEnum<["unknown", "unverified", "verified", "contradicted", "suspicious"]>>;
+        risk_signals: z.ZodDefault<z.ZodArray<z.ZodEnum<["hallucinated", "low_provenance", "contradiction", "prompt_injection_like", "unverified_external"]>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        source_type: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported";
+        raw_refs: string[];
+        verification_status: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious";
+        risk_signals: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[];
+        reliability?: number | undefined;
+        source_ref?: string | undefined;
+    }, {
+        reliability?: number | undefined;
+        source_type?: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported" | undefined;
+        source_ref?: string | undefined;
+        raw_refs?: string[] | undefined;
+        verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+        risk_signals?: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[] | undefined;
+    }>>;
+    quarantine_state: z.ZodOptional<z.ZodObject<{
+        status: z.ZodLiteral<"quarantined">;
+        active: z.ZodDefault<z.ZodLiteral<false>>;
+        reason: z.ZodString;
+        source: z.ZodDefault<z.ZodEnum<["memory_lint", "user", "runtime_verification", "system"]>>;
+        confidence: z.ZodNumber;
+        inspection_refs: z.ZodArray<z.ZodString, "many">;
+        created_at: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        status: "quarantined";
+        source: "system" | "user" | "runtime_verification" | "memory_lint";
+        active: false;
+        confidence: number;
+        created_at: string;
+        reason: string;
+        inspection_refs: string[];
+    }, {
+        status: "quarantined";
+        confidence: number;
+        created_at: string;
+        reason: string;
+        inspection_refs: string[];
+        source?: "system" | "user" | "runtime_verification" | "memory_lint" | undefined;
+        active?: false | undefined;
+    }>>;
+    governance: z.ZodDefault<z.ZodObject<{
+        sensitivity: z.ZodDefault<z.ZodEnum<["public", "local", "private", "secret"]>>;
+        consent: z.ZodDefault<z.ZodObject<{
+            scope_id: z.ZodDefault<z.ZodString>;
+            allowed_contexts: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            source_actor: z.ZodDefault<z.ZodString>;
+            collection_context: z.ZodDefault<z.ZodString>;
+            granted_at: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            scope_id: string;
+            allowed_contexts: string[];
+            source_actor: string;
+            collection_context: string;
+            granted_at?: string | undefined;
+        }, {
+            scope_id?: string | undefined;
+            allowed_contexts?: string[] | undefined;
+            source_actor?: string | undefined;
+            collection_context?: string | undefined;
+            granted_at?: string | undefined;
+        }>>;
+        retention: z.ZodDefault<z.ZodObject<{
+            policy_id: z.ZodDefault<z.ZodString>;
+            retain_until: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            review_after: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+            delete_requires_approval: z.ZodDefault<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            policy_id: string;
+            retain_until: string | null;
+            review_after: string | null;
+            delete_requires_approval: boolean;
+        }, {
+            policy_id?: string | undefined;
+            retain_until?: string | null | undefined;
+            review_after?: string | null | undefined;
+            delete_requires_approval?: boolean | undefined;
+        }>>;
+        export_visibility: z.ZodDefault<z.ZodEnum<["listed", "redacted", "hidden"]>>;
+        owner_ref: z.ZodDefault<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        sensitivity: "local" | "public" | "private" | "secret";
+        consent: {
+            scope_id: string;
+            allowed_contexts: string[];
+            source_actor: string;
+            collection_context: string;
+            granted_at?: string | undefined;
+        };
+        retention: {
+            policy_id: string;
+            retain_until: string | null;
+            review_after: string | null;
+            delete_requires_approval: boolean;
+        };
+        export_visibility: "listed" | "redacted" | "hidden";
+        owner_ref: string;
+    }, {
+        sensitivity?: "local" | "public" | "private" | "secret" | undefined;
+        consent?: {
+            scope_id?: string | undefined;
+            allowed_contexts?: string[] | undefined;
+            source_actor?: string | undefined;
+            collection_context?: string | undefined;
+            granted_at?: string | undefined;
+        } | undefined;
+        retention?: {
+            policy_id?: string | undefined;
+            retain_until?: string | null | undefined;
+            review_after?: string | null | undefined;
+            delete_requires_approval?: boolean | undefined;
+        } | undefined;
+        export_visibility?: "listed" | "redacted" | "hidden" | undefined;
+        owner_ref?: string | undefined;
+    }>>;
+    supersedes_memory_id: z.ZodOptional<z.ZodString>;
     compiled_from: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     created_at: z.ZodString;
     updated_at: z.ZodString;
 }, "strip", z.ZodTypeAny, {
     value: string;
-    status: "archived" | "raw" | "compiled";
+    status: "archived" | "superseded" | "raw" | "corrected" | "retracted" | "forgotten" | "quarantined" | "compiled";
     id: string;
     created_at: string;
     updated_at: string;
     tags: string[];
     key: string;
-    memory_type: "observation" | "fact" | "procedure" | "preference";
-    category?: string | undefined;
+    memory_type: "observation" | "preference" | "fact" | "procedure";
+    governance: {
+        sensitivity: "local" | "public" | "private" | "secret";
+        consent: {
+            scope_id: string;
+            allowed_contexts: string[];
+            source_actor: string;
+            collection_context: string;
+            granted_at?: string | undefined;
+        };
+        retention: {
+            policy_id: string;
+            retain_until: string | null;
+            review_after: string | null;
+            delete_requires_approval: boolean;
+        };
+        export_visibility: "listed" | "redacted" | "hidden";
+        owner_ref: string;
+    };
     summary?: string | undefined;
+    category?: string | undefined;
+    provenance?: {
+        source_type: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported";
+        raw_refs: string[];
+        verification_status: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious";
+        risk_signals: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[];
+        reliability?: number | undefined;
+        source_ref?: string | undefined;
+    } | undefined;
+    verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+    quarantine_state?: {
+        status: "quarantined";
+        source: "system" | "user" | "runtime_verification" | "memory_lint";
+        active: false;
+        confidence: number;
+        created_at: string;
+        reason: string;
+        inspection_refs: string[];
+    } | undefined;
+    correction_state?: {
+        status: "active" | "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+        active: boolean;
+        updated_at: string | null;
+        reason: string | null;
+        retained_for_audit: boolean;
+        target_ref: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        };
+        replacement_ref: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        } | null;
+        latest_correction_id: string | null;
+    } | undefined;
+    supersedes_memory_id?: string | undefined;
     compiled_from?: string[] | undefined;
 }, {
     value: string;
@@ -33,11 +343,74 @@ export declare const AgentMemoryEntrySchema: z.ZodObject<{
     created_at: string;
     updated_at: string;
     key: string;
-    status?: "archived" | "raw" | "compiled" | undefined;
+    status?: "archived" | "superseded" | "raw" | "corrected" | "retracted" | "forgotten" | "quarantined" | "compiled" | undefined;
+    summary?: string | undefined;
     category?: string | undefined;
     tags?: string[] | undefined;
-    summary?: string | undefined;
-    memory_type?: "observation" | "fact" | "procedure" | "preference" | undefined;
+    provenance?: {
+        reliability?: number | undefined;
+        source_type?: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported" | undefined;
+        source_ref?: string | undefined;
+        raw_refs?: string[] | undefined;
+        verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+        risk_signals?: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[] | undefined;
+    } | undefined;
+    verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+    quarantine_state?: {
+        status: "quarantined";
+        confidence: number;
+        created_at: string;
+        reason: string;
+        inspection_refs: string[];
+        source?: "system" | "user" | "runtime_verification" | "memory_lint" | undefined;
+        active?: false | undefined;
+    } | undefined;
+    correction_state?: {
+        status: "active" | "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+        active: boolean;
+        target_ref: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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?: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        } | null | undefined;
+        latest_correction_id?: string | null | undefined;
+    } | undefined;
+    memory_type?: "observation" | "preference" | "fact" | "procedure" | undefined;
+    governance?: {
+        sensitivity?: "local" | "public" | "private" | "secret" | undefined;
+        consent?: {
+            scope_id?: string | undefined;
+            allowed_contexts?: string[] | undefined;
+            source_actor?: string | undefined;
+            collection_context?: string | undefined;
+            granted_at?: string | undefined;
+        } | undefined;
+        retention?: {
+            policy_id?: string | undefined;
+            retain_until?: string | null | undefined;
+            review_after?: string | null | undefined;
+            delete_requires_approval?: boolean | undefined;
+        } | undefined;
+        export_visibility?: "listed" | "redacted" | "hidden" | undefined;
+        owner_ref?: string | undefined;
+    } | undefined;
+    supersedes_memory_id?: string | undefined;
     compiled_from?: string[] | undefined;
 }>;
 export type AgentMemoryEntry = z.infer<typeof AgentMemoryEntrySchema>;
@@ -50,21 +423,331 @@ export declare const AgentMemoryStoreSchema: z.ZodObject<{
         tags: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         category: z.ZodOptional<z.ZodString>;
         memory_type: z.ZodDefault<z.ZodEnum<["fact", "procedure", "preference", "observation"]>>;
-        status: z.ZodDefault<z.ZodEnum<["raw", "compiled", "archived"]>>;
+        status: z.ZodDefault<z.ZodEnum<["raw", "compiled", "archived", "corrected", "superseded", "retracted", "forgotten", "quarantined"]>>;
+        correction_state: z.ZodOptional<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, {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            }, {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                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, {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            }, {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                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: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            };
+            replacement_ref: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                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: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                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?: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            } | null | undefined;
+            latest_correction_id?: string | null | undefined;
+        }>>;
+        verification_status: z.ZodOptional<z.ZodEnum<["unknown", "unverified", "verified", "contradicted", "suspicious"]>>;
+        provenance: z.ZodOptional<z.ZodObject<{
+            source_type: z.ZodDefault<z.ZodEnum<["user", "runtime", "tool", "web", "external", "imported", "unknown"]>>;
+            source_ref: z.ZodOptional<z.ZodString>;
+            raw_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            reliability: z.ZodOptional<z.ZodNumber>;
+            verification_status: z.ZodDefault<z.ZodEnum<["unknown", "unverified", "verified", "contradicted", "suspicious"]>>;
+            risk_signals: z.ZodDefault<z.ZodArray<z.ZodEnum<["hallucinated", "low_provenance", "contradiction", "prompt_injection_like", "unverified_external"]>, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            source_type: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported";
+            raw_refs: string[];
+            verification_status: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious";
+            risk_signals: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[];
+            reliability?: number | undefined;
+            source_ref?: string | undefined;
+        }, {
+            reliability?: number | undefined;
+            source_type?: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported" | undefined;
+            source_ref?: string | undefined;
+            raw_refs?: string[] | undefined;
+            verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+            risk_signals?: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[] | undefined;
+        }>>;
+        quarantine_state: z.ZodOptional<z.ZodObject<{
+            status: z.ZodLiteral<"quarantined">;
+            active: z.ZodDefault<z.ZodLiteral<false>>;
+            reason: z.ZodString;
+            source: z.ZodDefault<z.ZodEnum<["memory_lint", "user", "runtime_verification", "system"]>>;
+            confidence: z.ZodNumber;
+            inspection_refs: z.ZodArray<z.ZodString, "many">;
+            created_at: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            status: "quarantined";
+            source: "system" | "user" | "runtime_verification" | "memory_lint";
+            active: false;
+            confidence: number;
+            created_at: string;
+            reason: string;
+            inspection_refs: string[];
+        }, {
+            status: "quarantined";
+            confidence: number;
+            created_at: string;
+            reason: string;
+            inspection_refs: string[];
+            source?: "system" | "user" | "runtime_verification" | "memory_lint" | undefined;
+            active?: false | undefined;
+        }>>;
+        governance: z.ZodDefault<z.ZodObject<{
+            sensitivity: z.ZodDefault<z.ZodEnum<["public", "local", "private", "secret"]>>;
+            consent: z.ZodDefault<z.ZodObject<{
+                scope_id: z.ZodDefault<z.ZodString>;
+                allowed_contexts: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                source_actor: z.ZodDefault<z.ZodString>;
+                collection_context: z.ZodDefault<z.ZodString>;
+                granted_at: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                scope_id: string;
+                allowed_contexts: string[];
+                source_actor: string;
+                collection_context: string;
+                granted_at?: string | undefined;
+            }, {
+                scope_id?: string | undefined;
+                allowed_contexts?: string[] | undefined;
+                source_actor?: string | undefined;
+                collection_context?: string | undefined;
+                granted_at?: string | undefined;
+            }>>;
+            retention: z.ZodDefault<z.ZodObject<{
+                policy_id: z.ZodDefault<z.ZodString>;
+                retain_until: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                review_after: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                delete_requires_approval: z.ZodDefault<z.ZodBoolean>;
+            }, "strict", z.ZodTypeAny, {
+                policy_id: string;
+                retain_until: string | null;
+                review_after: string | null;
+                delete_requires_approval: boolean;
+            }, {
+                policy_id?: string | undefined;
+                retain_until?: string | null | undefined;
+                review_after?: string | null | undefined;
+                delete_requires_approval?: boolean | undefined;
+            }>>;
+            export_visibility: z.ZodDefault<z.ZodEnum<["listed", "redacted", "hidden"]>>;
+            owner_ref: z.ZodDefault<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            sensitivity: "local" | "public" | "private" | "secret";
+            consent: {
+                scope_id: string;
+                allowed_contexts: string[];
+                source_actor: string;
+                collection_context: string;
+                granted_at?: string | undefined;
+            };
+            retention: {
+                policy_id: string;
+                retain_until: string | null;
+                review_after: string | null;
+                delete_requires_approval: boolean;
+            };
+            export_visibility: "listed" | "redacted" | "hidden";
+            owner_ref: string;
+        }, {
+            sensitivity?: "local" | "public" | "private" | "secret" | undefined;
+            consent?: {
+                scope_id?: string | undefined;
+                allowed_contexts?: string[] | undefined;
+                source_actor?: string | undefined;
+                collection_context?: string | undefined;
+                granted_at?: string | undefined;
+            } | undefined;
+            retention?: {
+                policy_id?: string | undefined;
+                retain_until?: string | null | undefined;
+                review_after?: string | null | undefined;
+                delete_requires_approval?: boolean | undefined;
+            } | undefined;
+            export_visibility?: "listed" | "redacted" | "hidden" | undefined;
+            owner_ref?: string | undefined;
+        }>>;
+        supersedes_memory_id: z.ZodOptional<z.ZodString>;
         compiled_from: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         created_at: z.ZodString;
         updated_at: z.ZodString;
     }, "strip", z.ZodTypeAny, {
         value: string;
-        status: "archived" | "raw" | "compiled";
+        status: "archived" | "superseded" | "raw" | "corrected" | "retracted" | "forgotten" | "quarantined" | "compiled";
         id: string;
         created_at: string;
         updated_at: string;
         tags: string[];
         key: string;
-        memory_type: "observation" | "fact" | "procedure" | "preference";
-        category?: string | undefined;
+        memory_type: "observation" | "preference" | "fact" | "procedure";
+        governance: {
+            sensitivity: "local" | "public" | "private" | "secret";
+            consent: {
+                scope_id: string;
+                allowed_contexts: string[];
+                source_actor: string;
+                collection_context: string;
+                granted_at?: string | undefined;
+            };
+            retention: {
+                policy_id: string;
+                retain_until: string | null;
+                review_after: string | null;
+                delete_requires_approval: boolean;
+            };
+            export_visibility: "listed" | "redacted" | "hidden";
+            owner_ref: string;
+        };
         summary?: string | undefined;
+        category?: string | undefined;
+        provenance?: {
+            source_type: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported";
+            raw_refs: string[];
+            verification_status: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious";
+            risk_signals: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[];
+            reliability?: number | undefined;
+            source_ref?: string | undefined;
+        } | undefined;
+        verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+        quarantine_state?: {
+            status: "quarantined";
+            source: "system" | "user" | "runtime_verification" | "memory_lint";
+            active: false;
+            confidence: number;
+            created_at: string;
+            reason: string;
+            inspection_refs: string[];
+        } | undefined;
+        correction_state?: {
+            status: "active" | "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+            active: boolean;
+            updated_at: string | null;
+            reason: string | null;
+            retained_for_audit: boolean;
+            target_ref: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            };
+            replacement_ref: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            } | null;
+            latest_correction_id: string | null;
+        } | undefined;
+        supersedes_memory_id?: string | undefined;
         compiled_from?: string[] | undefined;
     }, {
         value: string;
@@ -72,28 +755,372 @@ export declare const AgentMemoryStoreSchema: z.ZodObject<{
         created_at: string;
         updated_at: string;
         key: string;
-        status?: "archived" | "raw" | "compiled" | undefined;
+        status?: "archived" | "superseded" | "raw" | "corrected" | "retracted" | "forgotten" | "quarantined" | "compiled" | undefined;
+        summary?: string | undefined;
         category?: string | undefined;
         tags?: string[] | undefined;
-        summary?: string | undefined;
-        memory_type?: "observation" | "fact" | "procedure" | "preference" | undefined;
+        provenance?: {
+            reliability?: number | undefined;
+            source_type?: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported" | undefined;
+            source_ref?: string | undefined;
+            raw_refs?: string[] | undefined;
+            verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+            risk_signals?: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[] | undefined;
+        } | undefined;
+        verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+        quarantine_state?: {
+            status: "quarantined";
+            confidence: number;
+            created_at: string;
+            reason: string;
+            inspection_refs: string[];
+            source?: "system" | "user" | "runtime_verification" | "memory_lint" | undefined;
+            active?: false | undefined;
+        } | undefined;
+        correction_state?: {
+            status: "active" | "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+            active: boolean;
+            target_ref: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                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?: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            } | null | undefined;
+            latest_correction_id?: string | null | undefined;
+        } | undefined;
+        memory_type?: "observation" | "preference" | "fact" | "procedure" | undefined;
+        governance?: {
+            sensitivity?: "local" | "public" | "private" | "secret" | undefined;
+            consent?: {
+                scope_id?: string | undefined;
+                allowed_contexts?: string[] | undefined;
+                source_actor?: string | undefined;
+                collection_context?: string | undefined;
+                granted_at?: string | undefined;
+            } | undefined;
+            retention?: {
+                policy_id?: string | undefined;
+                retain_until?: string | null | undefined;
+                review_after?: string | null | undefined;
+                delete_requires_approval?: boolean | undefined;
+            } | undefined;
+            export_visibility?: "listed" | "redacted" | "hidden" | undefined;
+            owner_ref?: string | undefined;
+        } | undefined;
+        supersedes_memory_id?: string | undefined;
         compiled_from?: string[] | undefined;
     }>, "many">;
+    corrections: 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, {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        }, {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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, {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        }, {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        };
+        correction_kind: "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+        replacement_ref: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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?: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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">>;
     last_consolidated_at: z.ZodDefault<z.ZodNullable<z.ZodString>>;
 }, "strip", z.ZodTypeAny, {
     entries: {
         value: string;
-        status: "archived" | "raw" | "compiled";
+        status: "archived" | "superseded" | "raw" | "corrected" | "retracted" | "forgotten" | "quarantined" | "compiled";
         id: string;
         created_at: string;
         updated_at: string;
         tags: string[];
         key: string;
-        memory_type: "observation" | "fact" | "procedure" | "preference";
-        category?: string | undefined;
+        memory_type: "observation" | "preference" | "fact" | "procedure";
+        governance: {
+            sensitivity: "local" | "public" | "private" | "secret";
+            consent: {
+                scope_id: string;
+                allowed_contexts: string[];
+                source_actor: string;
+                collection_context: string;
+                granted_at?: string | undefined;
+            };
+            retention: {
+                policy_id: string;
+                retain_until: string | null;
+                review_after: string | null;
+                delete_requires_approval: boolean;
+            };
+            export_visibility: "listed" | "redacted" | "hidden";
+            owner_ref: string;
+        };
         summary?: string | undefined;
+        category?: string | undefined;
+        provenance?: {
+            source_type: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported";
+            raw_refs: string[];
+            verification_status: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious";
+            risk_signals: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[];
+            reliability?: number | undefined;
+            source_ref?: string | undefined;
+        } | undefined;
+        verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+        quarantine_state?: {
+            status: "quarantined";
+            source: "system" | "user" | "runtime_verification" | "memory_lint";
+            active: false;
+            confidence: number;
+            created_at: string;
+            reason: string;
+            inspection_refs: string[];
+        } | undefined;
+        correction_state?: {
+            status: "active" | "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+            active: boolean;
+            updated_at: string | null;
+            reason: string | null;
+            retained_for_audit: boolean;
+            target_ref: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            };
+            replacement_ref: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            } | null;
+            latest_correction_id: string | null;
+        } | undefined;
+        supersedes_memory_id?: string | undefined;
         compiled_from?: string[] | undefined;
     }[];
+    corrections: {
+        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: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            scope?: {
+                goal_id?: string | undefined;
+                task_id?: string | undefined;
+                run_id?: string | undefined;
+            } | undefined;
+        };
+        correction_kind: "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+        replacement_ref: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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;
+        };
+    }[];
     last_consolidated_at: string | null;
 }, {
     entries: {
@@ -102,114 +1129,215 @@ export declare const AgentMemoryStoreSchema: z.ZodObject<{
         created_at: string;
         updated_at: string;
         key: string;
-        status?: "archived" | "raw" | "compiled" | undefined;
+        status?: "archived" | "superseded" | "raw" | "corrected" | "retracted" | "forgotten" | "quarantined" | "compiled" | undefined;
+        summary?: string | undefined;
         category?: string | undefined;
         tags?: string[] | undefined;
-        summary?: string | undefined;
-        memory_type?: "observation" | "fact" | "procedure" | "preference" | undefined;
+        provenance?: {
+            reliability?: number | undefined;
+            source_type?: "unknown" | "external" | "web" | "tool" | "user" | "runtime" | "imported" | undefined;
+            source_ref?: string | undefined;
+            raw_refs?: string[] | undefined;
+            verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+            risk_signals?: ("hallucinated" | "low_provenance" | "contradiction" | "prompt_injection_like" | "unverified_external")[] | undefined;
+        } | undefined;
+        verification_status?: "unknown" | "unverified" | "verified" | "contradicted" | "suspicious" | undefined;
+        quarantine_state?: {
+            status: "quarantined";
+            confidence: number;
+            created_at: string;
+            reason: string;
+            inspection_refs: string[];
+            source?: "system" | "user" | "runtime_verification" | "memory_lint" | undefined;
+            active?: false | undefined;
+        } | undefined;
+        correction_state?: {
+            status: "active" | "superseded" | "corrected" | "retracted" | "forgotten" | "quarantined";
+            active: boolean;
+            target_ref: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                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?: {
+                kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+                id: string;
+                scope?: {
+                    goal_id?: string | undefined;
+                    task_id?: string | undefined;
+                    run_id?: string | undefined;
+                } | undefined;
+            } | null | undefined;
+            latest_correction_id?: string | null | undefined;
+        } | undefined;
+        memory_type?: "observation" | "preference" | "fact" | "procedure" | undefined;
+        governance?: {
+            sensitivity?: "local" | "public" | "private" | "secret" | undefined;
+            consent?: {
+                scope_id?: string | undefined;
+                allowed_contexts?: string[] | undefined;
+                source_actor?: string | undefined;
+                collection_context?: string | undefined;
+                granted_at?: string | undefined;
+            } | undefined;
+            retention?: {
+                policy_id?: string | undefined;
+                retain_until?: string | null | undefined;
+                review_after?: string | null | undefined;
+                delete_requires_approval?: boolean | undefined;
+            } | undefined;
+            export_visibility?: "listed" | "redacted" | "hidden" | undefined;
+            owner_ref?: string | undefined;
+        } | undefined;
+        supersedes_memory_id?: string | undefined;
         compiled_from?: string[] | undefined;
     }[];
+    corrections?: {
+        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: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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?: {
+            kind: "runtime_evidence" | "agent_memory" | "soil_record" | "dream_checkpoint";
+            id: string;
+            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;
     last_consolidated_at?: string | null | undefined;
 }>;
 export type AgentMemoryStore = z.infer<typeof AgentMemoryStoreSchema>;
-export declare const LintIssueTypeEnum: z.ZodEnum<["contradiction", "staleness", "redundancy"]>;
+export declare const LintIssueTypeEnum: z.ZodEnum<["contradiction", "staleness", "redundancy", "quarantine"]>;
 export type LintIssueType = z.infer<typeof LintIssueTypeEnum>;
 export declare const LintFindingSchema: z.ZodObject<{
-    type: z.ZodEnum<["contradiction", "staleness", "redundancy"]>;
+    type: z.ZodEnum<["contradiction", "staleness", "redundancy", "quarantine"]>;
     entry_ids: z.ZodArray<z.ZodString, "many">;
     description: z.ZodString;
     confidence: z.ZodNumber;
-    suggested_action: z.ZodEnum<["flag_review", "auto_resolve_newest", "mark_stale", "merge"]>;
+    suggested_action: z.ZodEnum<["flag_review", "auto_resolve_newest", "mark_stale", "merge", "quarantine"]>;
 }, "strip", z.ZodTypeAny, {
-    type: "contradiction" | "staleness" | "redundancy";
+    type: "contradiction" | "staleness" | "redundancy" | "quarantine";
     confidence: number;
     description: string;
     entry_ids: string[];
-    suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+    suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
 }, {
-    type: "contradiction" | "staleness" | "redundancy";
+    type: "contradiction" | "staleness" | "redundancy" | "quarantine";
     confidence: number;
     description: string;
     entry_ids: string[];
-    suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+    suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
 }>;
 export type LintFinding = z.infer<typeof LintFindingSchema>;
 export declare const LintResponseSchema: z.ZodObject<{
     findings: z.ZodArray<z.ZodObject<{
-        type: z.ZodEnum<["contradiction", "staleness", "redundancy"]>;
+        type: z.ZodEnum<["contradiction", "staleness", "redundancy", "quarantine"]>;
         entry_ids: z.ZodArray<z.ZodString, "many">;
         description: z.ZodString;
         confidence: z.ZodNumber;
-        suggested_action: z.ZodEnum<["flag_review", "auto_resolve_newest", "mark_stale", "merge"]>;
+        suggested_action: z.ZodEnum<["flag_review", "auto_resolve_newest", "mark_stale", "merge", "quarantine"]>;
     }, "strip", z.ZodTypeAny, {
-        type: "contradiction" | "staleness" | "redundancy";
+        type: "contradiction" | "staleness" | "redundancy" | "quarantine";
         confidence: number;
         description: string;
         entry_ids: string[];
-        suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+        suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
     }, {
-        type: "contradiction" | "staleness" | "redundancy";
+        type: "contradiction" | "staleness" | "redundancy" | "quarantine";
         confidence: number;
         description: string;
         entry_ids: string[];
-        suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+        suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
     }>, "many">;
 }, "strip", z.ZodTypeAny, {
     findings: {
-        type: "contradiction" | "staleness" | "redundancy";
+        type: "contradiction" | "staleness" | "redundancy" | "quarantine";
         confidence: number;
         description: string;
         entry_ids: string[];
-        suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+        suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
     }[];
 }, {
     findings: {
-        type: "contradiction" | "staleness" | "redundancy";
+        type: "contradiction" | "staleness" | "redundancy" | "quarantine";
         confidence: number;
         description: string;
         entry_ids: string[];
-        suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+        suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
     }[];
 }>;
 export declare const LintResultSchema: z.ZodObject<{
     findings: z.ZodArray<z.ZodObject<{
-        type: z.ZodEnum<["contradiction", "staleness", "redundancy"]>;
+        type: z.ZodEnum<["contradiction", "staleness", "redundancy", "quarantine"]>;
         entry_ids: z.ZodArray<z.ZodString, "many">;
         description: z.ZodString;
         confidence: z.ZodNumber;
-        suggested_action: z.ZodEnum<["flag_review", "auto_resolve_newest", "mark_stale", "merge"]>;
+        suggested_action: z.ZodEnum<["flag_review", "auto_resolve_newest", "mark_stale", "merge", "quarantine"]>;
     }, "strip", z.ZodTypeAny, {
-        type: "contradiction" | "staleness" | "redundancy";
+        type: "contradiction" | "staleness" | "redundancy" | "quarantine";
         confidence: number;
         description: string;
         entry_ids: string[];
-        suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+        suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
     }, {
-        type: "contradiction" | "staleness" | "redundancy";
+        type: "contradiction" | "staleness" | "redundancy" | "quarantine";
         confidence: number;
         description: string;
         entry_ids: string[];
-        suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+        suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
     }>, "many">;
     repairs_applied: z.ZodNumber;
     entries_flagged: z.ZodNumber;
 }, "strip", z.ZodTypeAny, {
     findings: {
-        type: "contradiction" | "staleness" | "redundancy";
+        type: "contradiction" | "staleness" | "redundancy" | "quarantine";
         confidence: number;
         description: string;
         entry_ids: string[];
-        suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+        suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
     }[];
     repairs_applied: number;
     entries_flagged: number;
 }, {
     findings: {
-        type: "contradiction" | "staleness" | "redundancy";
+        type: "contradiction" | "staleness" | "redundancy" | "quarantine";
         confidence: number;
         description: string;
         entry_ids: string[];
-        suggested_action: "merge" | "flag_review" | "auto_resolve_newest" | "mark_stale";
+        suggested_action: "merge" | "quarantine" | "flag_review" | "auto_resolve_newest" | "mark_stale";
     }[];
     repairs_applied: number;
     entries_flagged: number;