@faicad/faijs 0.13.0

package/dist/sdf/templates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.js","sourceRoot":"","sources":["../../src/sdf/templates.ts"],"names":[],"mappings":"AAGA,sFAAsF;AACtF,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C;QACE,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,IAAI;QACV,QAAQ,EAAE,WAAW;QACrB,WAAW,EAAE,2BAA2B;QACxC,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;QAC1D,IAAI,EAAE;;;;;;;;;EASR;KACC;IACD;QACE,EAAE,EAAE,OAAO;QACX,IAAI,EAAE,IAAI;QACV,QAAQ,EAAE,WAAW;QACrB,WAAW,EAAE,YAAY;QACzB,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;QAC1D,IAAI,EAAE;;;;;;;;;;;EAWR;KACC;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,WAAW;QACrB,WAAW,EAAE,YAAY;QACzB,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;QAC1D,IAAI,EAAE;;;;;;;;;;;;;EAaR;KACC;IACD;QACE,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,aAAa;QACnB,QAAQ,EAAE,UAAU;QACpB,WAAW,EAAE,QAAQ;QACrB,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;QACpD,IAAI,EAAE;;;;;;;;;;;;;;EAcR;KACC;IACD;QACE,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;QAC1D,IAAI,EAAE;;;;;;;;;;;;;;EAcR;KACC;IACD;QACE,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,WAAW;QACrB,WAAW,EAAE,iBAAiB;QAC9B,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;QAC1D,IAAI,EAAE;;;;;;;;;;;;;;;EAeR;KACC;IACD;QACE,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,eAAe;QACrB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,cAAc;QAC3B,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;QACpD,IAAI,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6BR;KACC;IACD;QACE,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,WAAW;QACrB,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;QACpD,IAAI,EAAE;;;;;;;;;;;;EAYR;KACC;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,UAAU;QACpB,WAAW,EAAE,eAAe;QAC5B,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;QAC1D,IAAI,EAAE;;;;;;;;;;;;;;;;;;EAkBR;KACC;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,YAAY;QACzB,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;QAC1D,IAAI,EAAE;;;;;;;;;;;;;;;;;;EAkBR;KACC;IACD;QACE,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,UAAU;QACpB,WAAW,EAAE,kCAAkC;QAC/C,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;QACpD,IAAI,EAAE;;;;;;;;;;;;EAYR;KACC;IACD;QACE,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,UAAU;QACpB,WAAW,EAAE,yCAAyC;QACtD,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;QACpD,IAAI,EAAE;;;;;;;;;;;;;;;EAeR;KACC;CACF,CAAA;AAED,eAAe;AACf,MAAM,CAAC,MAAM,oBAAoB,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA","sourcesContent":["/** SDF 内置模板库 — 每个模板既是功能也是教学示例 */\nimport type { SdfTemplate } from './types'\n\n/** Built-in SDF templates: each template is both a feature and a teaching example. */\nexport const SDF_TEMPLATES: SdfTemplate[] = [\n  {\n    id: 'sphere',\n    name: '球体',\n    category: 'primitive',\n    description: '最简 SDF：sqrt(x²+y²+z²) - r',\n    defaultBounds: { min: [-12, -12, -12], max: [12, 12, 12] },\n    code: `// 球体 -- 最简 SDF：sqrt(x²+y²+z²) - r\n// @param radius 10 半径\nfunction sdf(x, y, z) {\n  return radius - Math.sqrt(x*x + y*y + z*z)\n}\n\nfunction bounds() {\n  const r = radius\n  return { min: [-r, -r, -r], max: [r, r, r] }\n}`,\n  },\n  {\n    id: 'torus',\n    name: '圆环',\n    category: 'primitive',\n    description: '二维到一维的降维技巧',\n    defaultBounds: { min: [-22, -22, -22], max: [22, 22, 22] },\n    code: `// 圆环 -- 二维到一维的降维技巧\n// @param majorRadius 15 大半径\n// @param minorRadius 5 小半径\nfunction sdf(x, y, z) {\n  const qx = Math.sqrt(x*x + y*y) - majorRadius\n  return Math.sqrt(qx*qx + z*z) - minorRadius\n}\n\nfunction bounds() {\n  const r = majorRadius + minorRadius\n  return { min: [-r, -r, -r], max: [r, r, r] }\n}`,\n  },\n  {\n    id: 'ripple-sphere',\n    name: '波纹球体',\n    category: 'primitive',\n    description: '用 sin 调制半径',\n    defaultBounds: { min: [-16, -16, -16], max: [16, 16, 16] },\n    code: `// 波纹球体 -- 用 sin 调制半径\n// @param radius 10 半径\n// @param freq 3 波纹频率\n// @param amp 1 波纹幅度\nfunction sdf(x, y, z) {\n  const r = Math.sqrt(x*x + y*y + z*z)\n  const ripple = amp * Math.sin(freq * r)\n  return (radius + ripple) - r\n}\n\nfunction bounds() {\n  const r = radius + amp\n  return { min: [-r, -r, -r], max: [r, r, r] }\n}`,\n  },\n  {\n    id: 'gyroid',\n    name: 'Gyroid 极小曲面',\n    category: 'periodic',\n    description: '周期函数组合',\n    defaultBounds: { min: [-7, -7, -7], max: [7, 7, 7] },\n    code: `// Gyroid 极小曲面 -- 周期函数组合\n// @param period 6.28 周期\n// @param thickness 0.5 壁厚\nfunction sdf(x, y, z) {\n  const k = 2 * Math.PI / period\n  const g = Math.cos(k*x) * Math.sin(k*y)\n           + Math.cos(k*y) * Math.sin(k*z)\n           + Math.cos(k*z) * Math.sin(k*x)\n  return thickness - Math.abs(g)\n}\n\nfunction bounds() {\n  const p = period\n  return { min: [-p, -p, -p], max: [p, p, p] }\n}`,\n  },\n  {\n    id: 'metaball',\n    name: '球体混合',\n    category: 'blend',\n    description: 'exp-sum-log 平滑混合',\n    defaultBounds: { min: [-18, -18, -18], max: [18, 18, 18] },\n    code: `// 球体混合 -- exp-sum-log 平滑混合\n// @param radius1 7 球1半径\n// @param radius2 6 球2半径\n// @param blend 2 混合系数\nfunction sdf(x, y, z) {\n  const d1 = Math.sqrt((x+5)*(x+5) + y*y + z*z) - radius1\n  const d2 = Math.sqrt((x-5)*(x-5) + y*y + z*z) - radius2\n  const e = blend\n  return Math.log(Math.exp(-e*d1) + Math.exp(-e*d2)) / e\n}\n\nfunction bounds() {\n  const r = Math.max(radius1, radius2) + 5\n  return { min: [-r, -r, -r], max: [r, r, r] }\n}`,\n  },\n  {\n    id: 'cube-frame',\n    name: '立方体框架',\n    category: 'primitive',\n    description: 'max 做交集、min 做并集',\n    defaultBounds: { min: [-22, -22, -22], max: [22, 22, 22] },\n    code: `// 立方体框架 -- max 做交集、min 做并集\n// @param size 20 边长\n// @param thickness 1.5 杆径\nfunction sdf(x, y, z) {\n  const h = size / 2\n  const q = [Math.abs(x) - h, Math.abs(y) - h, Math.abs(z) - h]\n  const d1 = Math.sqrt(q[1]*q[1] + q[2]*q[2]) - thickness\n  const d2 = Math.sqrt(q[0]*q[0] + q[2]*q[2]) - thickness\n  const d3 = Math.sqrt(q[0]*q[0] + q[1]*q[1]) - thickness\n  return Math.min(Math.min(d1, d2), d3)\n}\n\nfunction bounds() {\n  const h = size / 2 + thickness\n  return { min: [-h, -h, -h], max: [h, h, h] }\n}`,\n  },\n  {\n    id: 'mandelbulb',\n    name: 'Mandelbulb 分形',\n    category: 'fractal',\n    description: '循环迭代 + 球坐标变换',\n    defaultBounds: { min: [-4, -4, -4], max: [4, 4, 4] },\n    code: `// Mandelbulb 分形 -- 循环迭代 + 球坐标变换\n// @param power 8 分形幂次\n// @param radius 3 最大半径\n// @param maxIter 20 迭代次数 int\nfunction sdf(x, y, z) {\n  let w = [x, y, z]\n  let dr = 1.0\n  let r = 0.0\n  for (let i = 0; i < maxIter; i++) {\n    r = Math.sqrt(w[0]*w[0] + w[1]*w[1] + w[2]*w[2])\n    if (r > radius) break\n    const theta = Math.acos(w[2] / r)\n    const phi = Math.atan2(w[1], w[0])\n    const rn = Math.pow(r, power)\n    dr = Math.pow(r, power - 1.0) * power * dr + 1.0\n    const thetaN = theta * power\n    const phiN = phi * power\n    w = [\n      rn * Math.sin(thetaN) * Math.cos(phiN) + x,\n      rn * Math.sin(thetaN) * Math.sin(phiN) + y,\n      rn * Math.cos(thetaN) + z,\n    ]\n  }\n  return 0.5 * Math.log(r) * r / dr\n}\n\nfunction bounds() {\n  const r = radius + 1\n  return { min: [-r, -r, -r], max: [r, r, r] }\n}`,\n  },\n  {\n    id: 'cylinder',\n    name: '圆柱 (布尔)',\n    category: 'primitive',\n    description: '无限圆柱 + 平面截断 (交集)',\n    defaultBounds: { min: [-9, -9, -9], max: [9, 9, 9] },\n    code: `// 圆柱 (布尔) -- 无限圆柱 + 平面截断 (交集)\n// @param radius 8 圆柱半径\n// @param height 15 截断高度\nfunction sdf(x, y, z) {\n  const cyl = Math.sqrt(x*x + y*y) - radius\n  const cap = Math.abs(z) - height / 2\n  return Math.max(cyl, cap)\n}\n\nfunction bounds() {\n  const h = height / 2\n  return { min: [-radius, -radius, -h], max: [radius, radius, h] }\n}`,\n  },\n  {\n    id: 'gyroid-lattice',\n    name: '晶格填充',\n    category: 'periodic',\n    description: 'Gyroid 与立方体求交',\n    defaultBounds: { min: [-11, -11, -11], max: [11, 11, 11] },\n    code: `// 晶格填充 -- Gyroid 与立方体求交\n// @param period 5 周期\n// @param thickness 0.3 壁厚\n// @param size 20 立方体边长\nfunction sdf(x, y, z) {\n  const k = 2 * Math.PI / period\n  const g = Math.cos(k*x) * Math.sin(k*y)\n           + Math.cos(k*y) * Math.sin(k*z)\n           + Math.cos(k*z) * Math.sin(k*x)\n  const gyroidShell = thickness - Math.abs(g)\n  const h = size / 2\n  const box = Math.max(Math.abs(x) - h, Math.abs(y) - h, Math.abs(z) - h)\n  return Math.max(gyroidShell, box)\n}\n\nfunction bounds() {\n  const h = size / 2\n  return { min: [-h, -h, -h], max: [h, h, h] }\n}`,\n  },\n  {\n    id: 'noise-terrain',\n    name: '噪声地形',\n    category: 'utility',\n    description: '多频正弦叠加模拟地形',\n    defaultBounds: { min: [-22, -22, -10], max: [22, 22, 14] },\n    code: `// 噪声地形 -- 多频正弦叠加模拟地形\n// @param scale 20 地形尺度\n// @param rough 0.5 粗糙度\n// @param height 8 最大高度\nfunction sdf(x, y, z) {\n  const nx = x / scale\n  const ny = y / scale\n  const terrain =\n    Math.sin(nx * 1.0) * Math.cos(ny * 1.3) * 0.5 +\n    Math.sin(nx * 2.1 + 1.3) * Math.cos(ny * 1.7 + 0.7) * 0.25 +\n    Math.sin(nx * 4.3 + 2.1) * Math.cos(ny * 3.7 + 1.3) * 0.125 +\n    Math.sin(nx * 8.7 + 3.4) * Math.cos(ny * 7.3 + 2.1) * 0.0625\n  const ground = height * (0.5 + terrain * rough)\n  return ground - z\n}\n\nfunction bounds() {\n  return { min: [-scale, -scale, -height], max: [scale, scale, height * 1.5] }\n}`,\n  },\n  {\n    id: 'schwarzP',\n    name: 'Schwarz P 极小曲面',\n    category: 'periodic',\n    description: 'cos 和式 TPMS（§2.6.4 补 lattice 缺口）',\n    defaultBounds: { min: [-7, -7, -7], max: [7, 7, 7] },\n    code: `// Schwarz P 极小曲面 -- cos(kx)+cos(ky)+cos(kz)=0 的等值壳\n// @param period 6.28 周期\n// @param thickness 0.5 壁厚\nfunction sdf(x, y, z) {\n  const k = 2 * Math.PI / period\n  const p = Math.cos(k*x) + Math.cos(k*y) + Math.cos(k*z)\n  return thickness - Math.abs(p)\n}\n\nfunction bounds() {\n  const p = period\n  return { min: [-p, -p, -p], max: [p, p, p] }\n}`,\n  },\n  {\n    id: 'diamond',\n    name: 'Diamond 极小曲面',\n    category: 'periodic',\n    description: '四重 sin/cos 和式 TPMS（§2.6.4 补 lattice 缺口）',\n    defaultBounds: { min: [-7, -7, -7], max: [7, 7, 7] },\n    code: `// Diamond 极小曲面 -- 四重和式 TPMS 的等值壳\n// @param period 6.28 周期\n// @param thickness 0.5 壁厚\nfunction sdf(x, y, z) {\n  const k = 2 * Math.PI / period\n  const sx = Math.sin(k*x), cx = Math.cos(k*x)\n  const sy = Math.sin(k*y), cy = Math.cos(k*y)\n  const sz = Math.sin(k*z), cz = Math.cos(k*z)\n  const d = sx*sy*sz + sx*cy*cz + cx*sy*cz + cx*cy*sz\n  return thickness - Math.abs(d)\n}\n\nfunction bounds() {\n  const p = period\n  return { min: [-p, -p, -p], max: [p, p, p] }\n}`,\n  },\n]\n\n/** 默认模板（球体） */\nexport const DEFAULT_SDF_TEMPLATE = SDF_TEMPLATES[0]\n"]}

