@faicad/faijs 0.29.5 → 0.31.1

package/dist/api/export-step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-step.d.ts","sourceRoot":"","sources":["../../src/api/export-step.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAE7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAMxC,2BAA2B;AAC3B,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,IAAI,CAAC,EAAE,QAAQ,CAAA;CAChB;AAqBD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,aAAa,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAkB5F"}

package/dist/api/export-step.js

@@ -0,0 +1,98 @@
+/**
+ * api exportStep — STEP 导出（脚本面薄壳：宿主门 + 引擎门 + 库面序列化器）
+ *
+ * §2.6 定式 1「薄壳 + 门禁，不重写格式逻辑」：本体只做四件事——宿主门
+ * （`assertHostFor`）→ 引擎门（`assertEngineFor`）→ 把入参转成 `ExportEntry[]`
+ * （`brep/export/export-model.ts#ExportEntry`）→ 调库面序列化器
+ * `exportModelSync(entries, 'step', { unit })`。因此脚本面与库面**天然逐字节同源**
+ * （矩阵 B12），单位声明与坐标刻度的成对不变式（§10.3 规则 3：OCCT 恒写
+ * SI_UNIT(.MILLI.,.METRE.)，坐标预缩放后声明必须跟上）由库面统一保证，op 里不复刻。
+ *
+ * **引擎门**：STEP 的装配层级走 XCAF，只有 occt 具备（§2.3），故与
+ * `api/export-brep.ts:32` 同构地断言 `assertEngineFor('exportStep', ['occt'])`——
+ * 在触碰任何句柄之前报出 `E_BREP_UNSUPPORTED` 并带上当前引擎名，不补桩、不回退。
+ * 非 occt 引擎下**不得**让调用落进 `getBrepApi()` / `getOcctKernel()` 的未初始化
+ * 异常，也不得把 brepkit 句柄交给 occt 内核（句柄不得跨引擎传递）。
+ *
+ * **宿主门**：与其余导出命令同轴（§2.5），仅 `'node'` 宿主开放，且宿主门在引擎门
+ * 之前。理由：`.fai.js` 可由 AI 生成任意代码、属不受信输入，导出把「往哪写、写几份、
+ * 写什么」的决定权交给脚本文本；浏览器 / 小程序里要导出模型必须由宿主入口发起。
+ * 断言写在函数体第一行，所以脚本面 `cad.*` 与 TS 直连同一函数都被同一门禁覆盖。
+ *
+ * **层级入口**：入参是 `Shape` 或 `CompoundShape`（§2.1——`cad.assembly` / `cad.group`
+ * 的产物），`cad.exportStep(compound)` 即脚本面的层级导出入口；成员拆解口径见
+ * `api/internal/export-members.ts`（对齐 `node-host/cli.ts#writeAssemblyStep`）。
+ *
+ * **条目按格式分派**（定式 4）：step 吃 `solid`（保留精确 BREP 拓扑，缺则库面用
+ * `mesh` 重建，`brep/export/step.ts:83`），所以活句柄存在就给 `solid`，没有才给
+ * `mesh`——与 `cli.ts#writeOutput`（`:744-758`）同口径。空装配**显式报错**，不落
+ * 空文件（对齐 `api/export-stl.ts` 的 `E_EXPORT_STL_EMPTY` 口径）。
+ */
+import { brepOf } from '../shape.js';
+import { exportModelSync } from '../brep/export/export-model.js';
+import { exportMembersOf } from './internal/export-members.js';
+import { assertEngineFor, assertHostFor } from './internal/l3-bridge.js';
+/** 一个成员 → step 条目：有活句柄给精确 BREP，没有才退回自带三角载荷。 */
+function stepEntryOf(member) {
+    const handle = brepOf(member.shape);
+    const positions = member.shape?.positions;
+    const indices = member.shape?.indices;
+    const hasMesh = !!positions && !!indices && positions.length > 0 && indices.length > 0;
+    const payload = handle
+        ? { solid: handle }
+        : hasMesh
+            ? { mesh: { positions, indices } }
+            : undefined;
+    if (!payload)
+        return undefined;
+    return {
+        ...payload,
+        ...(member.name === undefined ? {} : { name: member.name }),
+        ...(member.color === undefined ? {} : { color: member.color }),
+    };
+}
+/**
+ * 导出 STEP 文本（与 `cad.import_step` 成对的导出侧）。
+ * @group 导出
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name exportStep
+ * @note 薄壳 op：条目构造后一律交库面 `exportModelSync(entries,'step',{unit})` 序列化，
+ *       故同一入参下脚本面文本与库面**逐字节一致**（同一真源，不另起写出通道）。
+ *       返回**纯文本**（ISO-10303-21），由宿主写入 `.step` / `.stp` 文件——内核不 import
+ *       fs。`unit` 只声明单位，坐标换算与声明由库面成对完成（缺省 mm）。
+ *       入参可为单件 Shape 或装配 compound（`cad.assembly` / `cad.group` 产物），
+ *       compound 逐成员导出并带上成员名与 `memberColors`；空装配显式报
+ *       E_EXPORT_STEP_EMPTY，不落空文件。
+ *       **双门**：宿主门仅 `'node'`（browser / weapp / 未声明报 E_HOST_UNSUPPORTED），
+ *       引擎门仅 `occt`（装配层级走 XCAF；非 occt 报 E_BREP_UNSUPPORTED）。门序固定
+ *       为宿主门 → 引擎门 → 实现体，两级都在触碰任何句柄之前。
+ * @returns string STEP（ISO-10303-21）文本。
+ * @param shape - 目标几何（单件 Shape 或装配 compound）。type:Shape|CompoundShape required:true
+ * @param options.unit - 文件里声明的长度单位，缺省 mm（坐标随之换算）。type:UnitName
+ * @example
+ * const text = cad.exportStep(part0)
+ * const asm = cad.exportStep(asm1, { unit: 'inch' })
+ */
+export function exportStep(shape, options) {
+    // 门序固定：宿主门 → 引擎门（都在读 Shape 槽 / 触碰内核之前）。
+    assertHostFor('exportStep', ['node']);
+    assertEngineFor('exportStep', ['occt']);
+    const entries = [];
+    for (const member of exportMembersOf(shape)) {
+        const entry = stepEntryOf(member);
+        if (entry)
+            entries.push(entry);
+    }
+    if (entries.length === 0) {
+        throw new Error('E_EXPORT_STEP_EMPTY: exportStep input has no exportable member (empty assembly or payload-less members)');
+    }
+    const buffer = exportModelSync(entries, 'step', options?.unit === undefined ? undefined : { unit: options.unit });
+    const text = new TextDecoder().decode(new Uint8Array(buffer));
+    if (text.length === 0) {
+        throw new Error('E_EXPORT_STEP_EMPTY: occt produced no STEP text');
+    }
+    return text;
+}
+//# sourceMappingURL=export-step.js.map

