parapoly-runtime 1.0.2 → 1.0.4

package/instructions/part3d.instructions.md

@@ -0,0 +1,223 @@
+> ⚠️ 注意：
+> 不要直接调用 Text2CADFacade.ts 的实现或接口信息。所有对 Text2CADFacade 的使用应通过规范化的 API 或文档说明进行，避免直接依赖其源码细节。
+
+---
+applyTo: "**/*.part3d,**/*.part3d.js,**/Part3dCodeExporter*,**/part3d/**"
+description: "Part3D 编辑器与 .part3d/.part3d.js 导出规范。涵盖 Part3dCodeExporter 架构、特征导出模式、sketch 可见度、颜色格式等。"
+---
+# Part3D & .part3d.js 导出指南
+
+## 文件概览
+
+| 文件类型 | 说明 |
+|---|---|
+| `.part3d` | Part3D 编辑器的项目文件（JSON 格式，Sprite 序列化树） |
+| `.part3d.js` | 从 `.part3d` 导出的可执行 JS 代码，可在 code3d 运行时独立运行 |
+
+## 源码位置
+
+```
+packages/parapoly-runtime/src/io/Part3dCodeExporter.ts   ← 核心导出类（类库）
+packages/parapoly-editor/src/io/Part3dCodeExporter.ts    ← 向后兼容 re-export
+packages/parapoly-editor/src/editors/part3d/             ← Part3D 编辑器
+packages/parapoly-runtime/src/part/feature_node/         ← 特征节点定义
+packages/parapoly-runtime/src/part/feature_node/op/      ← 操作型特征的 run() 逻辑
+```
+
+## Part3dCodeExporter API
+
+```typescript
+import { Part3dCodeExporter } from "parapoly-runtime";
+
+// 导出 FeatureContainerNode 为 .part3d.js 代码
+let code = Part3dCodeExporter.export(feature_container, default_color?);
+// feature_container: FeatureContainerNode 实例
+// default_color: 默认颜色（默认 "#ffffff"），当节点无颜色时使用
+```
+
+## 导出代码结构
+
+```javascript
+let main = function() {
+    let block3d_doc = new PartBlock3dDocument();
+
+    // Helpers
+    let __id_to_name = {};          // feature_id → 运行时节点名映射
+    let __saved_shapes = {};        // Boolean 操作前保存的 shape 引用
+    let __record_name = function(feature_id) { ... };
+    let __select_feature = function(feature_id) { ... };
+
+    // Feature summary（注释段，人类可读预览）
+    // Feature count: N
+    // [0] FeatureNodeSetBox op=union ...
+
+    // Executable export（可执行段）
+    block3d_doc.box("union", 10, 5, 3, "#ff0000");
+    __record_name("abc12345-...");
+    // ...
+
+    return block3d_doc;
+};
+```
+
+## 导出模式分类
+
+### 模式 A：基础体（直接 PartBlock3dDocument API）
+
+适用于：Box, Cylinder, Sphere, Cone, Torus, Prism, Ellipsoid, Wedge, Trapezoid, Step
+
+```javascript
+block3d_doc.box(op, x, y, z, color);
+block3d_doc.translate(px, py, pz);           // TransformComponent
+block3d_doc.rotate_by_quaternion(rx, ry, rz, rw);
+__record_name(feature_id);
+```
+
+### 模式 B：IIFE + ParaPolyShapeMaker（操作型特征）
+
+适用于：Extrude, Revolve, Sweep, Helix, Fillet, Chamfer, Shell, Draft, Mirror, Boolean, Transform
+
+```javascript
+(function() {
+    let target_name = __id_to_name[target_id];
+    if (!target_name) { console.warn("..."); return; }
+    let root = block3d_doc.get_root_node();
+    let node = root.getChildByName(target_name, true);
+    // ... 获取 shape / 调用 ParaPolyShapeMaker.xxx() ...
+    let result_node = block3d_doc.push_node(op, name, color, false);
+    result_node.set_topo_shape(result_shape);
+    block3d_doc.pop_node();
+    node.set_archived(true);
+    node.set_op_feature_node_id(feature_id);
+    __record_name(feature_id);
+})();
+```
+
+## 关键经验与注意事项
+
+### 1. 颜色格式必须带 `#` 前缀
+
+`get_color()` 返回的值可能不带 `#`（如 `"ffffff"`），导出时必须补全：
+
+```typescript
+let color = node.get_color ? node.get_color() : default_color;
+if (color && !color.startsWith("#")) color = "#" + color;
+```
+
+### 2. Sketch 可见度保持
+
+Part3D 中 Sketch 有两种独立的隐藏机制，导出时必须都保留：
+
+| 属性 | 含义 | 设置方式 |
+|---|---|---|
+| `get_archived()` | 被操作消费后系统隐藏 | `update_feature_node_archived()` 计算 |
+| `get_op_feature_node_id()` | 关联的消费操作 ID | 操作 run() 时持久化设置 |
+| `get_visible()` | 用户通过眼睛图标隐藏 | 用户手动切换 |
+
+**导出逻辑**：
+```typescript
+// 创建 sketch 后立即检查并保持可见度
+let is_archived = node.get_archived ? node.get_archived() : false;
+let op_id = node.get_op_feature_node_id ? node.get_op_feature_node_id() : null;
+let is_visible = node.get_visible ? node.get_visible() : true;
+if (is_archived || op_id) {
+    lines.push(`block3d_doc.selected_node.set_archived(true);`);
+}
+if (!is_visible) {
+    lines.push(`block3d_doc.selected_node.set_visible(false);`);
+}
+```
+
+**为什么要检查 `op_id`**：`get_archived()` 依赖编辑器的 `update_feature_node_archived()` 调用，可能不是最新状态。`get_op_feature_node_id()` 是持久化属性，更可靠。
+
+**`end_sketch()` 后 `selected_node` 指向**：`PartBlock3dDocument.end_sketch()` 执行 `this.selected_node = node`（sketch 节点），所以 `block3d_doc.selected_node.set_archived(true)` 能正确定位。
+
+**渲染过滤**：`SpriteToNativeNode` 和 `Text2CADFacade.build()` 遍历节点时均跳过 `topo_shape_component.get_archived() === true` 的节点。
+
+### 3. Sketch 复用与重发射
+
+同一 sketch 被多次引用时（如被两个 Extrude 使用），需要在第二次引用前重新发射：
+
+```typescript
+let consumed_sketches: Set<string> = new Set();
+// 在 Extrude/Revolve 处理时：
+if (target_id && consumed_sketches.has(target_id) && sketch_nodes.has(target_id)) {
+    lines.push(...Part3dCodeExporter.export_sketch_lines(sketch_nodes.get(target_id)));
+    lines.push(`__record_name(${JSON.stringify(target_id)});`);
+}
+consumed_sketches.add(target_id);
+```
+
+### 4. 操作型特征的归档配对
+
+Extrude/Revolve/Fillet 等操作在 IIFE 中必须：
+1. 先取消归档：`node.set_archived(false); node.set_op_feature_node_id(null);`
+2. 执行操作
+3. 重新归档：`node.set_archived(true); node.set_op_feature_node_id(feature_id);`
+
+如果 `keep_original === true`，跳过步骤 3。
+
+### 5. `__saved_shapes` 用于 Boolean 后的引用
+
+Boolean 操作会删除原始节点，但后续 Mirror/Fillet 等可能需要引用被删除节点的 shape。Boolean 在删除前保存：
+
+```javascript
+__saved_shapes[target_name] = { shape: topo_shape.clone(), color: color };
+```
+
+后续操作查找目标时先查节点，再查 `__saved_shapes`：
+```javascript
+let topo_shape;
+if (node && node.get_topo_shape) {
+    topo_shape = node.get_topo_shape();
+} else if (__saved_shapes[target_name]) {
+    topo_shape = __saved_shapes[target_name].shape;
+}
+```
+
+### 6. 变换顺序差异
+
+不同特征对 `transform_native_shape` 的调用顺序不同：
+
+| 特征 | 顺序 |
+|---|---|
+| Extrude | 先 extrude_shape → 再 transform_native_shape |
+| Helix | 先 helix_shape → 再 transform_native_shape |
+| Revolve | 先 transform_native_shape(wires) → 再 revolve_shape |
+| Sweep | 先 transform(profile+path) → 再 sweep_shape |
+
+### 7. STEP 导入体的 base64 编码
+
+`FeatureNodeSetStep` 的 content 可能是字符串或 Uint8Array，导出时统一转为 base64：
+
+```typescript
+private static step_payload_base64(content: any): string {
+    if (!content) return "";
+    if (content instanceof Uint8Array) {
+        return btoa(String.fromCharCode(...content));
+    }
+    if (typeof content === "string") {
+        return btoa(content);
+    }
+    return "";
+}
+```
+
+运行时通过 `block3d_doc.import_step_shape_by_string(op, base64, true, color)` 还原。
+
+### 8. 错误日志格式
+
+所有 IIFE 中的 warn 日志统一格式：
+```
+[part3d.js #序号 操作类型 特征ID前8位] 消息
+```
+例如：`[part3d.js #3 Extrude abc12345] target_name not found for sketch def67890`
+
+## 修改 Exporter 的流程
+
+1. 定位源码：`packages/parapoly-runtime/src/part/feature_node/op/FeatureNode*.ts` 的 `run()` 方法
+2. 找到 `ParaPolyShapeMaker.xxx()` 调用及参数来源
+3. 注意变换顺序（transform 在操作前/后）
+4. 更新 `Part3dCodeExporter.ts` 中对应 `class_name.indexOf(...)` 分支
+5. 保持 IIFE 模式和归档配对
+6. 运行 `get_errors` 验证无 TypeScript 错误

