@faicad/faijs 0.31.1 → 0.32.3

package/dist/api/sketch.d.ts

@@ -1,80 +0,0 @@
-/**
- * stdlib sketch — 从 2D 轮廓构面（creator 函数，无输入，brep-only）。
- *
- * 用途：faijs 此前没有「从 2D 轮廓构造 planar face」的能力，导致草图轮廓无法喂给
- * extrude/revolve。本 op 接收 2D 轮廓（线段 + 圆弧），在 z=0 平面用 OCCT 构面：
- *   makeLineEdge/makeArcEdge → makeWire → makeFace（+ addHolesInFace）。
- *
- * 设计：
- * - 输入：{ contours: SketchLoop[] }，每个 loop = 有序 segments（line / arc，z=0）。
- * - 外环 = 面积（shoelace）绝对值最大的 loop；其余 loop 作为孔。
- * - 圆弧：用起点/中点/终点三点的 makeArcEdge；整圆（sweep≈2π）拆成两段弧。
- * - 输出：Shape（mesh 三角化 + 句柄登记）。brep-only（下游 extrude/revolve 亦 brep-only）。
- *
- * 坐标系：输入 2D 点即 (x, y, 0)，法向 +Z；草图在 Body 局部系内的定位由调用方（fcstd 端口）
- * 在轮廓坐标里预先变换，或由下游特征的 Placement 承担。
- */
-import type { Shape } from '../mesh/types.js';
-/** 直线段（2D，z=0；端点为绝对坐标）。 */
-export interface SketchLineSeg {
-    kind: 'line';
-    x1: number;
-    y1: number;
-    x2: number;
-    y2: number;
-}
-/** 圆弧段（圆心 + 半径 + 起止角，弧度；z=0）。 */
-export interface SketchArcSeg {
-    kind: 'arc';
-    cx: number;
-    cy: number;
-    radius: number;
-    /** 起始角（弧度） */
-    startAngle: number;
-    /** 终止角（弧度） */
-    endAngle: number;
-    ccw: boolean;
-    x1: number;
-    y1: number;
-    x2: number;
-    y2: number;
-}
-/** 一条有序 2D 轮廓段（直线或圆弧）。 */
-export type SketchSeg = SketchLineSeg | SketchArcSeg;
-/** 单个轮廓环：有序段序列（首尾相接）。 */
-export interface SketchLoop {
-    segments: SketchSeg[];
-}
-/** `cad.sketch` 参数：轮廓环集合（第一个为外环，其余为孔）。 */
-export interface SketchContoursParams {
-    contours: SketchLoop[];
-    /**
-     * 产物形态：'face'（默认）构面；'wire' 只交出不带面的外环 wire（1D 曲线），
-     * 供扫掠族（sweep/loft/…）直接作 spine。'wire' 形态丢弃孔环（扫掠脊柱为单闭合轮廓）。
-     */
-    as?: 'face' | 'wire';
-}
-/**
- * Validate sketch parameters: `contours` must be a non-empty array of loops,
- * each with at least one segment.
- * @param params the raw sketch operation parameters.
- */
-export declare function assertSketchParams(params: Record<string, unknown>): void;
-/**
- * 从 2D 轮廓构造平面（creator，无输入）。仅 BREP 可用。
- * @group 创建
- * @inputs 0
- * @async false
- * @qual ok
- * @name sketch
- * @returns Shape 平面几何（mesh 三角化 + BREP 句柄）；`as:'wire'` 时返回 1D 曲线（kind:'curve'）。
- * @param params.contours - 有序 2D 轮廓（线段/圆弧；外环 + 孔）。type:SketchLoop[] required:true
- * @param params.as - 产物形态：'face'（默认）构面；'wire' 只交外环 wire（1D 曲线）。type:'face'|'wire' required:false
- * @example
- * const f = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }] })
- * const w = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }], as: 'wire' })
- */
-export declare const sketch: ((params: Record<string, unknown>) => Promise<Shape>) & {
-    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
-};
-//# sourceMappingURL=sketch.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"sketch.d.ts","sourceRoot":"","sources":["../../src/api/sketch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAU1C,2BAA2B;AAC3B,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;CACX;AAED,iCAAiC;AACjC,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,KAAK,CAAA;IACX,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,cAAc;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,GAAG,EAAE,OAAO,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;CACX;AAED,0BAA0B;AAC1B,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,YAAY,CAAA;AAEpD,yBAAyB;AACzB,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,SAAS,EAAE,CAAA;CACtB;AAED,0CAA0C;AAC1C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB;;;OAGG;IACH,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CACrB;AAID;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAaxE;AAqGD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,MAAM;;CAOjB,CAAA"}

package/dist/api/sketch.js

