@faicad/faijs 0.13.2 → 0.16.0

package/dist/cad-runtime/module-registry.js

@@ -22,6 +22,7 @@
  */
 import { extractMetadata } from '../lang/metadata-extractor.js';
 import { assertSecure, S6_MAX_DEPTH, S6_MAX_MODULES } from '../lang/security-scanner.js';
+import { scanDeterminism } from '../lang/determinism-scanner.js';
 import { computeLiveShapes } from './live-shapes.js';
 import { asPartName } from '../identity.js';
 import { ParseError } from '../lang/parse-error.js';
@@ -83,12 +84,14 @@ export class ModuleRegistry {
     loader;
     run;
     securityPolicy;
+    determinismPolicy;
     cache = new Map();
     loadCount = 0;
-    constructor(loader, run, securityPolicy = 'strict') {
+    constructor(loader, run, securityPolicy = 'strict', determinismPolicy = 'off') {
         this.loader = loader;
         this.run = run;
         this.securityPolicy = securityPolicy;
+        this.determinismPolicy = determinismPolicy;
     }
     /**
      * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。
@@ -163,6 +166,15 @@ export class ModuleRegistry {
         }
         this.loadCount++;
         const meta = extractMetadata(source, { security: 'strict' });
+        // 确定性扫描（B 档 taint）：违规 → MODULE_SECURITY（error 档）；warn 档静默放行
+        if (this.determinismPolicy !== 'off') {
+            const ns = (meta.imports ?? []).filter((i) => i.kind === 'namespace' && i.localName).map((i) => i.localName);
+            const cals = (meta.imports ?? []).filter((i) => i.kind === 'named').flatMap((i) => i.bindings);
+            const det = scanDeterminism(source, { defaultNs: 'cad', extraNamespaces: ns, extraCallees: cals });
+            if (det.violations.length > 0 && this.determinismPolicy === 'error') {
+                throw new ModuleRegistryError('MODULE_SECURITY', `module "${key}" failed determinism check: ${det.violations[0].message}`, { lineNo: det.violations[0].lineNo, callee: 'determinism' });
+            }
+        }
         const seed = await this.resolveImports(meta.imports ?? [], key, [...stack, key]);
         const result = await this.run(source, seed); // 执行失败 → runner 抛 ModuleRegistryError
         const module = { key, exports: this.buildExports(meta, result) };

package/dist/cad-runtime/module-registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"module-registry.js","sourceRoot":"","sources":["../../src/cad-runtime/module-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,YAAY,EAAuB,YAAY,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAC1G,OAAO,EAAE,iBAAiB,EAAyB,MAAM,eAAe,CAAA;AAGxE,OAAO,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAA;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AA2ChD,uDAAuD;AACvD,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC5C,wFAAwF;IAC/E,IAAI,CAAyB;IACtC,yCAAyC;IAChC,MAAM,CAAS;IACxB,0CAA0C;IACjC,MAAM,CAAS;IACxB,YAAY,IAA6B,EAAE,OAAe,EAAE,IAA2C;QACrG,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAA;QACjC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,MAAM,GAAG,IAAI,EAAE,MAAM,CAAA;QAC1B,IAAI,CAAC,MAAM,GAAG,IAAI,EAAE,MAAM,CAAA;IAC5B,CAAC;CACF;AAED,aAAa;AAEb;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,SAAiB;IACnD,OAAO,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAC/F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,SAAiB,EAAE,OAAgB;IACpE,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAC1C,MAAM,OAAO,GAAG,OAAO,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAC9C,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChD,CAAC,CAAC,EAAE,CAAA;IACN,wCAAwC;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,IAAI,EAAE,CAAA;IAC3E,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,GAAG;YAAE,SAAQ;QACvC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,EAAE,CAAA;YACV,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAChB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACvB,CAAC;AAED,uBAAuB;AAEvB;;GAEG;AACH,MAAM,OAAO,cAAc;IAKN;IACA;IACA;IANX,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAA;IACpC,SAAS,GAAG,CAAC,CAAA;IAErB,YACmB,MAAqB,EACrB,GAAiB,EACjB,iBAAiC,QAAQ;QAFzC,WAAM,GAAN,MAAM,CAAe;QACrB,QAAG,GAAH,GAAG,CAAc;QACjB,mBAAc,GAAd,cAAc,CAA2B;IACzD,CAAC;IAEJ;;;;;;OAMG;IACH;;;;;;;OAOG;IACH,KAAK,CAAC,cAAc,CAClB,OAA8B,EAC9B,OAAgB,EAChB,QAAkB,EAAE;QAEpB,MAAM,IAAI,GAA4B,EAAE,CAAA;QACxC,KAAK,MAAM,GAAG,IAAI,OAAO,IAAI,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAQ,CAAC,6BAA6B;YAC/E,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;YACzD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YAC1C,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvD,IAAI,GAAG,CAAC,SAAS;oBAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;gBAChE,SAAQ;YACV,CAAC;YACD,iBAAiB;YACjB,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACnC,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;gBAC3D,IAAI,KAAK,KAAK,SAAS;oBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAA;YAChD,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,gCAAgC;IACxB,KAAK,CAAC,IAAI,CAAC,GAAW,EAAE,KAAe;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAA;QACzB,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,mBAAmB,CAC3B,cAAc,EACd,0BAA0B,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CACzD,CAAA;QACH,CAAC;QACD,YAAY;QACZ,IAAI,KAAK,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,mBAAmB,CAC3B,uBAAuB,EACvB,iCAAiC,YAAY,YAAY,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAC/E,CAAA;QACH,CAAC;QACD,YAAY;QACZ,IAAI,IAAI,CAAC,SAAS,IAAI,cAAc,EAAE,CAAC;YACrC,MAAM,IAAI,mBAAmB,CAC3B,uBAAuB,EACvB,+BAA+B,cAAc,QAAQ,CACtD,CAAA;QACH,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAA;QAC3C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,mBAAmB,CAC3B,kBAAkB,EAClB,WAAW,GAAG,sCAAsC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAC5G,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;QAChD,+CAA+C;QAC/C,IAAI,CAAC;YACH,YAAY,CAAC,MAAM,EAAE;gBACnB,MAAM,EAAE,QAAQ;gBAChB,UAAU,EAAE,CAAC,KAAK,CAAC;gBACnB,SAAS,EAAE,KAAK;aACjB,CAAC,CAAA;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;gBAC9B,MAAM,IAAI,mBAAmB,CAC3B,iBAAiB,EACjB,WAAW,GAAG,4BAA4B,GAAG,CAAC,OAAO,EAAE,EACvD,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAClC,CAAA;YACH,CAAC;YACD,MAAM,GAAG,CAAA;QACX,CAAC;QACD,IAAI,CAAC,SAAS,EAAE,CAAA;QAChB,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC5D,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;QAChF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA,CAAC,sCAAsC;QAClF,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAA;QAChE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;QAC3B,OAAO,MAAM,CAAA;IACf,CAAC;IAEO,YAAY,CAAC,IAAgB,EAAE,MAAuB;QAC5D,MAAM,MAAM,GAA4B,EAAE,CAAA;QAC1C,MAAM,GAAG,GAAiD,EAAE,CAAA;QAC5D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAY,CAAA;QACzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;YAChC,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAQ;YAC7B,IAAI,OAAO,CAAC,KAAK,UAAU,EAAE,CAAC;gBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAiC,CAAA;YAC/C,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBAChB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC;oBACjF,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;gBACrC,CAAC;YACH,CAAC;QACH,CAAC;QACD,oEAAoE;QACpE,MAAM,GAAG,GAAG,MAAM,CAAC,gBAAgB,EAAE,EAAE,CAAA;QACvC,MAAM,SAAS,GAAG,iBAAiB,CAAC;YAClC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE;gBACJ,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC9C,YAAY,EAAE,CAAC,MAAM,EAAgC,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;aACrF;YACD,aAAa;YACb,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvD,CAAC,CAAA;QACF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACtE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,CAAA;IACpC,CAAC;IAED,6DAA6D;IACrD,cAAc,CAAC,OAAe,EAAE,GAAc,EAAE,MAAc;QACpE,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAC3E,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACnG,MAAM,IAAI,mBAAmB,CAC3B,sBAAsB,EACtB,IAAI,OAAO,gCAAgC,GAAG,CAAC,GAAG,mBAAmB,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,EACxH,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAC5B,CAAA;IACH,CAAC;IAED,yCAAyC;IACjC,aAAa,CAAC,GAAc;QAClC,OAAO,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAA;IACtD,CAAC;CACF","sourcesContent":["/**\n * module-registry — 多文件模块注册表（§4.5 / A-8/A-9/A-10）\n *\n * 无 IR 通道的多文件装载：主模块（runtime 直接执行）的顶层相对 import\n * （`import { bp } from './x.fai.js'`）指向项目内其它 `.fai.js` 模块。\n * 每个依赖模块用**独立 ctx** 执行（经注入的 ModuleRunner），产出导出面：\n * - values：模块存活 ctx 键中的 shape/常量（非函数）；\n * - fns：模块内顶层函数；\n * - liveShapes：computeLiveShapes 对该模块自身的存活终端（模块内消费判定生效——\n *   A-9：A 内被消费的 shape 不在 liveShapes → B 引用报错）。\n *\n * 名字契约（D6）：A 的 LHS 名 = 导出名；B 的 import 绑定名 = 引用名；绑定必须 ∈\n * A.liveShapes ∪ A.fns（A-8 缺失导出名 → ModuleRegistryError）。普通常量不在此列——\n * 具名 import 常量被拒，见\n * .agents/notes/rejected/architecture/2026-09-09-named-import-of-constants.md。\n * 跨文件引用 ≠ 消费：B 引用 A 的 shape 不影响 A 的 liveShapes（A 单独执行时计算）。\n *\n * 装载：DFS 递归（相对 specifier → moduleKey 归一 → readSource → 提取其 import →\n * 先装依赖 → 带 seed 执行自身）；循环依赖 → MODULE_CYCLE（failedAt 带环路径）。\n * 本实现每次调用重建缓存（execute/append 各轮全量重读重执行；fingerprint 增量缓存\n * 留作 v2）。\n */\n\nimport { extractMetadata } from '../lang/metadata-extractor'\nimport type { UiMetadata } from '../lang/metadata-extractor'\nimport { assertSecure, type SecurityPolicy, S6_MAX_DEPTH, S6_MAX_MODULES } from '../lang/security-scanner'\nimport { computeLiveShapes, type KeepRegistration } from './live-shapes'\nimport type { ExecKeepRecord } from './direct-executor'\nimport type { ProjectLoader } from './ports'\nimport { asPartName, type PartName } from '../identity'\nimport { ParseError } from '../lang/parse-error'\n\n// ── 导出类型 ──\n\n/** 模块导出面（§4.5 FaiModuleExports）。 */\nexport interface FaiModuleExports {\n  /** 存活 shape + 常量（params）——ctx 非函数键 */\n  values: Record<string, unknown>\n  /** 顶层函数（ctx 函数键） */\n  fns: Record<string, (...a: unknown[]) => unknown>\n  /** 存活 shape 名（引用校验；模块内消费生效） */\n  liveShapes: Set<string>\n}\n\n/** 已装载模块。 */\nexport interface FaiModule {\n  key: string\n  exports: FaiModuleExports\n}\n\n/** 模块执行视图（ModuleRunner 返回；DirectExecutor 满足该形状）。 */\nexport interface ModuleRunResult {\n  listCtxKeys(): string[]\n  getCtxVar(name: string): unknown\n  listKeepLines(): number[]\n  getKeepByLine(lineNo: number): ExecKeepRecord | undefined\n  /** P25 §3.7.4：原地写回登记（裸调用行 → 写回目标变量名；DirectExecutor 提供）。 */\n  getInplaceWrites?(): Map<number, string>\n}\n\n/** 模块执行回调：独立 ctx 执行模块源码（imports = 该模块自己的 seed）。 */\nexport type ModuleRunner = (code: string, imports: Record<string, unknown>) => Promise<ModuleRunResult>\n\n/** 多文件装载错误码（runtime 归并为 ExecutionResult.failedAt）。 */\nexport type ModuleRegistryErrorCode =\n  | 'MODULE_NOT_FOUND'\n  | 'MODULE_CYCLE'\n  | 'MODULE_EXEC_FAILED'\n  | 'BINDING_NOT_EXPORTED'\n  | 'MODULE_SECURITY'\n  | 'MODULE_DEPTH_EXCEEDED'\n  | 'MODULE_COUNT_EXCEEDED'\n\n/** 多文件装载错误（带 lineNo/callee，供 failedAt 定位 import 行）。 */\nexport class ModuleRegistryError extends Error {\n  /** 错误码（MODULE_NOT_FOUND / MODULE_CYCLE / MODULE_EXEC_FAILED / BINDING_NOT_EXPORTED）。 */\n  readonly code: ModuleRegistryErrorCode\n  /** import 行号（failedAt.lineNo 定位用；可选）。 */\n  readonly lineNo?: number\n  /** 绑定名 / callee（failedAt.callee 用；可选）。 */\n  readonly callee?: string\n  constructor(code: ModuleRegistryErrorCode, message: string, info?: { lineNo?: number; callee?: string }) {\n    super(message)\n    this.name = 'ModuleRegistryError'\n    this.code = code\n    this.lineNo = info?.lineNo\n    this.callee = info?.callee\n  }\n}\n\n// ── 路径归一 ──\n\n/**\n * 相对 specifier 判定（'./x' / '../x' / '/x'；裸 specifier = libLoader 通道，不在此）。\n * @param specifier - import 说明符。\n * @returns 该 specifier 是否指向项目内相对路径模块。\n */\nexport function isRelativeSpecifier(specifier: string): boolean {\n  return specifier.startsWith('./') || specifier.startsWith('../') || specifier.startsWith('/')\n}\n\n/**\n * 相对 specifier → moduleKey（POSIX 斜杠归一 + ./.. 段消解；相对 baseKey 目录）。\n * @param specifier - import 说明符（如 './bp.fai.js'）。\n * @param baseKey - 所在模块的 moduleKey（取其目录为解析基准）；主模块可省。\n * @returns 归一后的 moduleKey（与 loader.listModules() 精确匹配）。\n */\nexport function normalizeModuleKey(specifier: string, baseKey?: string): string {\n  const spec = specifier.replace(/\\\\/g, '/')\n  const baseDir = baseKey && baseKey.includes('/')\n    ? baseKey.slice(0, baseKey.lastIndexOf('/') + 1)\n    : ''\n  // 绝对形态（/x）不拼 baseDir；相对形态按 baseKey 目录解析\n  const combined = spec.startsWith('/') ? spec.slice(1) : `${baseDir}${spec}`\n  const segs: string[] = []\n  for (const seg of combined.split('/')) {\n    if (seg === '' || seg === '.') continue\n    if (seg === '..') {\n      segs.pop()\n      continue\n    }\n    segs.push(seg)\n  }\n  return segs.join('/')\n}\n\n// ── ModuleRegistry ──\n\n/**\n * 多文件模块注册表：装载/导出/绑定校验。每次调用实例化（缓存仅存活单轮装载）。\n */\nexport class ModuleRegistry {\n  private cache = new Map<string, FaiModule>()\n  private loadCount = 0\n\n  constructor(\n    private readonly loader: ProjectLoader,\n    private readonly run: ModuleRunner,\n    private readonly securityPolicy: SecurityPolicy = 'strict',\n  ) {}\n\n  /**\n   * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。\n   * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。\n   * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。\n   * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。\n   * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。\n   */\n  /**\n   * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。\n   * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。\n   * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。\n   * @param stack - 循环依赖检测栈（内部递归使用；外部调用缺省 []）。\n   * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。\n   * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。\n   */\n  async resolveImports(\n    imports: UiMetadata['imports'],\n    baseKey?: string,\n    stack: string[] = [],\n  ): Promise<Record<string, unknown>> {\n    const seed: Record<string, unknown> = {}\n    for (const imp of imports ?? []) {\n      if (!isRelativeSpecifier(imp.specifier)) continue // 裸 specifier → libLoader 通道\n      const depKey = normalizeModuleKey(imp.specifier, baseKey)\n      const dep = await this.load(depKey, stack)\n      if (imp.kind === 'namespace' || imp.kind === 'default') {\n        if (imp.localName) seed[imp.localName] = this.namespaceView(dep)\n        continue\n      }\n      // named：每个绑定分别校验\n      for (const binding of imp.bindings) {\n        const value = this.resolveBinding(binding, dep, imp.lineNo)\n        if (value !== undefined) seed[binding] = value\n      }\n    }\n    return seed\n  }\n\n  /** 装载并执行单个模块（递归装其依赖；缓存本装载轮）。 */\n  private async load(key: string, stack: string[]): Promise<FaiModule> {\n    const cached = this.cache.get(key)\n    if (cached) return cached\n    if (stack.includes(key)) {\n      throw new ModuleRegistryError(\n        'MODULE_CYCLE',\n        `module cycle detected: ${[...stack, key].join(' -> ')}`,\n      )\n    }\n    // S6：装载深度上限\n    if (stack.length >= S6_MAX_DEPTH) {\n      throw new ModuleRegistryError(\n        'MODULE_DEPTH_EXCEEDED',\n        `module loading depth exceeded ${S6_MAX_DEPTH} (stack: ${stack.join(' -> ')})`,\n      )\n    }\n    // S6：模块总数上限\n    if (this.loadCount >= S6_MAX_MODULES) {\n      throw new ModuleRegistryError(\n        'MODULE_COUNT_EXCEEDED',\n        `total module count exceeded ${S6_MAX_MODULES} limit`,\n      )\n    }\n    const available = this.loader.listModules()\n    if (!available.includes(key)) {\n      throw new ModuleRegistryError(\n        'MODULE_NOT_FOUND',\n        `module \"${key}\" not found in project (available: ${available.length > 0 ? available.join(', ') : 'none'})`,\n      )\n    }\n    const source = await this.loader.readSource(key)\n    // A3：子模块安全扫描前置（固定 strict；违规 → MODULE_SECURITY）\n    try {\n      assertSecure(source, {\n        policy: 'strict',\n        knownNames: ['cad'],\n        defaultNs: 'cad',\n      })\n    } catch (err) {\n      if (err instanceof ParseError) {\n        throw new ModuleRegistryError(\n          'MODULE_SECURITY',\n          `module \"${key}\" failed security check: ${err.message}`,\n          { lineNo: err.line, callee: key },\n        )\n      }\n      throw err\n    }\n    this.loadCount++\n    const meta = extractMetadata(source, { security: 'strict' })\n    const seed = await this.resolveImports(meta.imports ?? [], key, [...stack, key])\n    const result = await this.run(source, seed) // 执行失败 → runner 抛 ModuleRegistryError\n    const module = { key, exports: this.buildExports(meta, result) }\n    this.cache.set(key, module)\n    return module\n  }\n\n  private buildExports(meta: UiMetadata, result: ModuleRunResult): FaiModuleExports {\n    const values: Record<string, unknown> = {}\n    const fns: Record<string, (...a: unknown[]) => unknown> = {}\n    const shapeVarNames = new Set<PartName>()\n    for (const name of result.listCtxKeys()) {\n      const v = result.getCtxVar(name)\n      if (v === undefined) continue\n      if (typeof v === 'function') {\n        fns[name] = v as (...a: unknown[]) => unknown\n      } else {\n        values[name] = v\n        if (v !== null && typeof v === 'object' && ('positions' in v || 'children' in v)) {\n          shapeVarNames.add(asPartName(name))\n        }\n      }\n    }\n    // 模块自身的存活终端：函数体 keep 登记读 ModuleRunResult（DirectExecutor.keepByLine）\n    const ipw = result.getInplaceWrites?.()\n    const terminals = computeLiveShapes({\n      lines: meta.lines,\n      blocks: meta.blocks,\n      keep: {\n        lineEntries: (lineNo) => meta.keep.get(lineNo),\n        functionBody: (lineNo): KeepRegistration | undefined => result.getKeepByLine(lineNo),\n      },\n      shapeVarNames,\n      ...(ipw && ipw.size > 0 ? { inplaceWrites: ipw } : {}),\n    })\n    const liveShapes = new Set<string>(terminals.map((t) => String(t.id)))\n    return { values, fns, liveShapes }\n  }\n\n  /** named 绑定解析：liveShapes ∪ fns；缺失 → BINDING_NOT_EXPORTED。 */\n  private resolveBinding(binding: string, dep: FaiModule, lineNo: number): unknown | undefined {\n    if (dep.exports.liveShapes.has(binding)) return dep.exports.values[binding]\n    if (Object.prototype.hasOwnProperty.call(dep.exports.fns, binding)) return dep.exports.fns[binding]\n    throw new ModuleRegistryError(\n      'BINDING_NOT_EXPORTED',\n      `\"${binding}\" is not exported by module \"${dep.key}\" (live shapes: ${[...dep.exports.liveShapes].join(', ') || 'none'})`,\n      { lineNo, callee: binding },\n    )\n  }\n\n  /** 命名空间/默认 import 的模块视图：values + fns。 */\n  private namespaceView(dep: FaiModule): Record<string, unknown> {\n    return { ...dep.exports.values, ...dep.exports.fns }\n  }\n}\n"]}
+{"version":3,"file":"module-registry.js","sourceRoot":"","sources":["../../src/cad-runtime/module-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,YAAY,EAAuB,YAAY,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAC1G,OAAO,EAAE,eAAe,EAA0B,MAAM,6BAA6B,CAAA;AACrF,OAAO,EAAE,iBAAiB,EAAyB,MAAM,eAAe,CAAA;AAGxE,OAAO,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAA;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AA2ChD,uDAAuD;AACvD,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC5C,wFAAwF;IAC/E,IAAI,CAAyB;IACtC,yCAAyC;IAChC,MAAM,CAAS;IACxB,0CAA0C;IACjC,MAAM,CAAS;IACxB,YAAY,IAA6B,EAAE,OAAe,EAAE,IAA2C;QACrG,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAA;QACjC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,MAAM,GAAG,IAAI,EAAE,MAAM,CAAA;QAC1B,IAAI,CAAC,MAAM,GAAG,IAAI,EAAE,MAAM,CAAA;IAC5B,CAAC;CACF;AAED,aAAa;AAEb;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,SAAiB;IACnD,OAAO,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAC/F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,SAAiB,EAAE,OAAgB;IACpE,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAC1C,MAAM,OAAO,GAAG,OAAO,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAC9C,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChD,CAAC,CAAC,EAAE,CAAA;IACN,wCAAwC;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,IAAI,EAAE,CAAA;IAC3E,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,GAAG;YAAE,SAAQ;QACvC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,EAAE,CAAA;YACV,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAChB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACvB,CAAC;AAED,uBAAuB;AAEvB;;GAEG;AACH,MAAM,OAAO,cAAc;IAKN;IACA;IACA;IACA;IAPX,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAA;IACpC,SAAS,GAAG,CAAC,CAAA;IAErB,YACmB,MAAqB,EACrB,GAAiB,EACjB,iBAAiC,QAAQ,EACzC,oBAAuC,KAAK;QAH5C,WAAM,GAAN,MAAM,CAAe;QACrB,QAAG,GAAH,GAAG,CAAc;QACjB,mBAAc,GAAd,cAAc,CAA2B;QACzC,sBAAiB,GAAjB,iBAAiB,CAA2B;IAC5D,CAAC;IAEJ;;;;;;OAMG;IACH;;;;;;;OAOG;IACH,KAAK,CAAC,cAAc,CAClB,OAA8B,EAC9B,OAAgB,EAChB,QAAkB,EAAE;QAEpB,MAAM,IAAI,GAA4B,EAAE,CAAA;QACxC,KAAK,MAAM,GAAG,IAAI,OAAO,IAAI,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAQ,CAAC,6BAA6B;YAC/E,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;YACzD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YAC1C,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvD,IAAI,GAAG,CAAC,SAAS;oBAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;gBAChE,SAAQ;YACV,CAAC;YACD,iBAAiB;YACjB,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACnC,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;gBAC3D,IAAI,KAAK,KAAK,SAAS;oBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAA;YAChD,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,gCAAgC;IACxB,KAAK,CAAC,IAAI,CAAC,GAAW,EAAE,KAAe;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAA;QACzB,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,mBAAmB,CAC3B,cAAc,EACd,0BAA0B,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CACzD,CAAA;QACH,CAAC;QACD,YAAY;QACZ,IAAI,KAAK,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,mBAAmB,CAC3B,uBAAuB,EACvB,iCAAiC,YAAY,YAAY,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAC/E,CAAA;QACH,CAAC;QACD,YAAY;QACZ,IAAI,IAAI,CAAC,SAAS,IAAI,cAAc,EAAE,CAAC;YACrC,MAAM,IAAI,mBAAmB,CAC3B,uBAAuB,EACvB,+BAA+B,cAAc,QAAQ,CACtD,CAAA;QACH,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAA;QAC3C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,mBAAmB,CAC3B,kBAAkB,EAClB,WAAW,GAAG,sCAAsC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAC5G,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;QAChD,+CAA+C;QAC/C,IAAI,CAAC;YACH,YAAY,CAAC,MAAM,EAAE;gBACnB,MAAM,EAAE,QAAQ;gBAChB,UAAU,EAAE,CAAC,KAAK,CAAC;gBACnB,SAAS,EAAE,KAAK;aACjB,CAAC,CAAA;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;gBAC9B,MAAM,IAAI,mBAAmB,CAC3B,iBAAiB,EACjB,WAAW,GAAG,4BAA4B,GAAG,CAAC,OAAO,EAAE,EACvD,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAClC,CAAA;YACH,CAAC;YACD,MAAM,GAAG,CAAA;QACX,CAAC;QACD,IAAI,CAAC,SAAS,EAAE,CAAA;QAChB,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC5D,4DAA4D;QAC5D,IAAI,IAAI,CAAC,iBAAiB,KAAK,KAAK,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAU,CAAC,CAAA;YAC7G,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;YAC9F,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAA;YAClG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,iBAAiB,KAAK,OAAO,EAAE,CAAC;gBACpE,MAAM,IAAI,mBAAmB,CAC3B,iBAAiB,EACjB,WAAW,GAAG,+BAA+B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,EACzE,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,CAC7D,CAAA;YACH,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;QAChF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA,CAAC,sCAAsC;QAClF,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAA;QAChE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;QAC3B,OAAO,MAAM,CAAA;IACf,CAAC;IAEO,YAAY,CAAC,IAAgB,EAAE,MAAuB;QAC5D,MAAM,MAAM,GAA4B,EAAE,CAAA;QAC1C,MAAM,GAAG,GAAiD,EAAE,CAAA;QAC5D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAY,CAAA;QACzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;YAChC,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAQ;YAC7B,IAAI,OAAO,CAAC,KAAK,UAAU,EAAE,CAAC;gBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAiC,CAAA;YAC/C,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBAChB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC;oBACjF,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;gBACrC,CAAC;YACH,CAAC;QACH,CAAC;QACD,oEAAoE;QACpE,MAAM,GAAG,GAAG,MAAM,CAAC,gBAAgB,EAAE,EAAE,CAAA;QACvC,MAAM,SAAS,GAAG,iBAAiB,CAAC;YAClC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE;gBACJ,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC9C,YAAY,EAAE,CAAC,MAAM,EAAgC,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;aACrF;YACD,aAAa;YACb,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvD,CAAC,CAAA;QACF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACtE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,CAAA;IACpC,CAAC;IAED,6DAA6D;IACrD,cAAc,CAAC,OAAe,EAAE,GAAc,EAAE,MAAc;QACpE,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAC3E,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACnG,MAAM,IAAI,mBAAmB,CAC3B,sBAAsB,EACtB,IAAI,OAAO,gCAAgC,GAAG,CAAC,GAAG,mBAAmB,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,EACxH,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAC5B,CAAA;IACH,CAAC;IAED,yCAAyC;IACjC,aAAa,CAAC,GAAc;QAClC,OAAO,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAA;IACtD,CAAC;CACF","sourcesContent":["/**\n * module-registry — 多文件模块注册表（§4.5 / A-8/A-9/A-10）\n *\n * 无 IR 通道的多文件装载：主模块（runtime 直接执行）的顶层相对 import\n * （`import { bp } from './x.fai.js'`）指向项目内其它 `.fai.js` 模块。\n * 每个依赖模块用**独立 ctx** 执行（经注入的 ModuleRunner），产出导出面：\n * - values：模块存活 ctx 键中的 shape/常量（非函数）；\n * - fns：模块内顶层函数；\n * - liveShapes：computeLiveShapes 对该模块自身的存活终端（模块内消费判定生效——\n *   A-9：A 内被消费的 shape 不在 liveShapes → B 引用报错）。\n *\n * 名字契约（D6）：A 的 LHS 名 = 导出名；B 的 import 绑定名 = 引用名；绑定必须 ∈\n * A.liveShapes ∪ A.fns（A-8 缺失导出名 → ModuleRegistryError）。普通常量不在此列——\n * 具名 import 常量被拒，见\n * .agents/notes/rejected/architecture/2026-09-09-named-import-of-constants.md。\n * 跨文件引用 ≠ 消费：B 引用 A 的 shape 不影响 A 的 liveShapes（A 单独执行时计算）。\n *\n * 装载：DFS 递归（相对 specifier → moduleKey 归一 → readSource → 提取其 import →\n * 先装依赖 → 带 seed 执行自身）；循环依赖 → MODULE_CYCLE（failedAt 带环路径）。\n * 本实现每次调用重建缓存（execute/append 各轮全量重读重执行；fingerprint 增量缓存\n * 留作 v2）。\n */\n\nimport { extractMetadata } from '../lang/metadata-extractor'\nimport type { UiMetadata } from '../lang/metadata-extractor'\nimport { assertSecure, type SecurityPolicy, S6_MAX_DEPTH, S6_MAX_MODULES } from '../lang/security-scanner'\nimport { scanDeterminism, type DeterminismPolicy } from '../lang/determinism-scanner'\nimport { computeLiveShapes, type KeepRegistration } from './live-shapes'\nimport type { ExecKeepRecord } from './direct-executor'\nimport type { ProjectLoader } from './ports'\nimport { asPartName, type PartName } from '../identity'\nimport { ParseError } from '../lang/parse-error'\n\n// ── 导出类型 ──\n\n/** 模块导出面（§4.5 FaiModuleExports）。 */\nexport interface FaiModuleExports {\n  /** 存活 shape + 常量（params）——ctx 非函数键 */\n  values: Record<string, unknown>\n  /** 顶层函数（ctx 函数键） */\n  fns: Record<string, (...a: unknown[]) => unknown>\n  /** 存活 shape 名（引用校验；模块内消费生效） */\n  liveShapes: Set<string>\n}\n\n/** 已装载模块。 */\nexport interface FaiModule {\n  key: string\n  exports: FaiModuleExports\n}\n\n/** 模块执行视图（ModuleRunner 返回；DirectExecutor 满足该形状）。 */\nexport interface ModuleRunResult {\n  listCtxKeys(): string[]\n  getCtxVar(name: string): unknown\n  listKeepLines(): number[]\n  getKeepByLine(lineNo: number): ExecKeepRecord | undefined\n  /** P25 §3.7.4：原地写回登记（裸调用行 → 写回目标变量名；DirectExecutor 提供）。 */\n  getInplaceWrites?(): Map<number, string>\n}\n\n/** 模块执行回调：独立 ctx 执行模块源码（imports = 该模块自己的 seed）。 */\nexport type ModuleRunner = (code: string, imports: Record<string, unknown>) => Promise<ModuleRunResult>\n\n/** 多文件装载错误码（runtime 归并为 ExecutionResult.failedAt）。 */\nexport type ModuleRegistryErrorCode =\n  | 'MODULE_NOT_FOUND'\n  | 'MODULE_CYCLE'\n  | 'MODULE_EXEC_FAILED'\n  | 'BINDING_NOT_EXPORTED'\n  | 'MODULE_SECURITY'\n  | 'MODULE_DEPTH_EXCEEDED'\n  | 'MODULE_COUNT_EXCEEDED'\n\n/** 多文件装载错误（带 lineNo/callee，供 failedAt 定位 import 行）。 */\nexport class ModuleRegistryError extends Error {\n  /** 错误码（MODULE_NOT_FOUND / MODULE_CYCLE / MODULE_EXEC_FAILED / BINDING_NOT_EXPORTED）。 */\n  readonly code: ModuleRegistryErrorCode\n  /** import 行号（failedAt.lineNo 定位用；可选）。 */\n  readonly lineNo?: number\n  /** 绑定名 / callee（failedAt.callee 用；可选）。 */\n  readonly callee?: string\n  constructor(code: ModuleRegistryErrorCode, message: string, info?: { lineNo?: number; callee?: string }) {\n    super(message)\n    this.name = 'ModuleRegistryError'\n    this.code = code\n    this.lineNo = info?.lineNo\n    this.callee = info?.callee\n  }\n}\n\n// ── 路径归一 ──\n\n/**\n * 相对 specifier 判定（'./x' / '../x' / '/x'；裸 specifier = libLoader 通道，不在此）。\n * @param specifier - import 说明符。\n * @returns 该 specifier 是否指向项目内相对路径模块。\n */\nexport function isRelativeSpecifier(specifier: string): boolean {\n  return specifier.startsWith('./') || specifier.startsWith('../') || specifier.startsWith('/')\n}\n\n/**\n * 相对 specifier → moduleKey（POSIX 斜杠归一 + ./.. 段消解；相对 baseKey 目录）。\n * @param specifier - import 说明符（如 './bp.fai.js'）。\n * @param baseKey - 所在模块的 moduleKey（取其目录为解析基准）；主模块可省。\n * @returns 归一后的 moduleKey（与 loader.listModules() 精确匹配）。\n */\nexport function normalizeModuleKey(specifier: string, baseKey?: string): string {\n  const spec = specifier.replace(/\\\\/g, '/')\n  const baseDir = baseKey && baseKey.includes('/')\n    ? baseKey.slice(0, baseKey.lastIndexOf('/') + 1)\n    : ''\n  // 绝对形态（/x）不拼 baseDir；相对形态按 baseKey 目录解析\n  const combined = spec.startsWith('/') ? spec.slice(1) : `${baseDir}${spec}`\n  const segs: string[] = []\n  for (const seg of combined.split('/')) {\n    if (seg === '' || seg === '.') continue\n    if (seg === '..') {\n      segs.pop()\n      continue\n    }\n    segs.push(seg)\n  }\n  return segs.join('/')\n}\n\n// ── ModuleRegistry ──\n\n/**\n * 多文件模块注册表：装载/导出/绑定校验。每次调用实例化（缓存仅存活单轮装载）。\n */\nexport class ModuleRegistry {\n  private cache = new Map<string, FaiModule>()\n  private loadCount = 0\n\n  constructor(\n    private readonly loader: ProjectLoader,\n    private readonly run: ModuleRunner,\n    private readonly securityPolicy: SecurityPolicy = 'strict',\n    private readonly determinismPolicy: DeterminismPolicy = 'off',\n  ) {}\n\n  /**\n   * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。\n   * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。\n   * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。\n   * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。\n   * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。\n   */\n  /**\n   * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。\n   * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。\n   * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。\n   * @param stack - 循环依赖检测栈（内部递归使用；外部调用缺省 []）。\n   * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。\n   * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。\n   */\n  async resolveImports(\n    imports: UiMetadata['imports'],\n    baseKey?: string,\n    stack: string[] = [],\n  ): Promise<Record<string, unknown>> {\n    const seed: Record<string, unknown> = {}\n    for (const imp of imports ?? []) {\n      if (!isRelativeSpecifier(imp.specifier)) continue // 裸 specifier → libLoader 通道\n      const depKey = normalizeModuleKey(imp.specifier, baseKey)\n      const dep = await this.load(depKey, stack)\n      if (imp.kind === 'namespace' || imp.kind === 'default') {\n        if (imp.localName) seed[imp.localName] = this.namespaceView(dep)\n        continue\n      }\n      // named：每个绑定分别校验\n      for (const binding of imp.bindings) {\n        const value = this.resolveBinding(binding, dep, imp.lineNo)\n        if (value !== undefined) seed[binding] = value\n      }\n    }\n    return seed\n  }\n\n  /** 装载并执行单个模块（递归装其依赖；缓存本装载轮）。 */\n  private async load(key: string, stack: string[]): Promise<FaiModule> {\n    const cached = this.cache.get(key)\n    if (cached) return cached\n    if (stack.includes(key)) {\n      throw new ModuleRegistryError(\n        'MODULE_CYCLE',\n        `module cycle detected: ${[...stack, key].join(' -> ')}`,\n      )\n    }\n    // S6：装载深度上限\n    if (stack.length >= S6_MAX_DEPTH) {\n      throw new ModuleRegistryError(\n        'MODULE_DEPTH_EXCEEDED',\n        `module loading depth exceeded ${S6_MAX_DEPTH} (stack: ${stack.join(' -> ')})`,\n      )\n    }\n    // S6：模块总数上限\n    if (this.loadCount >= S6_MAX_MODULES) {\n      throw new ModuleRegistryError(\n        'MODULE_COUNT_EXCEEDED',\n        `total module count exceeded ${S6_MAX_MODULES} limit`,\n      )\n    }\n    const available = this.loader.listModules()\n    if (!available.includes(key)) {\n      throw new ModuleRegistryError(\n        'MODULE_NOT_FOUND',\n        `module \"${key}\" not found in project (available: ${available.length > 0 ? available.join(', ') : 'none'})`,\n      )\n    }\n    const source = await this.loader.readSource(key)\n    // A3：子模块安全扫描前置（固定 strict；违规 → MODULE_SECURITY）\n    try {\n      assertSecure(source, {\n        policy: 'strict',\n        knownNames: ['cad'],\n        defaultNs: 'cad',\n      })\n    } catch (err) {\n      if (err instanceof ParseError) {\n        throw new ModuleRegistryError(\n          'MODULE_SECURITY',\n          `module \"${key}\" failed security check: ${err.message}`,\n          { lineNo: err.line, callee: key },\n        )\n      }\n      throw err\n    }\n    this.loadCount++\n    const meta = extractMetadata(source, { security: 'strict' })\n    // 确定性扫描（B 档 taint）：违规 → MODULE_SECURITY（error 档）；warn 档静默放行\n    if (this.determinismPolicy !== 'off') {\n      const ns = (meta.imports ?? []).filter((i) => i.kind === 'namespace' && i.localName).map((i) => i.localName!)\n      const cals = (meta.imports ?? []).filter((i) => i.kind === 'named').flatMap((i) => i.bindings)\n      const det = scanDeterminism(source, { defaultNs: 'cad', extraNamespaces: ns, extraCallees: cals })\n      if (det.violations.length > 0 && this.determinismPolicy === 'error') {\n        throw new ModuleRegistryError(\n          'MODULE_SECURITY',\n          `module \"${key}\" failed determinism check: ${det.violations[0]!.message}`,\n          { lineNo: det.violations[0]!.lineNo, callee: 'determinism' },\n        )\n      }\n    }\n    const seed = await this.resolveImports(meta.imports ?? [], key, [...stack, key])\n    const result = await this.run(source, seed) // 执行失败 → runner 抛 ModuleRegistryError\n    const module = { key, exports: this.buildExports(meta, result) }\n    this.cache.set(key, module)\n    return module\n  }\n\n  private buildExports(meta: UiMetadata, result: ModuleRunResult): FaiModuleExports {\n    const values: Record<string, unknown> = {}\n    const fns: Record<string, (...a: unknown[]) => unknown> = {}\n    const shapeVarNames = new Set<PartName>()\n    for (const name of result.listCtxKeys()) {\n      const v = result.getCtxVar(name)\n      if (v === undefined) continue\n      if (typeof v === 'function') {\n        fns[name] = v as (...a: unknown[]) => unknown\n      } else {\n        values[name] = v\n        if (v !== null && typeof v === 'object' && ('positions' in v || 'children' in v)) {\n          shapeVarNames.add(asPartName(name))\n        }\n      }\n    }\n    // 模块自身的存活终端：函数体 keep 登记读 ModuleRunResult（DirectExecutor.keepByLine）\n    const ipw = result.getInplaceWrites?.()\n    const terminals = computeLiveShapes({\n      lines: meta.lines,\n      blocks: meta.blocks,\n      keep: {\n        lineEntries: (lineNo) => meta.keep.get(lineNo),\n        functionBody: (lineNo): KeepRegistration | undefined => result.getKeepByLine(lineNo),\n      },\n      shapeVarNames,\n      ...(ipw && ipw.size > 0 ? { inplaceWrites: ipw } : {}),\n    })\n    const liveShapes = new Set<string>(terminals.map((t) => String(t.id)))\n    return { values, fns, liveShapes }\n  }\n\n  /** named 绑定解析：liveShapes ∪ fns；缺失 → BINDING_NOT_EXPORTED。 */\n  private resolveBinding(binding: string, dep: FaiModule, lineNo: number): unknown | undefined {\n    if (dep.exports.liveShapes.has(binding)) return dep.exports.values[binding]\n    if (Object.prototype.hasOwnProperty.call(dep.exports.fns, binding)) return dep.exports.fns[binding]\n    throw new ModuleRegistryError(\n      'BINDING_NOT_EXPORTED',\n      `\"${binding}\" is not exported by module \"${dep.key}\" (live shapes: ${[...dep.exports.liveShapes].join(', ') || 'none'})`,\n      { lineNo, callee: binding },\n    )\n  }\n\n  /** 命名空间/默认 import 的模块视图：values + fns。 */\n  private namespaceView(dep: FaiModule): Record<string, unknown> {\n    return { ...dep.exports.values, ...dep.exports.fns }\n  }\n}\n"]}

package/dist/cad-runtime/runtime-concurrent-error.d.ts

@@ -0,0 +1,38 @@
+/**
+ * runtime-concurrent-error — 并发执行拒绝错误（C1）
+ *
+ * 独立叶子文件（与 execution-limit-error.ts 同法）：CadRuntime 的三个执行入口
+ * （execute / append / update）共用，code = 'E_RUNTIME_CONCURRENT'
+ * （宿主可按 code 识别，区别于普通执行错误）。
+ *
+ * ## 为什么必须拒绝，而不是"尽力而为"
+ *
+ * `setCurrentStmt`、全局 backends 配置（`configureBackends`）、BREP 内核单例都是
+ * **进程级单例**。两个 CadRuntime 交错执行时，后进入者的 `claimBackends()` 会把
+ * 全局 backends 指向自己，先进入者的后续语句被**静默劫持**（dispatch 走错槽、
+ * 缓存键漂移、顶替释放旧句柄后拓扑重建撞悬空句柄）——症状远离根因，是最难查的一类。
+ *
+ * 旧代码只在注释里承认"并发交错仍会互踩"（`runtime.ts` 的 claimBackends 文档）。
+ * 按项目红线「能力缺口要暴露，不是加旁路开关」，这里改成**显式抛错**：
+ * 并发不是"可能不安全"，而是**不受支持**，必须让调用方当场知道。
+ *
+ * 用户已裁决：**不允许并发执行多 runtime**（开发计划 §4.7 C1）。
+ */
+export declare class RuntimeConcurrentError extends Error {
+    /** 当前持有执行态的那个 runtime 的 id。 */
+    readonly holderId: number;
+    /** 被拒绝的 runtime 的 id。 */
+    readonly rejectedId: number;
+    /** 被拒绝的入口名（execute / append / update）。 */
+    readonly entry: string;
+    /** 宿主可按 code 识别的错误码：'E_RUNTIME_CONCURRENT'。 */
+    readonly code = "E_RUNTIME_CONCURRENT";
+    constructor(
+    /** 当前持有执行态的那个 runtime 的 id。 */
+    holderId: number, 
+    /** 被拒绝的 runtime 的 id。 */
+    rejectedId: number, 
+    /** 被拒绝的入口名（execute / append / update）。 */
+    entry: string);
+}
+//# sourceMappingURL=runtime-concurrent-error.d.ts.map

package/dist/cad-runtime/runtime-concurrent-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-concurrent-error.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/runtime-concurrent-error.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,qBAAa,sBAAuB,SAAQ,KAAK;IAI7C,+BAA+B;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM;IACzB,yBAAyB;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM;IAC3B,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM;IARxB,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,0BAAyB;;IAEpC,+BAA+B;IACtB,QAAQ,EAAE,MAAM;IACzB,yBAAyB;IAChB,UAAU,EAAE,MAAM;IAC3B,0CAA0C;IACjC,KAAK,EAAE,MAAM;CASzB"}

package/dist/cad-runtime/runtime-concurrent-error.js

@@ -0,0 +1,43 @@
+/**
+ * runtime-concurrent-error — 并发执行拒绝错误（C1）
+ *
+ * 独立叶子文件（与 execution-limit-error.ts 同法）：CadRuntime 的三个执行入口
+ * （execute / append / update）共用，code = 'E_RUNTIME_CONCURRENT'
+ * （宿主可按 code 识别，区别于普通执行错误）。
+ *
+ * ## 为什么必须拒绝，而不是"尽力而为"
+ *
+ * `setCurrentStmt`、全局 backends 配置（`configureBackends`）、BREP 内核单例都是
+ * **进程级单例**。两个 CadRuntime 交错执行时，后进入者的 `claimBackends()` 会把
+ * 全局 backends 指向自己，先进入者的后续语句被**静默劫持**（dispatch 走错槽、
+ * 缓存键漂移、顶替释放旧句柄后拓扑重建撞悬空句柄）——症状远离根因，是最难查的一类。
+ *
+ * 旧代码只在注释里承认"并发交错仍会互踩"（`runtime.ts` 的 claimBackends 文档）。
+ * 按项目红线「能力缺口要暴露，不是加旁路开关」，这里改成**显式抛错**：
+ * 并发不是"可能不安全"，而是**不受支持**，必须让调用方当场知道。
+ *
+ * 用户已裁决：**不允许并发执行多 runtime**（开发计划 §4.7 C1）。
+ */
+export class RuntimeConcurrentError extends Error {
+    holderId;
+    rejectedId;
+    entry;
+    /** 宿主可按 code 识别的错误码：'E_RUNTIME_CONCURRENT'。 */
+    code = 'E_RUNTIME_CONCURRENT';
+    constructor(
+    /** 当前持有执行态的那个 runtime 的 id。 */
+    holderId, 
+    /** 被拒绝的 runtime 的 id。 */
+    rejectedId, 
+    /** 被拒绝的入口名（execute / append / update）。 */
+    entry) {
+        super(`[faijs] E_RUNTIME_CONCURRENT: runtime #${rejectedId} cannot ${entry} ` +
+            `while runtime #${holderId} is executing — concurrent multi-runtime execution is not supported ` +
+            `(setCurrentStmt / backends / kernel are process-wide singletons). Serialize your runtimes.`);
+        this.holderId = holderId;
+        this.rejectedId = rejectedId;
+        this.entry = entry;
+        this.name = 'RuntimeConcurrentError';
+    }
+}
+//# sourceMappingURL=runtime-concurrent-error.js.map

package/dist/cad-runtime/runtime-concurrent-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-concurrent-error.js","sourceRoot":"","sources":["../../src/cad-runtime/runtime-concurrent-error.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAKpC;IAEA;IAEA;IARX,+CAA+C;IACtC,IAAI,GAAG,sBAAsB,CAAA;IACtC;IACE,+BAA+B;IACtB,QAAgB;IACzB,yBAAyB;IAChB,UAAkB;IAC3B,0CAA0C;IACjC,KAAa;QAEtB,KAAK,CACH,0CAA0C,UAAU,WAAW,KAAK,GAAG;YACrE,kBAAkB,QAAQ,sEAAsE;YAChG,4FAA4F,CAC/F,CAAA;QAVQ,aAAQ,GAAR,QAAQ,CAAQ;QAEhB,eAAU,GAAV,UAAU,CAAQ;QAElB,UAAK,GAAL,KAAK,CAAQ;QAOtB,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAA;IACtC,CAAC;CACF","sourcesContent":["/**\n * runtime-concurrent-error — 并发执行拒绝错误（C1）\n *\n * 独立叶子文件（与 execution-limit-error.ts 同法）：CadRuntime 的三个执行入口\n * （execute / append / update）共用，code = 'E_RUNTIME_CONCURRENT'\n * （宿主可按 code 识别，区别于普通执行错误）。\n *\n * ## 为什么必须拒绝，而不是\"尽力而为\"\n *\n * `setCurrentStmt`、全局 backends 配置（`configureBackends`）、BREP 内核单例都是\n * **进程级单例**。两个 CadRuntime 交错执行时，后进入者的 `claimBackends()` 会把\n * 全局 backends 指向自己，先进入者的后续语句被**静默劫持**（dispatch 走错槽、\n * 缓存键漂移、顶替释放旧句柄后拓扑重建撞悬空句柄）——症状远离根因，是最难查的一类。\n *\n * 旧代码只在注释里承认\"并发交错仍会互踩\"（`runtime.ts` 的 claimBackends 文档）。\n * 按项目红线「能力缺口要暴露，不是加旁路开关」，这里改成**显式抛错**：\n * 并发不是\"可能不安全\"，而是**不受支持**，必须让调用方当场知道。\n *\n * 用户已裁决：**不允许并发执行多 runtime**（开发计划 §4.7 C1）。\n */\nexport class RuntimeConcurrentError extends Error {\n  /** 宿主可按 code 识别的错误码：'E_RUNTIME_CONCURRENT'。 */\n  readonly code = 'E_RUNTIME_CONCURRENT'\n  constructor(\n    /** 当前持有执行态的那个 runtime 的 id。 */\n    readonly holderId: number,\n    /** 被拒绝的 runtime 的 id。 */\n    readonly rejectedId: number,\n    /** 被拒绝的入口名（execute / append / update）。 */\n    readonly entry: string,\n  ) {\n    super(\n      `[faijs] E_RUNTIME_CONCURRENT: runtime #${rejectedId} cannot ${entry} ` +\n        `while runtime #${holderId} is executing — concurrent multi-runtime execution is not supported ` +\n        `(setCurrentStmt / backends / kernel are process-wide singletons). Serialize your runtimes.`,\n    )\n    this.name = 'RuntimeConcurrentError'\n  }\n}\n"]}

package/dist/cad-runtime/runtime.d.ts

@@ -32,6 +32,7 @@ export { computeContentKey } from './content-key.js';
 export { stableFingerprint } from './content-key.js';
 import { type CompoundShape } from '../shape.js';
 import type { PartNaming } from '../topology/naming/types.js';
+import { type DeterminismPolicy } from '../lang/determinism-scanner.js';
 /**
  * A single validation error produced by CadRuntime.check.
  */
@@ -186,6 +187,7 @@ export interface ExecuteOptions {
     executionTimeoutMs?: number;
 }
 export { ExecutionLimitError } from './execution-limit-error.js';
+export { RuntimeConcurrentError } from './runtime-concurrent-error.js';
 /**
  * Thrown by CadRuntime.append when a newly appended statement references a
  * variable that is not in the persistent context — its producer was never
@@ -203,11 +205,13 @@ export declare class AppendPrefixError extends Error {
     /** The referenced variable missing from the persistent ctx. */
     missingVar: string);
 }
+export type { DeterminismPolicy };
 /**
  * CadRuntime 构造选项（第 4 参；缺省全部可选）。
  *
  * direct 是唯一执行路径。security 透传给 DirectExecutor 与 extractMetadata
- * （A1/A2/A3 缺省 'strict'）。
+ * （A1/A2/A3 缺省 'strict'）。determinism 在 execute/append 前 对源码做 B 档
+ * taint 扫描（缺省 'error'，见 docs/reproducibility-contract.md §3）。
  */
 export interface CadRuntimeOptions {
     /** 安全策略档位（缺省 'strict'；透传给 DirectExecutor 与 extractMetadata） */
@@ -218,6 +222,12 @@ export interface CadRuntimeOptions {
      * 使用——见 docs/plans/2026-09-14-no-eval-interpreter-backend-design.md。
      */
     execBackend?: ExecBackendChoice;
+    /**
+     * 确定性扫描档位（缺省 'error'）。执行前对 .fai.js 源码及其 import 的项目模块
+     * / @faicad/* 库源码做 B 档 taint 扫描，违规按档位处理。库源码经
+     * `ports.libLoader.loadSource` 获取（宿主未提供则跳过库扫描）。
+     */
+    determinism?: DeterminismPolicy;
 }
 /**
  * CadRuntime is the execution core of the L2 orchestration layer.
@@ -270,8 +280,14 @@ export declare class CadRuntime {
     private topologyCache;
     /** 无 IR 执行器（DirectExecutor，T5 后唯一执行路径） */
     private readonly directExecutor;
+    /** 实例 id（仅用于 C1 并发错误信息里的定位，不参与任何语义判定）。 */
+    private readonly runtimeId;
     /** 安全策略档位（透传给 extractMetadata 与 DirectExecutor；缺省 'strict'） */
     private readonly securityPolicy;
+    /** 确定性扫描档位（缺省 'error'；execute/append 前对源码做 B 档 taint 扫描）。 */
+    private readonly determinismPolicy;
+    /** warn 档位下收集的确定性警告，合并进最终 ExecutionResult.infos。 */
+    private determinismWarnings;
     /** 宿主注册库（含 cad：由根门面 createRuntime 包装注入；注入编译产物 fn 的第二参 ns） */
     private readonly libs;
     /** 库内容身份表 (binding → content hash)，增量 key 用（B2，§7.3） */
@@ -328,7 +344,11 @@ export declare class CadRuntime {
      * 先前 runtime 的后续 execute 会被静默劫持（dispatch 走错槽、缓存键漂移、
      * 顶替释放旧 BREP 句柄后拓扑重建撞上悬空句柄）。因此除构造外，每个执行入口
      * （execute，所有执行路径的汇聚点）都必须先重新认领本实例的配置。
-     * 限制：并发交错执行多个 runtime 仍会互踩（与 setCurrentStmt 同级的串行假设）。
+     *
+     * ⚠️ 并发交错执行多个 runtime **仍会互踩**——这条限制现在由全局执行态锁强制
+     * （{@link withExecutionLock}）：第二个 runtime 在他人执行态时抛
+     * {@link RuntimeConcurrentError}（E_RUNTIME_CONCURRENT），不再"尽力而为"。
+     * 用户已裁决不允许并发（开发计划 §4.7 C1）。
      * ⚠️ getter 的 this 指向所在对象字面量，用箭头闭包捕获实例（避免 no-this-alias）。
      */
     private claimBackends;
@@ -339,11 +359,25 @@ export declare class CadRuntime {
      * 现有宿主无需改动即恢复默认 BREP 行为；换引擎仍是静态的（装配期注册其它引擎即可）。
      */
     private ensureBrepChain;
+    /**
+     * 取全局执行态锁并运行 `fn`（C1）。跨实例并发 → 抛 {@link RuntimeConcurrentError}；
+     * 本实例重入（update 内部落到 executeDirectText/appendDirectText）放行。
+     *
+     * 刻意**同步**取锁（不在取锁前 await）：这样 `runtimeA.execute(...)` 尚未 await 时
+     * 紧接着调 `runtimeB.execute(...)` 必然被拒绝，行为可确定、可测试。
+     * @param entry - 入口名（execute / append / update），仅用于错误信息。
+     * @param fn - 实际执行体。
+     * @returns fn 的结果；无论成功失败都释放锁（finally）。
+     */
+    private withExecutionLock;
+    /** 当前执行态持有者的入口名（诊断；无持有者时 null）。 */
+    static get executingEntry(): string | null;
     /**
      * Full execution from code text: parse → execute every statement.
      * @param code - the .fai.js source text.
      * @param opts - optional execution options.
      * @returns promise resolving to the ExecutionResult.
+     * @throws {RuntimeConcurrentError} when another CadRuntime is already executing (C1).
      */
     execute(code: string, opts?: ExecuteOptions): Promise<ExecutionResult>;
     /**
@@ -353,8 +387,23 @@ export declare class CadRuntime {
      * @param code - the new .fai.js source text to append.
      * @param opts - optional execution options.
      * @returns promise resolving to the ExecutionResult.
+     * @throws {RuntimeConcurrentError} when another CadRuntime is already executing (C1).
      */
     append(code: string, opts?: ExecuteOptions): Promise<ExecutionResult>;
+    /**
+     * 确定性扫描门（B 档 taint）：执行前对源码做静态扫描，违规按 determinismPolicy 处理。
+     *
+     * 扫描范围：主文件 + @faicad/* 库源码（经 libLoader.loadSource，若宿主提供）。
+     * 项目内相对 import 模块的扫描由 ModuleRegistry.load 内部完成（构造时传入 policy）。
+     *
+     * @returns ExecutionResult（违规 + policy='error' 时），null（通过或 warn/off）。
+     *          warn 档位下警告收集到 this.determinismWarnings，由调用方合并进 infos。
+     */
+    private runDeterminismGate;
+    /** 从 meta.imports 提取扫描提示：namespace import → extraNamespaces，named import → extraCallees。 */
+    private extractDeterminismHints;
+    /** 扫描库源码（契约：输入必须是编译后的纯 JS；含 TS 语法/解析失败 → 显式报错，无剥离、无回退）。 */
+    private scanLibrarySource;
     /**
      * Direct-mode full execution: the code text runs on the DirectExecutor
      * and outputs/terminals are assembled from the persistent ctx +
@@ -444,6 +493,7 @@ export declare class CadRuntime {
      * @param newCode - the .fai.js source text after the edit.
      * @param opts - optional execution options.
      * @returns promise resolving to the ExecutionResult.
+     * @throws {RuntimeConcurrentError} when another CadRuntime is already executing (C1).
      */
     update(oldCode: string, newCode: string, opts?: ExecuteOptions): Promise<ExecutionResult>;
     /**

package/dist/cad-runtime/runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAClD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAI9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AACvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAA;AAC7E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAKxD,OAAO,EAAc,KAAK,QAAQ,EAAe,MAAM,aAAa,CAAA;AAEpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAKvD,OAAO,EAEkB,KAAK,eAAe,EAC3C,KAAK,sBAAsB,EAC5B,MAAM,kBAAkB,CAAA;AAKzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAAuC,KAAK,aAAa,EAAE,MAAM,UAAU,CAAA;AAClF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAY1D;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,8EAA8E;IAC9E,KAAK,EAAE,OAAO,GAAG,QAAQ,GAAG,WAAW,GAAG,MAAM,GAAG,UAAU,CAAA;IAC7D,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,+FAA+F;IAC/F,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,+FAA+F;IAC/F,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,OAAO,CAAA;IACX,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,iDAAiD;IACjD,MAAM,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAA;CACnD;AAED;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,yCAAyC;IACzC,QAAQ,EAAE,QAAQ,CAAA;IAClB,iBAAiB;IACjB,MAAM,EAAE,cAAc,CAAA;IACtB,6BAA6B;IAC7B,IAAI,EAAE,mBAAmB,CAAA;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B;;;;;OAKG;IACH,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,GAAG,aAAa,CAAC,CAAA;IAC7C,iCAAiC;IACjC,SAAS,EAAE,cAAc,CAAA;IACzB,aAAa;IACb,SAAS,EAAE,aAAa,EAAE,CAAA;IAC1B,cAAc;IACd,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,8HAA8H;IAC9H,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAC7F,yDAAyD;IACzD,UAAU,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE;QAAE,KAAK,EAAE,UAAU,CAAC;QAAC,MAAM,EAAE,aAAa,CAAA;KAAE,CAAC,CAAA;IACxE;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAA;IACtC;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;IAClC;;;OAGG;IACH,SAAS,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;IACrC,8DAA8D;IAC9D,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAA;IACpB;;;;OAIG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IACrC;;;;OAIG;IACH,UAAU,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAA;CACnD;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAChC,sCAAsC;IACtC,aAAa,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;IACxF,6CAA6C;IAC7C,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IACzD;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,KAAK,CAAA;IAClC;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAKD,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAE7D;;;;;GAKG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;IAExC,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM;IAC5B,+DAA+D;IAC/D,QAAQ,CAAC,UAAU,EAAE,MAAM;;IAH3B,+DAA+D;IACtD,WAAW,EAAE,MAAM;IAC5B,+DAA+D;IACtD,UAAU,EAAE,MAAM;CAS9B;AA2BD;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB;;;;OAIG;IACH,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED;;;;;;;;;GASG;AACH,qBAAa,UAAU;IACrB,kDAAkD;IAClD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,YAAY,EAAG,QAAQ,CAAS;IAEzC,4DAA4D;IAC5D,OAAO,CAAC,cAAc,CAIlB;IAEJ,yEAAyE;IACzE,OAAO,CAAC,eAAe,CAAsB;IAC7C,wCAAwC;IACxC,OAAO,CAAC,cAAc,CAAoB;IAG1C,OAAO,CAAC,qBAAqB,CAAsB;IACnD,OAAO,CAAC,qBAAqB,CAAsB;IACnD,OAAO,CAAC,4BAA4B,CAAsB;IAC1D,OAAO,CAAC,iBAAiB,CAAQ;IAEjC;;;OAGG;IACH,OAAO,CAAC,UAAU,CAAkC;IAEpD,2DAA2D;IAC3D,OAAO,CAAC,kBAAkB,CAA6C;IAEvE,+EAA+E;IAC/E,OAAO,CAAC,cAAc,CAA+B;IAErD,+DAA+D;IAC/D,OAAO,CAAC,MAAM,CAA6B;IAE3C;;;OAGG;IACH,OAAO,CAAC,SAAS,CAA8B;IAE/C;;;;OAIG;IACH,OAAO,CAAC,aAAa,CAAoC;IAEzD,0CAA0C;IAC1C,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgB;IAE/C,+DAA+D;IAC/D,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgB;IAE/C,6DAA6D;IAC7D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAiC;IACtD,wDAAwD;IACxD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA4B;IACnD,yFAAyF;IACzF,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAA4B;IAC/D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAY;IACvC;qEACiE;IACjE,OAAO,CAAC,aAAa,CAAQ;IAE7B;;;;;;;;;OASG;IACH;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,eAAe,EAAE,OAAO,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI;IAuBlI,sFAAsF;IACtF,IAAI,SAAS,IAAI,MAAM,CAEtB;gBAGC,KAAK,EAAE,SAAS,EAChB,IAAI,GAAE,aAAsB,EAC5B,IAAI,GAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAM,EAC1C,OAAO,GAAE,iBAAsB;IAoBjC;;;;;;;;OAQG;IACH,OAAO,CAAC,aAAa;IAoCrB;;;;;OAKG;YACW,eAAe;IAuB7B;;;;;OAKG;IACG,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC;IAI5E;;;;;;;OAOG;IACG,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC;IAI3E;;;;OAIG;YACW,iBAAiB;IAiC/B,0EAA0E;IAC1E,OAAO,CAAC,iBAAiB;IAMzB;;;;;;;;;OASG;IACH,OAAO,CAAC,qBAAqB;IAgB7B;;;OAGG;YACW,gBAAgB;IAK9B;;;;OAIG;YACW,gBAAgB;IA0C9B,gEAAgE;IAChE,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;YACW,uBAAuB;IA8BrC,yEAAyE;YAC3D,eAAe;IAyB7B;;;;OAIG;IACH,OAAO,CAAC,mBAAmB;IAqG3B,gEAAgE;IAChE,OAAO,CAAC,MAAM,CAAC,cAAc;IAO7B;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IAuDjC,6DAA6D;IAC7D,OAAO,CAAC,gBAAgB;IAoBxB;;;;OAIG;YACW,uBAAuB;IAqCrC;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAiCxB;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IA0B1B;;;;;;;;;;;OAWG;IACG,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC;IAM/F;;;;OAIG;IACH,eAAe,CAAC,QAAQ,EAAE,QAAQ,GAAG,KAAK,GAAG,SAAS;IAItD;;;;;OAKG;IACH,sBAAsB,CACpB,QAAQ,EAAE,QAAQ,GACjB;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,KAAK,CAAA;KAAE,GAAG,SAAS;IAIhF;;;;;;OAMG;IACH,qBAAqB,CACnB,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,KAAK,EACb,gBAAgB,EAAE,MAAM,GACvB,IAAI;IAQP,uDAAuD;IACvD,mBAAmB,IAAI,IAAI;IAO3B;;;;;;;;;;OAUG;IACH,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,mBAAmB,GAAG,IAAI;IAWxF;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY,GAAG,SAAS;IAIzD;;;OAGG;IACH,cAAc,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAIxC;;;;;;;;;;;OAWG;IACH,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,eAAe,GAAG,IAAI;IAsB7D;;;;;;;;OAQG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW;IA+BhC;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IAmBzB;;;;;;;;;;;;;;;;OAgBG;YACW,iBAAiB;IAqK/B;;OAEG;YACW,cAAc;IAqB5B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAY1B;;;OAGG;IACH,OAAO,IAAI,IAAI;CAchB;AAID;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,UAAU,CAErJ"}
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAClD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAI9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AACvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAA;AAC7E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAKxD,OAAO,EAAc,KAAK,QAAQ,EAAe,MAAM,aAAa,CAAA;AAEpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAKvD,OAAO,EAEkB,KAAK,eAAe,EAC3C,KAAK,sBAAsB,EAC5B,MAAM,kBAAkB,CAAA;AAKzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAAuC,KAAK,aAAa,EAAE,MAAM,UAAU,CAAA;AAClF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAI1D,OAAO,EAA8C,KAAK,iBAAiB,EAAE,MAAM,6BAA6B,CAAA;AAShH;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,8EAA8E;IAC9E,KAAK,EAAE,OAAO,GAAG,QAAQ,GAAG,WAAW,GAAG,MAAM,GAAG,UAAU,CAAA;IAC7D,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,+FAA+F;IAC/F,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,+FAA+F;IAC/F,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,OAAO,CAAA;IACX,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,iDAAiD;IACjD,MAAM,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAA;CACnD;AAED;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,yCAAyC;IACzC,QAAQ,EAAE,QAAQ,CAAA;IAClB,iBAAiB;IACjB,MAAM,EAAE,cAAc,CAAA;IACtB,6BAA6B;IAC7B,IAAI,EAAE,mBAAmB,CAAA;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B;;;;;OAKG;IACH,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,GAAG,aAAa,CAAC,CAAA;IAC7C,iCAAiC;IACjC,SAAS,EAAE,cAAc,CAAA;IACzB,aAAa;IACb,SAAS,EAAE,aAAa,EAAE,CAAA;IAC1B,cAAc;IACd,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,8HAA8H;IAC9H,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAC7F,yDAAyD;IACzD,UAAU,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE;QAAE,KAAK,EAAE,UAAU,CAAC;QAAC,MAAM,EAAE,aAAa,CAAA;KAAE,CAAC,CAAA;IACxE;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAA;IACtC;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;IAClC;;;OAGG;IACH,SAAS,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;IACrC,8DAA8D;IAC9D,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAA;IACpB;;;;OAIG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IACrC;;;;OAIG;IACH,UAAU,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAA;CACnD;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAChC,sCAAsC;IACtC,aAAa,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;IACxF,6CAA6C;IAC7C,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IACzD;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,KAAK,CAAA;IAClC;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAKD,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAE7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAA;AAiBnE;;;;;GAKG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;IAExC,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM;IAC5B,+DAA+D;IAC/D,QAAQ,CAAC,UAAU,EAAE,MAAM;;IAH3B,+DAA+D;IACtD,WAAW,EAAE,MAAM;IAC5B,+DAA+D;IACtD,UAAU,EAAE,MAAM;CAS9B;AA2BD,YAAY,EAAE,iBAAiB,EAAE,CAAA;AAEjC;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB;;;;OAIG;IACH,WAAW,CAAC,EAAE,iBAAiB,CAAA;IAC/B;;;;OAIG;IACH,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED;;;;;;;;;GASG;AACH,qBAAa,UAAU;IACrB,kDAAkD;IAClD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,YAAY,EAAG,QAAQ,CAAS;IAEzC,4DAA4D;IAC5D,OAAO,CAAC,cAAc,CAIlB;IAEJ,yEAAyE;IACzE,OAAO,CAAC,eAAe,CAAsB;IAC7C,wCAAwC;IACxC,OAAO,CAAC,cAAc,CAAoB;IAG1C,OAAO,CAAC,qBAAqB,CAAsB;IACnD,OAAO,CAAC,qBAAqB,CAAsB;IACnD,OAAO,CAAC,4BAA4B,CAAsB;IAC1D,OAAO,CAAC,iBAAiB,CAAQ;IAEjC;;;OAGG;IACH,OAAO,CAAC,UAAU,CAAkC;IAEpD,2DAA2D;IAC3D,OAAO,CAAC,kBAAkB,CAA6C;IAEvE,+EAA+E;IAC/E,OAAO,CAAC,cAAc,CAA+B;IAErD,+DAA+D;IAC/D,OAAO,CAAC,MAAM,CAA6B;IAE3C;;;OAGG;IACH,OAAO,CAAC,SAAS,CAA8B;IAE/C;;;;OAIG;IACH,OAAO,CAAC,aAAa,CAAoC;IAEzD,0CAA0C;IAC1C,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgB;IAE/C,0CAA0C;IAC1C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAkB;IAE5C,+DAA+D;IAC/D,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgB;IAC/C,6DAA6D;IAC7D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAmB;IACrD,oDAAoD;IACpD,OAAO,CAAC,mBAAmB,CAAe;IAE1C,6DAA6D;IAC7D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAiC;IACtD,wDAAwD;IACxD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA4B;IACnD,yFAAyF;IACzF,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAA4B;IAC/D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAY;IACvC;qEACiE;IACjE,OAAO,CAAC,aAAa,CAAQ;IAE7B;;;;;;;;;OASG;IACH;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,eAAe,EAAE,OAAO,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI;IA0BlI,sFAAsF;IACtF,IAAI,SAAS,IAAI,MAAM,CAEtB;gBAGC,KAAK,EAAE,SAAS,EAChB,IAAI,GAAE,aAAsB,EAC5B,IAAI,GAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAM,EAC1C,OAAO,GAAE,iBAAsB;IAqBjC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,aAAa;IAoCrB;;;;;OAKG;YACW,eAAe;IAuB7B;;;;;;;;;OASG;YACW,iBAAiB;IAmB/B,mCAAmC;IACnC,MAAM,KAAK,cAAc,IAAI,MAAM,GAAG,IAAI,CAEzC;IAED;;;;;;OAMG;IACG,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC;IAI5E;;;;;;;;OAQG;IACG,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC;IAI3E;;;;;;;;OAQG;YACW,kBAAkB;IAmDhC,4FAA4F;IAC5F,OAAO,CAAC,uBAAuB;IAU/B,2DAA2D;IAC3D,OAAO,CAAC,iBAAiB;IAWzB;;;;OAIG;YACW,iBAAiB;IAoC/B,0EAA0E;IAC1E,OAAO,CAAC,iBAAiB;IAMzB;;;;;;;;;OASG;IACH,OAAO,CAAC,qBAAqB;IAgB7B;;;OAGG;YACW,gBAAgB;IAK9B;;;;OAIG;YACW,gBAAgB;IA6C9B,gEAAgE;IAChE,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;YACW,uBAAuB;IA8BrC,yEAAyE;YAC3D,eAAe;IAyB7B;;;;OAIG;IACH,OAAO,CAAC,mBAAmB;IA2G3B,gEAAgE;IAChE,OAAO,CAAC,MAAM,CAAC,cAAc;IAO7B;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IAuDjC,6DAA6D;IAC7D,OAAO,CAAC,gBAAgB;IAoBxB;;;;OAIG;YACW,uBAAuB;IAqCrC;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAkCxB;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IA0B1B;;;;;;;;;;;;OAYG;IACG,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC;IAM/F;;;;OAIG;IACH,eAAe,CAAC,QAAQ,EAAE,QAAQ,GAAG,KAAK,GAAG,SAAS;IAItD;;;;;OAKG;IACH,sBAAsB,CACpB,QAAQ,EAAE,QAAQ,GACjB;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,KAAK,CAAA;KAAE,GAAG,SAAS;IAIhF;;;;;;OAMG;IACH,qBAAqB,CACnB,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,KAAK,EACb,gBAAgB,EAAE,MAAM,GACvB,IAAI;IAQP,uDAAuD;IACvD,mBAAmB,IAAI,IAAI;IAO3B;;;;;;;;;;OAUG;IACH,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,mBAAmB,GAAG,IAAI;IAWxF;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY,GAAG,SAAS;IAIzD;;;OAGG;IACH,cAAc,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAIxC;;;;;;;;;;;OAWG;IACH,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,eAAe,GAAG,IAAI;IAsB7D;;;;;;;;OAQG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW;IA+BhC;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IAmBzB;;;;;;;;;;;;;;;;OAgBG;YACW,iBAAiB;IAqK/B;;OAEG;YACW,cAAc;IAqB5B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAY1B;;;OAGG;IACH,OAAO,IAAI,IAAI;CAchB;AAID;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,UAAU,CAErJ"}