package/dist/sdf/types.d.ts

@@ -0,0 +1,114 @@
+/** SDF 建模功能的核心类型与 @param 注释解析器 */
+/** 包围盒（与 manifold-3d 的 Box 一致） */
+export interface SdfBox {
+    min: [number, number, number];
+    max: [number, number, number];
+}
+/** 用户可调节的参数定义（从 // @param 注释中解析） */
+export interface SdfParamDef {
+    name: string;
+    /** 显示标签，不指定时用 name 代替 */
+    label?: string;
+    /** 参数类型：'number'（浮点数，默认）| 'int'（整数） */
+    type?: 'number' | 'int';
+    default: number;
+}
+/** SDF 模型元信息，挂载在 LoadedFileModel.sdfMeta 上 */
+export interface SdfMeta {
+    code: string;
+    params: Record<string, number>;
+    paramDefs: SdfParamDef[];
+    edgeLength: number;
+    level: number;
+    tolerance: number;
+    bounds: SdfBox;
+    /** 模型显示名称（来源于模板名或自定义） */
+    modelName: string;
+}
+/** 模板分类 */
+export type SdfTemplateCategory = 'primitive' | 'periodic' | 'blend' | 'fractal' | 'utility';
+/** SDF 模板定义 */
+export interface SdfTemplate {
+    id: string;
+    name: string;
+    category: SdfTemplateCategory;
+    description: string;
+    code: string;
+    defaultBounds: SdfBox;
+}
+/** Worker 输入 */
+export interface SdfWorkerInput {
+    id: string;
+    code: string;
+    params: Record<string, number>;
+    bounds: [number, number, number, number, number, number];
+    edgeLength: number;
+    level: number;
+    tolerance: number;
+}
+/** Worker 输出（与 CSG Worker 的 ManifoldMeshData 一致） */
+export interface SdfWorkerResult {
+    type: 'result';
+    id: string;
+    positions: Float32Array;
+    indices: Uint32Array;
+}
+/** Worker error message reporting a failed SDF job. */
+export interface SdfWorkerError {
+    type: 'error';
+    id: string;
+    message: string;
+}
+/** Worker 进度消息 */
+export interface SdfWorkerProgress {
+    type: 'progress';
+    id: string;
+    /** 阶段标识：'compile' | 'levelset' | 'extract' | 'done' */
+    phase: string;
+    /** 可读的进度描述 */
+    message: string;
+    /** 累计耗时（毫秒） */
+    elapsedMs: number;
+}
+/** Union of all messages a Worker can send for an SDF job. */
+export type SdfWorkerMessage = SdfWorkerResult | SdfWorkerError | SdfWorkerProgress;
+/**
+ * 从 SDF 代码中解析所有 // @param 注释。
+ *
+ * 格式：// @param <name> <default> [label] [type]
+ *
+ * - label 省略时用 name 代替
+ * - type 省略时默认为 number（支持：number | int）
+ *
+ * 示例：
+ *   // @param radius 10 半径          // label=半径,  type=number
+ *   // @param radius 10               // label=radius, type=number
+ *   // @param maxIter 20 迭代次数 int  // label=迭代次数, type=int
+ *   // @param count 8 int             // label=count,  type=int
+ *
+ * @param code - the SDF source code to parse.
+ * @returns the parsed parameter definitions.
+ */
+export declare function parseParamDefs(code: string): SdfParamDef[];
+/**
+ * 根据参数定义生成默认参数值表。
+ *
+ * @param defs - the parsed parameter definitions.
+ * @returns a map of parameter name → default value.
+ */
+export declare function defaultParamValues(defs: SdfParamDef[]): Record<string, number>;
+/**
+ * 将包围盒转为 worker 输入所需的 6 元组。
+ *
+ * @param box - the bounding box to convert.
+ * @returns the box as [xmin, ymin, zmin, xmax, ymax, zmax].
+ */
+export declare function boxToTuple(box: SdfBox): [number, number, number, number, number, number];
+/**
+ * 将 6 元组转为包围盒。
+ *
+ * @param t - the [xmin, ymin, zmin, xmax, ymax, zmax] tuple.
+ * @returns the equivalent bounding box.
+ */
+export declare function tupleToBox(t: [number, number, number, number, number, number]): SdfBox;
+//# sourceMappingURL=types.d.ts.map