@@ -1,155 +0,0 @@
-/**
- * stdlib sketch — 从 2D 轮廓构面（creator 函数，无输入，brep-only）。
- *
- * 用途：faijs 此前没有「从 2D 轮廓构造 planar face」的能力，导致草图轮廓无法喂给
- * extrude/revolve。本 op 接收 2D 轮廓（线段 + 圆弧），在 z=0 平面用 OCCT 构面：
- *   makeLineEdge/makeArcEdge → makeWire → makeFace（+ addHolesInFace）。
- *
- * 设计：
- * - 输入：{ contours: SketchLoop[] }，每个 loop = 有序 segments（line / arc，z=0）。
- * - 外环 = 面积（shoelace）绝对值最大的 loop；其余 loop 作为孔。
- * - 圆弧：用起点/中点/终点三点的 makeArcEdge；整圆（sweep≈2π）拆成两段弧。
- * - 输出：Shape（mesh 三角化 + 句柄登记）。brep-only（下游 extrude/revolve 亦 brep-only）。
- *
- * 坐标系：输入 2D 点即 (x, y, 0)，法向 +Z；草图在 Body 局部系内的定位由调用方（fcstd 端口）
- * 在轮廓坐标里预先变换，或由下游特征的 Placement 承担。
- */
-import { getBrepApi } from '../brep/handle-bridge.js';
-import { solidToShape } from '../brep/brep-ops.js';
-import { fromBrep, fromBrepCurve } from '../shape.js';
-import { defineOp } from '../sdk.js';
-// ── 参数自校验 ──
-/**
- * Validate sketch parameters: `contours` must be a non-empty array of loops,
- * each with at least one segment.
- * @param params the raw sketch operation parameters.
- */
-export function assertSketchParams(params) {
-    const contours = params.contours;
-    if (!Array.isArray(contours) || contours.length === 0) {
-        throw new Error('E_SKETCH_NO_CONTOURS: sketch requires at least one contour');
-    }
-    for (const loop of contours) {
-        if (!loop || typeof loop !== 'object' || !Array.isArray(loop.segments)) {
-            throw new Error('E_SKETCH_BAD_LOOP: each contour must have a segments array');
-        }
-        if (loop.segments.length === 0) {
-            throw new Error('E_SKETCH_EMPTY_LOOP: a contour must have at least one segment');
-        }
-    }
-}
-/** 单环 shoelace 面积（带符号）。 */
-function loopSignedArea(loop) {
-    const pts = [];
-    for (const seg of loop.segments) {
-        pts.push([seg.x1, seg.y1]);
-    }
-    let a = 0;
-    for (let i = 0; i < pts.length; i++) {
-        const [x1, y1] = pts[i];
-        const [x2, y2] = pts[(i + 1) % pts.length];
-        a += x1 * y2 - x2 * y1;
-    }
-    return a / 2;
-}
-/** 圆弧 → 一条或两条 makeArcEdge（整圆拆分）。 */
-function arcToHandles(kernel, seg) {
-    const { cx, cy, radius, startAngle, endAngle } = seg;
-    let sweep = endAngle - startAngle;
-    // 归一化到 (0, 2π]，处理角度回绕
-    while (sweep <= 0)
-        sweep += 2 * Math.PI;
-    while (sweep > 2 * Math.PI)
-        sweep -= 2 * Math.PI;
-    const makeOne = (a0, a1) => {
-        const mid = (a0 + a1) / 2;
-        const start = { x: cx + radius * Math.cos(a0), y: cy + radius * Math.sin(a0), z: 0 };
-        const m = { x: cx + radius * Math.cos(mid), y: cy + radius * Math.sin(mid), z: 0 };
-        const end = { x: cx + radius * Math.cos(a1), y: cy + radius * Math.sin(a1), z: 0 };
-        return kernel.makeArcEdge(start, m, end);
-    };
-    // 整圆（sweep≈2π）：拆成两段半圆，避免 makeArcEdge 起点≈终点退化
-    if (sweep >= 2 * Math.PI - 1e-9) {
-        const half = 2 * Math.PI / 2;
-        return [makeOne(startAngle, startAngle + half), makeOne(startAngle + half, startAngle + 2 * Math.PI)];
-    }
-    return [makeOne(startAngle, endAngle)];
-}
-/** 单环 → wire handle（仅构面，不释放中间句柄，遵循现有惯例）。 */
-function loopToWire(kernel, loop) {
-    const edges = [];
-    for (const seg of loop.segments) {
-        if (seg.kind === 'line') {
-            edges.push(kernel.makeLineEdge({ x: seg.x1, y: seg.y1, z: 0 }, { x: seg.x2, y: seg.y2, z: 0 }));
-        }
-        else {
-            // 极小扫角（退化弧）→ 退化为线段，避免构边失败
-            let sweep = seg.endAngle - seg.startAngle;
-            while (sweep <= 0)
-                sweep += 2 * Math.PI;
-            while (sweep > 2 * Math.PI)
-                sweep -= 2 * Math.PI;
-            if (sweep < 1e-9) {
-                edges.push(kernel.makeLineEdge({ x: seg.x1, y: seg.y1, z: 0 }, { x: seg.x2, y: seg.y2, z: 0 }));
-            }
-            else {
-                edges.push(...arcToHandles(kernel, seg));
-            }
-        }
-    }
-    return kernel.makeWire(edges);
-}
-/** BREP 路径：2D 轮廓 → planar face（外环 + 孔），或 'wire' 形态仅交外环 wire。 */
-function sketchBrep(params) {
-    const kernel = getBrepApi();
-    const as = params.as ?? 'face';
-    const loops = params.contours.map((loop) => ({ loop, area: Math.abs(loopSignedArea(loop)) }));
-    // 面积最大者为外环，其余为孔
-    let outerIdx = 0;
-    for (let i = 1; i < loops.length; i++) {
-        if (loops[i].area > loops[outerIdx].area)
-            outerIdx = i;
-    }
-    const outerWire = loopToWire(kernel, loops[outerIdx].loop);
-    // 'wire' 形态：只交外环 wire（1D 曲线），不构面 —— 供扫掠族作 spine。
-    if (as === 'wire') {
-        return fromBrepCurve(solidToShape(kernel, outerWire), { solid: outerWire });
-    }
-    const face = kernel.makeFace(outerWire);
-    const holeWires = [];
-    for (let i = 0; i < loops.length; i++) {
-        if (i === outerIdx)
-            continue;
-        holeWires.push(loopToWire(kernel, loops[i].loop));
-    }
-    if (holeWires.length > 0) {
-        const faced = kernel.addHolesInFace(face, holeWires);
-        kernel.release(face);
-        return fromBrep(solidToShape(kernel, faced), { solid: faced });
-    }
-    kernel.release(outerWire);
-    return fromBrep(solidToShape(kernel, face), { solid: face });
-}
-/**
- * 从 2D 轮廓构造平面（creator，无输入）。仅 BREP 可用。
- * @group 创建
- * @inputs 0
- * @async false
- * @qual ok
- * @name sketch
- * @returns Shape 平面几何（mesh 三角化 + BREP 句柄）；`as:'wire'` 时返回 1D 曲线（kind:'curve'）。
- * @param params.contours - 有序 2D 轮廓（线段/圆弧；外环 + 孔）。type:SketchLoop[] required:true
- * @param params.as - 产物形态：'face'（默认）构面；'wire' 只交外环 wire（1D 曲线）。type:'face'|'wire' required:false
- * @example
- * const f = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }] })
- * const w = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }], as: 'wire' })
- */
-export const sketch = defineOp({
-    capabilities: ['directEdit'],
-    brep(params) {
-        assertSketchParams(params);
-        return sketchBrep(params);
-    },
-    naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } },
-});
-//# sourceMappingURL=sketch.js.map

