@faicad/faijs 0.13.1 → 0.14.1

package/dist/cad-runtime/admit-compat-lib.js.map

@@ -1 +1 @@
-{"version":3,"file":"admit-compat-lib.js","sourceRoot":"","sources":["../../src/cad-runtime/admit-compat-lib.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AAIpD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAAC,EAA2B;IACxD,iBAAiB,CAAC,EAAE,CAAC,CAAA;IACrB,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,KAAK,UAAU,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAC,SAAQ;QAAC,CAAC;QACxD,IAAK,CAAwC,CAAC,YAAY,CAAC,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAC,SAAQ;QAAC,CAAC;QACxF,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAiC,EAAE;YACtD,IAAI;YACJ,OAAO,EAAG,CAAoB,CAAC,OAAO,EAAE,iEAAiE;SAC1G,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC","sourcesContent":["/**\n * admit-compat-lib — registerLib's admission-stage enhancement (B4 fix).\n *\n * Design: docs/plans/2026-09-03-faijs-brepjs-compat-api.md §4.3.3\n *\n * Hard ordering constraint: assertLibConforms runs BEFORE wrapping — DUAL_OP_META\n * hangs on the function object with enumerable:false (define-op.ts) and\n * assertLibConforms iterates values via Object.values to judge metadata; a\n * wrap-first admission would let bare functions silently skip the whole strict\n * validation pass (verified in practice, R8).\n *\n * Multi-output annotation: the only contract name is `fn.outputs` (the\n * `outputs` defineOp option); the legacy name is deleted repo-wide.\n *\n * @module\n */\n\nimport { assertLibConforms, DUAL_OP_META } from '../define-op'\nimport { compatOp } from '../api/internal/compat-op'\n\ntype OutputsCarrier = { outputs?: string[] }\n\n/**\n * Establish an admission-stage wrapper namespace for registerLib.\n *\n * Non-functions (contractVersion / resource objects) and native dual-ops\n * (already carrying DUAL_OP_META) pass through just as they are; any bare\n * function is lifted through compatOp so it cannot silently bypass the\n * statement-level boundary contract (B4).\n *\n * @param ns the library namespace object being registered.\n * @returns the admitted namespace (bare functions replaced by compatOp facades).\n */\nexport function admitCompatLib(ns: Record<string, unknown>): Record<string, unknown> {\n  assertLibConforms(ns)\n  const out: Record<string, unknown> = {}\n  for (const [name, v] of Object.entries(ns)) {\n    if (typeof v !== 'function') { out[name] = v; continue }\n    if ((v as unknown as Record<string, unknown>)[DUAL_OP_META]) { out[name] = v; continue }\n    out[name] = compatOp(v as (...a: unknown[]) => unknown, {\n      name,\n      outputs: (v as OutputsCarrier).outputs, // only fn.outputs; no other annotation name is recognized (§3.6)\n    })\n  }\n  return out\n}"]}
+{"version":3,"file":"admit-compat-lib.js","sourceRoot":"","sources":["../../src/cad-runtime/admit-compat-lib.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AAmBpD;;;;;;GAMG;AAEH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,cAAc,CAAC,EAA2B,EAAE,OAA0B;IACpF,iBAAiB,CAAC,EAAE,CAAC,CAAA;IACrB,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,KAAK,UAAU,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAC,SAAQ;QAAC,CAAC;QACxD,IAAK,CAAwC,CAAC,YAAY,CAAC,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAC,SAAQ;QAAC,CAAC;QACxF,MAAM,QAAQ,GAAI,CAAmB,CAAC,MAAM,IAAI,OAAO,EAAE,MAAM,CAAA;QAC/D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,mDAAmD;gBAChF,wFAAwF;gBACxF,2FAA2F;gBAC3F,6FAA6F,CAC9F,CAAA;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAiC,EAAE;YACtD,IAAI;YACJ,OAAO,EAAG,CAAoB,CAAC,OAAO,EAAE,iEAAiE;YACzG,MAAM,EAAE,QAAQ;SACjB,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC","sourcesContent":["/**\n * admit-compat-lib — registerLib's admission-stage enhancement (B4 fix).\n *\n * Design: docs/plans/2026-09-03-faijs-brepjs-compat-api.md §4.3.3\n *\n * Hard ordering constraint: assertLibConforms runs BEFORE wrapping — DUAL_OP_META\n * hangs on the function object with enumerable:false (define-op.ts) and\n * assertLibConforms iterates values via Object.values to judge metadata; a\n * wrap-first admission would let bare functions silently skip the whole strict\n * validation pass (verified in practice, R8).\n *\n * Multi-output annotation: the only contract name is `fn.outputs` (the\n * `outputs` defineOp option); the legacy name is deleted repo-wide.\n *\n * @module\n */\n\nimport { assertLibConforms, DUAL_OP_META } from '../define-op'\nimport { compatOp } from '../api/internal/compat-op'\nimport type { Provenance } from '../topology/naming/lineage'\n\ntype OutputsCarrier = { outputs?: string[] }\n\n/**\n * Function-level naming annotation (Phase 2.11-①): the only contract name is\n * `fn.naming` (mirrors `fn.outputs`). A library author attaches a `Provenance`\n * to a bare exported function so the lifter records the op's true face-mapping\n * category instead of the blanket `unmodeled` default.\n */\ntype NamingCarrier = { naming?: Provenance }\n\n/** Library-level naming default (registerLib option; per-function `fn.naming` wins). */\nexport interface LibNamingOptions {\n  /** Default provenance for bare functions that carry no `fn.naming`. */\n  naming?: Provenance\n}\n\n/**\n * Phase 2.11-③（D11 裁决）：blanket 默认已废除。裸函数既无 `fn.naming` 也无库级\n * `options.naming` 时**硬失败**——「能力缺口的正解是补能力或报错，不是加旁路开关」\n * （项目红线）。曾经这里硬编码一条 `unmodeled: 'bare function lift, provenance\n * not declared'` 兜底，正是 D11 否决的那个旁路；三库显式声明（2.11-②）落地后，\n * 它没有存在的理由。\n */\n\n/**\n * Establish an admission-stage wrapper namespace for registerLib.\n *\n * Non-functions (contractVersion / resource objects) and native dual-ops\n * (already carrying DUAL_OP_META) pass through just as they are; any bare\n * function is lifted through compatOp so it cannot silently bypass the\n * statement-level boundary contract (B4).\n *\n * Naming declaration precedence (Phase 2.11-①/③): `fn.naming` (function-level)\n * → `options.naming` (library-level default) → **hard fail** (no default value).\n *\n * @param ns the library namespace object being registered.\n * @param options admission options (library-level naming default).\n * @returns the admitted namespace (bare functions replaced by compatOp facades).\n * @throws Error when a bare function has neither `fn.naming` nor a library-level default.\n */\nexport function admitCompatLib(ns: Record<string, unknown>, options?: LibNamingOptions): Record<string, unknown> {\n  assertLibConforms(ns)\n  const out: Record<string, unknown> = {}\n  for (const [name, v] of Object.entries(ns)) {\n    if (typeof v !== 'function') { out[name] = v; continue }\n    if ((v as unknown as Record<string, unknown>)[DUAL_OP_META]) { out[name] = v; continue }\n    const declared = (v as NamingCarrier).naming ?? options?.naming\n    if (!declared) {\n      throw new Error(\n        `[faijs] lib function '${name}' is a bare function with no naming declaration. ` +\n        `Attach fn.naming (Provenance) to the function, or pass registerLib(..., { naming }) / ` +\n        `declare \"faijs\": { \"naming\": { \"kind\": \"unmodeled\", \"reason\": \"...\" } } in package.json. ` +\n        `Undeclared provenance is a hard error (Phase 2.11-③ / plan D11): no blanket default exists.`,\n      )\n    }\n    out[name] = compatOp(v as (...a: unknown[]) => unknown, {\n      name,\n      outputs: (v as OutputsCarrier).outputs, // only fn.outputs; no other annotation name is recognized (§3.6)\n      naming: declared,\n    })\n  }\n  return out\n}"]}

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

@@ -13,11 +13,48 @@
  * 不依赖 cad-runtime 的任何其他模块，因此不构成循环。
  * P4b（可选）把函数拆成 brep/mesh 双实现后，此依赖会自然消失。
  */
+import type { BrepEvolutionKind } from '../brep/engine/types.js';
 import type { Shape } from '../mesh/types.js';
 /** 静态判定的两个可能结果：走 BREP 链或 mesh 链。 */
 export type BrepPath = 'brep' | 'mesh';
-/** 能力名（对应 §7.5 BrepCapabilities 的布尔字段；能力路由 §8.4 用）。 */
-export type BrepCapabilityName = 'evolution' | 'heal' | 'directEdit' | 'advSurface' | 'assembly' | 'meshLift';
+/**
+ * 能力名：族级布尔位（`BrepCapabilities` 里类型为 boolean 的字段）**加上**逐核函数的
+ * 面演化名（`BrepEvolutionKind`，`evolution` 名单里的条目）。
+ *
+ * ⚠️ `'evolution'` 已从本联合中**移除**（2026-09-22 Phase 0.2）：它曾是"面演化族"的
+ * 族级名，但族级声明会多报能力（内核可只提供部分 `*WithHistory`）→ 静态判定失效。
+ * op 现在必须声明**具体**要哪个核函数（如 `['cut']`），引擎声明**具体**提供哪些
+ * （`evolution: ['fuse','cut','fillet']`）。见 `brep/engine/types.ts` 的 `BrepEvolutionKind`。
+ */
+export type BrepCapabilityName = 'heal' | 'directEdit' | 'advSurface' | 'assembly' | 'meshLift' | BrepEvolutionKind;
+/**
+ * 引擎能力声明的宽松镜像（`runtime-state.Backends.config.brepCapabilities` 同构；
+ * 该模块须零依赖，故不复用 `BrepCapabilities`）。
+ */
+export interface EngineCapabilitiesLike {
+    /** 本引擎实际提供的 `*WithHistory` 核函数名。 */
+    evolution?: readonly string[];
+    heal?: boolean;
+    directEdit?: boolean;
+    advSurface?: boolean;
+    assembly?: boolean;
+    meshLift?: boolean;
+}
+/**
+ * 引擎能力声明 → 受支持能力名集合（族级布尔位 + `evolution` 名单展开成逐个核函数名）。
+ * @param caps - 当前引擎的能力声明（缺省 = 空集，即什么都不支持）。
+ * @returns 该引擎声明支持的 `BrepCapabilityName` 集合。
+ */
+export declare function engineCapabilitySet(caps: EngineCapabilitiesLike | undefined): ReadonlySet<string>;
+/**
+ * 声明列表中第一个**当前引擎不具备**的能力名（全具备则 `undefined`）。
+ *
+ * 读的是运行时配置里的能力声明（与 `dispatchPath` 同一来源），因此调用点与分派点
+ * 对"缺哪个能力"的判断必然一致——不会出现"defineOp 认为缺 evolution、dispatch 认为具备"。
+ * @param declared - op 声明的能力名列表（来自 `DualOpMeta.capabilities`）。
+ * @returns 第一个缺失的能力名，或 undefined。
+ */
+export declare function firstMissingCapability(declared: readonly BrepCapabilityName[] | undefined): BrepCapabilityName | undefined;
 /**
  * Decide whether this invocation takes the BREP or the mesh backend path.
  *
@@ -35,7 +72,11 @@ export type BrepCapabilityName = 'evolution' | 'heal' | 'directEdit' | 'advSurfa
  * Capability routing (requiredCapability): when the current engine (registry)
  * lacks a declared capability, brep mode throws a BrepUnsupportedError (an
  * explicit error, never a silent fallback) while auto mode statically degrades
- * to mesh (never fabricating a missing capability).
+ * to mesh (never fabricating a missing capability). The capability is matched
+ * against the engine's declaration as a set of concrete names: family booleans
+ * plus the engine's `evolution` list of `*WithHistory` kernel function names
+ * (Phase 0.2 — a family-level `evolution: true` would over-report, since a
+ * kernel may provide only a subset of the evolution family).
  *
  * Red line unchanged: static dispatch, no runtime try-catch fallback. The
  * decision happens before the implementation runs and is never revised after a

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

@@ -1 +1 @@
-{"version":3,"file":"backend-dispatch.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/backend-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAE1C,oCAAoC;AACpC,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAA;AAEtC,uDAAuD;AACvD,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,MAAM,GACN,YAAY,GACZ,YAAY,GACZ,UAAU,GACV,UAAU,CAAA;AAEd;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE;IAAE,IAAI,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,EACzC,kBAAkB,CAAC,EAAE,kBAAkB,GACtC,QAAQ,CA+CV"}
+{"version":3,"file":"backend-dispatch.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/backend-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAE1C,oCAAoC;AACpC,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAA;AAEtC;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,YAAY,GAAG,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,iBAAiB,CAAA;AAEnH;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,oCAAoC;IACpC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,sBAAsB,GAAG,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAUjG;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,GAAG,SAAS,GAClD,kBAAkB,GAAG,SAAS,CAIhC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE;IAAE,IAAI,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,EACzC,kBAAkB,CAAC,EAAE,kBAAkB,GACtC,QAAQ,CAiDV"}

package/dist/cad-runtime/backend-dispatch.js

@@ -15,6 +15,43 @@
  */
 import { getBackends, getCurrentStmt, BrepUnsupportedError, MeshUnsupportedError } from '../runtime-state.js';
 import { hasBrep } from '../shape.js';
+/**
+ * 引擎能力声明 → 受支持能力名集合（族级布尔位 + `evolution` 名单展开成逐个核函数名）。
+ * @param caps - 当前引擎的能力声明（缺省 = 空集，即什么都不支持）。
+ * @returns 该引擎声明支持的 `BrepCapabilityName` 集合。
+ */
+export function engineCapabilitySet(caps) {
+    const set = new Set();
+    if (!caps)
+        return set;
+    for (const kind of caps.evolution ?? [])
+        set.add(kind);
+    if (caps.heal)
+        set.add('heal');
+    if (caps.directEdit)
+        set.add('directEdit');
+    if (caps.advSurface)
+        set.add('advSurface');
+    if (caps.assembly)
+        set.add('assembly');
+    if (caps.meshLift)
+        set.add('meshLift');
+    return set;
+}
+/**
+ * 声明列表中第一个**当前引擎不具备**的能力名（全具备则 `undefined`）。
+ *
+ * 读的是运行时配置里的能力声明（与 `dispatchPath` 同一来源），因此调用点与分派点
+ * 对"缺哪个能力"的判断必然一致——不会出现"defineOp 认为缺 evolution、dispatch 认为具备"。
+ * @param declared - op 声明的能力名列表（来自 `DualOpMeta.capabilities`）。
+ * @returns 第一个缺失的能力名，或 undefined。
+ */
+export function firstMissingCapability(declared) {
+    if (!declared?.length)
+        return undefined;
+    const supported = engineCapabilitySet(getBackends().config.brepCapabilities);
+    return declared.find((cap) => !supported.has(cap));
+}
 /**
  * Decide whether this invocation takes the BREP or the mesh backend path.
  *
@@ -32,7 +69,11 @@ import { hasBrep } from '../shape.js';
  * Capability routing (requiredCapability): when the current engine (registry)
  * lacks a declared capability, brep mode throws a BrepUnsupportedError (an
  * explicit error, never a silent fallback) while auto mode statically degrades
- * to mesh (never fabricating a missing capability).
+ * to mesh (never fabricating a missing capability). The capability is matched
+ * against the engine's declaration as a set of concrete names: family booleans
+ * plus the engine's `evolution` list of `*WithHistory` kernel function names
+ * (Phase 0.2 — a family-level `evolution: true` would over-report, since a
+ * kernel may provide only a subset of the evolution family).
  *
  * Red line unchanged: static dispatch, no runtime try-catch fallback. The
  * decision happens before the implementation runs and is never revised after a
@@ -57,6 +98,8 @@ export function dispatchPath(inputs, impls, requiredCapability) {
         return 'mesh';
     }
     const currentStmt = getCurrentStmt();
+    // 引擎能力声明 → 具体能力名集合（族级布尔位 + evolution 名单逐核函数展开）。
+    const supported = engineCapabilitySet(config.brepCapabilities);
     if (config.mode === 'brep') {
         if (!impls.brep) {
             throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: function has no BREP implementation', currentStmt);
@@ -65,13 +108,13 @@ export function dispatchPath(inputs, impls, requiredCapability) {
             throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: input is not BREP', currentStmt);
         }
         // 能力路由：brep 模式缺能力 → 明确报错，不静默回退
-        if (requiredCapability && !config.brepCapabilities?.[requiredCapability]) {
+        if (requiredCapability && !supported.has(requiredCapability)) {
             throw new BrepUnsupportedError(`E_BREP_UNSUPPORTED: current engine lacks capability '${requiredCapability}' (brepEngineId=${config.brepEngineId ?? '<none>'})`, currentStmt);
         }
         return 'brep';
     }
     // auto 模式：能力路由（缺能力 → 静态降级走 mesh；brep-only 无 mesh 可降 → 明确报错）
-    if (requiredCapability && !config.brepCapabilities?.[requiredCapability]) {
+    if (requiredCapability && !supported.has(requiredCapability)) {
         if (!impls.mesh) {
             throw new MeshUnsupportedError(`E_MESH_UNSUPPORTED: current engine lacks capability '${requiredCapability}' and function has no mesh implementation`, currentStmt);
         }

package/dist/cad-runtime/backend-dispatch.js.map

@@ -1 +1 @@
-{"version":3,"file":"backend-dispatch.js","sourceRoot":"","sources":["../../src/cad-runtime/backend-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AAC1G,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAelC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAe,EACf,KAAyC,EACzC,kBAAuC;IAEvC,MAAM,EAAE,MAAM,EAAE,GAAG,WAAW,EAAE,CAAA;IAEhC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,yDAAyD,EAAE,cAAc,EAAE,CAAC,CAAA;QAC7G,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IACD,MAAM,WAAW,GAAG,cAAc,EAAE,CAAA;IAEpC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,yDAAyD,EAAE,WAAW,CAAC,CAAA;QACxG,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,oBAAoB,CAAC,uCAAuC,EAAE,WAAW,CAAC,CAAA;QACtF,CAAC;QACD,+BAA+B;QAC/B,IAAI,kBAAkB,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,oBAAoB,CAC5B,wDAAwD,kBAAkB,mBAAmB,MAAM,CAAC,YAAY,IAAI,QAAQ,GAAG,EAC/H,WAAW,CACZ,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,4DAA4D;IAC5D,IAAI,kBAAkB,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACzE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAC5B,wDAAwD,kBAAkB,2CAA2C,EACrH,WAAW,CACZ,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAA;IACtD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,MAAM,IAAI,oBAAoB,CAC5B,+EAA+E,EAC/E,WAAW,CACZ,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC","sourcesContent":["/**\n * backend-dispatch — BREP/mesh 路径静态判定（引擎侧）\n *\n *\n * 红线（AGENTS.md）：BREP 链是否可用，由静态规则在执行前判定，\n * **禁止运行时 try-catch 回退**。BREP 路径抛异常 = 设计缺陷或 bug，必须直接报错暴露。\n *\n * 本文件从 src/stdlib/internal/resolve-path.ts 迁移而来：判定是引擎的职责，\n * 不该由每个库函数各自调用。\n *\n * ⚠️ 分层例外：本文件位于 cad-runtime/ 但被 stdlib/ import。\n * 这是安全的——它只依赖 runtime-state / stdlib/shape / mesh/types，\n * 不依赖 cad-runtime 的任何其他模块，因此不构成循环。\n * P4b（可选）把函数拆成 brep/mesh 双实现后，此依赖会自然消失。\n */\n\nimport { getBackends, getCurrentStmt, BrepUnsupportedError, MeshUnsupportedError } from '../runtime-state'\nimport { hasBrep } from '../shape'\nimport type { Shape } from '../mesh/types'\n\n/** 静态判定的两个可能结果：走 BREP 链或 mesh 链。 */\nexport type BrepPath = 'brep' | 'mesh'\n\n/** 能力名（对应 §7.5 BrepCapabilities 的布尔字段；能力路由 §8.4 用）。 */\nexport type BrepCapabilityName =\n  | 'evolution'\n  | 'heal'\n  | 'directEdit'\n  | 'advSurface'\n  | 'assembly'\n  | 'meshLift'\n\n/**\n * Decide whether this invocation takes the BREP or the mesh backend path.\n *\n * Bidirectional dispatch (defineOp contract, D1/D1b/D2):\n * - `impls` carries mesh/brep implementation presence (function reference or\n *   undefined, fixed at defineOp construction — static).\n * - `mode='mesh'` → always mesh; missing mesh implementation (brep-only)\n *   throws `MeshUnsupportedError`.\n * - `mode='brep'` → missing brep / input off chain / missing capability throws\n *   `BrepUnsupportedError`.\n * - `mode='auto'` → brep when brep exists and all inputs are on the chain;\n *   otherwise mesh when mesh exists; brep-only with a broken input chain (or\n *   missing capability) throws `MeshUnsupportedError` — no mesh to fall back to.\n *\n * Capability routing (requiredCapability): when the current engine (registry)\n * lacks a declared capability, brep mode throws a BrepUnsupportedError (an\n * explicit error, never a silent fallback) while auto mode statically degrades\n * to mesh (never fabricating a missing capability).\n *\n * Red line unchanged: static dispatch, no runtime try-catch fallback. The\n * decision happens before the implementation runs and is never revised after a\n * failed execution.\n *\n * Third-party library authors never call this directly — `defineOp` (SDK)\n * invokes it inside its wrapper; authors only declare the implementation set.\n * @param inputs - the shapes feeding the operation, used to test whether all\n * lie on the BREP chain.\n * @param impls - the operation's implementation set: `mesh`/`brep` presence\n * (function reference or undefined; fixed at defineOp construction).\n * @param requiredCapability - an optional capability the operation declares;\n * a missing capability routes the dispatch.\n * @returns the selected backend path: 'brep' or 'mesh'.\n */\nexport function dispatchPath(\n  inputs: Shape[],\n  impls: { mesh?: unknown; brep?: unknown },\n  requiredCapability?: BrepCapabilityName,\n): BrepPath {\n  const { config } = getBackends()\n\n  if (config.mode === 'mesh') {\n    if (!impls.mesh) {\n      throw new MeshUnsupportedError('E_MESH_UNSUPPORTED: function has no mesh implementation', getCurrentStmt())\n    }\n    return 'mesh'\n  }\n  const currentStmt = getCurrentStmt()\n\n  if (config.mode === 'brep') {\n    if (!impls.brep) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: function has no BREP implementation', currentStmt)\n    }\n    if (!inputs.every(hasBrep)) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: input is not BREP', currentStmt)\n    }\n    // 能力路由：brep 模式缺能力 → 明确报错，不静默回退\n    if (requiredCapability && !config.brepCapabilities?.[requiredCapability]) {\n      throw new BrepUnsupportedError(\n        `E_BREP_UNSUPPORTED: current engine lacks capability '${requiredCapability}' (brepEngineId=${config.brepEngineId ?? '<none>'})`,\n        currentStmt,\n      )\n    }\n    return 'brep'\n  }\n\n  // auto 模式：能力路由（缺能力 → 静态降级走 mesh；brep-only 无 mesh 可降 → 明确报错）\n  if (requiredCapability && !config.brepCapabilities?.[requiredCapability]) {\n    if (!impls.mesh) {\n      throw new MeshUnsupportedError(\n        `E_MESH_UNSUPPORTED: current engine lacks capability '${requiredCapability}' and function has no mesh implementation`,\n        currentStmt,\n      )\n    }\n    return 'mesh'\n  }\n\n  if (impls.brep && inputs.every(hasBrep)) return 'brep'\n  if (!impls.mesh) {\n    throw new MeshUnsupportedError(\n      'E_MESH_UNSUPPORTED: input is not BREP and function has no mesh implementation',\n      currentStmt,\n    )\n  }\n  return 'mesh'\n}\n"]}
+{"version":3,"file":"backend-dispatch.js","sourceRoot":"","sources":["../../src/cad-runtime/backend-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AAC1G,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAgClC;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAwC;IAC1E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAA;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACtD,IAAI,IAAI,CAAC,IAAI;QAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,IAAI,IAAI,CAAC,UAAU;QAAE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC1C,IAAI,IAAI,CAAC,UAAU;QAAE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC1C,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACtC,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACtC,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAAmD;IAEnD,IAAI,CAAC,QAAQ,EAAE,MAAM;QAAE,OAAO,SAAS,CAAA;IACvC,MAAM,SAAS,GAAG,mBAAmB,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IAC5E,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AACpD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAe,EACf,KAAyC,EACzC,kBAAuC;IAEvC,MAAM,EAAE,MAAM,EAAE,GAAG,WAAW,EAAE,CAAA;IAEhC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,yDAAyD,EAAE,cAAc,EAAE,CAAC,CAAA;QAC7G,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IACD,MAAM,WAAW,GAAG,cAAc,EAAE,CAAA;IACpC,gDAAgD;IAChD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IAE9D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,yDAAyD,EAAE,WAAW,CAAC,CAAA;QACxG,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,oBAAoB,CAAC,uCAAuC,EAAE,WAAW,CAAC,CAAA;QACtF,CAAC;QACD,+BAA+B;QAC/B,IAAI,kBAAkB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,oBAAoB,CAC5B,wDAAwD,kBAAkB,mBAAmB,MAAM,CAAC,YAAY,IAAI,QAAQ,GAAG,EAC/H,WAAW,CACZ,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,4DAA4D;IAC5D,IAAI,kBAAkB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAC5B,wDAAwD,kBAAkB,2CAA2C,EACrH,WAAW,CACZ,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAA;IACtD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,MAAM,IAAI,oBAAoB,CAC5B,+EAA+E,EAC/E,WAAW,CACZ,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC","sourcesContent":["/**\n * backend-dispatch — BREP/mesh 路径静态判定（引擎侧）\n *\n *\n * 红线（AGENTS.md）：BREP 链是否可用，由静态规则在执行前判定，\n * **禁止运行时 try-catch 回退**。BREP 路径抛异常 = 设计缺陷或 bug，必须直接报错暴露。\n *\n * 本文件从 src/stdlib/internal/resolve-path.ts 迁移而来：判定是引擎的职责，\n * 不该由每个库函数各自调用。\n *\n * ⚠️ 分层例外：本文件位于 cad-runtime/ 但被 stdlib/ import。\n * 这是安全的——它只依赖 runtime-state / stdlib/shape / mesh/types，\n * 不依赖 cad-runtime 的任何其他模块，因此不构成循环。\n * P4b（可选）把函数拆成 brep/mesh 双实现后，此依赖会自然消失。\n */\n\nimport { getBackends, getCurrentStmt, BrepUnsupportedError, MeshUnsupportedError } from '../runtime-state'\nimport { hasBrep } from '../shape'\nimport type { BrepEvolutionKind } from '../brep/engine/types'\nimport type { Shape } from '../mesh/types'\n\n/** 静态判定的两个可能结果：走 BREP 链或 mesh 链。 */\nexport type BrepPath = 'brep' | 'mesh'\n\n/**\n * 能力名：族级布尔位（`BrepCapabilities` 里类型为 boolean 的字段）**加上**逐核函数的\n * 面演化名（`BrepEvolutionKind`，`evolution` 名单里的条目）。\n *\n * ⚠️ `'evolution'` 已从本联合中**移除**（2026-09-22 Phase 0.2）：它曾是\"面演化族\"的\n * 族级名，但族级声明会多报能力（内核可只提供部分 `*WithHistory`）→ 静态判定失效。\n * op 现在必须声明**具体**要哪个核函数（如 `['cut']`），引擎声明**具体**提供哪些\n * （`evolution: ['fuse','cut','fillet']`）。见 `brep/engine/types.ts` 的 `BrepEvolutionKind`。\n */\nexport type BrepCapabilityName = 'heal' | 'directEdit' | 'advSurface' | 'assembly' | 'meshLift' | BrepEvolutionKind\n\n/**\n * 引擎能力声明的宽松镜像（`runtime-state.Backends.config.brepCapabilities` 同构；\n * 该模块须零依赖，故不复用 `BrepCapabilities`）。\n */\nexport interface EngineCapabilitiesLike {\n  /** 本引擎实际提供的 `*WithHistory` 核函数名。 */\n  evolution?: readonly string[]\n  heal?: boolean\n  directEdit?: boolean\n  advSurface?: boolean\n  assembly?: boolean\n  meshLift?: boolean\n}\n\n/**\n * 引擎能力声明 → 受支持能力名集合（族级布尔位 + `evolution` 名单展开成逐个核函数名）。\n * @param caps - 当前引擎的能力声明（缺省 = 空集，即什么都不支持）。\n * @returns 该引擎声明支持的 `BrepCapabilityName` 集合。\n */\nexport function engineCapabilitySet(caps: EngineCapabilitiesLike | undefined): ReadonlySet<string> {\n  const set = new Set<string>()\n  if (!caps) return set\n  for (const kind of caps.evolution ?? []) set.add(kind)\n  if (caps.heal) set.add('heal')\n  if (caps.directEdit) set.add('directEdit')\n  if (caps.advSurface) set.add('advSurface')\n  if (caps.assembly) set.add('assembly')\n  if (caps.meshLift) set.add('meshLift')\n  return set\n}\n\n/**\n * 声明列表中第一个**当前引擎不具备**的能力名（全具备则 `undefined`）。\n *\n * 读的是运行时配置里的能力声明（与 `dispatchPath` 同一来源），因此调用点与分派点\n * 对\"缺哪个能力\"的判断必然一致——不会出现\"defineOp 认为缺 evolution、dispatch 认为具备\"。\n * @param declared - op 声明的能力名列表（来自 `DualOpMeta.capabilities`）。\n * @returns 第一个缺失的能力名，或 undefined。\n */\nexport function firstMissingCapability(\n  declared: readonly BrepCapabilityName[] | undefined,\n): BrepCapabilityName | undefined {\n  if (!declared?.length) return undefined\n  const supported = engineCapabilitySet(getBackends().config.brepCapabilities)\n  return declared.find((cap) => !supported.has(cap))\n}\n\n/**\n * Decide whether this invocation takes the BREP or the mesh backend path.\n *\n * Bidirectional dispatch (defineOp contract, D1/D1b/D2):\n * - `impls` carries mesh/brep implementation presence (function reference or\n *   undefined, fixed at defineOp construction — static).\n * - `mode='mesh'` → always mesh; missing mesh implementation (brep-only)\n *   throws `MeshUnsupportedError`.\n * - `mode='brep'` → missing brep / input off chain / missing capability throws\n *   `BrepUnsupportedError`.\n * - `mode='auto'` → brep when brep exists and all inputs are on the chain;\n *   otherwise mesh when mesh exists; brep-only with a broken input chain (or\n *   missing capability) throws `MeshUnsupportedError` — no mesh to fall back to.\n *\n * Capability routing (requiredCapability): when the current engine (registry)\n * lacks a declared capability, brep mode throws a BrepUnsupportedError (an\n * explicit error, never a silent fallback) while auto mode statically degrades\n * to mesh (never fabricating a missing capability). The capability is matched\n * against the engine's declaration as a set of concrete names: family booleans\n * plus the engine's `evolution` list of `*WithHistory` kernel function names\n * (Phase 0.2 — a family-level `evolution: true` would over-report, since a\n * kernel may provide only a subset of the evolution family).\n *\n * Red line unchanged: static dispatch, no runtime try-catch fallback. The\n * decision happens before the implementation runs and is never revised after a\n * failed execution.\n *\n * Third-party library authors never call this directly — `defineOp` (SDK)\n * invokes it inside its wrapper; authors only declare the implementation set.\n * @param inputs - the shapes feeding the operation, used to test whether all\n * lie on the BREP chain.\n * @param impls - the operation's implementation set: `mesh`/`brep` presence\n * (function reference or undefined; fixed at defineOp construction).\n * @param requiredCapability - an optional capability the operation declares;\n * a missing capability routes the dispatch.\n * @returns the selected backend path: 'brep' or 'mesh'.\n */\nexport function dispatchPath(\n  inputs: Shape[],\n  impls: { mesh?: unknown; brep?: unknown },\n  requiredCapability?: BrepCapabilityName,\n): BrepPath {\n  const { config } = getBackends()\n\n  if (config.mode === 'mesh') {\n    if (!impls.mesh) {\n      throw new MeshUnsupportedError('E_MESH_UNSUPPORTED: function has no mesh implementation', getCurrentStmt())\n    }\n    return 'mesh'\n  }\n  const currentStmt = getCurrentStmt()\n  // 引擎能力声明 → 具体能力名集合（族级布尔位 + evolution 名单逐核函数展开）。\n  const supported = engineCapabilitySet(config.brepCapabilities)\n\n  if (config.mode === 'brep') {\n    if (!impls.brep) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: function has no BREP implementation', currentStmt)\n    }\n    if (!inputs.every(hasBrep)) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: input is not BREP', currentStmt)\n    }\n    // 能力路由：brep 模式缺能力 → 明确报错，不静默回退\n    if (requiredCapability && !supported.has(requiredCapability)) {\n      throw new BrepUnsupportedError(\n        `E_BREP_UNSUPPORTED: current engine lacks capability '${requiredCapability}' (brepEngineId=${config.brepEngineId ?? '<none>'})`,\n        currentStmt,\n      )\n    }\n    return 'brep'\n  }\n\n  // auto 模式：能力路由（缺能力 → 静态降级走 mesh；brep-only 无 mesh 可降 → 明确报错）\n  if (requiredCapability && !supported.has(requiredCapability)) {\n    if (!impls.mesh) {\n      throw new MeshUnsupportedError(\n        `E_MESH_UNSUPPORTED: current engine lacks capability '${requiredCapability}' and function has no mesh implementation`,\n        currentStmt,\n      )\n    }\n    return 'mesh'\n  }\n\n  if (impls.brep && inputs.every(hasBrep)) return 'brep'\n  if (!impls.mesh) {\n    throw new MeshUnsupportedError(\n      'E_MESH_UNSUPPORTED: input is not BREP and function has no mesh implementation',\n      currentStmt,\n    )\n  }\n  return 'mesh'\n}\n"]}

package/dist/cad-runtime/browser-lib-loader.d.ts

@@ -32,6 +32,8 @@ export declare const DEFAULT_CDN_BASE = "https://cdn.jsdelivr.net/npm/";
 export interface BrowserLibMeta {
     /** `package.json` 的 `faijs.autoLift` 外置字段（D3-autoLift）。 */
     autoLift?: boolean;
+    /** Phase 2.11-②：`package.json` 的 `faijs.naming` 外置字段（库级 provenance 声明）。 */
+    naming?: import('../topology/naming/lineage.js').Provenance;
 }
 /** `createBrowserLibLoader` 的选项。 */
 export interface CreateBrowserLibLoaderOptions {

package/dist/cad-runtime/browser-lib-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"browser-lib-loader.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/browser-lib-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAGxC,uDAAuD;AACvD,eAAO,MAAM,gBAAgB,kCAAkC,CAAA;AAE/D,qCAAqC;AACrC,MAAM,WAAW,cAAc;IAC7B,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AAED,oCAAoC;AACpC,MAAM,WAAW,6BAA6B;IAC5C,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjC,qFAAqF;IACrF,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,0CAA0C;IAC1C,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;IACf,sDAAsD;IACtD,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IACrC,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,2DAA2D;IAC3D,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,+CAA+C;IAC/C,YAAY,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IAChD,uEAAuE;IACvE,SAAS,CAAC,EAAE,OAAO,KAAK,CAAA;CACzB;AAED,oCAAoC;AACpC,MAAM,WAAW,gBAAiB,SAAQ,SAAS;IACjD;;;;OAIG;IACH,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;CAC9B;AAOD;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,GAAE,6BAAkC,GAAG,gBAAgB,CA2EjG"}
+{"version":3,"file":"browser-lib-loader.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/browser-lib-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAGxC,uDAAuD;AACvD,eAAO,MAAM,gBAAgB,kCAAkC,CAAA;AAE/D,qCAAqC;AACrC,MAAM,WAAW,cAAc;IAC7B,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,2EAA2E;IAC3E,MAAM,CAAC,EAAE,OAAO,4BAA4B,EAAE,UAAU,CAAA;CACzD;AAED,oCAAoC;AACpC,MAAM,WAAW,6BAA6B;IAC5C,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjC,qFAAqF;IACrF,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,0CAA0C;IAC1C,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;IACf,sDAAsD;IACtD,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IACrC,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,2DAA2D;IAC3D,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,+CAA+C;IAC/C,YAAY,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IAChD,uEAAuE;IACvE,SAAS,CAAC,EAAE,OAAO,KAAK,CAAA;CACzB;AAED,oCAAoC;AACpC,MAAM,WAAW,gBAAiB,SAAQ,SAAS;IACjD;;;;OAIG;IACH,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;CAC9B;AAOD;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,GAAE,6BAAkC,GAAG,gBAAgB,CAiFjG"}

package/dist/cad-runtime/browser-lib-loader.js

@@ -85,6 +85,8 @@ export function createBrowserLibLoader(opts = {}) {
             ...(opts.autoLift === undefined ? {} : { autoLift: opts.autoLift }),
             // 逐库 autoLift 优先于全局：未声明 → undefined → 回落全局 / runtime 推断式。
             autoLiftFor: (name) => meta[pkgOf(name)]?.autoLift,
+            // Phase 2.11-②：逐库 naming（lib-meta.json 的 faijs.naming），未声明 → undefined → blanket 兜底。
+            namingFor: (name) => meta[pkgOf(name)]?.naming,
         },
         prefetchMeta: async () => {
             if (!fetchImpl)
@@ -100,8 +102,14 @@ export function createBrowserLibLoader(opts = {}) {
                         return;
                     const pj = (await res.json());
                     const lifted = pj.faijs?.autoLift;
+                    const naming = pj.faijs?.naming;
+                    const entry = {};
                     if (typeof lifted === 'boolean')
-                        meta[pkg] = { autoLift: lifted };
+                        entry.autoLift = lifted;
+                    if (naming && typeof naming === 'object' && typeof naming.kind === 'string')
+                        entry.naming = naming;
+                    if (entry.autoLift !== undefined || entry.naming !== undefined)
+                        meta[pkg] = entry;
                 }
                 catch {
                     // 网络不可达 / 非法 JSON → 保持未声明，交由 runtime 推断式。

package/dist/cad-runtime/browser-lib-loader.js.map

@@ -1 +1 @@
-{"version":3,"file":"browser-lib-loader.js","sourceRoot":"","sources":["../../src/cad-runtime/browser-lib-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAKH,uDAAuD;AACvD,MAAM,CAAC,MAAM,gBAAgB,GAAG,+BAA+B,CAAA;AAwC/D,0DAA0D;AAC1D,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAA;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAsC,EAAE;IAC7E,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,IAAI,gBAAgB,CAAC,CAAA;IACnE,MAAM,OAAO,GAA2B,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAA;IACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACxD,MAAM,IAAI,GAAmC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAA;IACrE,MAAM,YAAY,GAChB,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,GAAW,EAAoB,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAA;IAC1F,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAEtF,0BAA0B;IAC1B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;IAE7D,gEAAgE;IAChE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS;QACjC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QACvB,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QACpB,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;KAC/B,CAAC,CAAA;IAEF,uCAAuC;IACvC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAsB,EAAE;QAChD,IAAI,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAA;QACzC,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;QACzB,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACrD,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC,CAAA;IAE3D,OAAO;QACL,OAAO,EAAE,CAAC,IAAY,EAA4B,EAAE;YAClD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;YACvB,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,OAAO,CAAC,MAAM,CACnB,IAAI,KAAK,CAAC,YAAY,GAAG,sBAAsB,IAAI,4CAA4C,CAAC,CACjG,CAAA;YACH,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC/B,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAA;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;YACtB,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAsB,CAAC,CAAA;YAC1E,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YACrB,2BAA2B;YAC3B,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;YACpC,OAAO,GAAG,CAAA;QACZ,CAAC;QAED,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC;QAE/B,OAAO,EAAE;YACP,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnE,0DAA0D;YAC1D,WAAW,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ;SAC3D;QAED,YAAY,EAAE,KAAK,IAAmB,EAAE;YACtC,IAAI,CAAC,SAAS;gBAAE,OAAM;YACtB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;YACxD,MAAM,OAAO,CAAC,GAAG,CACf,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;gBAC1B,IAAI,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAM;gBACrB,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;gBACzB,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAA;oBAC/E,IAAI,CAAC,GAAG,CAAC,EAAE;wBAAE,OAAM;oBACnB,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAuC,CAAA;oBACnE,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAA;oBACjC,IAAI,OAAO,MAAM,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;gBACnE,CAAC;gBAAC,MAAM,CAAC;oBACP,0CAA0C;gBAC5C,CAAC;YACH,CAAC,CAAC,CACH,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC","sourcesContent":["/**\n * browser-lib-loader — 浏览器通用 `LibLoader` 工厂（D3-Browser，§9.4）\n *\n * 与 node 侧 `cliPortsLibLoader`（`node-host/cli.ts`）对称：都实现 `LibLoader`\n * 契约（`loadLib` / `listLibs` / `options.autoLiftFor`），差别只在装载通道——\n * node 用 `import(pkg)` 从 `node_modules` 解析，浏览器用**动态 `import()`** 取 CDN。\n *\n * 两条通路（Q8 定稿的 a/b 混合，共用同一 `CDN_BASE`）：\n * - **方案 a（importmap）**：不提供 `versions` 时，用**已解析的包名**做裸 specifier\n *   动态 `import(pkg)`，由页面 `<script type=\"importmap\">` 的 scope\n *   （`\"@faicad/\": \"CDN_BASE/*@faicad/\"`）在后端按依赖图取版。零版本表，dev / playground 用。\n * - **方案 b（精确 pin）**：提供 `versions`（`versions.json`）时拼\n *   `` `${cdnBase}${pkg}@${version}/+esm` `` 直链，版本精确 pin 到已发布版本，保证\n *   可复现与缓存命中；release 产物用。\n *\n * 别名归一：脚本 specifier 常是短名（demo 的 `.fai.js` 写 `gear-lib-demo` /\n * `sheetmetal`），而 CDN 上是 npm 全名（`@faicad/gear-lib-demo`）。`aliases` 把\n * specifier 映到包名后再装载，与 node 侧 `CLI_SHORT_NAMES` 归一同一职责。\n *\n * `autoLiftFor` 是**同步**回调（`runtime.ts` 在装载后立即取值），所以逐库\n * `faijs.autoLift` 必须**预先**可用：主机从构建期产物 `lib-meta.json`\n * （`scripts/gen-importmap.mjs` 生成）经 `meta` 传入；也可调 `prefetchMeta()`\n * 在网络可达时抓各库 `package.json` 预热（失败静默回落推断式）。\n *\n * 本工厂**不**被 `createBrowserPorts` 默认装配——demo 走源码 alias 的 HMR 路径\n * 必须保持零网络；CDN 装载仅服务「从 npm 消费已发布包」的场景，由主机显式注入。\n */\n\nimport type { LibLoader } from './ports'\nimport type { StdlibNamespace } from '../runtime-state'\n\n/** 默认 CDN base（Q8 定稿：jsDelivr npm 镜像；ESM 取 `+esm`）。 */\nexport const DEFAULT_CDN_BASE = 'https://cdn.jsdelivr.net/npm/'\n\n/** 逐库元数据（与 `lib-meta.json` 键形一致）。 */\nexport interface BrowserLibMeta {\n  /** `package.json` 的 `faijs.autoLift` 外置字段（D3-autoLift）。 */\n  autoLift?: boolean\n}\n\n/** `createBrowserLibLoader` 的选项。 */\nexport interface CreateBrowserLibLoaderOptions {\n  /** CDN base，须以 `/` 结尾（缺省 `DEFAULT_CDN_BASE`）。 */\n  cdnBase?: string\n  /** 方案 b：精确 pin 的 `packageName → version`（`versions.json`）；提供即走直链。 */\n  versions?: Record<string, string>\n  /** 别名表：脚本 import specifier → npm 包名（如 `gear-lib-demo` → `@faicad/gear-lib-demo`）。 */\n  aliases?: Record<string, string>\n  /** 允许装载的 **npm 包名**白名单；缺省不限制（生产建议显式给）。 */\n  libs?: string[]\n  /** 逐库元数据（`lib-meta.json`），喂 `options.autoLiftFor`。 */\n  meta?: Record<string, BrowserLibMeta>\n  /** 全局 autoLift 缺省（喂 `options.autoLift`）；缺省交由 runtime 推断式决定。 */\n  autoLift?: boolean\n  /** 强制方案 a（即使提供了 `versions` 也用裸 specifier，依赖 importmap）。 */\n  forceImportMap?: boolean\n  /** 注入的动态 import 实现（测试用）；缺省为原生动态 `import()`。 */\n  importModule?: (url: string) => Promise<unknown>\n  /** 注入的 fetch（`prefetchMeta` 用）；缺省全局 `fetch`，无则 `prefetchMeta` 为空操作。 */\n  fetchImpl?: typeof fetch\n}\n\n/** 浏览器 `LibLoader`（在契约上附加元数据预热）。 */\nexport interface BrowserLibLoader extends LibLoader {\n  /**\n   * 抓取已知各库的 `package.json`，把 `faijs.autoLift` 填进内部 meta 缓存。\n   * 网络失败静默跳过（保持未声明 → 回落推断式）。在 `execute` 前 await 一次即可。\n   * @returns promise resolving when all known libs have been probed.\n   */\n  prefetchMeta(): Promise<void>\n}\n\n/** 归一 CDN base：保证尾随 `/`，避免拼接出 `.../npm@1.0.0` 这类坏 URL。 */\nfunction withTrailingSlash(base: string): string {\n  return base.endsWith('/') ? base : `${base}/`\n}\n\n/**\n * 创建浏览器通用 `LibLoader`。\n *\n * 装载顺序：`name` → `aliases` 归一为 npm 包名 → 白名单校验 → 方案 b 直链（有\n * `versions[pkg]` 且未 `forceImportMap`）或方案 a 裸 specifier → 动态 `import()`；\n * 同一包名并发/重复装载共享同一 in-flight promise（CDN 只取一次）。\n * @param opts - CDN base、版本表 / 别名 / 元数据，以及测试用注入点。\n * @returns 满足 `LibLoader` 契约、并附加 `prefetchMeta()` 的浏览器装载器。\n */\nexport function createBrowserLibLoader(opts: CreateBrowserLibLoaderOptions = {}): BrowserLibLoader {\n  const cdnBase = withTrailingSlash(opts.cdnBase ?? DEFAULT_CDN_BASE)\n  const aliases: Record<string, string> = { ...(opts.aliases ?? {}) }\n  const versions = opts.versions\n  const allow = opts.libs ? new Set(opts.libs) : undefined\n  const meta: Record<string, BrowserLibMeta> = { ...(opts.meta ?? {}) }\n  const importModule =\n    opts.importModule ?? ((url: string): Promise<unknown> => import(/* @vite-ignore */ url))\n  const fetchImpl = opts.fetchImpl ?? (typeof fetch !== 'undefined' ? fetch : undefined)\n\n  /** specifier → npm 包名。 */\n  const pkgOf = (name: string): string => aliases[name] ?? name\n\n  /** 已知 specifier 集合：别名键 ∪ 显式 libs ∪ 版本表键（后两者本身即合法 specifier）。 */\n  const specifiers = new Set<string>([\n    ...Object.keys(aliases),\n    ...(opts.libs ?? []),\n    ...Object.keys(versions ?? {}),\n  ])\n\n  /** 方案 b 的直链；返回 `undefined` 表示走方案 a。 */\n  const urlOf = (pkg: string): string | undefined => {\n    if (opts.forceImportMap) return undefined\n    const v = versions?.[pkg]\n    return v ? `${cdnBase}${pkg}@${v}/+esm` : undefined\n  }\n\n  const pending = new Map<string, Promise<StdlibNamespace>>()\n\n  return {\n    loadLib: (name: string): Promise<StdlibNamespace> => {\n      const pkg = pkgOf(name)\n      if (allow && !allow.has(pkg)) {\n        return Promise.reject(\n          new Error(`package \"${pkg}\" (from specifier \"${name}\") is not in the browser library whitelist`),\n        )\n      }\n      const cached = pending.get(pkg)\n      if (cached) return cached\n      const url = urlOf(pkg)\n      const job = importModule(url ?? pkg).then((mod) => mod as StdlibNamespace)\n      pending.set(pkg, job)\n      // 装载失败不留毒缓存：清掉后可重试（如网络恢复）。\n      job.catch(() => pending.delete(pkg))\n      return job\n    },\n\n    listLibs: () => [...specifiers],\n\n    options: {\n      ...(opts.autoLift === undefined ? {} : { autoLift: opts.autoLift }),\n      // 逐库 autoLift 优先于全局：未声明 → undefined → 回落全局 / runtime 推断式。\n      autoLiftFor: (name: string) => meta[pkgOf(name)]?.autoLift,\n    },\n\n    prefetchMeta: async (): Promise<void> => {\n      if (!fetchImpl) return\n      const pkgs = new Set<string>([...specifiers].map(pkgOf))\n      await Promise.all(\n        [...pkgs].map(async (pkg) => {\n          if (meta[pkg]) return\n          const v = versions?.[pkg]\n          try {\n            const res = await fetchImpl(`${cdnBase}${pkg}${v ? `@${v}` : ''}/package.json`)\n            if (!res.ok) return\n            const pj = (await res.json()) as { faijs?: { autoLift?: boolean } }\n            const lifted = pj.faijs?.autoLift\n            if (typeof lifted === 'boolean') meta[pkg] = { autoLift: lifted }\n          } catch {\n            // 网络不可达 / 非法 JSON → 保持未声明，交由 runtime 推断式。\n          }\n        }),\n      )\n    },\n  }\n}\n"]}
+{"version":3,"file":"browser-lib-loader.js","sourceRoot":"","sources":["../../src/cad-runtime/browser-lib-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAKH,uDAAuD;AACvD,MAAM,CAAC,MAAM,gBAAgB,GAAG,+BAA+B,CAAA;AA0C/D,0DAA0D;AAC1D,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAA;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAsC,EAAE;IAC7E,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,IAAI,gBAAgB,CAAC,CAAA;IACnE,MAAM,OAAO,GAA2B,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAA;IACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACxD,MAAM,IAAI,GAAmC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAA;IACrE,MAAM,YAAY,GAChB,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,GAAW,EAAoB,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAA;IAC1F,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAEtF,0BAA0B;IAC1B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;IAE7D,gEAAgE;IAChE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS;QACjC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QACvB,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QACpB,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;KAC/B,CAAC,CAAA;IAEF,uCAAuC;IACvC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAsB,EAAE;QAChD,IAAI,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAA;QACzC,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;QACzB,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACrD,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC,CAAA;IAE3D,OAAO;QACL,OAAO,EAAE,CAAC,IAAY,EAA4B,EAAE;YAClD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;YACvB,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,OAAO,CAAC,MAAM,CACnB,IAAI,KAAK,CAAC,YAAY,GAAG,sBAAsB,IAAI,4CAA4C,CAAC,CACjG,CAAA;YACH,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC/B,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAA;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;YACtB,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAsB,CAAC,CAAA;YAC1E,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YACrB,2BAA2B;YAC3B,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;YACpC,OAAO,GAAG,CAAA;QACZ,CAAC;QAED,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC;QAE/B,OAAO,EAAE;YACP,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnE,0DAA0D;YAC1D,WAAW,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ;YAC1D,qFAAqF;YACrF,SAAS,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM;SACvD;QAED,YAAY,EAAE,KAAK,IAAmB,EAAE;YACtC,IAAI,CAAC,SAAS;gBAAE,OAAM;YACtB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;YACxD,MAAM,OAAO,CAAC,GAAG,CACf,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;gBAC1B,IAAI,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAM;gBACrB,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;gBACzB,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAA;oBAC/E,IAAI,CAAC,GAAG,CAAC,EAAE;wBAAE,OAAM;oBACnB,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAiG,CAAA;oBAC7H,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAA;oBACjC,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,EAAE,MAAM,CAAA;oBAC/B,MAAM,KAAK,GAAmB,EAAE,CAAA;oBAChC,IAAI,OAAO,MAAM,KAAK,SAAS;wBAAE,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAA;oBACxD,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;wBAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAA;oBAClG,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;gBACnF,CAAC;gBAAC,MAAM,CAAC;oBACP,0CAA0C;gBAC5C,CAAC;YACH,CAAC,CAAC,CACH,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC","sourcesContent":["/**\n * browser-lib-loader — 浏览器通用 `LibLoader` 工厂（D3-Browser，§9.4）\n *\n * 与 node 侧 `cliPortsLibLoader`（`node-host/cli.ts`）对称：都实现 `LibLoader`\n * 契约（`loadLib` / `listLibs` / `options.autoLiftFor`），差别只在装载通道——\n * node 用 `import(pkg)` 从 `node_modules` 解析，浏览器用**动态 `import()`** 取 CDN。\n *\n * 两条通路（Q8 定稿的 a/b 混合，共用同一 `CDN_BASE`）：\n * - **方案 a（importmap）**：不提供 `versions` 时，用**已解析的包名**做裸 specifier\n *   动态 `import(pkg)`，由页面 `<script type=\"importmap\">` 的 scope\n *   （`\"@faicad/\": \"CDN_BASE/*@faicad/\"`）在后端按依赖图取版。零版本表，dev / playground 用。\n * - **方案 b（精确 pin）**：提供 `versions`（`versions.json`）时拼\n *   `` `${cdnBase}${pkg}@${version}/+esm` `` 直链，版本精确 pin 到已发布版本，保证\n *   可复现与缓存命中；release 产物用。\n *\n * 别名归一：脚本 specifier 常是短名（demo 的 `.fai.js` 写 `gear-lib-demo` /\n * `sheetmetal`），而 CDN 上是 npm 全名（`@faicad/gear-lib-demo`）。`aliases` 把\n * specifier 映到包名后再装载，与 node 侧 `CLI_SHORT_NAMES` 归一同一职责。\n *\n * `autoLiftFor` 是**同步**回调（`runtime.ts` 在装载后立即取值），所以逐库\n * `faijs.autoLift` 必须**预先**可用：主机从构建期产物 `lib-meta.json`\n * （`scripts/gen-importmap.mjs` 生成）经 `meta` 传入；也可调 `prefetchMeta()`\n * 在网络可达时抓各库 `package.json` 预热（失败静默回落推断式）。\n *\n * 本工厂**不**被 `createBrowserPorts` 默认装配——demo 走源码 alias 的 HMR 路径\n * 必须保持零网络；CDN 装载仅服务「从 npm 消费已发布包」的场景，由主机显式注入。\n */\n\nimport type { LibLoader } from './ports'\nimport type { StdlibNamespace } from '../runtime-state'\n\n/** 默认 CDN base（Q8 定稿：jsDelivr npm 镜像；ESM 取 `+esm`）。 */\nexport const DEFAULT_CDN_BASE = 'https://cdn.jsdelivr.net/npm/'\n\n/** 逐库元数据（与 `lib-meta.json` 键形一致）。 */\nexport interface BrowserLibMeta {\n  /** `package.json` 的 `faijs.autoLift` 外置字段（D3-autoLift）。 */\n  autoLift?: boolean\n  /** Phase 2.11-②：`package.json` 的 `faijs.naming` 外置字段（库级 provenance 声明）。 */\n  naming?: import('../topology/naming/lineage').Provenance\n}\n\n/** `createBrowserLibLoader` 的选项。 */\nexport interface CreateBrowserLibLoaderOptions {\n  /** CDN base，须以 `/` 结尾（缺省 `DEFAULT_CDN_BASE`）。 */\n  cdnBase?: string\n  /** 方案 b：精确 pin 的 `packageName → version`（`versions.json`）；提供即走直链。 */\n  versions?: Record<string, string>\n  /** 别名表：脚本 import specifier → npm 包名（如 `gear-lib-demo` → `@faicad/gear-lib-demo`）。 */\n  aliases?: Record<string, string>\n  /** 允许装载的 **npm 包名**白名单；缺省不限制（生产建议显式给）。 */\n  libs?: string[]\n  /** 逐库元数据（`lib-meta.json`），喂 `options.autoLiftFor`。 */\n  meta?: Record<string, BrowserLibMeta>\n  /** 全局 autoLift 缺省（喂 `options.autoLift`）；缺省交由 runtime 推断式决定。 */\n  autoLift?: boolean\n  /** 强制方案 a（即使提供了 `versions` 也用裸 specifier，依赖 importmap）。 */\n  forceImportMap?: boolean\n  /** 注入的动态 import 实现（测试用）；缺省为原生动态 `import()`。 */\n  importModule?: (url: string) => Promise<unknown>\n  /** 注入的 fetch（`prefetchMeta` 用）；缺省全局 `fetch`，无则 `prefetchMeta` 为空操作。 */\n  fetchImpl?: typeof fetch\n}\n\n/** 浏览器 `LibLoader`（在契约上附加元数据预热）。 */\nexport interface BrowserLibLoader extends LibLoader {\n  /**\n   * 抓取已知各库的 `package.json`，把 `faijs.autoLift` 填进内部 meta 缓存。\n   * 网络失败静默跳过（保持未声明 → 回落推断式）。在 `execute` 前 await 一次即可。\n   * @returns promise resolving when all known libs have been probed.\n   */\n  prefetchMeta(): Promise<void>\n}\n\n/** 归一 CDN base：保证尾随 `/`，避免拼接出 `.../npm@1.0.0` 这类坏 URL。 */\nfunction withTrailingSlash(base: string): string {\n  return base.endsWith('/') ? base : `${base}/`\n}\n\n/**\n * 创建浏览器通用 `LibLoader`。\n *\n * 装载顺序：`name` → `aliases` 归一为 npm 包名 → 白名单校验 → 方案 b 直链（有\n * `versions[pkg]` 且未 `forceImportMap`）或方案 a 裸 specifier → 动态 `import()`；\n * 同一包名并发/重复装载共享同一 in-flight promise（CDN 只取一次）。\n * @param opts - CDN base、版本表 / 别名 / 元数据，以及测试用注入点。\n * @returns 满足 `LibLoader` 契约、并附加 `prefetchMeta()` 的浏览器装载器。\n */\nexport function createBrowserLibLoader(opts: CreateBrowserLibLoaderOptions = {}): BrowserLibLoader {\n  const cdnBase = withTrailingSlash(opts.cdnBase ?? DEFAULT_CDN_BASE)\n  const aliases: Record<string, string> = { ...(opts.aliases ?? {}) }\n  const versions = opts.versions\n  const allow = opts.libs ? new Set(opts.libs) : undefined\n  const meta: Record<string, BrowserLibMeta> = { ...(opts.meta ?? {}) }\n  const importModule =\n    opts.importModule ?? ((url: string): Promise<unknown> => import(/* @vite-ignore */ url))\n  const fetchImpl = opts.fetchImpl ?? (typeof fetch !== 'undefined' ? fetch : undefined)\n\n  /** specifier → npm 包名。 */\n  const pkgOf = (name: string): string => aliases[name] ?? name\n\n  /** 已知 specifier 集合：别名键 ∪ 显式 libs ∪ 版本表键（后两者本身即合法 specifier）。 */\n  const specifiers = new Set<string>([\n    ...Object.keys(aliases),\n    ...(opts.libs ?? []),\n    ...Object.keys(versions ?? {}),\n  ])\n\n  /** 方案 b 的直链；返回 `undefined` 表示走方案 a。 */\n  const urlOf = (pkg: string): string | undefined => {\n    if (opts.forceImportMap) return undefined\n    const v = versions?.[pkg]\n    return v ? `${cdnBase}${pkg}@${v}/+esm` : undefined\n  }\n\n  const pending = new Map<string, Promise<StdlibNamespace>>()\n\n  return {\n    loadLib: (name: string): Promise<StdlibNamespace> => {\n      const pkg = pkgOf(name)\n      if (allow && !allow.has(pkg)) {\n        return Promise.reject(\n          new Error(`package \"${pkg}\" (from specifier \"${name}\") is not in the browser library whitelist`),\n        )\n      }\n      const cached = pending.get(pkg)\n      if (cached) return cached\n      const url = urlOf(pkg)\n      const job = importModule(url ?? pkg).then((mod) => mod as StdlibNamespace)\n      pending.set(pkg, job)\n      // 装载失败不留毒缓存：清掉后可重试（如网络恢复）。\n      job.catch(() => pending.delete(pkg))\n      return job\n    },\n\n    listLibs: () => [...specifiers],\n\n    options: {\n      ...(opts.autoLift === undefined ? {} : { autoLift: opts.autoLift }),\n      // 逐库 autoLift 优先于全局：未声明 → undefined → 回落全局 / runtime 推断式。\n      autoLiftFor: (name: string) => meta[pkgOf(name)]?.autoLift,\n      // Phase 2.11-②：逐库 naming（lib-meta.json 的 faijs.naming），未声明 → undefined → blanket 兜底。\n      namingFor: (name: string) => meta[pkgOf(name)]?.naming,\n    },\n\n    prefetchMeta: async (): Promise<void> => {\n      if (!fetchImpl) return\n      const pkgs = new Set<string>([...specifiers].map(pkgOf))\n      await Promise.all(\n        [...pkgs].map(async (pkg) => {\n          if (meta[pkg]) return\n          const v = versions?.[pkg]\n          try {\n            const res = await fetchImpl(`${cdnBase}${pkg}${v ? `@${v}` : ''}/package.json`)\n            if (!res.ok) return\n            const pj = (await res.json()) as { faijs?: { autoLift?: boolean; naming?: import('../topology/naming/lineage').Provenance } }\n            const lifted = pj.faijs?.autoLift\n            const naming = pj.faijs?.naming\n            const entry: BrowserLibMeta = {}\n            if (typeof lifted === 'boolean') entry.autoLift = lifted\n            if (naming && typeof naming === 'object' && typeof naming.kind === 'string') entry.naming = naming\n            if (entry.autoLift !== undefined || entry.naming !== undefined) meta[pkg] = entry\n          } catch {\n            // 网络不可达 / 非法 JSON → 保持未声明，交由 runtime 推断式。\n          }\n        }),\n      )\n    },\n  }\n}\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"direct-executor.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/direct-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAG3C,OAAO,EAA2H,KAAK,sBAAsB,EAAwB,MAAM,kBAAkB,CAAA;AAE7M,OAAO,EAAgB,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAG5E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAItD,OAAO,KAAK,EAAgC,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAyBrF;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAA;IAC7B,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAAA;CAC5C;AAID,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,+CAA+C;IAC/C,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;AAED,sDAAsD;AACtD,MAAM,WAAW,iBAAiB;IAChC,oBAAoB;IACpB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,kBAAkB,CAAA;IAC7B,8BAA8B;IAC9B,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB;;;;OAIG;IACH,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACpC;AAED,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,sDAAsD;IACtD,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAChC,kDAAkD;IAClD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,CAAA;IAC1D;;;OAGG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED,oCAAoC;AACpC,MAAM,WAAW,SAAS;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AAE9D,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IACnB,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;CAC/B;AAID,4CAA4C;AAC5C,MAAM,WAAW,qBAAqB;IACpC,2DAA2D;IAC3D,UAAU,EAAE,UAAU,CAAA;IACtB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,KAAK,IAAI,CAAA;IAC1D,6EAA6E;IAC7E,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,KAAK,IAAI,CAAA;IAC7D,qEAAqE;IACrE,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,KAAK,IAAI,CAAA;IAC/D,gEAAgE;IAChE,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB;;;OAGG;IACH,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED;;;;;GAKG;AACH,qBAAa,cAAc;IACzB,kEAAkE;IAClE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAK;IAC1C,OAAO,CAAC,aAAa,CAAoB;IACzC,OAAO,CAAC,UAAU,CAAY;IAC9B,sBAAsB;IACtB,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgB;IAC/C,6BAA6B;IAC7B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAiD;IAC/E,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAA4C;IAClF,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAkD;IACpF,yBAAyB;IACzB,OAAO,CAAC,QAAQ,CAAK;IACrB,4DAA4D;IAC5D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAoC;IAC/D,+BAA+B;IAC/B,OAAO,CAAC,UAAU,CAAoB;IACtC,qDAAqD;IACrD,OAAO,CAAC,aAAa,CAA8C;IACnE,uBAAuB;IACvB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAa;IAEzC,8DAA8D;IAC9D,IAAI,kBAAkB,IAAI,GAAG,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAE9D;gBAEW,OAAO,EAAE,qBAAqB;IAS1C;;;OAGG;IACH,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAI3C;;;;OAIG;IACH,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAIzD;;;OAGG;IACH,aAAa,IAAI,MAAM,EAAE;IAIzB;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIhC;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAI7C;;;OAGG;IACH,WAAW,IAAI,MAAM,EAAE;IAIvB;;;OAGG;IACH,IAAI,iBAAiB,IAAI,MAAM,EAAE,CAEhC;IAED;;;;;;;OAOG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE;IAarE;;;;;OAKG;IACH,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAKhG,8DAA8D;IAC9D,OAAO,CAAC,YAAY,CAA4B;IAEhD,mDAAmD;IACnD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA4B;IAE1D,0DAA0D;IAC1D,OAAO,CAAC,UAAU,CAAoB;IAEtC;kEAC8D;IAC9D,OAAO,CAAC,QAAQ,CAA8B;IAE9C;iDAC6C;IAC7C,KAAK,IAAI,IAAI;IAYb;;;;;OAKG;IACG,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAM9E;;;;;;OAMG;IACG,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAM7E;;;;;;OAMG;IACG,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAIlG;;;;;;;;;;;;;;;;;;;;OAoBG;IACG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IA6CpG;;;;OAIG;IACH,eAAe,IAAI,IAAI;YAOT,OAAO;IA4HrB;;;;;;;OAOG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS;IAgBjF;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAiDtC,4CAA4C;YAC9B,OAAO;IAoBrB,6EAA6E;IAC7E,OAAO,CAAC,kBAAkB;IAe1B;;;;;;OAMG;IACH,OAAO,CAAC,SAAS;IA2CjB,mBAAmB;IACnB,OAAO,CAAC,iBAAiB;IA2BzB,OAAO,CAAC,gBAAgB;IAkDxB;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;IAmBtB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;IAyFtB,wEAAwE;IACxE,OAAO,CAAC,iBAAiB;IAmBzB,kDAAkD;IAClD,OAAO,CAAC,iBAAiB;IAiDzB,qCAAqC;IACrC,OAAO,CAAC,4BAA4B;IA0CpC,qFAAqF;IACrF,OAAO,CAAC,QAAQ;IAgChB;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,eAAe;IAiBvB;;8CAE0C;IAC1C,OAAO,CAAC,YAAY;IASpB;uDACmD;IACnD,OAAO,CAAC,iBAAiB;IA0BzB,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,MAAM;IAId;wCACoC;IACpC,OAAO,CAAC,YAAY;IAkDpB;;mCAE+B;IAC/B,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,QAAQ;IAQhB;;;;OAIG;IACH,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAItC;;;;;OAKG;IACH,gBAAgB,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAIvC;;;;OAIG;IACH,UAAU,IAAI,MAAM,EAAE,GAAG,SAAS;IAIlC,mCAAmC;IACnC,OAAO,CAAC,WAAW;CAkCpB"}
+{"version":3,"file":"direct-executor.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/direct-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAG3C,OAAO,EAA2H,KAAK,sBAAsB,EAAwB,MAAM,kBAAkB,CAAA;AAG7M,OAAO,EAAgB,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAG5E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAItD,OAAO,KAAK,EAAgC,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAyBrF;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAA;IAC7B,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAAA;CAC5C;AAID,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,+CAA+C;IAC/C,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;AAED,sDAAsD;AACtD,MAAM,WAAW,iBAAiB;IAChC,oBAAoB;IACpB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,kBAAkB,CAAA;IAC7B,8BAA8B;IAC9B,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB;;;;OAIG;IACH,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACpC;AAED,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,sDAAsD;IACtD,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAChC,kDAAkD;IAClD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,CAAA;IAC1D;;;OAGG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED,oCAAoC;AACpC,MAAM,WAAW,SAAS;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AAE9D,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IACnB,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;CAC/B;AAID,4CAA4C;AAC5C,MAAM,WAAW,qBAAqB;IACpC,2DAA2D;IAC3D,UAAU,EAAE,UAAU,CAAA;IACtB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,KAAK,IAAI,CAAA;IAC1D,6EAA6E;IAC7E,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,KAAK,IAAI,CAAA;IAC7D,qEAAqE;IACrE,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,KAAK,IAAI,CAAA;IAC/D,gEAAgE;IAChE,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB;;;OAGG;IACH,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED;;;;;GAKG;AACH,qBAAa,cAAc;IACzB,kEAAkE;IAClE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAK;IAC1C,OAAO,CAAC,aAAa,CAAoB;IACzC,OAAO,CAAC,UAAU,CAAY;IAC9B,sBAAsB;IACtB,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgB;IAC/C,6BAA6B;IAC7B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAiD;IAC/E,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAA4C;IAClF,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAkD;IACpF,yBAAyB;IACzB,OAAO,CAAC,QAAQ,CAAK;IACrB,4DAA4D;IAC5D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAoC;IAC/D,+BAA+B;IAC/B,OAAO,CAAC,UAAU,CAAoB;IACtC,qDAAqD;IACrD,OAAO,CAAC,aAAa,CAA8C;IACnE,uBAAuB;IACvB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAa;IAEzC,8DAA8D;IAC9D,IAAI,kBAAkB,IAAI,GAAG,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAE9D;gBAEW,OAAO,EAAE,qBAAqB;IAS1C;;;OAGG;IACH,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAI3C;;;;OAIG;IACH,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAIzD;;;OAGG;IACH,aAAa,IAAI,MAAM,EAAE;IAIzB;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIhC;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAI7C;;;OAGG;IACH,WAAW,IAAI,MAAM,EAAE;IAIvB;;;OAGG;IACH,IAAI,iBAAiB,IAAI,MAAM,EAAE,CAEhC;IAED;;;;;;;OAOG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE;IAarE;;;;;OAKG;IACH,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAKhG,8DAA8D;IAC9D,OAAO,CAAC,YAAY,CAA4B;IAEhD,mDAAmD;IACnD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA4B;IAE1D,0DAA0D;IAC1D,OAAO,CAAC,UAAU,CAAoB;IAEtC;kEAC8D;IAC9D,OAAO,CAAC,QAAQ,CAA8B;IAE9C;iDAC6C;IAC7C,KAAK,IAAI,IAAI;IAYb;;;;;OAKG;IACG,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAM9E;;;;;;OAMG;IACG,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAM7E;;;;;;OAMG;IACG,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAIlG;;;;;;;;;;;;;;;;;;;;OAoBG;IACG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IA6CpG;;;;OAIG;IACH,eAAe,IAAI,IAAI;YAOT,OAAO;IAqIrB;;;;;;;OAOG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS;IAgBjF;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAiDtC,4CAA4C;YAC9B,OAAO;IAoBrB,6EAA6E;IAC7E,OAAO,CAAC,kBAAkB;IAe1B;;;;;;OAMG;IACH,OAAO,CAAC,SAAS;IA2CjB,mBAAmB;IACnB,OAAO,CAAC,iBAAiB;IA2BzB,OAAO,CAAC,gBAAgB;IAkDxB;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;IAmBtB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;IAyFtB,wEAAwE;IACxE,OAAO,CAAC,iBAAiB;IAmBzB,kDAAkD;IAClD,OAAO,CAAC,iBAAiB;IAiDzB,qCAAqC;IACrC,OAAO,CAAC,4BAA4B;IA0CpC,qFAAqF;IACrF,OAAO,CAAC,QAAQ;IAgChB;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,eAAe;IAiBvB;;8CAE0C;IAC1C,OAAO,CAAC,YAAY;IASpB;uDACmD;IACnD,OAAO,CAAC,iBAAiB;IA0BzB,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,MAAM;IAId;wCACoC;IACpC,OAAO,CAAC,YAAY;IAkDpB;;mCAE+B;IAC/B,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,QAAQ;IAQhB;;;;OAIG;IACH,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAItC;;;;;OAKG;IACH,gBAAgB,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAIvC;;;;OAIG;IACH,UAAU,IAAI,MAAM,EAAE,GAAG,SAAS;IAIlC,mCAAmC;IACnC,OAAO,CAAC,WAAW;CAkCpB"}

package/dist/cad-runtime/direct-executor.js

@@ -25,6 +25,7 @@ import { parse as acornParse } from 'acorn';
 import { asPartName } from '../identity.js';
 import { ParseError } from '../lang/parse-error.js';
 import { setCurrentStmt, setKeepSink, setName, nameOf, getBackends, takePendingAssemblyTransforms, takePendingAssemblyKinematics } from '../runtime-state.js';
+import { runtimeLineage } from '../topology/naming/lineage.js';
 import { ExecutionLimitError } from './execution-limit-error.js';
 import { assertSecure } from '../lang/security-scanner.js';
 import { getSlot, ensureSlot, brepOf, isShape } from '../shape.js';
@@ -308,6 +309,11 @@ export class DirectExecutor {
     }
     // ── 主流程 ──
     async runCode(code, opts, preParsedUnits) {
+        // §1.4/1.5 lineage: a fresh program execution owns a fresh blood-line graph.
+        // Clearing here (not in execute/append/update individually) keeps every
+        // runCode — including append/update replays of the full code — self-contained,
+        // so N3 never misfires on an edited statement from a prior run.
+        runtimeLineage.clear();
         // import 预置（§4.5：顶层 import 行不执行，绑定值先入 ctx），随后参数预置可覆盖
         for (const [k, v] of Object.entries(opts?.imports ?? {}))
             this.ctx[k] = v;
@@ -373,8 +379,10 @@ export class DirectExecutor {
                                         this.setSolidHook?.(asPartName(key), bslot.solid);
                                     if (bslot?.faceEvolution)
                                         this.setFaceEvolutionHook?.(asPartName(key), bslot.faceEvolution);
-                                    if (bslot?.roleTable)
-                                        this.setRoleTableHook?.(asPartName(key), bslot.roleTable);
+                                    // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键）。
+                                    const btable = runtimeLineage.tableOfPart(asPartName(key));
+                                    if (btable)
+                                        this.setRoleTableHook?.(asPartName(key), btable);
                                 }
                             }
                         }
@@ -393,8 +401,10 @@ export class DirectExecutor {
                                 this.setSolidHook?.(asPartName(w), slot.solid);
                             if (slot?.faceEvolution)
                                 this.setFaceEvolutionHook?.(asPartName(w), slot.faceEvolution);
-                            if (slot?.roleTable)
-                                this.setRoleTableHook?.(asPartName(w), slot.roleTable);
+                            // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键），slot 字段已删。
+                            const rtable = runtimeLineage.tableOfPart(asPartName(w));
+                            if (rtable)
+                                this.setRoleTableHook?.(asPartName(w), rtable);
                         }
                     }
                     // T3/T4: Assembly transform propagation — same semantics as