package/dist/sdf/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/sdf/types.ts"],"names":[],"mappings":"AAAA,kCAAkC;AAElC,kCAAkC;AAClC,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,GAAG,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAC9B;AAED,oCAAoC;AACpC,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,yBAAyB;IACzB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,uCAAuC;IACvC,IAAI,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAA;IACvB,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,8CAA8C;AAC9C,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,SAAS,EAAE,WAAW,EAAE,CAAA;IACxB,UAAU,EAAE,MAAM,CAAA;IAClB,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,MAAM,CAAA;IACd,yBAAyB;IACzB,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,WAAW;AACX,MAAM,MAAM,mBAAmB,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAA;AAE5F,eAAe;AACf,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,mBAAmB,CAAA;IAC7B,WAAW,EAAE,MAAM,CAAA;IACnB,IAAI,EAAE,MAAM,CAAA;IACZ,aAAa,EAAE,MAAM,CAAA;CACtB;AAED,gBAAgB;AAChB,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IACxD,UAAU,EAAE,MAAM,CAAA;IAClB,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,oDAAoD;AACpD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,CAAA;IACd,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,YAAY,CAAA;IACvB,OAAO,EAAE,WAAW,CAAA;CACrB;AAED,uDAAuD;AACvD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,kBAAkB;AAClB,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,CAAA;IAChB,EAAE,EAAE,MAAM,CAAA;IACV,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAA;IACb,cAAc;IACd,OAAO,EAAE,MAAM,CAAA;IACf,eAAe;IACf,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,8DAA8D;AAC9D,MAAM,MAAM,gBAAgB,GAAG,eAAe,GAAG,cAAc,GAAG,iBAAiB,CAAA;AAInF;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,CAuC1D;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAM9E;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAExF;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAEtF"}

package/dist/sdf/types.js

