@avantf/dsh-mem 0.3.0 → 0.4.0

package/lib/types/remote.js

@@ -1,247 +0,0 @@
-/**
- * Hand-written Typert wire faces for the `avantfMem` Remote namespace.
- *
- * DSH packages normally ship generator-produced faces (`typert.host.js` /
- * `typert.remote-client.js`), but the Typert generator runs only inside the
- * harness workspace. Both faces are therefore hand-written here, following the
- * generator's exact conventions: zod v4 strict codecs, one `args` object
- * parameter per method, `<pkg>#<namespace>/<method>` invocation ids, and a host
- * contribution registered through `ctx.typert.register()` (the documented
- * path for hand-written wire schemas, see `@deepseek-ai/dsh-typert-loader`).
- *
- * The five methods mirror the five agent tools (remember/recall/admin/kb/query)
- * so the 记忆/知识 tabs can do full CRUD + KB management. Args carry the merged
- * optional field set of the contract's action unions; the HOST re-validates
- * every payload with the contract zod schema before dispatch, so the wire face
- * only needs to guarantee JSON shape sanity. Five methods have no tool behind
- * them — `openDoc` (the 知识 tab's 「编辑」/「打开目录」 buttons), `classifySource`
- * and `browseDir` (its source input and 选择 picker), `kbDomains` (its domain
- * dropdown) and `kbAddDomain` (its 「+」 next to that dropdown).
- *
- * The host half consumes `hostContribution`; the client half mounts
- * `clientContribution` via `ctx.remote.$mount()`.
- */
-import { z } from 'zod';
-const PACKAGE = '@avantf/dsh-mem';
-const NAMESPACE = 'avantfMem';
-const endpointId = (method) => `${PACKAGE}#${NAMESPACE}/${method}`;
-const fieldSymbol = (method, field) => `${PACKAGE}#${NAMESPACE}/${method}:${field}`;
-const resultSymbol = (method) => fieldSymbol(method, 'result');
-/**
- * zod v4 strict codec envelope the Typert boundary validates with.
- *
- * Carries BOTH members on purpose: the host's validator moved from `codec.schema.parse` (0.1.5) to
- * `codec.create()` (0.1.6), and each generation checks only its own. One shape therefore serves
- * either host.
- *
- * Kept LOCAL — a two-line mirror of the base kit's `strictCodec`, not a runtime call — on purpose:
- * the Remote face is built at module load and must exist even when the base cannot be loaded at all,
- * so its construction may not depend on a runtime `import()` of the base. This is the "mirrors a
- * convention, so changing it takes a plugin release" side of the rule in the root AGENTS.md; the
- * shared, fixable-by-a-base-release code lives in `@avantf/dsh-plugin-base`'s kit.
- */
-function strict(schema, typeSymbol) {
-    return { mode: 'strict', typeSymbol, schema, create: () => schema };
-}
-/** One JSON wire parameter; optional parameters accept a missing wire field. */
-function parameter(method, name, schema, acceptsUndefined) {
-    return {
-        name,
-        wire: name,
-        source: 'json',
-        codec: strict(schema, fieldSymbol(method, name)),
-        ...(acceptsUndefined === undefined ? {} : { acceptsUndefined }),
-    };
-}
-const text = z.string();
-// Optional wire fields are written as `X.optional()`, NOT `z.union([z.undefined(), X])`. The two
-// accept the same payloads, but the union is invisible to the HOST's JSON-Schema projector:
-// `z.toJSONSchema()` throws "Undefined cannot be represented in JSON Schema" over it, and the
-// startup compatibility gate projects the REAL wire face through that host method — so the union
-// form made a healthy host read as an incompatible one. `.optional()` projects to a non-required
-// property, which is exactly what these fields are.
-const count = z.number().int().optional();
-const optionalText = z.string().optional();
-const bool = z.boolean().optional();
-const textArray = z.array(z.string()).optional();
-/** One direct Remote method carrying a single `args` object parameter. */
-function direct(method, args) {
-    return {
-        id: endpointId(method),
-        service: NAMESPACE,
-        namespace: NAMESPACE,
-        method,
-        invocation: { kind: 'direct' },
-        parameters: [parameter(method, 'args', args)],
-        // The runtime's result shapes vary by store backend and evolve fast;
-        // keep the boundary tolerant (`z.any()` never rejects a host reply).
-        result: strict(z.any(), resultSymbol(method)),
-    };
-}
-export const descriptors = [
-    // remember: add/update/remove/helpful/unhelpful (action defaults to 'add' host-side)
-    direct('remember', z.object({
-        action: optionalText.optional(),
-        content: optionalText.optional(),
-        fact_id: count.optional(),
-        category: optionalText.optional(),
-        ttl_days: count.optional(),
-        reason: optionalText.optional(),
-    })),
-    // recall: search/ask/chain/probe/reason/related/contradict (defaults to 'search')
-    direct('recall', z.object({
-        action: optionalText.optional(),
-        query: optionalText.optional(),
-        entity: optionalText.optional(),
-        entities: textArray.optional(),
-        subj: optionalText.optional(),
-        pred: optionalText.optional(),
-        obj: optionalText.optional(),
-        second_pred: optionalText.optional(),
-        category: optionalText.optional(),
-        limit: count.optional(),
-        max_tokens: count.optional(),
-    })),
-    // admin: stats/list/detail/archive/restore/vectors_*/contradict_*/maintenance (defaults to 'list')
-    //
-    // Every field the client sends must be declared here: a strict codec PARSES the args before they
-    // go out (harness `api/gateway` `parseInput`), and a zod object drops unknown keys — a missing
-    // field is not an error, it is a silently emptied request that then fails contract validation
-    // host-side. That is exactly how the three 矛盾裁决 buttons shipped broken: `contradiction_id`,
-    // `resolution` and `loser_fact_id` were never declared, so only `{action}` reached the host.
-    // `test/remote_wire.spec.ts` pins the invariant that actually generalises — declared ⊇ the
-    // contract union's fields — because "declared ⊇ what the client source sends" has blind spots a
-    // wrapper function (`kbCall(label, args)`) or a conditional spread hides.
-    direct('admin', z.object({
-        action: optionalText.optional(),
-        fact_id: count.optional(),
-        category: optionalText.optional(),
-        status: optionalText.optional(),
-        limit: count.optional(),
-        offset: count.optional(),
-        reason: optionalText.optional(),
-        dry_run: bool.optional(),
-        contradiction_id: count.optional(),
-        resolution: optionalText.optional(),
-        loser_fact_id: count.optional(),
-    })),
-    // kb: ingest/import/list/detail/remove/reindex/sync (action REQUIRED — no safe default)
-    //
-    // `overwrite` is a field of THIS face only: the UI's 入库 form sends it after the user confirms
-    // the collision dialog, and the CLI after `--overwrite`. It is deliberately NOT a field of
-    // `KB_ADD_TOOL.input`, so the add-only mode cannot leak into the model's view.
-    //
-    // `adopt` is the 知识 tab's 「认领文件」 button: sync one document whose frontmatter was destroyed
-    // by a whole-file overwrite, accepting the store's guess about which row it belongs to. It was
-    // missing from this face, so the button sent `{action:'sync', doc_id}` and reported
-    // 「认领完成：0 篇」 — the fourth field to ship silently undeclared.
-    direct('kb', z.object({
-        action: optionalText.optional(),
-        text: optionalText.optional(),
-        source_uri: optionalText.optional(),
-        domain: optionalText.optional(),
-        source: optionalText.optional(),
-        title: optionalText.optional(),
-        paths: textArray.optional(),
-        doc_id: count.optional(),
-        limit: count.optional(),
-        offset: count.optional(),
-        dry_run: bool.optional(),
-        overwrite: bool.optional(),
-        adopt: bool.optional(),
-    })),
-    // query: cross-store retrieval
-    direct('query', z.object({
-        query: text,
-        kind: optionalText.optional(),
-        domain: optionalText.optional(),
-        source: optionalText.optional(),
-        limit: count.optional(),
-        max_tokens: count.optional(),
-    })),
-    // classifySource / browseDir: UI-only. The 知识 tab has ONE source input, so the host has to say
-    // what a string IS (URL / file / directory / missing / pasted text) and let the user browse for a
-    // path — a browser can check `^https?://` and nothing else, and only the host may stat a path.
-    direct('classifySource', z.object({ text: optionalText.optional() })),
-    direct('browseDir', z.object({ path: optionalText.optional() })),
-    // kbDomains: UI-only. The 知识 tab's domain control is a picker, and the two halves of its option
-    // list — the configured `knowledge.domains` allowlist and the domains already in the library —
-    // live host-side, so the client asks for the union instead of guessing it.
-    direct('kbDomains', z.object({})),
-    // kbAddDomain: UI-only (no agent tool mirrors it, deliberately — an autonomous writer is where
-    // domain sprawl would come from). Appends the name to the store config's `domains` allowlist and
-    // to the live set, and answers with the new catalog so the picker can select it.
-    direct('kbAddDomain', z.object({ domain: text })),
-    // openDoc: UI-only (no agent tool mirrors it) — hand one managed document file, or the
-    // directory holding it, to the user's editor. The host resolves the path from `doc_id`, so the
-    // client never supplies a path the host would have to trust.
-    direct('openDoc', z.object({
-        doc_id: count,
-        target: optionalText.optional(),
-    })),
-];
-/** Client face: mounted by the client half through `ctx.remote.$mount()`. */
-export const clientContribution = {
-    package: PACKAGE,
-    descriptors,
-};
-/** The zod schema a strict codec carries, whichever generation's codec type is in play. */
-function codecSchema(codec) {
-    // Our own `strict()` always puts `schema` on the value, so this is the local schema even when the
-    // HOST's `TypertCodec` no longer names that member (0.1.7 removed it from the type; the value a
-    // plugin builds still carries it, which is exactly what keeps 0.1.5 hosts validating).
-    return codec.schema;
-}
-/** Declare one registered wire schema: the factory 0.1.6+ calls, plus the schema 0.1.5 reads. */
-function declared(name, schema) {
-    return { name, schema, create: () => schema };
-}
-/**
- * Host face: registered by the host half through `ctx.typert.register()`.
- *
- * The schema values are named `z.ZodType` — this package's own zod — not the registry's field type,
- * for two reasons. There are two PHYSICALLY different zod copies in play (the workspace catalog's and
- * the one inside the installed harness build), so no imported field type can be both correct and
- * stable; and the registry's field type is generation-specific (`TypertSchema['schema']` in 0.1.5,
- * `TypertSchemaFactory['create']`'s return in 0.1.6+, the name gone in 0.1.7), so naming it is what
- * broke this file's compilation on 0.1.7. The two copies are structurally identical, which is why the
- * declared entries stay assignable to whichever entry type the installed host declares.
- */
-export const hostContribution = {
-    package: PACKAGE,
-    face: 'host',
-    schemas: descriptors.flatMap((descriptor) => [
-        ...descriptor.parameters.map(parameter => declared(`${descriptor.method}${parameter.name}`, codecSchema(parameter.codec))),
-        declared(`${descriptor.method}Result`, codecSchema(descriptor.result)),
-    ]),
-    model: {
-        services: [
-            {
-                key: 'avantfMemory',
-                exportName: 'avantfMemory',
-                description: 'avantf-mem runtime facade: memory store, knowledge store, ingestion, lifecycle, cross-retrieval router',
-                summary: 'avantf-mem engine runtime',
-                tags: [],
-                members: [],
-                types: [],
-            },
-            {
-                key: NAMESPACE,
-                exportName: NAMESPACE,
-                description: 'Client Remote namespace: remember / recall / admin / kb / query over the avantf-mem stores',
-                summary: 'avantf-mem client remote',
-                tags: [],
-                members: descriptors.map(descriptor => ({
-                    kind: 'method',
-                    name: descriptor.method,
-                    signature: '(args: object) => Promise<unknown>',
-                })),
-                types: [],
-            },
-        ],
-        events: [],
-        objects: [],
-    },
-    invocations: descriptors,
-};
-//# sourceMappingURL=remote.js.map