package/dist/api/sketch.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"sketch.js","sourceRoot":"","sources":["../../src/api/sketch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAiDjC,cAAc;AAEd;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;IAC/E,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAE,IAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvF,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;QAC/E,CAAC;QACD,IAAK,IAAmB,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;AACH,CAAC;AAED,2BAA2B;AAC3B,SAAS,cAAc,CAAC,IAAgB;IACtC,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5B,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,CAAA;QACxB,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAE,CAAA;QAC3C,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,CAAA;AACd,CAAC;AAED,oCAAoC;AACpC,SAAS,YAAY,CACnB,MAAqB,EACrB,GAAiB;IAEjB,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,GAAG,CAAA;IACpD,IAAI,KAAK,GAAG,QAAQ,GAAG,UAAU,CAAA;IACjC,sBAAsB;IACtB,OAAO,KAAK,IAAI,CAAC;QAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;IACvC,OAAO,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE;QAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;IAEhD,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAU,EAA4C,EAAE;QACnF,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAA;QACzB,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QACpF,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QAClF,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QAClF,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;IAC1C,CAAC,CAAA;IAED,6CAA6C;IAC7C,IAAI,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAC5B,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,GAAG,IAAI,EAAE,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IACvG,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAA;AACxC,CAAC;AAED,4CAA4C;AAC5C,SAAS,UAAU,CAAC,MAAqB,EAAE,IAAgB;IACzD,MAAM,KAAK,GAAgD,EAAE,CAAA;IAC7D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACjG,CAAC;aAAM,CAAC;YACN,0BAA0B;YAC1B,IAAI,KAAK,GAAG,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAA;YACzC,OAAO,KAAK,IAAI,CAAC;gBAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;YACvC,OAAO,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE;gBAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;YAChD,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YACjG,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAoD,CAAC,CAAA;AAC9E,CAAC;AAED,gEAAgE;AAChE,SAAS,UAAU,CAAC,MAA+B;IACjD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,EAAE,GAAI,MAAM,CAAC,EAAkC,IAAI,MAAM,CAAA;IAE/D,MAAM,KAAK,GAAI,MAAM,CAAC,QAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/G,gBAAgB;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAE,CAAC,IAAI;YAAE,QAAQ,GAAG,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,CAAA;IAE3D,iDAAiD;IACjD,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAA;IAC7E,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAEvC,MAAM,SAAS,GAA4C,EAAE,CAAA;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,QAAQ;YAAE,SAAQ;QAC5B,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAA;IACpD,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;QACpD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IAChE,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IACzB,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAC9D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC7B,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,IAAI,CAAC,MAA+B;QAClC,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,UAAU,CAAC,MAAM,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,EAAgB;CACtF,CAAC,CAAA","sourcesContent":["/**\n * stdlib sketch — 从 2D 轮廓构面（creator 函数，无输入，brep-only）。\n *\n * 用途：faijs 此前没有「从 2D 轮廓构造 planar face」的能力，导致草图轮廓无法喂给\n * extrude/revolve。本 op 接收 2D 轮廓（线段 + 圆弧），在 z=0 平面用 OCCT 构面：\n *   makeLineEdge/makeArcEdge → makeWire → makeFace（+ addHolesInFace）。\n *\n * 设计：\n * - 输入：{ contours: SketchLoop[] }，每个 loop = 有序 segments（line / arc，z=0）。\n * - 外环 = 面积（shoelace）绝对值最大的 loop；其余 loop 作为孔。\n * - 圆弧：用起点/中点/终点三点的 makeArcEdge；整圆（sweep≈2π）拆成两段弧。\n * - 输出：Shape（mesh 三角化 + 句柄登记）。brep-only（下游 extrude/revolve 亦 brep-only）。\n *\n * 坐标系：输入 2D 点即 (x, y, 0)，法向 +Z；草图在 Body 局部系内的定位由调用方（fcstd 端口）\n * 在轮廓坐标里预先变换，或由下游特征的 Placement 承担。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { solidToShape } from '../brep/brep-ops'\nimport { fromBrep, fromBrepCurve } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\n// ── 参数形状（与 fcstd Contour 结构相同，避免引擎依赖端口层）──\n\n/** 直线段（2D，z=0；端点为绝对坐标）。 */\nexport interface SketchLineSeg {\n  kind: 'line'\n  x1: number\n  y1: number\n  x2: number\n  y2: number\n}\n\n/** 圆弧段（圆心 + 半径 + 起止角，弧度；z=0）。 */\nexport interface SketchArcSeg {\n  kind: 'arc'\n  cx: number\n  cy: number\n  radius: number\n  /** 起始角（弧度） */\n  startAngle: number\n  /** 终止角（弧度） */\n  endAngle: number\n  ccw: boolean\n  x1: number\n  y1: number\n  x2: number\n  y2: number\n}\n\n/** 一条有序 2D 轮廓段（直线或圆弧）。 */\nexport type SketchSeg = SketchLineSeg | SketchArcSeg\n\n/** 单个轮廓环：有序段序列（首尾相接）。 */\nexport interface SketchLoop {\n  segments: SketchSeg[]\n}\n\n/** `cad.sketch` 参数：轮廓环集合（第一个为外环，其余为孔）。 */\nexport interface SketchContoursParams {\n  contours: SketchLoop[]\n  /**\n   * 产物形态：'face'（默认）构面；'wire' 只交出不带面的外环 wire（1D 曲线），\n   * 供扫掠族（sweep/loft/…）直接作 spine。'wire' 形态丢弃孔环（扫掠脊柱为单闭合轮廓）。\n   */\n  as?: 'face' | 'wire'\n}\n\n// ── 参数自校验 ──\n\n/**\n * Validate sketch parameters: `contours` must be a non-empty array of loops,\n * each with at least one segment.\n * @param params the raw sketch operation parameters.\n */\nexport function assertSketchParams(params: Record<string, unknown>): void {\n  const contours = params.contours\n  if (!Array.isArray(contours) || contours.length === 0) {\n    throw new Error('E_SKETCH_NO_CONTOURS: sketch requires at least one contour')\n  }\n  for (const loop of contours) {\n    if (!loop || typeof loop !== 'object' || !Array.isArray((loop as SketchLoop).segments)) {\n      throw new Error('E_SKETCH_BAD_LOOP: each contour must have a segments array')\n    }\n    if ((loop as SketchLoop).segments.length === 0) {\n      throw new Error('E_SKETCH_EMPTY_LOOP: a contour must have at least one segment')\n    }\n  }\n}\n\n/** 单环 shoelace 面积（带符号）。 */\nfunction loopSignedArea(loop: SketchLoop): number {\n  const pts: Array<[number, number]> = []\n  for (const seg of loop.segments) {\n    pts.push([seg.x1, seg.y1])\n  }\n  let a = 0\n  for (let i = 0; i < pts.length; i++) {\n    const [x1, y1] = pts[i]!\n    const [x2, y2] = pts[(i + 1) % pts.length]!\n    a += x1 * y2 - x2 * y1\n  }\n  return a / 2\n}\n\n/** 圆弧 → 一条或两条 makeArcEdge（整圆拆分）。 */\nfunction arcToHandles(\n  kernel: BrepEngineApi,\n  seg: SketchArcSeg,\n): ReturnType<BrepEngineApi['makeArcEdge']>[] {\n  const { cx, cy, radius, startAngle, endAngle } = seg\n  let sweep = endAngle - startAngle\n  // 归一化到 (0, 2π]，处理角度回绕\n  while (sweep <= 0) sweep += 2 * Math.PI\n  while (sweep > 2 * Math.PI) sweep -= 2 * Math.PI\n\n  const makeOne = (a0: number, a1: number): ReturnType<BrepEngineApi['makeArcEdge']> => {\n    const mid = (a0 + a1) / 2\n    const start = { x: cx + radius * Math.cos(a0), y: cy + radius * Math.sin(a0), z: 0 }\n    const m = { x: cx + radius * Math.cos(mid), y: cy + radius * Math.sin(mid), z: 0 }\n    const end = { x: cx + radius * Math.cos(a1), y: cy + radius * Math.sin(a1), z: 0 }\n    return kernel.makeArcEdge(start, m, end)\n  }\n\n  // 整圆（sweep≈2π）：拆成两段半圆，避免 makeArcEdge 起点≈终点退化\n  if (sweep >= 2 * Math.PI - 1e-9) {\n    const half = 2 * Math.PI / 2\n    return [makeOne(startAngle, startAngle + half), makeOne(startAngle + half, startAngle + 2 * Math.PI)]\n  }\n  return [makeOne(startAngle, endAngle)]\n}\n\n/** 单环 → wire handle（仅构面，不释放中间句柄，遵循现有惯例）。 */\nfunction loopToWire(kernel: BrepEngineApi, loop: SketchLoop): ReturnType<BrepEngineApi['makeWire']> {\n  const edges: ReturnType<BrepEngineApi['makeLineEdge']>[] = []\n  for (const seg of loop.segments) {\n    if (seg.kind === 'line') {\n      edges.push(kernel.makeLineEdge({ x: seg.x1, y: seg.y1, z: 0 }, { x: seg.x2, y: seg.y2, z: 0 }))\n    } else {\n      // 极小扫角（退化弧）→ 退化为线段，避免构边失败\n      let sweep = seg.endAngle - seg.startAngle\n      while (sweep <= 0) sweep += 2 * Math.PI\n      while (sweep > 2 * Math.PI) sweep -= 2 * Math.PI\n      if (sweep < 1e-9) {\n        edges.push(kernel.makeLineEdge({ x: seg.x1, y: seg.y1, z: 0 }, { x: seg.x2, y: seg.y2, z: 0 }))\n      } else {\n        edges.push(...arcToHandles(kernel, seg))\n      }\n    }\n  }\n  return kernel.makeWire(edges as ReturnType<BrepEngineApi['makeLineEdge']>[])\n}\n\n/** BREP 路径：2D 轮廓 → planar face（外环 + 孔），或 'wire' 形态仅交外环 wire。 */\nfunction sketchBrep(params: Record<string, unknown>): Shape {\n  const kernel = getBrepApi()\n  const as = (params.as as 'face' | 'wire' | undefined) ?? 'face'\n\n  const loops = (params.contours as SketchLoop[]).map((loop) => ({ loop, area: Math.abs(loopSignedArea(loop)) }))\n  // 面积最大者为外环，其余为孔\n  let outerIdx = 0\n  for (let i = 1; i < loops.length; i++) {\n    if (loops[i]!.area > loops[outerIdx]!.area) outerIdx = i\n  }\n\n  const outerWire = loopToWire(kernel, loops[outerIdx]!.loop)\n\n  // 'wire' 形态：只交外环 wire（1D 曲线），不构面 —— 供扫掠族作 spine。\n  if (as === 'wire') {\n    return fromBrepCurve(solidToShape(kernel, outerWire), { solid: outerWire })\n  }\n\n  const face = kernel.makeFace(outerWire)\n\n  const holeWires: ReturnType<BrepEngineApi['makeWire']>[] = []\n  for (let i = 0; i < loops.length; i++) {\n    if (i === outerIdx) continue\n    holeWires.push(loopToWire(kernel, loops[i]!.loop))\n  }\n  if (holeWires.length > 0) {\n    const faced = kernel.addHolesInFace(face, holeWires)\n    kernel.release(face)\n    return fromBrep(solidToShape(kernel, faced), { solid: faced })\n  }\n\n  kernel.release(outerWire)\n  return fromBrep(solidToShape(kernel, face), { solid: face })\n}\n\n/**\n * 从 2D 轮廓构造平面（creator，无输入）。仅 BREP 可用。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name sketch\n * @returns Shape 平面几何（mesh 三角化 + BREP 句柄）；`as:'wire'` 时返回 1D 曲线（kind:'curve'）。\n * @param params.contours - 有序 2D 轮廓（线段/圆弧；外环 + 孔）。type:SketchLoop[] required:true\n * @param params.as - 产物形态：'face'（默认）构面；'wire' 只交外环 wire（1D 曲线）。type:'face'|'wire' required:false\n * @example\n * const f = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }] })\n * const w = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }], as: 'wire' })\n */\nexport const sketch = defineOp({\n  capabilities: ['directEdit'],\n  brep(params: Record<string, unknown>) {\n    assertSketchParams(params)\n    return sketchBrep(params)\n  },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } } as Provenance,\n})\n"]}