package/dist/api/export-step.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-step.js","sourceRoot":"","sources":["../../src/api/export-step.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAMH,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,eAAe,EAAoB,MAAM,6BAA6B,CAAA;AAC/E,OAAO,EAAE,eAAe,EAAqB,MAAM,2BAA2B,CAAA;AAC9E,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAWrE,+CAA+C;AAC/C,SAAS,WAAW,CAAC,MAAoB;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC7D,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,EAAE,SAAS,CAAA;IACzC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,CAAA;IACrC,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAA;IACtF,MAAM,OAAO,GAA4B,MAAM;QAC7C,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;QACnB,CAAC,CAAC,OAAO;YACP,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE;YAClC,CAAC,CAAC,SAAS,CAAA;IACf,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAA;IAC9B,OAAO;QACL,GAAG,OAAO;QACV,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;KAC/D,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,UAAU,CAAC,KAA4B,EAAE,OAA2B;IAClF,wCAAwC;IACxC,aAAa,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACrC,eAAe,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACvC,MAAM,OAAO,GAAkB,EAAE,CAAA;IACjC,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAA;QACjC,IAAI,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAChC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,yGAAyG,CAAC,CAAA;IAC5H,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;IACjH,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA;IAC7D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;IACpE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC","sourcesContent":["/**\n * api exportStep — STEP 导出（脚本面薄壳：宿主门 + 引擎门 + 库面序列化器）\n *\n * §2.6 定式 1「薄壳 + 门禁，不重写格式逻辑」：本体只做四件事——宿主门\n * （`assertHostFor`）→ 引擎门（`assertEngineFor`）→ 把入参转成 `ExportEntry[]`\n * （`brep/export/export-model.ts#ExportEntry`）→ 调库面序列化器\n * `exportModelSync(entries, 'step', { unit })`。因此脚本面与库面**天然逐字节同源**\n * （矩阵 B12），单位声明与坐标刻度的成对不变式（§10.3 规则 3：OCCT 恒写\n * SI_UNIT(.MILLI.,.METRE.)，坐标预缩放后声明必须跟上）由库面统一保证，op 里不复刻。\n *\n * **引擎门**：STEP 的装配层级走 XCAF，只有 occt 具备（§2.3），故与\n * `api/export-brep.ts:32` 同构地断言 `assertEngineFor('exportStep', ['occt'])`——\n * 在触碰任何句柄之前报出 `E_BREP_UNSUPPORTED` 并带上当前引擎名，不补桩、不回退。\n * 非 occt 引擎下**不得**让调用落进 `getBrepApi()` / `getOcctKernel()` 的未初始化\n * 异常，也不得把 brepkit 句柄交给 occt 内核（句柄不得跨引擎传递）。\n *\n * **宿主门**：与其余导出命令同轴（§2.5），仅 `'node'` 宿主开放，且宿主门在引擎门\n * 之前。理由：`.fai.js` 可由 AI 生成任意代码、属不受信输入，导出把「往哪写、写几份、\n * 写什么」的决定权交给脚本文本；浏览器 / 小程序里要导出模型必须由宿主入口发起。\n * 断言写在函数体第一行，所以脚本面 `cad.*` 与 TS 直连同一函数都被同一门禁覆盖。\n *\n * **层级入口**：入参是 `Shape` 或 `CompoundShape`（§2.1——`cad.assembly` / `cad.group`\n * 的产物），`cad.exportStep(compound)` 即脚本面的层级导出入口；成员拆解口径见\n * `api/internal/export-members.ts`（对齐 `node-host/cli.ts#writeAssemblyStep`）。\n *\n * **条目按格式分派**（定式 4）：step 吃 `solid`（保留精确 BREP 拓扑，缺则库面用\n * `mesh` 重建，`brep/export/step.ts:83`），所以活句柄存在就给 `solid`，没有才给\n * `mesh`——与 `cli.ts#writeOutput`（`:744-758`）同口径。空装配**显式报错**，不落\n * 空文件（对齐 `api/export-stl.ts` 的 `E_EXPORT_STL_EMPTY` 口径）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { CompoundShape } from '../shape'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { UnitName } from '../units'\nimport { brepOf } from '../shape'\nimport { exportModelSync, type ExportEntry } from '../brep/export/export-model'\nimport { exportMembersOf, type ExportMember } from './internal/export-members'\nimport { assertEngineFor, assertHostFor } from './internal/l3-bridge'\n\n/** `cad.exportStep` 选项。 */\nexport interface ExportStepOptions {\n  /**\n   * 文件里声明的长度单位（缺省 `'mm'`）。语义与库面 `ExportOptions.unit` 一致：\n   * 实现负责把坐标换算到该刻度，并与声明**成对**写出（`export-model.ts` §10.3）。\n   */\n  unit?: UnitName\n}\n\n/** 一个成员 → step 条目：有活句柄给精确 BREP，没有才退回自带三角载荷。 */\nfunction stepEntryOf(member: ExportMember): ExportEntry | undefined {\n  const handle = brepOf(member.shape) as BrepHandle | undefined\n  const positions = member.shape?.positions\n  const indices = member.shape?.indices\n  const hasMesh = !!positions && !!indices && positions.length > 0 && indices.length > 0\n  const payload: ExportEntry | undefined = handle\n    ? { solid: handle }\n    : hasMesh\n      ? { mesh: { positions, indices } }\n      : undefined\n  if (!payload) return undefined\n  return {\n    ...payload,\n    ...(member.name === undefined ? {} : { name: member.name }),\n    ...(member.color === undefined ? {} : { color: member.color }),\n  }\n}\n\n/**\n * 导出 STEP 文本（与 `cad.import_step` 成对的导出侧）。\n * @group 导出\n * @inputs 1\n * @async false\n * @qual ok\n * @name exportStep\n * @note 薄壳 op：条目构造后一律交库面 `exportModelSync(entries,'step',{unit})` 序列化，\n *       故同一入参下脚本面文本与库面**逐字节一致**（同一真源，不另起写出通道）。\n *       返回**纯文本**（ISO-10303-21），由宿主写入 `.step` / `.stp` 文件——内核不 import\n *       fs。`unit` 只声明单位，坐标换算与声明由库面成对完成（缺省 mm）。\n *       入参可为单件 Shape 或装配 compound（`cad.assembly` / `cad.group` 产物），\n *       compound 逐成员导出并带上成员名与 `memberColors`；空装配显式报\n *       E_EXPORT_STEP_EMPTY，不落空文件。\n *       **双门**：宿主门仅 `'node'`（browser / weapp / 未声明报 E_HOST_UNSUPPORTED），\n *       引擎门仅 `occt`（装配层级走 XCAF；非 occt 报 E_BREP_UNSUPPORTED）。门序固定\n *       为宿主门 → 引擎门 → 实现体，两级都在触碰任何句柄之前。\n * @returns string STEP（ISO-10303-21）文本。\n * @param shape - 目标几何（单件 Shape 或装配 compound）。type:Shape|CompoundShape required:true\n * @param options.unit - 文件里声明的长度单位，缺省 mm（坐标随之换算）。type:UnitName\n * @example\n * const text = cad.exportStep(part0)\n * const asm = cad.exportStep(asm1, { unit: 'inch' })\n */\nexport function exportStep(shape: Shape | CompoundShape, options?: ExportStepOptions): string {\n  // 门序固定：宿主门 → 引擎门（都在读 Shape 槽 / 触碰内核之前）。\n  assertHostFor('exportStep', ['node'])\n  assertEngineFor('exportStep', ['occt'])\n  const entries: ExportEntry[] = []\n  for (const member of exportMembersOf(shape)) {\n    const entry = stepEntryOf(member)\n    if (entry) entries.push(entry)\n  }\n  if (entries.length === 0) {\n    throw new Error('E_EXPORT_STEP_EMPTY: exportStep input has no exportable member (empty assembly or payload-less members)')\n  }\n  const buffer = exportModelSync(entries, 'step', options?.unit === undefined ? undefined : { unit: options.unit })\n  const text = new TextDecoder().decode(new Uint8Array(buffer))\n  if (text.length === 0) {\n    throw new Error('E_EXPORT_STEP_EMPTY: occt produced no STEP text')\n  }\n  return text\n}\n"]}

package/dist/api/export-stl.d.ts

@@ -0,0 +1,58 @@
+/**
+ * api exportStl — STL 导出（中立 op：纯数据序列化，无内核调用）
+ *
+ * 中立性的判据（方案 §4.4 决策树）：实现**不触达任何引擎** —— 它只读 faijs Shape
+ * 自带的三角载荷（`positions` / `indices`），不 import `occt-kernel/*` 或
+ * `brepkit-kernel/*`。mesh 链路与 brep 链路的 Shape 都带该载荷（brep 侧由
+ * `solidToShape` 即时三角化填好），故两条链路同一份实现，无引擎分支。
+ *
+ * 为什么不是平台 op：occt-wasm 有原生 `exportStl`，但本仓的 BREP 三角化统一走
+ * L1 `meshShape`（`brep/brep-ops.ts` 的 `solidToShape`）——Shape 上的载荷就是当前
+ * 用户看到的 mesh（规则 1）。走原生 `exportStl` 会**二次三角化**，产出与显示/拓扑
+ * 不一致的第二份 mesh。这里复用现有唯一序列化器
+ * `brep/export/stl.ts#buildStlBufferFromMesh`（宿主导出链同一真值来源）。
+ *
+ * 与既有能力的分工（方案 §4.5 去重表）：`import_brep` / `import_step` 是**导入**侧；
+ * 本 op 是导出侧，与宿主 `exportModel('stl')` 同一序列化器，脚本面因此首次拿到
+ * 「导入 ↔ 导出」成对能力。
+ *
+ * **宿主门**：本 op 只在 `'node'` 宿主开放。`.fai.js` 可由 AI 生成任意代码、属
+ * 不受信输入，导出把「往哪写、写几份、写什么」的决定权交给脚本文本；浏览器 /
+ * 小程序里要导出模型必须由宿主入口触发（按钮或库面字节通道）。门禁写在函数体
+ * 第一行（`assertHostFor`），因此脚本面与库面直连同一函数都被同一门禁覆盖，
+ * 且门在读取 Shape 载荷之前。见 `cad-runtime/ports.ts#HostEnv`。
+ */
+import type { Shape } from '../mesh/types.js';
+/** `cad.exportStl` 选项。 */
+export interface ExportStlOptions {
+    /**
+     * `true` → 返回 **ASCII** STL 文本；缺省/`false` → 返回 **binary** STL 字节
+     * （`Uint8Array`，84 + 50×三角形数 字节）。
+     */
+    ascii?: boolean;
+    /** 实体名（ASCII 形态的 `solid <name>` / binary 形态的 80 字节头；缺省 'Faicad STL'）。 */
+    name?: string;
+}
+/**
+ * 导出 STL（二进制 / ASCII 双形态）。
+ * @group 导出
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name exportStl
+ * @note 中立 op：只序列化 Shape 自带的三角载荷（brep 与 mesh 链路同一份实现），
+ *       不走原生二次三角化，产物与显示 mesh 逐三角形一致。空 mesh（如
+ *       `cad.halfSpace` 产的无界体）显式报 E_EXPORT_STL_EMPTY，不返回空文件。
+ *       返回值是**纯数据**（二进制 `Uint8Array` 或 ASCII 文本），由宿主写入文件。
+ *       **宿主门**：仅 `'node'` 宿主可执行；browser / weapp / 未声明宿主报
+ *       E_HOST_UNSUPPORTED（门在读取载荷之前），浏览器与小程序里导出走宿主入口。
+ * @returns Uint8Array 二进制 STL 字节；`options.ascii === true` 时返回 ASCII 文本 string。
+ * @param shape - 目标几何（brep 或 mesh 链路的 Shape）。type:Shape required:true
+ * @param options.ascii - true = ASCII STL 文本，缺省 = 二进制。type:boolean
+ * @param options.name - 实体名（缺省 'Faicad STL'）。type:string
+ * @example
+ * const bytes = cad.exportStl(part0)
+ * const text = cad.exportStl(part0, { ascii: true, name: 'bracket' })
+ */
+export declare function exportStl(shape: Shape, options?: ExportStlOptions): Uint8Array | string;
+//# sourceMappingURL=export-stl.d.ts.map

package/dist/api/export-stl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-stl.d.ts","sourceRoot":"","sources":["../../src/api/export-stl.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAK1C,0BAA0B;AAC1B,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,yEAAyE;IACzE,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAqED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,UAAU,GAAG,MAAM,CAWvF"}

package/dist/api/export-stl.js

@@ -0,0 +1,114 @@
+/**
+ * api exportStl — STL 导出（中立 op：纯数据序列化，无内核调用）
+ *
+ * 中立性的判据（方案 §4.4 决策树）：实现**不触达任何引擎** —— 它只读 faijs Shape
+ * 自带的三角载荷（`positions` / `indices`），不 import `occt-kernel/*` 或
+ * `brepkit-kernel/*`。mesh 链路与 brep 链路的 Shape 都带该载荷（brep 侧由
+ * `solidToShape` 即时三角化填好），故两条链路同一份实现，无引擎分支。
+ *
+ * 为什么不是平台 op：occt-wasm 有原生 `exportStl`，但本仓的 BREP 三角化统一走
+ * L1 `meshShape`（`brep/brep-ops.ts` 的 `solidToShape`）——Shape 上的载荷就是当前
+ * 用户看到的 mesh（规则 1）。走原生 `exportStl` 会**二次三角化**，产出与显示/拓扑
+ * 不一致的第二份 mesh。这里复用现有唯一序列化器
+ * `brep/export/stl.ts#buildStlBufferFromMesh`（宿主导出链同一真值来源）。
+ *
+ * 与既有能力的分工（方案 §4.5 去重表）：`import_brep` / `import_step` 是**导入**侧；
+ * 本 op 是导出侧，与宿主 `exportModel('stl')` 同一序列化器，脚本面因此首次拿到
+ * 「导入 ↔ 导出」成对能力。
+ *
+ * **宿主门**：本 op 只在 `'node'` 宿主开放。`.fai.js` 可由 AI 生成任意代码、属
+ * 不受信输入，导出把「往哪写、写几份、写什么」的决定权交给脚本文本；浏览器 /
+ * 小程序里要导出模型必须由宿主入口触发（按钮或库面字节通道）。门禁写在函数体
+ * 第一行（`assertHostFor`），因此脚本面与库面直连同一函数都被同一门禁覆盖，
+ * 且门在读取 Shape 载荷之前。见 `cad-runtime/ports.ts#HostEnv`。
+ */
+import { buildStlBufferFromMesh, bakeMatrix12ToPositions } from '../brep/export/stl.js';
+import { transformToMatrix12 } from '../brep/export/export-model.js';
+import { assertHostFor } from './internal/l3-bridge.js';
+/** 校验输入 Shape 带可用的三角载荷。 */
+function meshOf(shape) {
+    const positions = shape?.positions;
+    const indices = shape?.indices;
+    if (!positions || !indices) {
+        throw new Error('E_EXPORT_STL_NO_MESH: exportStl requires a shape carrying mesh payload');
+    }
+    if (indices.length === 0) {
+        throw new Error('E_EXPORT_STL_EMPTY: shape has no triangles to export');
+    }
+    return { positions, indices };
+}
+/** 单位化叉积法向（退化三角形给 0 向量，与二进制形态同一规则）。 */
+function facetNormal(positions, ia, ib, ic) {
+    const ax = positions[ia * 3];
+    const ay = positions[ia * 3 + 1];
+    const az = positions[ia * 3 + 2];
+    const ux = positions[ib * 3] - ax;
+    const uy = positions[ib * 3 + 1] - ay;
+    const uz = positions[ib * 3 + 2] - az;
+    const vx = positions[ic * 3] - ax;
+    const vy = positions[ic * 3 + 1] - ay;
+    const vz = positions[ic * 3 + 2] - az;
+    let nx = uy * vz - uz * vy;
+    let ny = uz * vx - ux * vz;
+    let nz = ux * vy - uy * vx;
+    const len = Math.sqrt(nx * nx + ny * ny + nz * nz);
+    if (len > 0) {
+        nx /= len;
+        ny /= len;
+        nz /= len;
+    }
+    return [nx, ny, nz];
+}
+/** ASCII STL 文本（与二进制形态同一批三角形、同一法向规则；坐标以 mm 写出）。 */
+function asciiStl(positions, indices, name, transform) {
+    const pos = transform ? bakeMatrix12ToPositions(positions, transform) : positions;
+    const out = [`solid ${name}`];
+    for (let i = 0; i < indices.length; i += 3) {
+        const ia = indices[i];
+        const ib = indices[i + 1];
+        const ic = indices[i + 2];
+        const [nx, ny, nz] = facetNormal(pos, ia, ib, ic);
+        out.push(`  facet normal ${nx} ${ny} ${nz}`, '    outer loop');
+        for (const v of [ia, ib, ic]) {
+            out.push(`      vertex ${pos[v * 3]} ${pos[v * 3 + 1]} ${pos[v * 3 + 2]}`);
+        }
+        out.push('    endloop', '  endfacet');
+    }
+    out.push(`endsolid ${name}`);
+    return out.join('\n');
+}
+/**
+ * 导出 STL（二进制 / ASCII 双形态）。
+ * @group 导出
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name exportStl
+ * @note 中立 op：只序列化 Shape 自带的三角载荷（brep 与 mesh 链路同一份实现），
+ *       不走原生二次三角化，产物与显示 mesh 逐三角形一致。空 mesh（如
+ *       `cad.halfSpace` 产的无界体）显式报 E_EXPORT_STL_EMPTY，不返回空文件。
+ *       返回值是**纯数据**（二进制 `Uint8Array` 或 ASCII 文本），由宿主写入文件。
+ *       **宿主门**：仅 `'node'` 宿主可执行；browser / weapp / 未声明宿主报
+ *       E_HOST_UNSUPPORTED（门在读取载荷之前），浏览器与小程序里导出走宿主入口。
+ * @returns Uint8Array 二进制 STL 字节；`options.ascii === true` 时返回 ASCII 文本 string。
+ * @param shape - 目标几何（brep 或 mesh 链路的 Shape）。type:Shape required:true
+ * @param options.ascii - true = ASCII STL 文本，缺省 = 二进制。type:boolean
+ * @param options.name - 实体名（缺省 'Faicad STL'）。type:string
+ * @example
+ * const bytes = cad.exportStl(part0)
+ * const text = cad.exportStl(part0, { ascii: true, name: 'bracket' })
+ */
+export function exportStl(shape, options) {
+    // 宿主门在实现体最前：非 node 宿主（browser / weapp / 未声明）一律先报
+    // E_HOST_UNSUPPORTED，不读取 Shape 载荷、不产任何字节。
+    assertHostFor('exportStl', ['node']);
+    const { positions, indices } = meshOf(shape);
+    const name = options?.name ?? 'Faicad STL';
+    // 顶点烘焙（方案 §2.1 / §5 步骤 5）：Shape.transform 写回的位姿在此烘焙进每个顶点。
+    // 坐标仍一律以 mm 写出（与宿主 exportModel('stl') 的 unit 语义一致，单位换算在宿主侧完成）。
+    const tf = shape.transform ? transformToMatrix12(shape.transform) : null;
+    if (options?.ascii === true)
+        return asciiStl(positions, indices, name, tf ?? undefined);
+    return new Uint8Array(buildStlBufferFromMesh(positions, indices, name, tf ?? undefined));
+}
+//# sourceMappingURL=export-stl.js.map

package/dist/api/export-stl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-stl.js","sourceRoot":"","sources":["../../src/api/export-stl.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAA;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAA;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAapD,2BAA2B;AAC3B,SAAS,MAAM,CAAC,KAAY;IAC1B,MAAM,SAAS,GAAG,KAAK,EAAE,SAAS,CAAA;IAClC,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO,CAAA;IAC9B,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAA;IAC3F,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;IACzE,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAA;AAC/B,CAAC;AAED,uCAAuC;AACvC,SAAS,WAAW,CAClB,SAAuB,EACvB,EAAU,EACV,EAAU,EACV,EAAU;IAEV,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,CAAE,CAAA;IAC7B,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAE,CAAA;IACjC,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAE,CAAA;IACjC,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,CAAE,GAAG,EAAE,CAAA;IAClC,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAE,GAAG,EAAE,CAAA;IACtC,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAE,GAAG,EAAE,CAAA;IACtC,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,CAAE,GAAG,EAAE,CAAA;IAClC,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAE,GAAG,EAAE,CAAA;IACtC,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAE,GAAG,EAAE,CAAA;IACtC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;IAC1B,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;IAC1B,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IAClD,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACZ,EAAE,IAAI,GAAG,CAAA;QACT,EAAE,IAAI,GAAG,CAAA;QACT,EAAE,IAAI,GAAG,CAAA;IACX,CAAC;IACD,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;AACrB,CAAC;AAED,mDAAmD;AACnD,SAAS,QAAQ,CACf,SAAuB,EACvB,OAAoB,EACpB,IAAY,EACZ,SAAoB;IAEpB,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACjF,MAAM,GAAG,GAAa,CAAC,SAAS,IAAI,EAAE,CAAC,CAAA;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAE,CAAA;QACtB,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAA;QAC1B,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAA;QAC1B,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QACjD,GAAG,CAAC,IAAI,CAAC,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,gBAAgB,CAAC,CAAA;QAC9D,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CACN,gBAAgB,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE,EAAE,CACpE,CAAA;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;IACvC,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAA;IAC5B,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,SAAS,CAAC,KAAY,EAAE,OAA0B;IAChE,iDAAiD;IACjD,0CAA0C;IAC1C,aAAa,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACpC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5C,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,YAAY,CAAA;IAC1C,0DAA0D;IAC1D,+DAA+D;IAC/D,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACxE,IAAI,OAAO,EAAE,KAAK,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,SAAS,CAAC,CAAA;IACvF,OAAO,IAAI,UAAU,CAAC,sBAAsB,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,SAAS,CAAC,CAAC,CAAA;AAC1F,CAAC","sourcesContent":["/**\n * api exportStl — STL 导出（中立 op：纯数据序列化，无内核调用）\n *\n * 中立性的判据（方案 §4.4 决策树）：实现**不触达任何引擎** —— 它只读 faijs Shape\n * 自带的三角载荷（`positions` / `indices`），不 import `occt-kernel/*` 或\n * `brepkit-kernel/*`。mesh 链路与 brep 链路的 Shape 都带该载荷（brep 侧由\n * `solidToShape` 即时三角化填好），故两条链路同一份实现，无引擎分支。\n *\n * 为什么不是平台 op：occt-wasm 有原生 `exportStl`，但本仓的 BREP 三角化统一走\n * L1 `meshShape`（`brep/brep-ops.ts` 的 `solidToShape`）——Shape 上的载荷就是当前\n * 用户看到的 mesh（规则 1）。走原生 `exportStl` 会**二次三角化**，产出与显示/拓扑\n * 不一致的第二份 mesh。这里复用现有唯一序列化器\n * `brep/export/stl.ts#buildStlBufferFromMesh`（宿主导出链同一真值来源）。\n *\n * 与既有能力的分工（方案 §4.5 去重表）：`import_brep` / `import_step` 是**导入**侧；\n * 本 op 是导出侧，与宿主 `exportModel('stl')` 同一序列化器，脚本面因此首次拿到\n * 「导入 ↔ 导出」成对能力。\n *\n * **宿主门**：本 op 只在 `'node'` 宿主开放。`.fai.js` 可由 AI 生成任意代码、属\n * 不受信输入，导出把「往哪写、写几份、写什么」的决定权交给脚本文本；浏览器 /\n * 小程序里要导出模型必须由宿主入口触发（按钮或库面字节通道）。门禁写在函数体\n * 第一行（`assertHostFor`），因此脚本面与库面直连同一函数都被同一门禁覆盖，\n * 且门在读取 Shape 载荷之前。见 `cad-runtime/ports.ts#HostEnv`。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { buildStlBufferFromMesh, bakeMatrix12ToPositions } from '../brep/export/stl'\nimport { transformToMatrix12 } from '../brep/export/export-model'\nimport { assertHostFor } from './internal/l3-bridge'\n\n/** `cad.exportStl` 选项。 */\nexport interface ExportStlOptions {\n  /**\n   * `true` → 返回 **ASCII** STL 文本；缺省/`false` → 返回 **binary** STL 字节\n   * （`Uint8Array`，84 + 50×三角形数 字节）。\n   */\n  ascii?: boolean\n  /** 实体名（ASCII 形态的 `solid <name>` / binary 形态的 80 字节头；缺省 'Faicad STL'）。 */\n  name?: string\n}\n\n/** 校验输入 Shape 带可用的三角载荷。 */\nfunction meshOf(shape: Shape): { positions: Float32Array; indices: Uint32Array } {\n  const positions = shape?.positions\n  const indices = shape?.indices\n  if (!positions || !indices) {\n    throw new Error('E_EXPORT_STL_NO_MESH: exportStl requires a shape carrying mesh payload')\n  }\n  if (indices.length === 0) {\n    throw new Error('E_EXPORT_STL_EMPTY: shape has no triangles to export')\n  }\n  return { positions, indices }\n}\n\n/** 单位化叉积法向（退化三角形给 0 向量，与二进制形态同一规则）。 */\nfunction facetNormal(\n  positions: Float32Array,\n  ia: number,\n  ib: number,\n  ic: number,\n): [number, number, number] {\n  const ax = positions[ia * 3]!\n  const ay = positions[ia * 3 + 1]!\n  const az = positions[ia * 3 + 2]!\n  const ux = positions[ib * 3]! - ax\n  const uy = positions[ib * 3 + 1]! - ay\n  const uz = positions[ib * 3 + 2]! - az\n  const vx = positions[ic * 3]! - ax\n  const vy = positions[ic * 3 + 1]! - ay\n  const vz = positions[ic * 3 + 2]! - az\n  let nx = uy * vz - uz * vy\n  let ny = uz * vx - ux * vz\n  let nz = ux * vy - uy * vx\n  const len = Math.sqrt(nx * nx + ny * ny + nz * nz)\n  if (len > 0) {\n    nx /= len\n    ny /= len\n    nz /= len\n  }\n  return [nx, ny, nz]\n}\n\n/** ASCII STL 文本（与二进制形态同一批三角形、同一法向规则；坐标以 mm 写出）。 */\nfunction asciiStl(\n  positions: Float32Array,\n  indices: Uint32Array,\n  name: string,\n  transform?: number[],\n): string {\n  const pos = transform ? bakeMatrix12ToPositions(positions, transform) : positions\n  const out: string[] = [`solid ${name}`]\n  for (let i = 0; i < indices.length; i += 3) {\n    const ia = indices[i]!\n    const ib = indices[i + 1]!\n    const ic = indices[i + 2]!\n    const [nx, ny, nz] = facetNormal(pos, ia, ib, ic)\n    out.push(`  facet normal ${nx} ${ny} ${nz}`, '    outer loop')\n    for (const v of [ia, ib, ic]) {\n      out.push(\n        `      vertex ${pos[v * 3]!} ${pos[v * 3 + 1]!} ${pos[v * 3 + 2]!}`,\n      )\n    }\n    out.push('    endloop', '  endfacet')\n  }\n  out.push(`endsolid ${name}`)\n  return out.join('\\n')\n}\n\n/**\n * 导出 STL（二进制 / ASCII 双形态）。\n * @group 导出\n * @inputs 1\n * @async false\n * @qual ok\n * @name exportStl\n * @note 中立 op：只序列化 Shape 自带的三角载荷（brep 与 mesh 链路同一份实现），\n *       不走原生二次三角化，产物与显示 mesh 逐三角形一致。空 mesh（如\n *       `cad.halfSpace` 产的无界体）显式报 E_EXPORT_STL_EMPTY，不返回空文件。\n *       返回值是**纯数据**（二进制 `Uint8Array` 或 ASCII 文本），由宿主写入文件。\n *       **宿主门**：仅 `'node'` 宿主可执行；browser / weapp / 未声明宿主报\n *       E_HOST_UNSUPPORTED（门在读取载荷之前），浏览器与小程序里导出走宿主入口。\n * @returns Uint8Array 二进制 STL 字节；`options.ascii === true` 时返回 ASCII 文本 string。\n * @param shape - 目标几何（brep 或 mesh 链路的 Shape）。type:Shape required:true\n * @param options.ascii - true = ASCII STL 文本，缺省 = 二进制。type:boolean\n * @param options.name - 实体名（缺省 'Faicad STL'）。type:string\n * @example\n * const bytes = cad.exportStl(part0)\n * const text = cad.exportStl(part0, { ascii: true, name: 'bracket' })\n */\nexport function exportStl(shape: Shape, options?: ExportStlOptions): Uint8Array | string {\n  // 宿主门在实现体最前：非 node 宿主（browser / weapp / 未声明）一律先报\n  // E_HOST_UNSUPPORTED，不读取 Shape 载荷、不产任何字节。\n  assertHostFor('exportStl', ['node'])\n  const { positions, indices } = meshOf(shape)\n  const name = options?.name ?? 'Faicad STL'\n  // 顶点烘焙（方案 §2.1 / §5 步骤 5）：Shape.transform 写回的位姿在此烘焙进每个顶点。\n  // 坐标仍一律以 mm 写出（与宿主 exportModel('stl') 的 unit 语义一致，单位换算在宿主侧完成）。\n  const tf = shape.transform ? transformToMatrix12(shape.transform) : null\n  if (options?.ascii === true) return asciiStl(positions, indices, name, tf ?? undefined)\n  return new Uint8Array(buildStlBufferFromMesh(positions, indices, name, tf ?? undefined))\n}\n"]}

package/dist/api/extrude.d.ts

@@ -2,24 +2,21 @@
  * api extrude — `cad.extrude`（平台 parity op，BREP-only）
  *
  * 归属（分层红线）：`cad.extrude` 是「面 → 棱柱」的**平台** op，FCStd Pad/Pocket
- * 链路与 TS 面共用它（docs/plans/2026-09-15-fcstd-to-faijs-port-plan.md M4.6：
- * 「原 `cad.fai_extrude` 路线废弃」）。up-to（拉伸到面 / 到支持体端面）属
+ * 链路与 TS 面共用它（原 `cad.fai_extrude` 路线废弃）。up-to（拉伸到面 / 到支持体端面）属
  * CadQuery `until=` 同族语义，因此落在**本 op**；`fai_extrude`（`fai_` 前缀的
  * faijs 扩展 op，与 fai_drill / fai_split 同族）不得承载它。
  *
- * 为什么是手写 op 而不是继续用生成投影：生成投影
- * `compatOp(projectBrepOp('extrude', ['face','height'], 'A', vendoredExtrude))`
- * 有两个硬约束——
+ * 为什么是手写 op 而不是继续用生成投影：生成投影是一条 1:1 转发通道
+ * （`defineOp({ brep: __own_* })` 直连 api/brep-operations/ 的源函数），有两个硬约束——
  * ① 参数表只有位置形参；D11 归一化只在「单 plain-object 形态」下按 params 表
  *    映射（api/internal/dual-form-args.ts），`(face, { upTo })` 属位置形态 →
- *    原样喂给 vendored extrude → 报错，无法表达对象形态；
- * ② compatOp 的入参先经 `borrowDeep` 借成 brepjs 视图（api/internal/compat-op.ts），
- *    在那一层 `brepOf()` 取不到 → 依赖 faceRef / brepOf / 内核直调的 up-to 实现
- *    必然走空（同 AGENTS.md 记录的「compatOp 自动提升边界」）。
+ *    原样喂给 compat extrude → 报错，无法表达对象形态；
+ * ② 生成投影没有 faijs 侧入参解析挂点，只把实参原样转发给源函数 → 依赖 faceRef 解析 /
+ *    内核直调（extrudeUpToSolid）的 up-to 实现无法在生成投影里承载，落回本手写模块。
  * 先例：arg-spec 的 `fillet` 条目（faijs 侧由手写 dual-op 覆盖，生成模块符号为
  * 孤儿 by design）。
  *
- * 长度形态**委托给生成投影**（`projectedExtrude`）：vendored 仍是唯一拉伸引擎，
+ * 长度形态**委托给生成投影**（`projectedExtrude`）：compat 投影仍是唯一拉伸引擎，
  * 既有 `cad.extrude(face, [x,y,z])` 语义零漂移。
  */
 import type { Shape, Vec3 } from '../mesh/types.js';
@@ -54,7 +51,7 @@ export interface ExtrudeOptions {
  * 沿 normal 拉伸几何（面 → 棱柱）。
  *
  * up-to 模式（`upTo`）与长度模式（`length`）二选一；长度模式委托生成投影
- * （vendored extrude 为唯一引擎），up-to 模式走半空间组合。
+ * （brepjs extrude 为唯一引擎），up-to 模式走半空间组合。
  *
  * **网格链**（`meshEngines: ['brepkit']`，方案 2026-10-01 §4 Phase 3）：输入是
  * `cad.sketchOnFace` 在网格实体识别面上铺出的网格链面时，本 op 沿同一份方向语义

package/dist/api/extrude.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"extrude.d.ts","sourceRoot":"","sources":["../../src/api/extrude.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAeH,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AAGhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AA2IrD,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,KAAK,EAAE,IAAI,CAAA;IACX,gDAAgD;IAChD,MAAM,EAAE,IAAI,CAAA;CACb;AAED,6DAA6D;AAC7D,MAAM,MAAM,WAAW,GAAG,WAAW,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,KAAK,EAAE,aAAa,CAAA;CAAE,CAAA;AAEnF,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,+BAA+B;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,6BAA6B;IAC7B,MAAM,CAAC,EAAE,IAAI,CAAA;IACb,uDAAuD;IACvD,IAAI,CAAC,EAAE,SAAS,GAAG,UAAU,CAAA;IAC7B,kCAAkC;IAClC,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,gDAAgD;IAChD,WAAW,CAAC,EAAE,KAAK,CAAA;IACnB,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAmSD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,OAAO;;CAwElB,CAAA"}
+{"version":3,"file":"extrude.d.ts","sourceRoot":"","sources":["../../src/api/extrude.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAeH,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AAGhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AA2IrD,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,KAAK,EAAE,IAAI,CAAA;IACX,gDAAgD;IAChD,MAAM,EAAE,IAAI,CAAA;CACb;AAED,6DAA6D;AAC7D,MAAM,MAAM,WAAW,GAAG,WAAW,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,KAAK,EAAE,aAAa,CAAA;CAAE,CAAA;AAEnF,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,+BAA+B;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,6BAA6B;IAC7B,MAAM,CAAC,EAAE,IAAI,CAAA;IACb,uDAAuD;IACvD,IAAI,CAAC,EAAE,SAAS,GAAG,UAAU,CAAA;IAC7B,kCAAkC;IAClC,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,gDAAgD;IAChD,WAAW,CAAC,EAAE,KAAK,CAAA;IACnB,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAmSD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,OAAO;;CAwElB,CAAA"}

package/dist/api/extrude.js

@@ -2,24 +2,21 @@
  * api extrude — `cad.extrude`（平台 parity op，BREP-only）
  *
  * 归属（分层红线）：`cad.extrude` 是「面 → 棱柱」的**平台** op，FCStd Pad/Pocket
- * 链路与 TS 面共用它（docs/plans/2026-09-15-fcstd-to-faijs-port-plan.md M4.6：
- * 「原 `cad.fai_extrude` 路线废弃」）。up-to（拉伸到面 / 到支持体端面）属
+ * 链路与 TS 面共用它（原 `cad.fai_extrude` 路线废弃）。up-to（拉伸到面 / 到支持体端面）属
  * CadQuery `until=` 同族语义，因此落在**本 op**；`fai_extrude`（`fai_` 前缀的
  * faijs 扩展 op，与 fai_drill / fai_split 同族）不得承载它。
  *
- * 为什么是手写 op 而不是继续用生成投影：生成投影
- * `compatOp(projectBrepOp('extrude', ['face','height'], 'A', vendoredExtrude))`
- * 有两个硬约束——
+ * 为什么是手写 op 而不是继续用生成投影：生成投影是一条 1:1 转发通道
+ * （`defineOp({ brep: __own_* })` 直连 api/brep-operations/ 的源函数），有两个硬约束——
  * ① 参数表只有位置形参；D11 归一化只在「单 plain-object 形态」下按 params 表
  *    映射（api/internal/dual-form-args.ts），`(face, { upTo })` 属位置形态 →
- *    原样喂给 vendored extrude → 报错，无法表达对象形态；
- * ② compatOp 的入参先经 `borrowDeep` 借成 brepjs 视图（api/internal/compat-op.ts），
- *    在那一层 `brepOf()` 取不到 → 依赖 faceRef / brepOf / 内核直调的 up-to 实现
- *    必然走空（同 AGENTS.md 记录的「compatOp 自动提升边界」）。
+ *    原样喂给 compat extrude → 报错，无法表达对象形态；
+ * ② 生成投影没有 faijs 侧入参解析挂点，只把实参原样转发给源函数 → 依赖 faceRef 解析 /
+ *    内核直调（extrudeUpToSolid）的 up-to 实现无法在生成投影里承载，落回本手写模块。
  * 先例：arg-spec 的 `fillet` 条目（faijs 侧由手写 dual-op 覆盖，生成模块符号为
  * 孤儿 by design）。
  *
- * 长度形态**委托给生成投影**（`projectedExtrude`）：vendored 仍是唯一拉伸引擎，
+ * 长度形态**委托给生成投影**（`projectedExtrude`）：compat 投影仍是唯一拉伸引擎，
  * 既有 `cad.extrude(face, [x,y,z])` 语义零漂移。
  */
 import { extrude as projectedExtrude } from './generated/operations.js';
@@ -445,7 +442,7 @@ function extrudeMeshChain(input, params) {
  * 沿 normal 拉伸几何（面 → 棱柱）。
  *
  * up-to 模式（`upTo`）与长度模式（`length`）二选一；长度模式委托生成投影
- * （vendored extrude 为唯一引擎），up-to 模式走半空间组合。
+ * （brepjs extrude 为唯一引擎），up-to 模式走半空间组合。
  *
  * **网格链**（`meshEngines: ['brepkit']`，方案 2026-10-01 §4 Phase 3）：输入是
  * `cad.sketchOnFace` 在网格实体识别面上铺出的网格链面时，本 op 沿同一份方向语义
@@ -506,13 +503,13 @@ export const extrude = defineOp({
                 roleTable: new Map([[origin, extrudeConstructRoles(kernel, clipped, normal.toArray())]]),
             });
         }
-        // 长度形态：委托生成投影（生成投影自带借入 / Result 翻转 / 收养）
+        // 长度形态：委托生成投影（生成投影自带 Result 翻转 / adopt 收养）
         const sign = o.mode === 'backward' ? -1 : 1;
         const v = [normal.x * o.length * sign, normal.y * o.length * sign, normal.z * o.length * sign];
         let result;
-        // GOTCHA：projectedExtrude 是 occt-gated 的 compat op（vendored brepjs 借入），
+        // GOTCHA：projectedExtrude 是 occt-gated 的生成投影 op，
         // 在 brepkit 引擎下执行前即抛 E_BREP_UNSUPPORTED。brepkit 有原生 L1 extrude
-        // （face→solid），直接走 kernel.extrude——与 revolve.ts 同路径（不经过 vendored 借入）。
+        // （face→solid），直接走 kernel.extrude——与 revolve.ts 同路径（不经生成投影）。
         // occt 路径保持 projectedExtrude 不变，不回退既有几何/命名行为。
         if (getBackends().config.brepEngineId === 'brepkit') {
             const kernel = getBrepApi();