package/instructions/sketch3d.instructions.md

@@ -0,0 +1,251 @@
+> ⚠️ 注意：
+> 不要直接调用 Text2CADFacade.ts 的实现或接口信息。所有对 Text2CADFacade 的使用应通过规范化的 API 或文档说明进行，避免直接依赖其源码细节。
+
+---
+applyTo: "**/*.sketch3d,**/*.sketch3d.js,**/SketchCodeExporter*,**/sketch3d/**,**/sketch_node/**"
+description: "Sketch3D 草图编辑器与 .sketch3d/.sketch3d.js 导出规范。涵盖 SketchCodeExporter 架构、几何导出、约束导出、可见度处理等。"
+---
+# Sketch3D & .sketch3d.js 导出指南
+
+## 文件概览
+
+| 文件类型 | 说明 |
+|---|---|
+| `.sketch3d` | Sketch3D 编辑器的项目文件（JSON 格式，SkContainerNode 序列化） |
+| `.sketch3d.js` / `.code3d.js` | 从 sketch 导出的可执行 JS 代码 |
+
+## 源码位置
+
+```
+packages/parapoly-runtime/src/io/SketchCodeExporter.ts   ← 核心导出类（类库）
+packages/parapoly-editor/src/io/SketchCodeExporter.ts    ← 向后兼容 re-export
+packages/parapoly-editor/src/editors/sketch3d/           ← Sketch3D 编辑器
+packages/parapoly-runtime/src/part/sketch_node/          ← 草图节点定义
+```
+
+## SketchCodeExporter API
+
+```typescript
+import { SketchCodeExporter } from "parapoly-runtime";
+
+// 导出 SkContainerNode 为 .code3d.js 代码
+let code = SketchCodeExporter.export(sk_container_node);
+```
+
+## 导出代码结构
+
+**重要**：每个 `.sketch3d.js` 文件只包含一个有效的 sketch（一对 `start_sketch`/`end_sketch`）。所有几何体和约束都属于这同一个 sketch 上下文。AI 阅读时应将文件内容视为单一草图的完整定义。
+
+```javascript
+// This .sketch3d.js file contains exactly ONE sketch (start_sketch/end_sketch pair).
+// All geometry and constraints belong to this single sketch context.
+let main = function() {
+    let block3d_doc = new PartBlock3dDocument();
+    block3d_doc.start_sketch("sketch", [0, 0, 0, 0, 0, 1]);
+
+    // 几何绘制（返回 geom_id）
+    let g0 = block3d_doc.line_segment(0, 0, 0, 10, 0, 0);
+    let g1 = block3d_doc.line_segment(10, 0, 0, 10, 5, 0);
+    // ...
+
+    // 约束
+    block3d_doc.constraint_horizontal(g0);
+    block3d_doc.constraint_coincident(g0, PointPos.end, g1, PointPos.start);
+    // ...
+
+    block3d_doc.end_sketch();
+    return block3d_doc;
+};
+```
+
+### start_sketch 平面方向
+
+`start_sketch` 的第二个参数是平面定义，导出时从 `SkContainerNode.get_ax2()` 的 `Ax2Component` 读取 center 和 direction，输出为 6 元素数组 `[cx, cy, cz, dx, dy, dz]`：
+
+| 平面 | 数组值 |
+|---|---|
+| XY 平面（Z 方向） | `[0, 0, 0, 0, 0, 1]` |
+| XZ 平面（Y 方向） | `[0, 0, 0, 0, 1, 0]` |
+| YZ 平面（X 方向） | `[0, 0, 0, 1, 0, 0]` |
+| 偏移平面 | `[0, 0, 10, 0, 0, 1]`（Z=10 处的 XY 平面） |
+| 任意方向 | `[cx, cy, cz, dx, dy, dz]` |
+
+也支持字符串简写形式（仅限手写代码）：`"x"`, `"y"`, `"z"`。
+
+## 几何类型映射
+
+| 节点类 | 导出方法 | 返回值 |
+|---|---|---|
+| `SkGeomPointNode` | `block3d_doc.point(x, y, z)` | geom_id |
+| `SkGeomLineNode` | `block3d_doc.line_segment(x1, y1, z1, x2, y2, z2)` | geom_id |
+| `SkGeomCircleNode` | `block3d_doc.circle(cx, cy, cz, r)` | geom_id |
+| `SkGeomEllipseNode` | `block3d_doc.ellipse(cx, cy, cz, major_r, minor_r)` | geom_id |
+| `SkGeomArcNode` | `block3d_doc.arc(cx, cy, cz, r, start_deg, end_deg)` | geom_id |
+| `SkGeomBSplineNode` | `start_bspline(closed)` + `add_pole()` × N + `end_bspline()` | 无返回值 |
+
+## 约束类型映射
+
+| ConstraintType | 导出方法 | 条件 |
+|---|---|---|
+| `Coincident` | `constraint_coincident(s, sp, f, fp)` | — |
+| `Horizontal` | `constraint_horizontal(f)` | 单线段 |
+| `Horizontal` | `constraint_horizontal_points(f, fp, s, sp)` | 两点（`second >= 0` 且 `firstPos != none`） |
+| `Vertical` | `constraint_vertical(f)` | 单线段 |
+| `Vertical` | `constraint_vertical_points(f, fp, s, sp)` | 两点 |
+| `Distance` | `constraint_distance(f, value)` | 无 second |
+| `Distance` | `constraint_distance_points(f, fp, s, sp, value)` | 两点 |
+| `Distance` | `constraint_distance_point_to_line(f, fp, s, value)` | 点到线 |
+| `DistanceX` | `constraint_distance_h(f, value)` / `_points(...)` | — |
+| `DistanceY` | `constraint_distance_v(f, value)` / `_points(...)` | — |
+| `Radius` | `constraint_radius(f, value)` | — |
+| `Diameter` | `constraint_diameter(f, value)` | — |
+| `Parallel` | `constraint_parallel(f, s)` | — |
+| `Perpendicular` | `constraint_perpendicular(f, s)` | — |
+| `Equal` | `constraint_equal(f, s)` | — |
+| `Tangent` | `constraint_tangent(f, s)` | — |
+| `Angle` | `constraint_angle(f, value)` | 单线段（与 X 轴夹角） |
+| `Angle` | `constraint_angle_lines(f, s, value)` | 两线夹角 |
+| `PointOnObject` | `constraint_point_on_object(f, fp, s)` | — |
+| `Symmetric` | `constraint_symmetric(f, fp, line, s, sp)` | — |
+
+## 关键经验与注意事项
+
+### 1. 跳过内部几何体
+
+Sketch 中存在内部辅助几何（如坐标轴），必须跳过：
+
+```typescript
+if (node.get_is_internal && node.get_is_internal()) {
+    continue;
+}
+```
+
+### 2. 跳过 InternalAlignment 约束
+
+```typescript
+if (type === ConstraintType.InternalAlignment) {
+    continue;
+}
+```
+
+### 3. Arc 角度转换
+
+`SkGeomArcNode` 存储弧度制，导出时需转为角度制：
+
+```typescript
+let sa = node.component.get_start_angle();  // 弧度
+let ea = node.component.get_end_angle();    // 弧度
+// 导出时转为度
+block3d_doc.arc(cx, cy, cz, r, sa * 180 / Math.PI, ea * 180 / Math.PI);
+```
+
+### 4. BSpline 无 geom_id 返回
+
+`start_bspline` / `end_bspline` 不返回 geom_id，因此 BSpline 不参与约束引用：
+
+```typescript
+if (className === ClassNames.SkGeomBSplineNode) {
+    // ... export poles ...
+    geom_id_to_var.delete(geom_id);  // 不记录变量映射
+}
+```
+
+### 5. geom_id 变量命名
+
+每个几何体的 geom_id 映射为 `g{id}` 变量名，约束中引用这些变量：
+
+```javascript
+let g0 = block3d_doc.line_segment(...);
+let g1 = block3d_doc.line_segment(...);
+block3d_doc.constraint_coincident(g0, PointPos.end, g1, PointPos.start);
+```
+
+### 6. PointPos 枚举值
+
+```
+PointPos.none  = 0  // 整条边/线（用于 constraint_horizontal 等）
+PointPos.start = 1  // 起点
+PointPos.end   = 2  // 终点
+PointPos.mid   = 3  // 中点（圆心等）
+```
+
+### 7. Coincident 约束参数顺序
+
+注意 Coincident 的参数顺序是 `(second, secondPos, first, firstPos)`，与其他约束不同：
+
+```typescript
+case ConstraintType.Coincident:
+    return `block3d_doc.constraint_coincident(${s}, ${sp}, ${f}, ${fp});`;
+```
+
+## 在 Part3dCodeExporter 中的 Sketch 导出
+
+Part3dCodeExporter 中嵌入 sketch 时使用简化版（不含约束，不含 geom_id 变量）：
+
+```javascript
+block3d_doc.start_sketch("sketch_name", [cx, cy, cz, dx, dy, dz]);
+block3d_doc.line_segment(x1, y1, z1, x2, y2, z2);
+block3d_doc.circle(cx, cy, cz, r);
+// ...
+block3d_doc.end_sketch();
+```
+
+**差异**：
+- `start_sketch` 参数为 `[center_x, center_y, center_z, dir_x, dir_y, dir_z]` 数组（Part3d 模式），而非 `"z"` 字符串（独立 sketch 模式）
+- 不导出约束（拉伸/旋转只需要 wires 形状）
+- 不保留 geom_id 变量
+
+## Sketch 可见度（在 Part3D 上下文中）
+
+当 Sketch 存在于 Part3D 特征树中时，有两种隐藏机制：
+
+1. **`archived = true`**：被 Extrude/Revolve 等操作消费后，系统设置
+2. **`visible = false`**：用户通过眼睛图标手动隐藏
+
+Part3dCodeExporter 在导出 sketch 后需检查并保持可见度状态：
+
+```typescript
+if (is_archived || op_id) {
+    lines.push(`block3d_doc.selected_node.set_archived(true);`);
+}
+if (!is_visible) {
+    lines.push(`block3d_doc.selected_node.set_visible(false);`);
+}
+```
+
+`get_op_feature_node_id()` 是最可靠的"已被消费"指标（持久化属性），优先于 `get_archived()`（计算属性）。
+
+## SkContainerNode 关键 API
+
+```typescript
+// 坐标系
+sk_node.get_ax2()          → { center, direction }
+sk_node.set_ax2(center: Vector3, direction: Vector3)
+
+// 几何体容器
+sk_node.get_geoms()        → Node (children = SkGeom*Node[])
+
+// 约束容器
+sk_node.get_constraints()  → Node (children = ConstraintNode[])
+
+// 生成 wire shape（供 Extrude/Revolve 使用）
+sk_node.to_wires_shape()   → TopoDS_Shape
+
+// 可见度
+sk_node.get_archived()     → boolean
+sk_node.set_archived(v)
+sk_node.get_visible()      → boolean
+sk_node.set_visible(v)
+
+// 操作关联
+sk_node.get_op_feature_node_id()  → string | null
+sk_node.set_op_feature_node_id(id)
+```
+
+## 修改 SketchCodeExporter 的流程
+
+1. 确认几何类型：`packages/parapoly-runtime/src/part/sketch_node/SkGeom*.ts`
+2. 确认约束类型：`packages/parapoly-runtime/src/types/Constraint.ts` (`ConstraintType` 枚举)
+3. 确认 API：`packages/parapoly-runtime/src/part/PartBlock3dDocument.ts` 中的 sketch 方法
+4. 更新 `SketchCodeExporter.ts` 中对应分支
+5. 注意约束参数的 `second >= 0` 条件判断（区分单目/双目约束)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "parapoly-runtime",
-  "version": "1.0.2",
+  "version": "1.0.4",
   "description": "ParaPoly 3D CAD Runtime — CSG modeling, sketch, and project builder",
   "main": "./parapoly_runtime.js",
   "types": "./parapoly_runtime.d.ts",