package/dist/api/surface/projection-overrides.d.ts

@@ -1,38 +0,0 @@
-/**
- * projection-overrides — P2 例外覆盖表（唯一人工维护点）。
- *
- * 设计文档：docs/plans/2026-09-07-compat-surface-unified-projection.md §5.4 / §9.1
- *
- * 规模目标：约 60~80 条（对比现状 866 条手工表，维护量下降 ~90%）。
- * 每条 `exported` 条目必须有非 `unknown` 的 `semantics` 值（§8 验收 9）。
- */
-export interface Override {
-    kind?: 'type' | 'pure' | 'query' | 'brep-op' | 'skip';
-    wrap?: 'raw' | 'guard' | 'dual' | 'custom';
-    semantics?: 'S1' | 'S2' | 'S3' | 'S4' | 'S5' | 'S6' | 'ok' | 'unknown';
-    /** wrap === 'custom' 时必填：手写适配器模块名 */
-    adapter?: string;
-    /** D11 参数名表（对象形态 → 位置形态） */
-    params?: string[];
-    /** 脚本面准入（§5.3 第四层） */
-    scriptFace?: boolean;
-    /** faijs 同名冲突时的导出名 */
-    rename?: string;
-    /** 指定 vendored 源文件 */
-    source?: string;
-    /** 必填：为什么这条不能被规则推导 */
-    note: string;
-}
-/**
- * The exception override table (§5.4). Each entry overrides the classifier's
- * automatic derivation for a specific symbol. Keys are symbol names.
- * Entries with `semantics: 'unknown'` are forbidden from `exported` status (§8 ⑨).
- */
-export declare const OVERRIDES: Record<string, Override>;
-/**
- * Default semantics for symbols not in the override table.
- * The generator fills this in, then P2 requires manual review to upgrade
- * from 'unknown' to a specific S1-S6 or 'ok' before the symbol can be exported.
- */
-export declare const DEFAULT_SEMANTICS: "unknown";
-//# sourceMappingURL=projection-overrides.d.ts.map

