@deepseek-ai/dsh-typert-loader 0.2.1-alpha.1 → 0.2.1-alpha.3

package/README.i18n.yaml

@@ -21,8 +21,8 @@
   en: 881670b2d7dfb04d
   zh: fbf612e945aaf066
 /deepseek-ai-dsh-typert-loader/use-this-package/what-gets-registered:
-  en: 01318fcba39e9b0f
-  zh: c5f6528a91b335ac
+  en: 73660724a51afcea
+  zh: 448a32bb29614c7a
 /deepseek-ai-dsh-typert-loader/use-this-package/observable-behavior-and-failures:
   en: 01494e9fbd469ec8
   zh: 3025d870c0f36e2b
@@ -33,8 +33,8 @@
   en: 03fc077e58271e18
   zh: 20f8fc02008cee5e
 /deepseek-ai-dsh-typert-loader/understand-the-implementation/manifest-validation:
-  en: eb246aef15ea0532
-  zh: 7a4a7bcc788b3ba3
+  en: c7d93c72a224e8fb
+  zh: 51f0e4b8a043c238
 /deepseek-ai-dsh-typert-loader/understand-the-implementation/caching-and-ownership:
   en: 38e781e052fdf44e
   zh: d8f6b4d119bf9856
@@ -51,8 +51,8 @@
   en: f8a0ad3d0fc0eb32
   zh: 7649a694b279f5f3
 /deepseek-ai-dsh-typert-loader/known-limitations-and-deferred-work:
-  en: a7e281826b58b218
-  zh: b4347c965151a1a9
+  en: 9bc795b850f7ab8a
+  zh: f3aea571a70bf327
 /deepseek-ai-dsh-typert-loader/known-limitations-and-deferred-work/dev-note:
   en: e67f633dc6fe7773
   zh: 3bb0c20c93f16f98

package/README.md

