@faicad/fai-cq-warehouse 0.13.0

package/dist/primitives.d.ts

@@ -0,0 +1,440 @@
+/**
+ * primitives.ts — 本包私有 extensions 层（方案 §6 W2 交付物）：
+ * ≈ 上游 extensions.py 里各类 fastener 真正用到的构造路径，收敛成
+ * 「kernel 原语 → 可复用几何操作」的一层。只依赖 kernel.ts 的 requireKernel()，
+ * 不感知具体 fastener 类。
+ *
+ * 实测行为备注（kernel-conformance.test.ts probe 结论）：
+ *  - revolve(wire) 内核直接闭合（与 cq「wire 旋转得旋转面」不同）——revolveProfile
+ *    直接吃 wire，不再先 makeFace。**订正（W4 实测）**：闭合出的拓扑是 **shell 非 solid**，
+ *    故 revolveProfile 内部补 `makeSolid`（详见其 JSDoc 与
+ *    `scripts/kernel-nut-probe.ts` 段 7）。
+ *  - loft(wires, isSolid, ruled) 可用——makeRuledSurface 缺失期的 §6 退化路径。
+ */
+import type { BrepHandle, BrepVec3 } from '@faicad/faijs';
+import { type TessellateOptionsLite, type WarehouseAxis } from './kernel.js';
+/**
+ * cq `Wire.makeHelix` 等价：绕 +Z（axis 指定）的螺旋线。
+ * @param origin - 螺旋线起点。
+ * @param axis - 螺旋轴方向（一般为 `{x:0,y:0,z:1}`）。
+ * @param pitch - 螺距（mm）。
+ * @param height - 轴向高度（mm）。
+ * @param radius - 螺旋半径（mm）。
+ * @returns 螺旋 wire 句柄。
+ */
+export declare function makeHelix(origin: BrepVec3, axis: BrepVec3, pitch: number, height: number, radius: number): BrepHandle;
+/**
+ * 轮廓 wire 绕轴旋转（nut/screw/bearing 的主体构造）。
+ *
+ * ⚠️ **内核 `revolve` 返回的是 SHELL，不是 SOLID**（`scripts/kernel-nut-probe.ts` 段 7 实测：
+ * 闭合 4 点轮廓旋转后 `getSubShapes(shape,'solid').length === 0`、`'shell'` 为 1）。
+ * 上游 cq `Workplane.revolve()` 返回的是 Solid —— 本函数**必须补 `makeSolid`**，
+ * 否则：
+ *  1. 后续 `common` / `fuse` 拿 shell 当操作数会**静默给出错误实体**
+ *     （实测 `common(nutShell, blank)` = 108.5043，而 `common(nutSolid, blank)` =
+ *     302.2977 ＝ A 侧解析值 302.2977262431188，逐位一致）；
+ *  2. 导出的 STEP 是 SHELL 而非 SOLID（A 侧 manifest `shapeType` 全是 `Solid`）。
+ *
+ * 定向经 {@link orientOutward} 兜底（`makeSolid` 的朝向不保证，与 {@link solidFromFaces}
+ * 同款处理）。
+ *
+ * ⚠️ 本内核对 wire 旋转不校验闭合性（probe 段 3h：未闭合 wire 也被静默接受）——
+ * 轮廓闭合由调用方保证；未闭合时 `makeSolid` 会抛错，这正是期望的响亮失败。
+ * @param profile - 含轴平面内的闭合轮廓 wire。
+ * @param axis - 旋转轴（{@link WarehouseAxis}）。
+ * @param angleRad - 旋转角（弧度）。
+ * @returns 旋转得到的**实体（solid）**句柄，朝向已翻正。
+ */
+export declare function revolveProfile(profile: BrepHandle, axis: WarehouseAxis, angleRad: number): BrepHandle;
+/**
+ * cq `loft(ruled=True)` 等价：截面 wire 列 → 直纹实体（§6 退化路径）。
+ * @param wires - 截面 wire 列（≥2 条）。
+ * @returns 直纹放样实体句柄。
+ */
+export declare function loftRuled(wires: BrepHandle[]): BrepHandle;
+/**
+ * 点列 → 逼近 B 样条曲线（thread 端部 fade 的参数曲线）。
+ * @param points - 采样点列。
+ * @param tolerance - 逼近残差容差（mm），默认 1e-6。
+ * @returns 曲线（edge/wire）句柄。
+ */
+export declare function parametricCurve(points: BrepVec3[], tolerance?: number): BrepHandle;
+/**
+ * 点阵（rows×cols，行优先展平）→ B 样条曲面 face。
+ * ⚠️ 内核实现是**逼近**而非插值，且有系统性外扩 —— 直纹带请改用 {@link ruledFace}。
+ * @param points - 行优先展平的点阵（长度须为 rows×cols）。
+ * @param rows - 行数。
+ * @param cols - 列数。
+ * @returns 曲面 face 句柄。
+ */
+export declare function bsplineFace(points: BrepVec3[], rows: number, cols: number): BrepHandle;
+/** faces → sew → shell → solid（thread 螺纹体的封壳步骤）。
+ *
+ *  ⚠️ 两条实测结论（W3 probe；回归锁 `kernel-pitfalls.test.ts`，复现台
+ *  `scripts/kernel-pitfalls-probe.ts`）：
+ *  1. **makeSolid 的朝向不可保证**：sew 6 张平面 face 成单壳后 makeSolid 实测体积
+ *     为 **−8**（朝内）——朝向随面序变化，故本函数**必须**经 orientOutward 翻正。
+ *  2. **容差**：默认 1e-3 与上游 `make_shell` 对齐。旧注释曾声称「1e-6 下完全不缝合
+ *     （shells=0）」——**已订正**：平面壳与螺纹实体面集实测在 1e-6..1e-2 均可缝成单壳，
+ *     该说法未复现，故不再作为选 1e-3 的理由（保留仅为对齐上游 + 给 B 样条端帽留余量）。
+ * @param faces - 构成闭合壳的面列。
+ * @param tolerance - sew 容差（mm），默认 1e-3（与上游 make_shell 对齐）。
+ * @returns 缝合后朝向已翻正的实体句柄。
+ */
+export declare function solidFromFaces(faces: BrepHandle[], tolerance?: number): BrepHandle;
+/**
+ * 体积为负（实体朝内）时反转朝向；零体积视为缝合失败，显式抛错。
+ * @param shape - 待检实体。
+ * @returns 朝向朝外的同一实体（体积为正时原样返回）。
+ */
+export declare function orientOutward(shape: BrepHandle): BrepHandle;
+/**
+ * 平面 face 加厚成体（knurl 纹等薄面构造）。
+ * @param face - 待加厚的面。
+ * @param thickness - 厚度（mm，正负决定内/外偏）。
+ * @param tolerance - 内核容差，默认 1e-6。
+ * @returns 加厚得到的实体句柄。
+ */
+export declare function thickenFace(face: BrepHandle, thickness: number, tolerance?: number): BrepHandle;
+/**
+ * 非平面 wire → face（HeatSetNut knurl；kernel 层原语，§3.4 备注）。
+ * @param wire - 构成边界的 wire。
+ * @returns 由该 wire 围成的面句柄。
+ */
+export declare function faceFromWire(wire: BrepHandle): BrepHandle;
+/**
+ * 直线边（薄封装，语义与内核一致）。
+ * @param a - 起点。
+ * @param b - 终点。
+ * @returns 直线边句柄。
+ */
+export declare function lineEdge(a: BrepVec3, b: BrepVec3): BrepHandle;
+/**
+ * 三点圆弧边（起点 / 弧上一点 / 终点）—— cq `sagittaArc` / `threePointArc` 的落点。
+ * @param a - 起点。
+ * @param mid - 弧上一点（决定弧的凸向与半径）。
+ * @param b - 终点。
+ * @returns 圆弧边句柄。
+ */
+export declare function arcEdge(a: BrepVec3, mid: BrepVec3, b: BrepVec3): BrepHandle;
+/**
+ * 边列 → wire（**不**做去重与自动闭合，交给调用方控制）。
+ *
+ * ⚠️ 内核 `makeWire` **不校验连通性**：边序接不上时静默丢弃（`kernel-pitfalls.test.ts`
+ * 陷阱 1 实测乱序 4 边 → 3 边），未闭合 wire 也被 `revolve` 静默接受（`kernel-nut-probe.ts`
+ * 段 3h）。故轮廓闭合必须由调用方保证（见 {@link polygonWire} / nut 的 `profileWire`）。
+ * @param edges - 首尾相接的边列。
+ * @returns 由这些边构成的 wire 句柄。
+ */
+export declare function wireFromEdges(edges: BrepHandle[]): BrepHandle;
+/**
+ * 折线闭合 wire（点列首尾自动闭合；若末点与首点重合则不复用该退化边）。
+ * @param points - 折线顶点列。
+ * @returns 闭合 wire 句柄。
+ */
+export declare function polygonWire(points: BrepVec3[]): BrepHandle;
+/**
+ * 去掉与首点重合的末点（闭合点列 → 唯一点列）。
+ * ⚠️ 不去重会生成一条**零长边**，`makeLineEdge` 直接抛 `construction failed`
+ * （W3 probe 实测；此处订正旧注释所说的 makeFace `No geometry` 报错点）。
+ * @param points - 顶点列（末点可与首点重合）。
+ * @returns 去掉退化末点后的点列（点数 <2 时原样返回）。
+ */
+export declare function closeLoop(points: BrepVec3[]): BrepVec3[];
+/**
+ * 4 点闭合多边形 face（螺纹端帽：apex0/apex1/root1/root0）。
+ * @param corners - 按环序给出的 4 个角点。
+ * @returns 四边形平面 face 句柄。
+ */
+export declare function quadFace(corners: [BrepVec3, BrepVec3, BrepVec3, BrepVec3]): BrepHandle;
+/** 直纹带曲线拟合容差（mm）。取 1e-6 —— 与内核 `approximatePoints` 的残差同量级
+ *  （实测该容差下直纹面外扩残差 ≈ 9.8e-7，远小于 1e-3 线性门禁）。 */
+export declare const RULED_FIT_TOLERANCE = 0.000001;
+/**
+ * 两条**同参数采样**曲线之间的直纹带 face —— cq `Face.makeRuledSurface` 的等价。
+ *
+ * ⚠️ 为什么**不用** `bsplineSurface([...rowA, ...rowB], 2, cols)`（W3 probe 实测否决）：
+ * 内核的 `bsplineSurface` 是**逼近**而非插值，且带**系统性外扩**。实测两行采样点全部
+ * 落在 r=3.000000000 时，出来的面 xmax=3.000369534（Δ=3.70e-4），且**与采样密度无关**
+ * ——每圈 48→192 点、rows 2→9 全部收敛到 3.699e-4。对 Ø6 螺纹即 0.37‰ 半径超差，
+ * 直接撞穿 1e-3 的 bbox 门禁（W3 中间验证实测 3 例 FAIL）。
+ *
+ * 现行路径：`approximatePoints(row, tol)` → `loft([wireA, wireB], isSolid=false, ruled=true)`。
+ * 同一组点实测 xmax=3.000000982 → Δ=9.8e-7，比上面**小 375 倍**。
+ *
+ * 证据与判定见 docs/analysis/2026-09-14-cq-warehouse-thread-probe.md。
+ * @param rowA - 第一条边界的同参数采样点列。
+ * @param rowB - 第二条边界的采样点列（长度须与 rowA 相同）。
+ * @param tolerance - 曲线逼近容差（mm），默认 {@link RULED_FIT_TOLERANCE}。
+ * @returns 两行之间的单个直纹面 face 句柄。
+ */
+export declare function ruledFace(rowA: BrepVec3[], rowB: BrepVec3[], tolerance?: number): BrepHandle;
+/**
+ * XY 平面圆 wire（两段半圆弧）。
+ * @param radius - 半径（mm）。
+ * @param center - 圆心（默认原点）。
+ * @returns 位于 z=center.z 的整圆 wire 句柄。
+ */
+export declare function circleWireXY(radius: number, center?: BrepVec3): BrepHandle;
+/**
+ * 含轴平面（XZ，圆心在 (centerR,0,z)）圆 wire——revolve 轮廓专用。
+ * @param radius - 半径（mm）。
+ * @param centerR - 圆心到旋转轴（Z 轴）的距离（mm）。
+ * @param z - 圆心高度（mm），默认 0。
+ * @returns XZ 平面内的整圆 wire 句柄。
+ */
+export declare function circleWireXZ(radius: number, centerR: number, z?: number): BrepHandle;
+/**
+ * 平移（薄封装，语义与内核一致：毫米）。
+ * @param shape - 待平移的体/面/边。
+ * @param dx - X 方向位移（mm）。
+ * @param dy - Y 方向位移（mm）。
+ * @param dz - Z 方向位移（mm）。
+ * @returns 平移后的新句柄（不改动入参）。
+ */
+export declare function translate(shape: BrepHandle, dx: number, dy: number, dz: number): BrepHandle;
+/**
+ * 原点起的长方体（`makeBox(dx,dy,dz)`：0→(dx,dy,dz)）。
+ * @param dx - X 边长（mm）。
+ * @param dy - Y 边长（mm）。
+ * @param dz - Z 边长（mm）。
+ * @returns 长方体实体句柄。
+ */
+export declare function makeBoxOrigin(dx: number, dy: number, dz: number): BrepHandle;
+/**
+ * 布尔差 `a − b`。
+ * @param a - 被减体。
+ * @param b - 减去体。
+ * @returns 差集实体句柄。
+ */
+export declare function cut(a: BrepHandle, b: BrepHandle): BrepHandle;
+/**
+ * 布尔交 `a ∩ b`。
+ * @param a - 第一个体。
+ * @param b - 第二个体。
+ * @returns 交集实体句柄。
+ */
+export declare function intersect(a: BrepHandle, b: BrepHandle): BrepHandle;
+/**
+ * 布尔并 `a ∪ b`。
+ * @param a - 第一个体。
+ * @param b - 第二个体。
+ * @returns 并集实体句柄。
+ */
+export declare function fuse(a: BrepHandle, b: BrepHandle): BrepHandle;
+/**
+ * 闭合平面 wire → 填充 face（`nut_plan` 拉伸前的必要一步）。
+ *
+ * ⚠️ 必须传 **face** 给 {@link extrudeFace}：probe 实测（`scripts/kernel-nut-probe.ts`
+ * 段 1）`extrude(wire, 0,0,3)` 对 4×2 矩形返回体积 **−16**（错误），传 face 才得 24
+ * （正确）。内核不校验输入拓扑，传错不抛错、只给错几何。
+ * @param wire - 位于 XY 平面（或法向为 +Z）的闭合平面 wire。
+ * @returns 填充后的平面 face 句柄。
+ */
+export declare function planarFace(wire: BrepHandle): BrepHandle;
+/**
+ * 平面 face 沿 **+Z** 拉伸高度 `dz`（`cq .toPending().extrude(h)`）。
+ *
+ * ⚠️ 只支持沿面法向拉伸：probe 段 1 实测 `extrude(face, 1,0,0)`（XY 面沿面内 X 拉）与
+ * `extrude(XZ wire, 0,0,3)`（面内 Z 拉）都退化为体积 0。nut_plan 在 XY 平面 + 沿 Z
+ * 拉伸，正好落在有效路径上。
+ * @param face - 位于 XY 平面（或法向为 +Z）的填充面。
+ * @param dz - 拉伸高度（mm，可为负）。
+ * @returns 拉伸实体句柄。
+ */
+export declare function extrudeFace(face: BrepHandle, dz: number): BrepHandle;
+/**
+ * 圆柱（底面在 z=0，轴向 +Z）—— probe 段 5 实测 `makeCylinder(3,10)` 的 bbox z = 0→10、
+ * 体积 = π·9·10。
+ * @param radius - 半径（mm）。
+ * @param height - 高度（mm）。
+ * @returns 圆柱实体句柄。
+ */
+export declare function cylinder(radius: number, height: number): BrepHandle;
+/**
+ * 指定 z 区间内的圆柱（钻孔用；`zTo < zFrom` 时自动反向建体）。
+ * @param radius - 半径（mm）。
+ * @param zFrom - 起始高度（mm）。
+ * @param zTo - 结束高度（mm）。
+ * @returns 该 z 区间的圆柱实体句柄。
+ */
+export declare function cylinderBetween(radius: number, zFrom: number, zTo: number): BrepHandle;
+/**
+ * 圆锥/圆台（底面半径 `r1` 于 z=0，顶面半径 `r2` 于 z=height，轴 +Z）。
+ * @param r1 - 底面半径（mm）。
+ * @param r2 - 顶面半径（mm），取 0 得尖锥。
+ * @param height - 高度（mm）。
+ * @returns 圆台实体句柄。
+ */
+export declare function cone(r1: number, r2: number, height: number): BrepHandle;
+/**
+ * 包围盒对角线长度 —— cq `Workplane.largestDimension()` 的等价物。
+ *
+ * ⚠️ cq 的实现是 `shape.BoundingBox().DiagonalLength`（cadquery `cq.py`），即**盒子对角线**
+ * 而非「最大边长」。BradTeeNut 的钻孔深度取此值（fastener 的 `_fastenerHole` 在
+ * `depth=None` 时用 `self.largestDimension()`），实测 nut 侧 = √(36.3²+36.3²+16.5²)
+ * = 53.922444（`scripts/probe-bradtee-decomposition.py`）。
+ * @param shape - 待测体。
+ * @returns 包围盒对角线长度（mm）。
+ */
+export declare function bboxDiagonal(shape: BrepHandle): number;
+/** A 侧 `Shape.tessellate(tolerance, angularTolerance)` 的同一组参数
+ *  （cadquery `tessellate` 默认 angularTolerance=0.1；`gen-reference.py` 传 tolerance=0.002）。 */
+export declare const MESH_LINEAR_DEFLECTION = 0.002;
+/** 同一组参数里的角度容差（弧度），cadquery `tessellate` 默认 0.1。 */
+export declare const MESH_ANGULAR_DEFLECTION = 0.1;
+/**
+ * 三角化体积（有符号四面体求和）—— A 侧 manifest 里 `volume_mesh` 的等价量。
+ *
+ * ⚠️ 为什么体积必须另立 mesh 基准（W3 仲裁实测，2026-09-14）：
+ * 内核 `getVolume`（= BRepGProp 精确曲面积分）对**螺旋 B 样条面**出现**求积混叠**。
+ * A 侧 Thread raw/raw 实测：GProps=49.961532 / 三角化=43.680000（差 14%），且
+ *   ① 随长度**非单调**（L=10→34.97、11→49.96、12→39.18）；
+ *   ② 布尔分割**不可加**（两半 31.28 + 34.00 ≠ 49.96）；
+ *   ③ 三角化在 deflection 0.05→0.0005 收敛到 43.688，且与 Pappus 解析（43.694）一致。
+ * 故 GProps 是离群值，**以 mesh 为准**；`volumeOf`（GProps）仅作参考量。
+ *
+ * ⚠️ 调用顺序：`tessellate` 会**原地**给 shape 建三角化，之后任何按
+ * `useTriangulation=true` 取包围盒的操作都会被污染（A 侧 manifest 曾因此偏大
+ * 0.0126 mm）。**先量 bbox/质心，再调本函数。**
+ * @param shape - 待测实体。
+ * @param options - 覆盖默认线性/角度容差（一般不需要）。
+ * @returns 三角化后的有符号体积（mm³）；朝内实体为负。
+ */
+export declare function meshVolume(shape: BrepHandle, options?: TessellateOptionsLite): number;
+/**
+ * GProps 精确曲面积分体积 —— ⚠️ 对螺旋 B 样条面会求积混叠（见 {@link meshVolume}），
+ * 仅作参考量；判等价请用 `meshVolume`。
+ * @param shape - 待测实体。
+ * @returns 内核 `getVolume` 的原始值（mm³）。
+ */
+export declare function volumeOf(shape: BrepHandle): number;
+/**
+ * 表面积（GProps）。
+ * @param shape - 待测体/面。
+ * @returns 表面积（mm²）。
+ */
+export declare function areaOf(shape: BrepHandle): number;
+/**
+ * 精确包围盒（内核 `useTriangulation=false`）。
+ * ⚠️ 仍须先取本值再调 {@link meshVolume}，避免三角化污染。
+ * @param shape - 待测体/面。
+ * @returns `{xmin,ymin,zmin,xmax,ymax,zmax}`（mm）。
+ */
+export declare function bboxOf(shape: BrepHandle): {
+    xmin: number;
+    ymin: number;
+    zmin: number;
+    xmax: number;
+    ymax: number;
+    zmax: number;
+};
+/**
+ * 绕任意轴旋转（内核 `rotate`，弧度、右手）。
+ * 实测：box 绕 Z 转 π/2 精确落位；edge 同样可旋转（hexalobular 六分之一轮廓
+ * 的 polarArray 合成，上游 `edge.rotate` 等价）。
+ * @param shape - 任意 shape/edge/vertex。
+ * @param axis - 旋转轴（点 + 方向）。
+ * @param angleRad - 弧度。
+ * @returns 旋转后的新 handle。
+ */
+export declare function rotateAbout(shape: BrepHandle, axis: WarehouseAxis, angleRad: number): BrepHandle;
+/**
+ * 关于平面镜像（内核 `mirror`，点 + 法向）。
+ * 锥度沉孔切割器 = draftPrism 向上收锥后关于 XY 面镜像翻转（上游
+ * `extrude(-depth, taper)` 的语义等价替换，探针 §W5-probe11/12）。
+ * @param shape - 待镜像 shape。
+ * @param point - 镜像平面上一点。
+ * @param normal - 镜像平面法向。
+ * @returns 镜像后的新 handle。
+ */
+export declare function mirrorAbout(shape: BrepHandle, point: BrepVec3, normal: BrepVec3): BrepHandle;
+/**
+ * 顶点坐标（内核 `vertexPosition`）。
+ * @param vertex - 顶点 handle。
+ * @returns 世界坐标。
+ */
+export declare function vertexAt(vertex: BrepHandle): BrepVec3;
+/**
+ * 带拔模角的棱柱拉伸（内核 `draftPrism`，角度**度**）。
+ * ⚠️ 截面随锥度收缩到自交时内核直接抛错（A 侧 LocOpe_DPrism 容忍退化）——
+ * taper=30° 的 cross/R 沉孔因此是 W5 显式缺口（见 recess.ts 文件头）。
+ * @param face - 拉伸截面（平面 face）。
+ * @param dz - 拉伸高度（mm，正负皆可）。
+ * @param angleDeg - 拔模角（度，0 = 直棱柱）。
+ * @returns 拉伸实体。
+ */
+export declare function draftPrismFace(face: BrepHandle, dz: number, angleDeg: number): BrepHandle;
+/**
+ * 点列 → 插值 B 样条边（内核 `interpolatePoints`，cq `Workplane.spline` 等价：
+ * 过点插值，非逼近）。
+ * @param points - 插值点列（世界坐标）。
+ * @returns B 样条 edge handle。
+ */
+export declare function interpolateEdge(points: BrepVec3[]): BrepHandle;
+/**
+ * 点列 + 端点切向 → 插值三次 B 样条（`GeomAPI_Interpolate.Load(t0, t1, scale=True)`）。
+ * A 侧实证（probe73 vs probe72）：PanHead M6/M4/M2.5 三规格极点逐位一致——
+ * cq `Workplane.spline(tangents=…)` 对两点输入正是这条路径。
+ * @param points - 两个插值点（起点、终点，世界坐标）。
+ * @param startTangent - 起点切向（内核按 scale=True 处理，无需归一化）。
+ * @param endTangent - 终点切向。
+ * @returns B 样条 edge handle。
+ */
+export declare function interpolateEdgeWithTangents(points: [BrepVec3, BrepVec3], startTangent: BrepVec3, endTangent: BrepVec3): BrepHandle;
+/**
+ * cq `radiusArc` 的三点弧中点（`cq.py sagittaArc` 公式逐字复刻）。
+ * 约定（上游 docstring）：闭合轮廓顺时针绘制；radius>0 = 凸弧，<0 = 凹弧。
+ * @param p0 - 弧起点（2D）。
+ * @param p1 - 弧终点（2D）。
+ * @param radius - 半径（带符号，同 cq 约定）。
+ * @returns 弧上中点（2D）——喂给内核 `makeArcEdge(start, mid, end)`。
+ * @throws 当半径小于半弦长（弧够不着终点，同上游 ValueError）。
+ */
+export declare function radiusArcMidpoint(p0: {
+    x: number;
+    y: number;
+}, p1: {
+    x: number;
+    y: number;
+}, radius: number): {
+    x: number;
+    y: number;
+};
+/**
+ * 两直线夹角处的圆角化（`Wire.fillet2D` 的线-线角几何复刻，§6 第 ② 类）。
+ * 给定顶点 B 及其前后点 A、C，计算半径 r 的相切圆角：
+ * 切点距 B 沿两边各 t = r/tan(θ/2)，圆心在角平分线上距 B 为 r/sin(θ/2)。
+ * 凹角（材料在外）时圆弧向 B 鼓出 → 面积**增加**（A 侧 cross 沉孔
+ * 11.262240 实证）。
+ * @param a - 前一点。
+ * @param b - 圆角顶点。
+ * @param c - 后一点。
+ * @param radius - 圆角半径。
+ * @returns 切点 P1/P2 与弧中点 mid（2D）。
+ * @throws 当半径超过任一边可用长度。
+ */
+export declare function filletCorner2D(a: {
+    x: number;
+    y: number;
+}, b: {
+    x: number;
+    y: number;
+}, c: {
+    x: number;
+    y: number;
+}, radius: number): {
+    p1: {
+        x: number;
+        y: number;
+    };
+    p2: {
+        x: number;
+        y: number;
+    };
+    mid: {
+        x: number;
+        y: number;
+    };
+};
+//# sourceMappingURL=primitives.d.ts.map

