@faicad/faijs 0.33.1 → 0.35.2

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

@@ -31,9 +31,11 @@ import { type PartName } from '../identity.js';
 import type { ExecBackendChoice } from './exec-backend.js';
 import { type OpDimMap } from '../lang/metadata-extractor.js';
 import { type LibNamespace, type AssemblyKinematicsPose, type TessellationDensity } from '../runtime-state.js';
+import { type LibDescription, type LibsUnderEngine } from './lib-decl.js';
 export { computeContentKey } from './content-key.js';
 export { stableFingerprint } from './content-key.js';
 import { type CompoundShape } from '../shape.js';
+import type { AssemblyDecl } from '../extra/ops/compound.js';
 import type { PartNaming } from '../topology/naming/types.js';
 import { type DeterminismPolicy } from '../lang/determinism-scanner.js';
 /**
@@ -135,6 +137,16 @@ export interface ExecutionResult {
      * key 为 compound 变量名（PartName），value 为成员变量名列表。
      */
     compounds?: Map<PartName, PartName[]>;
+    /**
+     * F3（2026-10-15）：`cad.assembly` 声明面 — 脚本里每个 assembly 语句的声明
+     * （name / memberNames / constraints / joints / solver + compound 引用）。
+     *
+     * 此前的缺口：约束/关节声明只存在 compound 的 behavior 槽，而 `getSlot` 未公开
+     * 导出 → 宿主持不到声明。本字段把声明面提到结果一级，宿主据此做**纯求解**
+     * （禁烘焙：不调 asm.solve()/do_assemble()，位姿只以 transform 数据在宿主侧
+     * 流动）。`group` 产物（无约束/关节）不进本字段；无 assembly 语句时为 undefined。
+     */
+    assemblies?: AssemblyDecl[];
     /** 被 touch 声明的原地修改 Shape 的持有变量名（装配变换后 collectResult 填充，去重） */
     changed?: PartName[];
     /**
@@ -317,12 +329,22 @@ export declare class CadRuntime {
     private readonly determinismPolicy;
     /** warn 档位下收集的确定性警告，合并进最终 ExecutionResult.infos。 */
     private determinismWarnings;
+    /**
+     * Reserved binding names — only `'cad'`. Once the engine registers `cad`
+     * (inside `createRuntime`), any subsequent `registerLib('cad', ...)` from
+     * the host is rejected. The `_cadReserved` flag is set by `createRuntime`
+     * immediately after the internal registration so the guard can distinguish
+     * the engine's own first registration from a host's attempt to override.
+     */
+    private static readonly RESERVED_BINDINGS;
     /** 宿主注册库（含 cad：由根门面 createRuntime 包装注入；注入编译产物 fn 的第二参 ns） */
     private readonly libs;
     /** 库内容身份表 (binding → content hash)，增量 key 用（B2，§7.3） */
     private readonly libIds;
     /** import specifier → binding 映射（registerLib 的 packageName 声明；check ①.5 校验 specifier） */
     private readonly specifierToBinding;
+    /** 库级定位声明与来源（binding → { packageName, decl }），describeLib / libsUnder 读。 */
+    private readonly libDecls;
     private readonly namespaces;
     /** 默认命名空间绑定名（U10/R2）：根门面经 registerLib(binding, ns, {default: true}) 显式声明；
      *  缺省 'cad'（与 parser 缺省 defaultNs 一致）。namespace 字段缺省的语句归属该绑定。 */
