@deepseek-ai/dsh-typert-generator 0.1.5-rc.2 → 0.1.6-alpha.2

package/README.i18n.yaml

@@ -2,5 +2,5 @@
 # side as of the last confirmed-consistent state. Both languages carry equal authority;
 # after editing either side, bring the other along and re-record with:
 #   pnpm run verify-translation-pairing --write packages/typert/generator/README.md
-README.md: 48d79dfc44f6c2f658e8aa13836e5044d6cbf25d
-README.zh.md: e546661fe297d09367185585e43d486cd417090d
+README.md: 399e4fe622a785d68452ffeae79e106246941fa1
+README.zh.md: 1fd19fd76ab804013a8741cb90522e9fd3f608d3

package/README.md

@@ -9,7 +9,7 @@ English | [中文](README.zh.md)
 
 ## Summary
 
-`dsh-typert-generator` lets maintainers turn public TypeScript types into build artifacts and compiler-independent models. Packages opt in through the `./typert` and optional `./client/typert` exports, and generation rejects declarations, publish lists, Remote exports, or Zod projections that it cannot represent correctly. Repository builds can emit executable schemas and matching declarations, while tools can call `WorkspaceAnalyzer` for inspection or catalog generation without publishing artifacts. Generation runs only at build time and never in a live agent session.
+`dsh-typert-generator` lets maintainers turn public TypeScript types into build artifacts and compiler-independent models. Packages opt in through the `./typert` and optional `./client/typert` exports, and generation rejects declarations, publish lists, Remote exports, or Zod projections that it cannot represent correctly. Repository builds emit executable schema factories and matching declarations, while tools can call `WorkspaceAnalyzer` for inspection or catalog generation without publishing artifacts. Generation runs only at build time and never in a live agent session.
 
 ## Table of Contents
 
@@ -79,14 +79,16 @@ The generator is built on one separation: extraction and emission are decoupled
 
 ### Analysis and faces
 
-Host and client are independent TypeScript programs. Direct project references establish compiler-face membership, while `dsh.client` package subpaths establish runtime-face contribution; `package.json#exports` marks every cross-package public boundary, and imports or re-exports are the only cross-face edges. A relative import that resolves inside the referencing package is followed through that module's re-exports until a package specifier appears, so package-local forwarding modules keep their original declaration references; a relative import that resolves into another package fails. `check` mode fails on syntax or semantic diagnostics, missing public annotations, private cross-package references, and reachable declaration merges the model cannot retain losslessly; `write` mode inserts checker-derived annotations and returns a clean check-mode model. Types owned by NPM dependencies remain `external` references instead of being expanded.
+Host and Client are independent TypeScript programs. Direct project references establish compiler-face membership, while `dsh.client` package subpaths establish runtime-face contribution; `package.json#exports` marks every cross-package public boundary, and imports or re-exports are the only cross-face edges. A relative import that resolves inside the referencing package is followed through that module's re-exports until a package specifier appears, so package-local forwarding modules keep their original declaration references; a relative import that resolves into another package fails. `check` mode fails on syntax or semantic diagnostics, missing public annotations, private cross-package references, and reachable declaration merges the model cannot retain losslessly; `write` mode inserts checker-derived annotations and returns a clean check-mode model. Types owned by NPM dependencies remain `external` references instead of being expanded.
 
 ### Emission and publication contract
 
