@faicad/faijs 0.29.3 → 0.30.9

package/dist/api/internal/compat-op.js.map

@@ -1 +1 @@
-{"version":3,"file":"compat-op.js","sourceRoot":"","sources":["../../../src/api/internal/compat-op.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAEH,OAAO,EACL,QAAQ,EACR,YAAY,GAKb,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AACrC,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAmB9C,MAAM,cAAc,GAAG,CAAC,CAAA;AAExB;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CAAC,CAAU,EAAE,KAAa;IAClD,IAAI,KAAK,GAAG,cAAc,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAA;IAC3E,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAA;IAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS;QAAE,OAAO,CAAC,CAAA;IAC3D,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;IACzE,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU,EAAE,IAAY;IACpD,OAAO,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAgB,EAAE,QAAiB;IAC/D,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAA;IACxB,IAAI,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,GAAG,GAAG,CAA4B,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;YACpB,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC3B,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACvD,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;QAC7C,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;AAC5C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAAC,IAAe;IAC3C,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACjB,IACE,CAAC,KAAK,IAAI;YACV,OAAO,CAAC,KAAK,QAAQ;YACrB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS,EAC7C,CAAC;YACD,MAAM,GAAG,GAAI,CAA6B,CAAC,QAAQ,CAAA;YACnD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAA;QACjE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,YAAY,CAAC,EAAmC,EAAE,IAAgB;IACzE,OAAO,KAAK,EAAE,GAAG,IAAe,EAAwB,EAAE;QACxD,qDAAqD;QACrD,wDAAwD;QACxD,0CAA0C;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAClF,2EAA2E;QAC3E,wEAAwE;QACxE,uEAAuE;QACvE,yEAAyE;QACzE,2CAA2C;QAC3C,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,UAAU,CAAC,EAAW,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QAChF,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAgB,CAAA;IACzE,CAAC,CAAA;AACH,CAAC;AAKD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,QAAQ,CACtB,EAAmC,EACnC,IAAgB;IAEhB,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAA;IACxE,2EAA2E;IAC3E,uEAAuE;IACvE,0BAA0B;IAC1B,OAAO,QAAQ,CAAC;QACd,IAAI,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,CAAC;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,YAAY;QACZ,0DAA0D;QAC1D,+DAA+D;QAC/D,OAAO;QACP,OAAO;QACP,MAAM;QACN,OAAO;QACP,MAAM;KACP,CAAsE,CAAA;AACzE,CAAC","sourcesContent":["/**\n * compat-op — lift an arbitrary brepjs-shaped function into a faijs statement\n * op, built **on top of** defineOp (single implementation entry, v1).\n *\n * Design: docs/plans/2026-09-06-compatop-on-defineop.md §3\n *\n * compatOp is NOT a second implementation path parallel to defineOp: every\n * shared mechanism is owned by defineOp — dispatch (dispatchPath + capability\n * routing), the Result boundary (runImpl + unwrapResult), product wrapping\n * (wrapBrepOne / wrapByKeys), `DUAL_OP_META` mounting and\n * `assertLibConforms` validation. compatOp only does two things:\n *   - spec pass-through: `CompatSpec` is a combinatorial inheritance of\n *     `DualOpOptions` (single source of truth, fields auto-sync — §3.1);\n *   - adapter construction: a brepjs-shaped bridge feeding the brep impl — the\n *     three bridging steps that cannot be shared (all reuse shared\n *     infrastructure, §3.2):\n *       1. borrowDeep — inward borrow: deep walk, any faijs Shape →\n *          borrowBrepjsShape view (zero-copy; library-private handles pass\n *          through untouched);\n *       2. call + unwrap — callBrepjs through the shared unwrapResult\n *          (`err` throws an OpError carrying the op name + BrepError code);\n *          async library fns are awaited first, so `Promise<Result<…>>` —\n *          the shape every kernel-awaiting library returns — unwraps too;\n *       3. adoptOut — outward adoption: top-level handle / `outputs`-declared\n *          fields (single handle or handle array) → adoptEntity\n *          (unregister finalizer + fromHandle).\n *\n * The keep / keepHidden contract is untouched: compatOp neither blocks nor\n * rewrites it — any function running inside a DirectExecutor context can use\n * function-body declarations (C1), and call-site declarations override them\n * (`lang/keep.ts` resolveKeep). The decorated product therefore behaves like\n * any defineOp product: `keep`-safe, capability-aware, multi-output\n * (`DUAL_OP_META.outputs` visible).\n *\n * No self-invented fields: `CompatSpec` extends `Omit<DualOpOptions, 'mesh' |\n * 'brep'>` and declares nothing else; the only tweak is `name` tightened\n * (inherited field, not a new one).\n *\n * @module\n */\n\nimport {\n  defineOp,\n  DUAL_OP_META,\n  type DualOpMeta,\n  type DualOpOptions,\n  type BrepImpl,\n  type BrepProduct,\n} from '../../define-op'\nimport { isShape } from '../../shape'\nimport { borrowBrepjsShape, adoptEntity, callBrepjs } from './l3-bridge'\nimport { unwrapResult } from './result-unwrap'\nimport type { Shape } from '../../mesh/types'\n\n/** compatOp's static spec: combinatorial inheritance (single source of truth). */\nexport interface CompatSpec extends Omit<DualOpOptions, 'mesh' | 'brep'> {\n  /** Op name (error messages + metadata; required, unlike defineOp's optional name). */\n  name: string\n  /**\n   * 是否按 brepjs 句柄形态借入输入（默认 true）。\n   *\n   * faijs 化库（内部直接消费 core Shape 与 core op，如 sheetmetal）必须传\n   * `borrow: false`：borrowDeep 会把嵌套的 faijs Shape 替换成 brepjs 形态的\n   * `BorrowedShapeHandle`，而 core op 只认带 BREP 槽的 Shape，替换后库内部\n   * 布尔/拓扑调用会报「input is not on the BREP chain」。真 brepjs 形态的库\n   * （消费 ShapeHandle 对象）保持默认 true。\n   */\n  borrow?: boolean\n}\n\nconst MAX_WALK_DEPTH = 4\n\n/**\n * Inward bridging step: deep walk with faijs Shapes replaced by borrowed\n * brepjs views (zero-copy); everything else passes through.\n * Class instances are not traversed (defensive); library-private handles\n * pass through (§4.3.4 of the design).\n *\n * @param v - the value to borrow from (plain object, array, or primitive).\n * @param depth - current traversal depth (guard against deep recursion).\n * @returns the value with faijs Shapes replaced by borrowed views.\n */\nexport function borrowDeep(v: unknown, depth: number): unknown {\n  if (depth > MAX_WALK_DEPTH || v === null || typeof v !== 'object') return v\n  if (isShape(v)) return borrowBrepjsShape(v)\n  if (Array.isArray(v)) return v.map((x) => borrowDeep(x, depth + 1))\n  if (Object.getPrototypeOf(v) !== Object.prototype) return v\n  const out: Record<string, unknown> = {}\n  for (const [k, x] of Object.entries(v)) out[k] = borrowDeep(x, depth + 1)\n  return out\n}\n\n/**\n * Statement-boundary unwrap — `err` becomes an execution error carrying the op\n * name and the `BrepError` code. Delegates to the shared\n * {@link unwrapResult} so the compat boundary and defineOp's Result boundary\n * share one leaf implementation (no drift).\n *\n * @param r - the Result-like value to unwrap.\n * @param name - the op name used in error messages.\n * @returns the unwrapped ok value.\n */\nexport function unwrapOrThrow(r: unknown, name: string): unknown {\n  return unwrapResult(r, name)\n}\n\n/**\n * Bridging step: outward adoption — top-level handle or `outputs`-declared\n * fields → adoptEntity (unregister finalizer + fromHandle). `outputs` may also\n * name an array field of handles; every element is adopted individually.\n * Deduplication of already-adopted handles lives inside adoptEntity. A field\n * already being a faijs Shape passes through untouched (no double adoption).\n *\n * @param v - the library product.\n * @param spec - the compat spec (name + optional `outputs`).\n * @param segments - caller-provided `segments` (裁决 1,§5.2), forwarded so the\n *  adopted handles' tessellation honors it.\n * @returns the adopted record / Shape, or the plain data untouched.\n */\nfunction adoptOut(v: unknown, spec: CompatSpec, segments?: number): unknown {\n  if (isShape(v)) return v\n  if (spec.outputs && typeof v === 'object' && v !== null && !Array.isArray(v)) {\n    const rec = v as Record<string, unknown>\n    for (const f of spec.outputs) {\n      const field = rec[f]\n      rec[f] = Array.isArray(field)\n        ? field.map((x) => adoptEntity(x, spec.name, segments))\n        : adoptEntity(field, spec.name, segments)\n    }\n    return v\n  }\n  return adoptEntity(v, spec.name, segments)\n}\n\n/**\n * Read the caller-supplied tessellation density from a compat op's args.\n *\n * 裁决 1：faijs 的 `segments` 显式超集在 brepjs 投影侧也必须可选；这里从调用点\n * 的尾参 options（或任一 plain-object 实参）抓取 `segments`，在产出句柄被收编为\n * faijs Shape 时透传给 `fromHandle` 的三角化（§5.2 机制）。默认不传 = 由\n * handle-bridge 的 64 兜底。\n */\nfunction readSegmentsFromArgs(args: unknown[]): number | undefined {\n  for (let i = args.length - 1; i >= 0; i--) {\n    const a = args[i]\n    if (\n      a !== null &&\n      typeof a === 'object' &&\n      !Array.isArray(a) &&\n      Object.getPrototypeOf(a) === Object.prototype\n    ) {\n      const seg = (a as Record<string, unknown>).segments\n      if (typeof seg === 'number' && Number.isFinite(seg)) return seg\n    }\n  }\n  return undefined\n}\n\n/**\n * Build the brep-only adapter: borrow inputs → call the vendor function through\n * the shared unwrap → adopt the product (with the caller's `segments`,\n * 裁决 1/§5.2). The adapter never dispatches and never mounts metadata —\n * those are defineOp's.\n *\n * @param fn   the brepjs-shaped function (dual-form normalization inside, D11).\n * @param spec the static op spec (name + options pass-through).\n * @returns a `BrepImpl` compatible with defineOp's brep-only decl.\n */\nfunction buildAdapter(fn: (...args: unknown[]) => unknown, spec: CompatSpec): BrepImpl<unknown[]> {\n  return async (...args: unknown[]): Promise<BrepProduct> => {\n    // borrow: false（faijs 化库）时输入原样直传——嵌套的 core Shape 保留其\n    // BREP 槽，库内部调 core op 才能取到 OCCT 句柄（否则报 input not on the\n    // BREP chain）。默认 true 保持 brepjs 形态库的借入语义。\n    const effective = spec.borrow === false ? args : args.map((a) => borrowDeep(a, 0))\n    // Async library fns are supported: a library that awaits its kernel (every\n    // `@faicad/faijs-gears` factory does — `await getGearKernel()`) returns\n    // `Promise<Result<…>>`, and the shared unwrap is a sync leaf that only\n    // recognizes settled Result records. Awaiting a non-promise product is a\n    // no-op, so sync libraries are unaffected.\n    const value = unwrapOrThrow(await callBrepjs(fn as never, effective), spec.name)\n    return adoptOut(value, spec, readSegmentsFromArgs(args)) as BrepProduct\n  }\n}\n\n/** Carrier of the DualOpMeta mounted by defineOp (same shape as defineOp's). */\ntype MetaCarrier = { [DUAL_OP_META]?: DualOpMeta }\n\n/**\n * Lift a brepjs-shaped function into a defineOp-decorated op facade (brep-only).\n *\n * The decorated product is identical to a defineOp product: same `DUAL_OP_META`\n * field set (kind 'dual-op', brep impl, name, capabilities, outputs, schema,\n * slotMap), same dispatch semantics, same Result boundary. The adapter carries\n * only the brepjs bridging (borrow / call / adopt); every other mechanism\n * belongs to defineOp.\n *\n * @param fn   the brepjs-shaped function.\n * @param spec the static spec (name required; capabilities/outputs/slotMap/\n *  schema pass through and take effect).\n * @returns the compat op facade, carrying dual-op metadata.\n */\nexport function compatOp(\n  fn: (...args: unknown[]) => unknown,\n  spec: CompatSpec,\n): ((...args: unknown[]) => Promise<Shape>) & MetaCarrier {\n  const { outputs, capabilities, engines, schema, slotMap, naming } = spec\n  // `outputs` flows through defineOp's own wrapping path: the adapter adopts\n  // per declared field, then defineOp wraps — isShape passthrough, so no\n  // double wrapping (§3.2).\n  return defineOp({\n    brep: buildAdapter(fn, spec),\n    name: spec.name,\n    capabilities,\n    // D11 透传：平台 op（vendored 实现调 occt-only 方法）在生成物里声明 engines。\n    // engines 与 capabilities 可并存（2026-09-24 撤销 D11-7 互斥），此处两条独立透传。\n    engines,\n    outputs,\n    schema,\n    slotMap,\n    naming,\n  }) as unknown as ((...args: unknown[]) => Promise<Shape>) & MetaCarrier\n}"]}
+{"version":3,"file":"compat-op.js","sourceRoot":"","sources":["../../../src/api/internal/compat-op.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EACL,QAAQ,EACR,YAAY,GAKb,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AACrC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAU9C;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU,EAAE,IAAY;IACpD,OAAO,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAgB,EAAE,QAAiB;IAC/D,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAA;IACxB,IAAI,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,GAAG,GAAG,CAA4B,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;YACpB,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC3B,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACvD,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;QAC7C,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;AAC5C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAAC,IAAe;IAC3C,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACjB,IACE,CAAC,KAAK,IAAI;YACV,OAAO,CAAC,KAAK,QAAQ;YACrB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS,EAC7C,CAAC;YACD,MAAM,GAAG,GAAI,CAA6B,CAAC,QAAQ,CAAA;YACnD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAA;QACjE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,YAAY,CAAC,EAAmC,EAAE,IAAgB;IACzE,OAAO,KAAK,EAAE,GAAG,IAAe,EAAwB,EAAE;QACxD,gDAAgD;QAChD,MAAM,SAAS,GAAG,IAAI,CAAA;QACtB,2EAA2E;QAC3E,wEAAwE;QACxE,uEAAuE;QACvE,yEAAyE;QACzE,2CAA2C;QAC3C,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,UAAU,CAAC,EAAW,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QAChF,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAgB,CAAA;IACzE,CAAC,CAAA;AACH,CAAC;AAKD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,QAAQ,CACtB,EAAmC,EACnC,IAAgB;IAEhB,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAA;IACxE,2EAA2E;IAC3E,uEAAuE;IACvE,0BAA0B;IAC1B,OAAO,QAAQ,CAAC;QACd,IAAI,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,CAAC;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,YAAY;QACZ,wDAAwD;QACxD,+DAA+D;QAC/D,OAAO;QACP,OAAO;QACP,MAAM;QACN,OAAO;QACP,MAAM;KACP,CAAsE,CAAA;AACzE,CAAC","sourcesContent":["/**\n * compat-op — lift an arbitrary brepjs-shaped function into a faijs statement\n * op, built **on top of** defineOp (single implementation entry, v1).\n *\n * compatOp is NOT a second implementation path parallel to defineOp: every\n * shared mechanism is owned by defineOp — dispatch (dispatchPath + capability\n * routing), the Result boundary (runImpl + unwrapResult), product wrapping\n * (wrapBrepOne / wrapByKeys), `DUAL_OP_META` mounting and\n * `assertLibConforms` validation. compatOp only does two things:\n *   - spec pass-through: `CompatSpec` is a combinatorial inheritance of\n *     `DualOpOptions` (single source of truth, fields auto-sync — §3.1);\n *   - adapter construction: a brepjs-shaped bridge feeding the brep impl — the\n *     two bridging steps that cannot be shared (all reuse shared\n *     infrastructure, §3.2):\n *       1. call + unwrap — callBrepjs through the shared unwrapResult\n *          (`err` throws an OpError carrying the op name + BrepError code);\n *          async library fns are awaited first, so `Promise<Result<…>>` —\n *          the shape every kernel-awaiting library returns — unwraps too;\n *       2. adoptOut — outward adoption: top-level handle / `outputs`-declared\n *          fields (single handle or handle array) → adoptEntity\n *          (unregister finalizer + fromHandle).\n *\n * The keep / keepHidden contract is untouched: compatOp neither blocks nor\n * rewrites it — any function running inside a DirectExecutor context can use\n * function-body declarations (C1), and call-site declarations override them\n * (`lang/keep.ts` resolveKeep). The decorated product therefore behaves like\n * any defineOp product: `keep`-safe, capability-aware, multi-output\n * (`DUAL_OP_META.outputs` visible).\n *\n * No self-invented fields: `CompatSpec` extends `Omit<DualOpOptions, 'mesh' |\n * 'brep'>` and declares nothing else; the only tweak is `name` tightened\n * (inherited field, not a new one).\n *\n * @module\n */\n\nimport {\n  defineOp,\n  DUAL_OP_META,\n  type DualOpMeta,\n  type DualOpOptions,\n  type BrepImpl,\n  type BrepProduct,\n} from '../../define-op'\nimport { isShape } from '../../shape'\nimport { adoptEntity, callBrepjs } from './l3-bridge'\nimport { unwrapResult } from './result-unwrap'\nimport type { Shape } from '../../mesh/types'\n\n/** compatOp's static spec: combinatorial inheritance (single source of truth). */\nexport interface CompatSpec extends Omit<DualOpOptions, 'mesh' | 'brep'> {\n  /** Op name (error messages + metadata; required, unlike defineOp's optional name). */\n  name: string\n\n}\n\n/**\n * Statement-boundary unwrap — `err` becomes an execution error carrying the op\n * name and the `BrepError` code. Delegates to the shared\n * {@link unwrapResult} so the compat boundary and defineOp's Result boundary\n * share one leaf implementation (no drift).\n *\n * @param r - the Result-like value to unwrap.\n * @param name - the op name used in error messages.\n * @returns the unwrapped ok value.\n */\nexport function unwrapOrThrow(r: unknown, name: string): unknown {\n  return unwrapResult(r, name)\n}\n\n/**\n * Bridging step: outward adoption — top-level handle or `outputs`-declared\n * fields → adoptEntity (unregister finalizer + fromHandle). `outputs` may also\n * name an array field of handles; every element is adopted individually.\n * Deduplication of already-adopted handles lives inside adoptEntity. A field\n * already being a faijs Shape passes through untouched (no double adoption).\n *\n * @param v - the library product.\n * @param spec - the compat spec (name + optional `outputs`).\n * @param segments - caller-provided `segments` (裁决 1,§5.2), forwarded so the\n *  adopted handles' tessellation honors it.\n * @returns the adopted record / Shape, or the plain data untouched.\n */\nfunction adoptOut(v: unknown, spec: CompatSpec, segments?: number): unknown {\n  if (isShape(v)) return v\n  if (spec.outputs && typeof v === 'object' && v !== null && !Array.isArray(v)) {\n    const rec = v as Record<string, unknown>\n    for (const f of spec.outputs) {\n      const field = rec[f]\n      rec[f] = Array.isArray(field)\n        ? field.map((x) => adoptEntity(x, spec.name, segments))\n        : adoptEntity(field, spec.name, segments)\n    }\n    return v\n  }\n  return adoptEntity(v, spec.name, segments)\n}\n\n/**\n * Read the caller-supplied tessellation density from a compat op's args.\n *\n * 裁决 1：faijs 的 `segments` 显式超集在 brepjs 投影侧也必须可选；这里从调用点\n * 的尾参 options（或任一 plain-object 实参）抓取 `segments`，在产出句柄被收编为\n * faijs Shape 时透传给 `fromHandle` 的三角化（§5.2 机制）。默认不传 = 由\n * handle-bridge 的 64 兜底。\n */\nfunction readSegmentsFromArgs(args: unknown[]): number | undefined {\n  for (let i = args.length - 1; i >= 0; i--) {\n    const a = args[i]\n    if (\n      a !== null &&\n      typeof a === 'object' &&\n      !Array.isArray(a) &&\n      Object.getPrototypeOf(a) === Object.prototype\n    ) {\n      const seg = (a as Record<string, unknown>).segments\n      if (typeof seg === 'number' && Number.isFinite(seg)) return seg\n    }\n  }\n  return undefined\n}\n\n/**\n * Build the brep-only adapter: pass inputs through → call the vendor function\n * through the shared unwrap → adopt the product (with the caller's `segments`,\n * 裁决 1/§5.2). The adapter never dispatches and never mounts metadata —\n * those are defineOp's.\n *\n * @param fn   the brepjs-shaped function (dual-form normalization inside, D11).\n * @param spec the static op spec (name + options pass-through).\n * @returns a `BrepImpl` compatible with defineOp's brep-only decl.\n */\nfunction buildAdapter(fn: (...args: unknown[]) => unknown, spec: CompatSpec): BrepImpl<unknown[]> {\n  return async (...args: unknown[]): Promise<BrepProduct> => {\n    // faijs-native 库消费 core Shape：输入原样直传，保留 BREP 槽。\n    const effective = args\n    // Async library fns are supported: a library that awaits its kernel (every\n    // `@faicad/faijs-gears` factory does — `await getGearKernel()`) returns\n    // `Promise<Result<…>>`, and the shared unwrap is a sync leaf that only\n    // recognizes settled Result records. Awaiting a non-promise product is a\n    // no-op, so sync libraries are unaffected.\n    const value = unwrapOrThrow(await callBrepjs(fn as never, effective), spec.name)\n    return adoptOut(value, spec, readSegmentsFromArgs(args)) as BrepProduct\n  }\n}\n\n/** Carrier of the DualOpMeta mounted by defineOp (same shape as defineOp's). */\ntype MetaCarrier = { [DUAL_OP_META]?: DualOpMeta }\n\n/**\n * Lift a brepjs-shaped function into a defineOp-decorated op facade (brep-only).\n *\n * The decorated product is identical to a defineOp product: same `DUAL_OP_META`\n * field set (kind 'dual-op', brep impl, name, capabilities, outputs, schema,\n * slotMap), same dispatch semantics, same Result boundary. The adapter carries\n * only the brepjs bridging (input pass-through / call / adopt); every other mechanism\n * belongs to defineOp.\n *\n * @param fn   the brepjs-shaped function.\n * @param spec the static spec (name required; capabilities/outputs/slotMap/\n *  schema pass through and take effect).\n * @returns the compat op facade, carrying dual-op metadata.\n */\nexport function compatOp(\n  fn: (...args: unknown[]) => unknown,\n  spec: CompatSpec,\n): ((...args: unknown[]) => Promise<Shape>) & MetaCarrier {\n  const { outputs, capabilities, engines, schema, slotMap, naming } = spec\n  // `outputs` flows through defineOp's own wrapping path: the adapter adopts\n  // per declared field, then defineOp wraps — isShape passthrough, so no\n  // double wrapping (§3.2).\n  return defineOp({\n    brep: buildAdapter(fn, spec),\n    name: spec.name,\n    capabilities,\n    // D11 透传：平台 op（compat 实现调 occt-only 方法）在生成物里声明 engines。\n    // engines 与 capabilities 可并存（2026-09-24 撤销 D11-7 互斥），此处两条独立透传。\n    engines,\n    outputs,\n    schema,\n    slotMap,\n    naming,\n  }) as unknown as ((...args: unknown[]) => Promise<Shape>) & MetaCarrier\n}"]}

package/dist/api/internal/compat-projection.d.ts

@@ -10,7 +10,7 @@
  *   1. single-kernel assert (D10) — library code never installs a kernel;
  *   2. D11 dual-form normalization — object form → positional form, in the
  *      exported function (§4.2 「归一化位置」), not in a script-side adapter;
- *   3. the vendored call itself, through `callBrepjs` (Result shape preserved).
+ *   3. the brepjs call itself, through `callBrepjs` (Result shape preserved).
  *
  * P21's `api/brepjs-compat` used a private copy of steps 1–3 (`wrapDual`); P23 lifts it
  * here so `gen-l3-surface.ts` can emit one `compatOp(projectBrepOp(…), …)` line
@@ -25,7 +25,7 @@ import { type FormClass } from './dual-form-args.js';
  * Reads the configured backend's kernel slot, guarding against the throw that
  * `getBackends()` performs before host configuration. Falls back to the core
  * engine-registry activation flag（2026-09-25 core-decouple wrapup：brepjs
- * registry 随子包删除——此处只问「core registry 是否已有激活 brep 引擎」）
+ * registry 已内化到 core——此处只问「core registry 是否已有激活 brep 引擎」）
  * when nothing is configured.
  *
  * @param name - op name, used in the guiding error message.
@@ -36,10 +36,10 @@ export declare function assertKernelBound(name: string): void;
 /** Signature of a projected compat op (inputs normalized before the call). */
 export type CompatProjection = (...args: unknown[]) => unknown;
 /**
- * Project a vendored brepjs function onto the faijs TS compat face.
+ * Project a brepjs function onto the faijs TS compat face.
  *
  * The returned function is brepjs-shaped: positional arguments in, `Result`
- * (or whatever the vendored function returns) out — no faijs `Shape`, no
+ * (or whatever the brepjs function returns) out — no faijs `Shape`, no
  * adoption. Adoption and the statement-boundary unwrap are `compatOp`'s job
  * (§4.3.2 steps 4/5), which is why the script face can wrap the very same
  * projection the TS face exports.
@@ -48,7 +48,7 @@ export type CompatProjection = (...args: unknown[]) => unknown;
  * @param params    - machine parameter-name table (object form → positional).
  * @param formClass - D11 form class (A single-name dual-form / B1 options-only /
  *                    B2 two names).
- * @param impl      - the vendored function.
+ * @param impl      - the brepjs function.
  * @returns the projected compat op.
  */
 export declare function projectBrepOp(name: string, params: string[], formClass: FormClass, impl: (...args: never[]) => unknown): CompatProjection;

package/dist/api/internal/compat-projection.js

@@ -10,7 +10,7 @@
  *   1. single-kernel assert (D10) — library code never installs a kernel;
  *   2. D11 dual-form normalization — object form → positional form, in the
  *      exported function (§4.2 「归一化位置」), not in a script-side adapter;
- *   3. the vendored call itself, through `callBrepjs` (Result shape preserved).
+ *   3. the brepjs call itself, through `callBrepjs` (Result shape preserved).
  *
  * P21's `api/brepjs-compat` used a private copy of steps 1–3 (`wrapDual`); P23 lifts it
  * here so `gen-l3-surface.ts` can emit one `compatOp(projectBrepOp(…), …)` line
@@ -28,7 +28,7 @@ import { getBackends } from '../../runtime-state.js';
  * Reads the configured backend's kernel slot, guarding against the throw that
  * `getBackends()` performs before host configuration. Falls back to the core
  * engine-registry activation flag（2026-09-25 core-decouple wrapup：brepjs
- * registry 随子包删除——此处只问「core registry 是否已有激活 brep 引擎」）
+ * registry 已内化到 core——此处只问「core registry 是否已有激活 brep 引擎」）
  * when nothing is configured.
  *
  * @param name - op name, used in the guiding error message.
@@ -50,10 +50,10 @@ export function assertKernelBound(name) {
     }
 }
 /**
- * Project a vendored brepjs function onto the faijs TS compat face.
+ * Project a brepjs function onto the faijs TS compat face.
  *
  * The returned function is brepjs-shaped: positional arguments in, `Result`
- * (or whatever the vendored function returns) out — no faijs `Shape`, no
+ * (or whatever the brepjs function returns) out — no faijs `Shape`, no
  * adoption. Adoption and the statement-boundary unwrap are `compatOp`'s job
  * (§4.3.2 steps 4/5), which is why the script face can wrap the very same
  * projection the TS face exports.
@@ -62,7 +62,7 @@ export function assertKernelBound(name) {
  * @param params    - machine parameter-name table (object form → positional).
  * @param formClass - D11 form class (A single-name dual-form / B1 options-only /
  *                    B2 two names).
- * @param impl      - the vendored function.
+ * @param impl      - the brepjs function.
  * @returns the projected compat op.
  */
 export function projectBrepOp(name, params, formClass, impl) {

package/dist/api/internal/compat-projection.js.map

@@ -1 +1 @@
-{"version":3,"file":"compat-projection.js","sourceRoot":"","sources":["../../../src/api/internal/compat-projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,WAAW,EAAkB,MAAM,kBAAkB,CAAA;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAEjD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,IAAI,WAAW,GAAG,KAAK,CAAA;IACvB,IAAI,CAAC;QACH,WAAW,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAA;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,qEAAqE;IACvE,CAAC;IACD,IAAI,CAAC,WAAW,IAAI,qBAAqB,EAAE,KAAK,IAAI,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,WAAW,IAAI,gEAAgE;YAC7E,0DAA0D,IAAI,SAAS;YACvE,+CAA+C,CAClD,CAAA;IACH,CAAC;AACH,CAAC;AAKD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,MAAgB,EAChB,SAAoB,EACpB,IAAmC;IAEnC,OAAO,CAAC,GAAG,IAAe,EAAE,EAAE;QAC5B,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACvB,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;QACjE,OAAO,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IACrC,CAAC,CAAA;AACH,CAAC","sourcesContent":["/**\n * compat-projection — the single BREP-TS projection wrapper factory (P23, §4.2).\n *\n * Design: docs/plans/2026-09-03-faijs-brepjs-compat-api.md §4.2 / §4.3.2\n *\n * Every symbol on the TS compat face and every generated `compatOp` op funnels\n * through {@link projectBrepOp}. That is what makes the generated face and the\n * hand-curated `api/brepjs-compat` face one mechanism rather than two:\n *\n *   1. single-kernel assert (D10) — library code never installs a kernel;\n *   2. D11 dual-form normalization — object form → positional form, in the\n *      exported function (§4.2 「归一化位置」), not in a script-side adapter;\n *   3. the vendored call itself, through `callBrepjs` (Result shape preserved).\n *\n * P21's `api/brepjs-compat` used a private copy of steps 1–3 (`wrapDual`); P23 lifts it\n * here so `gen-l3-surface.ts` can emit one `compatOp(projectBrepOp(…), …)` line\n * per symbol instead of re-expanding the template for each op.\n *\n * @module\n */\n\nimport { resolveArgs, type FormClass } from './dual-form-args'\nimport { callBrepjs } from './l3-bridge'\nimport { getActiveBrepEngineId } from '../../brep/engine/registry'\nimport { getBackends } from '../../runtime-state'\n\n/**\n * Assert that a BREP kernel is bound before invoking a compat op.\n *\n * Reads the configured backend's kernel slot, guarding against the throw that\n * `getBackends()` performs before host configuration. Falls back to the core\n * engine-registry activation flag（2026-09-25 core-decouple wrapup：brepjs\n * registry 随子包删除——此处只问「core registry 是否已有激活 brep 引擎」）\n * when nothing is configured.\n *\n * @param name - op name, used in the guiding error message.\n * @throws when no BREP kernel is bound (the message tells the host what to do,\n * because library code must never install a kernel itself — §4.2 rule 1).\n */\nexport function assertKernelBound(name: string): void {\n  let kernelBound = false\n  try {\n    kernelBound = getBackends().kernel.brep != null\n  } catch {\n    // backends not configured yet — that is not an error, just no kernel\n  }\n  if (!kernelBound && getActiveBrepEngineId() === null) {\n    throw new Error(\n      `[compat:${name}] no BREP kernel bound; run host init/inject (e.g. initOcct + ` +\n        `register the occt brep engine) before the first compat.${name} call. ` +\n        `Library code must not install kernels itself.`\n    )\n  }\n}\n\n/** Signature of a projected compat op (inputs normalized before the call). */\nexport type CompatProjection = (...args: unknown[]) => unknown\n\n/**\n * Project a vendored brepjs function onto the faijs TS compat face.\n *\n * The returned function is brepjs-shaped: positional arguments in, `Result`\n * (or whatever the vendored function returns) out — no faijs `Shape`, no\n * adoption. Adoption and the statement-boundary unwrap are `compatOp`'s job\n * (§4.3.2 steps 4/5), which is why the script face can wrap the very same\n * projection the TS face exports.\n *\n * @param name      - op name (error messages + D11 discriminant context).\n * @param params    - machine parameter-name table (object form → positional).\n * @param formClass - D11 form class (A single-name dual-form / B1 options-only /\n *                    B2 two names).\n * @param impl      - the vendored function.\n * @returns the projected compat op.\n */\nexport function projectBrepOp(\n  name: string,\n  params: string[],\n  formClass: FormClass,\n  impl: (...args: never[]) => unknown,\n): CompatProjection {\n  return (...args: unknown[]) => {\n    assertKernelBound(name)\n    const positional = resolveArgs(args, { name, params, formClass })\n    return callBrepjs(impl, positional)\n  }\n}\n"]}
+{"version":3,"file":"compat-projection.js","sourceRoot":"","sources":["../../../src/api/internal/compat-projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,WAAW,EAAkB,MAAM,kBAAkB,CAAA;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAEjD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,IAAI,WAAW,GAAG,KAAK,CAAA;IACvB,IAAI,CAAC;QACH,WAAW,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAA;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,qEAAqE;IACvE,CAAC;IACD,IAAI,CAAC,WAAW,IAAI,qBAAqB,EAAE,KAAK,IAAI,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,WAAW,IAAI,gEAAgE;YAC7E,0DAA0D,IAAI,SAAS;YACvE,+CAA+C,CAClD,CAAA;IACH,CAAC;AACH,CAAC;AAKD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,MAAgB,EAChB,SAAoB,EACpB,IAAmC;IAEnC,OAAO,CAAC,GAAG,IAAe,EAAE,EAAE;QAC5B,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACvB,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;QACjE,OAAO,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IACrC,CAAC,CAAA;AACH,CAAC","sourcesContent":["/**\n * compat-projection — the single BREP-TS projection wrapper factory (P23, §4.2).\n *\n * Design: docs/plans/2026-09-03-faijs-brepjs-compat-api.md §4.2 / §4.3.2\n *\n * Every symbol on the TS compat face and every generated `compatOp` op funnels\n * through {@link projectBrepOp}. That is what makes the generated face and the\n * hand-curated `api/brepjs-compat` face one mechanism rather than two:\n *\n *   1. single-kernel assert (D10) — library code never installs a kernel;\n *   2. D11 dual-form normalization — object form → positional form, in the\n *      exported function (§4.2 「归一化位置」), not in a script-side adapter;\n *   3. the brepjs call itself, through `callBrepjs` (Result shape preserved).\n *\n * P21's `api/brepjs-compat` used a private copy of steps 1–3 (`wrapDual`); P23 lifts it\n * here so `gen-l3-surface.ts` can emit one `compatOp(projectBrepOp(…), …)` line\n * per symbol instead of re-expanding the template for each op.\n *\n * @module\n */\n\nimport { resolveArgs, type FormClass } from './dual-form-args'\nimport { callBrepjs } from './l3-bridge'\nimport { getActiveBrepEngineId } from '../../brep/engine/registry'\nimport { getBackends } from '../../runtime-state'\n\n/**\n * Assert that a BREP kernel is bound before invoking a compat op.\n *\n * Reads the configured backend's kernel slot, guarding against the throw that\n * `getBackends()` performs before host configuration. Falls back to the core\n * engine-registry activation flag（2026-09-25 core-decouple wrapup：brepjs\n * registry 已内化到 core——此处只问「core registry 是否已有激活 brep 引擎」）\n * when nothing is configured.\n *\n * @param name - op name, used in the guiding error message.\n * @throws when no BREP kernel is bound (the message tells the host what to do,\n * because library code must never install a kernel itself — §4.2 rule 1).\n */\nexport function assertKernelBound(name: string): void {\n  let kernelBound = false\n  try {\n    kernelBound = getBackends().kernel.brep != null\n  } catch {\n    // backends not configured yet — that is not an error, just no kernel\n  }\n  if (!kernelBound && getActiveBrepEngineId() === null) {\n    throw new Error(\n      `[compat:${name}] no BREP kernel bound; run host init/inject (e.g. initOcct + ` +\n        `register the occt brep engine) before the first compat.${name} call. ` +\n        `Library code must not install kernels itself.`\n    )\n  }\n}\n\n/** Signature of a projected compat op (inputs normalized before the call). */\nexport type CompatProjection = (...args: unknown[]) => unknown\n\n/**\n * Project a brepjs function onto the faijs TS compat face.\n *\n * The returned function is brepjs-shaped: positional arguments in, `Result`\n * (or whatever the brepjs function returns) out — no faijs `Shape`, no\n * adoption. Adoption and the statement-boundary unwrap are `compatOp`'s job\n * (§4.3.2 steps 4/5), which is why the script face can wrap the very same\n * projection the TS face exports.\n *\n * @param name      - op name (error messages + D11 discriminant context).\n * @param params    - machine parameter-name table (object form → positional).\n * @param formClass - D11 form class (A single-name dual-form / B1 options-only /\n *                    B2 two names).\n * @param impl      - the brepjs function.\n * @returns the projected compat op.\n */\nexport function projectBrepOp(\n  name: string,\n  params: string[],\n  formClass: FormClass,\n  impl: (...args: never[]) => unknown,\n): CompatProjection {\n  return (...args: unknown[]) => {\n    assertKernelBound(name)\n    const positional = resolveArgs(args, { name, params, formClass })\n    return callBrepjs(impl, positional)\n  }\n}\n"]}

package/dist/api/internal/dual-form-args.d.ts

@@ -1,8 +1,6 @@
 /**
  * dual-form-args — D11 参数双形态归一化判别器
  *
- * 设计文档：docs/plans/2026-09-03-faijs-brepjs-compat-api.md §4.2 / §4.3.2
- *
  * 本文件实现参数双形态归一化（D11）：
  * - A 类（明显可区分）：单名双形态，函数内部按参数形态切换实现
  * - B1 类（人类看来不明显）：单名单形态，brepjs options 对象即唯一对象形态

package/dist/api/internal/dual-form-args.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dual-form-args.d.ts","sourceRoot":"","sources":["../../../src/api/internal/dual-form-args.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,YAAY;AACZ,MAAM,MAAM,SAAS,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAA;AAEzC,YAAY;AACZ,MAAM,WAAW,OAAO;IACtB,mBAAmB;IACnB,IAAI,EAAE,MAAM,CAAA;IACZ,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,YAAY;IACZ,SAAS,EAAE,SAAS,CAAA;CACrB;AAOD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,OAAO,CAQrD;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,MAAM,EAAE,MAAM,EAAE,EAChB,MAAM,EAAE,MAAM,GACb,OAAO,EAAE,CAUX;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO,EAAE,CAgCrE;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,iBAAiB;IACjB,IAAI,EAAE,OAAO,EAAE,CAAA;IACf,eAAe;IACf,YAAY,EAAE,OAAO,CAAA;CACtB;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,GAAG,YAAY,CA0BhF;AAMD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,OAAO;IACtB;;;;OAIG;IACH,IAAI,EAAE,MAAM,EAAE,CAAA;IACd;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;IACnB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAWD;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAoD1F"}
+{"version":3,"file":"dual-form-args.d.ts","sourceRoot":"","sources":["../../../src/api/internal/dual-form-args.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,YAAY;AACZ,MAAM,MAAM,SAAS,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAA;AAEzC,YAAY;AACZ,MAAM,WAAW,OAAO;IACtB,mBAAmB;IACnB,IAAI,EAAE,MAAM,CAAA;IACZ,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,YAAY;IACZ,SAAS,EAAE,SAAS,CAAA;CACrB;AAOD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,OAAO,CAQrD;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,MAAM,EAAE,MAAM,EAAE,EAChB,MAAM,EAAE,MAAM,GACb,OAAO,EAAE,CAUX;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO,EAAE,CAgCrE;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,iBAAiB;IACjB,IAAI,EAAE,OAAO,EAAE,CAAA;IACf,eAAe;IACf,YAAY,EAAE,OAAO,CAAA;CACtB;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,GAAG,YAAY,CA0BhF;AAMD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,OAAO;IACtB;;;;OAIG;IACH,IAAI,EAAE,MAAM,EAAE,CAAA;IACd;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;IACnB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAWD;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAoD1F"}

package/dist/api/internal/dual-form-args.js

@@ -1,8 +1,6 @@
 /**
  * dual-form-args — D11 参数双形态归一化判别器
  *
- * 设计文档：docs/plans/2026-09-03-faijs-brepjs-compat-api.md §4.2 / §4.3.2
- *
  * 本文件实现参数双形态归一化（D11）：
  * - A 类（明显可区分）：单名双形态，函数内部按参数形态切换实现
  * - B1 类（人类看来不明显）：单名单形态，brepjs options 对象即唯一对象形态
@@ -21,7 +19,7 @@
  * B2 条目不走判别器（两个名字各自固定形态）。
  */
 import { isShape } from '../../shape.js';
-/** 句柄类型守卫（vendored 句柄有 .wrapped 属性）。 */
+/** 句柄类型守卫（compat 句柄有 .wrapped 属性）。 */
 function isHandleLike(v) {
     return typeof v === 'object' && v !== null && 'wrapped' in v;
 }

package/dist/api/internal/dual-form-args.js.map

@@ -1 +1 @@
-{"version":3,"file":"dual-form-args.js","sourceRoot":"","sources":["../../../src/api/internal/dual-form-args.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAerC,wCAAwC;AACxC,SAAS,YAAY,CAAC,CAAU;IAC9B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,SAAS,IAAI,CAAC,CAAA;AAC9D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,IAAe;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACtC,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAChC,IAAI,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACrC,OAAO,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS,CAAA;AAC1D,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAA4B,EAC5B,MAAgB,EAChB,MAAc;IAEd,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IACzD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,gBAAgB,MAAM,2CAA2C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC3F,aAAa,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjC,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAChC,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,WAAW,CAAC,IAAe,EAAE,IAAa;IACxD,yBAAyB;IACzB,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,4CAA4C;IAC5C,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAA;IACb,CAAC;IAED,gCAAgC;IAChC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,CAAC,IAAI,0DAA0D,CACpF,CAAA;QACH,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO;IACP,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,cAAc;QACd,OAAO,mBAAmB,CACxB,IAAI,CAAC,CAAC,CAA4B,EAClC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,IAAI,CACV,CAAA;IACH,CAAC;IAED,cAAc;IACd,OAAO,IAAI,CAAA;AACb,CAAC;AAcD;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAe,EAAE,IAAa;IAChE,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAA;IACtC,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,CAAC,IAAI,0DAA0D,CACpF,CAAA;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAA;IACtC,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,mBAAmB,CACvB,IAAI,CAAC,CAAC,CAA4B,EAClC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,IAAI,CACV;YACD,YAAY,EAAE,IAAI;SACnB,CAAA;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAA;AACtC,CAAC;AAwCD,kEAAkE;AAClE,SAAS,kBAAkB,CAAC,CAAU;IACpC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAClC,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAC5B,IAAI,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IACjC,OAAO,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS,CAAA;AACtD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAe,EAAE,IAAa,EAAE,IAAY;IAC7E,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,CAAA;IACvC,IAAI,IAAI,CAAC,MAAM,IAAI,UAAU;QAAE,OAAO,IAAI,CAAA,CAAC,yBAAyB;IACpE,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA,CAAC,SAAS;IAE/D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;IACnC,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,MAAK;QAC3B,yDAAyD;QACzD,iCAAiC;QACjC,kEAAkE;QAClE,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,MAAK;QACtC,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,6CAA6C;YAC7C,+CAA+C;YAC/C,6DAA6D;YAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAA;YAC7B,MAAM,cAAc,GAAG,KAAK,GAAG,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YACrF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,CAAA;YAChD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAA;YACrC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;YACxC,CAAC,IAAI,IAAI,CAAA;YACT,SAAQ;QACV,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAClB,CAAC,IAAI,CAAC,CAAA;IACR,CAAC;IACD,+CAA+C;IAC/C,uEAAuE;IACvE,qEAAqE;IACrE,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAA4B,CAAA;YAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAA;YAC9E,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,gCAAgC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;oBACrE,qCAAqC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC7D,CAAA;YACH,CAAC;YACD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YACxB,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,CAAA;QAC5C,CAAC;QACD,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,2BAA2B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACpE,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,6BAA6B,IAAI,CAAC,MAAM,aAAa;YACzE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAC/E,CAAA;IACH,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,CAAA;AAC5C,CAAC","sourcesContent":["/**\n * dual-form-args — D11 参数双形态归一化判别器\n *\n * 设计文档：docs/plans/2026-09-03-faijs-brepjs-compat-api.md §4.2 / §4.3.2\n *\n * 本文件实现参数双形态归一化（D11）：\n * - A 类（明显可区分）：单名双形态，函数内部按参数形态切换实现\n * - B1 类（人类看来不明显）：单名单形态，brepjs options 对象即唯一对象形态\n * - B2 类（人类看来不明显）：双名，brepjs 形态占正名，faijs 对象形态加描述性后缀\n *\n * 判别规则：\n * 1. 首参是 plain object（Object.getPrototypeOf(a) === Object.prototype）\n *    且非 Shape、非句柄、非数组 → 对象形态\n * 2. 否则 → 位置形态\n *\n * 对象形态映射：\n * - 按 params 表（机器参数名）将对象键映射为位置数组\n * - 缺省键 → undefined\n * - 对象形态含 params 外未知键 → 抛 E_ARGS_FORM\n *\n * B2 条目不走判别器（两个名字各自固定形态）。\n */\n\nimport { isShape } from '../../shape'\n\n/** 形态分类。 */\nexport type FormClass = 'A' | 'B1' | 'B2'\n\n/** 参数规格。 */\nexport interface ArgSpec {\n  /** op 名（错误信息用）。 */\n  name: string\n  /** 机器参数名表（按位置顺序），用于对象形态→位置数组映射。 */\n  params?: string[]\n  /** 形态分类。 */\n  formClass: FormClass\n}\n\n/** 句柄类型守卫（vendored 句柄有 .wrapped 属性）。 */\nfunction isHandleLike(v: unknown): boolean {\n  return typeof v === 'object' && v !== null && 'wrapped' in v\n}\n\n/**\n * 判定参数是否为对象形态。\n *\n * 判别式（全仓统一）：\n * - 首参是 plain object（Object.getPrototypeOf(a) === Object.prototype）\n * - 且非 Shape、非句柄、非数组\n *\n * @param args - 调用参数数组\n * @returns 是否为对象形态\n */\nexport function isObjectForm(args: unknown[]): boolean {\n  if (args.length === 0) return false\n  const first = args[0]\n  if (first === null || typeof first !== 'object') return false\n  if (Array.isArray(first)) return false\n  if (isShape(first)) return false\n  if (isHandleLike(first)) return false\n  return Object.getPrototypeOf(first) === Object.prototype\n}\n\n/**\n * 将对象形态参数归一化为位置数组。\n *\n * @param obj - 对象形态参数\n * @param params - 机器参数名表\n * @param opName - op 名（错误信息用）\n * @returns 位置数组（缺省键 → undefined）\n * @throws E_ARGS_FORM 对象含 params 外未知键时\n */\nexport function normalizeObjectForm(\n  obj: Record<string, unknown>,\n  params: string[],\n  opName: string,\n): unknown[] {\n  const keys = Object.keys(obj)\n  const unknownKeys = keys.filter(k => !params.includes(k))\n  if (unknownKeys.length > 0) {\n    throw new Error(\n      `[faijs/args] ${opName}: E_ARGS_FORM: unexpected parameter(s): ${unknownKeys.join(', ')}. ` +\n      `Expected: ${params.join(', ')}`\n    )\n  }\n  return params.map(k => obj[k])\n}\n\n/**\n * 参数双形态归一化判别器。\n *\n * 根据 args 和 spec 归一化参数：\n * - B2 条目：直接返回原样（两个名字各自固定形态）\n * - B1 条目：直接返回原样（brepjs options 对象即唯一对象形态，§4.2「无需判别」）\n * - 对象形态：按 params 表映射为位置数组\n * - 位置形态：直接返回原样\n *\n * B1 为何原样返回：B1 的 brepjs 位置形态首参本身就是配置对象（如\n * `thread(options: ThreadOptions)`），对象形态与它在首参上撞型，判别式失效；\n * 方案 §4.2 B1 的定义即「faijs 侧无独立对象 schema 时，直接以 brepjs options\n * 对象为唯一对象形态（单名单形态，无需判别）」。若在此处按 params 表归一，\n * 任何 options 键都会因不在 params 表里而误抛 E_ARGS_FORM。\n *\n * @param args - 调用参数数组\n * @param spec - 参数规格\n * @returns 归一化后的参数数组\n * @throws E_ARGS_FORM 形态无法匹配或对象含未知键时\n */\nexport function resolveArgs(args: unknown[], spec: ArgSpec): unknown[] {\n  // B2 条目不走判别器（两个名字各自固定形态）\n  if (spec.formClass === 'B2') {\n    return args\n  }\n  // B1 条目：brepjs options 对象即唯一对象形态，无需判别（§4.2）\n  if (spec.formClass === 'B1') {\n    return args\n  }\n\n  // 无 params 表时无法归一化对象形态，只能接受位置形态\n  if (!spec.params) {\n    if (isObjectForm(args)) {\n      throw new Error(\n        `[faijs/args] ${spec.name}: E_ARGS_FORM: object form requires params specification`\n      )\n    }\n    return args\n  }\n\n  // 判定形态\n  if (isObjectForm(args)) {\n    // 对象形态 → 位置数组\n    return normalizeObjectForm(\n      args[0] as Record<string, unknown>,\n      spec.params,\n      spec.name,\n    )\n  }\n\n  // 位置形态 → 原样返回\n  return args\n}\n\n/**\n * 双形态归一化结果。\n *\n * 包含归一化后的参数和是否为对象形态的标记。\n */\nexport interface ResolvedArgs {\n  /** 归一化后的参数数组。 */\n  args: unknown[]\n  /** 是否为对象形态。 */\n  isObjectForm: boolean\n}\n\n/**\n * 参数双形态归一化判别器（带形态信息）。\n *\n * 与 resolveArgs 相同，但返回形态信息。\n *\n * @param args - 调用参数数组\n * @param spec - 参数规格\n * @returns 归一化结果\n */\nexport function resolveArgsWithInfo(args: unknown[], spec: ArgSpec): ResolvedArgs {\n  if (spec.formClass === 'B2' || spec.formClass === 'B1') {\n    return { args, isObjectForm: false }\n  }\n\n  if (!spec.params) {\n    if (isObjectForm(args)) {\n      throw new Error(\n        `[faijs/args] ${spec.name}: E_ARGS_FORM: object form requires params specification`\n      )\n    }\n    return { args, isObjectForm: false }\n  }\n\n  if (isObjectForm(args)) {\n    return {\n      args: normalizeObjectForm(\n        args[0] as Record<string, unknown>,\n        spec.params,\n        spec.name,\n      ),\n      isObjectForm: true,\n    }\n  }\n\n  return { args, isObjectForm: false }\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// 反方向：位置形态 → 对象形态（faijs 特有 dual op，impl 原生对象形态）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * 位置形态声明（D11 反方向，§4.2「归一方向 = 位置→对象」）。\n *\n * faijs 特有 dual op 的 impl 是对象形态原生（`box(width, depth, height)` 经\n * 装箱为 `{ width, depth, height, ... }`，`translate(shape, { offset })`），brepjs 生态\n * 的位置形态（`box(10, 20, 30, { centered: true })` / `translate(shape, 1, 0, 0)`）\n * 需先归一成对象形态。\n * 声明式而非 if 分支：op 作者只列「哪个键吃几个位置参数」，判别与装箱由\n * {@link positionalToObject} 统一完成。\n *\n * 与语句层的 `StatementSummary.positional`（位置实参**值**）以及投影侧的\n * `ArgSpec.params`（对象→位置**参数名表**）是三个不同概念：`SlotMap` 是\n * 位置槽→对象键的**装箱声明**（位置→对象，D11 反方向；§9 命名区分）。\n */\nexport interface SlotMap {\n  /**\n   * 对象形态键名，按位置顺序（只描述 Shape 之后的**非几何**形参）。\n   * 例：`box(10, 20, 30)` → `keys: ['size']`；`cylinder(5, 40)` →\n   * `keys: ['radius', 'height']`。\n   */\n  keys: string[]\n  /**\n   * 哪些键是 vec3 槽位（吃掉最多 3 个连续位置参数）。\n   * 1 个 → 标量（number 或数组原样）；2~3 个 → `[x, y(, z)]` 数组。\n   * 例：`box(10)` → `{ size: 10 }`；`box(10, 20, 30)` → `{ size: [10, 20, 30] }`。\n   */\n  vec3Keys?: string[]\n  /**\n   * 前置 Shape 形参个数（原样透传，不参与装箱），缺省 0。\n   * 例：`translate(shape, 1, 0, 0)` → `shapeArity: 1`。\n   */\n  shapeArity?: number\n}\n\n/** 判定值是否是可作为对象形态形参的 plain object（与 {@link isObjectForm} 同判别式）。 */\nfunction isPlainObjectValue(v: unknown): boolean {\n  if (v === null || typeof v !== 'object') return false\n  if (Array.isArray(v)) return false\n  if (isShape(v)) return false\n  if (isHandleLike(v)) return false\n  return Object.getPrototypeOf(v) === Object.prototype\n}\n\n/**\n * 位置形态 → 对象形态归一（faijs 特有 dual op 的 D11 反方向）。\n *\n * 触发条件：声明了 slotMap 且对象槽位（第 `shapeArity` 个实参）不是\n * plain object。已是对象形态或实参不足时原样返回（交由 op 自身的断言报错）。\n *\n * @param args - 调用参数数组\n * @param form - slotMap 声明（位置槽→对象键装箱表）\n * @param name - op 名（错误信息用）\n * @returns 归一后的参数数组（前置 Shape 原样 + 末尾一个对象形态参数）\n * @throws E_ARGS_FORM 位置参数个数与声明的槽位不匹配时\n */\nexport function positionalToObject(args: unknown[], form: SlotMap, name: string): unknown[] {\n  const shapeArity = form.shapeArity ?? 0\n  if (args.length <= shapeArity) return args // 无位置形参可装箱 → 原样（op 断言报错）\n  if (isPlainObjectValue(args[shapeArity])) return args // 已是对象形态\n\n  const rest = args.slice(shapeArity)\n  const obj: Record<string, unknown> = {}\n  let i = 0\n  for (const key of form.keys) {\n    if (i >= rest.length) break\n    // §6.2 尾参 options：当前实参是 plain object（候选尾参 options）→ 停止装箱\n    // 交给下方 options 合并，不让任何槽位把它吞进拓扑参数\n    // （`box(20,{centered:true})` / `cylinder(5,40,{centered:true})`）。\n    if (isPlainObjectValue(rest[i])) break\n    if (form.vec3Keys?.includes(key)) {\n      // vec3 槽位：吃掉最多 3 个连续实参（1 个 → 标量，2~3 个 → 数组）。\n      // 若剩余序列最末是 plain object（候选尾参 options），先为它留位，不让\n      // 跨槽 vec3 把 options 吞进拓扑参数（`box(10,20,30,{centered:true})`）。\n      const avail = rest.length - i\n      const reserveOptions = avail > 1 && isPlainObjectValue(rest[rest.length - 1]) ? 1 : 0\n      const take = Math.min(3, avail - reserveOptions)\n      const chunk = rest.slice(i, i + take)\n      obj[key] = take === 1 ? chunk[0] : chunk\n      i += take\n      continue\n    }\n    obj[key] = rest[i]\n    i += 1\n  }\n  // D11 尾参 options 合并（§6.2）：位置槽装箱后，若剩余实参恰好 1 个且为\n  // plain object → 作为 options 并入 args。让 `box(10,20,30,{centered:true})`、\n  // `sphere(5,{at,segments})`、`cylinder(5,40,{centered:true})` 在脚本面可用。\n  if (i < rest.length) {\n    if (rest.length - i === 1 && isPlainObjectValue(rest[i])) {\n      const opts = rest[i] as Record<string, unknown>\n      const dup = Object.keys(opts).filter((k) => form.keys.includes(k) || k in obj)\n      if (dup.length > 0) {\n        throw new Error(\n          `[faijs/args] ${name}: E_ARGS_FORM: option key(s) ${dup.join(', ')} ` +\n          `conflict with positional slot(s) (${form.keys.join(', ')})`\n        )\n      }\n      Object.assign(obj, opts)\n      return [...args.slice(0, shapeArity), obj]\n    }\n    throw new Error(\n      `[faijs/args] ${name}: E_ARGS_FORM: expected ${form.keys.join(', ')} ` +\n        `(${form.keys.length} positional slot(s)); got ${rest.length} value(s): ` +\n        rest.map((a) => (typeof a === 'object' ? '[object]' : String(a))).join(', ')\n    )\n  }\n  return [...args.slice(0, shapeArity), obj]\n}\n"]}
+{"version":3,"file":"dual-form-args.js","sourceRoot":"","sources":["../../../src/api/internal/dual-form-args.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAerC,sCAAsC;AACtC,SAAS,YAAY,CAAC,CAAU;IAC9B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,SAAS,IAAI,CAAC,CAAA;AAC9D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,IAAe;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACtC,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAChC,IAAI,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACrC,OAAO,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS,CAAA;AAC1D,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAA4B,EAC5B,MAAgB,EAChB,MAAc;IAEd,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IACzD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,gBAAgB,MAAM,2CAA2C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC3F,aAAa,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjC,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAChC,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,WAAW,CAAC,IAAe,EAAE,IAAa;IACxD,yBAAyB;IACzB,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,4CAA4C;IAC5C,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAA;IACb,CAAC;IAED,gCAAgC;IAChC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,CAAC,IAAI,0DAA0D,CACpF,CAAA;QACH,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO;IACP,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,cAAc;QACd,OAAO,mBAAmB,CACxB,IAAI,CAAC,CAAC,CAA4B,EAClC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,IAAI,CACV,CAAA;IACH,CAAC;IAED,cAAc;IACd,OAAO,IAAI,CAAA;AACb,CAAC;AAcD;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAe,EAAE,IAAa;IAChE,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAA;IACtC,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,CAAC,IAAI,0DAA0D,CACpF,CAAA;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAA;IACtC,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,mBAAmB,CACvB,IAAI,CAAC,CAAC,CAA4B,EAClC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,IAAI,CACV;YACD,YAAY,EAAE,IAAI;SACnB,CAAA;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAA;AACtC,CAAC;AAwCD,kEAAkE;AAClE,SAAS,kBAAkB,CAAC,CAAU;IACpC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAClC,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAC5B,IAAI,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IACjC,OAAO,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS,CAAA;AACtD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAe,EAAE,IAAa,EAAE,IAAY;IAC7E,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,CAAA;IACvC,IAAI,IAAI,CAAC,MAAM,IAAI,UAAU;QAAE,OAAO,IAAI,CAAA,CAAC,yBAAyB;IACpE,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA,CAAC,SAAS;IAE/D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;IACnC,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,MAAK;QAC3B,yDAAyD;QACzD,iCAAiC;QACjC,kEAAkE;QAClE,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,MAAK;QACtC,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,6CAA6C;YAC7C,+CAA+C;YAC/C,6DAA6D;YAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAA;YAC7B,MAAM,cAAc,GAAG,KAAK,GAAG,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YACrF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,CAAA;YAChD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAA;YACrC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;YACxC,CAAC,IAAI,IAAI,CAAA;YACT,SAAQ;QACV,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAClB,CAAC,IAAI,CAAC,CAAA;IACR,CAAC;IACD,+CAA+C;IAC/C,uEAAuE;IACvE,qEAAqE;IACrE,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAA4B,CAAA;YAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAA;YAC9E,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,gCAAgC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;oBACrE,qCAAqC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC7D,CAAA;YACH,CAAC;YACD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YACxB,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,CAAA;QAC5C,CAAC;QACD,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,2BAA2B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACpE,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,6BAA6B,IAAI,CAAC,MAAM,aAAa;YACzE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAC/E,CAAA;IACH,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,CAAA;AAC5C,CAAC","sourcesContent":["/**\n * dual-form-args — D11 参数双形态归一化判别器\n *\n * 本文件实现参数双形态归一化（D11）：\n * - A 类（明显可区分）：单名双形态，函数内部按参数形态切换实现\n * - B1 类（人类看来不明显）：单名单形态，brepjs options 对象即唯一对象形态\n * - B2 类（人类看来不明显）：双名，brepjs 形态占正名，faijs 对象形态加描述性后缀\n *\n * 判别规则：\n * 1. 首参是 plain object（Object.getPrototypeOf(a) === Object.prototype）\n *    且非 Shape、非句柄、非数组 → 对象形态\n * 2. 否则 → 位置形态\n *\n * 对象形态映射：\n * - 按 params 表（机器参数名）将对象键映射为位置数组\n * - 缺省键 → undefined\n * - 对象形态含 params 外未知键 → 抛 E_ARGS_FORM\n *\n * B2 条目不走判别器（两个名字各自固定形态）。\n */\n\nimport { isShape } from '../../shape'\n\n/** 形态分类。 */\nexport type FormClass = 'A' | 'B1' | 'B2'\n\n/** 参数规格。 */\nexport interface ArgSpec {\n  /** op 名（错误信息用）。 */\n  name: string\n  /** 机器参数名表（按位置顺序），用于对象形态→位置数组映射。 */\n  params?: string[]\n  /** 形态分类。 */\n  formClass: FormClass\n}\n\n/** 句柄类型守卫（compat 句柄有 .wrapped 属性）。 */\nfunction isHandleLike(v: unknown): boolean {\n  return typeof v === 'object' && v !== null && 'wrapped' in v\n}\n\n/**\n * 判定参数是否为对象形态。\n *\n * 判别式（全仓统一）：\n * - 首参是 plain object（Object.getPrototypeOf(a) === Object.prototype）\n * - 且非 Shape、非句柄、非数组\n *\n * @param args - 调用参数数组\n * @returns 是否为对象形态\n */\nexport function isObjectForm(args: unknown[]): boolean {\n  if (args.length === 0) return false\n  const first = args[0]\n  if (first === null || typeof first !== 'object') return false\n  if (Array.isArray(first)) return false\n  if (isShape(first)) return false\n  if (isHandleLike(first)) return false\n  return Object.getPrototypeOf(first) === Object.prototype\n}\n\n/**\n * 将对象形态参数归一化为位置数组。\n *\n * @param obj - 对象形态参数\n * @param params - 机器参数名表\n * @param opName - op 名（错误信息用）\n * @returns 位置数组（缺省键 → undefined）\n * @throws E_ARGS_FORM 对象含 params 外未知键时\n */\nexport function normalizeObjectForm(\n  obj: Record<string, unknown>,\n  params: string[],\n  opName: string,\n): unknown[] {\n  const keys = Object.keys(obj)\n  const unknownKeys = keys.filter(k => !params.includes(k))\n  if (unknownKeys.length > 0) {\n    throw new Error(\n      `[faijs/args] ${opName}: E_ARGS_FORM: unexpected parameter(s): ${unknownKeys.join(', ')}. ` +\n      `Expected: ${params.join(', ')}`\n    )\n  }\n  return params.map(k => obj[k])\n}\n\n/**\n * 参数双形态归一化判别器。\n *\n * 根据 args 和 spec 归一化参数：\n * - B2 条目：直接返回原样（两个名字各自固定形态）\n * - B1 条目：直接返回原样（brepjs options 对象即唯一对象形态，§4.2「无需判别」）\n * - 对象形态：按 params 表映射为位置数组\n * - 位置形态：直接返回原样\n *\n * B1 为何原样返回：B1 的 brepjs 位置形态首参本身就是配置对象（如\n * `thread(options: ThreadOptions)`），对象形态与它在首参上撞型，判别式失效；\n * 方案 §4.2 B1 的定义即「faijs 侧无独立对象 schema 时，直接以 brepjs options\n * 对象为唯一对象形态（单名单形态，无需判别）」。若在此处按 params 表归一，\n * 任何 options 键都会因不在 params 表里而误抛 E_ARGS_FORM。\n *\n * @param args - 调用参数数组\n * @param spec - 参数规格\n * @returns 归一化后的参数数组\n * @throws E_ARGS_FORM 形态无法匹配或对象含未知键时\n */\nexport function resolveArgs(args: unknown[], spec: ArgSpec): unknown[] {\n  // B2 条目不走判别器（两个名字各自固定形态）\n  if (spec.formClass === 'B2') {\n    return args\n  }\n  // B1 条目：brepjs options 对象即唯一对象形态，无需判别（§4.2）\n  if (spec.formClass === 'B1') {\n    return args\n  }\n\n  // 无 params 表时无法归一化对象形态，只能接受位置形态\n  if (!spec.params) {\n    if (isObjectForm(args)) {\n      throw new Error(\n        `[faijs/args] ${spec.name}: E_ARGS_FORM: object form requires params specification`\n      )\n    }\n    return args\n  }\n\n  // 判定形态\n  if (isObjectForm(args)) {\n    // 对象形态 → 位置数组\n    return normalizeObjectForm(\n      args[0] as Record<string, unknown>,\n      spec.params,\n      spec.name,\n    )\n  }\n\n  // 位置形态 → 原样返回\n  return args\n}\n\n/**\n * 双形态归一化结果。\n *\n * 包含归一化后的参数和是否为对象形态的标记。\n */\nexport interface ResolvedArgs {\n  /** 归一化后的参数数组。 */\n  args: unknown[]\n  /** 是否为对象形态。 */\n  isObjectForm: boolean\n}\n\n/**\n * 参数双形态归一化判别器（带形态信息）。\n *\n * 与 resolveArgs 相同，但返回形态信息。\n *\n * @param args - 调用参数数组\n * @param spec - 参数规格\n * @returns 归一化结果\n */\nexport function resolveArgsWithInfo(args: unknown[], spec: ArgSpec): ResolvedArgs {\n  if (spec.formClass === 'B2' || spec.formClass === 'B1') {\n    return { args, isObjectForm: false }\n  }\n\n  if (!spec.params) {\n    if (isObjectForm(args)) {\n      throw new Error(\n        `[faijs/args] ${spec.name}: E_ARGS_FORM: object form requires params specification`\n      )\n    }\n    return { args, isObjectForm: false }\n  }\n\n  if (isObjectForm(args)) {\n    return {\n      args: normalizeObjectForm(\n        args[0] as Record<string, unknown>,\n        spec.params,\n        spec.name,\n      ),\n      isObjectForm: true,\n    }\n  }\n\n  return { args, isObjectForm: false }\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// 反方向：位置形态 → 对象形态（faijs 特有 dual op，impl 原生对象形态）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * 位置形态声明（D11 反方向，§4.2「归一方向 = 位置→对象」）。\n *\n * faijs 特有 dual op 的 impl 是对象形态原生（`box(width, depth, height)` 经\n * 装箱为 `{ width, depth, height, ... }`，`translate(shape, { offset })`），brepjs 生态\n * 的位置形态（`box(10, 20, 30, { centered: true })` / `translate(shape, 1, 0, 0)`）\n * 需先归一成对象形态。\n * 声明式而非 if 分支：op 作者只列「哪个键吃几个位置参数」，判别与装箱由\n * {@link positionalToObject} 统一完成。\n *\n * 与语句层的 `StatementSummary.positional`（位置实参**值**）以及投影侧的\n * `ArgSpec.params`（对象→位置**参数名表**）是三个不同概念：`SlotMap` 是\n * 位置槽→对象键的**装箱声明**（位置→对象，D11 反方向；§9 命名区分）。\n */\nexport interface SlotMap {\n  /**\n   * 对象形态键名，按位置顺序（只描述 Shape 之后的**非几何**形参）。\n   * 例：`box(10, 20, 30)` → `keys: ['size']`；`cylinder(5, 40)` →\n   * `keys: ['radius', 'height']`。\n   */\n  keys: string[]\n  /**\n   * 哪些键是 vec3 槽位（吃掉最多 3 个连续位置参数）。\n   * 1 个 → 标量（number 或数组原样）；2~3 个 → `[x, y(, z)]` 数组。\n   * 例：`box(10)` → `{ size: 10 }`；`box(10, 20, 30)` → `{ size: [10, 20, 30] }`。\n   */\n  vec3Keys?: string[]\n  /**\n   * 前置 Shape 形参个数（原样透传，不参与装箱），缺省 0。\n   * 例：`translate(shape, 1, 0, 0)` → `shapeArity: 1`。\n   */\n  shapeArity?: number\n}\n\n/** 判定值是否是可作为对象形态形参的 plain object（与 {@link isObjectForm} 同判别式）。 */\nfunction isPlainObjectValue(v: unknown): boolean {\n  if (v === null || typeof v !== 'object') return false\n  if (Array.isArray(v)) return false\n  if (isShape(v)) return false\n  if (isHandleLike(v)) return false\n  return Object.getPrototypeOf(v) === Object.prototype\n}\n\n/**\n * 位置形态 → 对象形态归一（faijs 特有 dual op 的 D11 反方向）。\n *\n * 触发条件：声明了 slotMap 且对象槽位（第 `shapeArity` 个实参）不是\n * plain object。已是对象形态或实参不足时原样返回（交由 op 自身的断言报错）。\n *\n * @param args - 调用参数数组\n * @param form - slotMap 声明（位置槽→对象键装箱表）\n * @param name - op 名（错误信息用）\n * @returns 归一后的参数数组（前置 Shape 原样 + 末尾一个对象形态参数）\n * @throws E_ARGS_FORM 位置参数个数与声明的槽位不匹配时\n */\nexport function positionalToObject(args: unknown[], form: SlotMap, name: string): unknown[] {\n  const shapeArity = form.shapeArity ?? 0\n  if (args.length <= shapeArity) return args // 无位置形参可装箱 → 原样（op 断言报错）\n  if (isPlainObjectValue(args[shapeArity])) return args // 已是对象形态\n\n  const rest = args.slice(shapeArity)\n  const obj: Record<string, unknown> = {}\n  let i = 0\n  for (const key of form.keys) {\n    if (i >= rest.length) break\n    // §6.2 尾参 options：当前实参是 plain object（候选尾参 options）→ 停止装箱\n    // 交给下方 options 合并，不让任何槽位把它吞进拓扑参数\n    // （`box(20,{centered:true})` / `cylinder(5,40,{centered:true})`）。\n    if (isPlainObjectValue(rest[i])) break\n    if (form.vec3Keys?.includes(key)) {\n      // vec3 槽位：吃掉最多 3 个连续实参（1 个 → 标量，2~3 个 → 数组）。\n      // 若剩余序列最末是 plain object（候选尾参 options），先为它留位，不让\n      // 跨槽 vec3 把 options 吞进拓扑参数（`box(10,20,30,{centered:true})`）。\n      const avail = rest.length - i\n      const reserveOptions = avail > 1 && isPlainObjectValue(rest[rest.length - 1]) ? 1 : 0\n      const take = Math.min(3, avail - reserveOptions)\n      const chunk = rest.slice(i, i + take)\n      obj[key] = take === 1 ? chunk[0] : chunk\n      i += take\n      continue\n    }\n    obj[key] = rest[i]\n    i += 1\n  }\n  // D11 尾参 options 合并（§6.2）：位置槽装箱后，若剩余实参恰好 1 个且为\n  // plain object → 作为 options 并入 args。让 `box(10,20,30,{centered:true})`、\n  // `sphere(5,{at,segments})`、`cylinder(5,40,{centered:true})` 在脚本面可用。\n  if (i < rest.length) {\n    if (rest.length - i === 1 && isPlainObjectValue(rest[i])) {\n      const opts = rest[i] as Record<string, unknown>\n      const dup = Object.keys(opts).filter((k) => form.keys.includes(k) || k in obj)\n      if (dup.length > 0) {\n        throw new Error(\n          `[faijs/args] ${name}: E_ARGS_FORM: option key(s) ${dup.join(', ')} ` +\n          `conflict with positional slot(s) (${form.keys.join(', ')})`\n        )\n      }\n      Object.assign(obj, opts)\n      return [...args.slice(0, shapeArity), obj]\n    }\n    throw new Error(\n      `[faijs/args] ${name}: E_ARGS_FORM: expected ${form.keys.join(', ')} ` +\n        `(${form.keys.length} positional slot(s)); got ${rest.length} value(s): ` +\n        rest.map((a) => (typeof a === 'object' ? '[object]' : String(a))).join(', ')\n    )\n  }\n  return [...args.slice(0, shapeArity), obj]\n}\n"]}

package/dist/api/internal/l3-bridge.d.ts

@@ -1,8 +1,6 @@
 /**
  * L3 bridge — faijs Shape ⇄ 库侧 brepjs-shaped shape（生成层共用，E5 模板）
  *
- * 设计文档：docs/plans/2026-09-02-faijs-api-surface-completion.md §E5
- *
  * 桥接事实（2026-09-02 实测，2026-09-25 core-decouple wrapup 自有化）：
  * - faijs 的 brep slot（`brepOf(shape)` → `slot.solid`）运行时是 occt-wasm 的
  *   shape 句柄（number，见 `brep/engine/types.ts` 的 `BrepHandle` 注释）；
@@ -10,10 +8,10 @@
  *   （`{ wrapped, disposed, delete, onDispose }`），其 `wrapped` 运行时也是
  *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例保证两者共享同一 wasm，
  *   句柄空间一致，**零拷贝互操作**。brepjs 子包删除后（裁决 9），本文件
- *   自带最小实现：borrow 视图 / 句柄类型视图 / disposal 解除（no-op）。
+ *   自带最小实现：句柄类型视图 / disposal 解除（no-op）。
  *
  * 因此投影一个库函数只需三件事：
- *   1. faijs Shape → 库输入：`createBorrowedHandle(brepOf(s))`（借入，不转移所有权）；
+ *   1. faijs Shape → 库输入：原样直传（faijs-native 库消费 core Shape）；
  *   2. 调库函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；
  *   3. 库产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`
  *      （meshHandle + 身份槽登记，所有权转入 faijs）。
@@ -36,36 +34,6 @@ export interface BorrowedShapeHandle {
     /** Borrowed views never dispose, so callbacks never fire（no-op）。 */
     onDispose(callback: () => void): void;
 }
-/** occt-wasm 句柄对象视图（type + id，delete no-op）。 */
-export interface OcctWasmHandleView {
-    __occtWasm: true;
-    type: string;
-    id: number;
-    delete(): void;
-    HashCode(upperBound: number): number;
-    IsNull(): boolean;
-}
-/**
- * Borrow a faijs Shape's OCCT handle as a library-side shape handle.
- *
- * No ownership transfer: the borrowed view is a no-op-dispose wrapper of the
- * same occt-wasm shape, valid while the faijs Shape owns it. Pass the result to
- * compatOp-projected functions that take `Shapeable<T>` / `AnyShape`.
- *
- * `brepOf` is a numeric arena id at runtime (occt-wasm's own `ShapeHandle` is a
- * branded number), but library code consumes shapes as *objects* (the
- * shapeTypeCache WeakMap key, `isOcctWasmHandle` discriminant, direct
- * `shape.type` reads) — a raw number crashes there ("Invalid value used as weak
- * map key"). The id is therefore wrapped into a structurally valid
- * `OcctWasmHandleView`: the type is queried from the bound occt kernel through
- * `getOcctKernel().getShapeType`, and the `delete` is a no-op (non-owning view —
- * the arena slot and its ownership are untouched).
- *
- * @param s - the faijs Shape whose brep slot is borrowed.
- * @returns a library-side ShapeHandle view of the same occt shape.
- * @throws when the Shape has no live BREP slot (mesh-only input on a brep op).
- */
-export declare function borrowBrepjsShape(s: Shape): BorrowedShapeHandle;
 /**
  * Adopt a library-side product into a faijs Shape.
  *
@@ -82,14 +50,14 @@ export declare function adoptBrepjsProduct(product: unknown, segments?: number):
 /**
  * Call a library function with a rebuilt positional argument list.
  *
- * Generated wrappers build `__args` positionally (borrowing geometry inputs,
- * passing value params through); a plain `fn(...args: unknown[])` spread fails
+ * Generated wrappers build `__args` positionally (geometry inputs pass through
+ * untouched, value params pass through as-is); a plain `fn(...args: unknown[])` spread fails
  * TS2556 against fixed-arity signatures, so the call goes through this
  * rest-typed bridge that preserves the function's own `ReturnType` (so a
  * `Result` return keeps `.ok`/`.value` for the generated unwrap code).
  *
  * @param fn   the library function.
- * @param args the rebuilt positional argument list (borrowed handles + value params).
+ * @param args the rebuilt positional argument list (geometry inputs + value params).
  * @returns whatever the function returns (typed via ReturnType).
  */
 export declare function callBrepjs<F extends (...a: never[]) => unknown>(fn: F, args: unknown[]): ReturnType<F>;

package/dist/api/internal/l3-bridge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"l3-bridge.d.ts","sourceRoot":"","sources":["../../../src/api/internal/l3-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAY7C,0CAA0C;AAC1C,MAAM,WAAW,mBAAmB;IAClC,kCAAkC;IAClC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,yCAAyC;IACzC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,CAAA;IACxB,+BAA+B;IAC/B,MAAM,IAAI,IAAI,CAAA;IACd,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,oEAAoE;IACpE,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,IAAI,CAAA;CACtC;AAED,gDAAgD;AAChD,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,IAAI,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,IAAI,IAAI,CAAA;IACd,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAAA;IACpC,MAAM,IAAI,OAAO,CAAA;CAClB;AA8CD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,GAAG,mBAAmB,CAY/D;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,KAAK,CAa7E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAEtG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAShF;AAQD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAkBxF"}
+{"version":3,"file":"l3-bridge.d.ts","sourceRoot":"","sources":["../../../src/api/internal/l3-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAU7C,0CAA0C;AAC1C,MAAM,WAAW,mBAAmB;IAClC,kCAAkC;IAClC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,yCAAyC;IACzC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,CAAA;IACxB,+BAA+B;IAC/B,MAAM,IAAI,IAAI,CAAA;IACd,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,oEAAoE;IACpE,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,IAAI,CAAA;CACtC;AAOD;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,KAAK,CAa7E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAEtG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAShF;AAQD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAkBxF"}

package/dist/api/internal/l3-bridge.js

@@ -1,8 +1,6 @@
 /**
  * L3 bridge — faijs Shape ⇄ 库侧 brepjs-shaped shape（生成层共用，E5 模板）
  *
- * 设计文档：docs/plans/2026-09-02-faijs-api-surface-completion.md §E5
- *
  * 桥接事实（2026-09-02 实测，2026-09-25 core-decouple wrapup 自有化）：
  * - faijs 的 brep slot（`brepOf(shape)` → `slot.solid`）运行时是 occt-wasm 的
  *   shape 句柄（number，见 `brep/engine/types.ts` 的 `BrepHandle` 注释）；
@@ -10,10 +8,10 @@
  *   （`{ wrapped, disposed, delete, onDispose }`），其 `wrapped` 运行时也是
  *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例保证两者共享同一 wasm，
  *   句柄空间一致，**零拷贝互操作**。brepjs 子包删除后（裁决 9），本文件
- *   自带最小实现：borrow 视图 / 句柄类型视图 / disposal 解除（no-op）。
+ *   自带最小实现：句柄类型视图 / disposal 解除（no-op）。
  *
  * 因此投影一个库函数只需三件事：
- *   1. faijs Shape → 库输入：`createBorrowedHandle(brepOf(s))`（借入，不转移所有权）；
+ *   1. faijs Shape → 库输入：原样直传（faijs-native 库消费 core Shape）；
  *   2. 调库函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；
  *   3. 库产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`
  *      （meshHandle + 身份槽登记，所有权转入 faijs）。
@@ -22,80 +20,13 @@
  * handle-bridge / occt-kernel 的类型与工具，保持 dist/sdk.js 零 heavy 依赖
  * （occt-kernel 的 getOcctKernel 为惰性访问，引擎装配前不触碰 wasm）。
  */
-import { brepOf } from '../../shape.js';
-import { fromHandle, getBrepApi } from '../../brep/handle-bridge.js';
+import { fromHandle } from '../../brep/handle-bridge.js';
 import { getBackends } from '../../runtime-state.js';
 import { OpError } from './result-unwrap.js';
-const noopFn = () => { };
-/** Build an opaque kernel handle for an arena-allocated WASM shape. */
-function occtWasmHandleView(type, id) {
-    return {
-        __occtWasm: true,
-        type,
-        id,
-        delete: noopFn,
-        HashCode(upperBound) {
-            return id % upperBound;
-        },
-        IsNull() {
-            return false;
-        },
-    };
-}
-function isOcctWasmHandle(shape) {
-    return typeof shape === 'object' && shape !== null && shape.__occtWasm === true;
-}
-/** Borrow view：不转移所有权、dispose 为 no-op（与 brepjs createBorrowedHandle 同语义）。 */
-function createBorrowedHandle(ocShape) {
-    return {
-        get wrapped() {
-            return ocShape;
-        },
-        get disposed() {
-            return false;
-        },
-        [Symbol.dispose]: noopFn,
-        delete: noopFn,
-        // Intentionally a no-op: a borrowed view never disposes, so a callback would
-        // never fire. Tie dependent lifetimes to the owning parent's handle instead.
-        onDispose: noopFn,
-    };
-}
 /** brepjs 的 finalizer registry 已随子包删除——解除登记为 no-op。 */
 function unregisterFromCleanup(_deletable) {
     // no-op（原 brepjs core/disposal.ts#unregisterFromCleanup；registry 已不存在）
 }
-/**
- * Borrow a faijs Shape's OCCT handle as a library-side shape handle.
- *
- * No ownership transfer: the borrowed view is a no-op-dispose wrapper of the
- * same occt-wasm shape, valid while the faijs Shape owns it. Pass the result to
- * compatOp-projected functions that take `Shapeable<T>` / `AnyShape`.
- *
- * `brepOf` is a numeric arena id at runtime (occt-wasm's own `ShapeHandle` is a
- * branded number), but library code consumes shapes as *objects* (the
- * shapeTypeCache WeakMap key, `isOcctWasmHandle` discriminant, direct
- * `shape.type` reads) — a raw number crashes there ("Invalid value used as weak
- * map key"). The id is therefore wrapped into a structurally valid
- * `OcctWasmHandleView`: the type is queried from the bound occt kernel through
- * `getOcctKernel().getShapeType`, and the `delete` is a no-op (non-owning view —
- * the arena slot and its ownership are untouched).
- *
- * @param s - the faijs Shape whose brep slot is borrowed.
- * @returns a library-side ShapeHandle view of the same occt shape.
- * @throws when the Shape has no live BREP slot (mesh-only input on a brep op).
- */
-export function borrowBrepjsShape(s) {
-    const solid = brepOf(s);
-    if (solid === undefined) {
-        throw new Error('[faijs/l3-bridge] E_BREP_ONLY_INPUT: operation requires a BREP-backed shape ' +
-            '(mesh-only input cannot run on the brep path)');
-    }
-    const kernelShape = isOcctWasmHandle(solid)
-        ? solid
-        : occtWasmHandleView(getBrepApi().shapeType(solid), solid);
-    return createBorrowedHandle(kernelShape);
-}
 /**
  * Adopt a library-side product into a faijs Shape.
  *
@@ -124,14 +55,14 @@ export function adoptBrepjsProduct(product, segments) {
 /**
  * Call a library function with a rebuilt positional argument list.
  *
- * Generated wrappers build `__args` positionally (borrowing geometry inputs,
- * passing value params through); a plain `fn(...args: unknown[])` spread fails
+ * Generated wrappers build `__args` positionally (geometry inputs pass through
+ * untouched, value params pass through as-is); a plain `fn(...args: unknown[])` spread fails
  * TS2556 against fixed-arity signatures, so the call goes through this
  * rest-typed bridge that preserves the function's own `ReturnType` (so a
  * `Result` return keeps `.ok`/`.value` for the generated unwrap code).
  *
  * @param fn   the library function.
- * @param args the rebuilt positional argument list (borrowed handles + value params).
+ * @param args the rebuilt positional argument list (geometry inputs + value params).
  * @returns whatever the function returns (typed via ReturnType).
  */
 export function callBrepjs(fn, args) {
@@ -187,7 +118,7 @@ export function adoptEntity(product, opName, segments) {
         return prev;
     const type = h.wrapped.type;
     if (type !== undefined && type !== 'solid' && type !== 'compound') {
-        throw new OpError(opName, 'E_SUBSHAPE_BOUNDARY', `[faijs/brepjs-compat] ${opName}: E_SUBSHAPE_BOUNDARY: sub-shape handle ('${type}') ` +
+        throw new OpError(opName, 'E_SUBSHAPE_BOUNDARY', `[faijs/op] ${opName}: E_SUBSHAPE_BOUNDARY: sub-shape handle ('${type}') ` +
             'must not cross the library boundary; return entity solids or plain data');
     }
     unregisterFromCleanup(h); // ★ R1: no-op（brepjs registry 已删除）

package/dist/api/internal/l3-bridge.js.map

@@ -1 +1 @@
-{"version":3,"file":"l3-bridge.js","sourceRoot":"","sources":["../../../src/api/internal/l3-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAEjE,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AA+BzC,MAAM,MAAM,GAAG,GAAS,EAAE,GAAE,CAAC,CAAA;AAE7B,uEAAuE;AACvE,SAAS,kBAAkB,CAAC,IAAY,EAAE,EAAU;IAClD,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,IAAI;QACJ,EAAE;QACF,MAAM,EAAE,MAAM;QACd,QAAQ,CAAC,UAAkB;YACzB,OAAO,EAAE,GAAG,UAAU,CAAA;QACxB,CAAC;QACD,MAAM;YACJ,OAAO,KAAK,CAAA;QACd,CAAC;KACF,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAK,KAA4B,CAAC,UAAU,KAAK,IAAI,CAAA;AACzG,CAAC;AAED,6EAA6E;AAC7E,SAAS,oBAAoB,CAAC,OAAgB;IAC5C,OAAO;QACL,IAAI,OAAO;YACT,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,IAAI,QAAQ;YACV,OAAO,KAAK,CAAA;QACd,CAAC;QACD,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM;QACxB,MAAM,EAAE,MAAM;QACd,6EAA6E;QAC7E,6EAA6E;QAC7E,SAAS,EAAE,MAAM;KAClB,CAAA;AACH,CAAC;AAED,uDAAuD;AACvD,SAAS,qBAAqB,CAAC,UAAkB;IAC/C,uEAAuE;AACzE,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAQ;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAA2B,CAAA;IACjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,8EAA8E;YAC5E,+CAA+C,CAClD,CAAA;IACH,CAAC;IACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,CAAC;QACzC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,kBAAkB,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,KAAc,CAAC,EAAE,KAAe,CAAC,CAAA;IAC/E,OAAO,oBAAoB,CAAC,WAAW,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,QAAiB;IACpE,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAA;IACrG,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,UAAU,GAAI,OAAgC,CAAC,OAAO,CAAA;IAC5D,MAAM,KAAK,GACT,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI,IAAI,IAAI,IAAI,UAAU;QACzE,CAAC,CAAE,UAA6B,CAAC,EAAE;QACnC,CAAC,CAAE,UAAqB,CAAA;IAC5B,MAAM,OAAO,GAAG,KAAmB,CAAA;IACnC,OAAO,UAAU,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAA;AAC/E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,UAAU,CAAuC,EAAK,EAAE,IAAe;IACrF,OAAO,EAAE,CAAC,GAAI,IAAgB,CAAkB,CAAA;AAClD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,OAA0B;IACxE,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,YAAY,CAAA;IACjD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC;QACrF,MAAM,CAAC,GAAG,IAAI,KAAK,CACjB,2BAA2B,MAAM,qBAAqB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,OAAO,IAAI,QAAQ,GAAG,CAC9G,CAAA;QACD,CAAC,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAC/B,MAAM,CAAC,CAAA;IACT,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF;6EAC6E;AAC7E,MAAM,UAAU,GAAG,IAAI,OAAO,EAAiB,CAAA;AAE/C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,MAAc,EAAE,QAAiB;IAC7E,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC;QAAE,OAAO,OAAO,CAAA;IAC9F,MAAM,CAAC,GAAG,OAA8B,CAAA;IACxC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAW,CAAC,CAAA;IACxC,IAAI,IAAI;QAAE,OAAO,IAAI,CAAA;IACrB,MAAM,IAAI,GAAI,CAAC,CAAC,OAA6B,CAAC,IAAI,CAAA;IAClD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QAClE,MAAM,IAAI,OAAO,CACf,MAAM,EACN,qBAAqB,EACrB,yBAAyB,MAAM,6CAA6C,IAAI,KAAK;YACnF,yEAAyE,CAC5E,CAAA;IACH,CAAC;IACD,qBAAqB,CAAC,CAAW,CAAC,CAAA,CAAC,mCAAmC;IACtE,MAAM,CAAC,GAAG,kBAAkB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA,CAAC,mDAAmD;IAC7F,UAAU,CAAC,GAAG,CAAC,CAAW,EAAE,CAAC,CAAC,CAAA;IAC9B,OAAO,CAAC,CAAA;AACV,CAAC","sourcesContent":["/**\n * L3 bridge — faijs Shape ⇄ 库侧 brepjs-shaped shape（生成层共用，E5 模板）\n *\n * 设计文档：docs/plans/2026-09-02-faijs-api-surface-completion.md §E5\n *\n * 桥接事实（2026-09-02 实测，2026-09-25 core-decouple wrapup 自有化）：\n * - faijs 的 brep slot（`brepOf(shape)` → `slot.solid`）运行时是 occt-wasm 的\n *   shape 句柄（number，见 `brep/engine/types.ts` 的 `BrepHandle` 注释）；\n * - 库侧（compatOp 投影的 brepjs-shaped 函数）消费的 ShapeHandle 是对象视图\n *   （`{ wrapped, disposed, delete, onDispose }`），其 `wrapped` 运行时也是\n *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例保证两者共享同一 wasm，\n *   句柄空间一致，**零拷贝互操作**。brepjs 子包删除后（裁决 9），本文件\n *   自带最小实现：borrow 视图 / 句柄类型视图 / disposal 解除（no-op）。\n *\n * 因此投影一个库函数只需三件事：\n *   1. faijs Shape → 库输入：`createBorrowedHandle(brepOf(s))`（借入，不转移所有权）；\n *   2. 调库函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；\n *   3. 库产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`\n *      （meshHandle + 身份槽登记，所有权转入 faijs）。\n *\n * 依赖约束（同 `brep/handle-bridge.ts`）：只允许 import runtime-state / shape /\n * handle-bridge / occt-kernel 的类型与工具，保持 dist/sdk.js 零 heavy 依赖\n * （occt-kernel 的 getOcctKernel 为惰性访问，引擎装配前不触碰 wasm）。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport { brepOf } from '../../shape'\nimport { fromHandle, getBrepApi } from '../../brep/handle-bridge'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBackends } from '../../runtime-state'\nimport { OpError } from './result-unwrap'\n\n// ── brepjs 借用面最小自有化（core-decouple wrapup §4.3）──────────────────────\n// 原实现：@faicad/faijs-brepjs/core/disposal.js（createBorrowedHandle /\n// unregisterFromCleanup / ShapeHandle）与 kernel/occtWasm/helpers.js\n// （handle / isOcctWasmHandle）。brepjs 子包删除后按同语义内联。\n\n/** 库侧消费的 shape 句柄视图（borrowed：不拥有、不释放）。 */\nexport interface BorrowedShapeHandle {\n  /** The raw kernel shape handle */\n  readonly wrapped: unknown\n  /** Manual dispose（borrowed 视图为 no-op） */\n  [Symbol.dispose](): void\n  /** Alias for Symbol.dispose */\n  delete(): void\n  /** Always false for a borrowed view */\n  readonly disposed: boolean\n  /** Borrowed views never dispose, so callbacks never fire（no-op）。 */\n  onDispose(callback: () => void): void\n}\n\n/** occt-wasm 句柄对象视图（type + id，delete no-op）。 */\nexport interface OcctWasmHandleView {\n  __occtWasm: true\n  type: string\n  id: number\n  delete(): void\n  HashCode(upperBound: number): number\n  IsNull(): boolean\n}\n\nconst noopFn = (): void => {}\n\n/** Build an opaque kernel handle for an arena-allocated WASM shape. */\nfunction occtWasmHandleView(type: string, id: number): OcctWasmHandleView {\n  return {\n    __occtWasm: true,\n    type,\n    id,\n    delete: noopFn,\n    HashCode(upperBound: number) {\n      return id % upperBound\n    },\n    IsNull() {\n      return false\n    },\n  }\n}\n\nfunction isOcctWasmHandle(shape: unknown): shape is OcctWasmHandleView {\n  return typeof shape === 'object' && shape !== null && (shape as OcctWasmHandleView).__occtWasm === true\n}\n\n/** Borrow view：不转移所有权、dispose 为 no-op（与 brepjs createBorrowedHandle 同语义）。 */\nfunction createBorrowedHandle(ocShape: unknown): BorrowedShapeHandle {\n  return {\n    get wrapped() {\n      return ocShape\n    },\n    get disposed() {\n      return false\n    },\n    [Symbol.dispose]: noopFn,\n    delete: noopFn,\n    // Intentionally a no-op: a borrowed view never disposes, so a callback would\n    // never fire. Tie dependent lifetimes to the owning parent's handle instead.\n    onDispose: noopFn,\n  }\n}\n\n/** brepjs 的 finalizer registry 已随子包删除——解除登记为 no-op。 */\nfunction unregisterFromCleanup(_deletable: object): void {\n  // no-op（原 brepjs core/disposal.ts#unregisterFromCleanup；registry 已不存在）\n}\n\n/**\n * Borrow a faijs Shape's OCCT handle as a library-side shape handle.\n *\n * No ownership transfer: the borrowed view is a no-op-dispose wrapper of the\n * same occt-wasm shape, valid while the faijs Shape owns it. Pass the result to\n * compatOp-projected functions that take `Shapeable<T>` / `AnyShape`.\n *\n * `brepOf` is a numeric arena id at runtime (occt-wasm's own `ShapeHandle` is a\n * branded number), but library code consumes shapes as *objects* (the\n * shapeTypeCache WeakMap key, `isOcctWasmHandle` discriminant, direct\n * `shape.type` reads) — a raw number crashes there (\"Invalid value used as weak\n * map key\"). The id is therefore wrapped into a structurally valid\n * `OcctWasmHandleView`: the type is queried from the bound occt kernel through\n * `getOcctKernel().getShapeType`, and the `delete` is a no-op (non-owning view —\n * the arena slot and its ownership are untouched).\n *\n * @param s - the faijs Shape whose brep slot is borrowed.\n * @returns a library-side ShapeHandle view of the same occt shape.\n * @throws when the Shape has no live BREP slot (mesh-only input on a brep op).\n */\nexport function borrowBrepjsShape(s: Shape): BorrowedShapeHandle {\n  const solid = brepOf(s) as BrepHandle | undefined\n  if (solid === undefined) {\n    throw new Error(\n      '[faijs/l3-bridge] E_BREP_ONLY_INPUT: operation requires a BREP-backed shape ' +\n        '(mesh-only input cannot run on the brep path)',\n    )\n  }\n  const kernelShape = isOcctWasmHandle(solid)\n    ? solid\n    : occtWasmHandleView(getBrepApi().shapeType(solid as never), solid as number)\n  return createBorrowedHandle(kernelShape)\n}\n\n/**\n * Adopt a library-side product into a faijs Shape.\n *\n * Unwraps the owned occt handle (`.wrapped`) and registers it into faijs'\n * identity slot via `fromHandle` — ownership transfers to faijs, and the library\n * wrapper must not dispose it afterwards (projected ops return it directly).\n *\n * @param product - a library-side shape (ShapeHandle / AnyShape family).\n * @param segments - optional tessellation segments（投影侧 `segments?`，裁决 1；\n *   透传给 `fromHandle` 的三角化，默认 32 → 64 由 handle-bridge 兜底).\n * @returns the faijs Shape wrapping the same occt solid.\n */\nexport function adoptBrepjsProduct(product: unknown, segments?: number): Shape {\n  if (product === null || typeof product !== 'object' || !('wrapped' in product)) {\n    throw new Error('[faijs/l3-bridge] E_BAD_PRODUCT: expected a shape handle from the library engine')\n  }\n  // library `wrapped` may be an OcctHandle (`{id}`) or a raw numeric id;\n  // faijs' kernel meshShape expects the numeric shape id (fromHandle).\n  const wrappedAny = (product as { wrapped: unknown }).wrapped\n  const rawId =\n    typeof wrappedAny === 'object' && wrappedAny !== null && 'id' in wrappedAny\n      ? (wrappedAny as { id: number }).id\n      : (wrappedAny as number)\n  const wrapped = rawId as BrepHandle\n  return fromHandle(wrapped, segments === undefined ? undefined : { segments })\n}\n\n/**\n * Call a library function with a rebuilt positional argument list.\n *\n * Generated wrappers build `__args` positionally (borrowing geometry inputs,\n * passing value params through); a plain `fn(...args: unknown[])` spread fails\n * TS2556 against fixed-arity signatures, so the call goes through this\n * rest-typed bridge that preserves the function's own `ReturnType` (so a\n * `Result` return keeps `.ok`/`.value` for the generated unwrap code).\n *\n * @param fn   the library function.\n * @param args the rebuilt positional argument list (borrowed handles + value params).\n * @returns whatever the function returns (typed via ReturnType).\n */\nexport function callBrepjs<F extends (...a: never[]) => unknown>(fn: F, args: unknown[]): ReturnType<F> {\n  return fn(...(args as never[])) as ReturnType<F>\n}\n\n/**\n * Phase 6（narrowing plan D7）：brep 测量 op 的执行前引擎身份断言。\n *\n * 库面 query op 是普通函数（不走 dispatchPath），但部分依赖 occt-only 内核方法\n * （shapeType / linearCenterOfMass / distance / curvature / interference，L2 平台面，\n * D6 表）——在这些 op 的实现上声明 `engines: ['occt']`，函数体第一行即断言当前\n * 引擎身份，在触碰内核之前报出可定位错误（文案与 D11-4 同构），不补桩、不回退。\n *\n * @param opName - op 名（报错文案）。\n * @param engines - 允许执行的引擎 id 集合（arg-spec 条目的 `engines` 字段）。\n * @throws BrepUnsupportedError 当当前引擎不在 `engines` 内。\n */\nexport function assertEngineFor(opName: string, engines: readonly string[]): void {\n  const current = getBackends().config.brepEngineId\n  if (current === null || current === undefined || !engines.some((e) => e === current)) {\n    const e = new Error(\n      `E_BREP_UNSUPPORTED: op '${opName}' requires engine ${engines.join(' or ')} (current=${current ?? '<none>'})`,\n    )\n    e.name = 'BrepUnsupportedError'\n    throw e\n  }\n}\n\n// ─── adoption (compatOp step 5; R1 fix) ──────────────────────────────────────\n\n/** Already-adopted handle dedup table: the same library handle adopted twice →\n *  the same faijs Shape (prevents double ownership / double dispose, R6). */\nconst adoptedMap = new WeakMap<object, Shape>()\n\n/**\n * Adopt a library handle as a faijs Shape (compatOp step 5's only adoption\n * entry point).\n *\n * ① pure data (no `.wrapped`) → pass through unchanged (query/data functions);\n * ② sub-shape kinds (face/edge/wire/vertex/shell) → throw E_SUBSHAPE_BOUNDARY\n *    (v1 boundary rejection, R4; the brand is a compile-time phantom type —\n *    the runtime kind is read from the occt-wasm handle's own `type` field,\n *    same as the kernel getShapeType helpers);\n * ③ entities (solid/compound) → no-op unregisterFromCleanup（★ R1：brepjs\n *    finalizer registry 已随子包删除，无孤儿释放风险）→ adoptBrepjsProduct.\n *\n * @param product - the library result (handle or plain data record).\n * @param opName - the op name (error messages).\n * @param segments - optional tessellation segments (compat `segments?`).\n * @returns the adopted faijs Shape, or the plain data untouched.\n */\nexport function adoptEntity(product: unknown, opName: string, segments?: number): unknown {\n  if (product === null || typeof product !== 'object' || !('wrapped' in product)) return product\n  const h = product as BorrowedShapeHandle\n  const prev = adoptedMap.get(h as object)\n  if (prev) return prev\n  const type = (h.wrapped as { type?: string }).type\n  if (type !== undefined && type !== 'solid' && type !== 'compound') {\n    throw new OpError(\n      opName,\n      'E_SUBSHAPE_BOUNDARY',\n      `[faijs/brepjs-compat] ${opName}: E_SUBSHAPE_BOUNDARY: sub-shape handle ('${type}') ` +\n        'must not cross the library boundary; return entity solids or plain data',\n    )\n  }\n  unregisterFromCleanup(h as object) // ★ R1: no-op（brepjs registry 已删除）\n  const s = adoptBrepjsProduct(h, segments) // fromHandle: tessellation + identity + BREP slots\n  adoptedMap.set(h as object, s)\n  return s\n}\n"]}
+{"version":3,"file":"l3-bridge.js","sourceRoot":"","sources":["../../../src/api/internal/l3-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAErD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAoBzC,uDAAuD;AACvD,SAAS,qBAAqB,CAAC,UAAkB;IAC/C,uEAAuE;AACzE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,QAAiB;IACpE,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAA;IACrG,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,UAAU,GAAI,OAAgC,CAAC,OAAO,CAAA;IAC5D,MAAM,KAAK,GACT,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI,IAAI,IAAI,IAAI,UAAU;QACzE,CAAC,CAAE,UAA6B,CAAC,EAAE;QACnC,CAAC,CAAE,UAAqB,CAAA;IAC5B,MAAM,OAAO,GAAG,KAAmB,CAAA;IACnC,OAAO,UAAU,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAA;AAC/E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,UAAU,CAAuC,EAAK,EAAE,IAAe;IACrF,OAAO,EAAE,CAAC,GAAI,IAAgB,CAAkB,CAAA;AAClD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,OAA0B;IACxE,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,YAAY,CAAA;IACjD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC;QACrF,MAAM,CAAC,GAAG,IAAI,KAAK,CACjB,2BAA2B,MAAM,qBAAqB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,OAAO,IAAI,QAAQ,GAAG,CAC9G,CAAA;QACD,CAAC,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAC/B,MAAM,CAAC,CAAA;IACT,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF;6EAC6E;AAC7E,MAAM,UAAU,GAAG,IAAI,OAAO,EAAiB,CAAA;AAE/C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,MAAc,EAAE,QAAiB;IAC7E,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC;QAAE,OAAO,OAAO,CAAA;IAC9F,MAAM,CAAC,GAAG,OAA8B,CAAA;IACxC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAW,CAAC,CAAA;IACxC,IAAI,IAAI;QAAE,OAAO,IAAI,CAAA;IACrB,MAAM,IAAI,GAAI,CAAC,CAAC,OAA6B,CAAC,IAAI,CAAA;IAClD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QAClE,MAAM,IAAI,OAAO,CACf,MAAM,EACN,qBAAqB,EACrB,cAAc,MAAM,6CAA6C,IAAI,KAAK;YACxE,yEAAyE,CAC5E,CAAA;IACH,CAAC;IACD,qBAAqB,CAAC,CAAW,CAAC,CAAA,CAAC,mCAAmC;IACtE,MAAM,CAAC,GAAG,kBAAkB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA,CAAC,mDAAmD;IAC7F,UAAU,CAAC,GAAG,CAAC,CAAW,EAAE,CAAC,CAAC,CAAA;IAC9B,OAAO,CAAC,CAAA;AACV,CAAC","sourcesContent":["/**\n * L3 bridge — faijs Shape ⇄ 库侧 brepjs-shaped shape（生成层共用，E5 模板）\n *\n * 桥接事实（2026-09-02 实测，2026-09-25 core-decouple wrapup 自有化）：\n * - faijs 的 brep slot（`brepOf(shape)` → `slot.solid`）运行时是 occt-wasm 的\n *   shape 句柄（number，见 `brep/engine/types.ts` 的 `BrepHandle` 注释）；\n * - 库侧（compatOp 投影的 brepjs-shaped 函数）消费的 ShapeHandle 是对象视图\n *   （`{ wrapped, disposed, delete, onDispose }`），其 `wrapped` 运行时也是\n *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例保证两者共享同一 wasm，\n *   句柄空间一致，**零拷贝互操作**。brepjs 子包删除后（裁决 9），本文件\n *   自带最小实现：句柄类型视图 / disposal 解除（no-op）。\n *\n * 因此投影一个库函数只需三件事：\n *   1. faijs Shape → 库输入：原样直传（faijs-native 库消费 core Shape）；\n *   2. 调库函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；\n *   3. 库产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`\n *      （meshHandle + 身份槽登记，所有权转入 faijs）。\n *\n * 依赖约束（同 `brep/handle-bridge.ts`）：只允许 import runtime-state / shape /\n * handle-bridge / occt-kernel 的类型与工具，保持 dist/sdk.js 零 heavy 依赖\n * （occt-kernel 的 getOcctKernel 为惰性访问，引擎装配前不触碰 wasm）。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport { fromHandle } from '../../brep/handle-bridge'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBackends } from '../../runtime-state'\nimport { OpError } from './result-unwrap'\n\n// ── brepjs 借用面最小自有化（core-decouple wrapup §4.3）──────────────────────\n// 原实现：@faicad/faijs-brepjs/core/disposal.js（unregisterFromCleanup /\n// ShapeHandle）。brepjs 子包删除后按同语义内联。\n\n/** 库侧消费的 shape 句柄视图（borrowed：不拥有、不释放）。 */\nexport interface BorrowedShapeHandle {\n  /** The raw kernel shape handle */\n  readonly wrapped: unknown\n  /** Manual dispose（borrowed 视图为 no-op） */\n  [Symbol.dispose](): void\n  /** Alias for Symbol.dispose */\n  delete(): void\n  /** Always false for a borrowed view */\n  readonly disposed: boolean\n  /** Borrowed views never dispose, so callbacks never fire（no-op）。 */\n  onDispose(callback: () => void): void\n}\n\n/** brepjs 的 finalizer registry 已随子包删除——解除登记为 no-op。 */\nfunction unregisterFromCleanup(_deletable: object): void {\n  // no-op（原 brepjs core/disposal.ts#unregisterFromCleanup；registry 已不存在）\n}\n\n/**\n * Adopt a library-side product into a faijs Shape.\n *\n * Unwraps the owned occt handle (`.wrapped`) and registers it into faijs'\n * identity slot via `fromHandle` — ownership transfers to faijs, and the library\n * wrapper must not dispose it afterwards (projected ops return it directly).\n *\n * @param product - a library-side shape (ShapeHandle / AnyShape family).\n * @param segments - optional tessellation segments（投影侧 `segments?`，裁决 1；\n *   透传给 `fromHandle` 的三角化，默认 32 → 64 由 handle-bridge 兜底).\n * @returns the faijs Shape wrapping the same occt solid.\n */\nexport function adoptBrepjsProduct(product: unknown, segments?: number): Shape {\n  if (product === null || typeof product !== 'object' || !('wrapped' in product)) {\n    throw new Error('[faijs/l3-bridge] E_BAD_PRODUCT: expected a shape handle from the library engine')\n  }\n  // library `wrapped` may be an OcctHandle (`{id}`) or a raw numeric id;\n  // faijs' kernel meshShape expects the numeric shape id (fromHandle).\n  const wrappedAny = (product as { wrapped: unknown }).wrapped\n  const rawId =\n    typeof wrappedAny === 'object' && wrappedAny !== null && 'id' in wrappedAny\n      ? (wrappedAny as { id: number }).id\n      : (wrappedAny as number)\n  const wrapped = rawId as BrepHandle\n  return fromHandle(wrapped, segments === undefined ? undefined : { segments })\n}\n\n/**\n * Call a library function with a rebuilt positional argument list.\n *\n * Generated wrappers build `__args` positionally (geometry inputs pass through\n * untouched, value params pass through as-is); a plain `fn(...args: unknown[])` spread fails\n * TS2556 against fixed-arity signatures, so the call goes through this\n * rest-typed bridge that preserves the function's own `ReturnType` (so a\n * `Result` return keeps `.ok`/`.value` for the generated unwrap code).\n *\n * @param fn   the library function.\n * @param args the rebuilt positional argument list (geometry inputs + value params).\n * @returns whatever the function returns (typed via ReturnType).\n */\nexport function callBrepjs<F extends (...a: never[]) => unknown>(fn: F, args: unknown[]): ReturnType<F> {\n  return fn(...(args as never[])) as ReturnType<F>\n}\n\n/**\n * Phase 6（narrowing plan D7）：brep 测量 op 的执行前引擎身份断言。\n *\n * 库面 query op 是普通函数（不走 dispatchPath），但部分依赖 occt-only 内核方法\n * （shapeType / linearCenterOfMass / distance / curvature / interference，L2 平台面，\n * D6 表）——在这些 op 的实现上声明 `engines: ['occt']`，函数体第一行即断言当前\n * 引擎身份，在触碰内核之前报出可定位错误（文案与 D11-4 同构），不补桩、不回退。\n *\n * @param opName - op 名（报错文案）。\n * @param engines - 允许执行的引擎 id 集合（arg-spec 条目的 `engines` 字段）。\n * @throws BrepUnsupportedError 当当前引擎不在 `engines` 内。\n */\nexport function assertEngineFor(opName: string, engines: readonly string[]): void {\n  const current = getBackends().config.brepEngineId\n  if (current === null || current === undefined || !engines.some((e) => e === current)) {\n    const e = new Error(\n      `E_BREP_UNSUPPORTED: op '${opName}' requires engine ${engines.join(' or ')} (current=${current ?? '<none>'})`,\n    )\n    e.name = 'BrepUnsupportedError'\n    throw e\n  }\n}\n\n// ─── adoption (compatOp step 5; R1 fix) ──────────────────────────────────────\n\n/** Already-adopted handle dedup table: the same library handle adopted twice →\n *  the same faijs Shape (prevents double ownership / double dispose, R6). */\nconst adoptedMap = new WeakMap<object, Shape>()\n\n/**\n * Adopt a library handle as a faijs Shape (compatOp step 5's only adoption\n * entry point).\n *\n * ① pure data (no `.wrapped`) → pass through unchanged (query/data functions);\n * ② sub-shape kinds (face/edge/wire/vertex/shell) → throw E_SUBSHAPE_BOUNDARY\n *    (v1 boundary rejection, R4; the brand is a compile-time phantom type —\n *    the runtime kind is read from the occt-wasm handle's own `type` field,\n *    same as the kernel getShapeType helpers);\n * ③ entities (solid/compound) → no-op unregisterFromCleanup（★ R1：brepjs\n *    finalizer registry 已随子包删除，无孤儿释放风险）→ adoptBrepjsProduct.\n *\n * @param product - the library result (handle or plain data record).\n * @param opName - the op name (error messages).\n * @param segments - optional tessellation segments (compat `segments?`).\n * @returns the adopted faijs Shape, or the plain data untouched.\n */\nexport function adoptEntity(product: unknown, opName: string, segments?: number): unknown {\n  if (product === null || typeof product !== 'object' || !('wrapped' in product)) return product\n  const h = product as BorrowedShapeHandle\n  const prev = adoptedMap.get(h as object)\n  if (prev) return prev\n  const type = (h.wrapped as { type?: string }).type\n  if (type !== undefined && type !== 'solid' && type !== 'compound') {\n    throw new OpError(\n      opName,\n      'E_SUBSHAPE_BOUNDARY',\n      `[faijs/op] ${opName}: E_SUBSHAPE_BOUNDARY: sub-shape handle ('${type}') ` +\n        'must not cross the library boundary; return entity solids or plain data',\n    )\n  }\n  unregisterFromCleanup(h as object) // ★ R1: no-op（brepjs registry 已删除）\n  const s = adoptBrepjsProduct(h, segments) // fromHandle: tessellation + identity + BREP slots\n  adoptedMap.set(h as object, s)\n  return s\n}\n"]}

package/dist/api/internal/profile-wire.d.ts

@@ -10,7 +10,7 @@
  * - 2D 截面（`cad.profile` 的面）→ 取**外环**（孔环不参与扫掠/放样）。
  *
  * core-decouple G5 后：wire 视图为 `{ wrapped: BrepHandle, borrowed: boolean }`
- * （brepjs 形态保留，供 brep-mirror 实现直读）。所有权：面→外环的 wire 是
+ * （brepjs 形态保留，供 brep-operations 实现直读）。所有权：面→外环的 wire 是
  * arena 新句柄（borrowed=false），由调用方（loft/sweep）消费后 release；
  * 曲线借用（borrowed=true）不 release。
  */

package/dist/api/internal/profile-wire.js

@@ -10,7 +10,7 @@
  * - 2D 截面（`cad.profile` 的面）→ 取**外环**（孔环不参与扫掠/放样）。
  *
  * core-decouple G5 后：wire 视图为 `{ wrapped: BrepHandle, borrowed: boolean }`
- * （brepjs 形态保留，供 brep-mirror 实现直读）。所有权：面→外环的 wire 是
+ * （brepjs 形态保留，供 brep-operations 实现直读）。所有权：面→外环的 wire 是
  * arena 新句柄（borrowed=false），由调用方（loft/sweep）消费后 release；
  * 曲线借用（borrowed=true）不 release。
  */

package/dist/api/internal/profile-wire.js.map

@@ -1 +1 @@
-{"version":3,"file":"profile-wire.js","sourceRoot":"","sources":["../../../src/api/internal/profile-wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAUrD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAc;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAe,CAAA;IAC5C,IAAI,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IACrE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IAClE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;AAC/C,CAAC","sourcesContent":["/**\n * profile-wire — 「截面 Shape → 扫掠/放样所需的 wire 视图」的唯一步径（Phase 4→G5）\n *\n * `sweep` / `loft` 共用：脚本面最常见的截面来源是 `cad.profile(...)`（产出 **face**），\n * 而内核的 `sweep` / `loft` 只吃 wire ⇒ 需要「面 → 外环 wire」输入适配。\n * 两处口径必须逐字一致，故收在此叶子模块（一份实现，不允许第二个判定点）。\n *\n * 判定用 faijs 侧判别位（Phase 3 落地的 `kind:'curve'`），不查内核拓扑类型：\n * - 1D 截面（`cad.wire` / `cad.helix` / `cad.profile({as:'wire'})`）→ 借用原句柄；\n * - 2D 截面（`cad.profile` 的面）→ 取**外环**（孔环不参与扫掠/放样）。\n *\n * core-decouple G5 后：wire 视图为 `{ wrapped: BrepHandle, borrowed: boolean }`\n * （brepjs 形态保留，供 brep-mirror 实现直读）。所有权：面→外环的 wire 是\n * arena 新句柄（borrowed=false），由调用方（loft/sweep）消费后 release；\n * 曲线借用（borrowed=true）不 release。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport { brepOf, isCurveShape } from '../../shape'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport type { BrepHandle } from '../../brep/engine/types'\n\n/** Wire view for sweep/loft sections: the BREP handle plus its ownership flag. */\nexport interface WireView {\n  wrapped: BrepHandle\n  /** true = 借用原 shape 句柄（勿 release）；false = 新建外环 wire（调用方 release）。 */\n  borrowed: boolean\n}\n\n/** 截面 Shape → wire 视图（面取其外环）。\n *\n * @param section - Section shape (curve or face) to adapt.\n * @returns The wire view wrapping the handle and its ownership flag.\n */\nexport function toProfileWireView(section: Shape): WireView {\n  const handle = brepOf(section) as BrepHandle\n  if (isCurveShape(section)) return { wrapped: handle, borrowed: true }\n  const kernel = getBrepApi()\n  const faces = kernel.getSubShapes(handle, 'face')\n  if (faces.length === 0) return { wrapped: handle, borrowed: true }\n  const wires = kernel.getSubShapes(faces[0], 'wire')\n  if (wires.length === 0) return { wrapped: handle, borrowed: true }\n  return { wrapped: wires[0], borrowed: false }\n}\n"]}
+{"version":3,"file":"profile-wire.js","sourceRoot":"","sources":["../../../src/api/internal/profile-wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAUrD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAc;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAe,CAAA;IAC5C,IAAI,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IACrE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IAClE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;AAC/C,CAAC","sourcesContent":["/**\n * profile-wire — 「截面 Shape → 扫掠/放样所需的 wire 视图」的唯一步径（Phase 4→G5）\n *\n * `sweep` / `loft` 共用：脚本面最常见的截面来源是 `cad.profile(...)`（产出 **face**），\n * 而内核的 `sweep` / `loft` 只吃 wire ⇒ 需要「面 → 外环 wire」输入适配。\n * 两处口径必须逐字一致，故收在此叶子模块（一份实现，不允许第二个判定点）。\n *\n * 判定用 faijs 侧判别位（Phase 3 落地的 `kind:'curve'`），不查内核拓扑类型：\n * - 1D 截面（`cad.wire` / `cad.helix` / `cad.profile({as:'wire'})`）→ 借用原句柄；\n * - 2D 截面（`cad.profile` 的面）→ 取**外环**（孔环不参与扫掠/放样）。\n *\n * core-decouple G5 后：wire 视图为 `{ wrapped: BrepHandle, borrowed: boolean }`\n * （brepjs 形态保留，供 brep-operations 实现直读）。所有权：面→外环的 wire 是\n * arena 新句柄（borrowed=false），由调用方（loft/sweep）消费后 release；\n * 曲线借用（borrowed=true）不 release。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport { brepOf, isCurveShape } from '../../shape'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport type { BrepHandle } from '../../brep/engine/types'\n\n/** Wire view for sweep/loft sections: the BREP handle plus its ownership flag. */\nexport interface WireView {\n  wrapped: BrepHandle\n  /** true = 借用原 shape 句柄（勿 release）；false = 新建外环 wire（调用方 release）。 */\n  borrowed: boolean\n}\n\n/** 截面 Shape → wire 视图（面取其外环）。\n *\n * @param section - Section shape (curve or face) to adapt.\n * @returns The wire view wrapping the handle and its ownership flag.\n */\nexport function toProfileWireView(section: Shape): WireView {\n  const handle = brepOf(section) as BrepHandle\n  if (isCurveShape(section)) return { wrapped: handle, borrowed: true }\n  const kernel = getBrepApi()\n  const faces = kernel.getSubShapes(handle, 'face')\n  if (faces.length === 0) return { wrapped: handle, borrowed: true }\n  const wires = kernel.getSubShapes(faces[0], 'wire')\n  if (wires.length === 0) return { wrapped: handle, borrowed: true }\n  return { wrapped: wires[0], borrowed: false }\n}\n"]}