package/lib/types/remote.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"remote.js","sourceRoot":"","sources":["../../src/remote.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAYvB,MAAM,OAAO,GAAG,iBAAiB,CAAA;AACjC,MAAM,SAAS,GAAG,WAAW,CAAA;AAE7B,MAAM,UAAU,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,GAAG,OAAO,IAAI,SAAS,IAAI,MAAM,EAAE,CAAA;AAClF,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,KAAa,EAAU,EAAE,CAAC,GAAG,OAAO,IAAI,SAAS,IAAI,MAAM,IAAI,KAAK,EAAE,CAAA;AAC3G,MAAM,YAAY,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAE9E;;;;;;;;;;;;GAYG;AACH,SAAS,MAAM,CAAC,MAAiB,EAAE,UAAkB;IAMnD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAA;AACrE,CAAC;AAED,gFAAgF;AAChF,SAAS,SAAS,CAChB,MAAc,EACd,IAAY,EACZ,MAAiB,EACjB,gBAAuB;IAEvB,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAChD,GAAG,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC;KAChE,CAAA;AACH,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAA;AACvB,iGAAiG;AACjG,4FAA4F;AAC5F,8FAA8F;AAC9F,iGAAiG;AACjG,iGAAiG;AACjG,oDAAoD;AACpD,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAA;AACzC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAA;AAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAA;AACnC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEhD,0EAA0E;AAC1E,SAAS,MAAM,CAAC,MAAc,EAAE,IAAe;IAC7C,OAAO;QACL,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC;QACtB,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,SAAS;QACpB,MAAM;QACN,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC9B,UAAU,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7C,qEAAqE;QACrE,qEAAqE;QACrE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;KAC9C,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAoC;IAC1D,qFAAqF;IACrF,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC;QAC1B,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE;QAChC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE;QACzB,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE;QACjC,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;QAC1B,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;KAChC,CAAC,CAAC;IACH,kFAAkF;IAClF,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC;QACxB,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC9B,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;QAC9B,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC7B,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC7B,GAAG,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC5B,WAAW,EAAE,YAAY,CAAC,QAAQ,EAAE;QACpC,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE;QACjC,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE;QACvB,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE;KAC7B,CAAC,CAAC;IACH,mGAAmG;IACnG,EAAE;IACF,iGAAiG;IACjG,+FAA+F;IAC/F,8FAA8F;IAC9F,4FAA4F;IAC5F,6FAA6F;IAC7F,2FAA2F;IAC3F,gGAAgG;IAChG,0EAA0E;IAC1E,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;QACvB,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE;QACzB,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE;QACjC,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE;QACvB,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE;QACxB,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE;QACxB,gBAAgB,EAAE,KAAK,CAAC,QAAQ,EAAE;QAClC,UAAU,EAAE,YAAY,CAAC,QAAQ,EAAE;QACnC,aAAa,EAAE,KAAK,CAAC,QAAQ,EAAE;KAChC,CAAC,CAAC;IACH,wFAAwF;IACxF,EAAE;IACF,8FAA8F;IAC9F,2FAA2F;IAC3F,+EAA+E;IAC/E,EAAE;IACF,2FAA2F;IAC3F,+FAA+F;IAC/F,oFAAoF;IACpF,6DAA6D;IAC7D,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACpB,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC7B,UAAU,EAAE,YAAY,CAAC,QAAQ,EAAE;QACnC,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC9B,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE;QAC3B,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE;QACxB,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE;QACvB,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE;QACxB,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE;QACxB,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE;QAC1B,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE;KACvB,CAAC,CAAC;IACH,+BAA+B;IAC/B,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;QACvB,KAAK,EAAE,IAAI;QACX,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC7B,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE;QACvB,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE;KAC7B,CAAC,CAAC;IACH,+FAA+F;IAC/F,kGAAkG;IAClG,+FAA+F;IAC/F,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChE,gGAAgG;IAChG,+FAA+F;IAC/F,2EAA2E;IAC3E,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACjC,+FAA+F;IAC/F,iGAAiG;IACjG,iFAAiF;IACjF,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,uFAAuF;IACvF,+FAA+F;IAC/F,6DAA6D;IAC7D,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;KAChC,CAAC,CAAC;CACJ,CAAA;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,kBAAkB,GAA6B;IAC1D,OAAO,EAAE,OAAO;IAChB,WAAW;CACZ,CAAA;AAiBD,2FAA2F;AAC3F,SAAS,WAAW,CAAC,KAAc;IACjC,kGAAkG;IAClG,gGAAgG;IAChG,uFAAuF;IACvF,OAAQ,KAAwC,CAAC,MAAM,CAAA;AACzD,CAAC;AAED,iGAAiG;AACjG,SAAS,QAAQ,CAAC,IAAY,EAAE,MAAiB;IAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAA;AAC/C,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAuB;IAClD,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAoB,EAAE,CAAC;QAC7D,GAAG,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAChD,GAAG,UAAU,CAAC,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,EACvC,WAAW,CAAE,SAAS,CAAC,KAAkD,CAAC,CAC3E,CAAC;QACF,QAAQ,CACN,GAAG,UAAU,CAAC,MAAM,QAAQ,EAC5B,WAAW,CAAE,UAAU,CAAC,MAAmD,CAAC,CAC7E;KACF,CAAC;IACF,KAAK,EAAE;QACL,QAAQ,EAAE;YACR;gBACE,GAAG,EAAE,cAAc;gBACnB,UAAU,EAAE,cAAc;gBAC1B,WAAW,EAAE,wGAAwG;gBACrH,OAAO,EAAE,2BAA2B;gBACpC,IAAI,EAAE,EAAE;gBACR,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,EAAE;aACV;YACD;gBACE,GAAG,EAAE,SAAS;gBACd,UAAU,EAAE,SAAS;gBACrB,WAAW,EAAE,4FAA4F;gBACzG,OAAO,EAAE,0BAA0B;gBACnC,IAAI,EAAE,EAAE;gBACR,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;oBACtC,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,UAAU,CAAC,MAAM;oBACvB,SAAS,EAAE,oCAAoC;iBAChD,CAAC,CAAC;gBACH,KAAK,EAAE,EAAE;aACV;SACF;QACD,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,EAAE;KACZ;IACD,WAAW,EAAE,WAAW;CACzB,CAAA"}

