@graphorin/memory 0.6.0 → 0.7.0

package/dist/tools/fact-tools.d.ts

@@ -1,247 +1,86 @@
 import { MemoryToolDeps } from "./types.js";
 import { Tool } from "@graphorin/core";
-import { z } from "zod";
 
 //#region src/tools/fact-tools.d.ts
-declare const factRememberInputSchema: z.ZodObject<{
-  text: z.ZodString;
-  tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-  confidence: z.ZodOptional<z.ZodNumber>;
-  sensitivity: z.ZodOptional<z.ZodEnum<["public", "internal", "secret"]>>;
-  validFrom: z.ZodOptional<z.ZodString>;
-  validTo: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-  text: string;
-  tags?: string[] | undefined;
-  confidence?: number | undefined;
-  sensitivity?: "public" | "internal" | "secret" | undefined;
-  validFrom?: string | undefined;
-  validTo?: string | undefined;
-}, {
+
+/**
+ * W-013: explicit interfaces instead of `z.infer<typeof schema>` - the
+ * inferred aliases baked concrete v3 zod object generics into
+ * the published d.ts, which do not typecheck under a zod@4 consumer.
+ * Interface<->schema equality is pinned by type tests. Optionals carry
+ * `| undefined` to match zod's `.optional()` inference exactly.
+ */
+interface FactRememberInput {
   text: string;
   tags?: string[] | undefined;
   confidence?: number | undefined;
-  sensitivity?: "public" | "internal" | "secret" | undefined;
+  sensitivity?: 'public' | 'internal' | 'secret' | undefined;
   validFrom?: string | undefined;
   validTo?: string | undefined;
-}>;
-declare const factRememberOutputSchema: z.ZodObject<{
-  factId: z.ZodString;
-  /**
-   * MRET-3: `true` when the write landed in quarantine (hidden from
-   * default recall until validated). A synthesized consolidator write or
-   * a candidate that tripped the injection heuristics quarantines.
-   */
-  quarantined: z.ZodBoolean;
-  /** Why it was quarantined, when it was. */
-  quarantineReason: z.ZodOptional<z.ZodEnum<["injection", "synthesized"]>>;
-}, "strip", z.ZodTypeAny, {
+}
+interface FactRememberOutput {
   factId: string;
   quarantined: boolean;
-  quarantineReason?: "injection" | "synthesized" | undefined;
-}, {
-  factId: string;
-  quarantined: boolean;
-  quarantineReason?: "injection" | "synthesized" | undefined;
-}>;
-type FactRememberInput = z.infer<typeof factRememberInputSchema>;
-type FactRememberOutput = z.infer<typeof factRememberOutputSchema>;
-declare const factSearchInputSchema: z.ZodObject<{
-  query: z.ZodString;
-  topK: z.ZodOptional<z.ZodNumber>;
-  tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-  asOf: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
+  quarantineReason?: 'injection' | 'synthesized' | undefined;
+}
+interface FactSearchInput {
   query: string;
-  tags?: string[] | undefined;
   topK?: number | undefined;
-  asOf?: string | undefined;
-}, {
-  query: string;
   tags?: string[] | undefined;
-  topK?: number | undefined;
   asOf?: string | undefined;
-}>;
-declare const factSearchOutputSchema: z.ZodObject<{
-  hits: z.ZodArray<z.ZodObject<{
-    factId: z.ZodString;
-    text: z.ZodString;
-    score: z.ZodNumber;
-    sensitivity: z.ZodEnum<["public", "internal", "secret"]>;
-    provenance: z.ZodOptional<z.ZodEnum<["user", "tool", "extraction", "reflection", "induction", "imported"]>>;
-    /**
-     * Set when the fact's validity interval was closed (superseded /
-     * expired). Only present on `asOf` reads - default reads exclude
-     * such facts entirely (memory-retrieval-01).
-     */
-    validTo: z.ZodOptional<z.ZodString>;
-    /** Id of the fact that superseded this one, when any. */
-    supersededBy: z.ZodOptional<z.ZodString>;
-  }, "strip", z.ZodTypeAny, {
-    text: string;
-    sensitivity: "public" | "internal" | "secret";
-    factId: string;
-    score: number;
-    validTo?: string | undefined;
-    provenance?: "user" | "tool" | "extraction" | "reflection" | "induction" | "imported" | undefined;
-    supersededBy?: string | undefined;
-  }, {
-    text: string;
-    sensitivity: "public" | "internal" | "secret";
-    factId: string;
-    score: number;
-    validTo?: string | undefined;
-    provenance?: "user" | "tool" | "extraction" | "reflection" | "induction" | "imported" | undefined;
-    supersededBy?: string | undefined;
-  }>, "many">;
-}, "strip", z.ZodTypeAny, {
-  hits: {
-    text: string;
-    sensitivity: "public" | "internal" | "secret";
-    factId: string;
-    score: number;
-    validTo?: string | undefined;
-    provenance?: "user" | "tool" | "extraction" | "reflection" | "induction" | "imported" | undefined;
-    supersededBy?: string | undefined;
-  }[];
-}, {
-  hits: {
-    text: string;
-    sensitivity: "public" | "internal" | "secret";
-    factId: string;
-    score: number;
-    validTo?: string | undefined;
-    provenance?: "user" | "tool" | "extraction" | "reflection" | "induction" | "imported" | undefined;
-    supersededBy?: string | undefined;
-  }[];
-}>;
-type FactSearchInput = z.infer<typeof factSearchInputSchema>;
-type FactSearchOutput = z.infer<typeof factSearchOutputSchema>;
-declare const factSupersedeInputSchema: z.ZodObject<{
-  oldId: z.ZodString;
-  newText: z.ZodString;
-  reason: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-  newText: string;
+}
+interface FactSearchHit {
+  factId: string;
+  text: string;
+  score: number;
+  sensitivity: 'public' | 'internal' | 'secret';
+  provenance?: 'user' | 'tool' | 'extraction' | 'reflection' | 'induction' | 'imported' | undefined;
+  validTo?: string | undefined;
+  supersededBy?: string | undefined;
+}
+interface FactSearchOutput {
+  hits: FactSearchHit[];
+}
+interface FactSupersedeInput {
   oldId: string;
-  reason?: string | undefined;
-}, {
   newText: string;
-  oldId: string;
   reason?: string | undefined;
-}>;
-declare const factSupersedeOutputSchema: z.ZodObject<{
-  oldId: z.ZodString;
-  newId: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-  oldId: string;
-  newId: string;
-}, {
+}
+interface FactSupersedeOutput {
   oldId: string;
   newId: string;
-}>;
-type FactSupersedeInput = z.infer<typeof factSupersedeInputSchema>;
-type FactSupersedeOutput = z.infer<typeof factSupersedeOutputSchema>;
-declare const factForgetInputSchema: z.ZodObject<{
-  factId: z.ZodString;
-  reason: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-  factId: string;
-  reason?: string | undefined;
-}, {
+}
+interface FactForgetInput {
   factId: string;
   reason?: string | undefined;
-}>;
-declare const factForgetOutputSchema: z.ZodObject<{
-  factId: z.ZodString;
-  forgotten: z.ZodBoolean;
-}, "strip", z.ZodTypeAny, {
-  factId: string;
-  forgotten: boolean;
-}, {
+}
+interface FactForgetOutput {
   factId: string;
   forgotten: boolean;
-}>;
-type FactForgetInput = z.infer<typeof factForgetInputSchema>;
-type FactForgetOutput = z.infer<typeof factForgetOutputSchema>;
-declare const factHistoryInputSchema: z.ZodObject<{
-  factId: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-  factId: string;
-}, {
+}
+interface FactHistoryInput {
   factId: string;
-}>;
-declare const factHistoryOutputSchema: z.ZodObject<{
-  chain: z.ZodArray<z.ZodObject<{
-    factId: z.ZodString;
-    text: z.ZodString;
-    validFrom: z.ZodOptional<z.ZodString>;
-    validTo: z.ZodOptional<z.ZodString>;
-    supersedes: z.ZodOptional<z.ZodString>;
-    supersededBy: z.ZodOptional<z.ZodString>;
-    sensitivity: z.ZodEnum<["public", "internal", "secret"]>;
-  }, "strip", z.ZodTypeAny, {
-    text: string;
-    sensitivity: "public" | "internal" | "secret";
-    factId: string;
-    validFrom?: string | undefined;
-    validTo?: string | undefined;
-    supersededBy?: string | undefined;
-    supersedes?: string | undefined;
-  }, {
-    text: string;
-    sensitivity: "public" | "internal" | "secret";
-    factId: string;
-    validFrom?: string | undefined;
-    validTo?: string | undefined;
-    supersededBy?: string | undefined;
-    supersedes?: string | undefined;
-  }>, "many">;
-}, "strip", z.ZodTypeAny, {
-  chain: {
-    text: string;
-    sensitivity: "public" | "internal" | "secret";
-    factId: string;
-    validFrom?: string | undefined;
-    validTo?: string | undefined;
-    supersededBy?: string | undefined;
-    supersedes?: string | undefined;
-  }[];
-}, {
-  chain: {
-    text: string;
-    sensitivity: "public" | "internal" | "secret";
-    factId: string;
-    validFrom?: string | undefined;
-    validTo?: string | undefined;
-    supersededBy?: string | undefined;
-    supersedes?: string | undefined;
-  }[];
-}>;
-type FactHistoryInput = z.infer<typeof factHistoryInputSchema>;
-type FactHistoryOutput = z.infer<typeof factHistoryOutputSchema>;
-declare const factValidateInputSchema: z.ZodObject<{
-  factId: z.ZodString;
-  reason: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
+}
+interface FactHistoryEntry {
   factId: string;
-  reason?: string | undefined;
-}, {
+  text: string;
+  validFrom?: string | undefined;
+  validTo?: string | undefined;
+  supersedes?: string | undefined;
+  supersededBy?: string | undefined;
+  sensitivity: 'public' | 'internal' | 'secret';
+}
+interface FactHistoryOutput {
+  chain: FactHistoryEntry[];
+}
+interface FactValidateInput {
   factId: string;
   reason?: string | undefined;
-}>;
-declare const factValidateOutputSchema: z.ZodObject<{
-  factId: z.ZodString;
-  validated: z.ZodBoolean;
-}, "strip", z.ZodTypeAny, {
-  factId: string;
-  validated: boolean;
-}, {
+}
+interface FactValidateOutput {
   factId: string;
   validated: boolean;
-}>;
-type FactValidateInput = z.infer<typeof factValidateInputSchema>;
-type FactValidateOutput = z.infer<typeof factValidateOutputSchema>;
+}
 /**
  * `fact_remember` - persist a single semantic fact. The minimum-viable
  * pipeline writes the fact straight through with MD5 deduplication;

package/dist/tools/fact-tools.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fact-tools.d.ts","names":[],"sources":["../../src/tools/fact-tools.ts"],"sourcesContent":[],"mappings":";;;;;cAgBM,yBAAuB,CAAA,CAAA;;EAAvB,IAAA,eAAA,WAOJ,YAAA,EAAA,MAAA,CAAA,CAAA;;;;;;;;;;;;;;EAP2B,IAAA,CAAA,EAAA,MAAA,EAAA,GAAA,SAAA;EAAA,UAAA,CAAA,EAAA,MAAA,GAAA,SAAA;EAQvB,WAAA,CAAA,EAAA,QAAA,GAAA,UAUJ,GAAA,QAAA,GAAA,SAAA;;;;cAVI,0BAAwB,CAAA,CAAA;;EAAA;;AAAA;AAYE;AACC;;;;;;;;;;EAEN,WAAA,EAAA,OAAA;EAAA,gBAAA,CAAA,EAAA,WAAA,GAAA,aAAA,GAAA,SAAA;AAAA,CAAA,CAAA;KAHtB,iBAAA,GAAoB,CAAA,CAAE,aAAa;KACnC,kBAAA,GAAqB,CAAA,CAAE,aAAa;cAEnC,uBAAqB,CAAA,CAAA;;;;;;;;;;;;EAMC,IAAA,CAAA,EAAA,MAAA,EAAA,GAAA,SAAA;EAAA,IAAA,CAAA,EAAA,MAAA,GAAA,SAAA;EAoBvB,IAAA,CAAA,EAAA,MAAA,GAAA,SAAe;AAAU,CAAA,CAAA;AACC,cArBzB,sBA2BJ,EA3B0B,CAAA,CAAA,SA2B1B,CAAA;;;;;;IAJ4B,UAAA,eAAA,UAAA,CAAA,CAAA,MAAA,EAAA,MAAA,EAAA,YAAA,EAAA,YAAA,EAAA,WAAA,EAAA,UAAA,CAAA,CAAA,CAAA;IAAA;AAAA;;;;IAKC,OAAA,eAAA,YAAA,CAAA;IAAA;IAK1B,YAAA,eAAkB,YAAkB,CAAA;EACpC,CAAA,EAAA,OAAA,cAAmB,EAAA;IAElB,IAAA,EAAA,MAAA;;;;;IAAqB,UAAA,CAAA,EAAA,MAAA,GAAA,MAAA,GAAA,YAAA,GAAA,YAAA,GAAA,WAAA,GAAA,UAAA,GAAA,SAAA;IAAA,YAAA,CAAA,EAAA,MAAA,GAAA,SAAA;EAIrB,CAAA,EAAA;;;;IAAsB,KAAA,EAAA,MAAA;IAAA,OAAA,CAAA,EAAA,MAAA,GAAA,SAAA;IAKvB,UAAA,CAAA,EAAA,MAAe,GAAA,MAAkB,GAAA,YAAA,GAAA,YAAR,GAAA,WAAA,GAAA,UAAA,GAAA,SAAA;IACzB,YAAA,CAAA,EAAgB,MAAA,GAAA,SAAkB;EAEjC,CAAA,CAAA,EAAA,MAAA,CAAA;;;IAAsB,IAAA,EAAA,MAAA;IAAA,WAAA,EAAA,QAAA,GAAA,UAAA,GAAA,QAAA;IAGtB,MAAA,EAAA,MAAA;;;;;;;;;;;;;;;;CAAuB,CAAA;KA/BxB,eAAA,GAAkB,CAAA,CAAE,KA+BI,CAAA,OA/BS,qBA+BT,CAAA;AAAA,KA9BxB,gBAAA,GAAmB,CAAA,CAAE,KA4CL,CAAA,OA5CkB,sBA4Cf,CAAE;AAAK,cA1CzB,wBA2CkC,EA3CV,CAAA,CAAA,SA2CU,CAAA;EAElC,KAAA,aAAA;;;;;EAAuB,KAAA,EAAA,MAAA;EAAA,MAAA,CAAA,EAAA,MAAA,GAAA,SAAA;AAAA,CAAA,EAAA;;;;CAIC,CAAA;cA5CxB,yBA4CwB,EA5CC,CAAA,CAAA,SA4CD,CAAA;EAKzB,KAAA,aAAA;EACA,KAAA,aAAA;AASL,CAAA,EAAA,OAAgB,cAAA,EAAA;EACR,KAAA,EAAA,MAAA;EACA,KAAA,EAAA,MAAA;CAAmB,EAAA;EAAxB,KAAA,EAAA,MAAA;EAAI,KAAA,EAAA,MAAA;AAyCP,CAAA,CAAA;KAjGK,kBAAA,GAAqB,CAAA,CAAE,KAkGpB,CAAA,OAlGiC,wBAkGjC,CAAA;KAjGH,mBAAA,GAAsB,CAAA,CAAE,KAkGrB,CAAA,OAlGkC,yBAkGlC,CAAA;cAhGF,qBAgGmB,EAhGE,CAAA,CAAA,SAgGF,CAAA;EAAtB,MAAA,aAAA;EAAI,MAAA,eAAA,YAAA,CAAA;AAqDP,CAAA,EAAA,OAAgB,cAAA,EAAA;EACR,MAAA,EAAA,MAAA;EACA,MAAA,CAAA,EAAA,MAAA,GAAA,SAAA;CAAoB,EAAA;EAAzB,MAAA,EAAA,MAAA;EAAI,MAAA,CAAA,EAAA,MAAA,GAAA,SAAA;AA+BP,CAAA,CAAA;cAlLM,sBAmLE,EAnLoB,CAAA,CAAA,SAmLpB,CAAA;EACA,MAAA,aAAA;EAAiB,SAAA,cAAA;CAAtB,EAAA,OAAA,cAAA,EAAA;EAAI,MAAA,EAAA,MAAA;EA4BS,SAAA,EAAA,OAAA;CACR,EAAA;EACA,MAAA,EAAA,MAAA;EAAkB,SAAA,EAAA,OAAA;CAAvB,CAAA;KA7ME,eAAA,GAAkB,CAAA,CAAE,KA6MlB,CAAA,OA7M+B,qBA6M/B,CAAA;AAqDP,KAjQK,gBAAA,GAAmB,CAAA,CAAE,KAiQY,CAAA,OAjQC,sBAiQD,CAAA;cA/PhC,sBAgQE,EAhQoB,CAAA,CAAA,SAgQpB,CAAA;EACA,MAAA,aAAA;CAAmB,EAAA,OAAA,cAAA,EAAA;EAAxB,MAAA,EAAA,MAAA;CAAI,EAAA;;;cA9PD,yBAAuB,CAAA,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAcxB,gBAAA,GAAmB,CAAA,CAAE,aAAa;KAClC,iBAAA,GAAoB,CAAA,CAAE,aAAa;cAElC,yBAAuB,CAAA,CAAA;;;;;;;;;;cAIvB,0BAAwB,CAAA,CAAA;;;;;;;;;;KAKzB,iBAAA,GAAoB,CAAA,CAAE,aAAa;KACnC,kBAAA,GAAqB,CAAA,CAAE,aAAa;;;;;;;;iBASzB,sBAAA,OACR,iBACL,KAAK,mBAAmB;;;;;;;iBAyCX,oBAAA,OACR,iBACL,KAAK,iBAAiB;;;;;;;;;iBAqDT,uBAAA,OACR,iBACL,KAAK,oBAAoB;;;;;;;iBA+BZ,oBAAA,OACR,iBACL,KAAK,iBAAiB;;;;;;;;;iBA4BT,qBAAA,OACR,iBACL,KAAK,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;iBAqDV,sBAAA,OACR,iBACL,KAAK,mBAAmB"}
+{"version":3,"file":"fact-tools.d.ts","names":[],"sources":["../../src/tools/fact-tools.ts"],"sourcesContent":[],"mappings":";;;;;;;AA4CA;AAQA;AAgCA;AAMA;AASA;AAciB,UArEA,iBAAA,CAqEkB;EAKlB,IAAA,EAAA,MAAA;EAcA,IAAA,CAAA,EAAA,MAAA,EAAA,GAAe,SAAA;EAIf,UAAA,CAAA,EAAA,MAAgB,GAAA,SAAA;EAsBhB,WAAA,CAAA,EAAA,QAAgB,GAAA,UAAA,GAAA,QAAA,GAAA,SAAA;EAGhB,SAAA,CAAA,EAAA,MAAA,GAAgB,SAAA;EAShB,OAAA,CAAA,EAAA,MAAA,GAAA,SAAiB;AAalC;AAIiB,UAvIA,kBAAA,CAuIkB;EA4CnB,MAAA,EAAA,MAAA;EACR,WAAA,EAAA,OAAA;EACA,gBAAA,CAAA,EAAA,WAAA,GAAA,aAAA,GAAA,SAAA;;AAAL,UArJc,eAAA,CAqJd;EAAI,KAAA,EAAA,MAAA;EAyCS,IAAA,CAAA,EAAA,MAAA,GAAA,SAAoB;EAC5B,IAAA,CAAA,EAAA,MAAA,EAAA,GAAA,SAAA;EACA,IAAA,CAAA,EAAA,MAAA,GAAA,SAAA;;AAAL,UA1Lc,aAAA,CA0Ld;EAAI,MAAA,EAAA,MAAA;EAqDS,IAAA,EAAA,MAAA;EACR,KAAA,EAAA,MAAA;EACA,WAAA,EAAA,QAAA,GAAA,UAAA,GAAA,QAAA;EAAoB,UAAA,CAAA,EAAA,MAAA,GAAA,MAAA,GAAA,YAAA,GAAA,YAAA,GAAA,WAAA,GAAA,UAAA,GAAA,SAAA;EAAzB,OAAA,CAAA,EAAA,MAAA,GAAA,SAAA;EAAI,YAAA,CAAA,EAAA,MAAA,GAAA,SAAA;AA+BP;AACQ,UAxQS,gBAAA,CAwQT;EACA,IAAA,EAxQA,aAwQA,EAAA;;AAAL,UA3Pc,kBAAA,CA2Pd;EAAI,KAAA,EAAA,MAAA;EA4BS,OAAA,EAAA,MAAA;EACR,MAAA,CAAA,EAAA,MAAA,GAAA,SAAA;;AACkB,UApRT,mBAAA,CAoRS;EAAvB,KAAA,EAAA,MAAA;EAAI,KAAA,EAAA,MAAA;AAqDP;AACQ,UA5TS,eAAA,CA4TT;EACA,MAAA,EAAA,MAAA;EAAmB,MAAA,CAAA,EAAA,MAAA,GAAA,SAAA;;AAApB,UAzTU,gBAAA,CAyTV;;;;UAnSU,gBAAA;;;UAGA,gBAAA;;;;;;;;;UASA,iBAAA;SACR;;UAYQ,iBAAA;;;;UAIA,kBAAA;;;;;;;;;;;iBA4CD,sBAAA,OACR,iBACL,KAAK,mBAAmB;;;;;;;iBAyCX,oBAAA,OACR,iBACL,KAAK,iBAAiB;;;;;;;;;iBAqDT,uBAAA,OACR,iBACL,KAAK,oBAAoB;;;;;;;iBA+BZ,oBAAA,OACR,iBACL,KAAK,iBAAiB;;;;;;;;;iBA4BT,qBAAA,OACR,iBACL,KAAK,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;iBAqDV,sBAAA,OACR,iBACL,KAAK,mBAAmB"}

package/dist/tools/fact-tools.js

@@ -1,4 +1,5 @@
 import { recallTaint } from "./taint.js";
+import { toolReturn } from "@graphorin/core";
 import { tool } from "@graphorin/tools";
 import { z } from "zod";
 
@@ -150,10 +151,10 @@ function createFactSearchTool(deps) {
 				...hit.record.supersededBy !== void 0 ? { supersededBy: hit.record.supersededBy } : {}
 			})) };
 			const taint = recallTaint(hits.map((h) => h.record));
-			return taint === void 0 ? output : {
+			return taint === void 0 ? output : toolReturn({
 				output,
 				taint
-			};
+			});
 		}
 	});
 }

package/dist/tools/fact-tools.js.map

@@ -1 +1 @@
-{"version":3,"file":"fact-tools.js","names":[],"sources":["../../src/tools/fact-tools.ts"],"sourcesContent":["import type { Tool } from '@graphorin/core';\nimport { tool } from '@graphorin/tools';\nimport { z } from 'zod';\nimport { recallTaint } from './taint.js';\nimport type { MemoryToolDeps } from './types.js';\n\nconst sensitivityEnum = z.enum(['public', 'internal', 'secret']);\nconst provenanceEnum = z.enum([\n  'user',\n  'tool',\n  'extraction',\n  'reflection',\n  'induction',\n  'imported',\n]);\n\nconst factRememberInputSchema = z.object({\n  text: z.string().min(1).max(8192),\n  tags: z.array(z.string().min(1).max(64)).max(32).optional(),\n  confidence: z.number().min(0).max(1).optional(),\n  sensitivity: sensitivityEnum.optional(),\n  validFrom: z.string().datetime().optional(),\n  validTo: z.string().datetime().optional(),\n});\nconst factRememberOutputSchema = z.object({\n  factId: z.string(),\n  /**\n   * MRET-3: `true` when the write landed in quarantine (hidden from\n   * default recall until validated). A synthesized consolidator write or\n   * a candidate that tripped the injection heuristics quarantines.\n   */\n  quarantined: z.boolean(),\n  /** Why it was quarantined, when it was. */\n  quarantineReason: z.enum(['injection', 'synthesized']).optional(),\n});\n\ntype FactRememberInput = z.infer<typeof factRememberInputSchema>;\ntype FactRememberOutput = z.infer<typeof factRememberOutputSchema>;\n\nconst factSearchInputSchema = z.object({\n  query: z.string().min(1).max(1024),\n  topK: z.number().int().positive().max(50).optional(),\n  tags: z.array(z.string().min(1)).max(16).optional(),\n  asOf: z.string().datetime().optional(),\n});\nconst factSearchOutputSchema = z.object({\n  hits: z.array(\n    z.object({\n      factId: z.string(),\n      text: z.string(),\n      score: z.number(),\n      sensitivity: sensitivityEnum,\n      provenance: provenanceEnum.optional(),\n      /**\n       * Set when the fact's validity interval was closed (superseded /\n       * expired). Only present on `asOf` reads - default reads exclude\n       * such facts entirely (memory-retrieval-01).\n       */\n      validTo: z.string().optional(),\n      /** Id of the fact that superseded this one, when any. */\n      supersededBy: z.string().optional(),\n    }),\n  ),\n});\n\ntype FactSearchInput = z.infer<typeof factSearchInputSchema>;\ntype FactSearchOutput = z.infer<typeof factSearchOutputSchema>;\n\nconst factSupersedeInputSchema = z.object({\n  oldId: z.string().min(1),\n  newText: z.string().min(1).max(8192),\n  reason: z.string().max(512).optional(),\n});\nconst factSupersedeOutputSchema = z.object({\n  oldId: z.string(),\n  newId: z.string(),\n});\n\ntype FactSupersedeInput = z.infer<typeof factSupersedeInputSchema>;\ntype FactSupersedeOutput = z.infer<typeof factSupersedeOutputSchema>;\n\nconst factForgetInputSchema = z.object({\n  factId: z.string().min(1),\n  reason: z.string().max(512).optional(),\n});\nconst factForgetOutputSchema = z.object({\n  factId: z.string(),\n  forgotten: z.boolean(),\n});\n\ntype FactForgetInput = z.infer<typeof factForgetInputSchema>;\ntype FactForgetOutput = z.infer<typeof factForgetOutputSchema>;\n\nconst factHistoryInputSchema = z.object({\n  factId: z.string().min(1),\n});\nconst factHistoryOutputSchema = z.object({\n  chain: z.array(\n    z.object({\n      factId: z.string(),\n      text: z.string(),\n      validFrom: z.string().optional(),\n      validTo: z.string().optional(),\n      supersedes: z.string().optional(),\n      supersededBy: z.string().optional(),\n      sensitivity: sensitivityEnum,\n    }),\n  ),\n});\n\ntype FactHistoryInput = z.infer<typeof factHistoryInputSchema>;\ntype FactHistoryOutput = z.infer<typeof factHistoryOutputSchema>;\n\nconst factValidateInputSchema = z.object({\n  factId: z.string().min(1),\n  reason: z.string().max(512).optional(),\n});\nconst factValidateOutputSchema = z.object({\n  factId: z.string(),\n  validated: z.boolean(),\n});\n\ntype FactValidateInput = z.infer<typeof factValidateInputSchema>;\ntype FactValidateOutput = z.infer<typeof factValidateOutputSchema>;\n\n/**\n * `fact_remember` - persist a single semantic fact. The minimum-viable\n * pipeline writes the fact straight through with MD5 deduplication;\n * Phase 10b extends the body with the multi-stage conflict resolution.\n *\n * @stable\n */\nexport function createFactRememberTool(\n  deps: MemoryToolDeps,\n): Tool<FactRememberInput, FactRememberOutput> {\n  return tool<FactRememberInput, FactRememberOutput>({\n    name: 'fact_remember',\n    description:\n      'Persist an atomic factual statement about the user, the world, or the current session. Prefer one fact per call; the system applies dedup + conflict resolution downstream. Pass `validFrom` / `validTo` for bi-temporal facts and `sensitivity` to control redaction.',\n    inputSchema: factRememberInputSchema,\n    outputSchema: factRememberOutputSchema,\n    sideEffectClass: 'side-effecting',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'memory-aware',\n    tags: ['memory', 'semantic'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      const outcome = await deps.semantic.rememberWithDecision(scope, {\n        text: input.text,\n        ...(input.tags !== undefined ? { tags: input.tags } : {}),\n        ...(input.confidence !== undefined ? { confidence: input.confidence } : {}),\n        ...(input.sensitivity !== undefined ? { sensitivity: input.sensitivity } : {}),\n        ...(input.validFrom !== undefined ? { validFrom: input.validFrom } : {}),\n        ...(input.validTo !== undefined ? { validTo: input.validTo } : {}),\n      });\n      // MRET-3: tell the caller when the write was quarantined so a\n      // poisoned fact cannot masquerade as a normally-stored one.\n      return {\n        factId: outcome.fact.id,\n        quarantined: outcome.fact.status === 'quarantined',\n        ...(outcome.quarantineReason !== undefined\n          ? { quarantineReason: outcome.quarantineReason }\n          : {}),\n      };\n    },\n  });\n}\n\n/**\n * `fact_search` - hybrid (vector + FTS5) search over the user's\n * semantic memory. Results merged through the configured reranker.\n *\n * @stable\n */\nexport function createFactSearchTool(\n  deps: MemoryToolDeps,\n): Tool<FactSearchInput, FactSearchOutput> {\n  return tool<FactSearchInput, FactSearchOutput>({\n    name: 'fact_search',\n    description:\n      \"Search the user's long-term factual memory by natural-language query. Returns up to `topK` matched facts with their score and sensitivity. Use this BEFORE asking the user a question they may have answered earlier. Pass `asOf` (ISO-8601) to read memory as it was at a past instant - point-in-time / 'what was true on date X' - instead of the current state.\",\n    inputSchema: factSearchInputSchema,\n    outputSchema: factSearchOutputSchema,\n    sideEffectClass: 'read-only',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'pure',\n    tags: ['memory', 'semantic'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      const hits = await deps.semantic.search(scope, input.query, {\n        ...(input.topK !== undefined ? { topK: input.topK } : {}),\n        // MRET-4: forward the tags filter - it was accepted by the\n        // schema and silently dropped here.\n        ...(input.tags !== undefined && input.tags.length > 0 ? { tags: input.tags } : {}),\n        ...(input.asOf !== undefined ? { asOf: input.asOf } : {}),\n        signal: ctx.signal,\n      });\n      const output = {\n        hits: hits.map((hit) => ({\n          factId: hit.record.id,\n          text: hit.record.text,\n          score: hit.score,\n          sensitivity: hit.record.sensitivity,\n          ...(hit.record.provenance !== undefined ? { provenance: hit.record.provenance } : {}),\n          // memory-retrieval-01: surface validity metadata so the model\n          // can tell a historical (asOf) hit from a current one.\n          ...(hit.record.validTo !== undefined ? { validTo: hit.record.validTo } : {}),\n          ...(hit.record.supersededBy !== undefined\n            ? { supersededBy: hit.record.supersededBy }\n            : {}),\n        })),\n      };\n      // C6: recalled quarantined / foreign-provenance content re-arms the\n      // taint ledger - the cross-session poisoning leg.\n      const taint = recallTaint(hits.map((h) => h.record));\n      return taint === undefined ? output : { output, taint };\n    },\n  });\n}\n\n/**\n * `fact_supersede` - soft-supersede an old fact by storing a new one\n * that replaces it. The old fact is kept for replay but no longer\n * surfaced by default reads (they evaluate validity at NOW); it stays\n * reachable via `asOf` / inspector paths.\n *\n * @stable\n */\nexport function createFactSupersedeTool(\n  deps: MemoryToolDeps,\n): Tool<FactSupersedeInput, FactSupersedeOutput> {\n  return tool<FactSupersedeInput, FactSupersedeOutput>({\n    name: 'fact_supersede',\n    description:\n      \"Mark an old fact superseded by a new one. Use this when the user's situation changed (moved cities, updated a goal, switched a preference) - the old fact is preserved for replay but no longer surfaced as current.\",\n    inputSchema: factSupersedeInputSchema,\n    outputSchema: factSupersedeOutputSchema,\n    sideEffectClass: 'side-effecting',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'memory-aware',\n    tags: ['memory', 'semantic'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      const result = await deps.semantic.supersede(\n        scope,\n        input.oldId,\n        { text: input.newText },\n        input.reason,\n      );\n      return { oldId: result.old, newId: result.new.id };\n    },\n  });\n}\n\n/**\n * `fact_forget` - soft-delete a fact (kept for replay; never hard-\n * deleted at this layer).\n *\n * @stable\n */\nexport function createFactForgetTool(\n  deps: MemoryToolDeps,\n): Tool<FactForgetInput, FactForgetOutput> {\n  return tool<FactForgetInput, FactForgetOutput>({\n    name: 'fact_forget',\n    description:\n      'Soft-delete a fact. The record is preserved for replay but no longer surfaced by fact_search. Use only for explicit user-driven removal (privacy / user request).',\n    inputSchema: factForgetInputSchema,\n    outputSchema: factForgetOutputSchema,\n    sideEffectClass: 'side-effecting',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'memory-aware',\n    tags: ['memory', 'semantic'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      await deps.semantic.forget(scope, input.factId, input.reason);\n      return { factId: input.factId, forgotten: true };\n    },\n  });\n}\n\n/**\n * `fact_history` - trace how a fact changed over time. Returns the\n * full bi-temporal supersede chain the given fact belongs to, oldest →\n * newest, including superseded entries, so the agent can answer \"what\n * did the user say before\" / \"how did this change\". Read-only. P0-2.\n *\n * @stable\n */\nexport function createFactHistoryTool(\n  deps: MemoryToolDeps,\n): Tool<FactHistoryInput, FactHistoryOutput> {\n  return tool<FactHistoryInput, FactHistoryOutput>({\n    name: 'fact_history',\n    description:\n      \"Trace how a fact changed over time. Given a factId, returns its full bi-temporal supersede chain (oldest → newest), including superseded entries, with each entry's validFrom/validTo. Use this to answer 'how did this change' or 'what was the previous value'.\",\n    inputSchema: factHistoryInputSchema,\n    outputSchema: factHistoryOutputSchema,\n    sideEffectClass: 'read-only',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'pure',\n    tags: ['memory', 'semantic', 'temporal'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      const chain = await deps.semantic.history(scope, input.factId);\n      return {\n        chain: chain.map((f) => ({\n          factId: f.id,\n          text: f.text,\n          ...(f.validFrom !== undefined ? { validFrom: f.validFrom } : {}),\n          ...(f.validTo !== undefined ? { validTo: f.validTo } : {}),\n          ...(f.supersedes !== undefined ? { supersedes: f.supersedes } : {}),\n          ...(f.supersededBy !== undefined ? { supersededBy: f.supersededBy } : {}),\n          sensitivity: f.sensitivity,\n        })),\n      };\n    },\n  });\n}\n\n/**\n * `fact_validate` - promote a quarantined fact to active (P1-4). The\n * validation path that admits a synthesized (consolidator / reflection)\n * memory into action-driving recall once it has been reviewed; the\n * promotion is audited in `memory_history`.\n *\n * MRET-3 / MST-1 - two gates close the one-turn memory-poisoning chain\n * (`fact_remember(poison)` → `fact_validate(id)` → active recall):\n *\n * 1. `needsApproval: true` - the run suspends for a human decision\n *    before this tool ever executes, so the agent cannot silently\n *    promote any quarantined fact.\n * 2. The underlying `SemanticMemory.validate(...)` re-checks the fact's\n *    text against the injection heuristics and **refuses** (no `force`\n *    is passed here) - an injection-flagged memory cannot be promoted by\n *    the agent at all. Only an operator, via the programmatic API with\n *    `{ force: true }`, can override after review.\n *\n * Synthesized-but-clean consolidator writes promote normally once\n * approved.\n *\n * @stable\n */\nexport function createFactValidateTool(\n  deps: MemoryToolDeps,\n): Tool<FactValidateInput, FactValidateOutput> {\n  return tool<FactValidateInput, FactValidateOutput>({\n    name: 'fact_validate',\n    description:\n      'Promote a quarantined fact to active so it becomes eligible for normal recall. Quarantined facts are memories the system synthesized or flagged as risky; validating one is a deliberate, human-approved admission and never a routine step. This action requires approval, and facts flagged as prompt-injection cannot be promoted here - they are an operator-only decision.',\n    inputSchema: factValidateInputSchema,\n    outputSchema: factValidateOutputSchema,\n    // MRET-3: the only real gate on a model-callable tool - suspend the\n    // run for a human decision before promoting anything out of quarantine.\n    needsApproval: true,\n    sideEffectClass: 'side-effecting',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'memory-aware',\n    tags: ['memory', 'semantic', 'safety'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      // No `force`: the agent path can never promote an injection-flagged\n      // fact (validate throws QuarantinePromotionRefusedError for those).\n      await deps.semantic.validate(scope, input.factId, input.reason);\n      return { factId: input.factId, validated: true };\n    },\n  });\n}\n"],"mappings":";;;;;AAMA,MAAM,kBAAkB,EAAE,KAAK;CAAC;CAAU;CAAY;CAAS,CAAC;AAChE,MAAM,iBAAiB,EAAE,KAAK;CAC5B;CACA;CACA;CACA;CACA;CACA;CACD,CAAC;AAEF,MAAM,0BAA0B,EAAE,OAAO;CACvC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK;CACjC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU;CAC3D,YAAY,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU;CAC/C,aAAa,gBAAgB,UAAU;CACvC,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU;CAC3C,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU;CAC1C,CAAC;AACF,MAAM,2BAA2B,EAAE,OAAO;CACxC,QAAQ,EAAE,QAAQ;CAMlB,aAAa,EAAE,SAAS;CAExB,kBAAkB,EAAE,KAAK,CAAC,aAAa,cAAc,CAAC,CAAC,UAAU;CAClE,CAAC;AAKF,MAAM,wBAAwB,EAAE,OAAO;CACrC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK;CAClC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,UAAU;CACpD,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU;CACnD,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU;CACvC,CAAC;AACF,MAAM,yBAAyB,EAAE,OAAO,EACtC,MAAM,EAAE,MACN,EAAE,OAAO;CACP,QAAQ,EAAE,QAAQ;CAClB,MAAM,EAAE,QAAQ;CAChB,OAAO,EAAE,QAAQ;CACjB,aAAa;CACb,YAAY,eAAe,UAAU;CAMrC,SAAS,EAAE,QAAQ,CAAC,UAAU;CAE9B,cAAc,EAAE,QAAQ,CAAC,UAAU;CACpC,CAAC,CACH,EACF,CAAC;AAKF,MAAM,2BAA2B,EAAE,OAAO;CACxC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;CACxB,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK;CACpC,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;CACvC,CAAC;AACF,MAAM,4BAA4B,EAAE,OAAO;CACzC,OAAO,EAAE,QAAQ;CACjB,OAAO,EAAE,QAAQ;CAClB,CAAC;AAKF,MAAM,wBAAwB,EAAE,OAAO;CACrC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;CACzB,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;CACvC,CAAC;AACF,MAAM,yBAAyB,EAAE,OAAO;CACtC,QAAQ,EAAE,QAAQ;CAClB,WAAW,EAAE,SAAS;CACvB,CAAC;AAKF,MAAM,yBAAyB,EAAE,OAAO,EACtC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,EAC1B,CAAC;AACF,MAAM,0BAA0B,EAAE,OAAO,EACvC,OAAO,EAAE,MACP,EAAE,OAAO;CACP,QAAQ,EAAE,QAAQ;CAClB,MAAM,EAAE,QAAQ;CAChB,WAAW,EAAE,QAAQ,CAAC,UAAU;CAChC,SAAS,EAAE,QAAQ,CAAC,UAAU;CAC9B,YAAY,EAAE,QAAQ,CAAC,UAAU;CACjC,cAAc,EAAE,QAAQ,CAAC,UAAU;CACnC,aAAa;CACd,CAAC,CACH,EACF,CAAC;AAKF,MAAM,0BAA0B,EAAE,OAAO;CACvC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;CACzB,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;CACvC,CAAC;AACF,MAAM,2BAA2B,EAAE,OAAO;CACxC,QAAQ,EAAE,QAAQ;CAClB,WAAW,EAAE,SAAS;CACvB,CAAC;;;;;;;;AAYF,SAAgB,uBACd,MAC6C;AAC7C,QAAO,KAA4C;EACjD,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM,CAAC,UAAU,WAAW;EAC5B,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;GAC1C,MAAM,UAAU,MAAM,KAAK,SAAS,qBAAqB,OAAO;IAC9D,MAAM,MAAM;IACZ,GAAI,MAAM,SAAS,SAAY,EAAE,MAAM,MAAM,MAAM,GAAG,EAAE;IACxD,GAAI,MAAM,eAAe,SAAY,EAAE,YAAY,MAAM,YAAY,GAAG,EAAE;IAC1E,GAAI,MAAM,gBAAgB,SAAY,EAAE,aAAa,MAAM,aAAa,GAAG,EAAE;IAC7E,GAAI,MAAM,cAAc,SAAY,EAAE,WAAW,MAAM,WAAW,GAAG,EAAE;IACvE,GAAI,MAAM,YAAY,SAAY,EAAE,SAAS,MAAM,SAAS,GAAG,EAAE;IAClE,CAAC;AAGF,UAAO;IACL,QAAQ,QAAQ,KAAK;IACrB,aAAa,QAAQ,KAAK,WAAW;IACrC,GAAI,QAAQ,qBAAqB,SAC7B,EAAE,kBAAkB,QAAQ,kBAAkB,GAC9C,EAAE;IACP;;EAEJ,CAAC;;;;;;;;AASJ,SAAgB,qBACd,MACyC;AACzC,QAAO,KAAwC;EAC7C,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM,CAAC,UAAU,WAAW;EAC5B,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;GAC1C,MAAM,OAAO,MAAM,KAAK,SAAS,OAAO,OAAO,MAAM,OAAO;IAC1D,GAAI,MAAM,SAAS,SAAY,EAAE,MAAM,MAAM,MAAM,GAAG,EAAE;IAGxD,GAAI,MAAM,SAAS,UAAa,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,MAAM,MAAM,GAAG,EAAE;IACjF,GAAI,MAAM,SAAS,SAAY,EAAE,MAAM,MAAM,MAAM,GAAG,EAAE;IACxD,QAAQ,IAAI;IACb,CAAC;GACF,MAAM,SAAS,EACb,MAAM,KAAK,KAAK,SAAS;IACvB,QAAQ,IAAI,OAAO;IACnB,MAAM,IAAI,OAAO;IACjB,OAAO,IAAI;IACX,aAAa,IAAI,OAAO;IACxB,GAAI,IAAI,OAAO,eAAe,SAAY,EAAE,YAAY,IAAI,OAAO,YAAY,GAAG,EAAE;IAGpF,GAAI,IAAI,OAAO,YAAY,SAAY,EAAE,SAAS,IAAI,OAAO,SAAS,GAAG,EAAE;IAC3E,GAAI,IAAI,OAAO,iBAAiB,SAC5B,EAAE,cAAc,IAAI,OAAO,cAAc,GACzC,EAAE;IACP,EAAE,EACJ;GAGD,MAAM,QAAQ,YAAY,KAAK,KAAK,MAAM,EAAE,OAAO,CAAC;AACpD,UAAO,UAAU,SAAY,SAAS;IAAE;IAAQ;IAAO;;EAE1D,CAAC;;;;;;;;;;AAWJ,SAAgB,wBACd,MAC+C;AAC/C,QAAO,KAA8C;EACnD,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM,CAAC,UAAU,WAAW;EAC5B,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;GAC1C,MAAM,SAAS,MAAM,KAAK,SAAS,UACjC,OACA,MAAM,OACN,EAAE,MAAM,MAAM,SAAS,EACvB,MAAM,OACP;AACD,UAAO;IAAE,OAAO,OAAO;IAAK,OAAO,OAAO,IAAI;IAAI;;EAErD,CAAC;;;;;;;;AASJ,SAAgB,qBACd,MACyC;AACzC,QAAO,KAAwC;EAC7C,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM,CAAC,UAAU,WAAW;EAC5B,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;AAC1C,SAAM,KAAK,SAAS,OAAO,OAAO,MAAM,QAAQ,MAAM,OAAO;AAC7D,UAAO;IAAE,QAAQ,MAAM;IAAQ,WAAW;IAAM;;EAEnD,CAAC;;;;;;;;;;AAWJ,SAAgB,sBACd,MAC2C;AAC3C,QAAO,KAA0C;EAC/C,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM;GAAC;GAAU;GAAY;GAAW;EACxC,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;AAE1C,UAAO,EACL,QAFY,MAAM,KAAK,SAAS,QAAQ,OAAO,MAAM,OAAO,EAE/C,KAAK,OAAO;IACvB,QAAQ,EAAE;IACV,MAAM,EAAE;IACR,GAAI,EAAE,cAAc,SAAY,EAAE,WAAW,EAAE,WAAW,GAAG,EAAE;IAC/D,GAAI,EAAE,YAAY,SAAY,EAAE,SAAS,EAAE,SAAS,GAAG,EAAE;IACzD,GAAI,EAAE,eAAe,SAAY,EAAE,YAAY,EAAE,YAAY,GAAG,EAAE;IAClE,GAAI,EAAE,iBAAiB,SAAY,EAAE,cAAc,EAAE,cAAc,GAAG,EAAE;IACxE,aAAa,EAAE;IAChB,EAAE,EACJ;;EAEJ,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;AA0BJ,SAAgB,uBACd,MAC6C;AAC7C,QAAO,KAA4C;EACjD,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EAGd,eAAe;EACf,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM;GAAC;GAAU;GAAY;GAAS;EACtC,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;AAG1C,SAAM,KAAK,SAAS,SAAS,OAAO,MAAM,QAAQ,MAAM,OAAO;AAC/D,UAAO;IAAE,QAAQ,MAAM;IAAQ,WAAW;IAAM;;EAEnD,CAAC"}
+{"version":3,"file":"fact-tools.js","names":[],"sources":["../../src/tools/fact-tools.ts"],"sourcesContent":["import type { Tool } from '@graphorin/core';\nimport { toolReturn } from '@graphorin/core';\nimport { tool } from '@graphorin/tools';\nimport { z } from 'zod';\nimport { recallTaint } from './taint.js';\nimport type { MemoryToolDeps } from './types.js';\n\nconst sensitivityEnum = z.enum(['public', 'internal', 'secret']);\nconst provenanceEnum = z.enum([\n  'user',\n  'tool',\n  'extraction',\n  'reflection',\n  'induction',\n  'imported',\n]);\n\nconst factRememberInputSchema = z.object({\n  text: z.string().min(1).max(8192),\n  tags: z.array(z.string().min(1).max(64)).max(32).optional(),\n  confidence: z.number().min(0).max(1).optional(),\n  sensitivity: sensitivityEnum.optional(),\n  validFrom: z.string().datetime().optional(),\n  validTo: z.string().datetime().optional(),\n});\nconst factRememberOutputSchema = z.object({\n  factId: z.string(),\n  /**\n   * MRET-3: `true` when the write landed in quarantine (hidden from\n   * default recall until validated). A synthesized consolidator write or\n   * a candidate that tripped the injection heuristics quarantines.\n   */\n  quarantined: z.boolean(),\n  /** Why it was quarantined, when it was. */\n  quarantineReason: z.enum(['injection', 'synthesized']).optional(),\n});\n\n/**\n * W-013: explicit interfaces instead of `z.infer<typeof schema>` - the\n * inferred aliases baked concrete v3 zod object generics into\n * the published d.ts, which do not typecheck under a zod@4 consumer.\n * Interface<->schema equality is pinned by type tests. Optionals carry\n * `| undefined` to match zod's `.optional()` inference exactly.\n */\nexport interface FactRememberInput {\n  text: string;\n  tags?: string[] | undefined;\n  confidence?: number | undefined;\n  sensitivity?: 'public' | 'internal' | 'secret' | undefined;\n  validFrom?: string | undefined;\n  validTo?: string | undefined;\n}\nexport interface FactRememberOutput {\n  factId: string;\n  quarantined: boolean;\n  quarantineReason?: 'injection' | 'synthesized' | undefined;\n}\n\nconst factSearchInputSchema = z.object({\n  query: z.string().min(1).max(1024),\n  topK: z.number().int().positive().max(50).optional(),\n  tags: z.array(z.string().min(1)).max(16).optional(),\n  asOf: z.string().datetime().optional(),\n});\nconst factSearchOutputSchema = z.object({\n  hits: z.array(\n    z.object({\n      factId: z.string(),\n      text: z.string(),\n      score: z.number(),\n      sensitivity: sensitivityEnum,\n      provenance: provenanceEnum.optional(),\n      /**\n       * Set when the fact's validity interval was closed (superseded /\n       * expired). Only present on `asOf` reads - default reads exclude\n       * such facts entirely (memory-retrieval-01).\n       */\n      validTo: z.string().optional(),\n      /** Id of the fact that superseded this one, when any. */\n      supersededBy: z.string().optional(),\n    }),\n  ),\n});\n\nexport interface FactSearchInput {\n  query: string;\n  topK?: number | undefined;\n  tags?: string[] | undefined;\n  asOf?: string | undefined;\n}\nexport interface FactSearchHit {\n  factId: string;\n  text: string;\n  score: number;\n  sensitivity: 'public' | 'internal' | 'secret';\n  provenance?: 'user' | 'tool' | 'extraction' | 'reflection' | 'induction' | 'imported' | undefined;\n  validTo?: string | undefined;\n  supersededBy?: string | undefined;\n}\nexport interface FactSearchOutput {\n  hits: FactSearchHit[];\n}\n\nconst factSupersedeInputSchema = z.object({\n  oldId: z.string().min(1),\n  newText: z.string().min(1).max(8192),\n  reason: z.string().max(512).optional(),\n});\nconst factSupersedeOutputSchema = z.object({\n  oldId: z.string(),\n  newId: z.string(),\n});\n\nexport interface FactSupersedeInput {\n  oldId: string;\n  newText: string;\n  reason?: string | undefined;\n}\nexport interface FactSupersedeOutput {\n  oldId: string;\n  newId: string;\n}\n\nconst factForgetInputSchema = z.object({\n  factId: z.string().min(1),\n  reason: z.string().max(512).optional(),\n});\nconst factForgetOutputSchema = z.object({\n  factId: z.string(),\n  forgotten: z.boolean(),\n});\n\nexport interface FactForgetInput {\n  factId: string;\n  reason?: string | undefined;\n}\nexport interface FactForgetOutput {\n  factId: string;\n  forgotten: boolean;\n}\n\nconst factHistoryInputSchema = z.object({\n  factId: z.string().min(1),\n});\nconst factHistoryOutputSchema = z.object({\n  chain: z.array(\n    z.object({\n      factId: z.string(),\n      text: z.string(),\n      validFrom: z.string().optional(),\n      validTo: z.string().optional(),\n      supersedes: z.string().optional(),\n      supersededBy: z.string().optional(),\n      sensitivity: sensitivityEnum,\n    }),\n  ),\n});\n\nexport interface FactHistoryInput {\n  factId: string;\n}\nexport interface FactHistoryEntry {\n  factId: string;\n  text: string;\n  validFrom?: string | undefined;\n  validTo?: string | undefined;\n  supersedes?: string | undefined;\n  supersededBy?: string | undefined;\n  sensitivity: 'public' | 'internal' | 'secret';\n}\nexport interface FactHistoryOutput {\n  chain: FactHistoryEntry[];\n}\n\nconst factValidateInputSchema = z.object({\n  factId: z.string().min(1),\n  reason: z.string().max(512).optional(),\n});\nconst factValidateOutputSchema = z.object({\n  factId: z.string(),\n  validated: z.boolean(),\n});\n\nexport interface FactValidateInput {\n  factId: string;\n  reason?: string | undefined;\n}\nexport interface FactValidateOutput {\n  factId: string;\n  validated: boolean;\n}\n\n// W-013 parity gate (compile-time only, erased from the build and the\n// d.ts): each explicit interface must stay MUTUALLY assignable with its\n// schema's inference - a drifted transcription fails `tsc` right here.\ntype W013Equals<A, B> = A extends B ? (B extends A ? true : false) : false;\ntype W013Assert<T extends true> = T;\ntype _W013Check1 = W013Assert<\n  W013Equals<FactRememberInput, z.infer<typeof factRememberInputSchema>>\n>;\ntype _W013Check2 = W013Assert<\n  W013Equals<FactRememberOutput, z.infer<typeof factRememberOutputSchema>>\n>;\ntype _W013Check3 = W013Assert<W013Equals<FactSearchInput, z.infer<typeof factSearchInputSchema>>>;\ntype _W013Check4 = W013Assert<W013Equals<FactSearchOutput, z.infer<typeof factSearchOutputSchema>>>;\ntype _W013Check5 = W013Assert<\n  W013Equals<FactSupersedeInput, z.infer<typeof factSupersedeInputSchema>>\n>;\ntype _W013Check6 = W013Assert<\n  W013Equals<FactSupersedeOutput, z.infer<typeof factSupersedeOutputSchema>>\n>;\ntype _W013Check7 = W013Assert<W013Equals<FactForgetInput, z.infer<typeof factForgetInputSchema>>>;\ntype _W013Check8 = W013Assert<W013Equals<FactForgetOutput, z.infer<typeof factForgetOutputSchema>>>;\ntype _W013Check9 = W013Assert<W013Equals<FactHistoryInput, z.infer<typeof factHistoryInputSchema>>>;\ntype _W013Check10 = W013Assert<\n  W013Equals<FactHistoryOutput, z.infer<typeof factHistoryOutputSchema>>\n>;\ntype _W013Check11 = W013Assert<\n  W013Equals<FactValidateInput, z.infer<typeof factValidateInputSchema>>\n>;\ntype _W013Check12 = W013Assert<\n  W013Equals<FactValidateOutput, z.infer<typeof factValidateOutputSchema>>\n>;\n\n/**\n * `fact_remember` - persist a single semantic fact. The minimum-viable\n * pipeline writes the fact straight through with MD5 deduplication;\n * Phase 10b extends the body with the multi-stage conflict resolution.\n *\n * @stable\n */\nexport function createFactRememberTool(\n  deps: MemoryToolDeps,\n): Tool<FactRememberInput, FactRememberOutput> {\n  return tool<FactRememberInput, FactRememberOutput>({\n    name: 'fact_remember',\n    description:\n      'Persist an atomic factual statement about the user, the world, or the current session. Prefer one fact per call; the system applies dedup + conflict resolution downstream. Pass `validFrom` / `validTo` for bi-temporal facts and `sensitivity` to control redaction.',\n    inputSchema: factRememberInputSchema,\n    outputSchema: factRememberOutputSchema,\n    sideEffectClass: 'side-effecting',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'memory-aware',\n    tags: ['memory', 'semantic'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      const outcome = await deps.semantic.rememberWithDecision(scope, {\n        text: input.text,\n        ...(input.tags !== undefined ? { tags: input.tags } : {}),\n        ...(input.confidence !== undefined ? { confidence: input.confidence } : {}),\n        ...(input.sensitivity !== undefined ? { sensitivity: input.sensitivity } : {}),\n        ...(input.validFrom !== undefined ? { validFrom: input.validFrom } : {}),\n        ...(input.validTo !== undefined ? { validTo: input.validTo } : {}),\n      });\n      // MRET-3: tell the caller when the write was quarantined so a\n      // poisoned fact cannot masquerade as a normally-stored one.\n      return {\n        factId: outcome.fact.id,\n        quarantined: outcome.fact.status === 'quarantined',\n        ...(outcome.quarantineReason !== undefined\n          ? { quarantineReason: outcome.quarantineReason }\n          : {}),\n      };\n    },\n  });\n}\n\n/**\n * `fact_search` - hybrid (vector + FTS5) search over the user's\n * semantic memory. Results merged through the configured reranker.\n *\n * @stable\n */\nexport function createFactSearchTool(\n  deps: MemoryToolDeps,\n): Tool<FactSearchInput, FactSearchOutput> {\n  return tool<FactSearchInput, FactSearchOutput>({\n    name: 'fact_search',\n    description:\n      \"Search the user's long-term factual memory by natural-language query. Returns up to `topK` matched facts with their score and sensitivity. Use this BEFORE asking the user a question they may have answered earlier. Pass `asOf` (ISO-8601) to read memory as it was at a past instant - point-in-time / 'what was true on date X' - instead of the current state.\",\n    inputSchema: factSearchInputSchema,\n    outputSchema: factSearchOutputSchema,\n    sideEffectClass: 'read-only',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'pure',\n    tags: ['memory', 'semantic'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      const hits = await deps.semantic.search(scope, input.query, {\n        ...(input.topK !== undefined ? { topK: input.topK } : {}),\n        // MRET-4: forward the tags filter - it was accepted by the\n        // schema and silently dropped here.\n        ...(input.tags !== undefined && input.tags.length > 0 ? { tags: input.tags } : {}),\n        ...(input.asOf !== undefined ? { asOf: input.asOf } : {}),\n        signal: ctx.signal,\n      });\n      const output = {\n        hits: hits.map((hit) => ({\n          factId: hit.record.id,\n          text: hit.record.text,\n          score: hit.score,\n          sensitivity: hit.record.sensitivity,\n          ...(hit.record.provenance !== undefined ? { provenance: hit.record.provenance } : {}),\n          // memory-retrieval-01: surface validity metadata so the model\n          // can tell a historical (asOf) hit from a current one.\n          ...(hit.record.validTo !== undefined ? { validTo: hit.record.validTo } : {}),\n          ...(hit.record.supersededBy !== undefined\n            ? { supersededBy: hit.record.supersededBy }\n            : {}),\n        })),\n      };\n      // C6: recalled quarantined / foreign-provenance content re-arms the\n      // taint ledger - the cross-session poisoning leg.\n      const taint = recallTaint(hits.map((h) => h.record));\n      return taint === undefined ? output : toolReturn({ output, taint });\n    },\n  });\n}\n\n/**\n * `fact_supersede` - soft-supersede an old fact by storing a new one\n * that replaces it. The old fact is kept for replay but no longer\n * surfaced by default reads (they evaluate validity at NOW); it stays\n * reachable via `asOf` / inspector paths.\n *\n * @stable\n */\nexport function createFactSupersedeTool(\n  deps: MemoryToolDeps,\n): Tool<FactSupersedeInput, FactSupersedeOutput> {\n  return tool<FactSupersedeInput, FactSupersedeOutput>({\n    name: 'fact_supersede',\n    description:\n      \"Mark an old fact superseded by a new one. Use this when the user's situation changed (moved cities, updated a goal, switched a preference) - the old fact is preserved for replay but no longer surfaced as current.\",\n    inputSchema: factSupersedeInputSchema,\n    outputSchema: factSupersedeOutputSchema,\n    sideEffectClass: 'side-effecting',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'memory-aware',\n    tags: ['memory', 'semantic'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      const result = await deps.semantic.supersede(\n        scope,\n        input.oldId,\n        { text: input.newText },\n        input.reason,\n      );\n      return { oldId: result.old, newId: result.new.id };\n    },\n  });\n}\n\n/**\n * `fact_forget` - soft-delete a fact (kept for replay; never hard-\n * deleted at this layer).\n *\n * @stable\n */\nexport function createFactForgetTool(\n  deps: MemoryToolDeps,\n): Tool<FactForgetInput, FactForgetOutput> {\n  return tool<FactForgetInput, FactForgetOutput>({\n    name: 'fact_forget',\n    description:\n      'Soft-delete a fact. The record is preserved for replay but no longer surfaced by fact_search. Use only for explicit user-driven removal (privacy / user request).',\n    inputSchema: factForgetInputSchema,\n    outputSchema: factForgetOutputSchema,\n    sideEffectClass: 'side-effecting',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'memory-aware',\n    tags: ['memory', 'semantic'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      await deps.semantic.forget(scope, input.factId, input.reason);\n      return { factId: input.factId, forgotten: true };\n    },\n  });\n}\n\n/**\n * `fact_history` - trace how a fact changed over time. Returns the\n * full bi-temporal supersede chain the given fact belongs to, oldest →\n * newest, including superseded entries, so the agent can answer \"what\n * did the user say before\" / \"how did this change\". Read-only. P0-2.\n *\n * @stable\n */\nexport function createFactHistoryTool(\n  deps: MemoryToolDeps,\n): Tool<FactHistoryInput, FactHistoryOutput> {\n  return tool<FactHistoryInput, FactHistoryOutput>({\n    name: 'fact_history',\n    description:\n      \"Trace how a fact changed over time. Given a factId, returns its full bi-temporal supersede chain (oldest → newest), including superseded entries, with each entry's validFrom/validTo. Use this to answer 'how did this change' or 'what was the previous value'.\",\n    inputSchema: factHistoryInputSchema,\n    outputSchema: factHistoryOutputSchema,\n    sideEffectClass: 'read-only',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'pure',\n    tags: ['memory', 'semantic', 'temporal'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      const chain = await deps.semantic.history(scope, input.factId);\n      return {\n        chain: chain.map((f) => ({\n          factId: f.id,\n          text: f.text,\n          ...(f.validFrom !== undefined ? { validFrom: f.validFrom } : {}),\n          ...(f.validTo !== undefined ? { validTo: f.validTo } : {}),\n          ...(f.supersedes !== undefined ? { supersedes: f.supersedes } : {}),\n          ...(f.supersededBy !== undefined ? { supersededBy: f.supersededBy } : {}),\n          sensitivity: f.sensitivity,\n        })),\n      };\n    },\n  });\n}\n\n/**\n * `fact_validate` - promote a quarantined fact to active (P1-4). The\n * validation path that admits a synthesized (consolidator / reflection)\n * memory into action-driving recall once it has been reviewed; the\n * promotion is audited in `memory_history`.\n *\n * MRET-3 / MST-1 - two gates close the one-turn memory-poisoning chain\n * (`fact_remember(poison)` → `fact_validate(id)` → active recall):\n *\n * 1. `needsApproval: true` - the run suspends for a human decision\n *    before this tool ever executes, so the agent cannot silently\n *    promote any quarantined fact.\n * 2. The underlying `SemanticMemory.validate(...)` re-checks the fact's\n *    text against the injection heuristics and **refuses** (no `force`\n *    is passed here) - an injection-flagged memory cannot be promoted by\n *    the agent at all. Only an operator, via the programmatic API with\n *    `{ force: true }`, can override after review.\n *\n * Synthesized-but-clean consolidator writes promote normally once\n * approved.\n *\n * @stable\n */\nexport function createFactValidateTool(\n  deps: MemoryToolDeps,\n): Tool<FactValidateInput, FactValidateOutput> {\n  return tool<FactValidateInput, FactValidateOutput>({\n    name: 'fact_validate',\n    description:\n      'Promote a quarantined fact to active so it becomes eligible for normal recall. Quarantined facts are memories the system synthesized or flagged as risky; validating one is a deliberate, human-approved admission and never a routine step. This action requires approval, and facts flagged as prompt-injection cannot be promoted here - they are an operator-only decision.',\n    inputSchema: factValidateInputSchema,\n    outputSchema: factValidateOutputSchema,\n    // MRET-3: the only real gate on a model-callable tool - suspend the\n    // run for a human decision before promoting anything out of quarantine.\n    needsApproval: true,\n    sideEffectClass: 'side-effecting',\n    sandboxPolicy: 'none',\n    sensitivity: 'internal',\n    memoryGuardTier: 'memory-aware',\n    tags: ['memory', 'semantic', 'safety'],\n    async execute(input, ctx) {\n      const scope = await deps.resolveScope(ctx);\n      // No `force`: the agent path can never promote an injection-flagged\n      // fact (validate throws QuarantinePromotionRefusedError for those).\n      await deps.semantic.validate(scope, input.factId, input.reason);\n      return { factId: input.factId, validated: true };\n    },\n  });\n}\n"],"mappings":";;;;;;AAOA,MAAM,kBAAkB,EAAE,KAAK;CAAC;CAAU;CAAY;CAAS,CAAC;AAChE,MAAM,iBAAiB,EAAE,KAAK;CAC5B;CACA;CACA;CACA;CACA;CACA;CACD,CAAC;AAEF,MAAM,0BAA0B,EAAE,OAAO;CACvC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK;CACjC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU;CAC3D,YAAY,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU;CAC/C,aAAa,gBAAgB,UAAU;CACvC,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU;CAC3C,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU;CAC1C,CAAC;AACF,MAAM,2BAA2B,EAAE,OAAO;CACxC,QAAQ,EAAE,QAAQ;CAMlB,aAAa,EAAE,SAAS;CAExB,kBAAkB,EAAE,KAAK,CAAC,aAAa,cAAc,CAAC,CAAC,UAAU;CAClE,CAAC;AAuBF,MAAM,wBAAwB,EAAE,OAAO;CACrC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK;CAClC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,UAAU;CACpD,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU;CACnD,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU;CACvC,CAAC;AACF,MAAM,yBAAyB,EAAE,OAAO,EACtC,MAAM,EAAE,MACN,EAAE,OAAO;CACP,QAAQ,EAAE,QAAQ;CAClB,MAAM,EAAE,QAAQ;CAChB,OAAO,EAAE,QAAQ;CACjB,aAAa;CACb,YAAY,eAAe,UAAU;CAMrC,SAAS,EAAE,QAAQ,CAAC,UAAU;CAE9B,cAAc,EAAE,QAAQ,CAAC,UAAU;CACpC,CAAC,CACH,EACF,CAAC;AAqBF,MAAM,2BAA2B,EAAE,OAAO;CACxC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;CACxB,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK;CACpC,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;CACvC,CAAC;AACF,MAAM,4BAA4B,EAAE,OAAO;CACzC,OAAO,EAAE,QAAQ;CACjB,OAAO,EAAE,QAAQ;CAClB,CAAC;AAYF,MAAM,wBAAwB,EAAE,OAAO;CACrC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;CACzB,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;CACvC,CAAC;AACF,MAAM,yBAAyB,EAAE,OAAO;CACtC,QAAQ,EAAE,QAAQ;CAClB,WAAW,EAAE,SAAS;CACvB,CAAC;AAWF,MAAM,yBAAyB,EAAE,OAAO,EACtC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,EAC1B,CAAC;AACF,MAAM,0BAA0B,EAAE,OAAO,EACvC,OAAO,EAAE,MACP,EAAE,OAAO;CACP,QAAQ,EAAE,QAAQ;CAClB,MAAM,EAAE,QAAQ;CAChB,WAAW,EAAE,QAAQ,CAAC,UAAU;CAChC,SAAS,EAAE,QAAQ,CAAC,UAAU;CAC9B,YAAY,EAAE,QAAQ,CAAC,UAAU;CACjC,cAAc,EAAE,QAAQ,CAAC,UAAU;CACnC,aAAa;CACd,CAAC,CACH,EACF,CAAC;AAkBF,MAAM,0BAA0B,EAAE,OAAO;CACvC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;CACzB,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;CACvC,CAAC;AACF,MAAM,2BAA2B,EAAE,OAAO;CACxC,QAAQ,EAAE,QAAQ;CAClB,WAAW,EAAE,SAAS;CACvB,CAAC;;;;;;;;AAkDF,SAAgB,uBACd,MAC6C;AAC7C,QAAO,KAA4C;EACjD,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM,CAAC,UAAU,WAAW;EAC5B,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;GAC1C,MAAM,UAAU,MAAM,KAAK,SAAS,qBAAqB,OAAO;IAC9D,MAAM,MAAM;IACZ,GAAI,MAAM,SAAS,SAAY,EAAE,MAAM,MAAM,MAAM,GAAG,EAAE;IACxD,GAAI,MAAM,eAAe,SAAY,EAAE,YAAY,MAAM,YAAY,GAAG,EAAE;IAC1E,GAAI,MAAM,gBAAgB,SAAY,EAAE,aAAa,MAAM,aAAa,GAAG,EAAE;IAC7E,GAAI,MAAM,cAAc,SAAY,EAAE,WAAW,MAAM,WAAW,GAAG,EAAE;IACvE,GAAI,MAAM,YAAY,SAAY,EAAE,SAAS,MAAM,SAAS,GAAG,EAAE;IAClE,CAAC;AAGF,UAAO;IACL,QAAQ,QAAQ,KAAK;IACrB,aAAa,QAAQ,KAAK,WAAW;IACrC,GAAI,QAAQ,qBAAqB,SAC7B,EAAE,kBAAkB,QAAQ,kBAAkB,GAC9C,EAAE;IACP;;EAEJ,CAAC;;;;;;;;AASJ,SAAgB,qBACd,MACyC;AACzC,QAAO,KAAwC;EAC7C,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM,CAAC,UAAU,WAAW;EAC5B,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;GAC1C,MAAM,OAAO,MAAM,KAAK,SAAS,OAAO,OAAO,MAAM,OAAO;IAC1D,GAAI,MAAM,SAAS,SAAY,EAAE,MAAM,MAAM,MAAM,GAAG,EAAE;IAGxD,GAAI,MAAM,SAAS,UAAa,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,MAAM,MAAM,GAAG,EAAE;IACjF,GAAI,MAAM,SAAS,SAAY,EAAE,MAAM,MAAM,MAAM,GAAG,EAAE;IACxD,QAAQ,IAAI;IACb,CAAC;GACF,MAAM,SAAS,EACb,MAAM,KAAK,KAAK,SAAS;IACvB,QAAQ,IAAI,OAAO;IACnB,MAAM,IAAI,OAAO;IACjB,OAAO,IAAI;IACX,aAAa,IAAI,OAAO;IACxB,GAAI,IAAI,OAAO,eAAe,SAAY,EAAE,YAAY,IAAI,OAAO,YAAY,GAAG,EAAE;IAGpF,GAAI,IAAI,OAAO,YAAY,SAAY,EAAE,SAAS,IAAI,OAAO,SAAS,GAAG,EAAE;IAC3E,GAAI,IAAI,OAAO,iBAAiB,SAC5B,EAAE,cAAc,IAAI,OAAO,cAAc,GACzC,EAAE;IACP,EAAE,EACJ;GAGD,MAAM,QAAQ,YAAY,KAAK,KAAK,MAAM,EAAE,OAAO,CAAC;AACpD,UAAO,UAAU,SAAY,SAAS,WAAW;IAAE;IAAQ;IAAO,CAAC;;EAEtE,CAAC;;;;;;;;;;AAWJ,SAAgB,wBACd,MAC+C;AAC/C,QAAO,KAA8C;EACnD,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM,CAAC,UAAU,WAAW;EAC5B,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;GAC1C,MAAM,SAAS,MAAM,KAAK,SAAS,UACjC,OACA,MAAM,OACN,EAAE,MAAM,MAAM,SAAS,EACvB,MAAM,OACP;AACD,UAAO;IAAE,OAAO,OAAO;IAAK,OAAO,OAAO,IAAI;IAAI;;EAErD,CAAC;;;;;;;;AASJ,SAAgB,qBACd,MACyC;AACzC,QAAO,KAAwC;EAC7C,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM,CAAC,UAAU,WAAW;EAC5B,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;AAC1C,SAAM,KAAK,SAAS,OAAO,OAAO,MAAM,QAAQ,MAAM,OAAO;AAC7D,UAAO;IAAE,QAAQ,MAAM;IAAQ,WAAW;IAAM;;EAEnD,CAAC;;;;;;;;;;AAWJ,SAAgB,sBACd,MAC2C;AAC3C,QAAO,KAA0C;EAC/C,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EACd,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM;GAAC;GAAU;GAAY;GAAW;EACxC,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;AAE1C,UAAO,EACL,QAFY,MAAM,KAAK,SAAS,QAAQ,OAAO,MAAM,OAAO,EAE/C,KAAK,OAAO;IACvB,QAAQ,EAAE;IACV,MAAM,EAAE;IACR,GAAI,EAAE,cAAc,SAAY,EAAE,WAAW,EAAE,WAAW,GAAG,EAAE;IAC/D,GAAI,EAAE,YAAY,SAAY,EAAE,SAAS,EAAE,SAAS,GAAG,EAAE;IACzD,GAAI,EAAE,eAAe,SAAY,EAAE,YAAY,EAAE,YAAY,GAAG,EAAE;IAClE,GAAI,EAAE,iBAAiB,SAAY,EAAE,cAAc,EAAE,cAAc,GAAG,EAAE;IACxE,aAAa,EAAE;IAChB,EAAE,EACJ;;EAEJ,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;AA0BJ,SAAgB,uBACd,MAC6C;AAC7C,QAAO,KAA4C;EACjD,MAAM;EACN,aACE;EACF,aAAa;EACb,cAAc;EAGd,eAAe;EACf,iBAAiB;EACjB,eAAe;EACf,aAAa;EACb,iBAAiB;EACjB,MAAM;GAAC;GAAU;GAAY;GAAS;EACtC,MAAM,QAAQ,OAAO,KAAK;GACxB,MAAM,QAAQ,MAAM,KAAK,aAAa,IAAI;AAG1C,SAAM,KAAK,SAAS,SAAS,OAAO,MAAM,QAAQ,MAAM,OAAO;AAC/D,UAAO;IAAE,QAAQ,MAAM;IAAQ,WAAW;IAAM;;EAEnD,CAAC"}