-`FaceModelEmitter` emits executable JavaScript containing supported Zod schemas and the `TYPERT` contribution, plus a declaration file whose schemas are typed `z.ZodType<SourceType>` through the package's public export; unsupported Zod projections fail. The Host face with Remote methods additionally emits `typert.remote-client.*` projections of Host Remote contracts for the Client. `WorkspaceTypertGenerator` validates each contributor's `package.json`: `./typert` and `./client/typert` (and `./remote` when Remote methods exist) must point at the exact generated files, and the `files` list must include them.
+`FaceModelEmitter` emits executable JavaScript containing success-cached Zod schema factories and the `TYPERT` contribution, plus a declaration file whose factories return `z.ZodType<SourceType>` through the package's public export; unsupported Zod projections fail. The Host face with Remote methods additionally emits `typert.remote-client.*` projections of Host Remote contracts for the Client. `WorkspaceTypertGenerator` validates each contributor's `package.json`: `./typert` and `./client/typert` (and `./remote` when Remote methods exist) must point at the exact generated files, and the `files` list must include them.
 
 ### Catalog projection
 
+The runtime type closure indexes exported workspace declarations and referenced framework enums. Vendored declarations stay outside business API discovery; their enums remain available when a public result refers to them.
+
 The root export includes the model-driven extraction, completeness checks, and deterministic text renderers used by this repository's Cordis catalogs. They accept a `CordisCatalogPolicy`; repository-owned type links, foundation and exemption classifications, and inherited Cordis entries stay in `scripts/gen-cordis-catalog.ts` and are passed in explicitly, so this package contains projection mechanics, not a hidden copy of the repository's documentation taxonomy.
 
 </details>
@@ -138,4 +140,4 @@ None.
 
 </details>
 
-**Runtime invariant:** No companion is published. This source-project analyzer and build-time emitter runs outside any cordis runtime; model snapshots, executable artifacts, and consuming-package typechecks enforce its output contract.
+**Runtime invariant:** No companion is published. The source-project analyzer and build-time emitter run outside any Cordis runtime; model snapshots, executable artifacts, and consuming-package typechecks enforce the output contract.

package/README.zh.md

@@ -9,7 +9,7 @@ kind: "package-library"
 
 ## 概述
 
-`dsh-typert-generator` 让维护者把公开的 TypeScript 类型转换为构建产物和与编译器无关的模型。包通过 `./typert` 和可选的 `./client/typert` 导出选择加入；如果声明、发布清单、Remote 导出或 Zod 投影无法被正确表示，生成过程就会失败。仓库构建可以生成可执行 schema 与配套声明，工具也可以调用 `WorkspaceAnalyzer` 完成检查或目录生成而不发布产物。生成过程只在构建时运行，绝不会进入实时 agent 会话。
+`dsh-typert-generator` 让维护者把公开的 TypeScript 类型转换为构建产物和与编译器无关的模型。包通过 `./typert` 和可选的 `./client/typert` 导出选择加入；如果声明、发布清单、Remote 导出或 Zod 投影无法被正确表示，生成过程就会失败。仓库构建会生成可执行 schema factory 与配套声明，工具也可以调用 `WorkspaceAnalyzer` 完成检查或目录生成而不发布产物。生成过程只在构建时运行，绝不会进入实时 agent（智能体）会话。
 
 ## 目录
 
@@ -45,11 +45,11 @@ files:
 
 ### 静态分析工作区
 
-静态消费方直接以工作区的 `tsconfig.host.json` 与 `tsconfig.client.json` aggregate 调用 `WorkspaceAnalyzer`，选择 face 与包子集，并在不生成或加载运行时产物的前提下读取生成的 `FaceModel` 与类型图。`analyzeInBatches()` 通过有界的编译器程序处理大批量包选择，模型形态保持一致；`discoverPackages()` 无需构建类型检查程序即可找出参与贡献的包。
+静态消费方直接针对工作区的 `tsconfig.host.json` 与 `tsconfig.client.json` 聚合配置调用 `WorkspaceAnalyzer`，选择 face 与包子集，并在不生成或加载运行时产物的前提下读取生成的 `FaceModel` 与类型图。`analyzeInBatches()` 通过有界的编译器程序处理大批量包选择，模型形态保持一致；`discoverPackages()` 无需构建类型检查程序即可找出参与贡献的包。
 
 ### 在 tsdown 构建中运行生成
 