package/dist/api/surface/projection-overrides.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"projection-overrides.d.ts","sourceRoot":"","sources":["../../../src/api/surface/projection-overrides.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,QAAQ;IACvB,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAA;IACrD,IAAI,CAAC,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,QAAQ,CAAA;IAC1C,SAAS,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,SAAS,CAAA;IACtE,qCAAqC;IACrC,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,4BAA4B;IAC5B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,sBAAsB;IACtB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,sBAAsB;IACtB,IAAI,EAAE,MAAM,CAAA;CACb;AAED;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAyJ9C,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAG,SAAkB,CAAA"}

package/dist/api/surface/projection-overrides.js

@@ -1,169 +0,0 @@
-/**
- * projection-overrides — P2 例外覆盖表（唯一人工维护点）。
- *
- * 设计文档：docs/plans/2026-09-07-compat-surface-unified-projection.md §5.4 / §9.1
- *
- * 规模目标：约 60~80 条（对比现状 866 条手工表，维护量下降 ~90%）。
- * 每条 `exported` 条目必须有非 `unknown` 的 `semantics` 值（§8 验收 9）。
- */
-/**
- * The exception override table (§5.4). Each entry overrides the classifier's
- * automatic derivation for a specific symbol. Keys are symbol names.
- * Entries with `semantics: 'unknown'` are forbidden from `exported` status (§8 ⑨).
- */
-export const OVERRIDES = {
-    // ── §3.6 手写面独有逻辑（4 类）──
-    box: {
-        wrap: 'custom',
-        adapter: 'box-adapter',
-        source: 'topology/primitiveFns.js',
-        semantics: 'ok',
-        note: '§3.6: {size} object form + custom E_ARGS_FORM',
-    },
-    rotate: {
-        wrap: 'custom',
-        adapter: 'rotate-adapter',
-        source: 'topology/transformFns.js',
-        semantics: 'ok',
-        note: '§3.6: upstream-18 {at,axis} options adapter (not transformFns four-arg positional)',
-    },
-    cylinder: {
-        wrap: 'raw',
-        semantics: 'ok',
-        note: 'P25: library authors want raw morph form (no kernel assert)',
-    },
-    sphere: {
-        wrap: 'raw',
-        semantics: 'ok',
-        note: 'P25: same as cylinder — raw morph form',
-    },
-    // ── §2.2 包装项（15 个已由 P1 从 compat-ast 解析，覆盖表只补充语义分级） ──
-    cone: {
-        wrap: 'dual',
-        params: ['bottomRadius', 'topRadius', 'height'],
-        semantics: 'ok',
-        note: '§2.2: wrapDual — kernel assert + D11 dual form',
-    },
-    torus: {
-        wrap: 'dual',
-        params: ['majorRadius', 'minorRadius'],
-        semantics: 'ok',
-        note: '§2.2: wrapDual',
-    },
-    ellipsoid: {
-        wrap: 'dual',
-        params: ['rx', 'ry', 'rz'],
-        semantics: 'ok',
-        note: '§2.2: wrapDual',
-    },
-    fuse: {
-        wrap: 'guard',
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded — kernel assert + forward',
-    },
-    cut: {
-        wrap: 'guard',
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded',
-    },
-    extrude: {
-        wrap: 'guard',
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded',
-    },
-    revolve: {
-        wrap: 'guard',
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded',
-    },
-    loft: {
-        wrap: 'guard',
-        scriptFace: false,
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded; Wire[] input — library face only (§3.7)',
-    },
-    intersect: {
-        wrap: 'guard',
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded; vendored intersect is Result contract, compat face only',
-    },
-    makeExternalGear: {
-        wrap: 'guard',
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded — library builder factory (P24)',
-    },
-    makeInternalGear: {
-        wrap: 'guard',
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded',
-    },
-    makePlanetaryGear: {
-        wrap: 'guard',
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded',
-    },
-    thread: {
-        wrap: 'guard',
-        semantics: 'ok',
-        note: '§2.2: wrapGuarded',
-    },
-    // ── §5.3 第四层 scriptFace 覆盖 ──
-    split: {
-        scriptFace: true,
-        semantics: 'ok',
-        note: '§5.3: multi-product op but in current 27 — do not exclude by "single Shape" rule',
-    },
-    transformCopy: {
-        kind: 'pure',
-        scriptFace: false,
-        semantics: 'ok',
-        note: 'scriptFace: ComposedTransform holds a kernel WASM handle — not constructible in .fai.js, so the script-face op is dead. Covered by clone+translate/rotate chains and locate. TS library surface keeps the plain re-export (non-op). Mirrors arg-spec skip.',
-    },
-    // ── §1.3 A 类规则漏洞 ──
-    io: {
-        kind: 'skip',
-        semantics: 'unknown',
-        note: '§1.3: ns.io forwards byte-type API, module field is ns not io',
-    },
-    // ── §9.1 S3: global side-effects (destructive / singleton state) ──
-    resetDisposalStats: {
-        semantics: 'S3',
-        note: '§9.1: destructive global state — clears faijs handle stats',
-    },
-    getDisposalStats: {
-        semantics: 'S3',
-        note: '§9.1: reads module-level singleton _stats',
-    },
-    kernelCall: {
-        semantics: 'S3',
-        note: '§9.1: raw kernel call bypass — global OCCT state mutation',
-    },
-    kernelCallScoped: {
-        semantics: 'S3',
-        note: '§9.1: scoped kernel call — still mutates global OCCT state',
-    },
-    // ── §9.1 S4: host-injected resource dependency (fonts / files / network) ──
-    getFont: {
-        semantics: 'S4',
-        note: '§9.1: depends on font source (host-injected vs vendored internal path)',
-    },
-    loadFont: {
-        semantics: 'S4',
-        note: '§9.1: same as getFont',
-    },
-    sketchText: {
-        semantics: 'S4',
-        note: '§9.1: same font dependency',
-    },
-    surfaceFromImage: {
-        semantics: 'S4',
-        note: '§9.1: depends on image file loading (host ports)',
-    },
-};
-/**
- * Default semantics for symbols not in the override table.
- * The generator fills this in, then P2 requires manual review to upgrade
- * from 'unknown' to a specific S1-S6 or 'ok' before the symbol can be exported.
- */
-export const DEFAULT_SEMANTICS = 'unknown';
-//# sourceMappingURL=projection-overrides.js.map