package/lib/types/tool_schema.js

@@ -1,149 +0,0 @@
-/**
- * zod → DSH parameter schema derivation for the agent tools.
- *
- * Deliberately free of `@deepseek-ai/*` imports: everything it needs — the contract's tool
- * specs, hence the zod schemas — comes from `@avantf/mem-contract`, so this module can be read
- * and exercised without a harness checkout or an installed `dsh`.
- *
- * Two things keep this honest across a zod upgrade. First, the field-level mapping goes through
- * zod's OWN converter (`z.toJSONSchema`, the same one the contract's MCP derivation uses)
- * instead of reading `typeName`/`checks`/`shape` by hand, so there is one mechanism and not two
- * hand-rolled ones. Second, only the union/object structure is read off the internals
- * (`def.options` / `def.shape` / a literal's `def.values`) — and a wrong internal read degrades
- * SILENTLY: every field would flatten to `{type:'string'}` and no type error would appear, which
- * is why the derived shape is asserted by the test suite rather than eyeballed.
- */
-import { z } from 'zod';
-import { mergedFieldDescription } from '@avantf/mem-contract';
-export function zodDef(schema) {
-    return schema?.def ?? {};
-}
-/**
- * One field as JSON Schema, or `undefined` when `schema` is not a zod schema at all.
- *
- * `io: 'input'` matches how these schemas are actually used (arguments coming IN), and
- * `unrepresentable: 'any'` turns a future unrepresentable schema into a permissive object
- * instead of a throw at import time.
- */
-function jsonSchemaOf(schema) {
-    if (typeof schema?.safeParse !== 'function')
-        return undefined;
-    try {
-        return z.toJSONSchema(schema, { io: 'input', unrepresentable: 'any' });
-    }
-    catch {
-        return undefined;
-    }
-}
-/** Nearest `description` on a schema (wrappers included — the converter already unwrapped them). */
-export function schemaDescription(schema) {
-    const description = jsonSchemaOf(schema)?.['description'];
-    return typeof description === 'string' && description.length > 0 ? description : undefined;
-}
-/** JSON Schema → DSH parameter spec. Recurses on `items`, which is itself JSON Schema. */
-function jsonToSpec(js) {
-    const type = js['type'];
-    let spec;
-    if (type === 'integer')
-        spec = { type: 'integer' };
-    else if (type === 'number')
-        spec = { type: 'number' };
-    else if (type === 'boolean')
-        spec = { type: 'boolean' };
-    else if (type === 'array')
-        spec = { type: 'array', items: jsonToSpec(js['items'] ?? {}) };
-    else if (type === 'object')
-        spec = { type: 'object' };
-    else if (Array.isArray(js['enum']))
-        spec = { type: 'string', enum: js['enum'].map(String) };
-    // A string literal arrives as `const`, not `enum`: keep the old shape (`enum: [value]`).
-    else if (typeof js['const'] === 'string')
-        spec = { type: 'string', enum: [js['const']] };
-    else if (typeof js['const'] === 'number')
-        spec = { type: 'number' };
-    else if (typeof js['const'] === 'boolean')
-        spec = { type: 'boolean' };
-    else
-        spec = { type: 'string' };
-    const description = js['description'];
-    return typeof description === 'string' && description.length > 0 ? { ...spec, description } : spec;
-}
-export function zodToSpec(schema) {
-    return jsonToSpec(jsonSchemaOf(schema) ?? {});
-}
-/** Materialize one zod object branch's fields, or undefined for a non-object. */
-export function branchShape(schema) {
-    return zodDef(schema).shape;
-}
-/**
- * Flatten a tool input schema into DSH's implicit parameter map. A discriminated
- * union contributes one required `action` enum plus the merged field set (fields
- * stay optional at the schema level because requiredness differs per action; the
- * per-action requirement is stated in each field's description and enforced by
- * `spec.input` validation before dispatch). A plain object marks its own required
- * fields directly.
- *
- * The merged descriptions come from the contract's {@link mergedFieldDescription}, the SAME
- * function `toolInputJsonSchema` uses for the MCP surface. Taking each field's first branch
- * verbatim is what made the two model-facing surfaces disagree: `mem_admin`'s `fact_id` said
- * "action=detail 时必填" on this surface while the MCP schema said
- * "【detail/archive/restore/pin/unpin 必填】" — so a model calling `archive` without it had to
- * learn the requirement from a `violations` retry. Both surfaces now read the same merged
- * descriptions, which is what keeps them in agreement field for field.
- */
-export function flattenToolSpec(spec) {
-    const input = spec.input;
-    const def = zodDef(input);
-    const properties = {};
-    let actions = [];
-    if (Array.isArray(def.options)) {
-        // The union's fields are declared one branch at a time, so a field's real action set is the
-        // union over the branches that require it — collected here, applied below.
-        const requiredIn = new Map();
-        for (const branch of def.options) {
-            const shape = branchShape(branch);
-            if (shape === undefined)
-                continue;
-            const actionSchema = shape['action'];
-            const literal = actionSchema === undefined ? undefined : zodDef(actionSchema).values?.[0];
-            const action = typeof literal === 'string' ? literal : undefined;
-            if (action !== undefined && !actions.includes(action))
-                actions = [...actions, action];
-            for (const [key, fieldSchema] of Object.entries(shape)) {
-                if (key === 'action')
-                    continue;
-                if (properties[key] === undefined)
-                    properties[key] = zodToSpec(fieldSchema);
-                if (action === undefined)
-                    continue;
-                const optional = fieldSchema.isOptional?.() ?? false;
-                if (!optional)
-                    requiredIn.set(key, [...(requiredIn.get(key) ?? []), action]);
-            }
-        }
-        for (const [key, paramSpec] of Object.entries(properties)) {
-            const description = mergedFieldDescription(paramSpec.description, requiredIn.get(key) ?? []);
-            properties[key] = description === undefined ? paramSpec : { ...paramSpec, description };
-        }
-    }
-    else {
-        const shape = branchShape(input);
-        if (shape !== undefined) {
-            for (const [key, fieldSchema] of Object.entries(shape)) {
-                const paramSpec = zodToSpec(fieldSchema);
-                const optional = fieldSchema.isOptional?.() ?? false;
-                properties[key] = optional ? paramSpec : { ...paramSpec, required: true };
-            }
-        }
-    }
-    if (actions.length > 0) {
-        properties['action'] = {
-            type: 'string',
-            required: true,
-            enum: actions,
-            description: `要执行的操作，取值：${actions.join(' | ')}。每个操作需要哪些字段见各字段说明。`,
-        };
-    }
-    return properties;
-}
-//# sourceMappingURL=tool_schema.js.map

