@fgv/ts-agent-memory 5.1.0-39 → 5.1.0-41

package/dist/packlets/tools/memoryTools.js

@@ -20,11 +20,24 @@ export const DEFAULT_MEMORY_TOOLS = ['memory_search', 'memory_context'];
 // NONE of these declare a `scope` (or scope-widening) property — the adoption
 // gate is enforced structurally and asserted in the tests.
 // ---------------------------------------------------------------------------
+/**
+ * The scope-qualified target of a link edge authored by the agent on a write.
+ * `scope` is optional: when omitted it defaults to the writing record's OWN
+ * resolved scope (the common same-conversation case); supply it explicitly to
+ * point an edge at a record in a different scope.
+ */
+// eslint-disable-next-line @rushstack/typedef-var
+const linkTargetSchema = JsonSchema.object({
+    id: JsonSchema.string({ description: 'The MemoryId of the record this edge points at.' }),
+    scope: JsonSchema.optional(JsonSchema.string({
+        description: "The target record's scope. Defaults to the writing record's own scope when omitted."
+    }))
+});
 /** A single attributed link edge as authored by the agent on a write. */
 // eslint-disable-next-line @rushstack/typedef-var
 const linkEdgeSchema = JsonSchema.object({
     type: JsonSchema.string({ description: 'The relation type of the link.' }),
-    target: JsonSchema.string({ description: 'The MemoryId this edge points at.' }),
+    target: linkTargetSchema,
     confidence: JsonSchema.optional(JsonSchema.number({ description: 'Optional confidence in [0, 1].' }))
 });
 // eslint-disable-next-line @rushstack/typedef-var