package/dist/api/surface/projection-overrides.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"projection-overrides.js","sourceRoot":"","sources":["../../../src/api/surface/projection-overrides.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAoBH;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAA6B;IACjD,yBAAyB;IACzB,GAAG,EAAE;QACH,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,aAAa;QACtB,MAAM,EAAE,0BAA0B;QAClC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,+CAA+C;KACtD;IACD,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,gBAAgB;QACzB,MAAM,EAAE,0BAA0B;QAClC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,oFAAoF;KAC3F;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,6DAA6D;KACpE;IACD,MAAM,EAAE;QACN,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,wCAAwC;KAC/C;IAED,uDAAuD;IACvD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC/C,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gDAAgD;KACvD;IACD,KAAK,EAAE;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC;QACtC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gBAAgB;KACvB;IACD,SAAS,EAAE;QACT,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QAC1B,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gBAAgB;KACvB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,6CAA6C;KACpD;IACD,GAAG,EAAE;QACH,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,OAAO,EAAE;QACP,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,OAAO,EAAE;QACP,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4DAA4D;KACnE;IACD,SAAS,EAAE;QACT,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4EAA4E;KACnF;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mDAAmD;KAC1D;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IACD,MAAM,EAAE;QACN,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,mBAAmB;KAC1B;IAED,+BAA+B;IAC/B,KAAK,EAAE;QACL,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,kFAAkF;KACzF;IACD,aAAa,EAAE;QACb,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4PAA4P;KACnQ;IAED,qBAAqB;IACrB,EAAE,EAAE;QACF,IAAI,EAAE,MAAM;QACZ,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,+DAA+D;KACtE;IAED,qEAAqE;IACrE,kBAAkB,EAAE;QAClB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4DAA4D;KACnE;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,2CAA2C;KAClD;IACD,UAAU,EAAE;QACV,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,2DAA2D;KAClE;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4DAA4D;KACnE;IAED,6EAA6E;IAC7E,OAAO,EAAE;QACP,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,wEAAwE;KAC/E;IACD,QAAQ,EAAE;QACR,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,uBAAuB;KAC9B;IACD,UAAU,EAAE;QACV,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4BAA4B;KACnC;IACD,gBAAgB,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,kDAAkD;KACzD;CACF,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,SAAkB,CAAA","sourcesContent":["/**\n * projection-overrides — P2 例外覆盖表（唯一人工维护点）。\n *\n * 设计文档：docs/plans/2026-09-07-compat-surface-unified-projection.md §5.4 / §9.1\n *\n * 规模目标：约 60~80 条（对比现状 866 条手工表，维护量下降 ~90%）。\n * 每条 `exported` 条目必须有非 `unknown` 的 `semantics` 值（§8 验收 9）。\n */\n\nexport interface Override {\n  kind?: 'type' | 'pure' | 'query' | 'brep-op' | 'skip'\n  wrap?: 'raw' | 'guard' | 'dual' | 'custom'\n  semantics?: 'S1' | 'S2' | 'S3' | 'S4' | 'S5' | 'S6' | 'ok' | 'unknown'\n  /** wrap === 'custom' 时必填：手写适配器模块名 */\n  adapter?: string\n  /** D11 参数名表（对象形态 → 位置形态） */\n  params?: string[]\n  /** 脚本面准入（§5.3 第四层） */\n  scriptFace?: boolean\n  /** faijs 同名冲突时的导出名 */\n  rename?: string\n  /** 指定 vendored 源文件 */\n  source?: string\n  /** 必填：为什么这条不能被规则推导 */\n  note: string\n}\n\n/**\n * The exception override table (§5.4). Each entry overrides the classifier's\n * automatic derivation for a specific symbol. Keys are symbol names.\n * Entries with `semantics: 'unknown'` are forbidden from `exported` status (§8 ⑨).\n */\nexport const OVERRIDES: Record<string, Override> = {\n  // ── §3.6 手写面独有逻辑（4 类）──\n  box: {\n    wrap: 'custom',\n    adapter: 'box-adapter',\n    source: 'topology/primitiveFns.js',\n    semantics: 'ok',\n    note: '§3.6: {size} object form + custom E_ARGS_FORM',\n  },\n  rotate: {\n    wrap: 'custom',\n    adapter: 'rotate-adapter',\n    source: 'topology/transformFns.js',\n    semantics: 'ok',\n    note: '§3.6: upstream-18 {at,axis} options adapter (not transformFns four-arg positional)',\n  },\n  cylinder: {\n    wrap: 'raw',\n    semantics: 'ok',\n    note: 'P25: library authors want raw morph form (no kernel assert)',\n  },\n  sphere: {\n    wrap: 'raw',\n    semantics: 'ok',\n    note: 'P25: same as cylinder — raw morph form',\n  },\n\n  // ── §2.2 包装项（15 个已由 P1 从 compat-ast 解析，覆盖表只补充语义分级） ──\n  cone: {\n    wrap: 'dual',\n    params: ['bottomRadius', 'topRadius', 'height'],\n    semantics: 'ok',\n    note: '§2.2: wrapDual — kernel assert + D11 dual form',\n  },\n  torus: {\n    wrap: 'dual',\n    params: ['majorRadius', 'minorRadius'],\n    semantics: 'ok',\n    note: '§2.2: wrapDual',\n  },\n  ellipsoid: {\n    wrap: 'dual',\n    params: ['rx', 'ry', 'rz'],\n    semantics: 'ok',\n    note: '§2.2: wrapDual',\n  },\n  fuse: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded — kernel assert + forward',\n  },\n  cut: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  extrude: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  revolve: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  loft: {\n    wrap: 'guard',\n    scriptFace: false,\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded; Wire[] input — library face only (§3.7)',\n  },\n  intersect: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded; vendored intersect is Result contract, compat face only',\n  },\n  makeExternalGear: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded — library builder factory (P24)',\n  },\n  makeInternalGear: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  makePlanetaryGear: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n  thread: {\n    wrap: 'guard',\n    semantics: 'ok',\n    note: '§2.2: wrapGuarded',\n  },\n\n  // ── §5.3 第四层 scriptFace 覆盖 ──\n  split: {\n    scriptFace: true,\n    semantics: 'ok',\n    note: '§5.3: multi-product op but in current 27 — do not exclude by \"single Shape\" rule',\n  },\n  transformCopy: {\n    kind: 'pure',\n    scriptFace: false,\n    semantics: 'ok',\n    note: 'scriptFace: ComposedTransform holds a kernel WASM handle — not constructible in .fai.js, so the script-face op is dead. Covered by clone+translate/rotate chains and locate. TS library surface keeps the plain re-export (non-op). Mirrors arg-spec skip.',\n  },\n\n  // ── §1.3 A 类规则漏洞 ──\n  io: {\n    kind: 'skip',\n    semantics: 'unknown',\n    note: '§1.3: ns.io forwards byte-type API, module field is ns not io',\n  },\n\n  // ── §9.1 S3: global side-effects (destructive / singleton state) ──\n  resetDisposalStats: {\n    semantics: 'S3',\n    note: '§9.1: destructive global state — clears faijs handle stats',\n  },\n  getDisposalStats: {\n    semantics: 'S3',\n    note: '§9.1: reads module-level singleton _stats',\n  },\n  kernelCall: {\n    semantics: 'S3',\n    note: '§9.1: raw kernel call bypass — global OCCT state mutation',\n  },\n  kernelCallScoped: {\n    semantics: 'S3',\n    note: '§9.1: scoped kernel call — still mutates global OCCT state',\n  },\n\n  // ── §9.1 S4: host-injected resource dependency (fonts / files / network) ──\n  getFont: {\n    semantics: 'S4',\n    note: '§9.1: depends on font source (host-injected vs vendored internal path)',\n  },\n  loadFont: {\n    semantics: 'S4',\n    note: '§9.1: same as getFont',\n  },\n  sketchText: {\n    semantics: 'S4',\n    note: '§9.1: same font dependency',\n  },\n  surfaceFromImage: {\n    semantics: 'S4',\n    note: '§9.1: depends on image file loading (host ports)',\n  },\n}\n\n/**\n * Default semantics for symbols not in the override table.\n * The generator fills this in, then P2 requires manual review to upgrade\n * from 'unknown' to a specific S1-S6 or 'ok' before the symbol can be exported.\n */\nexport const DEFAULT_SEMANTICS = 'unknown' as const\n"]}