@@ -44,7 +44,9 @@ The generated [configuration catalog](../../../docs/config-catalog.md#deepseek-a
 
 ### What gets registered
 
-Each qualifying Loader entry contributes its generated host-face reflection and schema factories to the runtime registry. Registration follows the entry lifecycle: it is withdrawn when the entry or the plugin unmounts, and an import that settles after either owner is gone is discarded.
+Each qualifying Loader entry contributes its generated host-face reflection, schema factories, and `TYPERT.invocations` to the runtime registry. The ordinary artifact's getter exposes descriptors from a private Remote info instance; generated direct descriptors also provide named input and invocation helpers. Registration follows the entry lifecycle: it is withdrawn when the entry or the plugin unmounts, and an import that settles after either owner is gone is discarded.
+
+Source compositions requiring strict Remote validation prebuild and load the ordinary `./typert` artifact. The loader registers its invocations in `ctx.typert.local`; it does not recover erased constraints, documentation, or schemas from live Services. Limited descriptor-free source fallback remains a Gateway concern, and `local.hasSeen()` prevents downgrading to it after a registered definition is withdrawn.
 
 ### Observable behavior and failures
 
@@ -66,7 +68,7 @@ The plugin is an incremental scanner mirroring the client-modules node half: eve
 
 ### Manifest validation
 
-`validateTypertManifest()` is the module/file boundary: the manifest crosses from a build artifact into the typed registry, so every field is checked. The manifest must name the package that exports it, carry face `host`, hold schema factories, and keep well-formed service, event, object, member, type, and documentation records; invocation descriptors must use strict codecs with factories. Every failure names the package and the defect.
+`validateTypertManifest()` checks artifacts before they enter the typed registry. A manifest must name its exporting package, carry face `host`, hold schema factories, and contain well-formed reflection records; invocation descriptors require strict codecs with factories. Validation checks parameter `codec` and any supplied `strictCodec` specs and requires generated direct-method `input` and `invoke` to be callable; `result` remains the sole output codec. Documentation and JSON Schema are optional. Registration never calls the input selector, parser factories, or projection getters; validation inspects only supplied static projection data. Every failure names the package and the defect.
 
 ### Caching and ownership
 
@@ -113,6 +115,7 @@ These limits define what the loader does not discover or register; they are curr
 - **Host face only** — discovery imports only the host `./typert` artifact; client runtimes need a separate composition owner before equivalent discovery is added.
 - **Explicit entries for nested plugins** — Loader entries are discovered automatically, but plugins nested behind another entry, or not loaded by the Loader at all, need an explicit `packages` entry or direct `ctx.typert.register()` ownership.
 - **Cached verdicts never expire** — a package that gains a `./typert` export mid-process needs a restart before the loader registers it.
+- **Host readiness remains composition-owned** — consumers requiring strict metadata must wait for registration before serving calls. The lazy info factory does not make asynchronous Loader registration ready; `local.hasSeen()` only protects definitions already observed.
 
 <a id="dev-note"></a>
 ### Dev Note

package/README.zh.md

@@ -44,7 +44,9 @@ kind: "package-reference"
 
 ### 注册什么
 
-每个符合条件的 Loader 配置项都会把其生成的宿主侧反射与 schema factory 贡献给运行时注册表。注册跟随配置项生命周期：配置项或本插件卸载时撤销；在配置项或本插件任一方卸载后才结束的导入操作会被丢弃。
+每个符合条件的 Loader 配置项都会把其生成的宿主侧反射、schema factory 和 `TYPERT.invocations` 贡献给运行时注册表。普通产物的 getter 暴露来自私有 Remote info 实例的描述符；生成的直接方法描述符还提供具名输入与调用辅助能力。注册跟随配置项生命周期：配置项或本插件卸载时撤销；在配置项或本插件任一方卸载后才结束的导入操作会被丢弃。
+
+要求严格 Remote 校验的源码组合预先构建并加载普通 `./typert` 产物。loader 将其调用定义注册到 `ctx.typert.local`；它不会从运行中的 Service 恢复已擦除的约束、文档或 schema。受限的无描述符源码回退仍由 Gateway 负责，`local.hasSeen()` 会阻止已注册定义撤销后降级到该回退。
 
 ### 可观察行为与失败
 
@@ -66,7 +68,7 @@ kind: "package-reference"
 
 ### Manifest 校验
 
-`validateTypertManifest()` 是模块／文件边界：manifest 从构建产物进入类型化注册表，因此每个字段都会被检查。manifest 必须指名导出它的包、携带 `host` face、持有 schema factory，并保持服务、事件、对象、成员、类型与文档记录格式正确；调用描述符必须使用带 factory 的严格编解码器。每次失败都会指名包与缺陷。
+`validateTypertManifest()` 在产物进入类型化注册表前执行检查。manifest 必须指名导出它的包、携带 `host` face、持有 schema factory，并包含格式正确的反射记录；调用描述符要求带 factory 的严格 codec。校验检查参数 `codec` 及提供的 `strictCodec` spec，并要求生成直接方法的 `input` 和 `invoke` 可调用；`result` 仍是唯一输出 codec。文档和 JSON Schema 可选。注册绝不调用输入选择器、解析器 factory 或投影 getter；校验只检查已提供的静态投影数据。每次失败都会指名包与缺陷。
 
 ### 缓存与归属
 
@@ -113,6 +115,7 @@ kind: "package-reference"
 - **仅宿主侧**——发现机制只会导入宿主侧 `./typert` 产物；在为客户端运行时添加等价的发现机制之前，需要先有独立的组合所有者。
 - **嵌套插件需要显式条目**——Loader 配置项会被自动发现，但嵌套在另一配置项之下、或完全不经 Loader 加载的插件，需要显式加入 `packages`，或由其所有者直接调用 `ctx.typert.register()`。
 - **缓存结论永不过期**——进程中途新增 `./typert` 导出的包需要重启后 loader 才会注册它。
+- **Host 就绪仍由组合负责**——要求严格元数据的消费方必须等待注册完成后再接受调用。惰性 info factory 不会让异步 Loader 注册自动就绪；`local.hasSeen()` 只保护已经观察到的定义。
 
 <a id="dev-note"></a>
 ### 开发备注

package/lib/index.js

@@ -68,8 +68,9 @@ function typertExportOf(pkgName, exportsField) {
 /**
 * Narrow a dynamically imported typert module's `TYPERT` export to a
 * contribution owned by `pkgName`. This is the module/file boundary: the
-* manifest crosses from a build artifact into the typed registry, so every
-* field is checked and every failure names the package and the defect.
+* manifest crosses from a build artifact into the typed registry. Dispatch
+* facts and eager projection fields are checked; computed tool projections
+* remain lazy until a consumer requests them. Failures name the package and defect.
 * @param pkgName - the package whose typert face was imported.
 * @param exported - the module's `TYPERT` export.
 * @returns the validated contribution.
@@ -127,6 +128,9 @@ function requireArray(pkgName, value, subject) {
 function requireString(pkgName, value, key, subject) {
 	if (typeof value[key] !== "string" || value[key].length === 0) throw new Error(`typert-loader: ${pkgName} ${subject} has a missing or empty ${key}`);
 }
+function requireOptionalString(pkgName, value, key, subject) {
+	if (value[key] !== void 0 && typeof value[key] !== "string") throw new Error(`typert-loader: ${pkgName} ${subject}.${key} must be a string`);
+}
 function requireDocumentation(pkgName, value, subject) {
 	requireArray(pkgName, value.tags, `${subject}.tags`);
 	for (const key of [
@@ -159,6 +163,8 @@ function requireInvocation(pkgName, value) {
 		"method"
 	]) requireString(pkgName, invocation, key, "invocation");
 	const id = invocation.id;
+	requireOptionalString(pkgName, invocation, "description", `invocation "${id}"`);
+	if (invocation.mode !== void 0 && invocation.mode !== "stream") throw new Error(`typert-loader: ${pkgName} invocation "${id}" mode must be "stream" when present`);
 	const receiver = requireObject(pkgName, invocation.invocation, `invocation "${id}" receiver`);
 	if (receiver.kind === "context") {
 		requireString(pkgName, receiver, "context", `invocation "${id}" Context receiver`);
@@ -172,6 +178,7 @@ function requireInvocation(pkgName, value) {
 		const parameter = requireObject(pkgName, valueParameter, `invocation "${id}" parameter`);
 		requireString(pkgName, parameter, "name", `invocation "${id}" parameter`);
 		requireString(pkgName, parameter, "wire", `invocation "${id}" parameter`);
+		requireOptionalString(pkgName, parameter, "description", `invocation "${id}" parameter`);
 		const wire = parameter.wire;
 		if (wires.has(wire)) throw new Error(`typert-loader: ${pkgName} invocation "${id}" repeats wire field "${wire}"`);
 		wires.add(wire);
@@ -183,6 +190,7 @@ function requireInvocation(pkgName, value) {
 		} else throw new Error(`typert-loader: ${pkgName} invocation "${id}" parameter source must be "json" or "lookup"`);
 		parameters.set(wire, parameter);
 		requireStrictCodec(pkgName, parameter.codec, `invocation "${id}" parameter codec`);
+		if (parameter.strictCodec !== void 0) requireStrictCodec(pkgName, parameter.strictCodec, `invocation "${id}" strict input codec`);
 	}
 	if (invocation.cancellation !== void 0) {
 		if (requireObject(pkgName, invocation.cancellation, `invocation "${id}" cancellation`).parameter !== "signal") throw new Error(`typert-loader: ${pkgName} invocation "${id}" cancellation parameter must be "signal"`);
@@ -197,18 +205,33 @@ function requireInvocation(pkgName, value) {
 	}
 	if (receiver.kind === "context" && wires.has(receiver.wire)) throw new Error(`typert-loader: ${pkgName} invocation "${id}" repeats Context wire field "${receiver.wire}"`);
 	requireStrictCodec(pkgName, invocation.result, `invocation "${id}" result codec`);
+	if (invocation.input !== void 0 || invocation.invoke !== void 0) {
+		if (receiver.kind !== "direct") throw new Error(`typert-loader: ${pkgName} invocation "${id}" input/invoke require a direct receiver`);
+		if (typeof invocation.input !== "function") throw new Error(`typert-loader: ${pkgName} invocation "${id}" has no input() selector`);
+		if (typeof invocation.invoke !== "function") throw new Error(`typert-loader: ${pkgName} invocation "${id}" has no invoke() function`);
+	}
 	if (invocation.sourceLocation !== void 0) {
 		const location = requireObject(pkgName, invocation.sourceLocation, `invocation "${id}" sourceLocation`);
 		requireString(pkgName, location, "file", `invocation "${id}" sourceLocation`);
 		for (const key of ["line", "column"]) if (!Number.isInteger(location[key]) || location[key] < 1) throw new Error(`typert-loader: ${pkgName} invocation "${id}" sourceLocation.${key} must be a positive integer`);
 	}
 }
+function requireSchemaProjection(pkgName, value, subject) {
+	if (typeof value.create !== "function") throw new Error(`typert-loader: ${pkgName} ${subject} has no create() factory`);
+	const fields = Object.getOwnPropertyDescriptors(value);
+	for (const key of ["description", "jsonSchemaError"]) {
+		const field = fields[key]?.value;
+		if (field !== void 0 && typeof field !== "string") throw new Error(`typert-loader: ${pkgName} ${subject}.${key} must be a string`);
+	}
+	const schema = fields.jsonSchema?.value;
+	if (schema !== void 0) requireObject(pkgName, schema, `${subject}.jsonSchema`);
+}
 function requireStrictCodec(pkgName, value, subject) {
 	const codec = requireObject(pkgName, value, subject);
 	if (codec.mode !== "strict") throw new Error(`typert-loader: ${pkgName} ${subject} must use a strict codec`);
 	requireString(pkgName, codec, "typeSymbol", subject);
 	for (const method of ["decode", "encode"]) if (codec[method] !== void 0 && typeof codec[method] !== "function") throw new Error(`typert-loader: ${pkgName} ${subject} ${method} must be a function`);
-	if (typeof codec.create !== "function") throw new Error(`typert-loader: ${pkgName} ${subject} has no create() factory`);
+	requireSchemaProjection(pkgName, codec, subject);
 }
 /**
 * Scan current Loader entries during activation, then follow entry mounts and

package/lib/types/index.d.ts

@@ -43,8 +43,9 @@ export declare const Config: z<Config>;
 /**
  * Narrow a dynamically imported typert module's `TYPERT` export to a
  * contribution owned by `pkgName`. This is the module/file boundary: the
- * manifest crosses from a build artifact into the typed registry, so every
- * field is checked and every failure names the package and the defect.
+ * manifest crosses from a build artifact into the typed registry. Dispatch
+ * facts and eager projection fields are checked; computed tool projections
+ * remain lazy until a consumer requests them. Failures name the package and defect.
  * @param pkgName - the package whose typert face was imported.
  * @param exported - the module's `TYPERT` export.
  * @returns the validated contribution.

package/locale/en.json

@@ -0,0 +1,5 @@
+{
+  "meta": {
+    "title": "typert-loader"
+  }
+}

package/locale/zh.json

@@ -0,0 +1,6 @@
+{
+  "meta": {
+    "title": "Typert 类型加载",
+    "description": "加载插件生成的类型信息，供运行时查询和调用。"
+  }
+}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@deepseek-ai/dsh-typert-loader",
   "description": "Loader integration for generated Typert package contributions",
-  "version": "0.2.1-alpha.1",
+  "version": "0.2.1-alpha.3",
   "publishConfig": {
     "access": "public"
   },
@@ -19,26 +19,30 @@
       "default": "./lib/index.js"
     },
     "./src/*": "./src/*",
-    "./package.json": "./package.json"
+    "./package.json": "./package.json",
+    "./locale/*.json": "./locale/*.json"
   },
   "files": [
+    "locale/*.json",
     "lib/index.js",
     "lib/types/**/*.d.ts"
   ],
   "license": "MIT",
   "peerDependencies": {
-    "@deepseek-ai/cordis-plugin-loader": "~1.0.6-alpha.1",
-    "@deepseek-ai/dsh-typert-registry": "0.2.1-alpha.1",
-    "@deepseek-ai/cordis": "~4.0.5-alpha.1"
+    "@deepseek-ai/cordis-plugin-loader": "~1.0.6-alpha.2",
+    "@deepseek-ai/dsh-typert-registry": "0.2.1-alpha.3",
+    "@deepseek-ai/cordis": "~4.0.5-alpha.2"
   },
   "dependencies": {
-    "@deepseek-ai/schemastery": "~3.18.5-alpha.1"
+    "@deepseek-ai/schemastery": "~3.18.5-alpha.2"
   },
   "devDependencies": {
-    "zod": "^4.4.3",
-    "@deepseek-ai/cordis-plugin-loader": "~1.0.6-alpha.1",
-    "@deepseek-ai/dsh-app-boot": "0.2.1-alpha.1",
-    "@deepseek-ai/dsh-typert-registry": "0.2.1-alpha.1",
-    "@deepseek-ai/cordis": "~4.0.5-alpha.1"
+    "@deepseek-ai/dsh-app-boot": "0.2.1-alpha.3",
+    "@deepseek-ai/cordis-plugin-loader": "~1.0.6-alpha.2",
+    "@deepseek-ai/dsh-typert-registry": "0.2.1-alpha.3",
+    "@deepseek-ai/dsh-typert-protocol": "0.2.1-alpha.3",
+    "@deepseek-ai/cordis": "~4.0.5-alpha.2",
+    "typescript": "^6.0.3",
+    "zod": "4.4.3"
   }
 }