-包的 `./tsdown` 子路径为根 tsdown 配置提供 `typertPlugin()`：它在打包前降低 TypeScript 依赖中的标准装饰器，并在包输出根目录生成模型驱动的 face 产物。`package` 模式只生成当前打包的包；`workspace` 模式对每个显式贡献方各生成一次。
+包的 `./tsdown` 子路径为根 tsdown 配置提供 `typertPlugin()`：它在打包前转换 TypeScript 依赖中的标准装饰器，并在包输出根目录生成模型驱动的 face 产物。`package` 模式只生成当前打包的包；`workspace` 模式对每个显式贡献方各生成一次。
 
 -----
 
@@ -63,7 +63,7 @@ files:
 
 ### 设计理念
 
-生成器建立在一个分离之上：提取与生成通过与编译器无关的模型解耦。`WorkspaceAnalyzer` 读取以 face aggregate tsconfig 为种子的 TypeScript 程序，产出 `FaceModel` 与 `TypeGraph` 数据；`FaceModelEmitter` 只消费该模型，绝不接收编译器节点。模型保留声明标识、泛型参数及应用、显式继承、条件类型与映射类型、导入属性、abstract 修饰符与源码 JSDoc，并排除构造函数、静态成员与非公共成员。
+生成器遵循一项核心分离原则：提取与生成通过与编译器无关的模型解耦。`WorkspaceAnalyzer` 读取以 face aggregate tsconfig 为种子的 TypeScript 程序，产出 `FaceModel` 与 `TypeGraph` 数据；`FaceModelEmitter` 只消费该模型，绝不接收编译器节点。模型保留声明标识、泛型参数及应用、显式继承、条件类型与映射类型、导入属性、abstract 修饰符与源码 JSDoc，并排除构造函数、静态成员与非公共成员。
 
 ### 源码地图
 
@@ -74,7 +74,7 @@ files:
 | [`src/model.ts`](src/model.ts) | 与编译器无关的模型类型 |
 | [`src/emitter.ts`](src/emitter.ts) | `FaceModelEmitter`：Zod schema 与声明生成、Remote 声明 |
 | [`src/workspace.ts`](src/workspace.ts) | `WorkspaceTypertGenerator`：发现、生成、导出与文件清单校验 |
-| [`src/tsdown-plugin.ts`](src/tsdown-plugin.ts) | tsdown 插件面：装饰器降低与产物生成 |
+| [`src/tsdown-plugin.ts`](src/tsdown-plugin.ts) | tsdown 插件面：装饰器转换与产物生成 |
 | [`src/cordis-catalog.ts`](src/cordis-catalog.ts) | 生成 Cordis 目录所用的目录投影 |
 
 ### 分析与 face
@@ -83,10 +83,12 @@ Host 与 Client 是两个独立的 TypeScript 程序。直接项目引用确定
 
 ### 生成与发布约定
 
-`FaceModelEmitter` 输出包含受支持 Zod schema 与 `TYPERT` 贡献的可执行 JavaScript，以及把 schema 通过包的公开导出标注为 `z.ZodType<SourceType>` 的声明文件；不支持的 Zod 投影会失败。含 Remote 方法的 Host face 还会额外为 Client 生成 Host Remote 约定的 `typert.remote-client.*` 投影。`WorkspaceTypertGenerator` 校验每个贡献方的 `package.json`：`./typert` 与 `./client/typert`（存在 Remote 方法时还有 `./remote`）必须指向精确的生成文件，且 `files` 清单必须包含它们。
+`FaceModelEmitter` 输出包含只缓存成功结果的 Zod schema factory 与 `TYPERT` 贡献的可执行 JavaScript，以及把 factory 通过包的公开导出标注为返回 `z.ZodType<SourceType>` 的声明文件；不支持的 Zod 投影会失败。含 Remote 方法的 Host face 还会额外为 Client 生成 Host Remote 约定的 `typert.remote-client.*` 投影。`WorkspaceTypertGenerator` 校验每个贡献方的 `package.json`：`./typert` 与 `./client/typert`（存在 Remote 方法时还有 `./remote`）必须指向精确的生成文件，且 `files` 清单必须包含它们。
 
 ### 目录投影
 
