@faicad/faijs 0.30.9 → 0.32.2

package/dist/define-op.d.ts

@@ -25,13 +25,12 @@
  * the Shape type and the structural `isMeshShape` guard) — the dist/sdk.js
  * static-import guard keeps passing.
  */
-import { type BrepCapabilityName } from './cad-runtime/backend-dispatch.js';
 import { type CompoundShape } from './shape.js';
 import { type SlotMap } from './api/internal/dual-form-args.js';
 import { type ResultLike } from './api/internal/result-unwrap.js';
 import type { Shape } from './mesh/types.js';
 import { type BrepEngineId, type BrepHandle } from './brep/engine/types.js';
-import type { DimName } from './units.js';
+import type { DimName, DimDecl, DimSpec } from './units.js';
 import { type Provenance } from './topology/naming/lineage.js';
 /** Raw mesh data (structurally identical to Shape; mesh impls return it). */
 export type MeshData = {
@@ -78,11 +77,10 @@ export interface BrepResult {
 export type BrepProduct = BrepHandle | BrepResult | Shape | CompoundShape | Record<string, BrepHandle | BrepResult | Shape | CompoundShape> | ResultLike;
 /** BREP implementation: sync or async; returns a brep product. */
 export type BrepImpl<A extends unknown[]> = (...args: A) => BrepProduct | Promise<BrepProduct>;
-/** Optional declaration: capabilities (D5) and named multi-products (split, scheme C). */
+/** Optional declaration: named multi-products (split, scheme C) + platform identity. */
 export interface DualOpOptions {
     /** Op name (error messages); falls back to an anonymous prefix when absent. */
     name?: string;
-    capabilities?: BrepCapabilityName[];
     /**
      * 平台身份声明（D11，narrowing plan 2026-09-24）：本 op 实现可运行在哪些
      * BREP 引擎上——一个**引擎白名单**。缺省 = 全平台（中立 op——实现只用 L1 核心面）。
@@ -90,10 +88,8 @@ export interface DualOpOptions {
      * 平台 op（实现 import 了 `occt-kernel/*` / `brepkit-kernel/*`，调用该平台
      * 原生方法）**必须**声明 `engines` 自证身份。
      *
-     * 与 `capabilities` **可以并存**（2026-09-24 撤销 D11-7 互斥）：两者是正交的两轴——
-     * `engines` 收窄「在哪些引擎上跑」，`capabilities` 声明「需要哪些内核能力」。判定
-     * 次序 `engines` 在先（D11-2），能力门随后对同一引擎继续求交，故同时声明等于
-     * 「只在这些引擎上，且要求这些能力」——不会静默放行"目标引擎缺该能力"的组合。
+     * 这是 op 侧**唯一**的收窄轴：引擎能做什么由引擎自己的实现与
+     * `brep/engine/native-history.ts` 在写代码时刻定死，op 不声明能力、分派时不查能力表。
      */
     engines?: readonly BrepEngineId[];
     /**
@@ -126,13 +122,18 @@ export interface DualOpOptions {
      */
     naming: Provenance;
     /**
-     * Script-side dimension declaration (unit-system D8): per-parameter dim for
-     * the static `dimension` check stage. Params absent here are treated as
-     * dimensionless and exempt from the check. `DimName` is a pure type import.
-     */
-    paramDims?: Record<string, DimName>;
+    * Script-side dimension declaration (unit-system D8): per-parameter dim for
+    * the static `dimension` check stage. `'plain'` means a pure number with no
+    * physical dimension (design doc §3.1). Params absent here are treated as
+    * dimensionless and exempt from the check.
+    */
+    paramDims?: Record<string, DimDecl>;
     /** Return dimension declaration (D8): the value produced carries this dim. */
     retDim?: DimName;
+    /** D8+: recursive DimSpec for structured params (e.g. cad.sketch's shapes[]/constraints[]). */
+    spec?: DimSpec;
+    /** D8+: dimension check mode: 'error' (default, blocks) or 'warn' (warns without blocking). */
+    dimCheck?: 'error' | 'warn';
 }
 /** Implementation set (at least one of mesh/brep is required, D1/D1b); options are siblings of the implementations. */
 export type DualOpImpls<A extends unknown[]> = (DualOpOptions & {
@@ -149,7 +150,6 @@ export interface DualOpMeta {
     brep?: unknown;
     /** Op name (error messages). */
     name?: string;
-    capabilities?: BrepCapabilityName[];
     /** 平台身份声明（D11，镜像 DualOpOptions.engines）。 */
     engines?: readonly BrepEngineId[];
     /** 网格实体路径的引擎要求（镜像 DualOpOptions.meshEngines；缺省 = `['manifold']`）。 */
@@ -161,9 +161,13 @@ export interface DualOpMeta {
     /** Topology identity provenance (Phase 2.3, mirrors DualOpOptions.naming). */
     naming: Provenance;
     /** Script-side dimension declaration (D8, mirrors DualOpOptions.paramDims). */
-    paramDims?: Record<string, DimName>;
+    paramDims?: Record<string, DimDecl>;
     /** Return dimension declaration (D8). */
     retDim?: DimName;
+    /** D8+: recursive DimSpec (mirrors DualOpOptions.spec). */
+    spec?: DimSpec;
+    /** D8+: dimension check mode (mirrors DualOpOptions.dimCheck). */
+    dimCheck?: 'error' | 'warn';
 }
 /** Property key carrying DualOpMeta on wrapped functions. */
 export declare const DUAL_OP_META = "__faijs__dualOp";
@@ -184,8 +188,8 @@ type MetaCarrier = {
  *
  * @param decl - the declaration object: implementations `{ mesh }` (mesh-only),
  * `{ brep }` (brep-only, D1b), or `{ mesh, brep }` (dual-path), plus optional
- * `capabilities` (D5: missing capability degrades in auto, errors in brep mode)
- * and `outputs` (named multi-products, e.g. split) as siblings.
+ * `engines` (D11: engine whitelist for the implementation) and `outputs`
+ * (named multi-products, e.g. split) as siblings.
  * @returns the wrapped geometry function with dual-op metadata attached.
  */
 export declare function defineOp<A extends unknown[]>(decl: DualOpImpls<A> & {
@@ -201,7 +205,7 @@ export declare function defineOp<A extends unknown[]>(decl: DualOpImpls<A>): ((.
  * Assembly-time validation (③, strict mode, D-4): a library that exports any
  * dual-op function must carry a matching `contractVersion`, and every exported
  * dual-op must be structurally valid (mesh a function, brep a function or
- * undefined, capabilities/outputs well-formed). Called by `registerLib`.
+ * undefined, engines/outputs well-formed). Called by `registerLib`.
  *
  * Functions without dual-op metadata are left untouched (declarative
  * enforcement boundary — K5 forbids name-based classification).

package/dist/define-op.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"define-op.d.ts","sourceRoot":"","sources":["../src/define-op.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAwC,KAAK,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AAU9G,OAAO,EAAqC,KAAK,aAAa,EAAE,MAAM,SAAS,CAAA;AAG/E,OAAO,EAAsB,KAAK,OAAO,EAAE,MAAM,+BAA+B,CAAA;AAChF,OAAO,EAAsC,KAAK,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAClG,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAmB,KAAK,YAAY,EAAE,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACzF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EAAE,KAAK,UAAU,EAAkB,MAAM,2BAA2B,CAAA;AAK3E,6EAA6E;AAC7E,MAAM,MAAM,QAAQ,GAAG;IAAE,SAAS,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAA;AAExE;;;;;;;;;;;;;GAaG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,KAAK,CAEtD;AAED;;;;;;;;;;;GAWG;AAEH,wHAAwH;AACxH,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,KAAK,GAAG,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,KAAK,GAAG,aAAa,CAAC,CAAA;AAE7G,mGAAmG;AACnG,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAAA;AAE9F,iFAAiF;AACjF,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,UAAU,CAAA;IACjB,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;CACtC;AAED,iJAAiJ;AACjJ,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,UAAU,GACV,KAAK,GACL,aAAa,GACb,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,KAAK,GAAG,aAAa,CAAC,GAC/D,UAAU,CAAA;AAEd,kEAAkE;AAClE,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAAA;AAE9F,0FAA0F;AAC1F,MAAM,WAAW,aAAa;IAC5B,+EAA+E;IAC/E,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,YAAY,CAAC,EAAE,kBAAkB,EAAE,CAAA;IACnC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC;;;;;;;;;;OAUG;IACH,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC/B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,gFAAgF;IAChF,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B;;;;;OAKG;IACH,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB;;;;;OAKG;IACH,MAAM,EAAE,UAAU,CAAA;IAClB;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACnC,8EAA8E;IAC9E,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB;AAED,uHAAuH;AACvH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,IACvC,CAAC,aAAa,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,GAC3D,CAAC,aAAa,GAAG;IAAE,IAAI,CAAC,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,CAAA;AAEzD,gFAAgF;AAChF,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,YAAY,CAAC,EAAE,kBAAkB,EAAE,CAAA;IACnC,4CAA4C;IAC5C,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,qEAAqE;IACrE,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC/B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,8EAA8E;IAC9E,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,8EAA8E;IAC9E,MAAM,EAAE,UAAU,CAAA;IAClB,+EAA+E;IAC/E,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACnC,yCAAyC;IACzC,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB;AAED,6DAA6D;AAC7D,eAAO,MAAM,YAAY,oBAAoB,CAAA;AAE7C,KAAK,WAAW,GAAG;IAAE,CAAC,YAAY,CAAC,CAAC,EAAE,UAAU,CAAA;CAAE,CAAA;AA2IlD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,EAC1C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GAC3C,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,WAAW,CAAA;AACjE;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,EAC1C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GACnB,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,WAAW,CAAA;AAwIjD;;;;;;;;;;GAUG;AACH;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAG9D;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,EAAE,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAGhE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAoEpE"}
+{"version":3,"file":"define-op.d.ts","sourceRoot":"","sources":["../src/define-op.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAYH,OAAO,EAAqC,KAAK,aAAa,EAAE,MAAM,SAAS,CAAA;AAG/E,OAAO,EAAsB,KAAK,OAAO,EAAE,MAAM,+BAA+B,CAAA;AAChF,OAAO,EAAsC,KAAK,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAClG,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAmB,KAAK,YAAY,EAAE,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACzF,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACxD,OAAO,EAAE,KAAK,UAAU,EAAkB,MAAM,2BAA2B,CAAA;AAK3E,6EAA6E;AAC7E,MAAM,MAAM,QAAQ,GAAG;IAAE,SAAS,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAA;AAExE;;;;;;;;;;;;;GAaG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,KAAK,CAEtD;AAED;;;;;;;;;;;GAWG;AAEH,wHAAwH;AACxH,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,KAAK,GAAG,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,KAAK,GAAG,aAAa,CAAC,CAAA;AAE7G,mGAAmG;AACnG,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAAA;AAE9F,iFAAiF;AACjF,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,UAAU,CAAA;IACjB,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;CACtC;AAED,iJAAiJ;AACjJ,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,UAAU,GACV,KAAK,GACL,aAAa,GACb,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,KAAK,GAAG,aAAa,CAAC,GAC/D,UAAU,CAAA;AAEd,kEAAkE;AAClE,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAAA;AAE9F,wFAAwF;AACxF,MAAM,WAAW,aAAa;IAC5B,+EAA+E;IAC/E,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC;;;;;;;;;;OAUG;IACH,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC/B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,gFAAgF;IAChF,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B;;;;;OAKG;IACH,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB;;;;;OAKG;IACH,MAAM,EAAE,UAAU,CAAA;IACpB;;;;;MAKE;IACF,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC,8EAA8E;IAC9E,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,+FAA+F;IAC/F,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,+FAA+F;IAC/F,QAAQ,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;CAC5B;AAED,uHAAuH;AACvH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,IACvC,CAAC,aAAa,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,GAC3D,CAAC,aAAa,GAAG;IAAE,IAAI,CAAC,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,CAAA;AAEzD,gFAAgF;AAChF,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,4CAA4C;IAC5C,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,qEAAqE;IACrE,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC/B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,8EAA8E;IAC9E,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,8EAA8E;IAC9E,MAAM,EAAE,UAAU,CAAA;IACpB,+EAA+E;IAC/E,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC,yCAAyC;IACzC,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,2DAA2D;IAC3D,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,kEAAkE;IAClE,QAAQ,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;CAC5B;AAED,6DAA6D;AAC7D,eAAO,MAAM,YAAY,oBAAoB,CAAA;AAE7C,KAAK,WAAW,GAAG;IAAE,CAAC,YAAY,CAAC,CAAC,EAAE,UAAU,CAAA;CAAE,CAAA;AA2IlD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,EAC1C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GAC3C,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,WAAW,CAAA;AACjE;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,EAC1C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GACnB,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,WAAW,CAAA;AAoIjD;;;;;;;;;;GAUG;AACH;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAG9D;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,EAAE,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAGhE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAyDpE"}

package/dist/define-op.js

@@ -25,7 +25,7 @@
  * the Shape type and the structural `isMeshShape` guard) — the dist/sdk.js
  * static-import guard keeps passing.
  */
-import { dispatchPath, firstMissingCapability } from './cad-runtime/backend-dispatch.js';
+import { dispatchPath } from './cad-runtime/backend-dispatch.js';
 import { CONTRACT_VERSION, BrepUnsupportedError, MeshUnsupportedError, getCurrentStmt, getRuntimeState, nameOf, } from './runtime-state.js';
 import { asStmtId } from './identity.js';
 import { isShape, solid, fromBrep, getSlot } from './shape.js';
@@ -214,7 +214,6 @@ export function defineOp(decl) {
         mesh: decl.mesh,
         brep: decl.brep,
         name: decl.name,
-        capabilities: decl.capabilities,
         engines: decl.engines,
         meshEngines: decl.meshEngines,
         outputs: decl.outputs,
@@ -223,6 +222,8 @@ export function defineOp(decl) {
         naming: decl.naming,
         paramDims: decl.paramDims,
         retDim: decl.retDim,
+        spec: decl.spec,
+        dimCheck: decl.dimCheck,
     };
     // Async wrapper: implementations may be sync or async (api mesh paths are
     // often async, e.g. drill/engrave/boolean). The compiled .fai.js product always
@@ -276,12 +277,7 @@ export function defineOp(decl) {
                     },
                 });
             }
-            // D5 capability routing: feed the first missing capability to dispatchPath
-            // (auto degrades to mesh, brep mode errors). Matched as a concrete name
-            // against the engine's declaration set (family booleans + its `evolution`
-            // list of *WithHistory kernel function names) — see firstMissingCapability.
-            const missing = firstMissingCapability(meta.capabilities);
-            const path = dispatchPath(inputs, meta, missing, meta.engines);
+            const path = dispatchPath(inputs, meta, meta.engines);
             if (path === 'brep') {
                 const r = await runImpl(meta, decl.brep, callArgs);
                 const out = meta.outputs ? wrapByKeys(r, meta.outputs, wrapBrepOne) : wrapBrepOne(r);
@@ -327,7 +323,7 @@ export function defineOp(decl) {
  * Assembly-time validation (③, strict mode, D-4): a library that exports any
  * dual-op function must carry a matching `contractVersion`, and every exported
  * dual-op must be structurally valid (mesh a function, brep a function or
- * undefined, capabilities/outputs well-formed). Called by `registerLib`.
+ * undefined, engines/outputs well-formed). Called by `registerLib`.
  *
  * Functions without dual-op metadata are left untouched (declarative
  * enforcement boundary — K5 forbids name-based classification).
@@ -385,17 +381,6 @@ export function assertLibConforms(lib) {
         if (meta.brep !== undefined && typeof meta.brep !== 'function') {
             throw new Error(`[faijs] lib function '${name}' declares dual-op with a non-function brep implementation`);
         }
-        if (meta.capabilities !== undefined && !Array.isArray(meta.capabilities)) {
-            throw new Error(`[faijs] lib function '${name}' declares invalid capabilities (expected string[])`);
-        }
-        // D11-7 互斥**已撤销**（2026-09-24 用户裁决）：engines 与 capabilities 是两条正交的
-        // 声明轴——前者是引擎身份白名单（在哪些引擎上跑），后者是实现所需内核能力清单
-        // （要用哪些方法）。两者并存是合法且更诚实的写法：engines 收窄候选集，能力门随后
-        // 对同一引擎继续求交（dispatchPath 的求值次序本就是 engines 在先，D11-2）。
-        // 曾经的理由「能力名空间只收 L1 中立名」与事实不符——BrepCapabilityName 含
-        // BrepMethodKind 逐核真名（isNull / dispose / chamfer / shell / ...，见
-        // brep/engine/types.ts），本就是内核名空间；平台 op 声明能力名并不越界。
-        // 故此处不再校验两者是否同时出现。
         if (meta.engines !== undefined) {
             if (!Array.isArray(meta.engines) || meta.engines.length === 0) {
                 throw new Error(`[faijs] lib function '${name}' declares invalid engines (expected non-empty BrepEngineId[])`);

package/dist/define-op.js.map

@@ -1 +1 @@
-{"version":3,"file":"define-op.js","sourceRoot":"","sources":["../src/define-op.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,YAAY,EAAE,sBAAsB,EAA2B,MAAM,gCAAgC,CAAA;AAC9G,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,oBAAoB,EACpB,cAAc,EACd,eAAe,EACf,MAAM,GACP,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,QAAQ,EAAiB,MAAM,YAAY,CAAA;AACpD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAsB,MAAM,SAAS,CAAA;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAC3E,OAAO,EAAE,kBAAkB,EAAgB,MAAM,+BAA+B,CAAA;AAChF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAmB,MAAM,8BAA8B,CAAA;AAElG,OAAO,EAAE,eAAe,EAAsC,MAAM,qBAAqB,CAAA;AAEzF,OAAO,EAAmB,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAE3E,yDAAyD;AACzD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,eAAe,CAAC,CAAA;AAK3D;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAAC,CAAU;IACxC,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAA;AACrC,CAAC;AA6HD,6DAA6D;AAC7D,MAAM,CAAC,MAAM,YAAY,GAAG,iBAAiB,CAAA;AAI7C,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAA;IACxB,OAAO,KAAK,CAAC,CAAa,CAAC,CAAA;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAA;IACxB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,eAAe,IAAI,CAAC,EAAE,CAAC;QAChE,MAAM,GAAG,GAAG,CAAe,CAAA;QAC3B,OAAO,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAA;IAC7C,CAAC;IACD,sEAAsE;IACtE,wEAAwE;IACxE,sEAAsE;IACtE,yEAAyE;IACzE,sEAAsE;IACtE,0EAA0E;IAC1E,qEAAqE;IACrE,2EAA2E;IAC3E,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,OAAO,CAAqB,CAAA;IAC9B,CAAC;IACD,OAAO,UAAU,CAAC,CAAC,CAAC,CAAA;AACtB,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,IAAc,EAAE,OAA8B;IAC5E,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAA4B,CAAA;IAChD,MAAM,GAAG,GAA0B,EAAE,CAAA;IACrC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QAChB,4EAA4E;QAC5E,6EAA6E;QAC7E,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC/E,CAAC;IACD,wEAAwE;IACxE,8EAA8E;IAC9E,oEAAoE;IACpE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAqB,CAAA;IAC5D,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,GAAkC,EAAE,MAAe;IACjF,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAA;IAC1D,IAAI,CAAC,GAAG,EAAE,UAAU;QAAE,OAAM;IAC5B,MAAM,UAAU,GAAG,CAAC,CAAU,EAAQ,EAAE;QACtC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,WAAW,IAAI,CAAC,IAAI,CAAE,CAAW,CAAC,UAAU,EAAE,CAAC;YACxF,CAAC;YAAC,CAAW,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAA;QAC3C,CAAC;IACH,CAAC,CAAA;IACD,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,UAAU,CAAC,GAAG,CAAC,CAAA;QACf,OAAM;IACR,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAG,CAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;;YACrD,UAAU,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,GAAkC,EAAE,MAAe;IAC3E,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IACpD,IAAI,CAAC,GAAG,EAAE,IAAI;QAAE,OAAM;IACtB,MAAM,UAAU,GAAG,CAAC,CAAU,EAAQ,EAAE;QACtC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,WAAW,IAAI,CAAC,IAAI,CAAE,CAAW,CAAC,IAAI,EAAE,CAAC;YAClF,CAAC;YAAC,CAAW,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAA;QAC/B,CAAC;IACH,CAAC,CAAA;IACD,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,UAAU,CAAC,GAAG,CAAC,CAAA;QACf,OAAM;IACR,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAG,CAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;;YACrD,UAAU,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,OAAO,CAAC,IAAgB;IAC/B,OAAO,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAA;AAC9B,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,KAAK,UAAU,OAAO,CACpB,IAAgB,EAChB,IAAgD,EAChD,IAAe;IAEf,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC3B,IAAI,OAAgB,CAAA;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,MAAO,IAAqC,CAAC,GAAG,IAAI,CAAC,CAAA;IACjE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,oBAAoB,IAAI,CAAC,YAAY,oBAAoB;YAAE,MAAM,CAAC,CAAA;QACnF,0EAA0E;QAC1E,0EAA0E;QAC1E,yEAAyE;QACzE,+CAA+C;QAC/C,IAAI,CAAC,YAAY,OAAO;YAAE,MAAM,CAAC,CAAA;QACjC,MAAM,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IAC7B,CAAC;IACD,OAAO,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;AACrC,CAAC;AA+BD,8FAA8F;AAC9F,MAAM,UAAU,QAAQ,CACtB,IAAoB;IAEpB,0EAA0E;IAC1E,4CAA4C;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAA;IAC5F,CAAC;IAED,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAA;IAED,0EAA0E;IAC1E,gFAAgF;IAChF,0DAA0D;IAC1D,MAAM,OAAO,GAAG,KAAK,EAAE,GAAG,IAAO,EAA0C,EAAE;QAC3E,2EAA2E;QAC3E,8DAA8D;QAC9D,2EAA2E;QAC3E,MAAM,QAAQ,GAAG,CACf,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAiB,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACpF,CAAA;QACN,yEAAyE;QACzE,0EAA0E;QAC1E,yEAAyE;QACzE,+EAA+E;QAC/E,MAAM,MAAM,GAAI,QAAsB,CAAC,MAAM,CAAC,eAAe,CAAY,CAAA;QACzE,2EAA2E;QAC3E,0EAA0E;QAC1E,iEAAiE;QACjE,sEAAsE;QACtE,4EAA4E;QAC5E,4EAA4E;QAC5E,qEAAqE;QACrE,6EAA6E;QAC7E,+BAA+B;QAC/B,EAAE;QACF,kEAAkE;QAClE,wEAAwE;QACxE,kEAAkE;QAClE,6EAA6E;QAC7E,0EAA0E;QAC1E,qEAAqE;QACrE,2EAA2E;QAC3E,2EAA2E;QAC3E,MAAM,MAAM,GAAG,cAAc,EAAE,CAAA;QAC/B,MAAM,EAAE,GAAG,eAAe,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAG,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC,gBAAgB,KAAK,MAAM,CAAC,EAAE,CAAA;QACnE,IAAI,OAAO;YAAE,EAAE,CAAC,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACtD,IAAI,CAAC;YACH,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;gBACtB,cAAc,CAAC,QAAQ,CACrB;oBACE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBACzB,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC;oBACjB,MAAM;oBACN,OAAO,EAAE,MAAM,CAAC,OAAoC;oBACpD,UAAU,EAAE,IAAI,CAAC,MAAM;iBACxB,EACD;oBACE,MAAM;oBACN,WAAW,EAAE,GAAG,EAAE;wBAChB,MAAM,CAAC,GAAG,cAAc,EAAE,CAAA;wBAC1B,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;oBACrC,CAAC;iBACF,CACF,CAAA;YACH,CAAC;YACH,2EAA2E;YAC3E,wEAAwE;YACxE,0EAA0E;YAC1E,4EAA4E;YAC5E,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YACzD,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;YAC9D,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpB,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAA6D,EAAE,QAAQ,CAAC,CAAA;gBAC3G,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;gBACpF,sBAAsB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;gBACnC,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;gBAC7B,iDAAiD;gBACjD,sDAAsD;gBACtD,wDAAwD;gBACxD,0DAA0D;gBAC1D,MAAM,QAAQ,GAAG,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAsB,CAAA;gBAC7G,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAA;gBACzE,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;oBAC1B,cAAc,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAO,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;gBACjE,CAAC;gBACD,oDAAoD;gBACpD,uDAAuD;gBACvD,4DAA4D;gBAC5D,oCAAoC;gBACpC,IAAI,QAAQ,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;oBAClC,MAAM,KAAK,GAAG,cAAc,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;oBAClD,MAAM,KAAK,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAA;oBACnD,IAAI,KAAK;wBAAE,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAa,CAAC,CAAA;gBAC7F,CAAC;gBACD,OAAO,GAAG,CAAA;YACZ,CAAC;YACD,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAA6D,EAAE,QAAQ,CAAC,CAAA;YAC3G,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;YACrF,sBAAsB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YACpC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YAC9B,OAAO,IAAI,CAAA;QACX,CAAC;gBAAS,CAAC;YACT,wDAAwD;YACxD,0CAA0C;QAC5C,CAAC;IACH,CAAC,CAAA;IAED,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAA;IAChF,OAAO,OAAiF,CAAA;AAC1F,CAAC;AAED;;;;;;;;;;GAUG;AACH;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CAAC,EAA2B;IACnD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAChC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,UAAU,IAAK,CAAiB,CAAC,YAAY,CAAC,CAAC,CAAA;AACxF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,EAAW;IACtC,IAAI,OAAO,EAAE,KAAK,UAAU;QAAE,OAAO,SAAS,CAAA;IAC9C,OAAQ,EAAkB,CAAC,YAAY,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAA4B;IAC5D,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,eAAe,KAAK,gBAAgB,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CACb,wEAAwE,gBAAgB,SAAS,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAChI,CAAA;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAChD,IAAI,OAAO,KAAK,KAAK,UAAU;YAAE,SAAQ;QACzC,MAAM,IAAI,GAAI,KAAqB,CAAC,YAAY,CAAC,CAAA;QACjD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAC9C,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACvE,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,+CAA+C,CAAC,CAAA;QAC/F,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,4DAA4D,CAAC,CAAA;QAC5G,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,4DAA4D,CAAC,CAAA;QAC5G,CAAC;QACD,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,qDAAqD,CAAC,CAAA;QACrG,CAAC;QACD,iEAAiE;QACjE,yCAAyC;QACzC,8CAA8C;QAC9C,qDAAqD;QACrD,mDAAmD;QACnD,iEAAiE;QACjE,kDAAkD;QAClD,mBAAmB;QACnB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,gEAAgE,CAAC,CAAA;YAChH,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YAChE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,8BAA8B,MAAM,CAAC,GAAG,CAAC,uBAAuB,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1H,CAAA;YACH,CAAC;QACH,CAAC;QACD,uDAAuD;QACvD,4CAA4C;QAC5C,2CAA2C;QAC3C,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC/I,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,8DAA8D,CAAC,CAAA;YAC9G,CAAC;QACH,CAAC;QACD,IACE,IAAI,CAAC,OAAO,KAAK,SAAS;eACvB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,EACpF,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,gDAAgD,CAAC,CAAA;QAChG,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,6DAA6D,CAAC,CAAA;QAC7G,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,2CAA2C,CAAC,CAAA;QAC3F,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,oGAAoG,CAClI,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,SAAS,cAAc,CAAC,IAAa;IACnC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3D,MAAM,IAAI,GAAI,IAA2B,CAAC,IAAI,CAAA;IAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAA;IACjF,MAAM,IAAI,GAAI,IAA+B,CAAC,QAAQ,CAAA;IACtD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IACzG,MAAM,KAAK,GAAI,IAAiC,CAAC,UAAU,CAAA;IAC3D,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAC7G,OAAO,IAAI,CAAA;AACb,CAAC;AAED,0DAA0D;AAC1D,SAAS,aAAa,CAAC,MAAe;IACpC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IACxF,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;AAClF,CAAC","sourcesContent":["/**\n * define-op — dual-path implementation decorator for geometry functions\n * (D-face contract: mesh mandatory as the default path, BREP optional).\n *\n *\n * `defineOp({ mesh?, brep?, ... })` declares the implementation set of a\n * geometry function (a function whose signature returns `SolidShape`). The\n * wrapper:\n * - auto-collects geometry inputs via `args.filter(isGeometryInput)` — a shape\n *   that is identity-registered (`isShape`) or a structural mesh shape\n *   (`isMeshShape`, positions + indices — e.g. bare ManifoldMeshData handed in\n *   by a host via `geoToManifoldMesh`). The old per-function form passed the\n *   actual geometry args (`dispatchPath([input], ...)`), so a bare mesh input\n *   dispatched to the mesh path (`hasBrep=false`); the re-collection must keep\n *   that compatibility. No `inputs` field — decided at runtime by the args\n *   themselves, not the author.\n * - calls the engine's `dispatchPath` to select brep/mesh by mode (static,\n *   no runtime fallback);\n * - wraps raw products: mesh path → `solid()`, brep path → `fromHandle()` /\n *   `fromBrep()` (D3/D4: products must come from constructors, brep products\n *   must carry a BREP slot).\n *\n * Zero heavy runtime dependencies: imports only runtime-state / shape /\n * handle-bridge / backend-dispatch / mesh/types (a zero-import module holding\n * the Shape type and the structural `isMeshShape` guard) — the dist/sdk.js\n * static-import guard keeps passing.\n */\n\nimport { dispatchPath, firstMissingCapability, type BrepCapabilityName } from './cad-runtime/backend-dispatch'\nimport {\n  CONTRACT_VERSION,\n  BrepUnsupportedError,\n  MeshUnsupportedError,\n  getCurrentStmt,\n  getRuntimeState,\n  nameOf,\n} from './runtime-state'\nimport { asStmtId, type PartName } from './identity'\nimport { isShape, solid, fromBrep, getSlot, type CompoundShape } from './shape'\nimport { isMeshShape } from './mesh/types'\nimport { fromHandle, meshHandle, isOcctHandle } from './brep/handle-bridge'\nimport { positionalToObject, type SlotMap } from './api/internal/dual-form-args'\nimport { toOpFailure, unwrapResult, OpError, type ResultLike } from './api/internal/result-unwrap'\nimport type { Shape } from './mesh/types'\nimport { BREP_ENGINE_IDS, type BrepEngineId, type BrepHandle } from './brep/engine/types'\nimport type { DimName } from './units'\nimport { type Provenance, runtimeLineage } from './topology/naming/lineage'\n\n/** 合法引擎 id 集合（assertLibConforms 的 engines 校验用，D11-1）。 */\nconst BREP_ENGINE_ID_SET = new Set<string>(BREP_ENGINE_IDS)\n\n/** Raw mesh data (structurally identical to Shape; mesh impls return it). */\nexport type MeshData = { positions: Float32Array; indices: Uint32Array }\n\n/**\n * Geometry-input recognition for dispatch auto-collection.\n *\n * Compat rule: the old per-function form passed the *actual* geometry args to\n * `dispatchPath` (`[input]` / `shapes`), so a bare ManifoldMeshData object\n * (e.g. `geoToManifoldMesh` output passed straight by a host) had no BREP slot\n * → `hasBrep=false` → mesh path. defineOp must keep that: an input counts as\n * geometry when it is identity-registered (`isShape`, constructor product) OR\n * structurally a mesh shape (`positions` + `indices`). Params objects and other\n * scalar args are not geometry inputs.\n *\n * @param v - the candidate argument.\n * @returns true when the argument is a geometry input (registered shape or bare mesh data).\n */\nexport function isGeometryInput(v: unknown): v is Shape {\n  return isShape(v) || isMeshShape(v)\n}\n\n/**\n * §1.4 registration guard: the StmtId whose top-level `wrapped` is currently\n * registering a lineage node. Nested op calls (an impl invoking another op /\n * itself) share the same `getCurrentStmt()` anchor and are skipped so they\n * don't trip N3 (E_TOPO_DUPLICATE_STMT) with identical content. C1 (single\n * live runtime) means at most one statement registers at a time.\n *\n * The marker lives on the runtime state and is reset at statement boundaries\n * (runtime-state.setCurrentStmt: anchor change / end-of-statement), NOT at op\n * granularity — a TS library function (cq-compat Workplane op, etc.) may call\n * several defineOps within one statement, and only the first one must register.\n */\n\n/** Product of a mesh implementation: raw mesh data, a wrapped Shape, or (with `outputs`) a record of named products. */\nexport type MeshProduct = MeshData | Shape | CompoundShape | Record<string, MeshData | Shape | CompoundShape>\n\n/** Mesh implementation: sync or async (api mesh paths are often async); returns a mesh product. */\nexport type MeshImpl<A extends unknown[]> = (...args: A) => MeshProduct | Promise<MeshProduct>\n\n/** BREP implementation result: a raw handle, or a handle plus face evolution. */\nexport interface BrepResult {\n  solid: BrepHandle\n  faceEvolution?: Map<number, number[]>\n}\n\n/** Product of a BREP implementation: a raw handle, { solid, faceEvolution }, a wrapped Shape, or (with `outputs`) a record of named products. */\nexport type BrepProduct =\n  | BrepHandle\n  | BrepResult\n  | Shape\n  | CompoundShape\n  | Record<string, BrepHandle | BrepResult | Shape | CompoundShape>\n  | ResultLike\n\n/** BREP implementation: sync or async; returns a brep product. */\nexport type BrepImpl<A extends unknown[]> = (...args: A) => BrepProduct | Promise<BrepProduct>\n\n/** Optional declaration: capabilities (D5) and named multi-products (split, scheme C). */\nexport interface DualOpOptions {\n  /** Op name (error messages); falls back to an anonymous prefix when absent. */\n  name?: string\n  capabilities?: BrepCapabilityName[]\n  /**\n   * 平台身份声明（D11，narrowing plan 2026-09-24）：本 op 实现可运行在哪些\n   * BREP 引擎上——一个**引擎白名单**。缺省 = 全平台（中立 op——实现只用 L1 核心面）。\n   *\n   * 平台 op（实现 import 了 `occt-kernel/*` / `brepkit-kernel/*`，调用该平台\n   * 原生方法）**必须**声明 `engines` 自证身份。\n   *\n   * 与 `capabilities` **可以并存**（2026-09-24 撤销 D11-7 互斥）：两者是正交的两轴——\n   * `engines` 收窄「在哪些引擎上跑」，`capabilities` 声明「需要哪些内核能力」。判定\n   * 次序 `engines` 在先（D11-2），能力门随后对同一引擎继续求交，故同时声明等于\n   * 「只在这些引擎上，且要求这些能力」——不会静默放行\"目标引擎缺该能力\"的组合。\n   */\n  engines?: readonly BrepEngineId[]\n  /**\n   * 网格实体路径的引擎要求（方案 2026-10-01 §3.4）：本 op 的 mesh 实现**能接受\n   * 网格实体输入**的前提是「当前装配的网格后端 id 在此名单内」。\n   *\n   * 缺省 = `['manifold']`：mesh 实现跑在内置 `mesh/`（manifold CSG）上，它不认识\n   * 网格实体——拿网格实体喂它必须在**执行前**静态报错\n   * （`E_MESH_SOLID_UNSUPPORTED`），绝不运行时改走别的后端。\n   *\n   * 与 `engines` 正交：`engines` 收窄的是 **BREP 引擎**身份，本字段收窄的是\n   * **网格后端**身份（同一个 op 可以\"BREP 走 occt、网格实体走 brepkit\"）。\n   */\n  meshEngines?: readonly string[]\n  outputs?: string[]\n  /** L3 schema per named parameter (G1 codegen + UI panel, plain string form). */\n  schema?: Record<string, string>\n  /**\n   * D11 slot-map declaration (§4.2): the positional→object boxing table\n   * (SlotMap) mapping a positional call onto this op's native\n   * object form. Ops without it accept only the form their implementation\n   * natively takes.\n   */\n  slotMap?: SlotMap\n  /**\n   * Topology identity provenance (plan §4.4 / Phase 2.3, **required**).\n   * Declares the op's face-mapping category + new-face vocabulary.\n   * The lineage registrar (§4.3) reads this to build the blood-line graph;\n   * missing naming = compile-time error (G4: no undeclared ops).\n   */\n  naming: Provenance\n  /**\n   * Script-side dimension declaration (unit-system D8): per-parameter dim for\n   * the static `dimension` check stage. Params absent here are treated as\n   * dimensionless and exempt from the check. `DimName` is a pure type import.\n   */\n  paramDims?: Record<string, DimName>\n  /** Return dimension declaration (D8): the value produced carries this dim. */\n  retDim?: DimName\n}\n\n/** Implementation set (at least one of mesh/brep is required, D1/D1b); options are siblings of the implementations. */\nexport type DualOpImpls<A extends unknown[]> =\n  | (DualOpOptions & { mesh: MeshImpl<A>; brep?: BrepImpl<A> })\n  | (DualOpOptions & { mesh?: never; brep: BrepImpl<A> })\n\n/** Metadata hung on the wrapped function object (K5: function info is data). */\nexport interface DualOpMeta {\n  kind: 'dual-op'\n  mesh?: unknown\n  brep?: unknown\n  /** Op name (error messages). */\n  name?: string\n  capabilities?: BrepCapabilityName[]\n  /** 平台身份声明（D11，镜像 DualOpOptions.engines）。 */\n  engines?: readonly BrepEngineId[]\n  /** 网格实体路径的引擎要求（镜像 DualOpOptions.meshEngines；缺省 = `['manifold']`）。 */\n  meshEngines?: readonly string[]\n  outputs?: string[]\n  schema?: Record<string, string>\n  /** D11 slot-map declaration (positional → object boxing table, §9 naming). */\n  slotMap?: SlotMap\n  /** Topology identity provenance (Phase 2.3, mirrors DualOpOptions.naming). */\n  naming: Provenance\n  /** Script-side dimension declaration (D8, mirrors DualOpOptions.paramDims). */\n  paramDims?: Record<string, DimName>\n  /** Return dimension declaration (D8). */\n  retDim?: DimName\n}\n\n/** Property key carrying DualOpMeta on wrapped functions. */\nexport const DUAL_OP_META = '__faijs__dualOp'\n\ntype MetaCarrier = { [DUAL_OP_META]?: DualOpMeta }\n\nfunction wrapMeshOne(v: unknown): Shape {\n  if (isShape(v)) return v\n  return solid(v as MeshData)\n}\n\nfunction wrapBrepOne(v: unknown): Shape {\n  if (isShape(v)) return v\n  if (v !== null && typeof v === 'object' && 'faceEvolution' in v) {\n    const res = v as BrepResult\n    return fromBrep(meshHandle(res.solid), res)\n  }\n  // A plain object that is not a Shape and not an OCCT handle is a data\n  // product (e.g. a compat fn returning a sheetmetal-style record), not a\n  // geometry handle — pass it through so it lands in the engine's value\n  // store instead of being tessellated as if it were a bare handle. Native\n  // OCCT handles from an implementation are hand-computed shape numbers\n  // (from a branded number return) or objects; only the number path reaches\n  // fromHandle. The handle/data distinction must go through the shared\n  // isOcctHandle leaf (handle-bridge) — never a hardcoded '__occtWasm' in v.\n  if (v !== null && typeof v === 'object' && !isOcctHandle(v)) {\n    return v as unknown as Shape\n  }\n  return fromHandle(v)\n}\n\nfunction wrapByKeys(r: unknown, keys: string[], wrapOne: (v: unknown) => Shape): Record<string, Shape> {\n  const src = (r ?? {}) as Record<string, unknown>\n  const out: Record<string, Shape> = {}\n  for (const k of keys) {\n    const v = src[k]\n    // An output may be an array (e.g. the compat adapter adopts each element of\n    // an array-valued `outputs` field); wrap element-wise so arrays stay arrays.\n    out[k] = Array.isArray(v) ? (v.map(wrapOne) as unknown as Shape) : wrapOne(v)\n  }\n  // Pass through non-shape data keys (e.g. autoHeal's `report`): declared\n  // outputs are the geometry that gets Shape-wrapped, but sibling data products\n  // of the same op result must survive the statement boundary (§5.4).\n  for (const k of Object.keys(src)) {\n    if (!keys.includes(k)) out[k] = src[k] as unknown as Shape\n  }\n  return out\n}\n\n/**\n * 外观继承（设计文档 2026-10-05 v2 §6.1）：几何 op 返回新 Shape 时，默认继承\n * 第一个携带外观的几何输入（`inputs.find(appearance !== undefined)`）；产物\n * 已有外观则不动（后置 setColor 优先）。实现集中在产物包装点，避免每个 op\n * 手写——mesh 与 brep 两条路径的产物都经此补齐。\n */\nfunction inheritInputAppearance(out: Shape | Record<string, Shape>, inputs: Shape[]): void {\n  const src = inputs.find((i) => i.appearance !== undefined)\n  if (!src?.appearance) return\n  const setIfEmpty = (v: unknown): void => {\n    if (v !== null && typeof v === 'object' && 'positions' in v && !(v as Shape).appearance) {\n      ;(v as Shape).appearance = src.appearance\n    }\n  }\n  if (isShape(out)) {\n    setIfEmpty(out)\n    return\n  }\n  for (const k of Object.keys(out)) {\n    const v = out[k]\n    if (Array.isArray(v)) (v as unknown[]).forEach(setIfEmpty)\n    else setIfEmpty(v)\n  }\n}\n\n/**\n * 元数据继承（设计文档 2026-10-05-meta §2 ③）：几何 op 返回新 Shape 时，默认\n * 继承第一个携带 meta 的几何输入（`inputs.find(meta !== undefined)`），对象引用\n * 共享；产物已有 meta 则不动（后置 setName 优先）。实现集中在产物包装点，mesh\n * 与 brep 两条路径的产物都经此补齐。名称是显式声明，继承只是保底——需要新名的\n * 产物（组合/变换后）由用户显式 `setName` 覆盖。\n */\nfunction inheritInputMeta(out: Shape | Record<string, Shape>, inputs: Shape[]): void {\n  const src = inputs.find((i) => i.meta !== undefined)\n  if (!src?.meta) return\n  const setIfEmpty = (v: unknown): void => {\n    if (v !== null && typeof v === 'object' && 'positions' in v && !(v as Shape).meta) {\n      ;(v as Shape).meta = src.meta\n    }\n  }\n  if (isShape(out)) {\n    setIfEmpty(out)\n    return\n  }\n  for (const k of Object.keys(out)) {\n    const v = out[k]\n    if (Array.isArray(v)) (v as unknown[]).forEach(setIfEmpty)\n    else setIfEmpty(v)\n  }\n}\n\n/** Human-readable op label for error messages (falls back when unnamed). */\nfunction opLabel(meta: DualOpMeta): string {\n  return meta.name ?? '<anon>'\n}\n\n/**\n * Run one implementation through the unified Result boundary (§5.2, D1).\n *\n * Transition contract: an implementation may\n *   ① return a `Result`  → unwrapped here (`err` becomes a throw);\n *   ② throw              → normalized into an op-labelled error;\n *   ③ return a plain product → passed through untouched.\n *\n * The two engine-level routing errors keep their class: `runtime.ts` matches\n * `BrepUnsupportedError` / `MeshUnsupportedError` by `instanceof` to turn them\n * into `ExecutionResult.failedAt`, so they must not be re-wrapped.\n *\n * @param meta - the op's metadata (name).\n * @param impl - the implementation to run.\n * @param args - the normalized argument list.\n * @returns the (unwrapped) implementation product.\n */\nasync function runImpl(\n  meta: DualOpMeta,\n  impl: ((...a: unknown[]) => unknown) | undefined,\n  args: unknown[],\n): Promise<unknown> {\n  const label = opLabel(meta)\n  let product: unknown\n  try {\n    product = await (impl as (...a: unknown[]) => unknown)(...args)\n  } catch (e) {\n    if (e instanceof BrepUnsupportedError || e instanceof MeshUnsupportedError) throw e\n    // An OpError is already the engine-recognizable statement failure (thrown\n    // by the compat adapter's Result unwrap, or by impls returning a Result);\n    // re-wrapping it into a plain Error would make CadRuntime treat it as an\n    // uncaught bug instead of a statement failure.\n    if (e instanceof OpError) throw e\n    throw toOpFailure(label, e)\n  }\n  return unwrapResult(product, label)\n}\n\n/**\n * Declare a geometry function's dual-path implementation set.\n *\n * At least one implementation (mesh or brep) is required — enforced at\n * compile time by the union type and at construction time by a runtime check.\n * Geometry inputs are auto-collected by identity-or-structure\n * (`args.filter(isGeometryInput)` = `isShape` ∨ `isMeshShape`); raw mesh\n * products are wrapped by `solid()`, raw brep products by\n * `fromHandle()` / `fromBrep()`. `mode` selects the engine path via the\n * engine's static `dispatchPath` — the author never writes an `if (path)`\n * branch.\n *\n * @param decl - the declaration object: implementations `{ mesh }` (mesh-only),\n * `{ brep }` (brep-only, D1b), or `{ mesh, brep }` (dual-path), plus optional\n * `capabilities` (D5: missing capability degrades in auto, errors in brep mode)\n * and `outputs` (named multi-products, e.g. split) as siblings.\n * @returns the wrapped geometry function with dual-op metadata attached.\n */\nexport function defineOp<A extends unknown[]>(\n  decl: DualOpImpls<A> & { outputs: string[] },\n): ((...args: A) => Promise<Record<string, Shape>>) & MetaCarrier\n/**\n * Overload without `outputs`: single-product functions resolve to a `Promise<Shape>`.\n * @param decl - the declaration object: implementations `{ mesh }`, `{ brep }`, or `{ mesh, brep }`.\n * @returns the wrapped geometry function with dual-op metadata attached.\n */\nexport function defineOp<A extends unknown[]>(\n  decl: DualOpImpls<A>,\n): ((...args: A) => Promise<Shape>) & MetaCarrier\n/** Implementation signature (not visible to callers); matches the union of both overloads. */\nexport function defineOp<A extends unknown[]>(\n  decl: DualOpImpls<A>,\n): ((...args: A) => Promise<Shape | Record<string, Shape>>) & MetaCarrier {\n  // Construction-time check (②): implementations must be functions, then at\n  // least one implementation must be present.\n  if (decl.mesh !== undefined && typeof decl.mesh !== 'function') {\n    throw new Error('[faijs/defineOp] mesh must be a function')\n  }\n  if (decl.brep !== undefined && typeof decl.brep !== 'function') {\n    throw new Error('[faijs/defineOp] brep must be a function')\n  }\n  if (typeof decl.mesh !== 'function' && typeof decl.brep !== 'function') {\n    throw new Error('[faijs/defineOp] at least one implementation (mesh or brep) is required')\n  }\n\n  const meta: DualOpMeta = {\n    kind: 'dual-op',\n    mesh: decl.mesh,\n    brep: decl.brep,\n    name: decl.name,\n    capabilities: decl.capabilities,\n    engines: decl.engines,\n    meshEngines: decl.meshEngines,\n    outputs: decl.outputs,\n    schema: decl.schema,\n    slotMap: decl.slotMap,\n    naming: decl.naming,\n    paramDims: decl.paramDims,\n    retDim: decl.retDim,\n  }\n\n  // Async wrapper: implementations may be sync or async (api mesh paths are\n  // often async, e.g. drill/engrave/boolean). The compiled .fai.js product always\n  // awaits the call, so returning a Promise is transparent.\n  const wrapped = async (...args: A): Promise<Shape | Record<string, Shape>> => {\n    // D11 (§4.2): faijs-native ops declare an object-form implementation, so a\n    // positional call is boxed into the object form here — before\n    // dispatch, so geometry inputs are collected from the normalized arg list.\n    const callArgs = (\n      meta.slotMap ? positionalToObject(args as unknown[], meta.slotMap, opLabel(meta)) : args\n    ) as A\n    // Geometry inputs: identity-or-structure auto collection (execution-time\n    // read, same nature as hasBrep — decided before the implementation runs).\n    // Compat: bare ManifoldMeshData args (host geoToManifoldMesh output) are\n    // geometry inputs too — old form passed [input] so they reached the mesh path.\n    const inputs = (callArgs as unknown[]).filter(isGeometryInput) as Shape[]\n    // §1.4 lineage registration (plan §4.3): every top-level dual-op execution\n    // records a blood-line node via `runtimeLineage.register`, which enforces\n    // N1 (untracked input → throw, never default to chain-root) / N2\n    // (stmt↔anchor mismatch) / N3 (conflicting re-register). The graph is\n    // cleared per program execution (direct-executor runCode) and C1 guarantees\n    // a single live runtime, so the anchor is authoritative inside a statement.\n    // Skip when no anchor is set (the op was invoked outside a statement\n    // context — there is no lineage to record, and N2 must not fire on a context\n    // that legitimately has none).\n    //\n    // Guard: a statement executes exactly one *top-level* op; an op's\n    // implementation may invoke other ops (or itself) internally, and those\n    // nested calls share the same `getCurrentStmt()` anchor. They are\n    // implementation details, not statements, so they must NOT register a second\n    // node under the same StmtId — that would trip N3 (E_TOPO_DUPLICATE_STMT)\n    // on identical content. Only the outermost `wrapped` for the current\n    // statement registers; the flag below stays set for the *entire* statement\n    // execution (including the awaited impl), so nested calls see it and skip.\n    const anchor = getCurrentStmt()\n    const st = getRuntimeState()\n    const isOuter = anchor != null && st.registeredStmtId !== anchor.id\n    if (isOuter) st.registeredStmtId = asStmtId(anchor.id)\n    try {\n      if (isOuter && anchor) {\n        runtimeLineage.register(\n          {\n            stmt: asStmtId(anchor.id),\n            op: opLabel(meta),\n            inputs,\n            outputs: anchor.outputs as [PartName, ...PartName[]],\n            provenance: meta.naming,\n          },\n          {\n            nameOf,\n            currentStmt: () => {\n              const a = getCurrentStmt()\n              return a ? { id: a.id } : undefined\n            },\n          },\n        )\n      }\n    // D5 capability routing: feed the first missing capability to dispatchPath\n    // (auto degrades to mesh, brep mode errors). Matched as a concrete name\n    // against the engine's declaration set (family booleans + its `evolution`\n    // list of *WithHistory kernel function names) — see firstMissingCapability.\n    const missing = firstMissingCapability(meta.capabilities)\n    const path = dispatchPath(inputs, meta, missing, meta.engines)\n    if (path === 'brep') {\n      const r = await runImpl(meta, decl.brep as unknown as ((...a: unknown[]) => unknown) | undefined, callArgs)\n      const out = meta.outputs ? wrapByKeys(r, meta.outputs, wrapBrepOne) : wrapBrepOne(r)\n      inheritInputAppearance(out, inputs)\n      inheritInputMeta(out, inputs)\n      // 1.10 前置①：执行期把 hash 演化挂到血缘节点（kernel 类回走推进的数据源）。\n      // 演化在几何算完那一刻可得（fromBrep → slot.faceEvolution），事后补挂不参与\n      // N3 的内容比较（lineage.ts 设计如此）。无演化（identity/construct 等无历史\n      // 输出）时跳过——identity 类推进不依赖演化，construct 词汇在节点 provenance 里。\n      const outShape = (typeof out === 'object' && out !== null ? Object.values(out)[0] : out) as Shape | undefined\n      const evolution = outShape ? getSlot(outShape)?.faceEvolution : undefined\n      if (outShape && evolution) {\n        runtimeLineage.attachEvolution(asStmtId(anchor!.id), evolution)\n      }\n      // 1.10 前置③：part 键的 roleTable 旁挂在这里记录（不是 fromBrep）——\n      // impl 返回后 anchor.outputs 名字已定，而 fromBrep 时刻 shape 还未被\n      // executor 命名（nameOf 为 undefined）。op 实现读输入表（inputRoleTable）\n      // 与解析读表（tableOfPart）都走这份 part 键权威表。\n      if (outShape && anchor && anchor.outputs.length > 0) {\n        const stmtId = asStmtId(anchor.id)\n        const table = runtimeLineage.outputTableOf(stmtId)\n        const solid = runtimeLineage.outputHandleOf(stmtId)\n        if (table) runtimeLineage.recordOutput(stmtId, table, solid, anchor.outputs[0] as PartName)\n      }\n      return out\n    }\n    const m = await runImpl(meta, decl.mesh as unknown as ((...a: unknown[]) => unknown) | undefined, callArgs)\n    const mOut = meta.outputs ? wrapByKeys(m, meta.outputs, wrapMeshOne) : wrapMeshOne(m)\n    inheritInputAppearance(mOut, inputs)\n    inheritInputMeta(mOut, inputs)\n    return mOut\n    } finally {\n      // 同语句去重标记不在 op 粒度清理——语句边界由 runtime-state.setCurrentStmt\n      // 在锚点变化时重置；TS 库函数体内连续 op 调用共享锚点，嵌套调用正确跳过。\n    }\n  }\n\n  Object.defineProperty(wrapped, DUAL_OP_META, { value: meta, enumerable: false })\n  return wrapped as ((...args: A) => Promise<Shape | Record<string, Shape>>) & MetaCarrier\n}\n\n/**\n * Assembly-time validation (③, strict mode, D-4): a library that exports any\n * dual-op function must carry a matching `contractVersion`, and every exported\n * dual-op must be structurally valid (mesh a function, brep a function or\n * undefined, capabilities/outputs well-formed). Called by `registerLib`.\n *\n * Functions without dual-op metadata are left untouched (declarative\n * enforcement boundary — K5 forbids name-based classification).\n *\n * @param lib - the library namespace object being registered.\n */\n/**\n * Detect whether a library namespace exports any dual-op function (carries\n * `DUAL_OP_META`). Used by `registerLib`'s inferred `autoLift` default: a\n * library that already declares dual-ops does not need bare-function lifting.\n *\n * @param ns - the library namespace object.\n * @returns `true` if at least one exported value is a dual-op function.\n */\nexport function hasDualOp(ns: Record<string, unknown>): boolean {\n  const values = Object.values(ns)\n  return values.some((v) => typeof v === 'function' && (v as MetaCarrier)[DUAL_OP_META])\n}\n\n/**\n * Read the dual-op metadata of a wrapped function (unit-system D8 declaration\n * surface). Returns `undefined` when the function carries no dual-op metadata,\n * so callers never probe the private key directly.\n *\n * @param fn - a function that may have been produced by `defineOp`/`compatOp`.\n * @returns the op's metadata, or `undefined`.\n */\nexport function dualOpMetaOf(fn: unknown): DualOpMeta | undefined {\n  if (typeof fn !== 'function') return undefined\n  return (fn as MetaCarrier)[DUAL_OP_META]\n}\n\n/**\n * Assert that a library conforms to the dual-op contract: if it exports any\n * dual-op function, it must also export `contractVersion` matching the engine's.\n *\n * @param lib - the library namespace object being registered.\n * @throws {Error} when dual-op functions are present without a matching contract version.\n */\nexport function assertLibConforms(lib: Record<string, unknown>): void {\n  if (hasDualOp(lib) && lib.contractVersion !== CONTRACT_VERSION) {\n    throw new Error(\n      `[faijs] library with dual-op functions must export contractVersion = ${CONTRACT_VERSION} (got ${String(lib.contractVersion)})`,\n    )\n  }\n\n  for (const [name, value] of Object.entries(lib)) {\n    if (typeof value !== 'function') continue\n    const meta = (value as MetaCarrier)[DUAL_OP_META]\n    if (!meta || meta.kind !== 'dual-op') continue\n    if (typeof meta.mesh !== 'function' && typeof meta.brep !== 'function') {\n      throw new Error(`[faijs] lib function '${name}' declares dual-op without any implementation`)\n    }\n    if (meta.mesh !== undefined && typeof meta.mesh !== 'function') {\n      throw new Error(`[faijs] lib function '${name}' declares dual-op with a non-function mesh implementation`)\n    }\n    if (meta.brep !== undefined && typeof meta.brep !== 'function') {\n      throw new Error(`[faijs] lib function '${name}' declares dual-op with a non-function brep implementation`)\n    }\n    if (meta.capabilities !== undefined && !Array.isArray(meta.capabilities)) {\n      throw new Error(`[faijs] lib function '${name}' declares invalid capabilities (expected string[])`)\n    }\n    // D11-7 互斥**已撤销**（2026-09-24 用户裁决）：engines 与 capabilities 是两条正交的\n    // 声明轴——前者是引擎身份白名单（在哪些引擎上跑），后者是实现所需内核能力清单\n    // （要用哪些方法）。两者并存是合法且更诚实的写法：engines 收窄候选集，能力门随后\n    // 对同一引擎继续求交（dispatchPath 的求值次序本就是 engines 在先，D11-2）。\n    // 曾经的理由「能力名空间只收 L1 中立名」与事实不符——BrepCapabilityName 含\n    // BrepMethodKind 逐核真名（isNull / dispose / chamfer / shell / ...，见\n    // brep/engine/types.ts），本就是内核名空间；平台 op 声明能力名并不越界。\n    // 故此处不再校验两者是否同时出现。\n    if (meta.engines !== undefined) {\n      if (!Array.isArray(meta.engines) || meta.engines.length === 0) {\n        throw new Error(`[faijs] lib function '${name}' declares invalid engines (expected non-empty BrepEngineId[])`)\n      }\n      const bad = meta.engines.find((e) => !BREP_ENGINE_ID_SET.has(e))\n      if (bad !== undefined) {\n        throw new Error(\n          `[faijs] lib function '${name}' declares unknown engine '${String(bad)}' — expected one of ${BREP_ENGINE_IDS.join(', ')}`,\n        )\n      }\n    }\n    // meshEngines（方案 2026-10-01 §3.4）：非空字符串数组。**不校验 id 是否为\n    // \"已注册的网格后端\"**——装配在同一时刻前后，且第三方库可以被装配到我们不知道的\n    // 后端上；门禁在 dispatchPath 处按当前装配比对（那里才拿得到真相）。\n    if (meta.meshEngines !== undefined) {\n      if (!Array.isArray(meta.meshEngines) || meta.meshEngines.length === 0 || meta.meshEngines.some((e) => typeof e !== 'string' || e.length === 0)) {\n        throw new Error(`[faijs] lib function '${name}' declares invalid meshEngines (expected non-empty string[])`)\n      }\n    }\n    if (\n      meta.outputs !== undefined\n      && (!Array.isArray(meta.outputs) || meta.outputs.some((k) => typeof k !== 'string'))\n    ) {\n      throw new Error(`[faijs] lib function '${name}' declares invalid outputs (expected string[])`)\n    }\n    if (meta.schema !== undefined && !isValidSchema(meta.schema)) {\n      throw new Error(`[faijs] lib function '${name}' declares invalid schema (expected Record<string, string>)`)\n    }\n    if (meta.name !== undefined && typeof meta.name !== 'string') {\n      throw new Error(`[faijs] lib function '${name}' declares invalid name (expected string)`)\n    }\n    if (meta.slotMap !== undefined && !isValidSlotMap(meta.slotMap)) {\n      throw new Error(\n        `[faijs] lib function '${name}' declares invalid slotMap (expected { keys: string[]; vec3Keys?: string[]; shapeArity?: number })`,\n      )\n    }\n  }\n}\n\n/** True when the D11 slot-map declaration has a non-empty string `keys` list. */\nfunction isValidSlotMap(form: unknown): form is SlotMap {\n  if (form === null || typeof form !== 'object') return false\n  const keys = (form as { keys?: unknown }).keys\n  if (!Array.isArray(keys) || keys.some((k) => typeof k !== 'string')) return false\n  const vec3 = (form as { vec3Keys?: unknown }).vec3Keys\n  if (vec3 !== undefined && (!Array.isArray(vec3) || vec3.some((k) => typeof k !== 'string'))) return false\n  const arity = (form as { shapeArity?: unknown }).shapeArity\n  if (arity !== undefined && (typeof arity !== 'number' || !Number.isInteger(arity) || arity < 0)) return false\n  return true\n}\n\n/** True when every schema value is a non-empty string. */\nfunction isValidSchema(schema: unknown): schema is Record<string, string> {\n  if (schema === null || typeof schema !== 'object' || Array.isArray(schema)) return false\n  return Object.values(schema).every((v) => typeof v === 'string' && v.length > 0)\n}\n"]}
+{"version":3,"file":"define-op.js","sourceRoot":"","sources":["../src/define-op.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAA;AAC7D,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,oBAAoB,EACpB,cAAc,EACd,eAAe,EACf,MAAM,GACP,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,QAAQ,EAAiB,MAAM,YAAY,CAAA;AACpD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAsB,MAAM,SAAS,CAAA;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAC3E,OAAO,EAAE,kBAAkB,EAAgB,MAAM,+BAA+B,CAAA;AAChF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAmB,MAAM,8BAA8B,CAAA;AAElG,OAAO,EAAE,eAAe,EAAsC,MAAM,qBAAqB,CAAA;AAEzF,OAAO,EAAmB,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAE3E,yDAAyD;AACzD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,eAAe,CAAC,CAAA;AAK3D;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAAC,CAAU;IACxC,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAA;AACrC,CAAC;AAkID,6DAA6D;AAC7D,MAAM,CAAC,MAAM,YAAY,GAAG,iBAAiB,CAAA;AAI7C,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAA;IACxB,OAAO,KAAK,CAAC,CAAa,CAAC,CAAA;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAA;IACxB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,eAAe,IAAI,CAAC,EAAE,CAAC;QAChE,MAAM,GAAG,GAAG,CAAe,CAAA;QAC3B,OAAO,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAA;IAC7C,CAAC;IACD,sEAAsE;IACtE,wEAAwE;IACxE,sEAAsE;IACtE,yEAAyE;IACzE,sEAAsE;IACtE,0EAA0E;IAC1E,qEAAqE;IACrE,2EAA2E;IAC3E,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,OAAO,CAAqB,CAAA;IAC9B,CAAC;IACD,OAAO,UAAU,CAAC,CAAC,CAAC,CAAA;AACtB,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,IAAc,EAAE,OAA8B;IAC5E,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAA4B,CAAA;IAChD,MAAM,GAAG,GAA0B,EAAE,CAAA;IACrC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QAChB,4EAA4E;QAC5E,6EAA6E;QAC7E,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC/E,CAAC;IACD,wEAAwE;IACxE,8EAA8E;IAC9E,oEAAoE;IACpE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAqB,CAAA;IAC5D,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,GAAkC,EAAE,MAAe;IACjF,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAA;IAC1D,IAAI,CAAC,GAAG,EAAE,UAAU;QAAE,OAAM;IAC5B,MAAM,UAAU,GAAG,CAAC,CAAU,EAAQ,EAAE;QACtC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,WAAW,IAAI,CAAC,IAAI,CAAE,CAAW,CAAC,UAAU,EAAE,CAAC;YACxF,CAAC;YAAC,CAAW,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAA;QAC3C,CAAC;IACH,CAAC,CAAA;IACD,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,UAAU,CAAC,GAAG,CAAC,CAAA;QACf,OAAM;IACR,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAG,CAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;;YACrD,UAAU,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,GAAkC,EAAE,MAAe;IAC3E,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IACpD,IAAI,CAAC,GAAG,EAAE,IAAI;QAAE,OAAM;IACtB,MAAM,UAAU,GAAG,CAAC,CAAU,EAAQ,EAAE;QACtC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,WAAW,IAAI,CAAC,IAAI,CAAE,CAAW,CAAC,IAAI,EAAE,CAAC;YAClF,CAAC;YAAC,CAAW,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAA;QAC/B,CAAC;IACH,CAAC,CAAA;IACD,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,UAAU,CAAC,GAAG,CAAC,CAAA;QACf,OAAM;IACR,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QAChB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAG,CAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;;YACrD,UAAU,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,OAAO,CAAC,IAAgB;IAC/B,OAAO,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAA;AAC9B,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,KAAK,UAAU,OAAO,CACpB,IAAgB,EAChB,IAAgD,EAChD,IAAe;IAEf,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC3B,IAAI,OAAgB,CAAA;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,MAAO,IAAqC,CAAC,GAAG,IAAI,CAAC,CAAA;IACjE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,oBAAoB,IAAI,CAAC,YAAY,oBAAoB;YAAE,MAAM,CAAC,CAAA;QACnF,0EAA0E;QAC1E,0EAA0E;QAC1E,yEAAyE;QACzE,+CAA+C;QAC/C,IAAI,CAAC,YAAY,OAAO;YAAE,MAAM,CAAC,CAAA;QACjC,MAAM,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IAC7B,CAAC;IACD,OAAO,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;AACrC,CAAC;AA+BD,8FAA8F;AAC9F,MAAM,UAAU,QAAQ,CACtB,IAAoB;IAEpB,0EAA0E;IAC1E,4CAA4C;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAA;IAC5F,CAAC;IAED,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAA;IAED,0EAA0E;IAC1E,gFAAgF;IAChF,0DAA0D;IAC1D,MAAM,OAAO,GAAG,KAAK,EAAE,GAAG,IAAO,EAA0C,EAAE;QAC3E,2EAA2E;QAC3E,8DAA8D;QAC9D,2EAA2E;QAC3E,MAAM,QAAQ,GAAG,CACf,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAiB,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACpF,CAAA;QACN,yEAAyE;QACzE,0EAA0E;QAC1E,yEAAyE;QACzE,+EAA+E;QAC/E,MAAM,MAAM,GAAI,QAAsB,CAAC,MAAM,CAAC,eAAe,CAAY,CAAA;QACzE,2EAA2E;QAC3E,0EAA0E;QAC1E,iEAAiE;QACjE,sEAAsE;QACtE,4EAA4E;QAC5E,4EAA4E;QAC5E,qEAAqE;QACrE,6EAA6E;QAC7E,+BAA+B;QAC/B,EAAE;QACF,kEAAkE;QAClE,wEAAwE;QACxE,kEAAkE;QAClE,6EAA6E;QAC7E,0EAA0E;QAC1E,qEAAqE;QACrE,2EAA2E;QAC3E,2EAA2E;QAC3E,MAAM,MAAM,GAAG,cAAc,EAAE,CAAA;QAC/B,MAAM,EAAE,GAAG,eAAe,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAG,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC,gBAAgB,KAAK,MAAM,CAAC,EAAE,CAAA;QACnE,IAAI,OAAO;YAAE,EAAE,CAAC,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACtD,IAAI,CAAC;YACH,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;gBACtB,cAAc,CAAC,QAAQ,CACrB;oBACE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBACzB,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC;oBACjB,MAAM;oBACN,OAAO,EAAE,MAAM,CAAC,OAAoC;oBACpD,UAAU,EAAE,IAAI,CAAC,MAAM;iBACxB,EACD;oBACE,MAAM;oBACN,WAAW,EAAE,GAAG,EAAE;wBAChB,MAAM,CAAC,GAAG,cAAc,EAAE,CAAA;wBAC1B,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;oBACrC,CAAC;iBACF,CACF,CAAA;YACH,CAAC;YACH,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;YACrD,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpB,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAA6D,EAAE,QAAQ,CAAC,CAAA;gBAC3G,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;gBACpF,sBAAsB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;gBACnC,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;gBAC7B,iDAAiD;gBACjD,sDAAsD;gBACtD,wDAAwD;gBACxD,0DAA0D;gBAC1D,MAAM,QAAQ,GAAG,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAsB,CAAA;gBAC7G,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAA;gBACzE,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;oBAC1B,cAAc,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAO,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;gBACjE,CAAC;gBACD,oDAAoD;gBACpD,uDAAuD;gBACvD,4DAA4D;gBAC5D,oCAAoC;gBACpC,IAAI,QAAQ,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;oBAClC,MAAM,KAAK,GAAG,cAAc,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;oBAClD,MAAM,KAAK,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAA;oBACnD,IAAI,KAAK;wBAAE,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAa,CAAC,CAAA;gBAC7F,CAAC;gBACD,OAAO,GAAG,CAAA;YACZ,CAAC;YACD,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAA6D,EAAE,QAAQ,CAAC,CAAA;YAC3G,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;YACrF,sBAAsB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YACpC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YAC9B,OAAO,IAAI,CAAA;QACX,CAAC;gBAAS,CAAC;YACT,wDAAwD;YACxD,0CAA0C;QAC5C,CAAC;IACH,CAAC,CAAA;IAED,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAA;IAChF,OAAO,OAAiF,CAAA;AAC1F,CAAC;AAED;;;;;;;;;;GAUG;AACH;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CAAC,EAA2B;IACnD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAChC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,UAAU,IAAK,CAAiB,CAAC,YAAY,CAAC,CAAC,CAAA;AACxF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,EAAW;IACtC,IAAI,OAAO,EAAE,KAAK,UAAU;QAAE,OAAO,SAAS,CAAA;IAC9C,OAAQ,EAAkB,CAAC,YAAY,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAA4B;IAC5D,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,eAAe,KAAK,gBAAgB,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CACb,wEAAwE,gBAAgB,SAAS,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAChI,CAAA;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAChD,IAAI,OAAO,KAAK,KAAK,UAAU;YAAE,SAAQ;QACzC,MAAM,IAAI,GAAI,KAAqB,CAAC,YAAY,CAAC,CAAA;QACjD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAC9C,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACvE,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,+CAA+C,CAAC,CAAA;QAC/F,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,4DAA4D,CAAC,CAAA;QAC5G,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,4DAA4D,CAAC,CAAA;QAC5G,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,gEAAgE,CAAC,CAAA;YAChH,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YAChE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,8BAA8B,MAAM,CAAC,GAAG,CAAC,uBAAuB,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1H,CAAA;YACH,CAAC;QACH,CAAC;QACD,uDAAuD;QACvD,4CAA4C;QAC5C,2CAA2C;QAC3C,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC/I,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,8DAA8D,CAAC,CAAA;YAC9G,CAAC;QACH,CAAC;QACD,IACE,IAAI,CAAC,OAAO,KAAK,SAAS;eACvB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,EACpF,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,gDAAgD,CAAC,CAAA;QAChG,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,6DAA6D,CAAC,CAAA;QAC7G,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,2CAA2C,CAAC,CAAA;QAC3F,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,oGAAoG,CAClI,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,SAAS,cAAc,CAAC,IAAa;IACnC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3D,MAAM,IAAI,GAAI,IAA2B,CAAC,IAAI,CAAA;IAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAA;IACjF,MAAM,IAAI,GAAI,IAA+B,CAAC,QAAQ,CAAA;IACtD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IACzG,MAAM,KAAK,GAAI,IAAiC,CAAC,UAAU,CAAA;IAC3D,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAC7G,OAAO,IAAI,CAAA;AACb,CAAC;AAED,0DAA0D;AAC1D,SAAS,aAAa,CAAC,MAAe;IACpC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IACxF,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;AAClF,CAAC","sourcesContent":["/**\n * define-op — dual-path implementation decorator for geometry functions\n * (D-face contract: mesh mandatory as the default path, BREP optional).\n *\n *\n * `defineOp({ mesh?, brep?, ... })` declares the implementation set of a\n * geometry function (a function whose signature returns `SolidShape`). The\n * wrapper:\n * - auto-collects geometry inputs via `args.filter(isGeometryInput)` — a shape\n *   that is identity-registered (`isShape`) or a structural mesh shape\n *   (`isMeshShape`, positions + indices — e.g. bare ManifoldMeshData handed in\n *   by a host via `geoToManifoldMesh`). The old per-function form passed the\n *   actual geometry args (`dispatchPath([input], ...)`), so a bare mesh input\n *   dispatched to the mesh path (`hasBrep=false`); the re-collection must keep\n *   that compatibility. No `inputs` field — decided at runtime by the args\n *   themselves, not the author.\n * - calls the engine's `dispatchPath` to select brep/mesh by mode (static,\n *   no runtime fallback);\n * - wraps raw products: mesh path → `solid()`, brep path → `fromHandle()` /\n *   `fromBrep()` (D3/D4: products must come from constructors, brep products\n *   must carry a BREP slot).\n *\n * Zero heavy runtime dependencies: imports only runtime-state / shape /\n * handle-bridge / backend-dispatch / mesh/types (a zero-import module holding\n * the Shape type and the structural `isMeshShape` guard) — the dist/sdk.js\n * static-import guard keeps passing.\n */\n\nimport { dispatchPath } from './cad-runtime/backend-dispatch'\nimport {\n  CONTRACT_VERSION,\n  BrepUnsupportedError,\n  MeshUnsupportedError,\n  getCurrentStmt,\n  getRuntimeState,\n  nameOf,\n} from './runtime-state'\nimport { asStmtId, type PartName } from './identity'\nimport { isShape, solid, fromBrep, getSlot, type CompoundShape } from './shape'\nimport { isMeshShape } from './mesh/types'\nimport { fromHandle, meshHandle, isOcctHandle } from './brep/handle-bridge'\nimport { positionalToObject, type SlotMap } from './api/internal/dual-form-args'\nimport { toOpFailure, unwrapResult, OpError, type ResultLike } from './api/internal/result-unwrap'\nimport type { Shape } from './mesh/types'\nimport { BREP_ENGINE_IDS, type BrepEngineId, type BrepHandle } from './brep/engine/types'\nimport type { DimName, DimDecl, DimSpec } from './units'\nimport { type Provenance, runtimeLineage } from './topology/naming/lineage'\n\n/** 合法引擎 id 集合（assertLibConforms 的 engines 校验用，D11-1）。 */\nconst BREP_ENGINE_ID_SET = new Set<string>(BREP_ENGINE_IDS)\n\n/** Raw mesh data (structurally identical to Shape; mesh impls return it). */\nexport type MeshData = { positions: Float32Array; indices: Uint32Array }\n\n/**\n * Geometry-input recognition for dispatch auto-collection.\n *\n * Compat rule: the old per-function form passed the *actual* geometry args to\n * `dispatchPath` (`[input]` / `shapes`), so a bare ManifoldMeshData object\n * (e.g. `geoToManifoldMesh` output passed straight by a host) had no BREP slot\n * → `hasBrep=false` → mesh path. defineOp must keep that: an input counts as\n * geometry when it is identity-registered (`isShape`, constructor product) OR\n * structurally a mesh shape (`positions` + `indices`). Params objects and other\n * scalar args are not geometry inputs.\n *\n * @param v - the candidate argument.\n * @returns true when the argument is a geometry input (registered shape or bare mesh data).\n */\nexport function isGeometryInput(v: unknown): v is Shape {\n  return isShape(v) || isMeshShape(v)\n}\n\n/**\n * §1.4 registration guard: the StmtId whose top-level `wrapped` is currently\n * registering a lineage node. Nested op calls (an impl invoking another op /\n * itself) share the same `getCurrentStmt()` anchor and are skipped so they\n * don't trip N3 (E_TOPO_DUPLICATE_STMT) with identical content. C1 (single\n * live runtime) means at most one statement registers at a time.\n *\n * The marker lives on the runtime state and is reset at statement boundaries\n * (runtime-state.setCurrentStmt: anchor change / end-of-statement), NOT at op\n * granularity — a TS library function (cq-compat Workplane op, etc.) may call\n * several defineOps within one statement, and only the first one must register.\n */\n\n/** Product of a mesh implementation: raw mesh data, a wrapped Shape, or (with `outputs`) a record of named products. */\nexport type MeshProduct = MeshData | Shape | CompoundShape | Record<string, MeshData | Shape | CompoundShape>\n\n/** Mesh implementation: sync or async (api mesh paths are often async); returns a mesh product. */\nexport type MeshImpl<A extends unknown[]> = (...args: A) => MeshProduct | Promise<MeshProduct>\n\n/** BREP implementation result: a raw handle, or a handle plus face evolution. */\nexport interface BrepResult {\n  solid: BrepHandle\n  faceEvolution?: Map<number, number[]>\n}\n\n/** Product of a BREP implementation: a raw handle, { solid, faceEvolution }, a wrapped Shape, or (with `outputs`) a record of named products. */\nexport type BrepProduct =\n  | BrepHandle\n  | BrepResult\n  | Shape\n  | CompoundShape\n  | Record<string, BrepHandle | BrepResult | Shape | CompoundShape>\n  | ResultLike\n\n/** BREP implementation: sync or async; returns a brep product. */\nexport type BrepImpl<A extends unknown[]> = (...args: A) => BrepProduct | Promise<BrepProduct>\n\n/** Optional declaration: named multi-products (split, scheme C) + platform identity. */\nexport interface DualOpOptions {\n  /** Op name (error messages); falls back to an anonymous prefix when absent. */\n  name?: string\n  /**\n   * 平台身份声明（D11，narrowing plan 2026-09-24）：本 op 实现可运行在哪些\n   * BREP 引擎上——一个**引擎白名单**。缺省 = 全平台（中立 op——实现只用 L1 核心面）。\n   *\n   * 平台 op（实现 import 了 `occt-kernel/*` / `brepkit-kernel/*`，调用该平台\n   * 原生方法）**必须**声明 `engines` 自证身份。\n   *\n   * 这是 op 侧**唯一**的收窄轴：引擎能做什么由引擎自己的实现与\n   * `brep/engine/native-history.ts` 在写代码时刻定死，op 不声明能力、分派时不查能力表。\n   */\n  engines?: readonly BrepEngineId[]\n  /**\n   * 网格实体路径的引擎要求（方案 2026-10-01 §3.4）：本 op 的 mesh 实现**能接受\n   * 网格实体输入**的前提是「当前装配的网格后端 id 在此名单内」。\n   *\n   * 缺省 = `['manifold']`：mesh 实现跑在内置 `mesh/`（manifold CSG）上，它不认识\n   * 网格实体——拿网格实体喂它必须在**执行前**静态报错\n   * （`E_MESH_SOLID_UNSUPPORTED`），绝不运行时改走别的后端。\n   *\n   * 与 `engines` 正交：`engines` 收窄的是 **BREP 引擎**身份，本字段收窄的是\n   * **网格后端**身份（同一个 op 可以\"BREP 走 occt、网格实体走 brepkit\"）。\n   */\n  meshEngines?: readonly string[]\n  outputs?: string[]\n  /** L3 schema per named parameter (G1 codegen + UI panel, plain string form). */\n  schema?: Record<string, string>\n  /**\n   * D11 slot-map declaration (§4.2): the positional→object boxing table\n   * (SlotMap) mapping a positional call onto this op's native\n   * object form. Ops without it accept only the form their implementation\n   * natively takes.\n   */\n  slotMap?: SlotMap\n  /**\n   * Topology identity provenance (plan §4.4 / Phase 2.3, **required**).\n   * Declares the op's face-mapping category + new-face vocabulary.\n   * The lineage registrar (§4.3) reads this to build the blood-line graph;\n   * missing naming = compile-time error (G4: no undeclared ops).\n   */\n  naming: Provenance\n/**\n* Script-side dimension declaration (unit-system D8): per-parameter dim for\n* the static `dimension` check stage. `'plain'` means a pure number with no\n* physical dimension (design doc §3.1). Params absent here are treated as\n* dimensionless and exempt from the check.\n*/\nparamDims?: Record<string, DimDecl>\n  /** Return dimension declaration (D8): the value produced carries this dim. */\n  retDim?: DimName\n  /** D8+: recursive DimSpec for structured params (e.g. cad.sketch's shapes[]/constraints[]). */\n  spec?: DimSpec\n  /** D8+: dimension check mode: 'error' (default, blocks) or 'warn' (warns without blocking). */\n  dimCheck?: 'error' | 'warn'\n}\n\n/** Implementation set (at least one of mesh/brep is required, D1/D1b); options are siblings of the implementations. */\nexport type DualOpImpls<A extends unknown[]> =\n  | (DualOpOptions & { mesh: MeshImpl<A>; brep?: BrepImpl<A> })\n  | (DualOpOptions & { mesh?: never; brep: BrepImpl<A> })\n\n/** Metadata hung on the wrapped function object (K5: function info is data). */\nexport interface DualOpMeta {\n  kind: 'dual-op'\n  mesh?: unknown\n  brep?: unknown\n  /** Op name (error messages). */\n  name?: string\n  /** 平台身份声明（D11，镜像 DualOpOptions.engines）。 */\n  engines?: readonly BrepEngineId[]\n  /** 网格实体路径的引擎要求（镜像 DualOpOptions.meshEngines；缺省 = `['manifold']`）。 */\n  meshEngines?: readonly string[]\n  outputs?: string[]\n  schema?: Record<string, string>\n  /** D11 slot-map declaration (positional → object boxing table, §9 naming). */\n  slotMap?: SlotMap\n  /** Topology identity provenance (Phase 2.3, mirrors DualOpOptions.naming). */\n  naming: Provenance\n/** Script-side dimension declaration (D8, mirrors DualOpOptions.paramDims). */\nparamDims?: Record<string, DimDecl>\n  /** Return dimension declaration (D8). */\n  retDim?: DimName\n  /** D8+: recursive DimSpec (mirrors DualOpOptions.spec). */\n  spec?: DimSpec\n  /** D8+: dimension check mode (mirrors DualOpOptions.dimCheck). */\n  dimCheck?: 'error' | 'warn'\n}\n\n/** Property key carrying DualOpMeta on wrapped functions. */\nexport const DUAL_OP_META = '__faijs__dualOp'\n\ntype MetaCarrier = { [DUAL_OP_META]?: DualOpMeta }\n\nfunction wrapMeshOne(v: unknown): Shape {\n  if (isShape(v)) return v\n  return solid(v as MeshData)\n}\n\nfunction wrapBrepOne(v: unknown): Shape {\n  if (isShape(v)) return v\n  if (v !== null && typeof v === 'object' && 'faceEvolution' in v) {\n    const res = v as BrepResult\n    return fromBrep(meshHandle(res.solid), res)\n  }\n  // A plain object that is not a Shape and not an OCCT handle is a data\n  // product (e.g. a compat fn returning a sheetmetal-style record), not a\n  // geometry handle — pass it through so it lands in the engine's value\n  // store instead of being tessellated as if it were a bare handle. Native\n  // OCCT handles from an implementation are hand-computed shape numbers\n  // (from a branded number return) or objects; only the number path reaches\n  // fromHandle. The handle/data distinction must go through the shared\n  // isOcctHandle leaf (handle-bridge) — never a hardcoded '__occtWasm' in v.\n  if (v !== null && typeof v === 'object' && !isOcctHandle(v)) {\n    return v as unknown as Shape\n  }\n  return fromHandle(v)\n}\n\nfunction wrapByKeys(r: unknown, keys: string[], wrapOne: (v: unknown) => Shape): Record<string, Shape> {\n  const src = (r ?? {}) as Record<string, unknown>\n  const out: Record<string, Shape> = {}\n  for (const k of keys) {\n    const v = src[k]\n    // An output may be an array (e.g. the compat adapter adopts each element of\n    // an array-valued `outputs` field); wrap element-wise so arrays stay arrays.\n    out[k] = Array.isArray(v) ? (v.map(wrapOne) as unknown as Shape) : wrapOne(v)\n  }\n  // Pass through non-shape data keys (e.g. autoHeal's `report`): declared\n  // outputs are the geometry that gets Shape-wrapped, but sibling data products\n  // of the same op result must survive the statement boundary (§5.4).\n  for (const k of Object.keys(src)) {\n    if (!keys.includes(k)) out[k] = src[k] as unknown as Shape\n  }\n  return out\n}\n\n/**\n * 外观继承（设计文档 2026-10-05 v2 §6.1）：几何 op 返回新 Shape 时，默认继承\n * 第一个携带外观的几何输入（`inputs.find(appearance !== undefined)`）；产物\n * 已有外观则不动（后置 setColor 优先）。实现集中在产物包装点，避免每个 op\n * 手写——mesh 与 brep 两条路径的产物都经此补齐。\n */\nfunction inheritInputAppearance(out: Shape | Record<string, Shape>, inputs: Shape[]): void {\n  const src = inputs.find((i) => i.appearance !== undefined)\n  if (!src?.appearance) return\n  const setIfEmpty = (v: unknown): void => {\n    if (v !== null && typeof v === 'object' && 'positions' in v && !(v as Shape).appearance) {\n      ;(v as Shape).appearance = src.appearance\n    }\n  }\n  if (isShape(out)) {\n    setIfEmpty(out)\n    return\n  }\n  for (const k of Object.keys(out)) {\n    const v = out[k]\n    if (Array.isArray(v)) (v as unknown[]).forEach(setIfEmpty)\n    else setIfEmpty(v)\n  }\n}\n\n/**\n * 元数据继承（设计文档 2026-10-05-meta §2 ③）：几何 op 返回新 Shape 时，默认\n * 继承第一个携带 meta 的几何输入（`inputs.find(meta !== undefined)`），对象引用\n * 共享；产物已有 meta 则不动（后置 setName 优先）。实现集中在产物包装点，mesh\n * 与 brep 两条路径的产物都经此补齐。名称是显式声明，继承只是保底——需要新名的\n * 产物（组合/变换后）由用户显式 `setName` 覆盖。\n */\nfunction inheritInputMeta(out: Shape | Record<string, Shape>, inputs: Shape[]): void {\n  const src = inputs.find((i) => i.meta !== undefined)\n  if (!src?.meta) return\n  const setIfEmpty = (v: unknown): void => {\n    if (v !== null && typeof v === 'object' && 'positions' in v && !(v as Shape).meta) {\n      ;(v as Shape).meta = src.meta\n    }\n  }\n  if (isShape(out)) {\n    setIfEmpty(out)\n    return\n  }\n  for (const k of Object.keys(out)) {\n    const v = out[k]\n    if (Array.isArray(v)) (v as unknown[]).forEach(setIfEmpty)\n    else setIfEmpty(v)\n  }\n}\n\n/** Human-readable op label for error messages (falls back when unnamed). */\nfunction opLabel(meta: DualOpMeta): string {\n  return meta.name ?? '<anon>'\n}\n\n/**\n * Run one implementation through the unified Result boundary (§5.2, D1).\n *\n * Transition contract: an implementation may\n *   ① return a `Result`  → unwrapped here (`err` becomes a throw);\n *   ② throw              → normalized into an op-labelled error;\n *   ③ return a plain product → passed through untouched.\n *\n * The two engine-level routing errors keep their class: `runtime.ts` matches\n * `BrepUnsupportedError` / `MeshUnsupportedError` by `instanceof` to turn them\n * into `ExecutionResult.failedAt`, so they must not be re-wrapped.\n *\n * @param meta - the op's metadata (name).\n * @param impl - the implementation to run.\n * @param args - the normalized argument list.\n * @returns the (unwrapped) implementation product.\n */\nasync function runImpl(\n  meta: DualOpMeta,\n  impl: ((...a: unknown[]) => unknown) | undefined,\n  args: unknown[],\n): Promise<unknown> {\n  const label = opLabel(meta)\n  let product: unknown\n  try {\n    product = await (impl as (...a: unknown[]) => unknown)(...args)\n  } catch (e) {\n    if (e instanceof BrepUnsupportedError || e instanceof MeshUnsupportedError) throw e\n    // An OpError is already the engine-recognizable statement failure (thrown\n    // by the compat adapter's Result unwrap, or by impls returning a Result);\n    // re-wrapping it into a plain Error would make CadRuntime treat it as an\n    // uncaught bug instead of a statement failure.\n    if (e instanceof OpError) throw e\n    throw toOpFailure(label, e)\n  }\n  return unwrapResult(product, label)\n}\n\n/**\n * Declare a geometry function's dual-path implementation set.\n *\n * At least one implementation (mesh or brep) is required — enforced at\n * compile time by the union type and at construction time by a runtime check.\n * Geometry inputs are auto-collected by identity-or-structure\n * (`args.filter(isGeometryInput)` = `isShape` ∨ `isMeshShape`); raw mesh\n * products are wrapped by `solid()`, raw brep products by\n * `fromHandle()` / `fromBrep()`. `mode` selects the engine path via the\n * engine's static `dispatchPath` — the author never writes an `if (path)`\n * branch.\n *\n * @param decl - the declaration object: implementations `{ mesh }` (mesh-only),\n * `{ brep }` (brep-only, D1b), or `{ mesh, brep }` (dual-path), plus optional\n * `engines` (D11: engine whitelist for the implementation) and `outputs`\n * (named multi-products, e.g. split) as siblings.\n * @returns the wrapped geometry function with dual-op metadata attached.\n */\nexport function defineOp<A extends unknown[]>(\n  decl: DualOpImpls<A> & { outputs: string[] },\n): ((...args: A) => Promise<Record<string, Shape>>) & MetaCarrier\n/**\n * Overload without `outputs`: single-product functions resolve to a `Promise<Shape>`.\n * @param decl - the declaration object: implementations `{ mesh }`, `{ brep }`, or `{ mesh, brep }`.\n * @returns the wrapped geometry function with dual-op metadata attached.\n */\nexport function defineOp<A extends unknown[]>(\n  decl: DualOpImpls<A>,\n): ((...args: A) => Promise<Shape>) & MetaCarrier\n/** Implementation signature (not visible to callers); matches the union of both overloads. */\nexport function defineOp<A extends unknown[]>(\n  decl: DualOpImpls<A>,\n): ((...args: A) => Promise<Shape | Record<string, Shape>>) & MetaCarrier {\n  // Construction-time check (②): implementations must be functions, then at\n  // least one implementation must be present.\n  if (decl.mesh !== undefined && typeof decl.mesh !== 'function') {\n    throw new Error('[faijs/defineOp] mesh must be a function')\n  }\n  if (decl.brep !== undefined && typeof decl.brep !== 'function') {\n    throw new Error('[faijs/defineOp] brep must be a function')\n  }\n  if (typeof decl.mesh !== 'function' && typeof decl.brep !== 'function') {\n    throw new Error('[faijs/defineOp] at least one implementation (mesh or brep) is required')\n  }\n\n  const meta: DualOpMeta = {\n    kind: 'dual-op',\n    mesh: decl.mesh,\n    brep: decl.brep,\n    name: decl.name,\n    engines: decl.engines,\n    meshEngines: decl.meshEngines,\n    outputs: decl.outputs,\n    schema: decl.schema,\n    slotMap: decl.slotMap,\n    naming: decl.naming,\n    paramDims: decl.paramDims,\n    retDim: decl.retDim,\n    spec: decl.spec,\n    dimCheck: decl.dimCheck,\n  }\n\n  // Async wrapper: implementations may be sync or async (api mesh paths are\n  // often async, e.g. drill/engrave/boolean). The compiled .fai.js product always\n  // awaits the call, so returning a Promise is transparent.\n  const wrapped = async (...args: A): Promise<Shape | Record<string, Shape>> => {\n    // D11 (§4.2): faijs-native ops declare an object-form implementation, so a\n    // positional call is boxed into the object form here — before\n    // dispatch, so geometry inputs are collected from the normalized arg list.\n    const callArgs = (\n      meta.slotMap ? positionalToObject(args as unknown[], meta.slotMap, opLabel(meta)) : args\n    ) as A\n    // Geometry inputs: identity-or-structure auto collection (execution-time\n    // read, same nature as hasBrep — decided before the implementation runs).\n    // Compat: bare ManifoldMeshData args (host geoToManifoldMesh output) are\n    // geometry inputs too — old form passed [input] so they reached the mesh path.\n    const inputs = (callArgs as unknown[]).filter(isGeometryInput) as Shape[]\n    // §1.4 lineage registration (plan §4.3): every top-level dual-op execution\n    // records a blood-line node via `runtimeLineage.register`, which enforces\n    // N1 (untracked input → throw, never default to chain-root) / N2\n    // (stmt↔anchor mismatch) / N3 (conflicting re-register). The graph is\n    // cleared per program execution (direct-executor runCode) and C1 guarantees\n    // a single live runtime, so the anchor is authoritative inside a statement.\n    // Skip when no anchor is set (the op was invoked outside a statement\n    // context — there is no lineage to record, and N2 must not fire on a context\n    // that legitimately has none).\n    //\n    // Guard: a statement executes exactly one *top-level* op; an op's\n    // implementation may invoke other ops (or itself) internally, and those\n    // nested calls share the same `getCurrentStmt()` anchor. They are\n    // implementation details, not statements, so they must NOT register a second\n    // node under the same StmtId — that would trip N3 (E_TOPO_DUPLICATE_STMT)\n    // on identical content. Only the outermost `wrapped` for the current\n    // statement registers; the flag below stays set for the *entire* statement\n    // execution (including the awaited impl), so nested calls see it and skip.\n    const anchor = getCurrentStmt()\n    const st = getRuntimeState()\n    const isOuter = anchor != null && st.registeredStmtId !== anchor.id\n    if (isOuter) st.registeredStmtId = asStmtId(anchor.id)\n    try {\n      if (isOuter && anchor) {\n        runtimeLineage.register(\n          {\n            stmt: asStmtId(anchor.id),\n            op: opLabel(meta),\n            inputs,\n            outputs: anchor.outputs as [PartName, ...PartName[]],\n            provenance: meta.naming,\n          },\n          {\n            nameOf,\n            currentStmt: () => {\n              const a = getCurrentStmt()\n              return a ? { id: a.id } : undefined\n            },\n          },\n        )\n      }\n    const path = dispatchPath(inputs, meta, meta.engines)\n    if (path === 'brep') {\n      const r = await runImpl(meta, decl.brep as unknown as ((...a: unknown[]) => unknown) | undefined, callArgs)\n      const out = meta.outputs ? wrapByKeys(r, meta.outputs, wrapBrepOne) : wrapBrepOne(r)\n      inheritInputAppearance(out, inputs)\n      inheritInputMeta(out, inputs)\n      // 1.10 前置①：执行期把 hash 演化挂到血缘节点（kernel 类回走推进的数据源）。\n      // 演化在几何算完那一刻可得（fromBrep → slot.faceEvolution），事后补挂不参与\n      // N3 的内容比较（lineage.ts 设计如此）。无演化（identity/construct 等无历史\n      // 输出）时跳过——identity 类推进不依赖演化，construct 词汇在节点 provenance 里。\n      const outShape = (typeof out === 'object' && out !== null ? Object.values(out)[0] : out) as Shape | undefined\n      const evolution = outShape ? getSlot(outShape)?.faceEvolution : undefined\n      if (outShape && evolution) {\n        runtimeLineage.attachEvolution(asStmtId(anchor!.id), evolution)\n      }\n      // 1.10 前置③：part 键的 roleTable 旁挂在这里记录（不是 fromBrep）——\n      // impl 返回后 anchor.outputs 名字已定，而 fromBrep 时刻 shape 还未被\n      // executor 命名（nameOf 为 undefined）。op 实现读输入表（inputRoleTable）\n      // 与解析读表（tableOfPart）都走这份 part 键权威表。\n      if (outShape && anchor && anchor.outputs.length > 0) {\n        const stmtId = asStmtId(anchor.id)\n        const table = runtimeLineage.outputTableOf(stmtId)\n        const solid = runtimeLineage.outputHandleOf(stmtId)\n        if (table) runtimeLineage.recordOutput(stmtId, table, solid, anchor.outputs[0] as PartName)\n      }\n      return out\n    }\n    const m = await runImpl(meta, decl.mesh as unknown as ((...a: unknown[]) => unknown) | undefined, callArgs)\n    const mOut = meta.outputs ? wrapByKeys(m, meta.outputs, wrapMeshOne) : wrapMeshOne(m)\n    inheritInputAppearance(mOut, inputs)\n    inheritInputMeta(mOut, inputs)\n    return mOut\n    } finally {\n      // 同语句去重标记不在 op 粒度清理——语句边界由 runtime-state.setCurrentStmt\n      // 在锚点变化时重置；TS 库函数体内连续 op 调用共享锚点，嵌套调用正确跳过。\n    }\n  }\n\n  Object.defineProperty(wrapped, DUAL_OP_META, { value: meta, enumerable: false })\n  return wrapped as ((...args: A) => Promise<Shape | Record<string, Shape>>) & MetaCarrier\n}\n\n/**\n * Assembly-time validation (③, strict mode, D-4): a library that exports any\n * dual-op function must carry a matching `contractVersion`, and every exported\n * dual-op must be structurally valid (mesh a function, brep a function or\n * undefined, engines/outputs well-formed). Called by `registerLib`.\n *\n * Functions without dual-op metadata are left untouched (declarative\n * enforcement boundary — K5 forbids name-based classification).\n *\n * @param lib - the library namespace object being registered.\n */\n/**\n * Detect whether a library namespace exports any dual-op function (carries\n * `DUAL_OP_META`). Used by `registerLib`'s inferred `autoLift` default: a\n * library that already declares dual-ops does not need bare-function lifting.\n *\n * @param ns - the library namespace object.\n * @returns `true` if at least one exported value is a dual-op function.\n */\nexport function hasDualOp(ns: Record<string, unknown>): boolean {\n  const values = Object.values(ns)\n  return values.some((v) => typeof v === 'function' && (v as MetaCarrier)[DUAL_OP_META])\n}\n\n/**\n * Read the dual-op metadata of a wrapped function (unit-system D8 declaration\n * surface). Returns `undefined` when the function carries no dual-op metadata,\n * so callers never probe the private key directly.\n *\n * @param fn - a function that may have been produced by `defineOp`/`compatOp`.\n * @returns the op's metadata, or `undefined`.\n */\nexport function dualOpMetaOf(fn: unknown): DualOpMeta | undefined {\n  if (typeof fn !== 'function') return undefined\n  return (fn as MetaCarrier)[DUAL_OP_META]\n}\n\n/**\n * Assert that a library conforms to the dual-op contract: if it exports any\n * dual-op function, it must also export `contractVersion` matching the engine's.\n *\n * @param lib - the library namespace object being registered.\n * @throws {Error} when dual-op functions are present without a matching contract version.\n */\nexport function assertLibConforms(lib: Record<string, unknown>): void {\n  if (hasDualOp(lib) && lib.contractVersion !== CONTRACT_VERSION) {\n    throw new Error(\n      `[faijs] library with dual-op functions must export contractVersion = ${CONTRACT_VERSION} (got ${String(lib.contractVersion)})`,\n    )\n  }\n\n  for (const [name, value] of Object.entries(lib)) {\n    if (typeof value !== 'function') continue\n    const meta = (value as MetaCarrier)[DUAL_OP_META]\n    if (!meta || meta.kind !== 'dual-op') continue\n    if (typeof meta.mesh !== 'function' && typeof meta.brep !== 'function') {\n      throw new Error(`[faijs] lib function '${name}' declares dual-op without any implementation`)\n    }\n    if (meta.mesh !== undefined && typeof meta.mesh !== 'function') {\n      throw new Error(`[faijs] lib function '${name}' declares dual-op with a non-function mesh implementation`)\n    }\n    if (meta.brep !== undefined && typeof meta.brep !== 'function') {\n      throw new Error(`[faijs] lib function '${name}' declares dual-op with a non-function brep implementation`)\n    }\n    if (meta.engines !== undefined) {\n      if (!Array.isArray(meta.engines) || meta.engines.length === 0) {\n        throw new Error(`[faijs] lib function '${name}' declares invalid engines (expected non-empty BrepEngineId[])`)\n      }\n      const bad = meta.engines.find((e) => !BREP_ENGINE_ID_SET.has(e))\n      if (bad !== undefined) {\n        throw new Error(\n          `[faijs] lib function '${name}' declares unknown engine '${String(bad)}' — expected one of ${BREP_ENGINE_IDS.join(', ')}`,\n        )\n      }\n    }\n    // meshEngines（方案 2026-10-01 §3.4）：非空字符串数组。**不校验 id 是否为\n    // \"已注册的网格后端\"**——装配在同一时刻前后，且第三方库可以被装配到我们不知道的\n    // 后端上；门禁在 dispatchPath 处按当前装配比对（那里才拿得到真相）。\n    if (meta.meshEngines !== undefined) {\n      if (!Array.isArray(meta.meshEngines) || meta.meshEngines.length === 0 || meta.meshEngines.some((e) => typeof e !== 'string' || e.length === 0)) {\n        throw new Error(`[faijs] lib function '${name}' declares invalid meshEngines (expected non-empty string[])`)\n      }\n    }\n    if (\n      meta.outputs !== undefined\n      && (!Array.isArray(meta.outputs) || meta.outputs.some((k) => typeof k !== 'string'))\n    ) {\n      throw new Error(`[faijs] lib function '${name}' declares invalid outputs (expected string[])`)\n    }\n    if (meta.schema !== undefined && !isValidSchema(meta.schema)) {\n      throw new Error(`[faijs] lib function '${name}' declares invalid schema (expected Record<string, string>)`)\n    }\n    if (meta.name !== undefined && typeof meta.name !== 'string') {\n      throw new Error(`[faijs] lib function '${name}' declares invalid name (expected string)`)\n    }\n    if (meta.slotMap !== undefined && !isValidSlotMap(meta.slotMap)) {\n      throw new Error(\n        `[faijs] lib function '${name}' declares invalid slotMap (expected { keys: string[]; vec3Keys?: string[]; shapeArity?: number })`,\n      )\n    }\n  }\n}\n\n/** True when the D11 slot-map declaration has a non-empty string `keys` list. */\nfunction isValidSlotMap(form: unknown): form is SlotMap {\n  if (form === null || typeof form !== 'object') return false\n  const keys = (form as { keys?: unknown }).keys\n  if (!Array.isArray(keys) || keys.some((k) => typeof k !== 'string')) return false\n  const vec3 = (form as { vec3Keys?: unknown }).vec3Keys\n  if (vec3 !== undefined && (!Array.isArray(vec3) || vec3.some((k) => typeof k !== 'string'))) return false\n  const arity = (form as { shapeArity?: unknown }).shapeArity\n  if (arity !== undefined && (typeof arity !== 'number' || !Number.isInteger(arity) || arity < 0)) return false\n  return true\n}\n\n/** True when every schema value is a non-empty string. */\nfunction isValidSchema(schema: unknown): schema is Record<string, string> {\n  if (schema === null || typeof schema !== 'object' || Array.isArray(schema)) return false\n  return Object.values(schema).every((v) => typeof v === 'string' && v.length > 0)\n}\n"]}

package/dist/env-agnostic.d.ts

@@ -13,8 +13,8 @@
  */
 export type { FileId, InnerId, ScopedId, StmtId, PartName, GroupName, RefId, ReferenceId, SelectorKey, OccurrenceId, ShapeId, FaceId, EdgeId, NodeId, StatementId, FaceSelector, } from './identity.js';
 export { asFileId, asInnerId, asScopedId, asStmtId, asPartName, asGroupName, asRefId, asReferenceId, asSelectorKey, asOccurrenceId, asShapeId, asFaceId, asEdgeId, asNodeId, toScopedId, splitScopedId, isScopedId, toInnerId, } from './identity.js';
-export { configureBackends, getBackends, setCurrentStmt, getCurrentStmt, keep, keepHidden, getRuntimeState, nameOf, setName, setKeepSink, setPendingAssemblyTransforms, takePendingAssemblyTransforms, assertContractVersion, setPendingDetectedUnit, takePendingDetectedUnits, setPendingMeshSolid, takePendingMeshSolids, setPendingMeshTopology, takePendingMeshTopologies, CONTRACT_VERSION, } from './runtime-state.js';
-export type { Backends, FaijsRuntimeState, ShapeSlot, KeepSink, RuntimeExecutionMode, AssemblyTransform, LibFn, LibNamespace, ExecutionAnchor, DetectedUnits, } from './runtime-state.js';
+export { configureBackends, getBackends, setCurrentStmt, getCurrentStmt, keep, keepHidden, getRuntimeState, nameOf, setName, setKeepSink, configureTessellation, getTessellation, setPendingAssemblyTransforms, takePendingAssemblyTransforms, assertContractVersion, setPendingDetectedUnit, takePendingDetectedUnits, setPendingMeshSolid, takePendingMeshSolids, setPendingMeshTopology, takePendingMeshTopologies, CONTRACT_VERSION, } from './runtime-state.js';
+export type { Backends, FaijsRuntimeState, ShapeSlot, KeepSink, RuntimeExecutionMode, AssemblyTransform, LibFn, LibNamespace, ExecutionAnchor, DetectedUnits, TessellationDensity, } from './runtime-state.js';
 export type { Vec3, JsonValue, TerminalShape, ParamDef, } from './lang/types.js';
 export type { Provenance, NewFaceRule } from './topology/naming/lineage.js';
 export { derivePartName, getMaxModelNum, } from './lang/allocate-id.js';

package/dist/env-agnostic.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"env-agnostic.d.ts","sourceRoot":"","sources":["../src/env-agnostic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,YAAY,EACV,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EACtD,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EACtD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,GAClD,MAAM,YAAY,CAAA;AACnB,OAAO,EACL,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAClE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,EAChE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAC5B,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,GACjD,MAAM,YAAY,CAAA;AAGnB,OAAO,EACL,iBAAiB,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,EAC9D,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAC/D,4BAA4B,EAAE,6BAA6B,EAAE,qBAAqB,EAClF,sBAAsB,EAAE,wBAAwB,EAChD,mBAAmB,EAAE,qBAAqB,EAC1C,sBAAsB,EAAE,yBAAyB,EACjD,gBAAgB,GACjB,MAAM,iBAAiB,CAAA;AACxB,YAAY,EACV,QAAQ,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,oBAAoB,EACtE,iBAAiB,EAAE,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,GACvE,MAAM,iBAAiB,CAAA;AAGxB,YAAY,EACV,IAAI,EAAE,SAAS,EACf,aAAa,EAAE,QAAQ,GACxB,MAAM,cAAc,CAAA;AAErB,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AACxE,OAAO,EACL,cAAc,EAAE,cAAc,GAC/B,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACnF,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AACtF,YAAY,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AACtD,YAAY,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAClE,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAE9E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AAC3D,YAAY,EACV,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EACpF,sBAAsB,EAAE,QAAQ,EAAE,SAAS,GAC5C,MAAM,2BAA2B,CAAA;AAElC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3E,YAAY,EACV,cAAc,EAAE,cAAc,EAAE,iBAAiB,EACjD,mBAAmB,EAAE,kBAAkB,GACxC,MAAM,yBAAyB,CAAA;AAEhC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AACzD,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAClD,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAEzD,YAAY,EACV,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,GAClF,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACL,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EACrE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,GACnD,MAAM,iBAAiB,CAAA;AAQxB,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AACpE,YAAY,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAG1F,YAAY,EACV,aAAa,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,aAAa,GACzE,MAAM,oBAAoB,CAAA"}
+{"version":3,"file":"env-agnostic.d.ts","sourceRoot":"","sources":["../src/env-agnostic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,YAAY,EACV,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EACtD,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EACtD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,GAClD,MAAM,YAAY,CAAA;AACnB,OAAO,EACL,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAClE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,EAChE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAC5B,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,GACjD,MAAM,YAAY,CAAA;AAGnB,OAAO,EACL,iBAAiB,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,EAC9D,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAC/D,qBAAqB,EAAE,eAAe,EACtC,4BAA4B,EAAE,6BAA6B,EAAE,qBAAqB,EAClF,sBAAsB,EAAE,wBAAwB,EAChD,mBAAmB,EAAE,qBAAqB,EAC1C,sBAAsB,EAAE,yBAAyB,EACjD,gBAAgB,GACjB,MAAM,iBAAiB,CAAA;AACxB,YAAY,EACV,QAAQ,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,oBAAoB,EACtE,iBAAiB,EAAE,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EACtE,mBAAmB,GACpB,MAAM,iBAAiB,CAAA;AAGxB,YAAY,EACV,IAAI,EAAE,SAAS,EACf,aAAa,EAAE,QAAQ,GACxB,MAAM,cAAc,CAAA;AAErB,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AACxE,OAAO,EACL,cAAc,EAAE,cAAc,GAC/B,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACnF,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AACtF,YAAY,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AACtD,YAAY,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAClE,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAE9E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AAC3D,YAAY,EACV,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EACpF,sBAAsB,EAAE,QAAQ,EAAE,SAAS,GAC5C,MAAM,2BAA2B,CAAA;AAElC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3E,YAAY,EACV,cAAc,EAAE,cAAc,EAAE,iBAAiB,EACjD,mBAAmB,EAAE,kBAAkB,GACxC,MAAM,yBAAyB,CAAA;AAEhC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AACzD,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAClD,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAEzD,YAAY,EACV,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,GAClF,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACL,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EACrE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,GACnD,MAAM,iBAAiB,CAAA;AAQxB,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AACpE,YAAY,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAG1F,YAAY,EACV,aAAa,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,aAAa,GACzE,MAAM,oBAAoB,CAAA"}

package/dist/env-agnostic.js

@@ -13,7 +13,7 @@
  */
 export { asFileId, asInnerId, asScopedId, asStmtId, asPartName, asGroupName, asRefId, asReferenceId, asSelectorKey, asOccurrenceId, asShapeId, asFaceId, asEdgeId, asNodeId, toScopedId, splitScopedId, isScopedId, toInnerId, } from './identity.js';
 // ── runtime-state：运行时状态锚点（零依赖层；引擎与库共享）──
-export { configureBackends, getBackends, setCurrentStmt, getCurrentStmt, keep, keepHidden, getRuntimeState, nameOf, setName, setKeepSink, setPendingAssemblyTransforms, takePendingAssemblyTransforms, assertContractVersion, setPendingDetectedUnit, takePendingDetectedUnits, setPendingMeshSolid, takePendingMeshSolids, setPendingMeshTopology, takePendingMeshTopologies, CONTRACT_VERSION, } from './runtime-state.js';
+export { configureBackends, getBackends, setCurrentStmt, getCurrentStmt, keep, keepHidden, getRuntimeState, nameOf, setName, setKeepSink, configureTessellation, getTessellation, setPendingAssemblyTransforms, takePendingAssemblyTransforms, assertContractVersion, setPendingDetectedUnit, takePendingDetectedUnits, setPendingMeshSolid, takePendingMeshSolids, setPendingMeshTopology, takePendingMeshTopologies, CONTRACT_VERSION, } from './runtime-state.js';
 export { derivePartName, getMaxModelNum, } from './lang/allocate-id.js';
 export { fmtNum, formatCodeLine, fmtUnitNum, formatUnitLiteral } from './lang/codegen.js';
 export { analyzeCode } from './lang/statement-summary.js';

package/dist/env-agnostic.js.map

@@ -1 +1 @@
-{"version":3,"file":"env-agnostic.js","sourceRoot":"","sources":["../src/env-agnostic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAQH,OAAO,EACL,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAClE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,EAChE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAC5B,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,GACjD,MAAM,YAAY,CAAA;AAEnB,0CAA0C;AAC1C,OAAO,EACL,iBAAiB,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,EAC9D,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAC/D,4BAA4B,EAAE,6BAA6B,EAAE,qBAAqB,EAClF,sBAAsB,EAAE,wBAAwB,EAChD,mBAAmB,EAAE,qBAAqB,EAC1C,sBAAsB,EAAE,yBAAyB,EACjD,gBAAgB,GACjB,MAAM,iBAAiB,CAAA;AAaxB,OAAO,EACL,cAAc,EAAE,cAAc,GAC/B,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAEtF,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAEtD,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAElE,0DAA0D;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AAK3D,oCAAoC;AACpC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAK3E,qCAAqC;AACrC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAEzD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAMlD,OAAO,EACL,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EACrE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,GACnD,MAAM,iBAAiB,CAAA;AAExB,+BAA+B;AAC/B,gEAAgE;AAChE,mEAAmE;AACnE,+DAA+D;AAC/D,0EAA0E;AAC1E,qDAAqD;AACrD,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA","sourcesContent":["/**\n * env-agnostic.ts — environment-agnostic shared surface (weapp plan §9.1)\n *\n * One home for the exports that every host entry (index / browser / weapp)\n * must share: identity + runtime-state + lang/* text-layer tools. Umbrella\n * entries re-export this module instead of hand-listing the same symbols three\n * times — hand lists are how drift (and entry leaks) happened before.\n *\n * Constraint: NOTHING in this module's dependency graph may be\n * platform-specific. No node:*, no DOM, no three (the weapp main thread holds\n * its own three copy — a second copy via this entry is a hard failure), no\n * brepkit, no wasm loaders. Guarded by entry-boundary.test.ts.\n */\n\n// ── identity：品牌类型 + 信任点（f0，零依赖）──\nexport type {\n  FileId, InnerId, ScopedId, StmtId, PartName, GroupName,\n  RefId, ReferenceId, SelectorKey, OccurrenceId, ShapeId,\n  FaceId, EdgeId, NodeId, StatementId, FaceSelector,\n} from './identity'\nexport {\n  asFileId, asInnerId, asScopedId, asStmtId, asPartName, asGroupName,\n  asRefId, asReferenceId, asSelectorKey, asOccurrenceId, asShapeId,\n  asFaceId, asEdgeId, asNodeId,\n  toScopedId, splitScopedId, isScopedId, toInnerId,\n} from './identity'\n\n// ── runtime-state：运行时状态锚点（零依赖层；引擎与库共享）──\nexport {\n  configureBackends, getBackends, setCurrentStmt, getCurrentStmt,\n  keep, keepHidden, getRuntimeState, nameOf, setName, setKeepSink,\n  setPendingAssemblyTransforms, takePendingAssemblyTransforms, assertContractVersion,\n  setPendingDetectedUnit, takePendingDetectedUnits,\n  setPendingMeshSolid, takePendingMeshSolids,\n  setPendingMeshTopology, takePendingMeshTopologies,\n  CONTRACT_VERSION,\n} from './runtime-state'\nexport type {\n  Backends, FaijsRuntimeState, ShapeSlot, KeepSink, RuntimeExecutionMode,\n  AssemblyTransform, LibFn, LibNamespace, ExecutionAnchor, DetectedUnits,\n} from './runtime-state'\n\n// ── L0 lang/ 文本面（IR 是引擎内部实现细节，不导出；公开面只有代码文本工具与结果类型）──\nexport type {\n  Vec3, JsonValue,\n  TerminalShape, ParamDef,\n} from './lang/types'\n// 拓扑身份 provenance 类型（op 级命名 / 拓扑身份系统公开面）。\nexport type { Provenance, NewFaceRule } from './topology/naming/lineage'\nexport {\n  derivePartName, getMaxModelNum,\n} from './lang/allocate-id'\nexport type { DerivePartNameInput, DerivePartNameResult } from './lang/allocate-id'\nexport { fmtNum, formatCodeLine, fmtUnitNum, formatUnitLiteral } from './lang/codegen'\nexport type { FormatCodeLineInput, UnitSerializeOptions } from './lang/codegen'\nexport { analyzeCode } from './lang/statement-summary'\nexport type { StatementSummary } from './lang/statement-summary'\nexport { codeToArgs, parseUnitLiteral } from './lang/code-to-args'\nexport type { CodeToArgsResult, CodeToArgsOptions } from './lang/code-to-args'\n// MetadataExtractor — 无 IR 元数据提取器（UI 通道语义源；UiMetadata 全量）\nexport { extractMetadata } from './lang/metadata-extractor'\nexport type {\n  UiMetadata, ArgSource, ParamEntry, ImportEntry, FunctionEntry, BlockEntry, KeepEntry,\n  ExtractMetadataOptions, OpDimMap, OpDimDecl,\n} from './lang/metadata-extractor'\n// SecurityScanner — 静态安全门禁（纵深防御第一层）\nexport { scanSource, scanAst, assertSecure } from './lang/security-scanner'\nexport type {\n  SecurityPolicy, SecurityRuleId, SecurityViolation,\n  SecurityScanOptions, SecurityScanResult,\n} from './lang/security-scanner'\n// 参数表达式编辑（P0-C/P0-D）：实时校验层 + 编辑面板纯函数\nexport { validateExpression } from './lang/expr-validate'\nexport type { ExprValidateInput, ExprValidateResult } from './lang/expr-validate'\nexport { editArgSource } from './lang/source-edit'\nexport type { EditSourceError } from './lang/source-edit'\n// HostArg — 宿主友好位置参数类型（IR 屏蔽层）\nexport type {\n  HostArg, HostRef, HostVarRef, HostParamRef, HostCallRef, HostExprRef, HostRefKind,\n} from './lang/host-arg'\nexport {\n  isHostVarRef, isHostParamRef, isHostCallRef, isHostExprRef, isHostRef,\n  hostArgToDisplay, hostArgToLiteral, HOST_REF_KINDS,\n} from './lang/host-arg'\n\n// ── mesh 工具面（环境无关）：折边法线数据版 ──\n// weapp 方案 §9.1 第 4 项：GeometryBinding 下沉 scene-kernel 后，共享层需要的是\n// 「positions / indices 进、法线 Float32Array 出」的版本，且模块链不得 import three\n// （端侧只能有一份 0.162）。算法在 boolean/creased-normals.ts（零依赖移植 three 的\n// toCreasedNormals）；three 版 deriveNormals（boolean/deriveNormals.ts）只是本数据版\n// 的 BufferGeometry 薄适配，留在 browser/index 面供 web 场景使用。\nexport { deriveCreasedNormalsData } from './boolean/creased-normals'\nexport type { CreasedNormalsInput, CreasedNormalsResult } from './boolean/creased-normals'\n\n// ── primitives 纯类型（零运行时依赖；primitive-emission 共享层消费）──\nexport type {\n  PrimitiveType, PrimitiveParamsRecord, PrimitiveArgsRecord, PrimitiveMeta,\n} from './primitives/types'\n"]}
+{"version":3,"file":"env-agnostic.js","sourceRoot":"","sources":["../src/env-agnostic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAQH,OAAO,EACL,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAClE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,EAChE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAC5B,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,GACjD,MAAM,YAAY,CAAA;AAEnB,0CAA0C;AAC1C,OAAO,EACL,iBAAiB,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,EAC9D,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAC/D,qBAAqB,EAAE,eAAe,EACtC,4BAA4B,EAAE,6BAA6B,EAAE,qBAAqB,EAClF,sBAAsB,EAAE,wBAAwB,EAChD,mBAAmB,EAAE,qBAAqB,EAC1C,sBAAsB,EAAE,yBAAyB,EACjD,gBAAgB,GACjB,MAAM,iBAAiB,CAAA;AAcxB,OAAO,EACL,cAAc,EAAE,cAAc,GAC/B,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAEtF,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAEtD,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAElE,0DAA0D;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AAK3D,oCAAoC;AACpC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAK3E,qCAAqC;AACrC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAEzD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAMlD,OAAO,EACL,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EACrE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,GACnD,MAAM,iBAAiB,CAAA;AAExB,+BAA+B;AAC/B,gEAAgE;AAChE,mEAAmE;AACnE,+DAA+D;AAC/D,0EAA0E;AAC1E,qDAAqD;AACrD,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA","sourcesContent":["/**\n * env-agnostic.ts — environment-agnostic shared surface (weapp plan §9.1)\n *\n * One home for the exports that every host entry (index / browser / weapp)\n * must share: identity + runtime-state + lang/* text-layer tools. Umbrella\n * entries re-export this module instead of hand-listing the same symbols three\n * times — hand lists are how drift (and entry leaks) happened before.\n *\n * Constraint: NOTHING in this module's dependency graph may be\n * platform-specific. No node:*, no DOM, no three (the weapp main thread holds\n * its own three copy — a second copy via this entry is a hard failure), no\n * brepkit, no wasm loaders. Guarded by entry-boundary.test.ts.\n */\n\n// ── identity：品牌类型 + 信任点（f0，零依赖）──\nexport type {\n  FileId, InnerId, ScopedId, StmtId, PartName, GroupName,\n  RefId, ReferenceId, SelectorKey, OccurrenceId, ShapeId,\n  FaceId, EdgeId, NodeId, StatementId, FaceSelector,\n} from './identity'\nexport {\n  asFileId, asInnerId, asScopedId, asStmtId, asPartName, asGroupName,\n  asRefId, asReferenceId, asSelectorKey, asOccurrenceId, asShapeId,\n  asFaceId, asEdgeId, asNodeId,\n  toScopedId, splitScopedId, isScopedId, toInnerId,\n} from './identity'\n\n// ── runtime-state：运行时状态锚点（零依赖层；引擎与库共享）──\nexport {\n  configureBackends, getBackends, setCurrentStmt, getCurrentStmt,\n  keep, keepHidden, getRuntimeState, nameOf, setName, setKeepSink,\n  configureTessellation, getTessellation,\n  setPendingAssemblyTransforms, takePendingAssemblyTransforms, assertContractVersion,\n  setPendingDetectedUnit, takePendingDetectedUnits,\n  setPendingMeshSolid, takePendingMeshSolids,\n  setPendingMeshTopology, takePendingMeshTopologies,\n  CONTRACT_VERSION,\n} from './runtime-state'\nexport type {\n  Backends, FaijsRuntimeState, ShapeSlot, KeepSink, RuntimeExecutionMode,\n  AssemblyTransform, LibFn, LibNamespace, ExecutionAnchor, DetectedUnits,\n  TessellationDensity,\n} from './runtime-state'\n\n// ── L0 lang/ 文本面（IR 是引擎内部实现细节，不导出；公开面只有代码文本工具与结果类型）──\nexport type {\n  Vec3, JsonValue,\n  TerminalShape, ParamDef,\n} from './lang/types'\n// 拓扑身份 provenance 类型（op 级命名 / 拓扑身份系统公开面）。\nexport type { Provenance, NewFaceRule } from './topology/naming/lineage'\nexport {\n  derivePartName, getMaxModelNum,\n} from './lang/allocate-id'\nexport type { DerivePartNameInput, DerivePartNameResult } from './lang/allocate-id'\nexport { fmtNum, formatCodeLine, fmtUnitNum, formatUnitLiteral } from './lang/codegen'\nexport type { FormatCodeLineInput, UnitSerializeOptions } from './lang/codegen'\nexport { analyzeCode } from './lang/statement-summary'\nexport type { StatementSummary } from './lang/statement-summary'\nexport { codeToArgs, parseUnitLiteral } from './lang/code-to-args'\nexport type { CodeToArgsResult, CodeToArgsOptions } from './lang/code-to-args'\n// MetadataExtractor — 无 IR 元数据提取器（UI 通道语义源；UiMetadata 全量）\nexport { extractMetadata } from './lang/metadata-extractor'\nexport type {\n  UiMetadata, ArgSource, ParamEntry, ImportEntry, FunctionEntry, BlockEntry, KeepEntry,\n  ExtractMetadataOptions, OpDimMap, OpDimDecl,\n} from './lang/metadata-extractor'\n// SecurityScanner — 静态安全门禁（纵深防御第一层）\nexport { scanSource, scanAst, assertSecure } from './lang/security-scanner'\nexport type {\n  SecurityPolicy, SecurityRuleId, SecurityViolation,\n  SecurityScanOptions, SecurityScanResult,\n} from './lang/security-scanner'\n// 参数表达式编辑（P0-C/P0-D）：实时校验层 + 编辑面板纯函数\nexport { validateExpression } from './lang/expr-validate'\nexport type { ExprValidateInput, ExprValidateResult } from './lang/expr-validate'\nexport { editArgSource } from './lang/source-edit'\nexport type { EditSourceError } from './lang/source-edit'\n// HostArg — 宿主友好位置参数类型（IR 屏蔽层）\nexport type {\n  HostArg, HostRef, HostVarRef, HostParamRef, HostCallRef, HostExprRef, HostRefKind,\n} from './lang/host-arg'\nexport {\n  isHostVarRef, isHostParamRef, isHostCallRef, isHostExprRef, isHostRef,\n  hostArgToDisplay, hostArgToLiteral, HOST_REF_KINDS,\n} from './lang/host-arg'\n\n// ── mesh 工具面（环境无关）：折边法线数据版 ──\n// weapp 方案 §9.1 第 4 项：GeometryBinding 下沉 scene-kernel 后，共享层需要的是\n// 「positions / indices 进、法线 Float32Array 出」的版本，且模块链不得 import three\n// （端侧只能有一份 0.162）。算法在 boolean/creased-normals.ts（零依赖移植 three 的\n// toCreasedNormals）；three 版 deriveNormals（boolean/deriveNormals.ts）只是本数据版\n// 的 BufferGeometry 薄适配，留在 browser/index 面供 web 场景使用。\nexport { deriveCreasedNormalsData } from './boolean/creased-normals'\nexport type { CreasedNormalsInput, CreasedNormalsResult } from './boolean/creased-normals'\n\n// ── primitives 纯类型（零运行时依赖；primitive-emission 共享层消费）──\nexport type {\n  PrimitiveType, PrimitiveParamsRecord, PrimitiveArgsRecord, PrimitiveMeta,\n} from './primitives/types'\n"]}

package/dist/index.d.ts

@@ -1,80 +1,29 @@
 /**
- * @faicad/faijs �?Faicad CAD execution engine
+ * @faicad/faijs — Faicad CAD execution engine
  *
- * 公开 API 统一入口。所有导出按层组织：
- * - L0 文本层：parser / codegen / symbol-table / types
- * - L1 几何执行层：BREP ops / Shape / 导出
- * - L1 Mesh 执行层：cad API
- * - L1 Boolean/CSG 辅助：cross-section / deriveNormals / extrude-helpers / joinery-shapes
- * - L1 Primitives：geometry / screw / svg-extrude / text / types
- * - L1 SDF：sdf-runner / templates / types
- * - L1 Knurl：KnurlGenerator / subdivision / textureLoader
- * - L1 Topology：build-face-ids / build-selector-runtime / types
- * - L2 编排层：CadRuntime / HostPorts
- * - L3 Node Host：createNodePorts / CLI
- * - OCCT Kernel：initOcctWasm / getKernel / setOcctWasmInitFn / ...
- * - CSG Backend：setCsgBackend / geoToManifoldMesh / ...
+ * Public API umbrella entry. All exports are re-exports (no new signatures).
+ * Organized by architecture layer (L0–L3); each layer consumes `export *` from
+ * its sub-module index.ts, with explicit disambiguation for same-name types.
  */
 export * from './env-agnostic.js';
-export type { Shape } from './mesh/types.js';
-export type { BrepChainState } from './brep/brep-chain.js';
-export { createBrepChainState, initBrepChainState, releaseBrepChainState, isCadFormat, } from './brep/brep-chain.js';
-export { solidToShape, getSolidBoundingBox, translateBrep, rotateBrep, scaleBrep, fuseBrep, cutBrep, commonBrep, drillBrep, splitBrep, extrudeBrep, loadBrep, matrixToArray, } from './brep/index.js';
-export type { DrillBrepParams, SplitBrepParams, SplitBrepResult, ExtrudeBrepParams } from './brep/index.js';
+export * from './mesh/index.js';
+export * from './brep/index.js';
 export { buildStlBufferFromMesh } from './brep/export/stl.js';
 export { exportStepFromSolid, exportStepFromSolids } from './brep/export/step.js';
 export type { StepExportEntry } from './brep/export/step.js';
-export { setEngraveDecorationProvider, getEngraveDecorationProvider } from './mesh/decoration-provider.js';
-export type { EngraveDecorationProvider, EngraveDecorationParams } from './mesh/decoration-provider.js';
-export { setManifoldWasmUrl, getManifoldWasmUrl, getManifoldModule } from './mesh/manifold-loader.js';
-export type { BoundingBox, FaceDescriptor, BoxParams, SphereParams, CylinderParams, ConeParams, WedgeParams, TextParams, SvgExtrudeParams, SdfParams, DrillParams, ExtrudeParams, EngraveParams, KnurlParams, SplitPlane, SplitResult, } from './mesh/types.js';
-export { NRAD_DEFAULT, NRAD_MIN, NRAD_MAX, clampNRad } from './mesh/types.js';
-export { faceAt } from './mesh/query.js';
-export { computeSection, buildExtrudedProfile } from './boolean/cross-section.js';
-export { manifoldToMeshData, weldPositionsWorker, dovetailBooleanSplit, dowelOrTenonBooleanSplit } from './boolean/csg-core.js';
-export { deriveNormals } from './boolean/deriveNormals.js';
-export { buildExtrudeParts, makeWorldPlane } from './boolean/extrude-helpers.js';
-export type { ExtrudeParts, ExtrudeOffsetMode } from './boolean/extrude-helpers.js';
-export { buildWedgeGeometry, buildDowelGeometry, buildStraightTenonGeometry, } from './boolean/joinery-shapes.js';
-export type { JoineryMeshData } from './boolean/joinery-shapes.js';
-export { setCsgBackend } from './boolean/csg-backend.js';
-export { geoToManifoldMesh, manifoldMeshToGeo } from './boolean/geo-convert.js';
-export type { ManifoldMeshData, BooleanOperation, DovetailGrooveParams, DowelSplitParams, StraightTenonSplitParams, } from './boolean/geo-convert.js';
-export { mergeBufferGeometries, makePrimitiveGeo, DEFAULT_SIZE, applyPrimitiveOffset } from './primitives/mesh-primitives.js';
-export { makeScrew } from './primitives/screw/screw.js';
-export { getScrewSpec, getScrewSpecs, threadToPitchMm, SCREW_HEAD_DIMS } from './primitives/screw/screw-db.js';
-export type { ScrewParams, ScrewSpec, ScrewSystem } from './primitives/screw/screw-db.js';
-export { parseSvgNaturalSize } from './primitives/parse-svg-size.js';
-export { extractMeshData, primitiveToBrepSolid, geometryToBrepSolid, brepSolidToStep, primitiveToBrepStep, } from './primitives/brep-primitives.js';
-export type { PrimitiveToBrepResult, PrimitiveParams } from './primitives/brep-primitives.js';
-export { loadSystemCjkFont, containsCjk, isCjkChar } from './primitives/text/cjk-font.js';
-export type { CjkFontResult } from './primitives/text/cjk-font.js';
-export type { PrimitiveType, PrimitiveParamsRecord, PrimitiveArgsRecord, PrimitiveMeta, } from './primitives/types.js';
-export { nextPrimitiveColor } from './primitives/types.js';
-export { runSdf } from './sdf/sdf-runner.js';
-export type { SdfMeshData } from './sdf/sdf-runner.js';
-export { runSdfInline } from './sdf/sdf-core.js';
-export { SDF_TEMPLATES, DEFAULT_SDF_TEMPLATE } from './sdf/templates.js';
-export type { SdfMeta, SdfBox, SdfParamDef, SdfTemplateCategory, SdfWorkerInput, SdfWorkerMessage, } from './sdf/types.js';
-export { boxToTuple, parseParamDefs, defaultParamValues } from './sdf/types.js';
-export { applyKnurlDisplacement, KNURL_DEFAULTS } from './mesh/knurl/KnurlGenerator.js';
-export type { KnurlBounds } from './mesh/knurl/KnurlGenerator.js';
-export { subdivide } from './mesh/knurl/subdivision.js';
-export { loadKnurlingTexture, setKnurlTextureLoader } from './mesh/knurl/textureLoader.js';
-export type { TextureData } from './mesh/knurl/textureLoader.js';
-export { QuantizedPointMap, weldVertices } from './mesh/knurl/meshIndex.js';
-export { computeUV, MODE_TRIPLANAR, getCubicBlendWeights, type MappingSettings } from './mesh/knurl/mapping.js';
-export { applyDisplacement, type DisplacementSettings } from './mesh/knurl/displacement.js';
+export * from './boolean/index.js';
+export * from './primitives/index.js';
+export * from './sdf.js';
 export { TOPOLOGY_FACE_ID_NONE, buildFaceIdsForPart } from './topology/build-face-ids.js';
 export { buildSelectorRuntime, buildSelectorRuntimeData, buildSelectorRuntimeMaps, } from './topology/build-selector-runtime.js';
 export type { SelectorRuntimeData } from './topology/build-selector-runtime.js';
 export type { SelectorRuntime, SelectorBundle, SelectorManifest, SelectorBuffers, FaceRow, EdgeRow, Reference, BufferViewDescriptor, SelectorProxy, } from './topology/types.js';
 export * from './topology/naming/index.js';
-export { CadRuntime, createRuntime, computeContentKey, AppendPrefixError } from './cad-runtime/createRuntimeWithCad.js';
+export { CadRuntime, createRuntime, createBareRuntime, computeContentKey, AppendPrefixError } from './cad-runtime/runtime.js';
 export { createPreviewExec } from './cad-runtime/preview-exec.js';
 export type { PreviewExec } from './cad-runtime/preview-exec.js';
-export type { ExecutionResult, ExecuteOptions, CheckResult, CheckError, CadRuntimeOptions } from './cad-runtime/runtime.js';
-export type { HostPorts, CsgBackend, SdfBackend, FontProvider, TextureSampler, AssetResolver, EventSink, ExecutionMode, MeshData, PlaneParams, SplitResult as CsgSplitResult, DovetailGrooveParams as PortDovetailGrooveParams, DowelSplitParams as PortDowelSplitParams, StraightTenonSplitParams as PortStraightTenonSplitParams, LibLoader, ProjectLoader, } from './cad-runtime/ports.js';
+export type { ExecutionResult, ExecuteOptions, CheckResult, CheckError, CadRuntimeOptions, PartTopology, TopologySource } from './cad-runtime/runtime.js';
+export type { HostPorts, CsgBackend, SdfBackend, FontProvider, TextureSampler, AssetResolver, EventSink, ExecutionMode, HostEnv, MeshData, PlaneParams, SplitResult as CsgSplitResult, DovetailGrooveParams as PortDovetailGrooveParams, DowelSplitParams as PortDowelSplitParams, StraightTenonSplitParams as PortStraightTenonSplitParams, LibLoader, ProjectLoader, } from './cad-runtime/ports.js';
 export { initOcctWasm, getKernel, disposeOcctWasm, setOcctWasmInitFn, computeEffectiveDeflection, importStepToMesh, importBrepToMesh, meshesToStep, releaseShape, importAssemblyFromStep, releaseAssemblyTree, collectLeafParts, } from './occt-kernel/occtKernel.js';
 export type { WasmTessellatedMesh, WasmImportResult, AssemblyPartNode, MeshDeflectionOptions, ShapeHandle, OcctKernel, Mesh, EdgeData, SurfaceKind, CurveKind, } from './occt-kernel/occtKernel.js';
 export { reconstructSolidFromMesh, meshToAsciiStl, cadShapeIsValid, meshToStepBrep } from './occt-kernel/meshReconstruct.js';
@@ -92,7 +41,7 @@ export { MeshSolidRegistry, normalizeMeshSolid, describeMeshSolid, buildMeshSoli
 export type { MeshSolidBackend, MeshSolidResult, MeshSolidKernelOps, MeshSolidInput, MeshSolidNormalizeOptions, } from './brep/mesh-solid.js';
 export { assertShapeSlotExclusive } from './cad-runtime/backend-dispatch.js';
 export type { BrepEngineApi } from './brep/engine/primitives.js';
-export type { BrepHandle, BrepMeshResult, BrepBoundingBox, BrepVec3, BrepCapabilities, BrepEvolutionData, BrepXcafDocument, } from './brep/engine/types.js';
+export type { BrepHandle, BrepMeshResult, BrepBoundingBox, BrepVec3, BrepEvolutionKind, BrepEvolutionData, BrepXcafDocument, } from './brep/engine/types.js';
 export { buildSolidTopologyRuntime } from './brep/brep-topology.js';
 export type { SolidTopologyResult } from './brep/brep-topology.js';
 export { setFontLoader, getFontLoader, loadFont, ensureDefaultFont, ensureFont, getFont, clearFonts } from './brep/text/fontRegistry.js';
@@ -109,5 +58,6 @@ export type { FetchAssetResolverOptions } from './browser-host/fetch-asset-resol
 export * from './api/index.js';
 export { createApiNamespace } from './api/api-namespace.js';
 export { MM, CM, M, MICRON, INCH, FOOT, YARD, DEGREE, RADIAN, SCRIPT_UNIT_NAMES, } from './units.js';
+export type { DimName, DimDecl, DimSpec, BaseDimension, UnitName } from './units.js';
 export type { Vec3 } from './lang/types.js';
 //# sourceMappingURL=index.d.ts.map