@@ -0,0 +1,97 @@
+/** SDF 建模功能的核心类型与 @param 注释解析器 */
+// ── @param 注释解析器 ──────────────────────────────────────────
+/**
+ * 从 SDF 代码中解析所有 // @param 注释。
+ *
+ * 格式：// @param <name> <default> [label] [type]
+ *
+ * - label 省略时用 name 代替
+ * - type 省略时默认为 number（支持：number | int）
+ *
+ * 示例：
+ *   // @param radius 10 半径          // label=半径,  type=number
+ *   // @param radius 10               // label=radius, type=number
+ *   // @param maxIter 20 迭代次数 int  // label=迭代次数, type=int
+ *   // @param count 8 int             // label=count,  type=int
+ *
+ * @param code - the SDF source code to parse.
+ * @returns the parsed parameter definitions.
+ */
+export function parseParamDefs(code) {
+    const defs = [];
+    const lines = code.split('\n');
+    const re = /^\s*\/\/\s*@param\s+(.+)$/;
+    for (const line of lines) {
+        const m = line.match(re);
+        if (!m)
+            continue;
+        const tokens = m[1].trim().split(/\s+/);
+        if (tokens.length < 2)
+            continue;
+        const name = tokens[0];
+        const defaultVal = Number(tokens[1]);
+        if (Number.isNaN(defaultVal))
+            continue;
+        const rest = tokens.slice(2);
+        let label;
+        let type;
+        if (rest.length === 0) {
+            // @param name default — label=name, type=number
+            label = name;
+        }
+        else if (rest.length === 1) {
+            const t = rest[0];
+            if (t === 'number' || t === 'int') {
+                // @param name default type — label=name, type=t
+                type = t;
+                label = name;
+            }
+            else {
+                // @param name default label — label=t, type=number
+                label = t;
+            }
+        }
+        else {
+            // @param name default label type — label=rest[0], type=rest[1]
+            label = rest[0];
+            if (rest[1] === 'number' || rest[1] === 'int') {
+                type = rest[1];
+            }
+        }
+        const def = { name, label, type, default: defaultVal };
+        defs.push(def);
+    }
+    return defs;
+}
+/**
+ * 根据参数定义生成默认参数值表。
+ *
+ * @param defs - the parsed parameter definitions.
+ * @returns a map of parameter name → default value.
+ */
+export function defaultParamValues(defs) {
+    const vals = {};
+    for (const d of defs) {
+        vals[d.name] = d.default;
+    }
+    return vals;
+}
+/**
+ * 将包围盒转为 worker 输入所需的 6 元组。
+ *
+ * @param box - the bounding box to convert.
+ * @returns the box as [xmin, ymin, zmin, xmax, ymax, zmax].
+ */
+export function boxToTuple(box) {
+    return [box.min[0], box.min[1], box.min[2], box.max[0], box.max[1], box.max[2]];
+}
+/**
+ * 将 6 元组转为包围盒。
+ *
+ * @param t - the [xmin, ymin, zmin, xmax, ymax, zmax] tuple.
+ * @returns the equivalent bounding box.
+ */
+export function tupleToBox(t) {
+    return { min: [t[0], t[1], t[2]], max: [t[3], t[4], t[5]] };
+}
+//# sourceMappingURL=types.js.map