@@ -40,7 +53,8 @@ const writeSchema = JsonSchema.object({
 // eslint-disable-next-line @rushstack/typedef-var
 const readSchema = JsonSchema.object({
     kind: JsonSchema.string({ description: 'The record kind.' }),
-    entityId: JsonSchema.string({ description: 'The domain entity id to read.' })
+    entityId: JsonSchema.string({ description: 'The domain entity id to read.' }),
+    detail: JsonSchema.optional(JsonSchema.enumOf(['gist', 'full'], { description: "'gist' | 'full' (default)." }))
 });
 // eslint-disable-next-line @rushstack/typedef-var
 const deleteSchema = JsonSchema.object({
@@ -52,15 +66,33 @@ const searchSchema = JsonSchema.object({
     kind: JsonSchema.optional(JsonSchema.string({ description: 'Restrict to this kind.' })),
     tag: JsonSchema.optional(JsonSchema.string({ description: 'Restrict to records carrying this tag.' })),
     semantic: JsonSchema.optional(JsonSchema.string({ description: 'Semantic query text (requires a semantic-capable retriever).' })),
-    limit: JsonSchema.optional(JsonSchema.integer({ description: 'Maximum number of results to return.' }))
+    limit: JsonSchema.optional(JsonSchema.integer({ description: 'Maximum number of results to return.' })),
+    offset: JsonSchema.optional(JsonSchema.integer({ description: 'Number of results to skip after ordering, before limit. Default 0.' })),
+    detail: JsonSchema.optional(JsonSchema.enumOf(['gist', 'full'], { description: "'gist' (default) | 'full'." }))
+});
+/**
+ * The scope-qualified seed a `memory_context` traversal starts from. Nested
+ * `{ id, scope }` shape like a link target, but — unlike a write edge — there is
+ * no writing record to default the scope from, so `scope` is REQUIRED to
+ * disambiguate the seed across scopes (a bare stem like `turn-3` is otherwise
+ * ambiguous). It is schema-required (not just runtime-required) so the wire
+ * schema an LLM reads never advertises an optionality the tool does not honor.
+ */
+// eslint-disable-next-line @rushstack/typedef-var
+const contextSeedSchema = JsonSchema.object({
+    id: JsonSchema.string({ description: 'The MemoryId of the seed record to traverse links from.' }),
+    scope: JsonSchema.string({
+        description: 'The scope of the seed record (required — a bare seed id is ambiguous across scopes).'
+    })
 });
 // eslint-disable-next-line @rushstack/typedef-var
 const contextSchema = JsonSchema.object({
-    from: JsonSchema.string({ description: 'The seed MemoryId to traverse links from.' }),
+    from: contextSeedSchema,
     kind: JsonSchema.optional(JsonSchema.string({ description: 'Restrict reached records to this kind.' })),
     tag: JsonSchema.optional(JsonSchema.string({ description: 'Restrict reached records carrying this tag.' })),
     hops: JsonSchema.optional(JsonSchema.integer({ description: 'BFS hop count (default 1).' })),
-    limit: JsonSchema.optional(JsonSchema.integer({ description: 'Maximum number of results to return.' }))
+    limit: JsonSchema.optional(JsonSchema.integer({ description: 'Maximum number of results to return.' })),
+    detail: JsonSchema.optional(JsonSchema.enumOf(['gist', 'full'], { description: "'gist' (default) | 'full'." }))
 });
 // ---------------------------------------------------------------------------
 // Behavior annotations (Component 4) — host-advisory hints; never serialized to
@@ -102,8 +134,16 @@ function resolveOptionalKind(ctx, kindStr) {
     }
     return assertKindEnabled(ctx, kindStr);
 }
-/** Project a record into an agent-visible result item, applying the host handle hook when present. */
-function projectItem(ctx, record) {
+/**
+ * Resolve the requested detail tier from the optional tool `detail` string.
+ * `'full'` is the only opt-in value; every other input (absent, or an
+ * unrecognized string) resolves safely to the bounded default `'gist'`.
+ */
+function resolveDetail(detail) {
+    return detail === 'full' ? 'full' : 'gist';
+}
+/** The built-in default projection: full body plus the guarded host handle. Ignores the detail tier. */
+function defaultProjectItem(ctx, record) {
     // `handleFor` is a host callback; guard it so a throw degrades to the raw id rather than
     // escaping the Result chain (and crashing the whole search/context call).
     const handle = ctx.handleFor !== undefined
@@ -117,6 +157,22 @@ function projectItem(ctx, record) {
         body: record.body
     };
 }
+/**
+ * Project a record into an agent-visible result item at the requested detail
+ * tier. When a host {@link ICreateMemoryToolsParams.projectItem | projectItem}
+ * is supplied it owns the projection; otherwise the built-in
+ * {@link defaultProjectItem} (full body) is used. The host callback is guarded
+ * like `handleFor` — a throw degrades to the default full-body projection for
+ * that item rather than failing the whole search/context call.
+ */
+function projectItem(ctx, record, detail) {
+    if (ctx.projectItem === undefined) {
+        return defaultProjectItem(ctx, record);
+    }
+    // Guard the host projector like `handleFor`: a throw degrades to the built-in
+    // full-body projection (itself throw-safe) rather than escaping the chain.
+    return captureResult(() => ctx.projectItem(record, detail)).orDefault(defaultProjectItem(ctx, record));
+}
 /** Resolve the identity codec used by `memory_write` to derive the storage id. */
 function codecForWrite(ctx, kind) {
     var _a, _b;
@@ -127,11 +183,16 @@ function codecForWrite(ctx, kind) {
     return succeed(codec);
 }
 /** Build the record to persist from validated write args (store stamps txn-time metadata). */
-function buildWriteRecord(typed, kind, entityId, idStem) {
+function buildWriteRecord(typed, kind, entityId, idStem, sourceScope) {
     var _a, _b;
     // Plain shapes handed to `envelopeConverter`, which validates each field
-    // (type → LinkType, target → MemoryId) and produces the branded IEdge[].
-    const links = ((_a = typed.links) !== null && _a !== void 0 ? _a : []).map((link) => (Object.assign({ type: link.type, target: link.target }, (link.confidence !== undefined ? { confidence: link.confidence } : {}))));
+    // (type → LinkType, target → { scope, id }) and produces the branded IEdge[].
+    // An edge target with no explicit `scope` defaults to the writing record's own
+    // resolved scope — the same-conversation case authors just an id.
+    const links = ((_a = typed.links) !== null && _a !== void 0 ? _a : []).map((link) => {
+        var _a;
+        return (Object.assign({ type: link.type, target: { scope: (_a = link.target.scope) !== null && _a !== void 0 ? _a : sourceScope, id: link.target.id } }, (link.confidence !== undefined ? { confidence: link.confidence } : {})));
+    });
     return envelopeConverter
         .convert({
         id: idStem,
@@ -154,7 +215,7 @@ function prepareWrite(ctx, typed) {
         if (addr.isVersioned) {
             return fail(`memory_write: versioned/temporal kind '${kind}' is not supported`);
         }
-        return buildWriteRecord(typed, kind, entityId, addr.idStem).onSuccess((record) => succeed({ kind, entityId, record }));
+        return buildWriteRecord(typed, kind, entityId, addr.idStem, addr.scope).onSuccess((record) => succeed({ kind, entityId, record }));
     }))));
 }
 /**
@@ -226,10 +287,15 @@ function buildReadTool(ctx) {
         execute: async (args) => readSchema
             .convert(args)
             .withErrorFormat((msg) => `memory_read: invalid arguments: ${msg}`)
-            .onSuccess((typed) => assertKindEnabled(ctx, typed.kind).onSuccess((kind) => Convert.entityId.convert(typed.entityId).onSuccess((entityId) => succeed({ kind, entityId }))))
-            .thenOnSuccess(async ({ kind, entityId }) => (await ctx.store.get(kind, entityId)).onSuccess((record) => record === undefined
+            .onSuccess((typed) => assertKindEnabled(ctx, typed.kind).onSuccess((kind) => Convert.entityId.convert(typed.entityId).onSuccess((entityId) => {
+            // `memory_read` is the explicit drill-in path, so its detail default is
+            // INVERTED vs search/context: `'full'` unless the caller opts down to `'gist'`.
+            const detail = typed.detail === 'gist' ? 'gist' : 'full';
+            return succeed({ kind, entityId, detail });
+        })))
+            .thenOnSuccess(async ({ kind, entityId, detail }) => (await ctx.store.get(kind, entityId)).onSuccess((record) => record === undefined
             ? succeed({ found: false })
-            : succeed({ found: true, item: projectItem(ctx, record) })))
+            : succeed({ found: true, item: projectItem(ctx, record, detail) })))
     };
 }
 function buildSearchTool(ctx) {
@@ -246,8 +312,9 @@ function buildSearchTool(ctx) {
             .withErrorFormat((msg) => `memory_search: invalid arguments: ${msg}`)
             .onSuccess((typed) => resolveOptionalKind(ctx, typed.kind).onSuccess((kind) => resolveOptionalTag(typed.tag).onSuccess((tag) => succeed({ typed, kind, tag }))))
             .thenOnSuccess(async ({ typed, kind, tag }) => {
-            const query = Object.assign(Object.assign(Object.assign(Object.assign({}, (kind !== undefined ? { kind } : {})), (tag !== undefined ? { tag } : {})), (typed.semantic !== undefined ? { semantic: typed.semantic } : {})), (typed.limit !== undefined ? { limit: typed.limit } : {}));
-            return (await ctx.retriever.retrieve(query)).onSuccess((records) => succeed({ count: records.length, results: records.map((r) => projectItem(ctx, r)) }));
+            const detail = resolveDetail(typed.detail);
+            const query = Object.assign(Object.assign(Object.assign(Object.assign(Object.assign({}, (kind !== undefined ? { kind } : {})), (tag !== undefined ? { tag } : {})), (typed.semantic !== undefined ? { semantic: typed.semantic } : {})), (typed.limit !== undefined ? { limit: typed.limit } : {})), (typed.offset !== undefined ? { offset: typed.offset } : {}));
+            return (await ctx.retriever.retrieve(query)).onSuccess((records) => succeed({ count: records.length, results: records.map((r) => projectItem(ctx, r, detail)) }));
         })
     };
 }
@@ -263,12 +330,15 @@ function buildContextTool(ctx) {
         execute: async (args) => contextSchema
             .convert(args)
             .withErrorFormat((msg) => `memory_context: invalid arguments: ${msg}`)
-            .onSuccess((typed) => Convert.memoryId
-            .convert(typed.from)
-            .onSuccess((from) => resolveOptionalKind(ctx, typed.kind).onSuccess((kind) => resolveOptionalTag(typed.tag).onSuccess((tag) => succeed({ typed, from, kind, tag })))))
+            .onSuccess((typed) => resolveContextSeed(typed.from).onSuccess((from) => resolveOptionalKind(ctx, typed.kind).onSuccess((kind) => resolveOptionalTag(typed.tag).onSuccess((tag) => succeed({ typed, from, kind, tag })))))
             .thenOnSuccess(async ({ typed, from, kind, tag }) => {
+            const detail = resolveDetail(typed.detail);
             const query = Object.assign(Object.assign(Object.assign(Object.assign({ linkedFrom: from }, (kind !== undefined ? { kind } : {})), (tag !== undefined ? { tag } : {})), (typed.hops !== undefined ? { hops: typed.hops } : {})), (typed.limit !== undefined ? { limit: typed.limit } : {}));
-            return (await ctx.retriever.retrieve(query)).onSuccess((records) => succeed({ seed: from, count: records.length, results: records.map((r) => projectItem(ctx, r)) }));
+            return (await ctx.retriever.retrieve(query)).onSuccess((records) => succeed({
+                seed: from,
+                count: records.length,
+                results: records.map((r) => projectItem(ctx, r, detail))
+            }));
         })
     };
 }
@@ -288,6 +358,18 @@ function buildDeleteTool(ctx) {
             .thenOnSuccess(async ({ kind, entityId }) => (await ctx.store.delete(kind, entityId)).onSuccess((id) => succeed({ deleted: true, id, entityId, kind })))
     };
 }
+/**
+ * Resolve a `memory_context` seed argument into a scope-qualified
+ * {@link IEdgeTarget}. Both `id` and `scope` are present here — the tool's
+ * `parametersSchema` ({@link contextSeedSchema}) makes `scope` schema-required —
+ * so this only brands the two fields; a malformed value fails via the branded
+ * converters (e.g. a path-unsafe seed id).
+ */
+function resolveContextSeed(from) {
+    return Convert.memoryId
+        .convert(from.id)
+        .onSuccess((id) => Convert.scopeKey.convert(from.scope).onSuccess((scope) => succeed({ scope, id })));
+}
 /** Validate an optional `tag` string (`undefined` passes through). */
 function resolveOptionalTag(tagStr) {
     if (tagStr === undefined) {
@@ -329,7 +411,8 @@ export function createMemoryTools(params) {
         kinds: params.kinds,
         codecs: params.codecs,
         defaultCodec: params.defaultCodec,
-        handleFor: params.handleFor
+        handleFor: params.handleFor,
+        projectItem: params.projectItem
     };
     const selected = new Set((_a = params.tools) !== null && _a !== void 0 ? _a : DEFAULT_MEMORY_TOOLS);
     return TOOL_BUILDERS.filter((builder) => selected.has(builder.name)).map((builder) => builder.build(ctx));

package/dist/packlets/tools/memoryTools.js.map

@@ -1 +1 @@
-{"version":3,"file":"memoryTools.js","sourceRoot":"","sources":["../../../src/packlets/tools/memoryTools.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAU,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAE,OAAO,EAAgE,MAAM,UAAU,CAAC;AACjG,OAAO,EAA0B,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAgB1E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAkC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;AAsHvG,8EAA8E;AAC9E,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,2DAA2D;AAC3D,8EAA8E;AAE9E,yEAAyE;AACzE,kDAAkD;AAClD,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gCAAgC,EAAE,CAAC;IAC1E,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,mCAAmC,EAAE,CAAC;IAC/E,UAAU,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gCAAgC,EAAE,CAAC,CAAC;CACtG,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wDAAwD,EAAE,CAAC;IAClG,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC;QAC1B,WAAW,EACT,8FAA8F;KACjG,CAAC;IACF,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gEAAgE,EAAE,CAAC;IAC1G,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;IAC/F,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;CAC7D,CAAC,CAAC;AAGH,kDAAkD;AAClD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAC5D,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,+BAA+B,EAAE,CAAC;CAC9E,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAC5D,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,iCAAiC,EAAE,CAAC;CAChF,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wBAAwB,EAAE,CAAC,CAAC;IACvF,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wCAAwC,EAAE,CAAC,CAAC;IACtG,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAC3B,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,8DAA8D,EAAE,CAAC,CACnG;IACD,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,sCAAsC,EAAE,CAAC,CAAC;CACxG,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,2CAA2C,EAAE,CAAC;IACrF,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wCAAwC,EAAE,CAAC,CAAC;IACvG,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,6CAA6C,EAAE,CAAC,CAAC;IAC3G,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,4BAA4B,EAAE,CAAC,CAAC;IAC5F,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,sCAAsC,EAAE,CAAC,CAAC;CACxG,CAAC,CAAC;AAEH,8EAA8E;AAC9E,gFAAgF;AAChF,wEAAwE;AACxE,8EAA8E;AAE9E,MAAM,qBAAqB,GAAgC;IACzD,YAAY,EAAE,IAAI;IAClB,aAAa,EAAE,KAAK;CACrB,CAAC;AAEF,MAAM,iBAAiB,GAAgC;IACrD,eAAe,EAAE,KAAK;IACtB,cAAc,EAAE,KAAK;IACrB,aAAa,EAAE,KAAK;CACrB,CAAC;AAEF,MAAM,kBAAkB,GAAgC;IACtD,eAAe,EAAE,IAAI;IACrB,cAAc,EAAE,IAAI;IACpB,aAAa,EAAE,KAAK;CACrB,CAAC;AAEF,8EAA8E;AAC9E,yCAAyC;AACzC,8EAA8E;AAE9E,sFAAsF;AACtF,SAAS,iBAAiB,CAAC,GAAiB,EAAE,OAAe;IAC3D,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE;QACtD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,uBAAuB,IAAI,oCAAoC,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC,uBAAuB,IAAI,mCAAmC,CAAC,CAAC;QAC9E,CAAC;QACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6FAA6F;AAC7F,SAAS,mBAAmB,CAAC,GAAiB,EAAE,OAAgB;IAC9D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAED,sGAAsG;AACtG,SAAS,WAAW,CAAC,GAAiB,EAAE,MAA8B;IACpE,yFAAyF;IACzF,0EAA0E;IAC1E,MAAM,MAAM,GACV,GAAG,CAAC,SAAS,KAAK,SAAS;QACzB,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3E,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IACzB,OAAO;QACL,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI;QAC1B,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ;QAClC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI;QAC1B,IAAI,EAAE,MAAM,CAAC,IAAI;KAClB,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa,CAAC,GAAiB,EAAE,IAAU;;IAClD,MAAM,KAAK,GAA+B,MAAA,MAAA,GAAG,CAAC,MAAM,0CAAE,GAAG,CAAC,IAAI,CAAC,mCAAI,GAAG,CAAC,YAAY,CAAC;IACpF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,uDAAuD,IAAI,GAAG,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,8FAA8F;AAC9F,SAAS,gBAAgB,CACvB,KAAgB,EAChB,IAAU,EACV,QAAkB,EAClB,MAAc;;IAEd,yEAAyE;IACzE,yEAAyE;IACzE,MAAM,KAAK,GAA2C,CAAC,MAAA,KAAK,CAAC,KAAK,mCAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBACtF,IAAI,EAAE,IAAI,CAAC,IAAI,EACf,MAAM,EAAE,IAAI,CAAC,MAAM,IAChB,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EACzE,CAAC,CAAC;IACJ,OAAO,iBAAiB;SACrB,OAAO,CAAC;QACP,EAAE,EAAE,MAAM;QACV,QAAQ;QACR,IAAI;QACJ,IAAI,EAAE,MAAA,KAAK,CAAC,IAAI,mCAAI,EAAE;QACtB,KAAK;QACL,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,GAAG,EAAE,CAAC;QACN,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;KAChC,CAAC;SACD,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,iCAAiC,GAAG,EAAE,CAAC;SAChE,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,uFAAuF;AACvF,SAAS,YAAY,CACnB,GAAiB,EACjB,KAAgB;IAEhB,OAAO,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC9D,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3C,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE;QACxC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC,0CAA0C,IAAI,oBAAoB,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/E,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CACpC,CAAC;IACJ,CAAC,CAAC,CACH,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CACnB,MAA0C,EAC1C,OAA+B,EAC/B,QAAkB;IAElB,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,KAAK,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,iFAAiF;AACjF,+EAA+E;AAC/E,yDAAyD;AACzD,EAAE;AACF,kFAAkF;AAClF,kFAAkF;AAClF,oFAAoF;AACpF,oFAAoF;AACpF,8EAA8E;AAC9E,qFAAqF;AACrF,2EAA2E;AAC3E,kEAAkE;AAClE,8EAA8E;AAE9E,SAAS,cAAc,CAAC,GAAiB;IACvC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,cAAc;YACpB,WAAW,EACT,2EAA2E;gBAC3E,gEAAgE;YAClE,gBAAgB,EAAE,WAAW;YAC7B,WAAW,EAAE,iBAAiB;SAC/B;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,WAAW;aACR,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,oCAAoC,GAAG,EAAE,CAAC;aACnE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;aAC9C,aAAa,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QAClD,wEAAwE;QACxE,qEAAqE;QACrE,2EAA2E;QAC3E,uEAAuE;QACvE,6CAA6C;QAC7C,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CACnE,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CACpD,OAAO,CAAqB;YAC1B,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC;YAClD,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE;YACzB,QAAQ;YACR,IAAI;SACL,CAAC,CACH,CACF,CACF;KACN,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,GAAiB;IACtC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,oDAAoD;YACjE,gBAAgB,EAAE,UAAU;YAC5B,WAAW,EAAE,qBAAqB;SACnC;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,UAAU;aACP,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,mCAAmC,GAAG,EAAE,CAAC;aAClE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CACpD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAC9F,CACF;aACA,aAAa,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAC1C,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CACzD,MAAM,KAAK,SAAS;YAClB,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YAC3B,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAC7D,CACF;KACN,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,GAAiB;IACxC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,eAAe;YACrB,WAAW,EAAE,yEAAyE;YACtF,gBAAgB,EAAE,YAAY;YAC9B,WAAW,EAAE,qBAAqB;SACnC;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,YAAY;aACT,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,qCAAqC,GAAG,EAAE,CAAC;aACpE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CACtD,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAChF,CACF;aACA,aAAa,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE;YAC5C,MAAM,KAAK,+DACN,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GACpC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAClC,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAClE,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7D,CAAC;YACF,OAAO,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CACjE,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACrF,CAAC;QACJ,CAAC,CAAC;KACP,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAiB;IACzC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,gBAAgB;YACtB,WAAW,EACT,wGAAwG;YAC1G,gBAAgB,EAAE,aAAa;YAC/B,WAAW,EAAE,qBAAqB;SACnC;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,aAAa;aACV,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,sCAAsC,GAAG,EAAE,CAAC;aACrE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,OAAO,CAAC,QAAQ;aACb,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;aACnB,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAClB,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CACtD,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CACtF,CACF,CACJ;aACA,aAAa,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE;YAClD,MAAM,KAAK,6DACT,UAAU,EAAE,IAAI,IACb,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GACpC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAClC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GACtD,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7D,CAAC;YACF,OAAO,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CACjE,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACjG,CAAC;QACJ,CAAC,CAAC;KACP,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,GAAiB;IACxC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,eAAe;YACrB,WAAW,EAAE,iFAAiF;YAC9F,gBAAgB,EAAE,YAAY;YAC9B,WAAW,EAAE,kBAAkB;SAChC;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,YAAY;aACT,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,qCAAqC,GAAG,EAAE,CAAC;aACpE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CACpD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAC9F,CACF;aACA,aAAa,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAC1C,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CACxD,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAC/C,CACF;KACN,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,SAAS,kBAAkB,CAAC,MAAe;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,iEAAiE;AACjE,MAAM,aAAa,GAGd;IACH,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/C,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE;IAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE;IACjD,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,gBAAgB,EAAE;IACnD,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE;CAClD,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAgC;;IAChE,MAAM,GAAG,GAAiB;QACxB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,SAAS,EAAE,MAAM,CAAC,SAAS;KAC5B,CAAC;IACF,MAAM,QAAQ,GAAgC,IAAI,GAAG,CAAiB,MAAA,MAAM,CAAC,KAAK,mCAAI,oBAAoB,CAAC,CAAC;IAC5G,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAC5G,CAAC","sourcesContent":["/*\n * Copyright (c) 2026 Erik Fortune\n * SPDX-License-Identifier: MIT\n */\n\nimport { Result, captureResult, fail, succeed } from '@fgv/ts-utils';\nimport { JsonSchema } from '@fgv/ts-json-base';\nimport { AiAssist } from '@fgv/ts-extras';\nimport { Convert, EntityId, IIdentityCodec, IMemoryRecord, Kind, MemoryId, Tag } from '../types';\nimport { IBodyConverterRegistry, envelopeConverter } from '../converters';\nimport { IMemoryStore } from '../store';\nimport { IMemoryQuery, IMemoryRetriever } from '../retrieve';\n\n/**\n * The names of the five proof-set memory tools. A caller selects a subset via\n * {@link ICreateMemoryToolsParams.tools | tools}.\n * @public\n */\nexport type MemoryToolName =\n  | 'memory_write'\n  | 'memory_read'\n  | 'memory_search'\n  | 'memory_context'\n  | 'memory_delete';\n\n/**\n * The default tool subset when {@link ICreateMemoryToolsParams.tools | tools} is\n * omitted: the read-only set. Mutating tools (`memory_write` / `memory_delete`)\n * are **off by default** and must be named explicitly — writes stay\n * curation-mediated unless the host opts in.\n * @public\n */\nexport const DEFAULT_MEMORY_TOOLS: ReadonlyArray<MemoryToolName> = ['memory_search', 'memory_context'];\n\n/**\n * Discriminates the outcome of a {@link createMemoryTools | memory_write} call so\n * the agent can reason about what its write actually did.\n *\n * @remarks\n * - `written` — a new record was persisted, or an existing entity was updated.\n * - `deduped` — the content already existed (content-hash dedup no-op); the\n *   store returned the existing record unchanged.\n *\n * The store's public `put` return does not surface cap-cull evictions, so a\n * `culled` outcome is not distinguishable at this layer without an L1 change or\n * observer wiring (both out of scope for L2). The writer's own record is always\n * `written` even when the write triggers a cull of older siblings.\n * @public\n */\nexport type MemoryWriteOutcome = 'written' | 'deduped';\n\n/**\n * The success value returned by `memory_write.execute`.\n * @public\n */\nexport interface IMemoryWriteResult {\n  /** What the write did — see {@link MemoryWriteOutcome}. */\n  readonly outcome: MemoryWriteOutcome;\n  /** The stored record's {@link MemoryId}. */\n  readonly id: MemoryId;\n  /** The domain {@link EntityId} the write targeted. */\n  readonly entityId: EntityId;\n  /** The record's {@link Kind}. */\n  readonly kind: Kind;\n}\n\n/**\n * A single agent-visible search / context result item. The agent-facing key is\n * {@link IMemoryToolResultItem.handle | handle}: the host mnemonic when a\n * {@link ICreateMemoryToolsParams.handleFor | handleFor} hook is supplied, else\n * the raw {@link MemoryId}.\n * @public\n */\nexport interface IMemoryToolResultItem {\n  /** The agent-visible key (host handle when supplied, raw {@link MemoryId} otherwise). */\n  readonly handle: string;\n  /** The record's {@link Kind}. */\n  readonly kind: Kind;\n  /** The record's domain {@link EntityId}. */\n  readonly entityId: EntityId;\n  /** The record's tags. */\n  readonly tags: ReadonlyArray<string>;\n  /** The record body (a markdown string in B1). */\n  readonly body: unknown;\n}\n\n/**\n * Parameters for {@link createMemoryTools}.\n *\n * @remarks\n * **Scope isolation is constructor-fixed.** The {@link\n * ICreateMemoryToolsParams.store | store} is the sole scope authority — it is the\n * actor's own, pre-scoped memory root. No tool's `parametersSchema` declares a\n * `scope` (or any scope-widening) property, so an LLM cannot steer a tool at\n * another actor's memory.\n * @public\n */\nexport interface ICreateMemoryToolsParams {\n  /**\n   * The pre-scoped memory store (the actor's own memory root). Sole scope\n   * authority — backs `memory_write` / `memory_read` / `memory_delete`.\n   */\n  readonly store: IMemoryStore;\n  /** Retriever backing `memory_search` (and `memory_context` via link traversal). */\n  readonly retriever: IMemoryRetriever;\n  /** Body converter registry — gates the toolable kinds via `has(kind)`. */\n  readonly registry: IBodyConverterRegistry;\n  /**\n   * The per-tool enable subset. Defaults to {@link DEFAULT_MEMORY_TOOLS} (the\n   * read-only set). Name `memory_write` / `memory_delete` here to opt into the\n   * mutating tools.\n   */\n  readonly tools?: ReadonlyArray<MemoryToolName>;\n  /**\n   * Optional whitelist of toolable kinds. When present, a tool `kind` argument\n   * outside this set is rejected. When absent, {@link\n   * IBodyConverterRegistry.has | registry.has} is the sole kind gate.\n   */\n  readonly kinds?: ReadonlyArray<Kind>;\n  /**\n   * Per-kind identity codecs, used by `memory_write` to map the domain\n   * {@link EntityId} to the record's storage id (the store resolves codecs\n   * internally for `get` / `delete`, so read / delete do not need them). Absent\n   * → `memory_write` uses {@link ICreateMemoryToolsParams.defaultCodec |\n   * defaultCodec}, and fails loudly for a kind with no resolvable codec. The\n   * read-only default tool set needs no codecs.\n   */\n  readonly codecs?: ReadonlyMap<Kind, IIdentityCodec>;\n  /** Default identity codec for kinds without an explicit {@link ICreateMemoryToolsParams.codecs | codecs} entry. */\n  readonly defaultCodec?: IIdentityCodec;\n  /**\n   * Optional host hook mapping a record to its agent-visible handle (an evocative\n   * mnemonic tag). When supplied, `memory_search` / `memory_context` results use\n   * the returned handle as the agent-visible key; when absent the raw\n   * {@link MemoryId} is used.\n   */\n  readonly handleFor?: (record: IMemoryRecord<unknown>) => string;\n}\n\n/** The resolved factory context threaded into each tool's `execute`. */\ninterface IToolContext {\n  readonly store: IMemoryStore;\n  readonly retriever: IMemoryRetriever;\n  readonly registry: IBodyConverterRegistry;\n  readonly kinds?: ReadonlyArray<Kind>;\n  readonly codecs?: ReadonlyMap<Kind, IIdentityCodec>;\n  readonly defaultCodec?: IIdentityCodec;\n  readonly handleFor?: (record: IMemoryRecord<unknown>) => string;\n}\n\n// ---------------------------------------------------------------------------\n// Parameter schemas — authored once via JsonSchema.object(...); the schema IS\n// both the wire schema (.toJson()) and the runtime validator (.convert()).\n// NONE of these declare a `scope` (or scope-widening) property — the adoption\n// gate is enforced structurally and asserted in the tests.\n// ---------------------------------------------------------------------------\n\n/** A single attributed link edge as authored by the agent on a write. */\n// eslint-disable-next-line @rushstack/typedef-var\nconst linkEdgeSchema = JsonSchema.object({\n  type: JsonSchema.string({ description: 'The relation type of the link.' }),\n  target: JsonSchema.string({ description: 'The MemoryId this edge points at.' }),\n  confidence: JsonSchema.optional(JsonSchema.number({ description: 'Optional confidence in [0, 1].' }))\n});\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst writeSchema = JsonSchema.object({\n  kind: JsonSchema.string({ description: 'The record kind (must be an enabled, registered kind).' }),\n  entityId: JsonSchema.string({\n    description:\n      'The domain entity id. For composite (e.g. medium-term) kinds this is the full composite key.'\n  }),\n  body: JsonSchema.string({ description: \"The serialized record body; validated by the kind's converter.\" }),\n  tags: JsonSchema.optional(JsonSchema.array(JsonSchema.string({ description: 'A tag label.' }))),\n  links: JsonSchema.optional(JsonSchema.array(linkEdgeSchema))\n});\ntype WriteArgs = JsonSchema.Static<typeof writeSchema>;\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst readSchema = JsonSchema.object({\n  kind: JsonSchema.string({ description: 'The record kind.' }),\n  entityId: JsonSchema.string({ description: 'The domain entity id to read.' })\n});\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst deleteSchema = JsonSchema.object({\n  kind: JsonSchema.string({ description: 'The record kind.' }),\n  entityId: JsonSchema.string({ description: 'The domain entity id to delete.' })\n});\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst searchSchema = JsonSchema.object({\n  kind: JsonSchema.optional(JsonSchema.string({ description: 'Restrict to this kind.' })),\n  tag: JsonSchema.optional(JsonSchema.string({ description: 'Restrict to records carrying this tag.' })),\n  semantic: JsonSchema.optional(\n    JsonSchema.string({ description: 'Semantic query text (requires a semantic-capable retriever).' })\n  ),\n  limit: JsonSchema.optional(JsonSchema.integer({ description: 'Maximum number of results to return.' }))\n});\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst contextSchema = JsonSchema.object({\n  from: JsonSchema.string({ description: 'The seed MemoryId to traverse links from.' }),\n  kind: JsonSchema.optional(JsonSchema.string({ description: 'Restrict reached records to this kind.' })),\n  tag: JsonSchema.optional(JsonSchema.string({ description: 'Restrict reached records carrying this tag.' })),\n  hops: JsonSchema.optional(JsonSchema.integer({ description: 'BFS hop count (default 1).' })),\n  limit: JsonSchema.optional(JsonSchema.integer({ description: 'Maximum number of results to return.' }))\n});\n\n// ---------------------------------------------------------------------------\n// Behavior annotations (Component 4) — host-advisory hints; never serialized to\n// the model. openWorldHint is false throughout (a closed, local store).\n// ---------------------------------------------------------------------------\n\nconst READ_ONLY_ANNOTATIONS: AiAssist.IAiToolAnnotations = {\n  readOnlyHint: true,\n  openWorldHint: false\n};\n\nconst WRITE_ANNOTATIONS: AiAssist.IAiToolAnnotations = {\n  destructiveHint: false,\n  idempotentHint: false,\n  openWorldHint: false\n};\n\nconst DELETE_ANNOTATIONS: AiAssist.IAiToolAnnotations = {\n  destructiveHint: true,\n  idempotentHint: true,\n  openWorldHint: false\n};\n\n// ---------------------------------------------------------------------------\n// Shared validation / projection helpers\n// ---------------------------------------------------------------------------\n\n/** Validate a `kind` string and assert it is an enabled, registered toolable kind. */\nfunction assertKindEnabled(ctx: IToolContext, kindStr: string): Result<Kind> {\n  return Convert.kind.convert(kindStr).onSuccess((kind) => {\n    if (!ctx.registry.has(kind)) {\n      return fail(`memory tools: kind '${kind}' has no registered body converter`);\n    }\n    if (ctx.kinds !== undefined && !ctx.kinds.includes(kind)) {\n      return fail(`memory tools: kind '${kind}' is not enabled for memory tools`);\n    }\n    return succeed(kind);\n  });\n}\n\n/** Validate an optional `kind` string (enabled when present; `undefined` passes through). */\nfunction resolveOptionalKind(ctx: IToolContext, kindStr?: string): Result<Kind | undefined> {\n  if (kindStr === undefined) {\n    return succeed(undefined);\n  }\n  return assertKindEnabled(ctx, kindStr);\n}\n\n/** Project a record into an agent-visible result item, applying the host handle hook when present. */\nfunction projectItem(ctx: IToolContext, record: IMemoryRecord<unknown>): IMemoryToolResultItem {\n  // `handleFor` is a host callback; guard it so a throw degrades to the raw id rather than\n  // escaping the Result chain (and crashing the whole search/context call).\n  const handle =\n    ctx.handleFor !== undefined\n      ? captureResult(() => ctx.handleFor!(record)).orDefault(record.envelope.id)\n      : record.envelope.id;\n  return {\n    handle,\n    kind: record.envelope.kind,\n    entityId: record.envelope.entityId,\n    tags: record.envelope.tags,\n    body: record.body\n  };\n}\n\n/** Resolve the identity codec used by `memory_write` to derive the storage id. */\nfunction codecForWrite(ctx: IToolContext, kind: Kind): Result<IIdentityCodec> {\n  const codec: IIdentityCodec | undefined = ctx.codecs?.get(kind) ?? ctx.defaultCodec;\n  if (codec === undefined) {\n    return fail(`memory_write: no identity codec available for kind '${kind}'`);\n  }\n  return succeed(codec);\n}\n\n/** Build the record to persist from validated write args (store stamps txn-time metadata). */\nfunction buildWriteRecord(\n  typed: WriteArgs,\n  kind: Kind,\n  entityId: EntityId,\n  idStem: string\n): Result<IMemoryRecord<unknown>> {\n  // Plain shapes handed to `envelopeConverter`, which validates each field\n  // (type → LinkType, target → MemoryId) and produces the branded IEdge[].\n  const links: ReadonlyArray<Record<string, unknown>> = (typed.links ?? []).map((link) => ({\n    type: link.type,\n    target: link.target,\n    ...(link.confidence !== undefined ? { confidence: link.confidence } : {})\n  }));\n  return envelopeConverter\n    .convert({\n      id: idStem,\n      entityId,\n      kind,\n      tags: typed.tags ?? [],\n      links,\n      created: 0,\n      updated: 0,\n      seq: 0,\n      contentHash: '',\n      provenance: { source: 'agent' }\n    })\n    .withErrorFormat((msg) => `memory_write: invalid record: ${msg}`)\n    .onSuccess((envelope) => succeed({ envelope, body: typed.body }));\n}\n\n/** Resolve the validated write args into the storage id + record (all synchronous). */\nfunction prepareWrite(\n  ctx: IToolContext,\n  typed: WriteArgs\n): Result<{ readonly kind: Kind; readonly entityId: EntityId; readonly record: IMemoryRecord<unknown> }> {\n  return assertKindEnabled(ctx, typed.kind).onSuccess((kind) =>\n    Convert.entityId.convert(typed.entityId).onSuccess((entityId) =>\n      codecForWrite(ctx, kind).onSuccess((codec) =>\n        codec.encode(entityId).onSuccess((addr) => {\n          if (addr.isVersioned) {\n            return fail(`memory_write: versioned/temporal kind '${kind}' is not supported`);\n          }\n          return buildWriteRecord(typed, kind, entityId, addr.idStem).onSuccess((record) =>\n            succeed({ kind, entityId, record })\n          );\n        })\n      )\n    )\n  );\n}\n\n/**\n * Discriminate the write outcome from a pre-put snapshot and the returned record.\n * A dedup no-op returns either a different entity (content-scope dedup) or the\n * same-id record with an unchanged `seq` (entity-scope re-put); a fresh write or\n * update advances `seq`.\n */\nfunction writeOutcome(\n  before: IMemoryRecord<unknown> | undefined,\n  written: IMemoryRecord<unknown>,\n  entityId: EntityId\n): MemoryWriteOutcome {\n  if (written.envelope.entityId !== entityId) {\n    return 'deduped';\n  }\n  if (before !== undefined && written.envelope.seq === before.envelope.seq) {\n    return 'deduped';\n  }\n  return 'written';\n}\n\n// ---------------------------------------------------------------------------\n// Tool builders — config with a JsonSchema.object(...) parametersSchema; execute\n// validates/narrows → delegates to store/retriever → returns the Result (never\n// swallowed), following the ts-extras-mcp adapter shape.\n//\n// Each `execute` re-runs its own `parametersSchema.convert(args)` even though the\n// `executeClientToolTurn` harness already validates against the same schema. This\n// is deliberate: the factory returns a heterogeneous `ReadonlyArray<IAiClientTool>`\n// (TParams erased to `unknown`, since the members carry different param shapes), so\n// `execute` receives `unknown` and must narrow it back to the typed args. The\n// re-validation is also the narrowing step exercised by the direct-call tests (which\n// invoke `execute` with raw args, bypassing the harness). Re-validating an\n// already-conforming shape is a cheap, side-effect-free identity.\n// ---------------------------------------------------------------------------\n\nfunction buildWriteTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_write',\n      description:\n        'Store a new memory record or update an existing one by (kind, entityId). ' +\n        'Identical content is a no-op that returns the existing record.',\n      parametersSchema: writeSchema,\n      annotations: WRITE_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      writeSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_write: invalid arguments: ${msg}`)\n        .onSuccess((typed) => prepareWrite(ctx, typed))\n        .thenOnSuccess(async ({ kind, entityId, record }) =>\n          // Read the prior record to discriminate written-vs-deduped. A `Failure`\n          // here (corrupt file, I/O error, codec round-trip failure) is a real\n          // condition distinct from the \"not found\" success (`undefined`); propagate\n          // it rather than defaulting it away, so a genuine store fault surfaces\n          // instead of being masked as a normal write.\n          (await ctx.store.get(kind, entityId)).thenOnSuccess(async (before) =>\n            (await ctx.store.put(record)).onSuccess((persisted) =>\n              succeed<IMemoryWriteResult>({\n                outcome: writeOutcome(before, persisted, entityId),\n                id: persisted.envelope.id,\n                entityId,\n                kind\n              })\n            )\n          )\n        )\n  };\n}\n\nfunction buildReadTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_read',\n      description: 'Read a specific memory record by (kind, entityId).',\n      parametersSchema: readSchema,\n      annotations: READ_ONLY_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      readSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_read: invalid arguments: ${msg}`)\n        .onSuccess((typed) =>\n          assertKindEnabled(ctx, typed.kind).onSuccess((kind) =>\n            Convert.entityId.convert(typed.entityId).onSuccess((entityId) => succeed({ kind, entityId }))\n          )\n        )\n        .thenOnSuccess(async ({ kind, entityId }) =>\n          (await ctx.store.get(kind, entityId)).onSuccess((record) =>\n            record === undefined\n              ? succeed({ found: false })\n              : succeed({ found: true, item: projectItem(ctx, record) })\n          )\n        )\n  };\n}\n\nfunction buildSearchTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_search',\n      description: 'Search memories by tag, kind, or semantic text. Returns ranked results.',\n      parametersSchema: searchSchema,\n      annotations: READ_ONLY_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      searchSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_search: invalid arguments: ${msg}`)\n        .onSuccess((typed) =>\n          resolveOptionalKind(ctx, typed.kind).onSuccess((kind) =>\n            resolveOptionalTag(typed.tag).onSuccess((tag) => succeed({ typed, kind, tag }))\n          )\n        )\n        .thenOnSuccess(async ({ typed, kind, tag }) => {\n          const query: IMemoryQuery = {\n            ...(kind !== undefined ? { kind } : {}),\n            ...(tag !== undefined ? { tag } : {}),\n            ...(typed.semantic !== undefined ? { semantic: typed.semantic } : {}),\n            ...(typed.limit !== undefined ? { limit: typed.limit } : {})\n          };\n          return (await ctx.retriever.retrieve(query)).onSuccess((records) =>\n            succeed({ count: records.length, results: records.map((r) => projectItem(ctx, r)) })\n          );\n        })\n  };\n}\n\nfunction buildContextTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_context',\n      description:\n        'Build a context graph from a seed memory: returns the records linked from the seed, up to `hops` hops.',\n      parametersSchema: contextSchema,\n      annotations: READ_ONLY_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      contextSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_context: invalid arguments: ${msg}`)\n        .onSuccess((typed) =>\n          Convert.memoryId\n            .convert(typed.from)\n            .onSuccess((from) =>\n              resolveOptionalKind(ctx, typed.kind).onSuccess((kind) =>\n                resolveOptionalTag(typed.tag).onSuccess((tag) => succeed({ typed, from, kind, tag }))\n              )\n            )\n        )\n        .thenOnSuccess(async ({ typed, from, kind, tag }) => {\n          const query: IMemoryQuery = {\n            linkedFrom: from,\n            ...(kind !== undefined ? { kind } : {}),\n            ...(tag !== undefined ? { tag } : {}),\n            ...(typed.hops !== undefined ? { hops: typed.hops } : {}),\n            ...(typed.limit !== undefined ? { limit: typed.limit } : {})\n          };\n          return (await ctx.retriever.retrieve(query)).onSuccess((records) =>\n            succeed({ seed: from, count: records.length, results: records.map((r) => projectItem(ctx, r)) })\n          );\n        })\n  };\n}\n\nfunction buildDeleteTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_delete',\n      description: 'Delete a memory record by (kind, entityId). Destructive for non-temporal kinds.',\n      parametersSchema: deleteSchema,\n      annotations: DELETE_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      deleteSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_delete: invalid arguments: ${msg}`)\n        .onSuccess((typed) =>\n          assertKindEnabled(ctx, typed.kind).onSuccess((kind) =>\n            Convert.entityId.convert(typed.entityId).onSuccess((entityId) => succeed({ kind, entityId }))\n          )\n        )\n        .thenOnSuccess(async ({ kind, entityId }) =>\n          (await ctx.store.delete(kind, entityId)).onSuccess((id) =>\n            succeed({ deleted: true, id, entityId, kind })\n          )\n        )\n  };\n}\n\n/** Validate an optional `tag` string (`undefined` passes through). */\nfunction resolveOptionalTag(tagStr?: string): Result<Tag | undefined> {\n  if (tagStr === undefined) {\n    return succeed(undefined);\n  }\n  return Convert.tag.convert(tagStr);\n}\n\n/** Ordered registry of the five tool builders, keyed by name. */\nconst TOOL_BUILDERS: ReadonlyArray<{\n  readonly name: MemoryToolName;\n  readonly build: (ctx: IToolContext) => AiAssist.IAiClientTool;\n}> = [\n  { name: 'memory_write', build: buildWriteTool },\n  { name: 'memory_read', build: buildReadTool },\n  { name: 'memory_search', build: buildSearchTool },\n  { name: 'memory_context', build: buildContextTool },\n  { name: 'memory_delete', build: buildDeleteTool }\n];\n\n/**\n * Build the selected suite of memory `AiAssist.IAiClientTool`s over a\n * pre-scoped store — ready to hand to `AiAssist.executeClientToolTurn` (and, via\n * the shared `JsonSchema.object(...)` schemas, `@fgv/ts-extras-mcp`).\n *\n * @remarks\n * **Scope isolation is make-or-break.** The returned tools close over the\n * pre-scoped {@link ICreateMemoryToolsParams.store | store}; no tool's\n * `parametersSchema` declares a `scope` (or any scope-widening) property, so an\n * LLM cannot steer a tool at another actor's memory. The store instance is the\n * sole scope authority.\n *\n * The default selection is {@link DEFAULT_MEMORY_TOOLS} (the read-only set) —\n * `memory_write` / `memory_delete` are included only when named in\n * {@link ICreateMemoryToolsParams.tools | tools}.\n * @public\n */\nexport function createMemoryTools(params: ICreateMemoryToolsParams): ReadonlyArray<AiAssist.IAiClientTool> {\n  const ctx: IToolContext = {\n    store: params.store,\n    retriever: params.retriever,\n    registry: params.registry,\n    kinds: params.kinds,\n    codecs: params.codecs,\n    defaultCodec: params.defaultCodec,\n    handleFor: params.handleFor\n  };\n  const selected: ReadonlySet<MemoryToolName> = new Set<MemoryToolName>(params.tools ?? DEFAULT_MEMORY_TOOLS);\n  return TOOL_BUILDERS.filter((builder) => selected.has(builder.name)).map((builder) => builder.build(ctx));\n}\n"]}
+{"version":3,"file":"memoryTools.js","sourceRoot":"","sources":["../../../src/packlets/tools/memoryTools.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAU,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAE,OAAO,EAA6E,MAAM,UAAU,CAAC;AAC9G,OAAO,EAA0B,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAgB1E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAkC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;AAgJvG,8EAA8E;AAC9E,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,2DAA2D;AAC3D,8EAA8E;AAE9E;;;;;GAKG;AACH,kDAAkD;AAClD,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,iDAAiD,EAAE,CAAC;IACzF,KAAK,EAAE,UAAU,CAAC,QAAQ,CACxB,UAAU,CAAC,MAAM,CAAC;QAChB,WAAW,EAAE,qFAAqF;KACnG,CAAC,CACH;CACF,CAAC,CAAC;AAEH,yEAAyE;AACzE,kDAAkD;AAClD,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gCAAgC,EAAE,CAAC;IAC1E,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gCAAgC,EAAE,CAAC,CAAC;CACtG,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wDAAwD,EAAE,CAAC;IAClG,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC;QAC1B,WAAW,EACT,8FAA8F;KACjG,CAAC;IACF,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gEAAgE,EAAE,CAAC;IAC1G,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;IAC/F,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;CAC7D,CAAC,CAAC;AAGH,kDAAkD;AAClD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAC5D,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,+BAA+B,EAAE,CAAC;IAC7E,MAAM,EAAE,UAAU,CAAC,QAAQ,CACzB,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,CAAU,EAAE,EAAE,WAAW,EAAE,4BAA4B,EAAE,CAAC,CAC5F;CACF,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAC5D,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,iCAAiC,EAAE,CAAC;CAChF,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wBAAwB,EAAE,CAAC,CAAC;IACvF,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wCAAwC,EAAE,CAAC,CAAC;IACtG,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAC3B,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,8DAA8D,EAAE,CAAC,CACnG;IACD,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,sCAAsC,EAAE,CAAC,CAAC;IACvG,MAAM,EAAE,UAAU,CAAC,QAAQ,CACzB,UAAU,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,oEAAoE,EAAE,CAAC,CAC1G;IACD,MAAM,EAAE,UAAU,CAAC,QAAQ,CACzB,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,CAAU,EAAE,EAAE,WAAW,EAAE,4BAA4B,EAAE,CAAC,CAC5F;CACF,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,kDAAkD;AAClD,MAAM,iBAAiB,GAAG,UAAU,CAAC,MAAM,CAAC;IAC1C,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,yDAAyD,EAAE,CAAC;IACjG,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC;QACvB,WAAW,EAAE,sFAAsF;KACpG,CAAC;CACH,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wCAAwC,EAAE,CAAC,CAAC;IACvG,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,6CAA6C,EAAE,CAAC,CAAC;IAC3G,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,4BAA4B,EAAE,CAAC,CAAC;IAC5F,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,sCAAsC,EAAE,CAAC,CAAC;IACvG,MAAM,EAAE,UAAU,CAAC,QAAQ,CACzB,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,CAAU,EAAE,EAAE,WAAW,EAAE,4BAA4B,EAAE,CAAC,CAC5F;CACF,CAAC,CAAC;AAEH,8EAA8E;AAC9E,gFAAgF;AAChF,wEAAwE;AACxE,8EAA8E;AAE9E,MAAM,qBAAqB,GAAgC;IACzD,YAAY,EAAE,IAAI;IAClB,aAAa,EAAE,KAAK;CACrB,CAAC;AAEF,MAAM,iBAAiB,GAAgC;IACrD,eAAe,EAAE,KAAK;IACtB,cAAc,EAAE,KAAK;IACrB,aAAa,EAAE,KAAK;CACrB,CAAC;AAEF,MAAM,kBAAkB,GAAgC;IACtD,eAAe,EAAE,IAAI;IACrB,cAAc,EAAE,IAAI;IACpB,aAAa,EAAE,KAAK;CACrB,CAAC;AAEF,8EAA8E;AAC9E,yCAAyC;AACzC,8EAA8E;AAE9E,sFAAsF;AACtF,SAAS,iBAAiB,CAAC,GAAiB,EAAE,OAAe;IAC3D,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE;QACtD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,uBAAuB,IAAI,oCAAoC,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC,uBAAuB,IAAI,mCAAmC,CAAC,CAAC;QAC9E,CAAC;QACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6FAA6F;AAC7F,SAAS,mBAAmB,CAAC,GAAiB,EAAE,OAAgB;IAC9D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,MAAe;IACpC,OAAO,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AAC7C,CAAC;AAED,wGAAwG;AACxG,SAAS,kBAAkB,CAAC,GAAiB,EAAE,MAA8B;IAC3E,yFAAyF;IACzF,0EAA0E;IAC1E,MAAM,MAAM,GACV,GAAG,CAAC,SAAS,KAAK,SAAS;QACzB,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3E,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IACzB,OAAO;QACL,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI;QAC1B,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ;QAClC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI;QAC1B,IAAI,EAAE,MAAM,CAAC,IAAI;KAClB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAClB,GAAiB,EACjB,MAA8B,EAC9B,MAAwB;IAExB,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,kBAAkB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC;IACD,8EAA8E;IAC9E,2EAA2E;IAC3E,OAAO,aAAa,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;AAC1G,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa,CAAC,GAAiB,EAAE,IAAU;;IAClD,MAAM,KAAK,GAA+B,MAAA,MAAA,GAAG,CAAC,MAAM,0CAAE,GAAG,CAAC,IAAI,CAAC,mCAAI,GAAG,CAAC,YAAY,CAAC;IACpF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,uDAAuD,IAAI,GAAG,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,8FAA8F;AAC9F,SAAS,gBAAgB,CACvB,KAAgB,EAChB,IAAU,EACV,QAAkB,EAClB,MAAc,EACd,WAAmB;;IAEnB,yEAAyE;IACzE,8EAA8E;IAC9E,+EAA+E;IAC/E,kEAAkE;IAClE,MAAM,KAAK,GAA2C,CAAC,MAAA,KAAK,CAAC,KAAK,mCAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;;QAAC,OAAA,iBACtF,IAAI,EAAE,IAAI,CAAC,IAAI,EACf,MAAM,EAAE,EAAE,KAAK,EAAE,MAAA,IAAI,CAAC,MAAM,CAAC,KAAK,mCAAI,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,IACpE,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EACzE,CAAA;KAAA,CAAC,CAAC;IACJ,OAAO,iBAAiB;SACrB,OAAO,CAAC;QACP,EAAE,EAAE,MAAM;QACV,QAAQ;QACR,IAAI;QACJ,IAAI,EAAE,MAAA,KAAK,CAAC,IAAI,mCAAI,EAAE;QACtB,KAAK;QACL,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,GAAG,EAAE,CAAC;QACN,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;KAChC,CAAC;SACD,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,iCAAiC,GAAG,EAAE,CAAC;SAChE,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,uFAAuF;AACvF,SAAS,YAAY,CACnB,GAAiB,EACjB,KAAgB;IAEhB,OAAO,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC9D,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3C,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE;QACxC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC,0CAA0C,IAAI,oBAAoB,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3F,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CACpC,CAAC;IACJ,CAAC,CAAC,CACH,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CACnB,MAA0C,EAC1C,OAA+B,EAC/B,QAAkB;IAElB,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,KAAK,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,iFAAiF;AACjF,+EAA+E;AAC/E,yDAAyD;AACzD,EAAE;AACF,kFAAkF;AAClF,kFAAkF;AAClF,oFAAoF;AACpF,oFAAoF;AACpF,8EAA8E;AAC9E,qFAAqF;AACrF,2EAA2E;AAC3E,kEAAkE;AAClE,8EAA8E;AAE9E,SAAS,cAAc,CAAC,GAAiB;IACvC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,cAAc;YACpB,WAAW,EACT,2EAA2E;gBAC3E,gEAAgE;YAClE,gBAAgB,EAAE,WAAW;YAC7B,WAAW,EAAE,iBAAiB;SAC/B;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,WAAW;aACR,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,oCAAoC,GAAG,EAAE,CAAC;aACnE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;aAC9C,aAAa,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QAClD,wEAAwE;QACxE,qEAAqE;QACrE,2EAA2E;QAC3E,uEAAuE;QACvE,6CAA6C;QAC7C,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CACnE,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CACpD,OAAO,CAAqB;YAC1B,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC;YAClD,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE;YACzB,QAAQ;YACR,IAAI;SACL,CAAC,CACH,CACF,CACF;KACN,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,GAAiB;IACtC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,oDAAoD;YACjE,gBAAgB,EAAE,UAAU;YAC5B,WAAW,EAAE,qBAAqB;SACnC;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,UAAU;aACP,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,mCAAmC,GAAG,EAAE,CAAC;aAClE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CACpD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE;YAC9D,wEAAwE;YACxE,gFAAgF;YAChF,MAAM,MAAM,GAAqB,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YAC3E,OAAO,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7C,CAAC,CAAC,CACH,CACF;aACA,aAAa,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAClD,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CACzD,MAAM,KAAK,SAAS;YAClB,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YAC3B,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CACrE,CACF;KACN,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,GAAiB;IACxC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,eAAe;YACrB,WAAW,EAAE,yEAAyE;YACtF,gBAAgB,EAAE,YAAY;YAC9B,WAAW,EAAE,qBAAqB;SACnC;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,YAAY;aACT,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,qCAAqC,GAAG,EAAE,CAAC;aACpE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CACtD,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAChF,CACF;aACA,aAAa,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE;YAC5C,MAAM,MAAM,GAAqB,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC7D,MAAM,KAAK,6EACN,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GACpC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAClC,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAClE,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GACzD,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAChE,CAAC;YACF,OAAO,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CACjE,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAC7F,CAAC;QACJ,CAAC,CAAC;KACP,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAiB;IACzC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,gBAAgB;YACtB,WAAW,EACT,wGAAwG;YAC1G,gBAAgB,EAAE,aAAa;YAC/B,WAAW,EAAE,qBAAqB;SACnC;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,aAAa;aACV,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,sCAAsC,GAAG,EAAE,CAAC;aACrE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAChD,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CACtD,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CACtF,CACF,CACF;aACA,aAAa,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE;YAClD,MAAM,MAAM,GAAqB,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC7D,MAAM,KAAK,6DACT,UAAU,EAAE,IAAI,IACb,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GACpC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAClC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GACtD,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7D,CAAC;YACF,OAAO,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CACjE,OAAO,CAAC;gBACN,IAAI,EAAE,IAAI;gBACV,KAAK,EAAE,OAAO,CAAC,MAAM;gBACrB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;aACzD,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;KACP,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,GAAiB;IACxC,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,eAAe;YACrB,WAAW,EAAE,iFAAiF;YAC9F,gBAAgB,EAAE,YAAY;YAC9B,WAAW,EAAE,kBAAkB;SAChC;QACD,OAAO,EAAE,KAAK,EAAE,IAAa,EAA4B,EAAE,CACzD,YAAY;aACT,OAAO,CAAC,IAAI,CAAC;aACb,eAAe,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,qCAAqC,GAAG,EAAE,CAAC;aACpE,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CACpD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAC9F,CACF;aACA,aAAa,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAC1C,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CACxD,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAC/C,CACF;KACN,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAC,IAAqD;IAC/E,OAAO,OAAO,CAAC,QAAQ;SACpB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;SAChB,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAC1G,CAAC;AAED,sEAAsE;AACtE,SAAS,kBAAkB,CAAC,MAAe;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,iEAAiE;AACjE,MAAM,aAAa,GAGd;IACH,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/C,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE;IAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE;IACjD,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,gBAAgB,EAAE;IACnD,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE;CAClD,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAgC;;IAChE,MAAM,GAAG,GAAiB;QACxB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC;IACF,MAAM,QAAQ,GAAgC,IAAI,GAAG,CAAiB,MAAA,MAAM,CAAC,KAAK,mCAAI,oBAAoB,CAAC,CAAC;IAC5G,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAC5G,CAAC","sourcesContent":["/*\n * Copyright (c) 2026 Erik Fortune\n * SPDX-License-Identifier: MIT\n */\n\nimport { Result, captureResult, fail, succeed } from '@fgv/ts-utils';\nimport { JsonSchema } from '@fgv/ts-json-base';\nimport { AiAssist } from '@fgv/ts-extras';\nimport { Convert, EntityId, IEdgeTarget, IIdentityCodec, IMemoryRecord, Kind, MemoryId, Tag } from '../types';\nimport { IBodyConverterRegistry, envelopeConverter } from '../converters';\nimport { IMemoryStore } from '../store';\nimport { IMemoryQuery, IMemoryRetriever } from '../retrieve';\n\n/**\n * The names of the five proof-set memory tools. A caller selects a subset via\n * {@link ICreateMemoryToolsParams.tools | tools}.\n * @public\n */\nexport type MemoryToolName =\n  | 'memory_write'\n  | 'memory_read'\n  | 'memory_search'\n  | 'memory_context'\n  | 'memory_delete';\n\n/**\n * The default tool subset when {@link ICreateMemoryToolsParams.tools | tools} is\n * omitted: the read-only set. Mutating tools (`memory_write` / `memory_delete`)\n * are **off by default** and must be named explicitly — writes stay\n * curation-mediated unless the host opts in.\n * @public\n */\nexport const DEFAULT_MEMORY_TOOLS: ReadonlyArray<MemoryToolName> = ['memory_search', 'memory_context'];\n\n/**\n * Discriminates the outcome of a {@link createMemoryTools | memory_write} call so\n * the agent can reason about what its write actually did.\n *\n * @remarks\n * - `written` — a new record was persisted, or an existing entity was updated.\n * - `deduped` — the content already existed (content-hash dedup no-op); the\n *   store returned the existing record unchanged.\n *\n * The store's public `put` return does not surface cap-cull evictions, so a\n * `culled` outcome is not distinguishable at this layer without an L1 change or\n * observer wiring (both out of scope for L2). The writer's own record is always\n * `written` even when the write triggers a cull of older siblings.\n * @public\n */\nexport type MemoryWriteOutcome = 'written' | 'deduped';\n\n/**\n * The success value returned by `memory_write.execute`.\n * @public\n */\nexport interface IMemoryWriteResult {\n  /** What the write did — see {@link MemoryWriteOutcome}. */\n  readonly outcome: MemoryWriteOutcome;\n  /** The stored record's {@link MemoryId}. */\n  readonly id: MemoryId;\n  /** The domain {@link EntityId} the write targeted. */\n  readonly entityId: EntityId;\n  /** The record's {@link Kind}. */\n  readonly kind: Kind;\n}\n\n/**\n * A single agent-visible search / context result item. The agent-facing key is\n * {@link IMemoryToolResultItem.handle | handle}: the host mnemonic when a\n * {@link ICreateMemoryToolsParams.handleFor | handleFor} hook is supplied, else\n * the raw {@link MemoryId}.\n * @public\n */\nexport interface IMemoryToolResultItem {\n  /** The agent-visible key (host handle when supplied, raw {@link MemoryId} otherwise). */\n  readonly handle: string;\n  /** The record's {@link Kind}. */\n  readonly kind: Kind;\n  /** The record's domain {@link EntityId}. */\n  readonly entityId: EntityId;\n  /** The record's tags. */\n  readonly tags: ReadonlyArray<string>;\n  /** The record body (a markdown string in B1). */\n  readonly body: unknown;\n}\n\n/**\n * Parameters for {@link createMemoryTools}.\n *\n * @remarks\n * **Scope isolation is constructor-fixed.** The {@link\n * ICreateMemoryToolsParams.store | store} is the sole scope authority — it is the\n * actor's own, pre-scoped memory root. No tool's `parametersSchema` declares a\n * `scope` (or any scope-widening) property, so an LLM cannot steer a tool at\n * another actor's memory.\n * @public\n */\nexport interface ICreateMemoryToolsParams {\n  /**\n   * The pre-scoped memory store (the actor's own memory root). Sole scope\n   * authority — backs `memory_write` / `memory_read` / `memory_delete`.\n   */\n  readonly store: IMemoryStore;\n  /** Retriever backing `memory_search` (and `memory_context` via link traversal). */\n  readonly retriever: IMemoryRetriever;\n  /** Body converter registry — gates the toolable kinds via `has(kind)`. */\n  readonly registry: IBodyConverterRegistry;\n  /**\n   * The per-tool enable subset. Defaults to {@link DEFAULT_MEMORY_TOOLS} (the\n   * read-only set). Name `memory_write` / `memory_delete` here to opt into the\n   * mutating tools.\n   */\n  readonly tools?: ReadonlyArray<MemoryToolName>;\n  /**\n   * Optional whitelist of toolable kinds. When present, a tool `kind` argument\n   * outside this set is rejected. When absent, {@link\n   * IBodyConverterRegistry.has | registry.has} is the sole kind gate.\n   */\n  readonly kinds?: ReadonlyArray<Kind>;\n  /**\n   * Per-kind identity codecs, used by `memory_write` to map the domain\n   * {@link EntityId} to the record's storage id (the store resolves codecs\n   * internally for `get` / `delete`, so read / delete do not need them). Absent\n   * → `memory_write` uses {@link ICreateMemoryToolsParams.defaultCodec |\n   * defaultCodec}, and fails loudly for a kind with no resolvable codec. The\n   * read-only default tool set needs no codecs.\n   */\n  readonly codecs?: ReadonlyMap<Kind, IIdentityCodec>;\n  /** Default identity codec for kinds without an explicit {@link ICreateMemoryToolsParams.codecs | codecs} entry. */\n  readonly defaultCodec?: IIdentityCodec;\n  /**\n   * Optional host hook mapping a record to its agent-visible handle (an evocative\n   * mnemonic tag). When supplied, `memory_search` / `memory_context` results use\n   * the returned handle as the agent-visible key; when absent the raw\n   * {@link MemoryId} is used.\n   */\n  readonly handleFor?: (record: IMemoryRecord<unknown>) => string;\n  /**\n   * Optional host projector mapping a record (and the requested detail tier) to\n   * its agent-visible {@link IMemoryToolResultItem}. When supplied, every\n   * `memory_search` / `memory_context` / `memory_read` result item is produced by\n   * this callback — the host owns how much of the body a `'gist'` vs `'full'`\n   * result carries, so it can bound the default (`'gist'`) path.\n   *\n   * When absent, the built-in default projection is used (full body plus the\n   * {@link ICreateMemoryToolsParams.handleFor | handleFor} handle), which ignores\n   * the detail tier — behavior is byte-identical to a build with no projector.\n   *\n   * The callback is guarded exactly like `handleFor`: a throw degrades to the\n   * default full-body projection for that item rather than failing the whole\n   * search.\n   */\n  readonly projectItem?: (record: IMemoryRecord<unknown>, detail: MemoryDetailTier) => IMemoryToolResultItem;\n}\n\n/**\n * The detail tier a `memory_search` / `memory_context` result is projected at.\n * `'gist'` is the default (bounded) path; `'full'` is opt-in. Only meaningful\n * when a host {@link ICreateMemoryToolsParams.projectItem | projectItem} is\n * supplied — the built-in default projection returns the full body regardless.\n * @public\n */\nexport type MemoryDetailTier = 'gist' | 'full';\n\n/** The resolved factory context threaded into each tool's `execute`. */\ninterface IToolContext {\n  readonly store: IMemoryStore;\n  readonly retriever: IMemoryRetriever;\n  readonly registry: IBodyConverterRegistry;\n  readonly kinds?: ReadonlyArray<Kind>;\n  readonly codecs?: ReadonlyMap<Kind, IIdentityCodec>;\n  readonly defaultCodec?: IIdentityCodec;\n  readonly handleFor?: (record: IMemoryRecord<unknown>) => string;\n  readonly projectItem?: (record: IMemoryRecord<unknown>, detail: MemoryDetailTier) => IMemoryToolResultItem;\n}\n\n// ---------------------------------------------------------------------------\n// Parameter schemas — authored once via JsonSchema.object(...); the schema IS\n// both the wire schema (.toJson()) and the runtime validator (.convert()).\n// NONE of these declare a `scope` (or scope-widening) property — the adoption\n// gate is enforced structurally and asserted in the tests.\n// ---------------------------------------------------------------------------\n\n/**\n * The scope-qualified target of a link edge authored by the agent on a write.\n * `scope` is optional: when omitted it defaults to the writing record's OWN\n * resolved scope (the common same-conversation case); supply it explicitly to\n * point an edge at a record in a different scope.\n */\n// eslint-disable-next-line @rushstack/typedef-var\nconst linkTargetSchema = JsonSchema.object({\n  id: JsonSchema.string({ description: 'The MemoryId of the record this edge points at.' }),\n  scope: JsonSchema.optional(\n    JsonSchema.string({\n      description: \"The target record's scope. Defaults to the writing record's own scope when omitted.\"\n    })\n  )\n});\n\n/** A single attributed link edge as authored by the agent on a write. */\n// eslint-disable-next-line @rushstack/typedef-var\nconst linkEdgeSchema = JsonSchema.object({\n  type: JsonSchema.string({ description: 'The relation type of the link.' }),\n  target: linkTargetSchema,\n  confidence: JsonSchema.optional(JsonSchema.number({ description: 'Optional confidence in [0, 1].' }))\n});\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst writeSchema = JsonSchema.object({\n  kind: JsonSchema.string({ description: 'The record kind (must be an enabled, registered kind).' }),\n  entityId: JsonSchema.string({\n    description:\n      'The domain entity id. For composite (e.g. medium-term) kinds this is the full composite key.'\n  }),\n  body: JsonSchema.string({ description: \"The serialized record body; validated by the kind's converter.\" }),\n  tags: JsonSchema.optional(JsonSchema.array(JsonSchema.string({ description: 'A tag label.' }))),\n  links: JsonSchema.optional(JsonSchema.array(linkEdgeSchema))\n});\ntype WriteArgs = JsonSchema.Static<typeof writeSchema>;\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst readSchema = JsonSchema.object({\n  kind: JsonSchema.string({ description: 'The record kind.' }),\n  entityId: JsonSchema.string({ description: 'The domain entity id to read.' }),\n  detail: JsonSchema.optional(\n    JsonSchema.enumOf(['gist', 'full'] as const, { description: \"'gist' | 'full' (default).\" })\n  )\n});\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst deleteSchema = JsonSchema.object({\n  kind: JsonSchema.string({ description: 'The record kind.' }),\n  entityId: JsonSchema.string({ description: 'The domain entity id to delete.' })\n});\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst searchSchema = JsonSchema.object({\n  kind: JsonSchema.optional(JsonSchema.string({ description: 'Restrict to this kind.' })),\n  tag: JsonSchema.optional(JsonSchema.string({ description: 'Restrict to records carrying this tag.' })),\n  semantic: JsonSchema.optional(\n    JsonSchema.string({ description: 'Semantic query text (requires a semantic-capable retriever).' })\n  ),\n  limit: JsonSchema.optional(JsonSchema.integer({ description: 'Maximum number of results to return.' })),\n  offset: JsonSchema.optional(\n    JsonSchema.integer({ description: 'Number of results to skip after ordering, before limit. Default 0.' })\n  ),\n  detail: JsonSchema.optional(\n    JsonSchema.enumOf(['gist', 'full'] as const, { description: \"'gist' (default) | 'full'.\" })\n  )\n});\n\n/**\n * The scope-qualified seed a `memory_context` traversal starts from. Nested\n * `{ id, scope }` shape like a link target, but — unlike a write edge — there is\n * no writing record to default the scope from, so `scope` is REQUIRED to\n * disambiguate the seed across scopes (a bare stem like `turn-3` is otherwise\n * ambiguous). It is schema-required (not just runtime-required) so the wire\n * schema an LLM reads never advertises an optionality the tool does not honor.\n */\n// eslint-disable-next-line @rushstack/typedef-var\nconst contextSeedSchema = JsonSchema.object({\n  id: JsonSchema.string({ description: 'The MemoryId of the seed record to traverse links from.' }),\n  scope: JsonSchema.string({\n    description: 'The scope of the seed record (required — a bare seed id is ambiguous across scopes).'\n  })\n});\n\n// eslint-disable-next-line @rushstack/typedef-var\nconst contextSchema = JsonSchema.object({\n  from: contextSeedSchema,\n  kind: JsonSchema.optional(JsonSchema.string({ description: 'Restrict reached records to this kind.' })),\n  tag: JsonSchema.optional(JsonSchema.string({ description: 'Restrict reached records carrying this tag.' })),\n  hops: JsonSchema.optional(JsonSchema.integer({ description: 'BFS hop count (default 1).' })),\n  limit: JsonSchema.optional(JsonSchema.integer({ description: 'Maximum number of results to return.' })),\n  detail: JsonSchema.optional(\n    JsonSchema.enumOf(['gist', 'full'] as const, { description: \"'gist' (default) | 'full'.\" })\n  )\n});\n\n// ---------------------------------------------------------------------------\n// Behavior annotations (Component 4) — host-advisory hints; never serialized to\n// the model. openWorldHint is false throughout (a closed, local store).\n// ---------------------------------------------------------------------------\n\nconst READ_ONLY_ANNOTATIONS: AiAssist.IAiToolAnnotations = {\n  readOnlyHint: true,\n  openWorldHint: false\n};\n\nconst WRITE_ANNOTATIONS: AiAssist.IAiToolAnnotations = {\n  destructiveHint: false,\n  idempotentHint: false,\n  openWorldHint: false\n};\n\nconst DELETE_ANNOTATIONS: AiAssist.IAiToolAnnotations = {\n  destructiveHint: true,\n  idempotentHint: true,\n  openWorldHint: false\n};\n\n// ---------------------------------------------------------------------------\n// Shared validation / projection helpers\n// ---------------------------------------------------------------------------\n\n/** Validate a `kind` string and assert it is an enabled, registered toolable kind. */\nfunction assertKindEnabled(ctx: IToolContext, kindStr: string): Result<Kind> {\n  return Convert.kind.convert(kindStr).onSuccess((kind) => {\n    if (!ctx.registry.has(kind)) {\n      return fail(`memory tools: kind '${kind}' has no registered body converter`);\n    }\n    if (ctx.kinds !== undefined && !ctx.kinds.includes(kind)) {\n      return fail(`memory tools: kind '${kind}' is not enabled for memory tools`);\n    }\n    return succeed(kind);\n  });\n}\n\n/** Validate an optional `kind` string (enabled when present; `undefined` passes through). */\nfunction resolveOptionalKind(ctx: IToolContext, kindStr?: string): Result<Kind | undefined> {\n  if (kindStr === undefined) {\n    return succeed(undefined);\n  }\n  return assertKindEnabled(ctx, kindStr);\n}\n\n/**\n * Resolve the requested detail tier from the optional tool `detail` string.\n * `'full'` is the only opt-in value; every other input (absent, or an\n * unrecognized string) resolves safely to the bounded default `'gist'`.\n */\nfunction resolveDetail(detail?: string): MemoryDetailTier {\n  return detail === 'full' ? 'full' : 'gist';\n}\n\n/** The built-in default projection: full body plus the guarded host handle. Ignores the detail tier. */\nfunction defaultProjectItem(ctx: IToolContext, record: IMemoryRecord<unknown>): IMemoryToolResultItem {\n  // `handleFor` is a host callback; guard it so a throw degrades to the raw id rather than\n  // escaping the Result chain (and crashing the whole search/context call).\n  const handle =\n    ctx.handleFor !== undefined\n      ? captureResult(() => ctx.handleFor!(record)).orDefault(record.envelope.id)\n      : record.envelope.id;\n  return {\n    handle,\n    kind: record.envelope.kind,\n    entityId: record.envelope.entityId,\n    tags: record.envelope.tags,\n    body: record.body\n  };\n}\n\n/**\n * Project a record into an agent-visible result item at the requested detail\n * tier. When a host {@link ICreateMemoryToolsParams.projectItem | projectItem}\n * is supplied it owns the projection; otherwise the built-in\n * {@link defaultProjectItem} (full body) is used. The host callback is guarded\n * like `handleFor` — a throw degrades to the default full-body projection for\n * that item rather than failing the whole search/context call.\n */\nfunction projectItem(\n  ctx: IToolContext,\n  record: IMemoryRecord<unknown>,\n  detail: MemoryDetailTier\n): IMemoryToolResultItem {\n  if (ctx.projectItem === undefined) {\n    return defaultProjectItem(ctx, record);\n  }\n  // Guard the host projector like `handleFor`: a throw degrades to the built-in\n  // full-body projection (itself throw-safe) rather than escaping the chain.\n  return captureResult(() => ctx.projectItem!(record, detail)).orDefault(defaultProjectItem(ctx, record));\n}\n\n/** Resolve the identity codec used by `memory_write` to derive the storage id. */\nfunction codecForWrite(ctx: IToolContext, kind: Kind): Result<IIdentityCodec> {\n  const codec: IIdentityCodec | undefined = ctx.codecs?.get(kind) ?? ctx.defaultCodec;\n  if (codec === undefined) {\n    return fail(`memory_write: no identity codec available for kind '${kind}'`);\n  }\n  return succeed(codec);\n}\n\n/** Build the record to persist from validated write args (store stamps txn-time metadata). */\nfunction buildWriteRecord(\n  typed: WriteArgs,\n  kind: Kind,\n  entityId: EntityId,\n  idStem: string,\n  sourceScope: string\n): Result<IMemoryRecord<unknown>> {\n  // Plain shapes handed to `envelopeConverter`, which validates each field\n  // (type → LinkType, target → { scope, id }) and produces the branded IEdge[].\n  // An edge target with no explicit `scope` defaults to the writing record's own\n  // resolved scope — the same-conversation case authors just an id.\n  const links: ReadonlyArray<Record<string, unknown>> = (typed.links ?? []).map((link) => ({\n    type: link.type,\n    target: { scope: link.target.scope ?? sourceScope, id: link.target.id },\n    ...(link.confidence !== undefined ? { confidence: link.confidence } : {})\n  }));\n  return envelopeConverter\n    .convert({\n      id: idStem,\n      entityId,\n      kind,\n      tags: typed.tags ?? [],\n      links,\n      created: 0,\n      updated: 0,\n      seq: 0,\n      contentHash: '',\n      provenance: { source: 'agent' }\n    })\n    .withErrorFormat((msg) => `memory_write: invalid record: ${msg}`)\n    .onSuccess((envelope) => succeed({ envelope, body: typed.body }));\n}\n\n/** Resolve the validated write args into the storage id + record (all synchronous). */\nfunction prepareWrite(\n  ctx: IToolContext,\n  typed: WriteArgs\n): Result<{ readonly kind: Kind; readonly entityId: EntityId; readonly record: IMemoryRecord<unknown> }> {\n  return assertKindEnabled(ctx, typed.kind).onSuccess((kind) =>\n    Convert.entityId.convert(typed.entityId).onSuccess((entityId) =>\n      codecForWrite(ctx, kind).onSuccess((codec) =>\n        codec.encode(entityId).onSuccess((addr) => {\n          if (addr.isVersioned) {\n            return fail(`memory_write: versioned/temporal kind '${kind}' is not supported`);\n          }\n          return buildWriteRecord(typed, kind, entityId, addr.idStem, addr.scope).onSuccess((record) =>\n            succeed({ kind, entityId, record })\n          );\n        })\n      )\n    )\n  );\n}\n\n/**\n * Discriminate the write outcome from a pre-put snapshot and the returned record.\n * A dedup no-op returns either a different entity (content-scope dedup) or the\n * same-id record with an unchanged `seq` (entity-scope re-put); a fresh write or\n * update advances `seq`.\n */\nfunction writeOutcome(\n  before: IMemoryRecord<unknown> | undefined,\n  written: IMemoryRecord<unknown>,\n  entityId: EntityId\n): MemoryWriteOutcome {\n  if (written.envelope.entityId !== entityId) {\n    return 'deduped';\n  }\n  if (before !== undefined && written.envelope.seq === before.envelope.seq) {\n    return 'deduped';\n  }\n  return 'written';\n}\n\n// ---------------------------------------------------------------------------\n// Tool builders — config with a JsonSchema.object(...) parametersSchema; execute\n// validates/narrows → delegates to store/retriever → returns the Result (never\n// swallowed), following the ts-extras-mcp adapter shape.\n//\n// Each `execute` re-runs its own `parametersSchema.convert(args)` even though the\n// `executeClientToolTurn` harness already validates against the same schema. This\n// is deliberate: the factory returns a heterogeneous `ReadonlyArray<IAiClientTool>`\n// (TParams erased to `unknown`, since the members carry different param shapes), so\n// `execute` receives `unknown` and must narrow it back to the typed args. The\n// re-validation is also the narrowing step exercised by the direct-call tests (which\n// invoke `execute` with raw args, bypassing the harness). Re-validating an\n// already-conforming shape is a cheap, side-effect-free identity.\n// ---------------------------------------------------------------------------\n\nfunction buildWriteTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_write',\n      description:\n        'Store a new memory record or update an existing one by (kind, entityId). ' +\n        'Identical content is a no-op that returns the existing record.',\n      parametersSchema: writeSchema,\n      annotations: WRITE_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      writeSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_write: invalid arguments: ${msg}`)\n        .onSuccess((typed) => prepareWrite(ctx, typed))\n        .thenOnSuccess(async ({ kind, entityId, record }) =>\n          // Read the prior record to discriminate written-vs-deduped. A `Failure`\n          // here (corrupt file, I/O error, codec round-trip failure) is a real\n          // condition distinct from the \"not found\" success (`undefined`); propagate\n          // it rather than defaulting it away, so a genuine store fault surfaces\n          // instead of being masked as a normal write.\n          (await ctx.store.get(kind, entityId)).thenOnSuccess(async (before) =>\n            (await ctx.store.put(record)).onSuccess((persisted) =>\n              succeed<IMemoryWriteResult>({\n                outcome: writeOutcome(before, persisted, entityId),\n                id: persisted.envelope.id,\n                entityId,\n                kind\n              })\n            )\n          )\n        )\n  };\n}\n\nfunction buildReadTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_read',\n      description: 'Read a specific memory record by (kind, entityId).',\n      parametersSchema: readSchema,\n      annotations: READ_ONLY_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      readSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_read: invalid arguments: ${msg}`)\n        .onSuccess((typed) =>\n          assertKindEnabled(ctx, typed.kind).onSuccess((kind) =>\n            Convert.entityId.convert(typed.entityId).onSuccess((entityId) => {\n              // `memory_read` is the explicit drill-in path, so its detail default is\n              // INVERTED vs search/context: `'full'` unless the caller opts down to `'gist'`.\n              const detail: MemoryDetailTier = typed.detail === 'gist' ? 'gist' : 'full';\n              return succeed({ kind, entityId, detail });\n            })\n          )\n        )\n        .thenOnSuccess(async ({ kind, entityId, detail }) =>\n          (await ctx.store.get(kind, entityId)).onSuccess((record) =>\n            record === undefined\n              ? succeed({ found: false })\n              : succeed({ found: true, item: projectItem(ctx, record, detail) })\n          )\n        )\n  };\n}\n\nfunction buildSearchTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_search',\n      description: 'Search memories by tag, kind, or semantic text. Returns ranked results.',\n      parametersSchema: searchSchema,\n      annotations: READ_ONLY_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      searchSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_search: invalid arguments: ${msg}`)\n        .onSuccess((typed) =>\n          resolveOptionalKind(ctx, typed.kind).onSuccess((kind) =>\n            resolveOptionalTag(typed.tag).onSuccess((tag) => succeed({ typed, kind, tag }))\n          )\n        )\n        .thenOnSuccess(async ({ typed, kind, tag }) => {\n          const detail: MemoryDetailTier = resolveDetail(typed.detail);\n          const query: IMemoryQuery = {\n            ...(kind !== undefined ? { kind } : {}),\n            ...(tag !== undefined ? { tag } : {}),\n            ...(typed.semantic !== undefined ? { semantic: typed.semantic } : {}),\n            ...(typed.limit !== undefined ? { limit: typed.limit } : {}),\n            ...(typed.offset !== undefined ? { offset: typed.offset } : {})\n          };\n          return (await ctx.retriever.retrieve(query)).onSuccess((records) =>\n            succeed({ count: records.length, results: records.map((r) => projectItem(ctx, r, detail)) })\n          );\n        })\n  };\n}\n\nfunction buildContextTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_context',\n      description:\n        'Build a context graph from a seed memory: returns the records linked from the seed, up to `hops` hops.',\n      parametersSchema: contextSchema,\n      annotations: READ_ONLY_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      contextSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_context: invalid arguments: ${msg}`)\n        .onSuccess((typed) =>\n          resolveContextSeed(typed.from).onSuccess((from) =>\n            resolveOptionalKind(ctx, typed.kind).onSuccess((kind) =>\n              resolveOptionalTag(typed.tag).onSuccess((tag) => succeed({ typed, from, kind, tag }))\n            )\n          )\n        )\n        .thenOnSuccess(async ({ typed, from, kind, tag }) => {\n          const detail: MemoryDetailTier = resolveDetail(typed.detail);\n          const query: IMemoryQuery = {\n            linkedFrom: from,\n            ...(kind !== undefined ? { kind } : {}),\n            ...(tag !== undefined ? { tag } : {}),\n            ...(typed.hops !== undefined ? { hops: typed.hops } : {}),\n            ...(typed.limit !== undefined ? { limit: typed.limit } : {})\n          };\n          return (await ctx.retriever.retrieve(query)).onSuccess((records) =>\n            succeed({\n              seed: from,\n              count: records.length,\n              results: records.map((r) => projectItem(ctx, r, detail))\n            })\n          );\n        })\n  };\n}\n\nfunction buildDeleteTool(ctx: IToolContext): AiAssist.IAiClientTool {\n  return {\n    config: {\n      type: 'client_tool',\n      name: 'memory_delete',\n      description: 'Delete a memory record by (kind, entityId). Destructive for non-temporal kinds.',\n      parametersSchema: deleteSchema,\n      annotations: DELETE_ANNOTATIONS\n    },\n    execute: async (args: unknown): Promise<Result<unknown>> =>\n      deleteSchema\n        .convert(args)\n        .withErrorFormat((msg) => `memory_delete: invalid arguments: ${msg}`)\n        .onSuccess((typed) =>\n          assertKindEnabled(ctx, typed.kind).onSuccess((kind) =>\n            Convert.entityId.convert(typed.entityId).onSuccess((entityId) => succeed({ kind, entityId }))\n          )\n        )\n        .thenOnSuccess(async ({ kind, entityId }) =>\n          (await ctx.store.delete(kind, entityId)).onSuccess((id) =>\n            succeed({ deleted: true, id, entityId, kind })\n          )\n        )\n  };\n}\n\n/**\n * Resolve a `memory_context` seed argument into a scope-qualified\n * {@link IEdgeTarget}. Both `id` and `scope` are present here — the tool's\n * `parametersSchema` ({@link contextSeedSchema}) makes `scope` schema-required —\n * so this only brands the two fields; a malformed value fails via the branded\n * converters (e.g. a path-unsafe seed id).\n */\nfunction resolveContextSeed(from: { readonly id: string; readonly scope: string }): Result<IEdgeTarget> {\n  return Convert.memoryId\n    .convert(from.id)\n    .onSuccess((id) => Convert.scopeKey.convert(from.scope).onSuccess((scope) => succeed({ scope, id })));\n}\n\n/** Validate an optional `tag` string (`undefined` passes through). */\nfunction resolveOptionalTag(tagStr?: string): Result<Tag | undefined> {\n  if (tagStr === undefined) {\n    return succeed(undefined);\n  }\n  return Convert.tag.convert(tagStr);\n}\n\n/** Ordered registry of the five tool builders, keyed by name. */\nconst TOOL_BUILDERS: ReadonlyArray<{\n  readonly name: MemoryToolName;\n  readonly build: (ctx: IToolContext) => AiAssist.IAiClientTool;\n}> = [\n  { name: 'memory_write', build: buildWriteTool },\n  { name: 'memory_read', build: buildReadTool },\n  { name: 'memory_search', build: buildSearchTool },\n  { name: 'memory_context', build: buildContextTool },\n  { name: 'memory_delete', build: buildDeleteTool }\n];\n\n/**\n * Build the selected suite of memory `AiAssist.IAiClientTool`s over a\n * pre-scoped store — ready to hand to `AiAssist.executeClientToolTurn` (and, via\n * the shared `JsonSchema.object(...)` schemas, `@fgv/ts-extras-mcp`).\n *\n * @remarks\n * **Scope isolation is make-or-break.** The returned tools close over the\n * pre-scoped {@link ICreateMemoryToolsParams.store | store}; no tool's\n * `parametersSchema` declares a `scope` (or any scope-widening) property, so an\n * LLM cannot steer a tool at another actor's memory. The store instance is the\n * sole scope authority.\n *\n * The default selection is {@link DEFAULT_MEMORY_TOOLS} (the read-only set) —\n * `memory_write` / `memory_delete` are included only when named in\n * {@link ICreateMemoryToolsParams.tools | tools}.\n * @public\n */\nexport function createMemoryTools(params: ICreateMemoryToolsParams): ReadonlyArray<AiAssist.IAiClientTool> {\n  const ctx: IToolContext = {\n    store: params.store,\n    retriever: params.retriever,\n    registry: params.registry,\n    kinds: params.kinds,\n    codecs: params.codecs,\n    defaultCodec: params.defaultCodec,\n    handleFor: params.handleFor,\n    projectItem: params.projectItem\n  };\n  const selected: ReadonlySet<MemoryToolName> = new Set<MemoryToolName>(params.tools ?? DEFAULT_MEMORY_TOOLS);\n  return TOOL_BUILDERS.filter((builder) => selected.has(builder.name)).map((builder) => builder.build(ctx));\n}\n"]}

package/dist/packlets/types/envelope.js

@@ -2,5 +2,17 @@
  * Copyright (c) 2026 Erik Fortune
  * SPDX-License-Identifier: MIT
  */
-export {};
+/**
+ * The canonical composite-key string for an {@link IEdgeTarget}: scope + id,
+ * NUL-separated. NUL is excluded from both components (scope segments are
+ * filename-safe; {@link MemoryId} is portable-filename-safe), so it is a
+ * collision-proof separator. This is the ONE canonicalization every consumer
+ * that keys on a scoped target uses — the backlink index, the cycle guard, and
+ * the ingest edge-validation path all route through it so their notions of
+ * "same target" cannot drift.
+ * @public
+ */
+export function edgeTargetKey(target) {
+    return `${target.scope}\0${target.id}`;
+}
 //# sourceMappingURL=envelope.js.map

package/dist/packlets/types/envelope.js.map

@@ -1 +1 @@
-{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../../src/packlets/types/envelope.ts"],"names":[],"mappings":"AAAA;;;GAGG","sourcesContent":["/*\n * Copyright (c) 2026 Erik Fortune\n * SPDX-License-Identifier: MIT\n */\n\nimport { EntityId, Kind, LinkType, MemoryId, Tag } from './ids';\n\n/**\n * Origin of a provenance attribution. Open vocabulary: the three named\n * sources are conventional, but the `(string & {})` arm admits any other\n * source string without resignature.\n * @public\n */\nexport type ProvenanceSource = 'agent' | 'host-ingest' | 'human' | (string & {});\n\n/**\n * Structured provenance for a record or an edge. Never a flat enum — the\n * `[key: string]: unknown` index signature lets a consumer attach an opaque\n * domain payload (e.g. PersonAIlity's sentiment / epistemic blocks) without\n * changing this interface, while still satisfying the no-`any` rule.\n * @public\n */\nexport interface IProvenance {\n  /** Where the attribution came from. */\n  readonly source: ProvenanceSource;\n  /** Optional human or agent identifier responsible for the write. */\n  readonly by?: string;\n  /** Optional model identifier, when a model produced the content. */\n  readonly model?: string;\n  /** Optional confidence in `[0, 1]`. */\n  readonly confidence?: number;\n  /** Back-link to the source experience record. Enables the cross-kind provenance spine. */\n  readonly derivedFrom?: MemoryId;\n  /** Opaque extension payload — consumer-owned, never interpreted by the store. */\n  readonly [key: string]: unknown;\n}\n\n/**\n * An attributed link between two records. Carries the relation type, the\n * target id, and optional confidence / provenance / world-truth validity.\n * Replaces bare string references (e.g. PersonAIlity's `IMtmRef` becomes an\n * `IEdge` with `type: LinkType('mtm-ref')`).\n * @public\n */\nexport interface IEdge {\n  /** Open-vocabulary relation type. */\n  readonly type: LinkType;\n  /** The linked-to record. */\n  readonly target: MemoryId;\n  /** Optional confidence in `[0, 1]`. */\n  readonly confidence?: number;\n  /** Optional structured provenance for the link itself. */\n  readonly provenance?: IProvenance;\n  /** World-truth validity start (epoch ms). Present only on temporal edges. */\n  readonly valid_at?: number;\n  /**\n   * World-truth validity end (epoch ms). `null` = still valid; absent = no\n   * temporal extent.\n   */\n  // eslint-disable-next-line @rushstack/no-new-null -- null is a meaningful value here (still-valid) distinct from absent (no temporal extent); design-lock §2.3\n  readonly invalid_at?: number | null;\n}\n\n/**\n * Optional bi-temporal validity block on an envelope. Present only on\n * temporal kinds; absent = zero cost for atemporal kinds.\n * @public\n */\nexport interface ITemporalBlock {\n  /** World-truth validity start (epoch ms). */\n  readonly valid_at?: number;\n  /** World-truth validity end (epoch ms). `null` = still valid. */\n  // eslint-disable-next-line @rushstack/no-new-null -- null is a meaningful value here (still-valid) distinct from absent; design-lock §2.4\n  readonly invalid_at?: number | null;\n}\n\n/**\n * The invariant identity + transaction-time envelope carried by every memory\n * record, independent of the per-kind body.\n * @public\n */\nexport interface IMemoryEnvelope {\n  // --- Core identity ---\n  /** Stable file-stem identifier. MUST equal the on-disk filename stem. */\n  readonly id: MemoryId;\n  /** Consumer-supplied domain key. Equals {@link IMemoryEnvelope.id | id} for non-temporal kinds. */\n  readonly entityId: EntityId;\n  /** Consumer-registered kind; dispatches the body Converter. */\n  readonly kind: Kind;\n  /** Open-vocabulary tags. */\n  readonly tags: ReadonlyArray<Tag>;\n  /** Attributed outbound edges. */\n  readonly links: ReadonlyArray<IEdge>;\n\n  // --- Transaction-time metadata (always present) ---\n  /** Epoch ms of the first write. Immutable after creation. */\n  readonly created: number;\n  /** Epoch ms of the most recent write. */\n  readonly updated: number;\n  /**\n   * Monotonic write counter within the store instance, assigned by the store\n   * on every successful put. Enables stable cursor paging over observation\n   * records without a full walk.\n   */\n  readonly seq: number;\n  /**\n   * Content hash over the canonical `{ kind, body, links }`. The dedup key:\n   * an exact match is a no-op upsert that returns the existing record.\n   */\n  readonly contentHash: string;\n  /** Structured provenance (never a flat enum). */\n  readonly provenance: IProvenance;\n\n  // --- Optional temporal block ---\n  /** Bi-temporal validity. Present only on temporal kinds. */\n  readonly temporal?: ITemporalBlock;\n\n  /**\n   * Vector-index entry reference, set by the vector index on write. `null` =\n   * not embedded; absent = same as `null` (backwards-compat seam).\n   */\n  // eslint-disable-next-line @rushstack/no-new-null -- null is the explicit \"not embedded\" sentinel distinct from absent (backwards-compat seam); design-lock §2.5\n  readonly embeddingRef?: string | null;\n}\n\n/**\n * A complete memory record: the invariant {@link IMemoryEnvelope} plus the\n * typed, per-kind body. The store's public surface uses\n * `IMemoryRecord<unknown>`; consumers narrow `TBody` by checking\n * `envelope.kind` and validating through the registered Converter.\n * @public\n */\nexport interface IMemoryRecord<TBody = unknown> {\n  /** The invariant identity + transaction-time envelope. */\n  readonly envelope: IMemoryEnvelope;\n  /** The per-kind, Converter-validated body. */\n  readonly body: TBody;\n}\n"]}
+{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../../src/packlets/types/envelope.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAyDH;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,MAAmB;IAC/C,OAAO,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;AACzC,CAAC","sourcesContent":["/*\n * Copyright (c) 2026 Erik Fortune\n * SPDX-License-Identifier: MIT\n */\n\nimport { EntityId, Kind, LinkType, MemoryId, MemoryScopeKey, Tag } from './ids';\n\n/**\n * Origin of a provenance attribution. Open vocabulary: the three named\n * sources are conventional, but the `(string & {})` arm admits any other\n * source string without resignature.\n * @public\n */\nexport type ProvenanceSource = 'agent' | 'host-ingest' | 'human' | (string & {});\n\n/**\n * Structured provenance for a record or an edge. Never a flat enum — the\n * `[key: string]: unknown` index signature lets a consumer attach an opaque\n * domain payload (e.g. PersonAIlity's sentiment / epistemic blocks) without\n * changing this interface, while still satisfying the no-`any` rule.\n * @public\n */\nexport interface IProvenance {\n  /** Where the attribution came from. */\n  readonly source: ProvenanceSource;\n  /** Optional human or agent identifier responsible for the write. */\n  readonly by?: string;\n  /** Optional model identifier, when a model produced the content. */\n  readonly model?: string;\n  /** Optional confidence in `[0, 1]`. */\n  readonly confidence?: number;\n  /**\n   * Scope-qualified back-link to the source record. Enables the cross-kind\n   * provenance spine. A scope-qualified {@link IEdgeTarget} (not a bare\n   * {@link MemoryId}) because per-scope codecs (e.g. the MTM codec's `turn-<n>`\n   * stems) legally reuse a stem across scopes, so a bare id would be ambiguous —\n   * the same reason {@link IEdge.target} is scope-qualified.\n   */\n  readonly derivedFrom?: IEdgeTarget;\n  /** Opaque extension payload — consumer-owned, never interpreted by the store. */\n  readonly [key: string]: unknown;\n}\n\n/**\n * The physical address of a linked-to record: the `(scope, id)` pair that\n * uniquely identifies it. Both components are required because a bare\n * {@link MemoryId} is NOT unique across scopes — per-scope codecs (e.g. the\n * medium-term codec's `turn-<n>` stems) legally mint the same stem under\n * different scopes, so an edge that carried only the id would be ambiguous.\n * `(scope, id)` matches the store's `getById(scope, id)` addressing and the\n * index's composite primary key.\n * @public\n */\nexport interface IEdgeTarget {\n  /** The scope the target record lives under. */\n  readonly scope: MemoryScopeKey;\n  /** The target record's stable file-stem id (unique WITHIN {@link IEdgeTarget.scope}). */\n  readonly id: MemoryId;\n}\n\n/**\n * The canonical composite-key string for an {@link IEdgeTarget}: scope + id,\n * NUL-separated. NUL is excluded from both components (scope segments are\n * filename-safe; {@link MemoryId} is portable-filename-safe), so it is a\n * collision-proof separator. This is the ONE canonicalization every consumer\n * that keys on a scoped target uses — the backlink index, the cycle guard, and\n * the ingest edge-validation path all route through it so their notions of\n * \"same target\" cannot drift.\n * @public\n */\nexport function edgeTargetKey(target: IEdgeTarget): string {\n  return `${target.scope}\\0${target.id}`;\n}\n\n/**\n * An attributed link between two records. Carries the relation type, the\n * scope-qualified {@link IEdgeTarget | target}, and optional confidence /\n * provenance / world-truth validity. Replaces bare string references (e.g.\n * PersonAIlity's `IMtmRef` becomes an `IEdge` with `type: LinkType('mtm-ref')`).\n * @public\n */\nexport interface IEdge {\n  /** Open-vocabulary relation type. */\n  readonly type: LinkType;\n  /** The scope-qualified address of the linked-to record. */\n  readonly target: IEdgeTarget;\n  /** Optional confidence in `[0, 1]`. */\n  readonly confidence?: number;\n  /** Optional structured provenance for the link itself. */\n  readonly provenance?: IProvenance;\n  /** World-truth validity start (epoch ms). Present only on temporal edges. */\n  readonly valid_at?: number;\n  /**\n   * World-truth validity end (epoch ms). `null` = still valid; absent = no\n   * temporal extent.\n   */\n  // eslint-disable-next-line @rushstack/no-new-null -- null is a meaningful value here (still-valid) distinct from absent (no temporal extent); design-lock §2.3\n  readonly invalid_at?: number | null;\n}\n\n/**\n * Optional bi-temporal validity block on an envelope. Present only on\n * temporal kinds; absent = zero cost for atemporal kinds.\n * @public\n */\nexport interface ITemporalBlock {\n  /** World-truth validity start (epoch ms). */\n  readonly valid_at?: number;\n  /** World-truth validity end (epoch ms). `null` = still valid. */\n  // eslint-disable-next-line @rushstack/no-new-null -- null is a meaningful value here (still-valid) distinct from absent; design-lock §2.4\n  readonly invalid_at?: number | null;\n}\n\n/**\n * The invariant identity + transaction-time envelope carried by every memory\n * record, independent of the per-kind body.\n * @public\n */\nexport interface IMemoryEnvelope {\n  // --- Core identity ---\n  /** Stable file-stem identifier. MUST equal the on-disk filename stem. */\n  readonly id: MemoryId;\n  /** Consumer-supplied domain key. Equals {@link IMemoryEnvelope.id | id} for non-temporal kinds. */\n  readonly entityId: EntityId;\n  /** Consumer-registered kind; dispatches the body Converter. */\n  readonly kind: Kind;\n  /** Open-vocabulary tags. */\n  readonly tags: ReadonlyArray<Tag>;\n  /** Attributed outbound edges. */\n  readonly links: ReadonlyArray<IEdge>;\n\n  // --- Transaction-time metadata (always present) ---\n  /** Epoch ms of the first write. Immutable after creation. */\n  readonly created: number;\n  /** Epoch ms of the most recent write. */\n  readonly updated: number;\n  /**\n   * Monotonic write counter within the store instance, assigned by the store\n   * on every successful put. Enables stable cursor paging over observation\n   * records without a full walk.\n   */\n  readonly seq: number;\n  /**\n   * Content hash over the canonical `{ kind, body, links }`. The dedup key:\n   * an exact match is a no-op upsert that returns the existing record.\n   */\n  readonly contentHash: string;\n  /**\n   * Store-computed host-defined ordering value, produced by the kind's\n   * {@link RankProjector} on every put/update and stamped into the envelope in\n   * the same pass that recomputes {@link IMemoryEnvelope.contentHash | contentHash}.\n   * Absent when the kind has no registered projector (or the projector threw on\n   * this record). Ordered retrieval (`orderBy: 'rank'`) and the index's rank view\n   * sort by this value descending, placing records with an absent `rank` last.\n   */\n  readonly rank?: number;\n  /** Structured provenance (never a flat enum). */\n  readonly provenance: IProvenance;\n\n  // --- Optional temporal block ---\n  /** Bi-temporal validity. Present only on temporal kinds. */\n  readonly temporal?: ITemporalBlock;\n\n  /**\n   * Vector-index entry reference, set by the vector index on write. `null` =\n   * not embedded; absent = same as `null` (backwards-compat seam).\n   */\n  // eslint-disable-next-line @rushstack/no-new-null -- null is the explicit \"not embedded\" sentinel distinct from absent (backwards-compat seam); design-lock §2.5\n  readonly embeddingRef?: string | null;\n}\n\n/**\n * A complete memory record: the invariant {@link IMemoryEnvelope} plus the\n * typed, per-kind body. The store's public surface uses\n * `IMemoryRecord<unknown>`; consumers narrow `TBody` by checking\n * `envelope.kind` and validating through the registered Converter.\n * @public\n */\nexport interface IMemoryRecord<TBody = unknown> {\n  /** The invariant identity + transaction-time envelope. */\n  readonly envelope: IMemoryEnvelope;\n  /** The per-kind, Converter-validated body. */\n  readonly body: TBody;\n}\n\n/**\n * A per-kind host projection from a fully-resolved (post-merge) memory record\n * to a numeric ordering value. Registered per kind at store construction (see\n * `rankProjectors`); the store runs it on every put/update over the same\n * resolved record whose `contentHash` it computes, stamping the result into\n * {@link IMemoryEnvelope.rank}. The store never interprets the body — the host\n * owns what the number means. A projector that throws is treated as \"no rank\n * for this record\" (logged at `warn`), never failing the write.\n * @public\n */\nexport type RankProjector = (record: IMemoryRecord<unknown>) => number;\n"]}

package/dist/packlets/vector/inMemoryCosineIndex.js

@@ -3,6 +3,7 @@
  * SPDX-License-Identifier: MIT
  */
 import { fail, succeed } from '@fgv/ts-utils';
+import { edgeTargetKey } from '../types';
 /**
  * The brute-force, in-memory cosine {@link IVectorIndex}. Stores one
  * `Float32Array` per record and answers a query by computing cosine similarity
@@ -40,26 +41,28 @@ export class InMemoryCosineIndex {
         return succeed(new InMemoryCosineIndex());
     }
     /** {@inheritDoc IVectorIndex.add} */
-    add(id, vector) {
+    add(target, vector) {
+        const key = edgeTargetKey(target);
         if (vector.length === 0) {
-            return Promise.resolve(fail(`vector index: cannot add '${id}': empty vector`));
+            return Promise.resolve(fail(`vector index: cannot add '${key}': empty vector`));
         }
         if (this._dimension === undefined) {
             this._dimension = vector.length;
         }
         else if (vector.length !== this._dimension) {
-            return Promise.resolve(fail(`vector index: cannot add '${id}': dimension ${vector.length} does not match index dimension ${this._dimension}`));
+            return Promise.resolve(fail(`vector index: cannot add '${key}': dimension ${vector.length} does not match index dimension ${this._dimension}`));
         }
         // Defensive copy: the caller may reuse or mutate the buffer after `add`, and
         // the index must keep serving the embedding it was given.
-        this._vectors.set(id, Float32Array.from(vector));
-        // The in-memory index keys entries by id, so the id IS the entry reference.
-        return Promise.resolve(succeed(id));
+        this._vectors.set(key, { target, vector: Float32Array.from(vector) });
+        // The in-memory index keys entries by the canonical scoped-target string, so
+        // that key IS the entry reference.
+        return Promise.resolve(succeed(key));
     }
     /** {@inheritDoc IVectorIndex.remove} */
-    remove(id) {
-        this._vectors.delete(id);
-        return Promise.resolve(succeed(id));
+    remove(target) {
+        this._vectors.delete(edgeTargetKey(target));
+        return Promise.resolve(succeed(target));
     }
     /** {@inheritDoc IVectorIndex.query} */
     query(vector, topK) {
@@ -71,8 +74,11 @@ export class InMemoryCosineIndex {
         }
         const queryMagnitude = InMemoryCosineIndex._magnitude(vector);
         const hits = [];
-        for (const [id, stored] of this._vectors) {
-            hits.push({ id, score: InMemoryCosineIndex._cosine(vector, queryMagnitude, stored) });
+        for (const stored of this._vectors.values()) {
+            hits.push({
+                target: stored.target,
+                score: InMemoryCosineIndex._cosine(vector, queryMagnitude, stored.vector)
+            });
         }
         // Descending by score; a `seq`-free tiebreak is unnecessary here because the
         // caller (SemanticRetriever) re-resolves hits against the record index.
@@ -89,8 +95,7 @@ export class InMemoryCosineIndex {
      * rather than left in a partially-rebuilt state — a caller that retries a query
      * after a failed rebuild sees a clean empty index, never a half-populated one.
      *
-     * @param source - The record source to re-embed (an {@link IMemoryStore}
-     * satisfies this structurally).
+     * @param source - The scope-qualified record source to re-embed.
      * @param embed - The embedder applied to each record.
      */
     async rebuild(source, embed) {
@@ -102,13 +107,13 @@ export class InMemoryCosineIndex {
         if (listed.isFailure()) {
             return fail(`vector index rebuild: failed to list records: ${listed.message}`);
         }
-        for (const record of listed.value) {
-            const embedded = await embed(record);
+        for (const scoped of listed.value) {
+            const embedded = await embed(scoped.record);
             if (embedded.isFailure()) {
                 this._reset();
-                return fail(`vector index rebuild: embedding '${record.envelope.id}' failed: ${embedded.message}`);
+                return fail(`vector index rebuild: embedding '${edgeTargetKey(scoped.target)}' failed: ${embedded.message}`);
             }
-            const added = await this.add(record.envelope.id, embedded.value);
+            const added = await this.add(scoped.target, embedded.value);
             if (added.isFailure()) {
                 this._reset();
                 return fail(`vector index rebuild: ${added.message}`);