package/dist/primitives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACzD,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAEnB,MAAM,UAAU,CAAA;AAOjB;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CACvB,MAAM,EAAE,QAAQ,EAChB,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,UAAU,CAEZ;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,UAAU,EACnB,IAAI,EAAE,aAAa,EACnB,QAAQ,EAAE,MAAM,GACf,UAAU,CAGZ;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,CAEzD;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,SAAS,SAAO,GAAG,UAAU,CAEhF;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAEtF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,SAAS,SAAO,GAAG,UAAU,CAIhF;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAM3D;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,SAAO,GAAG,UAAU,CAE7F;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAEzD;AAID;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,UAAU,CAE7D;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,UAAU,CAE3E;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,CAE7D;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAU1D;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,EAAE,CAMxD;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,UAAU,CAEtF;AAED;8CAC8C;AAC9C,eAAO,MAAM,mBAAmB,WAAO,CAAA;AAEvC;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,SAAS,CACvB,IAAI,EAAE,QAAQ,EAAE,EAChB,IAAI,EAAE,QAAQ,EAAE,EAChB,SAAS,SAAsB,GAC9B,UAAU,CAYZ;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,GAAE,QAA+B,GAAG,UAAU,CAOhG;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,CAAC,SAAI,GACJ,UAAU,CAOZ;AAID;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAE3F;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAE5E;AAED;;;;;GAKG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAE5D;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAElE;AAED;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAE7D;AAID;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAEvD;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAEpE;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAEnE;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,CAGtF;AAED;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAEvE;AAED;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAGtD;AAID;4FAC4F;AAC5F,eAAO,MAAM,sBAAsB,QAAQ,CAAA;AAC3C,oDAAoD;AACpD,eAAO,MAAM,uBAAuB,MAAM,CAAA;AAE1C;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,UAAU,EACjB,OAAO,GAAE,qBAA0B,GAClC,MAAM,CA0BR;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAElD;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEhD;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG;IACzC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;CACb,CAEA;AAID;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAEhG;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,UAAU,CAE5F;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,QAAQ,CAErD;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAEzF;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAE9D;AAED;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAC5B,YAAY,EAAE,QAAQ,EACtB,UAAU,EAAE,QAAQ,GACnB,UAAU,CAEZ;AAID;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,EAC5B,EAAE,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,EAC5B,MAAM,EAAE,MAAM,GACb;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAmB1B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,EAC3B,CAAC,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,EAC3B,CAAC,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,EAC3B,MAAM,EAAE,MAAM,GACb;IAAE,EAAE,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,EAAE,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,GAAG,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAoB/F"}