package/parapoly_runtime.d.ts

@@ -1,5 +1,5 @@
 declare module "parapoly-runtime" {
-  export type BooleanOp = "union" | "cut" | "common";
+  export type BooleanOp = "union" | "difference" | "intersection";
 
   export type AxisDir = "x" | "y" | "z";
 
@@ -33,6 +33,18 @@ declare module "parapoly-runtime" {
     private _parameters: Array<FacadeParameter>;
     private _lastBuildResult: FacadeBuildResult | null;
     constructor();
+    /**
+     * Reset the facade to a fresh empty document.
+     */
+    reset(): this;
+    /**
+     * Load a .part3d JSON payload into the facade document.
+     */
+    loadPart3d(json: string, recompile?: boolean, color?: string): this;
+    /**
+     * Load a .block3d JSON payload into the facade document.
+     */
+    loadBlock3d(json: string): this;
     /**
      * Create a box centered at origin. Parameters: x-size, y-size (height), z-size (depth).
      */
@@ -1735,7 +1747,7 @@ declare module "parapoly-runtime" {
     public getChildByIndex(index: number): Node;
     public clearComponents(): void;
     public clearChildren(): void;
-    public static visit_node(node: Node, preVisitMethod?: any, postVisitMethod?: any): void;
+    public static visit_node(node: Node, preVisitMethod?: ((node: any) => void) | null, postVisitMethod?: ((node: any) => void) | null): void;
     public to_json(options?: ObjectToJsonOptions): any;
     public clone(options?: ObjectToJsonOptions, to_options?: ObjectToJsonOptions): Node;
     public static create(obj?: any, options?: ObjectCreateOptions): Node;
@@ -1777,6 +1789,12 @@ declare module "parapoly-runtime" {
      * @param color Optional override color
      */
     public static create_doc_from_part3d(json_str: string, recompile?: boolean, color?: string): PartBlock3dDocument;
+    /**
+     * Create a PartBlock3dDocument from a .block3d file's raw JSON string.
+     * Extracts the stored JavaScript code from BlockCodeComponent and executes it.
+     * @param json_str The raw JSON content of the .block3d file
+     */
+    public static create_doc_from_block3d(json_str: string): PartBlock3dDocument;
     public set_root_node(node: Node): void;
     public get_root_node(): Node;
     public to_json(): any;
@@ -1822,14 +1840,37 @@ declare module "parapoly-runtime" {
     public start_sketch(name: string, plane_dir: any): SkContainerNode;
     public end_sketch(): void;
     public get_sketch_ax2_component(): Ax2Component;
-    public point(x: number, y: number, z: number): void;
-    public line_segment(start_x: number, start_y: number, start_z: number, end_x: number, end_y: number, end_z: number): void;
-    public circle(x: number, y: number, z: number, r: number): void;
-    public ellipse(x: number, y: number, z: number, major_r: number, minor_r: number): void;
-    public arc(x: number, y: number, z: number, r: number, startAngle: number, endAngle: number, isDegree?: boolean): void;
+    public point(x: number, y: number, z: number): number;
+    public line_segment(start_x: number, start_y: number, start_z: number, end_x: number, end_y: number, end_z: number): number;
+    public circle(x: number, y: number, z: number, r: number): number;
+    public ellipse(x: number, y: number, z: number, major_r: number, minor_r: number): number;
+    public arc(x: number, y: number, z: number, r: number, startAngle: number, endAngle: number, isDegree?: boolean): number;
     public start_bspline(closed: boolean): void;
     public end_bspline(): void;
     public add_pole(x: number, y: number, z: number): void;
+    private get_sk_container(): SkContainerNode | null;
+    public constraint_coincident(from_geom_id: number, from_pos: PointPos, to_geom_id: number, to_pos: PointPos): void;
+    public constraint_horizontal(geom_id: number): void;
+    public constraint_vertical(geom_id: number): void;
+    public constraint_horizontal_points(from_geom_id: number, from_pos: PointPos, to_geom_id: number, to_pos: PointPos): void;
+    public constraint_vertical_points(from_geom_id: number, from_pos: PointPos, to_geom_id: number, to_pos: PointPos): void;
+    public constraint_distance(geom_id: number, value: number): void;
+    public constraint_distance_points(from_geom_id: number, from_pos: PointPos, to_geom_id: number, to_pos: PointPos, value: number): void;
+    public constraint_distance_h(geom_id: number, value: number): void;
+    public constraint_distance_h_points(from_geom_id: number, from_pos: PointPos, to_geom_id: number, to_pos: PointPos, value: number): void;
+    public constraint_distance_v(geom_id: number, value: number): void;
+    public constraint_distance_v_points(from_geom_id: number, from_pos: PointPos, to_geom_id: number, to_pos: PointPos, value: number): void;
+    public constraint_distance_point_to_line(point_geom_id: number, point_pos: PointPos, line_geom_id: number, value: number): void;
+    public constraint_radius(geom_id: number, value: number): void;
+    public constraint_diameter(geom_id: number, value: number): void;
+    public constraint_parallel(geom_id_1: number, geom_id_2: number): void;
+    public constraint_perpendicular(geom_id_1: number, geom_id_2: number): void;
+    public constraint_equal(geom_id_1: number, geom_id_2: number): void;
+    public constraint_tangent(geom_id_1: number, geom_id_2: number): void;
+    public constraint_angle(geom_id: number, value: number): void;
+    public constraint_angle_lines(geom_id_1: number, geom_id_2: number, value: number): void;
+    public constraint_point_on_object(point_geom_id: number, point_pos: PointPos, obj_geom_id: number): void;
+    public constraint_symmetric(geom_id_1: number, pos_1: PointPos, line_geom_id: number, geom_id_2: number, pos_2: PointPos): void;
     public extrude(op: BooleanTypes, length: number, color: string, bSolid: boolean, transform_matrix_arr: Array<number>): void;
     public extrude_by_face(op: BooleanTypes, length: number, face_index: number, direction: DirectionTypes, color: string, bSolid: boolean, bAutoCheckDir: boolean): void;
     public revolve(op: BooleanTypes, angle: number, axis: DirectionTypes | Array<number>, color: string, bSolid: boolean, transform_matrix_arr: Array<number>): void;
@@ -2878,6 +2919,7 @@ declare module "parapoly-runtime" {
     FeatureSetEllipsoid = "FeatureSetEllipsoid",
     FeatureSetWedge = "FeatureSetWedge",
     FeatureSetTrapezoid = "FeatureSetTrapezoid",
+    FeatureSetStep = "FeatureSetStep",
     FeatureBoolean = "FeatureBoolean",
     FeatureExtrude = "FeatureExtrude",
     FeatureChamfer = "FeatureChamfer",
@@ -2928,6 +2970,7 @@ declare module "parapoly-runtime" {
     exportDocData = "exportDocData",
     exportLog = "exportLog",
     exportBlocklyPngs = "exportBlocklyPngs",
+    exportCode3dJs = "exportCode3dJs",
     export3mf = "export3mf",
     exportStep = "exportStep",
     exportIges = "exportIges",
@@ -2954,6 +2997,8 @@ declare module "parapoly-runtime" {
     viewSketchExtrudeScript = "viewSketchExtrudeScript",
     copySketchRevolveScript = "copySketchRevolveScript",
     viewSketchRevolveScript = "viewSketchRevolveScript",
+    exportSketch3dJs = "exportSketch3dJs",
+    exportPart3dJs = "exportPart3dJs",
   }
 
   export enum GeomTypes {
@@ -3258,7 +3303,7 @@ declare module "parapoly-runtime" {
    * @param onProgress - Progress callback
    * @returns Bundle output string and metadata
    */
-  export function buildCode3dProject(files: Record<string, string>, config: Code3dProjectConfig, onProgress?: BuildProgress): Promise<{
+  export function buildCode3dProject(files: Record<string, string>, config: Code3dProjectConfig, onProgress?: BuildProgress, fileLoader?: FileLoader): Promise<{
     output: string;
     binOutput: Uint8Array | null;
     result: BuildResult;
@@ -3347,6 +3392,36 @@ declare module "parapoly-runtime" {
     errors?: Array<string>;
   }
 
+  export class Part3dCodeExporter {
+    public static export(feature_container: FeatureContainerNode, default_color?: string): string;
+    private static export_feature_summary(feature_container: FeatureContainerNode): Array<string>;
+    private static export_executable_calls(feature_container: FeatureContainerNode, default_color?: string): Array<string>;
+    private static export_sketch_lines(node: any): Array<string>;
+    private static append_transform_lines(lines: Array<string>, node: any): void;
+    private static extract_edges_and_target(items: Array<any>): {
+      target_id: string;
+      edges: Array<number>;
+    };
+    private static extract_faces_and_target(items: Array<any>): {
+      target_id: string;
+      faces: Array<number>;
+    };
+    private static step_payload_base64(content: Uint8Array): string;
+    private static n(v: any): string;
+    private static summarize_feature_node(index: number, node: any): string;
+    private static summarize_feature_component(component: any): string;
+    private static push_if_defined(target: Array<string>, key: string, value: any): void;
+    private static to_simple_value(value: any): string;
+  }
+
+  export class SketchCodeExporter {
+    public static export(sk_container_node: SkContainerNode): string;
+    private static n(v: number): string;
+    private static pp(pos: PointPos): string;
+    private static gv(geom_id: number, map: Map<number, string>): string;
+    private static exportConstraint(type: ConstraintType, first: number, firstPos: PointPos, second: number, secondPos: PointPos, value: number, map: Map<number, string>): string | null;
+  }
+
   export class EventDispatcher {
     private _listeners: Record<string, Array<Func>>;
     private _unique_maps: {};
@@ -4229,6 +4304,13 @@ declare module "parapoly-runtime" {
     getId(): string;
   }
 
+  /**
+   * Optional file loader callback for on-demand loading.
+   * Called when a file is needed but not yet in the files map.
+   * Should return the file content string, or null if not found.
+   */
+  export type FileLoader = (filePath: string) => Promise<string | null>;
+
   export interface Vector3Like {
     readonly x: number;
     readonly y: number;