@faicad/faijs 0.29.5 → 0.30.9

package/dist/define-op.d.ts

@@ -26,6 +26,7 @@
  * 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';
@@ -65,7 +66,7 @@ export declare function isGeometryInput(v: unknown): v is Shape;
  * several defineOps within one statement, and only the first one must register.
  */
 /** Product of a mesh implementation: raw mesh data, a wrapped Shape, or (with `outputs`) a record of named products. */
-export type MeshProduct = MeshData | Shape | Record<string, MeshData | Shape>;
+export type MeshProduct = MeshData | Shape | CompoundShape | Record<string, MeshData | Shape | CompoundShape>;
 /** Mesh implementation: sync or async (api mesh paths are often async); returns a mesh product. */
 export type MeshImpl<A extends unknown[]> = (...args: A) => MeshProduct | Promise<MeshProduct>;
 /** BREP implementation result: a raw handle, or a handle plus face evolution. */
@@ -74,7 +75,7 @@ export interface BrepResult {
     faceEvolution?: Map<number, number[]>;
 }
 /** Product of a BREP implementation: a raw handle, { solid, faceEvolution }, a wrapped Shape, or (with `outputs`) a record of named products. */
-export type BrepProduct = BrepHandle | BrepResult | Shape | Record<string, BrepHandle | BrepResult | Shape> | ResultLike;
+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). */
@@ -112,7 +113,7 @@ export interface DualOpOptions {
     schema?: Record<string, string>;
     /**
      * D11 slot-map declaration (§4.2): the positional→object boxing table
-     * (SlotMap) mapping a brepjs-style positional call onto this op's native
+     * (SlotMap) mapping a positional call onto this op's native
      * object form. Ops without it accept only the form their implementation
      * natively takes.
      */

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;AAa9G,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,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,KAAK,CAAC,CAAA;AAE7E,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,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,KAAK,CAAC,GAC/C,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;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"}

package/dist/define-op.js

@@ -92,7 +92,7 @@ function wrapByKeys(r, keys, wrapOne) {
     }
     // Pass through non-shape data keys (e.g. autoHeal's `report`): declared
     // outputs are the geometry that gets Shape-wrapped, but sibling data products
-    // of the same op result must survive the statement boundary (§5.4 selfhost).
+    // of the same op result must survive the statement boundary (§5.4).
     for (const k of Object.keys(src)) {
         if (!keys.includes(k))
             out[k] = src[k];
@@ -229,7 +229,7 @@ export function defineOp(decl) {
     // awaits the call, so returning a Promise is transparent.
     const wrapped = async (...args) => {
         // D11 (§4.2): faijs-native ops declare an object-form implementation, so a
-        // brepjs-style positional call is boxed into the object form here — before
+        // positional call is boxed into the object form here — before
         // dispatch, so geometry inputs are collected from the normalized arg list.
         const callArgs = (meta.slotMap ? positionalToObject(args, meta.slotMap, opLabel(meta)) : args);
         // Geometry inputs: identity-or-structure auto collection (execution-time

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,EAAE,MAAM,SAAS,CAAA;AAC3D,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;AA4HD,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,6EAA6E;IAC7E,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,2EAA2E;QAC3E,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 } 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 | Record<string, MeshData | Shape>\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  | Record<string, BrepHandle | BrepResult | Shape>\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 brepjs-style 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 selfhost).\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    // brepjs-style 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,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"]}

package/dist/geometry2d/bridge/plane.d.ts

@@ -3,7 +3,7 @@
  *
  * A {@link Plane} carries an origin plus a right-handed, orthonormal frame
  * `xDir / yDir / zDir` where `zDir` is the plane normal — the same semantic as
- * the kernel `gp_Ax3` frame and the `createPlane` helper in `api/brepjs-compat`.
+ * the kernel `gp_Ax3` frame and the `createPlane` helper in `api/geom-types`.
  * The bridge may **not** import `api/` (plan rule against a cycle), so this
  * module re-derives the framing math self-containedly. Points use the
  * `{ x, y, z }` shape compatible with the BREP engine's neutral `BrepVec3`.

package/dist/geometry2d/bridge/plane.js

@@ -3,7 +3,7 @@
  *
  * A {@link Plane} carries an origin plus a right-handed, orthonormal frame
  * `xDir / yDir / zDir` where `zDir` is the plane normal — the same semantic as
- * the kernel `gp_Ax3` frame and the `createPlane` helper in `api/brepjs-compat`.
+ * the kernel `gp_Ax3` frame and the `createPlane` helper in `api/geom-types`.
  * The bridge may **not** import `api/` (plan rule against a cycle), so this
  * module re-derives the framing math self-containedly. Points use the
  * `{ x, y, z }` shape compatible with the BREP engine's neutral `BrepVec3`.

package/dist/geometry2d/bridge/plane.js.map

@@ -1 +1 @@
-{"version":3,"file":"plane.js","sourceRoot":"","sources":["../../../src/geometry2d/bridge/plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAYH;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CAAC,CAAY;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAA;IAC7D,MAAM,CAAC,GAAG,CAAS,CAAA;IACnB,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;AACnC,CAAC;AAiBD,SAAS,KAAK,CAAC,CAAO,EAAE,CAAO;IAC7B,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;AACzF,CAAC;AAED,SAAS,GAAG,CAAC,CAAO,EAAE,CAAO;IAC3B,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAC1C,CAAC;AAED,SAAS,IAAI,CAAC,CAAO;IACnB,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AACrD,CAAC;AAED,SAAS,SAAS,CAAC,CAAO;IACxB,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACnB,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;AAC1F,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,SAAS,CAAC,MAAiB,EAAE,MAAiB,EAAE,IAAgB;IAC9E,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;IACxB,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACnC,IAAI,CAAO,CAAA;IACX,IAAI,IAAI,EAAE,CAAC;QACT,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;IAC7B,CAAC;SAAM,CAAC;QACN,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAChE,MAAM,IAAI,GACR,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QACtG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IAC/B,CAAC;IACD,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA;AACjD,CAAC;AAED,iFAAiF;AACjF,MAAM,YAAY,GAA+C;IAC/D,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC/D,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC9D,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IACjE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IACjE,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAClE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC/D,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;CACpE,CAAA;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,SAAoB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IAC/E,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IAC9B,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,8DAA8D,CAAC,CAAA;IAC/G,OAAO,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;AACtD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAY,EAAE,CAAS,EAAE,CAAS;IACjE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAA;IAC7C,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;AAC/F,CAAC;AACD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAAC,KAAY,EAAE,CAAY;IACrD,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAA;IAC7C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IACnB,MAAM,CAAC,GAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5D,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;AACvC,CAAC","sourcesContent":["/**\n * Plane frame helpers for 2D→3D placement (pure TS, no kernel, no `api/` import).\n *\n * A {@link Plane} carries an origin plus a right-handed, orthonormal frame\n * `xDir / yDir / zDir` where `zDir` is the plane normal — the same semantic as\n * the kernel `gp_Ax3` frame and the `createPlane` helper in `api/brepjs-compat`.\n * The bridge may **not** import `api/` (plan rule against a cycle), so this\n * module re-derives the framing math self-containedly. Points use the\n * `{ x, y, z }` shape compatible with the BREP engine's neutral `BrepVec3`.\n * @module\n */\n\n/** A 3D point / vector (neutral {x,y,z} shape, kernel-compatible). */\nexport interface Vec3 {\n  x: number\n  y: number\n  z: number\n}\n\n/** User-facing 3D input: `{x,y,z}` object or `[x,y,z]` array (the script form). */\nexport type Vec3Input = Vec3 | readonly [number, number, number]\n\n/**\n * Normalize a raw script- or API-facing 3D input to the canonical `{x,y,z}`.\n * Accepts both the array form (`[1,0,0]`, as produced by `.fai.js` literals)\n * and the object form (`{x,y,z}`, used by the bridge internals).\n * @param v - the input 3D value.\n * @returns the canonical vector.\n */\nexport function toVec3(v: Vec3Input): Vec3 {\n  if (Array.isArray(v)) return { x: v[0]!, y: v[1]!, z: v[2]! }\n  const o = v as Vec3\n  return { x: o.x, y: o.y, z: o.z }\n}\n\n/**\n * A right-handed, orthonormal plane frame: an origin plus `xDir`/`yDir` (in-plane\n * axes) and `zDir` (the normal). 2D `(x, y)` maps to `origin + x*xDir + y*yDir`.\n */\nexport interface Plane {\n  /** The plane's anchor point (the 2D origin maps here). */\n  readonly origin: Vec3\n  /** The in-plane X axis (maps the 2D +X). */\n  readonly xDir: Vec3\n  /** The in-plane Y axis (maps the 2D +Y). */\n  readonly yDir: Vec3\n  /** The plane normal (2D +Z after placement). */\n  readonly zDir: Vec3\n}\n\nfunction cross(a: Vec3, b: Vec3): Vec3 {\n  return { x: a.y * b.z - a.z * b.y, y: a.z * b.x - a.x * b.z, z: a.x * b.y - a.y * b.x }\n}\n\nfunction dot(a: Vec3, b: Vec3): number {\n  return a.x * b.x + a.y * b.y + a.z * b.z\n}\n\nfunction norm(v: Vec3): number {\n  return Math.sqrt(v.x * v.x + v.y * v.y + v.z * v.z)\n}\n\nfunction normalize(v: Vec3): Vec3 {\n  const len = norm(v)\n  return len > 1e-14 ? { x: v.x / len, y: v.y / len, z: v.z / len } : { x: 1, y: 0, z: 0 }\n}\n\n/**\n * Build a right-handed plane frame from an origin, a normal, and an optional\n * in-plane X direction. The X direction is auto-derived (least-aligned-axis\n * cross product) when omitted, mirroring the kernel `gp_Ax3` convention.\n * @param origin - the plane origin (2D origin maps here).\n * @param normal - the plane normal (becomes the zDir); must be non-zero.\n * @param xDir - optional explicit in-plane X; auto-derived when omitted.\n * @returns the orthonormal plane frame.\n */\nexport function makePlane(origin: Vec3Input, normal: Vec3Input, xDir?: Vec3Input): Plane {\n  const o = toVec3(origin)\n  const z = normalize(toVec3(normal))\n  let x: Vec3\n  if (xDir) {\n    x = normalize(toVec3(xDir))\n  } else {\n    const ax = Math.abs(z.x), ay = Math.abs(z.y), az = Math.abs(z.z)\n    const cand: Vec3 =\n      ax <= ay && ax <= az ? { x: 1, y: 0, z: 0 } : ay <= az ? { x: 0, y: 1, z: 0 } : { x: 0, y: 0, z: 1 }\n    x = normalize(cross(cand, z))\n  }\n  const y = normalize(cross(z, x))\n  return { origin: o, xDir: x, yDir: y, zDir: z }\n}\n\n/** Named CAD planes with their canonical frames (origin defaults to [0,0,0]). */\nconst NAMED_PLANES: Record<string, { xDir: Vec3; zDir: Vec3 }> = {\n  XY: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: 0, z: 1 } },\n  XZ: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: -1, z: 0 } },\n  YZ: { xDir: { x: 0, y: 1, z: 0 }, zDir: { x: 1, y: 0, z: 0 } },\n  front: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: 0, z: 1 } },\n  back: { xDir: { x: -1, y: 0, z: 0 }, zDir: { x: 0, y: 0, z: -1 } },\n  left: { xDir: { x: 0, y: 0, z: 1 }, zDir: { x: -1, y: 0, z: 0 } },\n  right: { xDir: { x: 0, y: 0, z: -1 }, zDir: { x: 1, y: 0, z: 0 } },\n  top: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: 1, z: 0 } },\n  bottom: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: -1, z: 0 } },\n}\n\n/**\n * Resolve a named plane (e.g. `'XY'` / `'XZ'` / `'top'`) to a frame at a given\n * origin. Unknown names throw.\n * @param name - the canonical plane name.\n * @param origin - the plane origin (default [0,0,0]).\n * @returns the plane frame.\n */\nexport function namedPlane(name: string, origin: Vec3Input = { x: 0, y: 0, z: 0 }): Plane {\n  const cfg = NAMED_PLANES[name]\n  if (!cfg) throw new Error(`unknown plane '${name}' (expected XY | XZ | YZ | front/back/left/right/top/bottom)`)\n  return makePlane(toVec3(origin), cfg.zDir, cfg.xDir)\n}\n\n/**\n * Map a 2D point `(x, y)` into 3D on a plane frame:\n * `origin + x*xDir + y*yDir`. This is the per-point lift used by curve lifting.\n * @param plane - the target plane.\n * @param x - the 2D `x` coordinate.\n * @param y - the 2D `y` coordinate.\n * @returns the 3D point on the plane.\n */\nexport function liftPointToPlane(plane: Plane, x: number, y: number): Vec3 {\n  const { origin: o, xDir: u, yDir: v } = plane\n  return { x: o.x + x * u.x + y * v.x, y: o.y + x * u.y + y * v.y, z: o.z + x * u.z + y * v.z }\n}\n/**\n * Project a 3D point onto a plane's 2D coordinates — the inverse of\n * {@link liftPointToPlane}. Computes `d = p − origin` and returns\n * `(u, v) = (d·xDir, d·yDir)`. Because `xDir`/`yDir` are orthonormal this is the\n * orthogonal projection: the component of `d` along `zDir` (the plane normal) is\n * dropped. A point already on the plane round-trips losslessly\n * (`worldToPlane(plane, liftPointToPlane(plane, u, v)) === {u, v}`); a point off\n * the plane projects to the foot of the perpendicular — the same behaviour as\n * dropping a sketch point onto its supporting face.\n * @param plane - the supporting plane frame.\n * @param p - the 3D point to project.\n * @returns the 2D `{ u, v }` coordinates on the plane.\n */\nexport function worldToPlane(plane: Plane, p: Vec3Input): { u: number; v: number } {\n  const { origin: o, xDir: u, yDir: v } = plane\n  const q = toVec3(p)\n  const d: Vec3 = { x: q.x - o.x, y: q.y - o.y, z: q.z - o.z }\n  return { u: dot(d, u), v: dot(d, v) }\n}"]}
+{"version":3,"file":"plane.js","sourceRoot":"","sources":["../../../src/geometry2d/bridge/plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAYH;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CAAC,CAAY;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAA;IAC7D,MAAM,CAAC,GAAG,CAAS,CAAA;IACnB,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;AACnC,CAAC;AAiBD,SAAS,KAAK,CAAC,CAAO,EAAE,CAAO;IAC7B,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;AACzF,CAAC;AAED,SAAS,GAAG,CAAC,CAAO,EAAE,CAAO;IAC3B,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAC1C,CAAC;AAED,SAAS,IAAI,CAAC,CAAO;IACnB,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AACrD,CAAC;AAED,SAAS,SAAS,CAAC,CAAO;IACxB,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACnB,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;AAC1F,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,SAAS,CAAC,MAAiB,EAAE,MAAiB,EAAE,IAAgB;IAC9E,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;IACxB,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACnC,IAAI,CAAO,CAAA;IACX,IAAI,IAAI,EAAE,CAAC;QACT,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;IAC7B,CAAC;SAAM,CAAC;QACN,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAChE,MAAM,IAAI,GACR,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QACtG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IAC/B,CAAC;IACD,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA;AACjD,CAAC;AAED,iFAAiF;AACjF,MAAM,YAAY,GAA+C;IAC/D,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC/D,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC9D,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IACjE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IACjE,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAClE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC/D,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;CACpE,CAAA;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,SAAoB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IAC/E,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IAC9B,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,8DAA8D,CAAC,CAAA;IAC/G,OAAO,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;AACtD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAY,EAAE,CAAS,EAAE,CAAS;IACjE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAA;IAC7C,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;AAC/F,CAAC;AACD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAAC,KAAY,EAAE,CAAY;IACrD,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAA;IAC7C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IACnB,MAAM,CAAC,GAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5D,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;AACvC,CAAC","sourcesContent":["/**\n * Plane frame helpers for 2D→3D placement (pure TS, no kernel, no `api/` import).\n *\n * A {@link Plane} carries an origin plus a right-handed, orthonormal frame\n * `xDir / yDir / zDir` where `zDir` is the plane normal — the same semantic as\n * the kernel `gp_Ax3` frame and the `createPlane` helper in `api/geom-types`.\n * The bridge may **not** import `api/` (plan rule against a cycle), so this\n * module re-derives the framing math self-containedly. Points use the\n * `{ x, y, z }` shape compatible with the BREP engine's neutral `BrepVec3`.\n * @module\n */\n\n/** A 3D point / vector (neutral {x,y,z} shape, kernel-compatible). */\nexport interface Vec3 {\n  x: number\n  y: number\n  z: number\n}\n\n/** User-facing 3D input: `{x,y,z}` object or `[x,y,z]` array (the script form). */\nexport type Vec3Input = Vec3 | readonly [number, number, number]\n\n/**\n * Normalize a raw script- or API-facing 3D input to the canonical `{x,y,z}`.\n * Accepts both the array form (`[1,0,0]`, as produced by `.fai.js` literals)\n * and the object form (`{x,y,z}`, used by the bridge internals).\n * @param v - the input 3D value.\n * @returns the canonical vector.\n */\nexport function toVec3(v: Vec3Input): Vec3 {\n  if (Array.isArray(v)) return { x: v[0]!, y: v[1]!, z: v[2]! }\n  const o = v as Vec3\n  return { x: o.x, y: o.y, z: o.z }\n}\n\n/**\n * A right-handed, orthonormal plane frame: an origin plus `xDir`/`yDir` (in-plane\n * axes) and `zDir` (the normal). 2D `(x, y)` maps to `origin + x*xDir + y*yDir`.\n */\nexport interface Plane {\n  /** The plane's anchor point (the 2D origin maps here). */\n  readonly origin: Vec3\n  /** The in-plane X axis (maps the 2D +X). */\n  readonly xDir: Vec3\n  /** The in-plane Y axis (maps the 2D +Y). */\n  readonly yDir: Vec3\n  /** The plane normal (2D +Z after placement). */\n  readonly zDir: Vec3\n}\n\nfunction cross(a: Vec3, b: Vec3): Vec3 {\n  return { x: a.y * b.z - a.z * b.y, y: a.z * b.x - a.x * b.z, z: a.x * b.y - a.y * b.x }\n}\n\nfunction dot(a: Vec3, b: Vec3): number {\n  return a.x * b.x + a.y * b.y + a.z * b.z\n}\n\nfunction norm(v: Vec3): number {\n  return Math.sqrt(v.x * v.x + v.y * v.y + v.z * v.z)\n}\n\nfunction normalize(v: Vec3): Vec3 {\n  const len = norm(v)\n  return len > 1e-14 ? { x: v.x / len, y: v.y / len, z: v.z / len } : { x: 1, y: 0, z: 0 }\n}\n\n/**\n * Build a right-handed plane frame from an origin, a normal, and an optional\n * in-plane X direction. The X direction is auto-derived (least-aligned-axis\n * cross product) when omitted, mirroring the kernel `gp_Ax3` convention.\n * @param origin - the plane origin (2D origin maps here).\n * @param normal - the plane normal (becomes the zDir); must be non-zero.\n * @param xDir - optional explicit in-plane X; auto-derived when omitted.\n * @returns the orthonormal plane frame.\n */\nexport function makePlane(origin: Vec3Input, normal: Vec3Input, xDir?: Vec3Input): Plane {\n  const o = toVec3(origin)\n  const z = normalize(toVec3(normal))\n  let x: Vec3\n  if (xDir) {\n    x = normalize(toVec3(xDir))\n  } else {\n    const ax = Math.abs(z.x), ay = Math.abs(z.y), az = Math.abs(z.z)\n    const cand: Vec3 =\n      ax <= ay && ax <= az ? { x: 1, y: 0, z: 0 } : ay <= az ? { x: 0, y: 1, z: 0 } : { x: 0, y: 0, z: 1 }\n    x = normalize(cross(cand, z))\n  }\n  const y = normalize(cross(z, x))\n  return { origin: o, xDir: x, yDir: y, zDir: z }\n}\n\n/** Named CAD planes with their canonical frames (origin defaults to [0,0,0]). */\nconst NAMED_PLANES: Record<string, { xDir: Vec3; zDir: Vec3 }> = {\n  XY: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: 0, z: 1 } },\n  XZ: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: -1, z: 0 } },\n  YZ: { xDir: { x: 0, y: 1, z: 0 }, zDir: { x: 1, y: 0, z: 0 } },\n  front: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: 0, z: 1 } },\n  back: { xDir: { x: -1, y: 0, z: 0 }, zDir: { x: 0, y: 0, z: -1 } },\n  left: { xDir: { x: 0, y: 0, z: 1 }, zDir: { x: -1, y: 0, z: 0 } },\n  right: { xDir: { x: 0, y: 0, z: -1 }, zDir: { x: 1, y: 0, z: 0 } },\n  top: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: 1, z: 0 } },\n  bottom: { xDir: { x: 1, y: 0, z: 0 }, zDir: { x: 0, y: -1, z: 0 } },\n}\n\n/**\n * Resolve a named plane (e.g. `'XY'` / `'XZ'` / `'top'`) to a frame at a given\n * origin. Unknown names throw.\n * @param name - the canonical plane name.\n * @param origin - the plane origin (default [0,0,0]).\n * @returns the plane frame.\n */\nexport function namedPlane(name: string, origin: Vec3Input = { x: 0, y: 0, z: 0 }): Plane {\n  const cfg = NAMED_PLANES[name]\n  if (!cfg) throw new Error(`unknown plane '${name}' (expected XY | XZ | YZ | front/back/left/right/top/bottom)`)\n  return makePlane(toVec3(origin), cfg.zDir, cfg.xDir)\n}\n\n/**\n * Map a 2D point `(x, y)` into 3D on a plane frame:\n * `origin + x*xDir + y*yDir`. This is the per-point lift used by curve lifting.\n * @param plane - the target plane.\n * @param x - the 2D `x` coordinate.\n * @param y - the 2D `y` coordinate.\n * @returns the 3D point on the plane.\n */\nexport function liftPointToPlane(plane: Plane, x: number, y: number): Vec3 {\n  const { origin: o, xDir: u, yDir: v } = plane\n  return { x: o.x + x * u.x + y * v.x, y: o.y + x * u.y + y * v.y, z: o.z + x * u.z + y * v.z }\n}\n/**\n * Project a 3D point onto a plane's 2D coordinates — the inverse of\n * {@link liftPointToPlane}. Computes `d = p − origin` and returns\n * `(u, v) = (d·xDir, d·yDir)`. Because `xDir`/`yDir` are orthonormal this is the\n * orthogonal projection: the component of `d` along `zDir` (the plane normal) is\n * dropped. A point already on the plane round-trips losslessly\n * (`worldToPlane(plane, liftPointToPlane(plane, u, v)) === {u, v}`); a point off\n * the plane projects to the foot of the perpendicular — the same behaviour as\n * dropping a sketch point onto its supporting face.\n * @param plane - the supporting plane frame.\n * @param p - the 3D point to project.\n * @returns the 2D `{ u, v }` coordinates on the plane.\n */\nexport function worldToPlane(plane: Plane, p: Vec3Input): { u: number; v: number } {\n  const { origin: o, xDir: u, yDir: v } = plane\n  const q = toVec3(p)\n  const d: Vec3 = { x: q.x - o.x, y: q.y - o.y, z: q.z - o.z }\n  return { u: dot(d, u), v: dot(d, v) }\n}"]}

package/dist/geometry2d/curve2d.d.ts

@@ -6,7 +6,7 @@
  * - discriminant field renamed `__bk2d` → `kind2d` (2026-09-27 decision),
  *   bbox discriminant `__bk2d_bbox` → `kind2d_b`.
  * - All curves are plain data objects (no kernel handles, no dispose), per the
- *   faijs "2D curves are pure objects" design (docs/plans/2d-sketching: A1/B1).
+ *   faijs "2D curves are pure objects" design.
  *
  * Pure TS, zero WASM, zero external deps. All 2D curves represented as plain
  * objects with a `kind2d` discriminant.

package/dist/geometry2d/curve2d.js

@@ -6,7 +6,7 @@
  * - discriminant field renamed `__bk2d` → `kind2d` (2026-09-27 decision),
  *   bbox discriminant `__bk2d_bbox` → `kind2d_b`.
  * - All curves are plain data objects (no kernel handles, no dispose), per the
- *   faijs "2D curves are pure objects" design (docs/plans/2d-sketching: A1/B1).
+ *   faijs "2D curves are pure objects" design.
  *
  * Pure TS, zero WASM, zero external deps. All 2D curves represented as plain
  * objects with a `kind2d` discriminant.