package/lib/types/tool_schema.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"tool_schema.js","sourceRoot":"","sources":["../../src/tool_schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,sBAAsB,EAAiB,MAAM,sBAAsB,CAAA;AAmB5E,MAAM,UAAU,MAAM,CAAC,MAAe;IACpC,OAAQ,MAAuC,EAAE,GAAG,IAAI,EAAE,CAAA;AAC5D,CAAC;AAED;;;;;;GAMG;AACH,SAAS,YAAY,CAAC,MAAe;IACnC,IAAI,OAAQ,MAA8C,EAAE,SAAS,KAAK,UAAU;QAAE,OAAO,SAAS,CAAA;IACtG,IAAI,CAAC;QACH,OAAO,CAAC,CAAC,YAAY,CAAC,MAAmB,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,CAA4B,CAAA;IAChH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,iBAAiB,CAAC,MAAe;IAC/C,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAA;IACzD,OAAO,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAA;AAC5F,CAAC;AAED,0FAA0F;AAC1F,SAAS,UAAU,CAAC,EAA2B;IAC7C,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA;IACvB,IAAI,IAAe,CAAA;IACnB,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;SAC7C,IAAI,IAAI,KAAK,QAAQ;QAAE,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;SAChD,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;SAClD,IAAI,IAAI,KAAK,OAAO;QAAE,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAE,EAAE,CAAC,OAAO,CAAyC,IAAI,EAAE,CAAC,EAAE,CAAA;SAC7H,IAAI,IAAI,KAAK,QAAQ;QAAE,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;SAChD,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAAE,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAG,EAAE,CAAC,MAAM,CAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAA;IAC1G,yFAAyF;SACpF,IAAI,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ;QAAE,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAA;SACnF,IAAI,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ;QAAE,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;SAC9D,IAAI,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS;QAAE,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;;QAChE,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC9B,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,CAAC,CAAA;IACrC,OAAO,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AACpG,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAe;IACvC,OAAO,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;AAC/C,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,WAAW,CAAC,MAAe;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAA;AAC7B,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAAC,IAAc;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAgB,CAAA;IACnC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IACzB,MAAM,UAAU,GAA8B,EAAE,CAAA;IAChD,IAAI,OAAO,GAAa,EAAE,CAAA;IAE1B,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,4FAA4F;QAC5F,2EAA2E;QAC3E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAA;QAC9C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAA;YACjC,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAQ;YACjC,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAA;YACpC,MAAM,OAAO,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,MAAM,CAAC,YAAY,CAAC,CAAC,MAAgC,EAAE,CAAC,CAAC,CAAC,CAAA;YACpH,MAAM,MAAM,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;YAChE,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,GAAG,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,CAAA;YACrF,KAAK,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvD,IAAI,GAAG,KAAK,QAAQ;oBAAE,SAAQ;gBAC9B,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,SAAS;oBAAE,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,CAAA;gBAC3E,IAAI,MAAM,KAAK,SAAS;oBAAE,SAAQ;gBAClC,MAAM,QAAQ,GAAI,WAA8C,CAAC,UAAU,EAAE,EAAE,IAAI,KAAK,CAAA;gBACxF,IAAI,CAAC,QAAQ;oBAAE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;YAC9E,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1D,MAAM,WAAW,GAAG,sBAAsB,CAAC,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAA;YAC5F,UAAU,CAAC,GAAG,CAAC,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,CAAA;QACzF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;QAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvD,MAAM,SAAS,GAAG,SAAS,CAAC,WAAW,CAAC,CAAA;gBACxC,MAAM,QAAQ,GAAI,WAA8C,CAAC,UAAU,EAAE,EAAE,IAAI,KAAK,CAAA;gBACxF,UAAU,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;YAC3E,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,UAAU,CAAC,QAAQ,CAAC,GAAG;YACrB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,OAAO;YACb,WAAW,EAAE,aAAa,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB;SAClE,CAAA;IACH,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC"}