+运行时类型闭包索引导出的 workspace 声明和被引用的框架 enum。Vendor 声明不参与业务 API 发现；公共结果引用其中 enum 时，目录仍提供其定义。
+
 根导出包含本仓库 Cordis 目录使用的模型驱动提取逻辑、完整性检查与确定性文本渲染器。它们接受 `CordisCatalogPolicy`；由仓库持有的类型链接、基础类型／豁免分类与继承的 Cordis 条目仍位于 `scripts/gen-cordis-catalog.ts`，由调用方显式传入，因此本包只包含投影机制，不会隐式复制仓库的文档分类体系。
 
 </details>
@@ -101,8 +103,8 @@ Host 与 Client 是两个独立的 TypeScript 程序。直接项目引用确定
 - [Typert 子系统参考](../../../docs/subsystems/typert.zh.md)——生成器建模的 Remote 约定与注册表接口。
 - [Typert 协议](../protocol/README.zh.md)——生成产物所扩展并消费的声明。
 - [Typert 注册表](../registry/README.zh.md)——生成产物所供给的运行时存储。
-- [API Gateway 参考](../../../docs/api-gateway.zh.md)——生成的 Remote 描述符如何端到端被调用。
-- [Compiler-independent model Agent Note](../../../.agents/notes/implemented/architecture/2026-07-27-compiler-independent-typert-model.zh.md)——模型设计、备选方案与后果。
+- [API 网关参考](../../../docs/api-gateway.zh.md)——生成的 Remote 描述符如何端到端被调用。
+- [与编译器无关的模型 Agent Note](../../../.agents/notes/implemented/architecture/2026-07-27-compiler-independent-typert-model.zh.md)——模型设计、备选方案与后果。
 
 -----
 
@@ -138,4 +140,4 @@ Host 与 Client 是两个独立的 TypeScript 程序。直接项目引用确定
 
 </details>
 
-**运行时不变式：** 不发布伴生入口。这是运行于 Cordis 之外的源码分析器与构建时 emitter；model snapshot、可执行 artifact 与消费包 typecheck 强制其输出约定。
+**运行时不变式：** 不发布伴生入口。源码项目分析器与构建时 emitter 均不在任何 Cordis 运行时中运行；模型快照、可执行产物与消费方包的类型检查会强制执行其输出约定。

package/lib/index.js