@@ -358,15 +380,46 @@ export declare class CadRuntime {
      * @param options - registration hints. `packageName` declares the npm package
      *   backing this binding so `check()` can validate script import specifiers
      *   against registered libraries (specifier mismatch = hard check error).
-  
+     *   `lib` / `peers` carry the library-level `faijs.lib` declaration (定位属性)
+     *   and its `peerDependencies`; they are validated at assembly time
+     *   (`assertLibDecl`) and feed `fn.engines ?? lib.platform` resolution.
+     *   Engine constraints are resolved at admission, i.e. only on the lifted path,
+     *   so two unhonourable shapes are rejected: (a) any declaration while admitted
+     *   WITHOUT lifting, (b) a non-empty `lib.platform` when the library also
+     *   exports a dual-op without its own `engines`.
      */
     registerLib(binding: string, ns: LibNamespace, options?: {
         default?: boolean;
         autoLift?: boolean;
         packageName?: string;
+        lib?: unknown;
+        peers?: Readonly<Record<string, string>>;
     }): void;
     /** The runtime's default namespace binding name (host-declared; 'cad' by default). */
     get defaultNs(): string;
+    /**
+     * 库调用方查询面（2026-10-14 §3.3 第 3 项）：回答「这个库需要什么内核」。
+     *
+     * 返回该库的库级定位（`role` / `conformsTo` / `platform`）+ 逐函数的**有效**引擎
+     * 与产物名。`engines` 是装配期已解析的值（`fn.engines ?? lib.platform ?? 中立`），
+     * 所以「未写 `fn.engines` 的函数回报继承来的库级平台」是自动成立的——同一份声明
+     * 只有一个视图，不存在两处各自维护。
+     *
+     * @param binding - the statement-level binding name used at registration.
+     * @returns the library description, or `undefined` when no such binding is registered.
+     */
+    describeLib(binding: string): LibDescription | undefined;
+    /**
+     * 库调用方查询面（2026-10-14 §3.3 第 3 项）：回答「给定引擎，这个库的哪些函数可以调用」。
+     *
+     * 判定与 `backend-dispatch.ts#decidePath` 的静态规则同源（中立 op = 全引擎可调；
+     * 声明了 `engines` 的 op 只在该集合内可调），因此拒绝项与实际执行前的拒绝**必然一致**。
+     * 只在确实被拒时给出 `reason`，可调项不带噪音字段。
+     *
+     * @param engineId - the BREP engine id to test against (e.g. `'occt'` / `'brepkit'`).
+     * @returns callable / statically-rejected split for the given engine.
+     */
+    libsUnder(engineId: string): LibsUnderEngine;
     /**
      * P4/P6 (unit-system D8): 汇总已注册 op 的量纲声明（callee → { paramDims, retDim }），
      * 供 extractMetadata 的 dimension pass 消费。键 = 脚本面 callee 名（含命名空间内成员名，
@@ -692,15 +745,16 @@ export declare class CadRuntime {
  * default library.
  *
  * This is the single public `createRuntime` entry point. Hosts get "engine +
- * standard library" in one call. If `libs` already contains a `cad` key, that
- * caller-supplied namespace is kept (not overwritten).
+ * standard library" in one call. The `cad` binding name is **reserved** —
+ * passing `libs.cad` throws (cad is engine-built-in and cannot be overridden).
+ * Hosts may still register third-party libraries under any other name.
  *
  * @param ports - the host-injected environment capabilities.
  * @param mode - the execution mode (default 'auto').
- * @param libs - the host-injected library namespaces. If `libs.cad` is omitted,
- *   the built-in cad namespace is auto-registered as the default lib.
+ * @param libs - the host-injected library namespaces. Must NOT contain `cad`.
  * @param options - optional runtime options (e.g. `execBackend`, `tessellation`).
  * @returns a new CadRuntime with `cad` registered as the default namespace.
+ * @throws if `libs.cad` is present (cad is a reserved binding name).
  */
 export declare function createRuntime(ports: HostPorts, mode?: ExecutionMode, libs?: Record<string, LibNamespace>, options?: CadRuntimeOptions): CadRuntime;
 /**

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;AAG9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,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;AAGxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAGvD,OAAO,EAAc,KAAK,QAAQ,EAAe,MAAM,aAAa,CAAA;AAEpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAIvD,OAAO,EAAoC,KAAK,QAAQ,EAAE,MAAM,4BAA4B,CAAA;AAC5F,OAAO,EAEkB,KAAK,YAAY,EACxC,KAAK,sBAAsB,EACJ,KAAK,mBAAmB,EAChD,MAAM,kBAAkB,CAAA;AAMzB,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,GAAG,WAAW,CAAA;IAC3E,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;IAClD;;;;OAIG;IACH,aAAa,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IAErC;;;;OAIG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IACvC;;;;;OAKG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAA;CAC1C;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAChC,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;IAC/B;;;;OAIG;IACH,YAAY,CAAC,EAAE,mBAAmB,CAAA;CACnC;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,CAMlB;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,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;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAA0B;IAE5D;;;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,CAA8B;IACnD,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;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,YAAY,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;IA0B/H,sFAAsF;IACtF,IAAI,SAAS,IAAI,MAAM,CAEtB;IAED;;;;;OAKG;IACH,OAAO,CAAC,WAAW;IAoBnB;;;;;;;OAOG;IACH,SAAS,IAAI,QAAQ;gBAKnB,KAAK,EAAE,SAAS,EAChB,IAAI,GAAE,aAAsB,EAC5B,IAAI,GAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAM,EACvC,OAAO,GAAE,iBAAsB;IAgCjC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,aAAa;IAwCrB;;;;;OAKG;YACW,eAAe;IAsB7B;;;;;;;;;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;IA8B/B,0EAA0E;IAC1E,OAAO,CAAC,iBAAiB;IAMzB;;;;;;;;;OASG;IACH,OAAO,CAAC,qBAAqB;IAgB7B;;;OAGG;YACW,gBAAgB;IAK9B;;;;OAIG;YACW,gBAAgB;IAuC9B,gEAAgE;IAChE,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;YACW,uBAAuB;IA8BrC,yEAAyE;YAC3D,eAAe;IAyB7B;;;;OAIG;IACH,OAAO,CAAC,mBAAmB;IAuI3B,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,aAAa,GAAG,SAAS;IAItE;;;;;OAKG;IACH,sBAAsB,CACpB,QAAQ,EAAE,QAAQ,GACjB;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,KAAK,GAAG,aAAa,CAAA;KAAE,GAAG,SAAS;IAIhG;;;;;;OAMG;IACH,qBAAqB,CACnB,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,KAAK,GAAG,aAAa,EAC7B,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;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,sBAAsB;IAmB9B;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY,GAAG,SAAS;IAIzD;;;OAGG;IACH,cAAc,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAIxC;;;;;;OAMG;IACH,IAAI,UAAU,IAAI,iBAAiB,CAElC;IAED;;;;;;;;;;;OAWG;IACH,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,eAAe,GAAG,IAAI;IAoB7D;;;;;;OAMG;IACH,OAAO,CAAC,yBAAyB;IASjC;;;;;;;;OAQG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW;IAkChC;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IAqBzB;;;;;;;;;;;;;;;;OAgBG;YACW,iBAAiB;IAsJ/B;;OAEG;YACW,cAAc;IAe5B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAW1B;;;OAGG;IACH,OAAO,IAAI,IAAI;CAgBhB;AAMD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,UAAU,CASlJ;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,UAAU,CAEtJ"}
+{"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;AAG9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,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;AAGxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAGvD,OAAO,EAAc,KAAK,QAAQ,EAAe,MAAM,aAAa,CAAA;AAEpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAIvD,OAAO,EAAoC,KAAK,QAAQ,EAAE,MAAM,4BAA4B,CAAA;AAC5F,OAAO,EAEkB,KAAK,YAAY,EACxC,KAAK,sBAAsB,EACJ,KAAK,mBAAmB,EAChD,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EAGL,KAAK,cAAc,EAEnB,KAAK,eAAe,EACrB,MAAM,YAAY,CAAA;AAKnB,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAA+C,KAAK,aAAa,EAAE,MAAM,UAAU,CAAA;AAC1F,OAAO,KAAK,EAAoB,YAAY,EAAE,MAAM,uBAAuB,CAAA;AAC3E,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,GAAG,WAAW,CAAA;IAC3E,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;;;;;;;;OAQG;IACH,UAAU,CAAC,EAAE,YAAY,EAAE,CAAA;IAC3B,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;IAClD;;;;OAIG;IACH,aAAa,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IAErC;;;;OAIG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IACvC;;;;;OAKG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAA;CAC1C;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAChC,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;IAC/B;;;;OAIG;IACH,YAAY,CAAC,EAAE,mBAAmB,CAAA;CACnC;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,CAMlB;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,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;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAA0B;IAE5D;;;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;;;;;;OAMG;IACH,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAmB;IAQ5D,6DAA6D;IAC7D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA8B;IACnD,wDAAwD;IACxD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA4B;IACnD,yFAAyF;IACzF,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAA4B;IAC/D,4EAA4E;IAC5E,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA8D;IACvF,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAY;IACvC;qEACiE;IACjE,OAAO,CAAC,aAAa,CAAQ;IAE7B;;;;;;;;;OASG;IACH;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;KAAE,GAAG,IAAI;IA4GxL,sFAAsF;IACtF,IAAI,SAAS,IAAI,MAAM,CAEtB;IAED;;;;;;;;;;OAUG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAwBxD;;;;;;;;;OASG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,eAAe;IAqB5C;;;;;OAKG;IACH,OAAO,CAAC,WAAW;IAoBnB;;;;;;;OAOG;IACH,SAAS,IAAI,QAAQ;gBAKnB,KAAK,EAAE,SAAS,EAChB,IAAI,GAAE,aAAsB,EAC5B,IAAI,GAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAM,EACvC,OAAO,GAAE,iBAAsB;IAgCjC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,aAAa;IAwCrB;;;;;OAKG;YACW,eAAe;IAsB7B;;;;;;;;;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;IA8B/B,0EAA0E;IAC1E,OAAO,CAAC,iBAAiB;IAMzB;;;;;;;;;OASG;IACH,OAAO,CAAC,qBAAqB;IAgB7B;;;OAGG;YACW,gBAAgB;IAK9B;;;;OAIG;YACW,gBAAgB;IAuC9B,gEAAgE;IAChE,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;YACW,uBAAuB;IA8BrC,yEAAyE;YAC3D,eAAe;IAyB7B;;;;OAIG;IACH,OAAO,CAAC,mBAAmB;IAqJ3B,gEAAgE;IAChE,OAAO,CAAC,MAAM,CAAC,cAAc;IAO7B;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IAuDjC,6DAA6D;IAC7D,OAAO,CAAC,gBAAgB;IAoBxB;;;;OAIG;YACW,uBAAuB;IA6CrC;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAqDxB;;;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,aAAa,GAAG,SAAS;IAItE;;;;;OAKG;IACH,sBAAsB,CACpB,QAAQ,EAAE,QAAQ,GACjB;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,KAAK,GAAG,aAAa,CAAA;KAAE,GAAG,SAAS;IAIhG;;;;;;OAMG;IACH,qBAAqB,CACnB,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,KAAK,GAAG,aAAa,EAC7B,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;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,sBAAsB;IAmB9B;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY,GAAG,SAAS;IAIzD;;;OAGG;IACH,cAAc,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAIxC;;;;;;OAMG;IACH,IAAI,UAAU,IAAI,iBAAiB,CAElC;IAED;;;;;;;;;;;OAWG;IACH,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,eAAe,GAAG,IAAI;IAoB7D;;;;;;OAMG;IACH,OAAO,CAAC,yBAAyB;IASjC;;;;;;;;OAQG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW;IAkChC;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IAqBzB;;;;;;;;;;;;;;;;OAgBG;YACW,iBAAiB;IAsJ/B;;OAEG;YACW,cAAc;IAe5B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAW1B;;;OAGG;IACH,OAAO,IAAI,IAAI;CAgBhB;AAMD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,UAAU,CAiBlJ;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,UAAU,CAStJ"}

package/dist/cad-runtime/runtime.js

@@ -16,7 +16,7 @@
  * - group/assembly 重建
  * - window.dispatchEvent / toast
  */
-import { getBrepEngine, hasBrepEngine, getActiveBrepEngineId, getMeshSolidBackend } from '../brep/engine/registry.js';
+import { getActiveBrepEngine, hasBrepEngine, getActiveBrepEngineId, getMeshSolidBackend } from '../brep/engine/registry.js';
 import { ensureOcctDefaultEngine } from '../brep/engine/adapters/occt.js';
 import { MeshSolidRegistry } from '../brep/mesh-solid.js';
 import { ParseError } from '../lang/parse-error.js';
@@ -29,13 +29,14 @@ import { computeLiveShapes, lineConsumes, blockConsumes } from './live-shapes.js
 import { extractMetadata } from '../lang/metadata-extractor.js';
 import { configureBackends, CONTRACT_VERSION, assertContractVersion, configureTessellation, } from '../runtime-state.js';
 import { admitCompatLib } from './admit-compat-lib.js';
+import { assertLibDecl, } from './lib-decl.js';
 import { hasDualOp, dualOpMetaOf } from '../define-op.js';
 import { computeLibId } from './lib-id.js';
 import { computeContentKey, stableFingerprint } from './content-key.js';
 import { SCRIPT_UNIT_CONSTANTS } from '../units.js';
 export { computeContentKey } from './content-key.js';
 export { stableFingerprint } from './content-key.js';
-import { isCompoundLike, getSlot, ensureSlot } from '../shape.js';
+import { isCompoundLike, brepOf, getSlot, ensureSlot } from '../shape.js';
 import { buildPartNaming } from '../topology/naming/build-naming.js';
 import { faceRowToHint } from '../topology/naming/geom-hint.js';
 import { HASH_UPPER_BOUND } from '../brep/face-evolution.js';
@@ -158,12 +159,28 @@ export class CadRuntime {
     determinismPolicy;
     /** warn 档位下收集的确定性警告，合并进最终 ExecutionResult.infos。 */
     determinismWarnings = [];
+    /**
+     * Reserved binding names — only `'cad'`. Once the engine registers `cad`
+     * (inside `createRuntime`), any subsequent `registerLib('cad', ...)` from
+     * the host is rejected. The `_cadReserved` flag is set by `createRuntime`
+     * immediately after the internal registration so the guard can distinguish
+     * the engine's own first registration from a host's attempt to override.
+     */
+    static RESERVED_BINDINGS = new Set(['cad']);
+    /**
+     * Reserved marker for the `cad` binding: set right after the engine's own
+     * registration so the guard can tell it apart from a host override attempt.
+     * @internal
+     */
+    _cadReserved = false;
     /** 宿主注册库（含 cad：由根门面 createRuntime 包装注入；注入编译产物 fn 的第二参 ns） */
     libs;
     /** 库内容身份表 (binding → content hash)，增量 key 用（B2，§7.3） */
     libIds = new Map();
     /** import specifier → binding 映射（registerLib 的 packageName 声明；check ①.5 校验 specifier） */
     specifierToBinding = new Map();
+    /** 库级定位声明与来源（binding → { packageName, decl }），describeLib / libsUnder 读。 */
+    libDecls = new Map();
     namespaces;
     /** 默认命名空间绑定名（U10/R2）：根门面经 registerLib(binding, ns, {default: true}) 显式声明；
      *  缺省 'cad'（与 parser 缺省 defaultNs 一致）。namespace 字段缺省的语句归属该绑定。 */
@@ -199,10 +216,37 @@ export class CadRuntime {
      * @param options - registration hints. `packageName` declares the npm package
      *   backing this binding so `check()` can validate script import specifiers
      *   against registered libraries (specifier mismatch = hard check error).
-  
+     *   `lib` / `peers` carry the library-level `faijs.lib` declaration (定位属性)
+     *   and its `peerDependencies`; they are validated at assembly time
+     *   (`assertLibDecl`) and feed `fn.engines ?? lib.platform` resolution.
+     *   Engine constraints are resolved at admission, i.e. only on the lifted path,
+     *   so two unhonourable shapes are rejected: (a) any declaration while admitted
+     *   WITHOUT lifting, (b) a non-empty `lib.platform` when the library also
+     *   exports a dual-op without its own `engines`.
      */
     registerLib(binding, ns, options) {
+        // Reserved binding guard (2026-10-13): `cad` is the only reserved name.
+        // The engine's own first registration (from `createRuntime`) sets the
+        // `_cadReserved` flag; any subsequent attempt to register or override
+        // `cad` from the host is rejected.
+        if (CadRuntime.RESERVED_BINDINGS.has(binding) && this._cadReserved) {
+            throw new Error(`E_CAD_RESERVED: "${binding}" is an engine-built-in reserved namespace. ` +
+                'Hosts cannot register or override it. Use a different binding name ' +
+                'for your custom library.');
+        }
         assertContractVersion(ns);
+        // 库级定位声明：装配期校验（形态 / 引擎 id / 单向 peer 约束）后再解析函数级有效引擎。
+        //
+        // 来源两条：调用方显式传入（`lib` / `peers`），或按 `packageName` 走 loader 的既有
+        // 读盘通道（`libMetaFor`，与自动装载同源同一次读盘）。显式传入优先——那是宿主覆盖
+        // 声明的手段。少了这条回落，`registerLib(ns, { packageName })` 这条同样合法的装配
+        // 路径会静默丢掉库自身 `package.json` 里的定位声明，`describeLib` 于是对调用方撒谎
+        // ——「声明了却不生效」正是本批要消灭的那类 bug。
+        const pkgName = options?.packageName;
+        const fromLoader = options?.lib === undefined && pkgName !== undefined
+            ? this.ports.libLoader?.libMetaFor?.(pkgName)
+            : undefined;
+        const decl = assertLibDecl(options?.lib ?? fromLoader?.lib, options?.peers ?? fromLoader?.peers, options?.packageName ?? binding);
         // B4: admit bare (non-dual-op) library functions through compatOp when
         // autoLift is true (or inferred true — the library has no dual-op).
         // Hard ordering: assertLibConforms runs inside admitCompatLib BEFORE
@@ -213,10 +257,62 @@ export class CadRuntime {
         // bare function is admitted with the default unmodeled provenance (see
         // admit-compat-lib.ts).
         const lift = options?.autoLift ?? !hasDualOp(ns);
+        // 引擎约束（库级 `faijs.lib.platform` 与函数级 `fn.engines`）只在**提升通路**上落地：
+        // admitCompatLib 包装裸函数并把解析后的有效引擎写进 op 元数据，分派侧只读元数据。
+        // 于是有两种「声明了却无法兑现」的形态，都在装配期当场拒绝——静默放行会让声明变成
+        // 空话，而这正是本批要消灭的那类 bug。
+        const nsEntries = Object.entries(ns);
+        /**
+         * **裸函数**上的 `fn.engines`（`typeof v === 'function'` 且不带 `DUAL_OP_META`）。
+         *
+         * dual-op 的引擎声明长在 op 自己的元数据里，由分派侧直接读——它**不经过**提升
+         * 通路，所以与本开关无关，不能算进下面的「死声明」判定。把两者混在一起会误拒
+         * 自带元数据的宿主命名空间：内置 `cad` 正是这种形态（46 个平台 op 各有
+         * `engines`，而它以 `autoLift=false` 注册）。
+         */
+        const bareDeclared = nsEntries
+            .filter(([, v]) => {
+            if (typeof v !== 'function' || dualOpMetaOf(v) !== undefined)
+                return false;
+            const e = v.engines;
+            return e !== undefined && e.length > 0;
+        })
+            .map(([name]) => name);
+        const libPlatform = decl?.platform ?? [];
+        if (!lift) {
+            // 不提升 ⇒ 裸函数不是 op，没有元数据可挂 ⇒ 它的 `fn.engines` 与库级 `platform`
+            // 都是死声明（dual-op 不在此列，见上）。
+            if (libPlatform.length > 0 || bareDeclared.length > 0) {
+                const what = [
+                    ...(libPlatform.length > 0 ? [`faijs.lib.platform = [${libPlatform.join('/')}]`] : []),
+                    ...(bareDeclared.length > 0 ? [`fn.engines on ${bareDeclared.join(', ')}`] : []),
+                ].join(' and ');
+                throw new Error(`[faijs] lib '${options?.packageName ?? binding}': ${what} declared, but the library is admitted ` +
+                    'WITHOUT lifting (autoLift=false) — the effective engine set is resolved at admission, which only ' +
+                    'exists on the lifted path. Register with autoLift: true (or declare faijs.autoLift: true), or drop ' +
+                    'the engine declarations.');
+            }
+        }
+        else if (libPlatform.length > 0) {
+            // 提升通路只包装裸函数：dual-op 自带元数据、注入不进去，所以它们必须自己声明 engines。
+            const uncovered = nsEntries
+                .filter(([, v]) => {
+                const meta = dualOpMetaOf(v);
+                return meta !== undefined && meta.engines === undefined;
+            })
+                .map(([name]) => name);
+            if (uncovered.length > 0) {
+                throw new Error(`[faijs] lib '${options?.packageName ?? binding}': faijs.lib.platform = [${libPlatform.join('/')}] ` +
+                    `cannot cover dual-op function(s) ${uncovered.join(', ')} — a library-level platform is injected ` +
+                    'at admission, which only wraps bare functions; ops keep their own metadata. Declare `engines` ' +
+                    'on those ops (or drop the library-level platform).');
+            }
+        }
         const admitted = lift
-            ? admitCompatLib(ns)
+            ? admitCompatLib(ns, decl?.platform)
             : ns;
         this.libs[binding] = admitted;
+        this.libDecls.set(binding, { packageName: options?.packageName, decl });
         this.libIds.set(binding, computeLibId(binding, ns));
         if (options?.packageName) {
             this.specifierToBinding.set(options.packageName, binding);
@@ -230,6 +326,74 @@ export class CadRuntime {
     get defaultNs() {
         return this.defaultNsName;
     }
+    /**
+     * 库调用方查询面（2026-10-14 §3.3 第 3 项）：回答「这个库需要什么内核」。
+     *
+     * 返回该库的库级定位（`role` / `conformsTo` / `platform`）+ 逐函数的**有效**引擎
+     * 与产物名。`engines` 是装配期已解析的值（`fn.engines ?? lib.platform ?? 中立`），
+     * 所以「未写 `fn.engines` 的函数回报继承来的库级平台」是自动成立的——同一份声明
+     * 只有一个视图，不存在两处各自维护。
+     *
+     * @param binding - the statement-level binding name used at registration.
+     * @returns the library description, or `undefined` when no such binding is registered.
+     */
+    describeLib(binding) {
+        const ns = this.libs[binding];
+        if (!ns)
+            return undefined;
+        const meta = this.libDecls.get(binding);
+        const functions = [];
+        for (const [name, value] of Object.entries(ns)) {
+            if (typeof value !== 'function')
+                continue;
+            const opMeta = dualOpMetaOf(value);
+            functions.push({
+                name,
+                engines: opMeta?.engines,
+                outputs: opMeta?.outputs,
+            });
+        }
+        return {
+            binding,
+            packageName: meta?.packageName,
+            role: meta?.decl?.role ?? 'library',
+            conformsTo: meta?.decl?.conformsTo,
+            platform: meta?.decl?.platform ?? [],
+            functions,
+        };
+    }
+    /**
+     * 库调用方查询面（2026-10-14 §3.3 第 3 项）：回答「给定引擎，这个库的哪些函数可以调用」。
+     *
+     * 判定与 `backend-dispatch.ts#decidePath` 的静态规则同源（中立 op = 全引擎可调；
+     * 声明了 `engines` 的 op 只在该集合内可调），因此拒绝项与实际执行前的拒绝**必然一致**。
+     * 只在确实被拒时给出 `reason`，可调项不带噪音字段。
+     *
+     * @param engineId - the BREP engine id to test against (e.g. `'occt'` / `'brepkit'`).
+     * @returns callable / statically-rejected split for the given engine.
+     */
+    libsUnder(engineId) {
+        const callable = [];
+        const rejected = [];
+        for (const [binding, ns] of Object.entries(this.libs)) {
+            for (const [name, value] of Object.entries(ns ?? {})) {
+                if (typeof value !== 'function')
+                    continue;
+                const engines = dualOpMetaOf(value)?.engines;
+                if (engines === undefined || engines.length === 0 || engines.includes(engineId)) {
+                    callable.push({ binding, name });
+                }
+                else {
+                    rejected.push({
+                        binding,
+                        name,
+                        reason: `requires engine ${engines.join('/')} (requested=${engineId})`,
+                    });
+                }
+            }
+        }
+        return { engineId, callable, rejected };
+    }
     /**
      * P4/P6 (unit-system D8): 汇总已注册 op 的量纲声明（callee → { paramDims, retDim }），
      * 供 extractMetadata 的 dimension pass 消费。键 = 脚本面 callee 名（含命名空间内成员名，
@@ -364,7 +528,7 @@ export class CadRuntime {
         }
         const engine = this.mode === 'mesh' || !hasBrepEngine()
             ? null
-            : await getBrepEngine();
+            : await getActiveBrepEngine();
         const kernel = engine?.primitives ?? null;
         this.kernel = kernel;
         this.brepChain = {
@@ -719,6 +883,8 @@ export class CadRuntime {
         const outputs = new Map();
         const shapeVarNames = new Set();
         const compounds = new Map();
+        // F3：cad.assembly 声明面（behavior.kind === 'assembly' 的 compound）
+        const assemblies = [];
         for (const name of de.listCtxKeys()) {
             const v = de.getCtxVar(name);
             if (!isShapeLike(v) && !isCompoundLike(v))
@@ -728,6 +894,17 @@ export class CadRuntime {
             if (isCompoundLike(v)) {
                 const behavior = getSlot(v)?.behavior;
                 compounds.set(asPartName(name), (behavior?.memberNames ?? []).map(asPartName));
+                // F3：只收 assembly 声明（group 无约束/关节，进声明面会让消费方对空约束集求解）
+                if (behavior?.kind === 'assembly') {
+                    assemblies.push({
+                        ...(behavior.name !== undefined ? { name: behavior.name } : {}),
+                        memberNames: behavior.memberNames,
+                        constraints: behavior.constraints,
+                        joints: behavior.joints ?? [],
+                        ...(behavior.solver !== undefined ? { solver: behavior.solver } : {}),
+                        compound: v,
+                    });
+                }
             }
         }
         // statementCache 同步（E8 getCachedOutput）：direct 无语句 key——用行级身份键填
@@ -849,6 +1026,7 @@ export class CadRuntime {
             topology: topology.size > 0 ? topology : undefined,
             naming: naming.size > 0 ? naming : undefined,
             compounds: compounds.size > 0 ? compounds : undefined,
+            assemblies: assemblies.length > 0 ? assemblies : undefined,
             kinematics: de.kinematicsSnapshot.size > 0 ? de.kinematicsSnapshot : undefined,
             detectedUnits: de.detectedUnitsSnapshot.size > 0 ? de.detectedUnitsSnapshot : undefined,
             multiPartCounts: de.multiPartCountSnapshot.size > 0 ? de.multiPartCountSnapshot : undefined,
@@ -959,7 +1137,8 @@ export class CadRuntime {
      * import 表（UiMetadata.imports）驱动的自动装载。
      */
     async autoLoadLibsFromImports(imports) {
-        if (!this.ports.libLoader)
+        const loader = this.ports.libLoader;
+        if (!loader)
             return undefined;
         for (const imp of imports) {
             if (imp.kind !== 'namespace')
@@ -974,7 +1153,7 @@ export class CadRuntime {
                 continue; // 已注册（宿主注入或此前自动装载）→ 不覆盖
             let ns;
             try {
-                ns = await this.ports.libLoader.loadLib(imp.packageName ?? imp.specifier ?? '');
+                ns = await loader.loadLib(imp.packageName ?? imp.specifier ?? '');
             }
             catch (err) {
                 return {
@@ -990,9 +1169,16 @@ export class CadRuntime {
                 };
             }
             const resolved = imp.packageName ?? imp.specifier ?? '';
+            // 库级定位声明（§3.3 第 1 项）：来源是库自身 package.json 的 `faijs.lib` +
+            // `peerDependencies`，与下面逐函数的实现事实是**两个不同维度**（`autoLiftFor`
+            // 与 `libMetaFor` 同源同一次读盘）。此处只搬运原始值，校验与解析在
+            // registerLib → assertLibDecl / admitCompatLib 里做，装配期一次完成。
+            const libMeta = loader.libMetaFor?.(resolved);
             this.registerLib(imp.localName, ns, {
-                autoLift: this.ports.libLoader.options?.autoLiftFor?.(resolved) ?? this.ports.libLoader.options?.autoLift ?? !hasDualOp(ns),
+                autoLift: loader.options?.autoLiftFor?.(resolved) ?? loader.options?.autoLift ?? !hasDualOp(ns),
                 packageName: imp.packageName,
+                lib: libMeta?.lib,
+                peers: libMeta?.peers,
             });
         }
         return undefined;
@@ -1015,6 +1201,27 @@ export class CadRuntime {
             if (solid !== undefined && this.kernel) {
                 ordinalToHash = Array.from(this.kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND));
             }
+            else if (this.kernel) {
+                // compound 终端（多零件 load / 装配）：无单一 solidCache 键——按 children
+                // 声明序逐成员 subShapeHashes 拼接（与 buildCompoundTopologyRuntime 的合并
+                // 面序同源：buildAssemblySelectorManifest 按 parts 数组序拼 face 行，序号
+                // 对齐合并拓扑的 ordinal）。任一成员无 BREP solid → 放弃（保持 undefined，
+                // 面/边行 role 显式 null，不伪造）。
+                const v = this.directExecutor.getCtxVar(partName);
+                if (isCompoundLike(v)) {
+                    const merged = [];
+                    for (const child of v.children ?? []) {
+                        const cs = brepOf(child);
+                        if (cs === undefined) {
+                            merged.length = 0;
+                            break;
+                        }
+                        merged.push(...Array.from(this.kernel.subShapeHashes(cs, 'face', HASH_UPPER_BOUND)));
+                    }
+                    if (merged.length > 0)
+                        ordinalToHash = merged;
+                }
+            }
             return {
                 source: 'brep',
                 partName,
@@ -1513,24 +1720,31 @@ import { createApiNamespace } from '../api/api-namespace.js';
  * default library.
  *
  * This is the single public `createRuntime` entry point. Hosts get "engine +
- * standard library" in one call. If `libs` already contains a `cad` key, that
- * caller-supplied namespace is kept (not overwritten).
+ * standard library" in one call. The `cad` binding name is **reserved** —
+ * passing `libs.cad` throws (cad is engine-built-in and cannot be overridden).
+ * Hosts may still register third-party libraries under any other name.
  *
  * @param ports - the host-injected environment capabilities.
  * @param mode - the execution mode (default 'auto').
- * @param libs - the host-injected library namespaces. If `libs.cad` is omitted,
- *   the built-in cad namespace is auto-registered as the default lib.
+ * @param libs - the host-injected library namespaces. Must NOT contain `cad`.
  * @param options - optional runtime options (e.g. `execBackend`, `tessellation`).
  * @returns a new CadRuntime with `cad` registered as the default namespace.
+ * @throws if `libs.cad` is present (cad is a reserved binding name).
  */
 export function createRuntime(ports, mode, libs, options) {
-    const rt = new CadRuntime(ports, mode, libs, options);
-    if (!libs?.cad) {
-        rt.registerLib('cad', createApiNamespace(), {
-            default: true,
-            packageName: '@faicad/faijs',
-        });
+    if (libs && 'cad' in libs) {
+        throw new Error('E_CAD_RESERVED: "cad" is an engine-built-in reserved namespace. ' +
+            'Hosts cannot override or replace it. Use a different name for your ' +
+            'custom library, or omit libs.cad to use the built-in cad namespace.');
     }
+    const rt = new CadRuntime(ports, mode, libs, options);
+    rt.registerLib('cad', createApiNamespace(), {
+        default: true,
+        packageName: '@faicad/faijs',
+    });
+    // Mark `cad` as reserved — any subsequent `registerLib('cad', ...)` from the
+    // host will be rejected by the guard at the top of registerLib.
+    rt._cadReserved = true;
     return rt;
 }
 /**
@@ -1548,6 +1762,11 @@ export function createRuntime(ports, mode, libs, options) {
  * @returns a new CadRuntime without cad registered.
  */
 export function createBareRuntime(ports, mode, libs, options) {
+    if (libs && 'cad' in libs) {
+        throw new Error('E_CAD_RESERVED: "cad" is an engine-built-in reserved namespace. ' +
+            'Hosts cannot register or override it. Use a different name for your ' +
+            'custom library, or use createRuntime() to get the built-in cad namespace.');
+    }
     return new CadRuntime(ports, mode, libs, options);
 }
 //# sourceMappingURL=runtime.js.map