@tenphi/akno-protocol 0.6.0 → 0.8.0

package/dist/common.d.ts

@@ -17,6 +17,12 @@ export declare const RememberManagement: z.ZodEnum<{
     integrate: "integrate";
 }>;
 export type RememberManagement = z.infer<typeof RememberManagement>;
+/** Narrow authority for inserting Akno-owned level-two observation blocks. */
+export declare const ObserveManagement: z.ZodEnum<{
+    deny: "deny";
+    integrate: "integrate";
+}>;
+export type ObserveManagement = z.infer<typeof ObserveManagement>;
 export declare const DreamManagement: z.ZodEnum<{
     none: "none";
     hygiene: "hygiene";
@@ -28,6 +34,10 @@ export declare const PageManagement: z.ZodObject<{
         deny: "deny";
         integrate: "integrate";
     }>>;
+    observe: z.ZodOptional<z.ZodEnum<{
+        deny: "deny";
+        integrate: "integrate";
+    }>>;
     dream: z.ZodOptional<z.ZodEnum<{
         none: "none";
         hygiene: "hygiene";
@@ -46,6 +56,25 @@ export declare const RecallMode: z.ZodEnum<{
     explore: "explore";
 }>;
 export type RecallMode = z.infer<typeof RecallMode>;
+/**
+ * Which semantic form of retained memory is useful for this read.
+ *
+ * This is deliberately separate from `RecallMode`: lookup/question/explore controls how Akno
+ * searches, while this value controls whether a matching retained sentence may be used as a
+ * current fact, attributed report, plan, historical record, unresolved question, or explicitly
+ * noncanonical discussion. When omitted, the query is resolved conservatively and ordinary
+ * factual memory wins.
+ */
+export declare const MemoryView: z.ZodEnum<{
+    factual: "factual";
+    history: "history";
+    planning: "planning";
+    reports: "reports";
+    questions: "questions";
+    discussion: "discussion";
+    all: "all";
+}>;
+export type MemoryView = z.infer<typeof MemoryView>;
 /** How much of a page body a card carries back. */
 export declare const Depth: z.ZodEnum<{
     summary: "summary";
@@ -283,6 +312,54 @@ export declare const MemoryQualification: z.ZodDiscriminatedUnion<[z.ZodObject<{
     answer_eligible: z.ZodLiteral<false>;
 }, z.core.$strip>], "status">;
 export type MemoryQualification = z.infer<typeof MemoryQualification>;
+export declare const ObservationDisposition: z.ZodEnum<{
+    active: "active";
+    superseded: "superseded";
+    weakened: "weakened";
+    retracted: "retracted";
+}>;
+export type ObservationDisposition = z.infer<typeof ObservationDisposition>;
+export declare const ObservationEvidence: z.ZodObject<{
+    fact: z.ZodString;
+    slug: z.ZodString;
+    line: z.ZodNumber;
+    line_hash: z.ZodString;
+    proof_groups: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+export type ObservationEvidence = z.infer<typeof ObservationEvidence>;
+/** Present only on the readable payload owned by a valid level-two marker. */
+export declare const ObservationQualification: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"eligible">;
+    id: z.ZodString;
+    level: z.ZodLiteral<2>;
+    subject: z.ZodString;
+    disposition: z.ZodEnum<{
+        active: "active";
+        superseded: "superseded";
+        weakened: "weakened";
+        retracted: "retracted";
+    }>;
+    proof_count: z.ZodNumber;
+    evidence: z.ZodArray<z.ZodObject<{
+        fact: z.ZodString;
+        slug: z.ZodString;
+        line: z.ZodNumber;
+        line_hash: z.ZodString;
+        proof_groups: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"ineligible">;
+    id: z.ZodString;
+    level: z.ZodLiteral<2>;
+    disposition: z.ZodEnum<{
+        active: "active";
+        superseded: "superseded";
+        weakened: "weakened";
+        retracted: "retracted";
+    }>;
+    reason: z.ZodString;
+}, z.core.$strip>], "status">;
+export type ObservationQualification = z.infer<typeof ObservationQualification>;
 /**
  * Every line Akno returns carries the file and line it came from. `confidence`
  * is present when a fact was derived from this line — how sure the deriver is
@@ -403,6 +480,37 @@ export declare const Line: z.ZodObject<{
         id: z.ZodString;
         answer_eligible: z.ZodLiteral<false>;
     }, z.core.$strip>], "status">>;
+    observation: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        status: z.ZodLiteral<"eligible">;
+        id: z.ZodString;
+        level: z.ZodLiteral<2>;
+        subject: z.ZodString;
+        disposition: z.ZodEnum<{
+            active: "active";
+            superseded: "superseded";
+            weakened: "weakened";
+            retracted: "retracted";
+        }>;
+        proof_count: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            fact: z.ZodString;
+            slug: z.ZodString;
+            line: z.ZodNumber;
+            line_hash: z.ZodString;
+            proof_groups: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        status: z.ZodLiteral<"ineligible">;
+        id: z.ZodString;
+        level: z.ZodLiteral<2>;
+        disposition: z.ZodEnum<{
+            active: "active";
+            superseded: "superseded";
+            weakened: "weakened";
+            retracted: "retracted";
+        }>;
+        reason: z.ZodString;
+    }, z.core.$strip>], "status">>;
     fact: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>;
 export type Line = z.infer<typeof Line>;
@@ -448,11 +556,20 @@ export declare const GraphRelation: z.ZodEnum<{
     related_entity: "related_entity";
     owns_document: "owns_document";
     participates_in: "participates_in";
+    derived_from: "derived_from";
+    corrects: "corrects";
+    supersedes: "supersedes";
+    contradicts: "contradicts";
+    fulfills: "fulfills";
+    answers: "answers";
+    caused_by: "caused_by";
 }>;
 export type GraphRelation = z.infer<typeof GraphRelation>;
 export declare const GraphNodeKind: z.ZodEnum<{
     event: "event";
     fact: "fact";
+    memory: "memory";
+    observation: "observation";
     entity: "entity";
     page: "page";
     document: "document";
@@ -464,6 +581,8 @@ export declare const GraphNodeRef: z.ZodObject<{
     kind: z.ZodEnum<{
         event: "event";
         fact: "fact";
+        memory: "memory";
+        observation: "observation";
         entity: "entity";
         page: "page";
         document: "document";
@@ -489,6 +608,8 @@ export declare const GraphNodeRef: z.ZodObject<{
     document: z.ZodOptional<z.ZodString>;
     fact: z.ZodOptional<z.ZodString>;
     event: z.ZodOptional<z.ZodString>;
+    memory: z.ZodOptional<z.ZodString>;
+    observation: z.ZodOptional<z.ZodString>;
     date: z.ZodOptional<z.ZodString>;
     line_start: z.ZodOptional<z.ZodNumber>;
     line_end: z.ZodOptional<z.ZodNumber>;
@@ -511,6 +632,7 @@ export declare const GraphEvidenceLocator: z.ZodObject<{
     document: z.ZodOptional<z.ZodString>;
     event: z.ZodOptional<z.ZodString>;
     fact: z.ZodOptional<z.ZodString>;
+    memory: z.ZodOptional<z.ZodString>;
     line_start: z.ZodOptional<z.ZodNumber>;
     line_end: z.ZodOptional<z.ZodNumber>;
     field: z.ZodOptional<z.ZodString>;
@@ -530,6 +652,8 @@ export declare const RecallGraphPath: z.ZodObject<{
         kind: z.ZodEnum<{
             event: "event";
             fact: "fact";
+            memory: "memory";
+            observation: "observation";
             entity: "entity";
             page: "page";
             document: "document";
@@ -555,6 +679,8 @@ export declare const RecallGraphPath: z.ZodObject<{
         document: z.ZodOptional<z.ZodString>;
         fact: z.ZodOptional<z.ZodString>;
         event: z.ZodOptional<z.ZodString>;
+        memory: z.ZodOptional<z.ZodString>;
+        observation: z.ZodOptional<z.ZodString>;
         date: z.ZodOptional<z.ZodString>;
         line_start: z.ZodOptional<z.ZodNumber>;
         line_end: z.ZodOptional<z.ZodNumber>;
@@ -569,6 +695,8 @@ export declare const RecallGraphPath: z.ZodObject<{
         kind: z.ZodEnum<{
             event: "event";
             fact: "fact";
+            memory: "memory";
+            observation: "observation";
             entity: "entity";
             page: "page";
             document: "document";
@@ -594,6 +722,8 @@ export declare const RecallGraphPath: z.ZodObject<{
         document: z.ZodOptional<z.ZodString>;
         fact: z.ZodOptional<z.ZodString>;
         event: z.ZodOptional<z.ZodString>;
+        memory: z.ZodOptional<z.ZodString>;
+        observation: z.ZodOptional<z.ZodString>;
         date: z.ZodOptional<z.ZodString>;
         line_start: z.ZodOptional<z.ZodNumber>;
         line_end: z.ZodOptional<z.ZodNumber>;
@@ -608,6 +738,8 @@ export declare const RecallGraphPath: z.ZodObject<{
         kind: z.ZodEnum<{
             event: "event";
             fact: "fact";
+            memory: "memory";
+            observation: "observation";
             entity: "entity";
             page: "page";
             document: "document";
@@ -633,6 +765,8 @@ export declare const RecallGraphPath: z.ZodObject<{
         document: z.ZodOptional<z.ZodString>;
         fact: z.ZodOptional<z.ZodString>;
         event: z.ZodOptional<z.ZodString>;
+        memory: z.ZodOptional<z.ZodString>;
+        observation: z.ZodOptional<z.ZodString>;
         date: z.ZodOptional<z.ZodString>;
         line_start: z.ZodOptional<z.ZodNumber>;
         line_end: z.ZodOptional<z.ZodNumber>;
@@ -651,6 +785,13 @@ export declare const RecallGraphPath: z.ZodObject<{
         related_entity: "related_entity";
         owns_document: "owns_document";
         participates_in: "participates_in";
+        derived_from: "derived_from";
+        corrects: "corrects";
+        supersedes: "supersedes";
+        contradicts: "contradicts";
+        fulfills: "fulfills";
+        answers: "answers";
+        caused_by: "caused_by";
     }>>;
     hops: z.ZodNumber;
     confidence: z.ZodNumber;
@@ -665,6 +806,7 @@ export declare const RecallGraphPath: z.ZodObject<{
         document: z.ZodOptional<z.ZodString>;
         event: z.ZodOptional<z.ZodString>;
         fact: z.ZodOptional<z.ZodString>;
+        memory: z.ZodOptional<z.ZodString>;
         line_start: z.ZodOptional<z.ZodNumber>;
         line_end: z.ZodOptional<z.ZodNumber>;
         field: z.ZodOptional<z.ZodString>;
@@ -857,6 +999,37 @@ export declare const Card: z.ZodObject<{
             id: z.ZodString;
             answer_eligible: z.ZodLiteral<false>;
         }, z.core.$strip>], "status">>;
+        observation: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            status: z.ZodLiteral<"eligible">;
+            id: z.ZodString;
+            level: z.ZodLiteral<2>;
+            subject: z.ZodString;
+            disposition: z.ZodEnum<{
+                active: "active";
+                superseded: "superseded";
+                weakened: "weakened";
+                retracted: "retracted";
+            }>;
+            proof_count: z.ZodNumber;
+            evidence: z.ZodArray<z.ZodObject<{
+                fact: z.ZodString;
+                slug: z.ZodString;
+                line: z.ZodNumber;
+                line_hash: z.ZodString;
+                proof_groups: z.ZodArray<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            status: z.ZodLiteral<"ineligible">;
+            id: z.ZodString;
+            level: z.ZodLiteral<2>;
+            disposition: z.ZodEnum<{
+                active: "active";
+                superseded: "superseded";
+                weakened: "weakened";
+                retracted: "retracted";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strip>], "status">>;
         fact: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>>;
     superseded: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -902,6 +1075,8 @@ export declare const Card: z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -927,6 +1102,8 @@ export declare const Card: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -941,6 +1118,8 @@ export declare const Card: z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -966,6 +1145,8 @@ export declare const Card: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -980,6 +1161,8 @@ export declare const Card: z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1005,6 +1188,8 @@ export declare const Card: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1023,6 +1208,13 @@ export declare const Card: z.ZodObject<{
             related_entity: "related_entity";
             owns_document: "owns_document";
             participates_in: "participates_in";
+            derived_from: "derived_from";
+            corrects: "corrects";
+            supersedes: "supersedes";
+            contradicts: "contradicts";
+            fulfills: "fulfills";
+            answers: "answers";
+            caused_by: "caused_by";
         }>>;
         hops: z.ZodNumber;
         confidence: z.ZodNumber;
@@ -1037,6 +1229,7 @@ export declare const Card: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
             field: z.ZodOptional<z.ZodString>;
@@ -1173,6 +1366,37 @@ export declare const PageCard: z.ZodObject<{
             id: z.ZodString;
             answer_eligible: z.ZodLiteral<false>;
         }, z.core.$strip>], "status">>;
+        observation: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            status: z.ZodLiteral<"eligible">;
+            id: z.ZodString;
+            level: z.ZodLiteral<2>;
+            subject: z.ZodString;
+            disposition: z.ZodEnum<{
+                active: "active";
+                superseded: "superseded";
+                weakened: "weakened";
+                retracted: "retracted";
+            }>;
+            proof_count: z.ZodNumber;
+            evidence: z.ZodArray<z.ZodObject<{
+                fact: z.ZodString;
+                slug: z.ZodString;
+                line: z.ZodNumber;
+                line_hash: z.ZodString;
+                proof_groups: z.ZodArray<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            status: z.ZodLiteral<"ineligible">;
+            id: z.ZodString;
+            level: z.ZodLiteral<2>;
+            disposition: z.ZodEnum<{
+                active: "active";
+                superseded: "superseded";
+                weakened: "weakened";
+                retracted: "retracted";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strip>], "status">>;
         fact: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>>;
     superseded: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -1218,6 +1442,8 @@ export declare const PageCard: z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1243,6 +1469,8 @@ export declare const PageCard: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1257,6 +1485,8 @@ export declare const PageCard: z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1282,6 +1512,8 @@ export declare const PageCard: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1296,6 +1528,8 @@ export declare const PageCard: z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1321,6 +1555,8 @@ export declare const PageCard: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1339,6 +1575,13 @@ export declare const PageCard: z.ZodObject<{
             related_entity: "related_entity";
             owns_document: "owns_document";
             participates_in: "participates_in";
+            derived_from: "derived_from";
+            corrects: "corrects";
+            supersedes: "supersedes";
+            contradicts: "contradicts";
+            fulfills: "fulfills";
+            answers: "answers";
+            caused_by: "caused_by";
         }>>;
         hops: z.ZodNumber;
         confidence: z.ZodNumber;
@@ -1353,6 +1596,7 @@ export declare const PageCard: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
             field: z.ZodOptional<z.ZodString>;
@@ -1431,6 +1675,8 @@ export declare const DocumentCard: z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1456,6 +1702,8 @@ export declare const DocumentCard: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1470,6 +1718,8 @@ export declare const DocumentCard: z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1495,6 +1745,8 @@ export declare const DocumentCard: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1509,6 +1761,8 @@ export declare const DocumentCard: z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1534,6 +1788,8 @@ export declare const DocumentCard: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1552,6 +1808,13 @@ export declare const DocumentCard: z.ZodObject<{
             related_entity: "related_entity";
             owns_document: "owns_document";
             participates_in: "participates_in";
+            derived_from: "derived_from";
+            corrects: "corrects";
+            supersedes: "supersedes";
+            contradicts: "contradicts";
+            fulfills: "fulfills";
+            answers: "answers";
+            caused_by: "caused_by";
         }>>;
         hops: z.ZodNumber;
         confidence: z.ZodNumber;
@@ -1566,6 +1829,7 @@ export declare const DocumentCard: z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
             field: z.ZodOptional<z.ZodString>;
@@ -1701,6 +1965,37 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             id: z.ZodString;
             answer_eligible: z.ZodLiteral<false>;
         }, z.core.$strip>], "status">>;
+        observation: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            status: z.ZodLiteral<"eligible">;
+            id: z.ZodString;
+            level: z.ZodLiteral<2>;
+            subject: z.ZodString;
+            disposition: z.ZodEnum<{
+                active: "active";
+                superseded: "superseded";
+                weakened: "weakened";
+                retracted: "retracted";
+            }>;
+            proof_count: z.ZodNumber;
+            evidence: z.ZodArray<z.ZodObject<{
+                fact: z.ZodString;
+                slug: z.ZodString;
+                line: z.ZodNumber;
+                line_hash: z.ZodString;
+                proof_groups: z.ZodArray<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            status: z.ZodLiteral<"ineligible">;
+            id: z.ZodString;
+            level: z.ZodLiteral<2>;
+            disposition: z.ZodEnum<{
+                active: "active";
+                superseded: "superseded";
+                weakened: "weakened";
+                retracted: "retracted";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strip>], "status">>;
         fact: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>>;
     superseded: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -1746,6 +2041,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1771,6 +2068,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1785,6 +2084,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1810,6 +2111,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1824,6 +2127,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1849,6 +2154,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1867,6 +2174,13 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             related_entity: "related_entity";
             owns_document: "owns_document";
             participates_in: "participates_in";
+            derived_from: "derived_from";
+            corrects: "corrects";
+            supersedes: "supersedes";
+            contradicts: "contradicts";
+            fulfills: "fulfills";
+            answers: "answers";
+            caused_by: "caused_by";
         }>>;
         hops: z.ZodNumber;
         confidence: z.ZodNumber;
@@ -1881,6 +2195,7 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
             field: z.ZodOptional<z.ZodString>;
@@ -1956,6 +2271,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -1981,6 +2298,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -1995,6 +2314,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -2020,6 +2341,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -2034,6 +2357,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodEnum<{
                 event: "event";
                 fact: "fact";
+                memory: "memory";
+                observation: "observation";
                 entity: "entity";
                 page: "page";
                 document: "document";
@@ -2059,6 +2384,8 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
+            observation: z.ZodOptional<z.ZodString>;
             date: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
@@ -2077,6 +2404,13 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             related_entity: "related_entity";
             owns_document: "owns_document";
             participates_in: "participates_in";
+            derived_from: "derived_from";
+            corrects: "corrects";
+            supersedes: "supersedes";
+            contradicts: "contradicts";
+            fulfills: "fulfills";
+            answers: "answers";
+            caused_by: "caused_by";
         }>>;
         hops: z.ZodNumber;
         confidence: z.ZodNumber;
@@ -2091,6 +2425,7 @@ export declare const RecallResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
             document: z.ZodOptional<z.ZodString>;
             event: z.ZodOptional<z.ZodString>;
             fact: z.ZodOptional<z.ZodString>;
+            memory: z.ZodOptional<z.ZodString>;
             line_start: z.ZodOptional<z.ZodNumber>;
             line_end: z.ZodOptional<z.ZodNumber>;
             field: z.ZodOptional<z.ZodString>;
@@ -2115,6 +2450,7 @@ export declare const DegradedReason: z.ZodEnum<{
     retain_verification_failed: "retain_verification_failed";
     retain_apply_failed: "retain_apply_failed";
     partial_temporal_index: "partial_temporal_index";
+    partial_memory_index: "partial_memory_index";
     timeline_range_limited: "timeline_range_limited";
     expansion_failed: "expansion_failed";
     no_vector_index: "no_vector_index";
@@ -2151,6 +2487,7 @@ export declare const ResultEnvelope: z.ZodObject<{
         retain_verification_failed: "retain_verification_failed";
         retain_apply_failed: "retain_apply_failed";
         partial_temporal_index: "partial_temporal_index";
+        partial_memory_index: "partial_memory_index";
         timeline_range_limited: "timeline_range_limited";
         expansion_failed: "expansion_failed";
         no_vector_index: "no_vector_index";