package/dist/brepjs-compat.d.ts

@@ -1,20 +0,0 @@
-/**
- * Source-side alias for the public `@faicad/faijs/brepjs-compat` subpath.
- *
- * Why this file exists: `packages/core/package.json` exports the compat face as
- * `./brepjs-compat -> ./dist/api/brepjs-compat/index.js`, while every local
- * toolchain that consumes live sources resolves `@faicad/faijs` by *prefix*
- * substitution onto `packages/core/src` (vitest `resolve.alias` in 8 configs,
- * `tsconfig.json` `paths`, the demo Vite config). A prefix alias rewrites the
- * subpath to `src/brepjs-compat`; TypeScript then falls back to node_modules
- * (hitting `dist/`) but Vite does not, so library sources such as
- * `packages/sheetmetal/src/*.ts` failed with "Cannot find module".
- *
- * Keeping the alias inside the source tree makes the src layout mirror the
- * exports map, so no per-toolchain config has to special-case this subpath.
- *
- * Projection only — the compat face keeps its single implementation in
- * `./api/brepjs-compat/index.ts`.
- */
-export * from './api/brepjs-compat/index.js';
-//# sourceMappingURL=brepjs-compat.d.ts.map

package/dist/brepjs-compat.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"brepjs-compat.d.ts","sourceRoot":"","sources":["../src/brepjs-compat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,cAAc,8BAA8B,CAAA"}

package/dist/brepjs-compat.js

@@ -1,20 +0,0 @@
-/**
- * Source-side alias for the public `@faicad/faijs/brepjs-compat` subpath.
- *
- * Why this file exists: `packages/core/package.json` exports the compat face as
- * `./brepjs-compat -> ./dist/api/brepjs-compat/index.js`, while every local
- * toolchain that consumes live sources resolves `@faicad/faijs` by *prefix*
- * substitution onto `packages/core/src` (vitest `resolve.alias` in 8 configs,
- * `tsconfig.json` `paths`, the demo Vite config). A prefix alias rewrites the
- * subpath to `src/brepjs-compat`; TypeScript then falls back to node_modules
- * (hitting `dist/`) but Vite does not, so library sources such as
- * `packages/sheetmetal/src/*.ts` failed with "Cannot find module".
- *
- * Keeping the alias inside the source tree makes the src layout mirror the
- * exports map, so no per-toolchain config has to special-case this subpath.
- *
- * Projection only — the compat face keeps its single implementation in
- * `./api/brepjs-compat/index.ts`.
- */
-export * from './api/brepjs-compat/index.js';
-//# sourceMappingURL=brepjs-compat.js.map

package/dist/brepjs-compat.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"brepjs-compat.js","sourceRoot":"","sources":["../src/brepjs-compat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,cAAc,8BAA8B,CAAA","sourcesContent":["/**\n * Source-side alias for the public `@faicad/faijs/brepjs-compat` subpath.\n *\n * Why this file exists: `packages/core/package.json` exports the compat face as\n * `./brepjs-compat -> ./dist/api/brepjs-compat/index.js`, while every local\n * toolchain that consumes live sources resolves `@faicad/faijs` by *prefix*\n * substitution onto `packages/core/src` (vitest `resolve.alias` in 8 configs,\n * `tsconfig.json` `paths`, the demo Vite config). A prefix alias rewrites the\n * subpath to `src/brepjs-compat`; TypeScript then falls back to node_modules\n * (hitting `dist/`) but Vite does not, so library sources such as\n * `packages/sheetmetal/src/*.ts` failed with \"Cannot find module\".\n *\n * Keeping the alias inside the source tree makes the src layout mirror the\n * exports map, so no per-toolchain config has to special-case this subpath.\n *\n * Projection only — the compat face keeps its single implementation in\n * `./api/brepjs-compat/index.ts`.\n */\nexport * from './api/brepjs-compat/index.js'\n"]}

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