package/dist/sdf/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/sdf/types.ts"],"names":[],"mappings":"AAAA,kCAAkC;AAqFlC,6DAA6D;AAE7D;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,IAAI,GAAkB,EAAE,CAAA;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,EAAE,GAAG,2BAA2B,CAAA;IACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACxB,IAAI,CAAC,CAAC;YAAE,SAAQ;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACvC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,SAAQ;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;QACtB,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACpC,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;YAAE,SAAQ;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAC5B,IAAI,KAAyB,CAAA;QAC7B,IAAI,IAAqC,CAAA;QACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,gDAAgD;YAChD,KAAK,GAAG,IAAI,CAAA;QACd,CAAC;aAAM,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YACjB,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;gBAClC,gDAAgD;gBAChD,IAAI,GAAG,CAAC,CAAA;gBACR,KAAK,GAAG,IAAI,CAAA;YACd,CAAC;iBAAM,CAAC;gBACN,mDAAmD;gBACnD,KAAK,GAAG,CAAC,CAAA;YACX,CAAC;QACH,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YACf,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;gBAC9C,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAgB,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAA;QACnE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAChB,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAmB;IACpD,MAAM,IAAI,GAA2B,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAiB,CAAA;IACpC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AACjF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,CAAmD;IAC5E,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAC7D,CAAC","sourcesContent":["/** SDF 建模功能的核心类型与 @param 注释解析器 */\n\n/** 包围盒（与 manifold-3d 的 Box 一致） */\nexport interface SdfBox {\n  min: [number, number, number]\n  max: [number, number, number]\n}\n\n/** 用户可调节的参数定义（从 // @param 注释中解析） */\nexport interface SdfParamDef {\n  name: string\n  /** 显示标签，不指定时用 name 代替 */\n  label?: string\n  /** 参数类型：'number'（浮点数，默认）| 'int'（整数） */\n  type?: 'number' | 'int'\n  default: number\n}\n\n/** SDF 模型元信息，挂载在 LoadedFileModel.sdfMeta 上 */\nexport interface SdfMeta {\n  code: string\n  params: Record<string, number>\n  paramDefs: SdfParamDef[]\n  edgeLength: number\n  level: number\n  tolerance: number\n  bounds: SdfBox\n  /** 模型显示名称（来源于模板名或自定义） */\n  modelName: string\n}\n\n/** 模板分类 */\nexport type SdfTemplateCategory = 'primitive' | 'periodic' | 'blend' | 'fractal' | 'utility'\n\n/** SDF 模板定义 */\nexport interface SdfTemplate {\n  id: string\n  name: string\n  category: SdfTemplateCategory\n  description: string\n  code: string\n  defaultBounds: SdfBox\n}\n\n/** Worker 输入 */\nexport interface SdfWorkerInput {\n  id: string\n  code: string\n  params: Record<string, number>\n  bounds: [number, number, number, number, number, number] // [xmin,ymin,zmin,xmax,ymax,zmax]\n  edgeLength: number\n  level: number\n  tolerance: number // <0 表示用 manifold 默认\n}\n\n/** Worker 输出（与 CSG Worker 的 ManifoldMeshData 一致） */\nexport interface SdfWorkerResult {\n  type: 'result'\n  id: string\n  positions: Float32Array\n  indices: Uint32Array\n}\n\n/** Worker error message reporting a failed SDF job. */\nexport interface SdfWorkerError {\n  type: 'error'\n  id: string\n  message: string\n}\n\n/** Worker 进度消息 */\nexport interface SdfWorkerProgress {\n  type: 'progress'\n  id: string\n  /** 阶段标识：'compile' | 'levelset' | 'extract' | 'done' */\n  phase: string\n  /** 可读的进度描述 */\n  message: string\n  /** 累计耗时（毫秒） */\n  elapsedMs: number\n}\n\n/** Union of all messages a Worker can send for an SDF job. */\nexport type SdfWorkerMessage = SdfWorkerResult | SdfWorkerError | SdfWorkerProgress\n\n// ── @param 注释解析器 ──────────────────────────────────────────\n\n/**\n * 从 SDF 代码中解析所有 // @param 注释。\n *\n * 格式：// @param <name> <default> [label] [type]\n *\n * - label 省略时用 name 代替\n * - type 省略时默认为 number（支持：number | int）\n *\n * 示例：\n *   // @param radius 10 半径          // label=半径,  type=number\n *   // @param radius 10               // label=radius, type=number\n *   // @param maxIter 20 迭代次数 int  // label=迭代次数, type=int\n *   // @param count 8 int             // label=count,  type=int\n *\n * @param code - the SDF source code to parse.\n * @returns the parsed parameter definitions.\n */\nexport function parseParamDefs(code: string): SdfParamDef[] {\n  const defs: SdfParamDef[] = []\n  const lines = code.split('\\n')\n  const re = /^\\s*\\/\\/\\s*@param\\s+(.+)$/\n  for (const line of lines) {\n    const m = line.match(re)\n    if (!m) continue\n    const tokens = m[1].trim().split(/\\s+/)\n    if (tokens.length < 2) continue\n    const name = tokens[0]\n    const defaultVal = Number(tokens[1])\n    if (Number.isNaN(defaultVal)) continue\n    const rest = tokens.slice(2)\n    let label: string | undefined\n    let type: SdfParamDef['type'] | undefined\n    if (rest.length === 0) {\n      // @param name default — label=name, type=number\n      label = name\n    } else if (rest.length === 1) {\n      const t = rest[0]\n      if (t === 'number' || t === 'int') {\n        // @param name default type — label=name, type=t\n        type = t\n        label = name\n      } else {\n        // @param name default label — label=t, type=number\n        label = t\n      }\n    } else {\n      // @param name default label type — label=rest[0], type=rest[1]\n      label = rest[0]\n      if (rest[1] === 'number' || rest[1] === 'int') {\n        type = rest[1]\n      }\n    }\n    const def: SdfParamDef = { name, label, type, default: defaultVal }\n    defs.push(def)\n  }\n  return defs\n}\n\n/**\n * 根据参数定义生成默认参数值表。\n *\n * @param defs - the parsed parameter definitions.\n * @returns a map of parameter name → default value.\n */\nexport function defaultParamValues(defs: SdfParamDef[]): Record<string, number> {\n  const vals: Record<string, number> = {}\n  for (const d of defs) {\n    vals[d.name] = d.default as number\n  }\n  return vals\n}\n\n/**\n * 将包围盒转为 worker 输入所需的 6 元组。\n *\n * @param box - the bounding box to convert.\n * @returns the box as [xmin, ymin, zmin, xmax, ymax, zmax].\n */\nexport function boxToTuple(box: SdfBox): [number, number, number, number, number, number] {\n  return [box.min[0], box.min[1], box.min[2], box.max[0], box.max[1], box.max[2]]\n}\n\n/**\n * 将 6 元组转为包围盒。\n *\n * @param t - the [xmin, ymin, zmin, xmax, ymax, zmax] tuple.\n * @returns the equivalent bounding box.\n */\nexport function tupleToBox(t: [number, number, number, number, number, number]): SdfBox {\n  return { min: [t[0], t[1], t[2]], max: [t[3], t[4], t[5]] }\n}\n"]}

package/dist/sdf.d.ts

@@ -0,0 +1,12 @@
+/**
+ * @faicad/faijs/sdf — SDF operations entry
+ *
+ * Browser-safe exports for SDF operations.
+ * Use this in worker contexts to avoid pulling in Node.js code.
+ */
+export type { SdfMeshData } from './sdf/sdf-runner.js';
+export { runSdfInline } from './sdf/sdf-core.js';
+export { SDF_TEMPLATES, DEFAULT_SDF_TEMPLATE } from './sdf/templates.js';
+export type { SdfMeta, SdfBox, SdfParamDef, SdfTemplateCategory, SdfWorkerInput, SdfWorkerMessage, } from './sdf/types.js';
+export { boxToTuple, parseParamDefs, defaultParamValues } from './sdf/types.js';
+//# sourceMappingURL=sdf.d.ts.map

package/dist/sdf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sdf.d.ts","sourceRoot":"","sources":["../src/sdf.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AACrE,YAAY,EACV,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,mBAAmB,EACjD,cAAc,EAAE,gBAAgB,GACjC,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA"}

package/dist/sdf.js

@@ -0,0 +1,10 @@
+/**
+ * @faicad/faijs/sdf — SDF operations entry
+ *
+ * Browser-safe exports for SDF operations.
+ * Use this in worker contexts to avoid pulling in Node.js code.
+ */
+export { runSdfInline } from './sdf/sdf-core.js';
+export { SDF_TEMPLATES, DEFAULT_SDF_TEMPLATE } from './sdf/templates.js';
+export { boxToTuple, parseParamDefs, defaultParamValues } from './sdf/types.js';
+//# sourceMappingURL=sdf.js.map

package/dist/sdf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sdf.js","sourceRoot":"","sources":["../src/sdf.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AAKrE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA","sourcesContent":["/**\n * @faicad/faijs/sdf — SDF operations entry\n *\n * Browser-safe exports for SDF operations.\n * Use this in worker contexts to avoid pulling in Node.js code.\n */\n\nexport type { SdfMeshData } from './sdf/sdf-runner'\nexport { runSdfInline } from './sdf/sdf-core'\nexport { SDF_TEMPLATES, DEFAULT_SDF_TEMPLATE } from './sdf/templates'\nexport type {\n  SdfMeta, SdfBox, SdfParamDef, SdfTemplateCategory,\n  SdfWorkerInput, SdfWorkerMessage,\n} from './sdf/types'\nexport { boxToTuple, parseParamDefs, defaultParamValues } from './sdf/types'"]}

package/dist/sdk.d.ts

@@ -0,0 +1,30 @@
+/**
+ * sdk — 第三方库开发面（F3 / roadmap V2.2）
+ *
+ *
+ * 第三方库模块（`import * as mech from 'gear-lib-demo'` 的目标）用它开发：
+ * ```ts
+ * import { solid, fromBrep, isShape, keep, getBackends, CONTRACT_VERSION } from '@faicad/faijs/sdk'
+ * export const contractVersion = CONTRACT_VERSION
+ * export function makeHeadstock(params) { ... }
+ * ```
+ *
+ * 本入口**零 heavy 运行时依赖**：只 re-export runtime-state（L0+ 零依赖锚点层）
+ * 与 stdlib/shape（构造器 + 身份表，仅 type-import mesh 类型）。
+ * 值导入闭包不含 three / occt-wasm / manifold / node:*——由守卫测试保证
+ * （dist/sdk.js 静态 import 扫描）。
+ *
+ * 与主入口的关系：sdk 是主入口的**子集 + 极薄 re-export**，供库作者按需导入；
+ * 主入口 / browser / stdlib 不受影响（additive）。
+ */
+export { solid, fromBrep, compound, isShape, isCompound, hasBrep, brepOf, nameOfShapes, getSlot, ensureSlot, } from './shape.js';
+export type { SolidShape, CompoundShape, ShapeKind, StdShape, BrepHolder, } from './shape.js';
+export type { Shape } from './mesh/types.js';
+export { keep, keepHidden, getBackends, configureBackends, assertContractVersion, CONTRACT_VERSION, BrepUnsupportedError, MeshUnsupportedError, } from './runtime-state.js';
+export type { Backends, RuntimeExecutionMode, StdlibFn, StdlibNamespace, ShapeSlot, KeepSink, } from './runtime-state.js';
+export { getKernel, meshHandle, fromHandle } from './brep/handle-bridge.js';
+export type { MeshHandleOptions } from './brep/handle-bridge.js';
+export { defineOp, assertLibConforms, hasDualOp, DUAL_OP_META } from './define-op.js';
+export type { DualOpMeta, DualOpOptions, DualOpImpls, MeshImpl, BrepImpl, MeshData, BrepResult, } from './define-op.js';
+export type { BrepCapabilityName } from './cad-runtime/backend-dispatch.js';
+//# sourceMappingURL=sdk.d.ts.map

package/dist/sdk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sdk.d.ts","sourceRoot":"","sources":["../src/sdk.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH,OAAO,EACL,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,UAAU,EACV,OAAO,EACP,MAAM,EACN,YAAY,EACZ,OAAO,EACP,UAAU,GACX,MAAM,SAAS,CAAA;AAChB,YAAY,EACV,UAAU,EACV,aAAa,EACb,SAAS,EACT,QAAQ,EACR,UAAU,GACX,MAAM,SAAS,CAAA;AAChB,YAAY,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AAIzC,OAAO,EACL,IAAI,EACJ,UAAU,EACV,WAAW,EACX,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,iBAAiB,CAAA;AACxB,YAAY,EACV,QAAQ,EACR,oBAAoB,EACpB,QAAQ,EACR,eAAe,EACf,SAAS,EACT,QAAQ,GACT,MAAM,iBAAiB,CAAA;AAMxB,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACxE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAQ7D,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAClF,YAAY,EACV,UAAU,EACV,aAAa,EACb,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,UAAU,GACX,MAAM,aAAa,CAAA;AACpB,YAAY,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA"}

package/dist/sdk.js

@@ -0,0 +1,34 @@
+/**
+ * sdk — 第三方库开发面（F3 / roadmap V2.2）
+ *
+ *
+ * 第三方库模块（`import * as mech from 'gear-lib-demo'` 的目标）用它开发：
+ * ```ts
+ * import { solid, fromBrep, isShape, keep, getBackends, CONTRACT_VERSION } from '@faicad/faijs/sdk'
+ * export const contractVersion = CONTRACT_VERSION
+ * export function makeHeadstock(params) { ... }
+ * ```
+ *
+ * 本入口**零 heavy 运行时依赖**：只 re-export runtime-state（L0+ 零依赖锚点层）
+ * 与 stdlib/shape（构造器 + 身份表，仅 type-import mesh 类型）。
+ * 值导入闭包不含 three / occt-wasm / manifold / node:*——由守卫测试保证
+ * （dist/sdk.js 静态 import 扫描）。
+ *
+ * 与主入口的关系：sdk 是主入口的**子集 + 极薄 re-export**，供库作者按需导入；
+ * 主入口 / browser / stdlib 不受影响（additive）。
+ */
+// ── 构造器与身份表（stdlib/shape：类型化构造器 + BREP 句柄登记） ──
+export { solid, fromBrep, compound, isShape, isCompound, hasBrep, brepOf, nameOfShapes, getSlot, ensureSlot, } from './shape.js';
+// ── 运行时状态锚点（零依赖层：keep / backends / 契约版本 / 错误类型） ──
+export { keep, keepHidden, getBackends, configureBackends, assertContractVersion, CONTRACT_VERSION, BrepUnsupportedError, MeshUnsupportedError, } from './runtime-state.js';
+// ── BREP 桥接（B1：第三方库造 BREP 产物的三角化入口） ──
+// handle-bridge 只 import runtime-state / stdlib/shape / type-only mesh/types，
+// 零 heavy 依赖——dist/sdk.js 守卫测试继续通过。
+export { getKernel, meshHandle, fromHandle } from './brep/handle-bridge.js';
+// ── 双路径实现声明（D 面契约：mesh 必选、BREP 可选；几何函数专用） ──
+// define-op 只依赖 runtime-state / stdlib/shape / handle-bridge / backend-dispatch
+// 与 type-only mesh、brep 类型——零 heavy 依赖，dist/sdk.js 守卫继续通过。
+// 第三方库作者用 defineOp 声明实现集合；dispatchPath 不再直接导出——
+// 分派由 defineOp 包装器内部调用（规则仍是引擎 backend-dispatch.ts 单点）。
+export { defineOp, assertLibConforms, hasDualOp, DUAL_OP_META } from './define-op.js';
+//# sourceMappingURL=sdk.js.map

package/dist/sdk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sdk.js","sourceRoot":"","sources":["../src/sdk.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,iDAAiD;AAEjD,OAAO,EACL,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,UAAU,EACV,OAAO,EACP,MAAM,EACN,YAAY,EACZ,OAAO,EACP,UAAU,GACX,MAAM,SAAS,CAAA;AAUhB,oDAAoD;AAEpD,OAAO,EACL,IAAI,EACJ,UAAU,EACV,WAAW,EACX,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,iBAAiB,CAAA;AAUxB,wCAAwC;AACxC,8EAA8E;AAC9E,oCAAoC;AAEpC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAGxE,8CAA8C;AAC9C,gFAAgF;AAChF,2DAA2D;AAC3D,gDAAgD;AAChD,uDAAuD;AAEvD,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA","sourcesContent":["/**\n * sdk — 第三方库开发面（F3 / roadmap V2.2）\n *\n *\n * 第三方库模块（`import * as mech from 'gear-lib-demo'` 的目标）用它开发：\n * ```ts\n * import { solid, fromBrep, isShape, keep, getBackends, CONTRACT_VERSION } from '@faicad/faijs/sdk'\n * export const contractVersion = CONTRACT_VERSION\n * export function makeHeadstock(params) { ... }\n * ```\n *\n * 本入口**零 heavy 运行时依赖**：只 re-export runtime-state（L0+ 零依赖锚点层）\n * 与 stdlib/shape（构造器 + 身份表，仅 type-import mesh 类型）。\n * 值导入闭包不含 three / occt-wasm / manifold / node:*——由守卫测试保证\n * （dist/sdk.js 静态 import 扫描）。\n *\n * 与主入口的关系：sdk 是主入口的**子集 + 极薄 re-export**，供库作者按需导入；\n * 主入口 / browser / stdlib 不受影响（additive）。\n */\n\n// ── 构造器与身份表（stdlib/shape：类型化构造器 + BREP 句柄登记） ──\n\nexport {\n  solid,\n  fromBrep,\n  compound,\n  isShape,\n  isCompound,\n  hasBrep,\n  brepOf,\n  nameOfShapes,\n  getSlot,\n  ensureSlot,\n} from './shape'\nexport type {\n  SolidShape,\n  CompoundShape,\n  ShapeKind,\n  StdShape,\n  BrepHolder,\n} from './shape'\nexport type { Shape } from './mesh/types'\n\n// ── 运行时状态锚点（零依赖层：keep / backends / 契约版本 / 错误类型） ──\n\nexport {\n  keep,\n  keepHidden,\n  getBackends,\n  configureBackends,\n  assertContractVersion,\n  CONTRACT_VERSION,\n  BrepUnsupportedError,\n  MeshUnsupportedError,\n} from './runtime-state'\nexport type {\n  Backends,\n  RuntimeExecutionMode,\n  StdlibFn,\n  StdlibNamespace,\n  ShapeSlot,\n  KeepSink,\n} from './runtime-state'\n\n// ── BREP 桥接（B1：第三方库造 BREP 产物的三角化入口） ──\n// handle-bridge 只 import runtime-state / stdlib/shape / type-only mesh/types，\n// 零 heavy 依赖——dist/sdk.js 守卫测试继续通过。\n\nexport { getKernel, meshHandle, fromHandle } from './brep/handle-bridge'\nexport type { MeshHandleOptions } from './brep/handle-bridge'\n\n// ── 双路径实现声明（D 面契约：mesh 必选、BREP 可选；几何函数专用） ──\n// define-op 只依赖 runtime-state / stdlib/shape / handle-bridge / backend-dispatch\n// 与 type-only mesh、brep 类型——零 heavy 依赖，dist/sdk.js 守卫继续通过。\n// 第三方库作者用 defineOp 声明实现集合；dispatchPath 不再直接导出——\n// 分派由 defineOp 包装器内部调用（规则仍是引擎 backend-dispatch.ts 单点）。\n\nexport { defineOp, assertLibConforms, hasDualOp, DUAL_OP_META } from './define-op'\nexport type {\n  DualOpMeta,\n  DualOpOptions,\n  DualOpImpls,\n  MeshImpl,\n  BrepImpl,\n  MeshData,\n  BrepResult,\n} from './define-op'\nexport type { BrepCapabilityName } from './cad-runtime/backend-dispatch'\n"]}

package/dist/shape.d.ts

@@ -0,0 +1,121 @@
+/**
+ * stdlib shape — 类型化构造器 + 身份槽
+ *
+ *
+ * 变更要点：
+ * - 身份表（created / slots / shapeToName）改读全局锚点 runtime-state，
+ *   使"两份 faijs 代码"共享同一份状态（解决 Shape 身份孤岛）。
+ * - 新增 fromBrep(mesh, holder)：BREP 产物一次登记句柄与面演化，
+ *   库函数不再手动登记（P2 落地）。
+ * - 新增 hasBrep / brepOf：引擎侧判定"某 Shape 是否在 BREP 链上"。
+ */
+import type { Shape } from './mesh/types.js';
+import { type ShapeSlot } from './runtime-state.js';
+/** Discriminator for the concrete shape kinds. */
+export type ShapeKind = 'solid' | 'shape2d' | 'curve' | 'compound';
+/** A solid mesh shape produced by a constructor. */
+export interface SolidShape extends Shape {
+    kind: 'solid';
+}
+/** A structural compound grouping a list of child shapes. */
+export interface CompoundShape {
+    kind: 'compound';
+    children: Shape[];
+}
+/** A shape that the stdlib exports as a finished result. */
+export type StdShape = SolidShape | CompoundShape;
+/**
+ * 实体 Shape 构造器：mesh 产物必须经此创建。
+ *
+ * @param mesh - the mesh shape to wrap as a solid.
+ * @returns the created solid shape.
+ */
+export declare function solid(mesh: Shape): SolidShape;
+/**
+ * BREP 产物构造器：同时登记 mesh 与 OCCT 句柄（+ 可选面演化）。
+ *
+ * 库函数用它替代 `solid(mesh)` + 手动登记句柄两步行：
+ * ```ts
+ * return fromBrep(solidToShape(kernel, resultSolid), {
+ *   solid: resultSolid,
+ *   faceEvolution: identityEvolution(kernel, resultSolid),
+ * })
+ * ```
+ *
+ * @param mesh - the mesh shape to register.
+ * @param holder - the BREP holder providing the OCCT handle and optional face evolution.
+ * @returns the created solid shape with the BREP handle attached.
+ */
+export declare function fromBrep(mesh: Shape, holder: BrepHolder): SolidShape;
+/** BREP 句柄 + 面演化 + 拓扑命名 RoleTable（对应 OCCT 的 ShapeHandle）。类型为 unknown 以保持零依赖。 */
+export interface BrepHolder {
+    solid: unknown;
+    faceEvolution?: Map<number, number[]>;
+    roleTable?: unknown;
+}
+/**
+ * compound Shape 构造器：结构（层级）而非新几何。
+ *
+ * @param children - the child shapes to group.
+ * @returns the created compound shape.
+ */
+export declare function compound(children: Shape[]): CompoundShape;
+/**
+ * 是否为构造器产物（终端判定与 compound 检测的依据）。
+ *
+ * @param v - the value to test.
+ * @returns true if the value was created by a shape constructor.
+ */
+export declare function isShape(v: unknown): v is Shape;
+/**
+ * Returns true if the value is a strict compound shape created by a constructor.
+ *
+ * @param v - the value to test.
+ * @returns true if the value is a strict compound shape.
+ */
+export declare function isCompound(v: unknown): v is CompoundShape;
+/**
+ * 结构判定：是否为 compound 形态（keep-syntax §5.3 D5，对任意库函数零要求）。
+ * 引擎内部的终端/消费判定用结构判定；SDK 公开的 isShape/isCompound 保持 WeakSet 严格。
+ *
+ * @param v - the value to test.
+ * @returns true if the value has compound shape structure.
+ */
+export declare function isCompoundLike(v: unknown): v is CompoundShape;
+export type { ShapeSlot };
+/**
+ * 读取 Shape 的身份槽（无则 undefined）。
+ *
+ * @param shape - the shape whose slot to read.
+ * @returns the identity slot, or undefined if none is registered.
+ */
+export declare function getSlot(shape: object): ShapeSlot | undefined;
+/**
+ * 读取或创建 Shape 的身份槽。
+ *
+ * @param shape - the shape whose slot to read or create.
+ * @returns the shape's identity slot.
+ */
+export declare function ensureSlot(shape: object): ShapeSlot;
+/**
+ * 该 Shape 是否在 BREP 链上（有 OCCT 句柄）。引擎分派与 UI 查询用。
+ *
+ * @param shape - the shape to test.
+ * @returns true if the shape has an attached OCCT handle.
+ */
+export declare function hasBrep(shape: Shape): boolean;
+/**
+ * 读取该 Shape 的 OCCT 句柄（无则 undefined）。库函数用前必须判空。
+ *
+ * @param shape - the shape whose handle to read.
+ * @returns the OCCT handle, or undefined if none.
+ */
+export declare function brepOf(shape: Shape): unknown | undefined;
+/**
+ * nameOf 批量版：Shape[] → 成员名（装配 memberNames，P6 替代读 IR）。
+ *
+ * @param shapes - the shapes to name.
+ * @returns the member names, one per shape (empty string when unnamed).
+ */
+export declare function nameOfShapes(shapes: Shape[]): string[];
+//# sourceMappingURL=shape.d.ts.map

package/dist/shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.d.ts","sourceRoot":"","sources":["../src/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAiD,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAI/F,kDAAkD;AAClD,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,CAAA;AAElE,oDAAoD;AACpD,MAAM,WAAW,UAAW,SAAQ,KAAK;IACvC,IAAI,EAAE,OAAO,CAAA;CACd;AAED,6DAA6D;AAC7D,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,KAAK,EAAE,CAAA;CAClB;AAED,4DAA4D;AAC5D,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,aAAa,CAAA;AAEjD;;;;;GAKG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,UAAU,CAI7C;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,GAAG,UAAU,CAWpE;AAED,gFAAgF;AAChF,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,OAAO,CAAA;IACd,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IACrC,SAAS,CAAC,EAAE,OAAO,CAAA;CACpB;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,aAAa,CAIzD;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,KAAK,CAE9C;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,aAAa,CAEzD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,aAAa,CAI7D;AAID,YAAY,EAAE,SAAS,EAAE,CAAA;AAEzB;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAE5D;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAQnD;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE7C;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAExD;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAEtD"}

package/dist/shape.js

@@ -0,0 +1,145 @@
+/**
+ * stdlib shape — 类型化构造器 + 身份槽
+ *
+ *
+ * 变更要点：
+ * - 身份表（created / slots / shapeToName）改读全局锚点 runtime-state，
+ *   使"两份 faijs 代码"共享同一份状态（解决 Shape 身份孤岛）。
+ * - 新增 fromBrep(mesh, holder)：BREP 产物一次登记句柄与面演化，
+ *   库函数不再手动登记（P2 落地）。
+ * - 新增 hasBrep / brepOf：引擎侧判定"某 Shape 是否在 BREP 链上"。
+ */
+import { getRuntimeState, registerFunctionBrep, nameOf } from './runtime-state.js';
+/**
+ * 实体 Shape 构造器：mesh 产物必须经此创建。
+ *
+ * @param mesh - the mesh shape to wrap as a solid.
+ * @returns the created solid shape.
+ */
+export function solid(mesh) {
+    const s = { ...mesh, kind: 'solid' };
+    getRuntimeState().created.add(s);
+    return s;
+}
+/**
+ * BREP 产物构造器：同时登记 mesh 与 OCCT 句柄（+ 可选面演化）。
+ *
+ * 库函数用它替代 `solid(mesh)` + 手动登记句柄两步行：
+ * ```ts
+ * return fromBrep(solidToShape(kernel, resultSolid), {
+ *   solid: resultSolid,
+ *   faceEvolution: identityEvolution(kernel, resultSolid),
+ * })
+ * ```
+ *
+ * @param mesh - the mesh shape to register.
+ * @param holder - the BREP holder providing the OCCT handle and optional face evolution.
+ * @returns the created solid shape with the BREP handle attached.
+ */
+export function fromBrep(mesh, holder) {
+    const s = solid(mesh);
+    const state = getRuntimeState();
+    const slot = state.slots.get(s) ?? {};
+    slot.solid = holder.solid;
+    if (holder.faceEvolution)
+        slot.faceEvolution = holder.faceEvolution;
+    if (holder.roleTable)
+        slot.roleTable = holder.roleTable;
+    state.slots.set(s, slot);
+    // 函数 BREP 域（§5.6）：函数体内 op 产生的新句柄登记到当前域，函数返回后统一释放
+    registerFunctionBrep(holder.solid);
+    return s;
+}
+/**
+ * compound Shape 构造器：结构（层级）而非新几何。
+ *
+ * @param children - the child shapes to group.
+ * @returns the created compound shape.
+ */
+export function compound(children) {
+    const c = { kind: 'compound', children };
+    getRuntimeState().created.add(c);
+    return c;
+}
+/**
+ * 是否为构造器产物（终端判定与 compound 检测的依据）。
+ *
+ * @param v - the value to test.
+ * @returns true if the value was created by a shape constructor.
+ */
+export function isShape(v) {
+    return !!v && typeof v === 'object' && getRuntimeState().created.has(v);
+}
+/**
+ * Returns true if the value is a strict compound shape created by a constructor.
+ *
+ * @param v - the value to test.
+ * @returns true if the value is a strict compound shape.
+ */
+export function isCompound(v) {
+    return isShape(v) && v.kind === 'compound';
+}
+/**
+ * 结构判定：是否为 compound 形态（keep-syntax §5.3 D5，对任意库函数零要求）。
+ * 引擎内部的终端/消费判定用结构判定；SDK 公开的 isShape/isCompound 保持 WeakSet 严格。
+ *
+ * @param v - the value to test.
+ * @returns true if the value has compound shape structure.
+ */
+export function isCompoundLike(v) {
+    return !!v && typeof v === 'object'
+        && v.kind === 'compound'
+        && Array.isArray(v.children);
+}
+/**
+ * 读取 Shape 的身份槽（无则 undefined）。
+ *
+ * @param shape - the shape whose slot to read.
+ * @returns the identity slot, or undefined if none is registered.
+ */
+export function getSlot(shape) {
+    return getRuntimeState().slots.get(shape);
+}
+/**
+ * 读取或创建 Shape 的身份槽。
+ *
+ * @param shape - the shape whose slot to read or create.
+ * @returns the shape's identity slot.
+ */
+export function ensureSlot(shape) {
+    const state = getRuntimeState();
+    let slot = state.slots.get(shape);
+    if (!slot) {
+        slot = {};
+        state.slots.set(shape, slot);
+    }
+    return slot;
+}
+/**
+ * 该 Shape 是否在 BREP 链上（有 OCCT 句柄）。引擎分派与 UI 查询用。
+ *
+ * @param shape - the shape to test.
+ * @returns true if the shape has an attached OCCT handle.
+ */
+export function hasBrep(shape) {
+    return getRuntimeState().slots.get(shape)?.solid !== undefined;
+}
+/**
+ * 读取该 Shape 的 OCCT 句柄（无则 undefined）。库函数用前必须判空。
+ *
+ * @param shape - the shape whose handle to read.
+ * @returns the OCCT handle, or undefined if none.
+ */
+export function brepOf(shape) {
+    return getRuntimeState().slots.get(shape)?.solid;
+}
+/**
+ * nameOf 批量版：Shape[] → 成员名（装配 memberNames，P6 替代读 IR）。
+ *
+ * @param shapes - the shapes to name.
+ * @returns the member names, one per shape (empty string when unnamed).
+ */
+export function nameOfShapes(shapes) {
+    return shapes.map((s) => String(nameOf(s) ?? ''));
+}
+//# sourceMappingURL=shape.js.map