@@ -238,7 +238,7 @@ var WorkspaceAnalyzer = class WorkspaceAnalyzer {
 	indexSourceDeclarations() {
 		const selected = this.options.packages === void 0 ? void 0 : new Set(this.options.packages);
 		const declarations = [];
-		for (const registration of this.loadRegistrations()) {
+		for (const registration of this.loadRegistrations(true)) {
 			if (!this.options.faces.includes(registration.face) || selected !== void 0 && !selected.has(registration.name)) continue;
 			for (const file of registration.config.parsed.fileNames) {
 				const relativeFile = slash(relative(this.options.root, file));
@@ -264,8 +264,8 @@ var WorkspaceAnalyzer = class WorkspaceAnalyzer {
 		}
 		return uniqueBy(declarations, (declaration) => `${declaration.face}\0${declaration.location.file}\0${String(declaration.location.line)}\0${declaration.name}`).sort((left, right) => left.face.localeCompare(right.face) || left.location.file.localeCompare(right.location.file) || left.location.line - right.location.line);
 	}
-	loadRegistrations() {
-		const inventoryKey = `${this.options.root}\0${this.options.hostConfig}\0${this.options.clientConfig}`;
+	loadRegistrations(includeVendor = false) {
+		const inventoryKey = `${this.options.root}\0${this.options.hostConfig}\0${this.options.clientConfig}\0${String(includeVendor)}`;
 		const cached = this.caches.registrations.get(inventoryKey);
 		if (cached !== void 0) return cached;
 		const registrations = [];
@@ -276,7 +276,7 @@ var WorkspaceAnalyzer = class WorkspaceAnalyzer {
 			for (const reference of aggregate.parsed.projectReferences ?? []) {
 				const configPath = projectConfigPath(reference.path);
 				const packageRoot = dirname(configPath);
-				if (!isWithin(realPath(packageRoot), join(this.options.root, "packages"))) continue;
+				if (!isWithin(realPath(packageRoot), join(this.options.root, "packages")) && !(includeVendor && isWithin(realPath(packageRoot), join(this.options.root, "vendor")))) continue;
 				const manifestPath = join(packageRoot, "package.json");
 				if (!existsSync(manifestPath)) continue;
 				const manifest = JSON.parse(readFileSync(manifestPath, "utf8"));
@@ -2821,7 +2821,7 @@ var FaceModelEmitter = class {
 		lines.push(`  package: ${quote$1(packageModel.name)},`);
 		lines.push(`  face: ${quote$1(this.face.face)},`);
 		lines.push("  schemas: [");
-		for (const schema of schemas.exports) lines.push(`    { name: ${quote$1(schema.exportName)}, schema: ${schema.exportName} },`);
+		for (const schema of schemas.exports) lines.push(`    { name: ${quote$1(schema.exportName)}, create: ${schema.exportName} },`);
 		lines.push("  ],");
 		lines.push("  invocations: [");
 		for (const invocation of packageModel.invocations) lines.push(`${indent(this.invocationLiteral(invocation, schemas), 4)},`);
@@ -2842,7 +2842,7 @@ var FaceModelEmitter = class {
 		if (schemas.exports.length > 0) lines.splice(1, 0, "import type { z } from 'zod'");
 		for (const [specifier, names] of [...imports].sort(([left], [right]) => left.localeCompare(right))) lines.push(`import type { ${names.sort().join(", ")} } from ${quote$1(specifier)}`);
 		lines.push("");
-		for (const schema of schemas.exports) lines.push(`export declare const ${schema.exportName}: z.ZodType<${schema.exportName}$source>`);
+		for (const schema of schemas.exports) lines.push(`export declare const ${schema.exportName}: () => z.ZodType<${schema.exportName}$source>`);
 		if (schemas.exports.length > 0) lines.push("");
 		lines.push("export declare const TYPERT: unknown");
 		return `${lines.join("\n")}\n`;
@@ -3056,7 +3056,10 @@ var SchemaEmitter = class {
 	}
 	emit() {
 		const definitions = this.declarations.map((declaration) => this.declarationDefinition(declaration));
-		for (const boundary of this.boundaries) definitions.push(`const ${this.boundaryName(boundary.key)} = ${this.typeSchema(boundary.type)}`);
+		for (const boundary of this.boundaries) {
+			const name = this.boundaryName(boundary.key);
+			definitions.push(`let ${name}$value\nconst ${name} = () => (${name}$value ??= ${this.typeSchema(boundary.type)})`);
+		}
 		return {
 			definitions,
 			exports: this.schemas.map((model) => ({
@@ -3069,7 +3072,7 @@ var SchemaEmitter = class {
 	}
 	declarationDefinition(declaration) {
 		const name = this.schemaName(declaration.id);
-		if (declaration.typeParameters.length === 0) return `const ${name} = ${this.declarationSchema(declaration, /* @__PURE__ */ new Map())}`;
+		if (declaration.typeParameters.length === 0) return `let ${name}$value\nconst ${name} = () => (${name}$value ??= ${this.declarationSchema(declaration, /* @__PURE__ */ new Map())})`;
 		const parameters = declaration.typeParameters.map((parameter, index) => [`type${String(index)}$schema`, parameter.id]);
 		const substitutions = new Map(parameters.map(([schema, id]) => [id, schema]));
 		return `const ${name} = (${parameters.map(([schema]) => schema).join(", ")}) => ${this.declarationSchema(declaration, substitutions)}`;
@@ -3129,7 +3132,7 @@ var SchemaEmitter = class {
 			const declaration = this.renderer.declaration(node.target.symbol);
 			if (declaration.typeParameters.length === 0) {
 				if (node.arguments.length > 0) this.fail(node.name, `non-generic declaration received ${String(node.arguments.length)} type arguments`);
-				return `z.lazy(() => ${name})`;
+				return `z.lazy(() => ${name}())`;
 			}
 			return `z.lazy(() => ${name}(${this.declarationArguments(node, declaration, substitutions).join(", ")}))`;
 		}
@@ -3297,7 +3300,7 @@ function strictCodec(boundary, schema) {
 		"{",
 		"  mode: 'strict',",
 		`  typeSymbol: ${quote$1(boundary.typeSymbol)},`,
-		`  schema: ${schema},`,
+		`  create: ${schema},`,
 		"}"
 	].join("\n");
 }
@@ -3529,13 +3532,14 @@ var CordisCatalogProjector = class {
 	runtimeTypes(services, events) {
 		const declarations = /* @__PURE__ */ new Map();
 		const ambiguous = /* @__PURE__ */ new Set();
+		const maxDeclarationChars = this.policy.runtimeDeclarationMaxChars ?? DEFAULT_MAX_DECL_CHARS;
 		for (const declaration of this.sourceDeclarations) {
-			if (declaration.face !== this.face.face || declaration.kind === "enum" || !/^packages\/[^/]+\/[^/]+\/src\/.+\.tsx?$/.test(declaration.location.file)) continue;
+			if (declaration.face !== this.face.face || !/^packages\/[^/]+\/[^/]+\/src\/.+\.tsx?$/.test(declaration.location.file) && !(declaration.kind === "enum" && /^vendor\/[^/]+\/src\/.+\.ts$/.test(declaration.location.file))) continue;
 			if (declarations.has(declaration.name)) {
 				ambiguous.add(declaration.name);
 				continue;
 			}
-			declarations.set(declaration.name, declaration.text.length > MAX_DECL_CHARS ? `${declaration.text.slice(0, MAX_DECL_CHARS)} /* …truncated — full shape in source */` : declaration.text);
+			declarations.set(declaration.name, declaration.text.length > maxDeclarationChars ? `${declaration.text.slice(0, maxDeclarationChars)} /* …truncated — full shape in source */` : declaration.text);
 		}
 		for (const name of ambiguous) declarations.delete(name);
 		return referencedTypes([...services.flatMap((service) => service.methods.map((method) => method.signature)), ...events.map((event) => event.signature)], declarations);
@@ -3751,7 +3755,7 @@ function signatureTypeNames(renderer, signature) {
 	return [...names].sort();
 }
 /** Declarations longer than this render as a truncated stub. */
-const MAX_DECL_CHARS = 1500;
+const DEFAULT_MAX_DECL_CHARS = 1500;
 /** Render one value as a single-quoted TypeScript literal. */
 function quote(value) {
 	return `'${value.replaceAll("\\", "\\\\").replaceAll("'", "\\'").replaceAll("\n", "\\n")}'`;

package/lib/types/analyzer.js

@@ -254,7 +254,7 @@ export class WorkspaceAnalyzer {
     indexSourceDeclarations() {
         const selected = this.options.packages === undefined ? undefined : new Set(this.options.packages);
         const declarations = [];
-        for (const registration of this.loadRegistrations()) {
+        for (const registration of this.loadRegistrations(true)) {
             if (!this.options.faces.includes(registration.face)
                 || (selected !== undefined && !selected.has(registration.name)))
                 continue;
@@ -297,8 +297,8 @@ export class WorkspaceAnalyzer {
             || left.location.file.localeCompare(right.location.file)
             || left.location.line - right.location.line);
     }
-    loadRegistrations() {
-        const inventoryKey = `${this.options.root}\0${this.options.hostConfig}\0${this.options.clientConfig}`;
+    loadRegistrations(includeVendor = false) {
+        const inventoryKey = `${this.options.root}\0${this.options.hostConfig}\0${this.options.clientConfig}\0${String(includeVendor)}`;
         const cached = this.caches.registrations.get(inventoryKey);
         if (cached !== undefined)
             return cached;
@@ -311,7 +311,8 @@ export class WorkspaceAnalyzer {
             for (const reference of aggregate.parsed.projectReferences ?? []) {
                 const configPath = projectConfigPath(reference.path);
                 const packageRoot = dirname(configPath);
-                if (!isWithin(realPath(packageRoot), join(this.options.root, 'packages')))
+                if (!isWithin(realPath(packageRoot), join(this.options.root, 'packages'))
+                    && !(includeVendor && isWithin(realPath(packageRoot), join(this.options.root, 'vendor'))))
                     continue;
                 const manifestPath = join(packageRoot, 'package.json');
                 if (!existsSync(manifestPath))

package/lib/types/cordis-catalog.d.ts

@@ -72,6 +72,8 @@ export interface CordisCatalogPolicy {
     readonly inheritedEvents: readonly InheritedEntry[];
     /** Manually curated framework context members inherited by every plugin. */
     readonly inheritedServices: readonly InheritedEntry[];
+    /** Maximum rendered characters per runtime type declaration. */
+    readonly runtimeDeclarationMaxChars?: number;
 }
 /** Complete model-level Cordis projection used by every text renderer. */
 export interface CordisCatalogModel {

package/lib/types/cordis-catalog.js

@@ -218,16 +218,18 @@ export class CordisCatalogProjector {
     runtimeTypes(services, events) {
         const declarations = new Map();
         const ambiguous = new Set();
+        const maxDeclarationChars = this.policy.runtimeDeclarationMaxChars ?? DEFAULT_MAX_DECL_CHARS;
         for (const declaration of this.sourceDeclarations) {
-            if (declaration.face !== this.face.face || declaration.kind === 'enum'
-                || !/^packages\/[^/]+\/[^/]+\/src\/.+\.tsx?$/.test(declaration.location.file))
+            if (declaration.face !== this.face.face
+                || (!/^packages\/[^/]+\/[^/]+\/src\/.+\.tsx?$/.test(declaration.location.file)
+                    && !(declaration.kind === 'enum' && /^vendor\/[^/]+\/src\/.+\.ts$/.test(declaration.location.file))))
                 continue;
             if (declarations.has(declaration.name)) {
                 ambiguous.add(declaration.name);
                 continue;
             }
-            declarations.set(declaration.name, declaration.text.length > MAX_DECL_CHARS
-                ? `${declaration.text.slice(0, MAX_DECL_CHARS)} /* …truncated — full shape in source */`
+            declarations.set(declaration.name, declaration.text.length > maxDeclarationChars
+                ? `${declaration.text.slice(0, maxDeclarationChars)} /* …truncated — full shape in source */`
                 : declaration.text);
         }
         for (const name of ambiguous)
@@ -487,7 +489,7 @@ function signatureTypeNames(renderer, signature) {
     return [...names].sort();
 }
 /** Declarations longer than this render as a truncated stub. */
-const MAX_DECL_CHARS = 1500;
+const DEFAULT_MAX_DECL_CHARS = 1_500;
 /** Render one value as a single-quoted TypeScript literal. */
 function quote(value) {
     return `'${value.replaceAll('\\', '\\\\').replaceAll("'", "\\'").replaceAll('\n', '\\n')}'`;

package/lib/types/emitter.js

@@ -121,7 +121,7 @@ export class FaceModelEmitter {
         lines.push(`  face: ${quote(this.face.face)},`);
         lines.push('  schemas: [');
         for (const schema of schemas.exports) {
-            lines.push(`    { name: ${quote(schema.exportName)}, schema: ${schema.exportName} },`);
+            lines.push(`    { name: ${quote(schema.exportName)}, create: ${schema.exportName} },`);
         }
         lines.push('  ],');
         lines.push('  invocations: [');
@@ -151,7 +151,7 @@ export class FaceModelEmitter {
         }
         lines.push('');
         for (const schema of schemas.exports) {
-            lines.push(`export declare const ${schema.exportName}: z.ZodType<${schema.exportName}$source>`);
+            lines.push(`export declare const ${schema.exportName}: () => z.ZodType<${schema.exportName}$source>`);
         }
         if (schemas.exports.length > 0)
             lines.push('');
@@ -410,7 +410,8 @@ class SchemaEmitter {
     emit() {
         const definitions = this.declarations.map(declaration => this.declarationDefinition(declaration));
         for (const boundary of this.boundaries) {
-            definitions.push(`const ${this.boundaryName(boundary.key)} = ${this.typeSchema(boundary.type)}`);
+            const name = this.boundaryName(boundary.key);
+            definitions.push(`let ${name}$value\nconst ${name} = () => (${name}$value ??= ${this.typeSchema(boundary.type)})`);
         }
         const exports = this.schemas.map((model) => ({
             model,
@@ -426,7 +427,7 @@ class SchemaEmitter {
     declarationDefinition(declaration) {
         const name = this.schemaName(declaration.id);
         if (declaration.typeParameters.length === 0) {
-            return `const ${name} = ${this.declarationSchema(declaration, new Map())}`;
+            return `let ${name}$value\nconst ${name} = () => (${name}$value ??= ${this.declarationSchema(declaration, new Map())})`;
         }
         const parameters = declaration.typeParameters.map((parameter, index) => [`type${String(index)}$schema`, parameter.id]);
         const substitutions = new Map(parameters.map(([schema, id]) => [id, schema]));
@@ -500,7 +501,7 @@ class SchemaEmitter {
                 if (node.arguments.length > 0) {
                     this.fail(node.name, `non-generic declaration received ${String(node.arguments.length)} type arguments`);
                 }
-                return `z.lazy(() => ${name})`;
+                return `z.lazy(() => ${name}())`;
             }
             const arguments_ = this.declarationArguments(node, declaration, substitutions);
             return `z.lazy(() => ${name}(${arguments_.join(', ')}))`;
@@ -694,7 +695,7 @@ function strictCodec(boundary, schema) {
         '{',
         '  mode: \'strict\',',
         `  typeSymbol: ${quote(boundary.typeSymbol)},`,
-        `  schema: ${schema},`,
+        `  create: ${schema},`,
         '}',
     ].join('\n');
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@deepseek-ai/dsh-typert-generator",
   "description": "TypeScript project analyzer and model-driven Typert artifact generator",
-  "version": "0.1.5-rc.2",
+  "version": "0.1.6-alpha.2",
   "publishConfig": {
     "access": "public"
   },
@@ -40,8 +40,8 @@
   },
   "devDependencies": {
     "zod": "^4.4.3",
-    "@deepseek-ai/dsh-tool-cordis": "^0.1.5-rc.2",
-    "@deepseek-ai/dsh-typert-registry": "^0.1.5-rc.2",
+    "@deepseek-ai/dsh-tool-cordis": "^0.1.6-alpha.2",
+    "@deepseek-ai/dsh-typert-registry": "^0.1.6-alpha.2",
     "@deepseek-ai/cordis": "^4.0.2"
   }
 }