@@ -1,22 +0,0 @@
-/**
- * createRuntimeWithCad — D1（2026-09-19）：cad 默认命名空间内置引擎。
- *
- * faijs 的定位是「引擎 + 标准库」。cad 经 defineOp 注册为均匀库数据，与第三方库
- * 走完全相同的 registerLib 路径，引擎并不对其特判（K5 不违反）。因此宿主拿到
- * createRuntime 即带 cad，无需再经独立的门面包注入——这正是删除门面（D2-A）的前提。
- *
- * 需要「不带 cad 的纯引擎」的宿主（如只想用 parser / runtime 框架自注册别的 op 集）
- * 可直接用 cad-runtime/runtime 的 createRuntime（不带 cad 注册）。
- */
-import { type CadRuntime, type CadRuntimeOptions } from './runtime.js';
-import type { ExecutionMode, HostPorts } from './ports.js';
-export { CadRuntime, computeContentKey, AppendPrefixError } from './runtime.js';
-/**
- * 创建带内置 `cad` 库的 CadRuntime（D1）。
- * @param ports - host ports (io/env/kernel backends) supplied by the embedding host.
- * @param mode - execution mode ('auto' | 'brep' | 'mesh'); defaults to the runtime's own logic.
- * @param options - additional CadRuntime options (forwarded to the core runtime).
- * @returns a CadRuntime with the `cad` namespace pre-registered as the default lib.
- */
-export declare function createRuntime(ports: HostPorts, mode?: ExecutionMode, options?: CadRuntimeOptions): CadRuntime;
-//# sourceMappingURL=createRuntimeWithCad.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"createRuntimeWithCad.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/createRuntimeWithCad.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAsC,KAAK,UAAU,EAAE,KAAK,iBAAiB,EAAE,MAAM,WAAW,CAAA;AACvG,OAAO,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAGvD,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAE5E;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,UAAU,CAO7G"}

package/dist/cad-runtime/createRuntimeWithCad.js

@@ -1,29 +0,0 @@
-/**
- * createRuntimeWithCad — D1（2026-09-19）：cad 默认命名空间内置引擎。
- *
- * faijs 的定位是「引擎 + 标准库」。cad 经 defineOp 注册为均匀库数据，与第三方库
- * 走完全相同的 registerLib 路径，引擎并不对其特判（K5 不违反）。因此宿主拿到
- * createRuntime 即带 cad，无需再经独立的门面包注入——这正是删除门面（D2-A）的前提。
- *
- * 需要「不带 cad 的纯引擎」的宿主（如只想用 parser / runtime 框架自注册别的 op 集）
- * 可直接用 cad-runtime/runtime 的 createRuntime（不带 cad 注册）。
- */
-import { createRuntime as createRuntimeCore } from './runtime.js';
-import { createApiNamespace } from '../api/api-namespace.js';
-export { CadRuntime, computeContentKey, AppendPrefixError } from './runtime.js';
-/**
- * 创建带内置 `cad` 库的 CadRuntime（D1）。
- * @param ports - host ports (io/env/kernel backends) supplied by the embedding host.
- * @param mode - execution mode ('auto' | 'brep' | 'mesh'); defaults to the runtime's own logic.
- * @param options - additional CadRuntime options (forwarded to the core runtime).
- * @returns a CadRuntime with the `cad` namespace pre-registered as the default lib.
- */
-export function createRuntime(ports, mode, options) {
-    const rt = createRuntimeCore(ports, mode, undefined, options);
-    rt.registerLib('cad', createApiNamespace(), {
-        default: true,
-        packageName: '@faicad/faijs',
-    });
-    return rt;
-}
-//# sourceMappingURL=createRuntimeWithCad.js.map

package/dist/cad-runtime/createRuntimeWithCad.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"createRuntimeWithCad.js","sourceRoot":"","sources":["../../src/cad-runtime/createRuntimeWithCad.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,aAAa,IAAI,iBAAiB,EAA2C,MAAM,WAAW,CAAA;AAEvG,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAEzD,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAE5E;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAgB,EAAE,IAAoB,EAAE,OAA2B;IAC/F,MAAM,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;IAC7D,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,kBAAkB,EAAE,EAAE;QAC1C,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,eAAe;KAC7B,CAAC,CAAA;IACF,OAAO,EAAE,CAAA;AACX,CAAC","sourcesContent":["/**\n * createRuntimeWithCad — D1（2026-09-19）：cad 默认命名空间内置引擎。\n *\n * faijs 的定位是「引擎 + 标准库」。cad 经 defineOp 注册为均匀库数据，与第三方库\n * 走完全相同的 registerLib 路径，引擎并不对其特判（K5 不违反）。因此宿主拿到\n * createRuntime 即带 cad，无需再经独立的门面包注入——这正是删除门面（D2-A）的前提。\n *\n * 需要「不带 cad 的纯引擎」的宿主（如只想用 parser / runtime 框架自注册别的 op 集）\n * 可直接用 cad-runtime/runtime 的 createRuntime（不带 cad 注册）。\n */\nimport { createRuntime as createRuntimeCore, type CadRuntime, type CadRuntimeOptions } from './runtime'\nimport type { ExecutionMode, HostPorts } from './ports'\nimport { createApiNamespace } from '../api/api-namespace'\n\nexport { CadRuntime, computeContentKey, AppendPrefixError } from './runtime'\n\n/**\n * 创建带内置 `cad` 库的 CadRuntime（D1）。\n * @param ports - host ports (io/env/kernel backends) supplied by the embedding host.\n * @param mode - execution mode ('auto' | 'brep' | 'mesh'); defaults to the runtime's own logic.\n * @param options - additional CadRuntime options (forwarded to the core runtime).\n * @returns a CadRuntime with the `cad` namespace pre-registered as the default lib.\n */\nexport function createRuntime(ports: HostPorts, mode?: ExecutionMode, options?: CadRuntimeOptions): CadRuntime {\n  const rt = createRuntimeCore(ports, mode, undefined, options)\n  rt.registerLib('cad', createApiNamespace(), {\n    default: true,\n    packageName: '@faicad/faijs',\n  })\n  return rt\n}\n"]}