forgecad 0.1.2 → 0.1.4

package/dist-skill/CONTEXT.md

@@ -0,0 +1,4704 @@
+# ForgeCAD — AI Context (Chat UI)
+
+> **Usage:** Paste this file as context into your AI chat session (Claude.ai, ChatGPT, Gemini, etc.).
+> The AI will have full ForgeCAD API knowledge and will guide you through building models.
+>
+> **No CLI access in this session.** The AI cannot run commands directly. Instead, it will ask
+> you to run commands like `forgecad run <file>` or `forgecad notebook view <file> preview`
+> in your terminal and paste back the output for verification and iteration.
+
+## Workflow
+
+1. Tell the AI what you want to build and share any existing `.forge.js` or `.forge-notebook.json` files.
+2. The AI will write or edit model files for you.
+3. To validate, run `forgecad run <file>` in your terminal and paste the output.
+4. For notebooks: `forgecad notebook view <file> preview` shows the current geometry description.
+5. Iterate until the model looks right, then optionally `forgecad render <file>` for a PNG.
+
+---
+
+## ForgeCAD API Reference
+
+Author or modify ForgeCAD models, sketches, assemblies, notebooks, and CLI workflows.
+Prefer documented primitives, import rules, and placement strategies over inventing new APIs.
+
+### Model files
+
+- `.forge.js` — parametric part or assembly script; default export is a `Shape` or `Assembly`.
+- `.sketch.js` — 2D sketch script; default export is a `Sketch`.
+- `.forge-notebook.json` — multi-cell notebook for iterative work; preview cell is the active output.
+
+### Import and composition
+
+- `importPart()` for parts, `importSketch()` for sketches/SVGs, with explicit `paramOverrides`.
+- `.withReferences()` + `.placeReference()` for reusable placement.
+- Plain `.js` modules for shared helpers/constants (not model imports).
+
+### Validation commands (ask the user to run these)
+
+```
+forgecad run <file.forge.js>                          # geometry diagnostics
+forgecad run <file.forge-notebook.json>               # preview-cell diagnostics
+forgecad notebook view <file.forge-notebook.json> preview   # inspect notebook output
+forgecad render <file.forge.js>                       # PNG render
+forgecad capture gif <file.forge.js>                  # animated orbit GIF
+```
+
+---
+
+<!-- API/model-building/reference.md -->
+
+# ForgeCAD Model-Building Reference
+
+This file covers the script authoring surface for geometry, sketches, topology, assemblies, imports, and reusable parts.
+
+It intentionally excludes:
+- viewport-only APIs in [../runtime/viewport.md](../runtime/viewport.md)
+- report/export APIs in [../output/bom.md](../output/bom.md), [../output/dimensions.md](../output/dimensions.md), and [../output/brep-export.md](../output/brep-export.md)
+- implementation notes in [../internals/manifold.md](../internals/manifold.md)
+
+## Core Concepts
+
+ForgeCAD scripts are JavaScript code that returns geometry. The forge API is globally available — no imports needed.
+
+### Basic Structure
+```javascript
+// 1. Declare parameters (creates UI sliders)
+const width = param("Width", 50, { min: 20, max: 100, unit: "mm" });
+
+// 2. Create geometry
+const shape = box(width, 30, 10);
+
+// 3. Return the final shape
+return shape;
+```
+
+### Execution Model
+- Scripts execute on every parameter change (400ms debounce)
+- All operations are **immutable** — they return new shapes, never modify in place
+- Must return one of:
+  - A `Shape` (3D solid)
+  - A `Sketch` (2D profile — rendered flat on XY plane)
+  - A `TrackedShape` (3D solid with named faces/edges — auto-unwrapped)
+  - A `ShapeGroup` (multiple shapes/sketches grouped for joint transforms)
+  - An `Array` of shapes/sketches/groups (multi-object scene)
+  - An `Array` of `{ name, shape?, sketch?, color? }` objects (named multi-object scene)
+
+### ⚠️ Important: Unions Remove Colors
+
+When you use `union()` to combine shapes, the result becomes a single solid mesh with only one color. Individual colors assigned to the original shapes are lost:
+
+```javascript
+// ❌ BAD: Colors are lost after union!
+const red = box(30, 30, 30).color('#ff0000');
+const blue = box(20, 20, 20).translate(30, 0, 0).color('#0066ff');
+return union(red, blue);  // Result is all one color (red)
+```
+
+**Solution**: Return objects as a composite response instead:
+
+```javascript
+// ✅ GOOD: Each object keeps its color
+const red = box(30, 30, 30).color('#ff0000');
+const blue = box(20, 20, 20).translate(30, 0, 0).color('#0066ff');
+
+// Return as named objects to preserve individual colors and materials
+return [
+  { "label": red },    // Each gets its own color, toggle, and controls
+  { "label": blue }
+];
+```
+
+Each object in the returned array stays independently colorable and selectable, which is the main alternative to booleaning everything into one solid.
+
+### Coordinate System
+ForgeCAD uses **Z-up** right-handed coordinates:
+- **X** = left/right
+- **Y** = forward/back
+- **Z** = up/down
+
+See [coordinate-system.md](coordinate-system.md) for view mapping details.
+
+## Parameters
+
+### `param(name, default, options?)`
+Declares a parameter and creates a UI slider.
+
+**Parameters:**
+- `name` (string) - Display name in UI
+- `default` (number) - Initial value
+- `options` (object, optional):
+  - `min` (number) - Minimum value (default: 0)
+  - `max` (number) - Maximum value (default: default * 4)
+  - `step` (number) - Slider increment (auto-calculated if not provided)
+  - `unit` (string) - Display unit like "mm", "°", "%"
+  - `integer` (boolean) - If true, value is always rounded to whole number. Step defaults to 1. Use for counts, quantities, sides, etc.
+
+**Returns:** Current parameter value (number)
+
+**Examples:**
+```javascript
+const width = param("Width", 50);
+const angle = param("Angle", 45, { min: 0, max: 180, unit: "°" });
+const thick = param("Thickness", 2, { min: 0.5, max: 10, step: 0.5, unit: "mm" });
+const count = param("Count", 5, { min: 1, max: 20, integer: true });
+```
+
+## Colors
+
+Both Shape and Sketch support colors via `.color()`:
+
+```javascript
+const red = box(50, 50, 50).color('#ff0000');
+const blue = circle2d(25).color('#0066ff');
+```
+
+Colors are preserved through transforms and boolean operations (the first operand's color wins).
+
+When returning multiple objects, colors can also be set per-object:
+
+```javascript
+return [
+  { name: "Base", shape: box(100, 100, 5), color: "#888888" },
+  { name: "Column", shape: cylinder(50, 10).translate(50, 50, 5), color: "#4488cc" },
+];
+```
+
+## 3D Primitives
+
+### `box(x, y, z, center?)`
+Creates a rectangular box with named faces and edges.
+
+**Parameters:**
+- `x, y, z` (number) - Dimensions
+- `center` (boolean, optional) - If true, centers at origin. Default: false (corner at origin)
+
+**Returns:** `TrackedShape` (with faces: top, bottom, side-left, side-right, side-top, side-bottom; edges: vert-bl, vert-br, vert-tr, vert-tl, etc.)
+
+```javascript
+const cube = box(50, 50, 50, true);  // Centered cube
+const plate = box(100, 80, 5);        // Corner at origin
+plate.face('top');                     // FaceRef { normal, center, planar, uAxis, vAxis }
+plate.edge('vert-bl');                 // EdgeRef { start, end }
+```
+
+### `cylinder(height, radius, radiusTop?, segments?, center?)`
+Creates a cylinder or cone with named faces and edges.
+
+**Parameters:**
+- `height` (number) - Height along Z axis
+- `radius` (number) - Bottom radius
+- `radiusTop` (number, optional) - Top radius. If different from radius, creates a cone. Default: same as radius
+- `segments` (number, optional) - Number of sides. Default: auto (smooth circle)
+- `center` (boolean, optional) - If true, centers along Z. Default: false
+
+**Returns:** `TrackedShape` (with faces: top, bottom, side; edges: top-rim, bottom-rim)
+
+```javascript
+const cyl = cylinder(50, 10);              // Cylinder
+const cone = cylinder(50, 20, 5);          // Cone (tapered)
+const hex = cylinder(10, 15, 15, 6);       // Hexagonal prism
+cyl.face('top');                            // FaceRef (planar)
+cyl.face('side');                           // FaceRef (curved, planar === false)
+```
+
+### `sphere(radius, segments?)`
+Creates a sphere.
+
+**Parameters:**
+- `radius` (number) - Sphere radius
+- `segments` (number, optional) - Tessellation detail. Default: auto (smooth)
+
+**Returns:** `Shape`
+
+```javascript
+const ball = sphere(25);
+const lowPoly = sphere(25, 8);  // Octahedron-like
+```
+
+## 3D Transforms
+
+All transforms are **chainable** and **immutable** (return new shapes).
+The core 3D transform set uses the same names/signatures on `Shape`, `TrackedShape`, and `ShapeGroup`.
+For mixed groups that include `Sketch` children, `transform` / `rotateAround` / `pointAlong` are 3D-only.
+
+### `.clone()` / `.duplicate()`
+Create an explicit copy handle of a shape (same geometry/color) so you can branch variants clearly.
+
+```javascript
+const bracket = box(60, 20, 8);
+const left = bracket.clone().translate(-40, 0, 0);
+const right = bracket.duplicate().translate(40, 0, 0);
+```
+
+### `.translate(x, y, z)`
+Moves the shape relative to its current position.
+
+```javascript
+const moved = box(10, 10, 10).translate(50, 0, 0);
+```
+
+### `.moveTo(x, y, z)`
+Positions the shape so its bounding box min corner is at the given global coordinate.
+
+```javascript
+// Place a box at exactly (100, 50, 0) in world space
+const placed = box(30, 30, 10).moveTo(100, 50, 0);
+```
+
+### `.moveToLocal(target, x, y, z)`
+Positions the shape relative to another shape's local coordinate system (bounding box min corner).
+
+**Parameters:**
+- `target` (Shape | TrackedShape) — The reference shape
+- `x, y, z` (number) — Offset from target's bounding box min corner
+
+```javascript
+const base = box(100, 100, 10);
+const part = box(20, 20, 30);
+
+// Place part at (10, 10, 10) relative to base's origin corner
+const placed = part.moveToLocal(base, 10, 10, 10);
+```
+
+### `.rotate(x, y, z)`
+Rotates using Euler angles in **degrees**.
+
+**Parameters:**
+- `x, y, z` (number) - Rotation in degrees around each axis
+
+```javascript
+const rotated = box(50, 20, 10).rotate(0, 0, 45);  // 45° around Z
+const tilted = cylinder(50, 10).rotate(90, 0, 0);  // Lay on side
+```
+
+### `.scale(v)`
+Scales the shape.
+
+**Parameters:**
+- `v` (number | [number, number, number]) - Uniform scale or per-axis scale
+
+```javascript
+const bigger = sphere(10).scale(2);           // 2x larger
+const stretched = box(10, 10, 10).scale([2, 1, 0.5]);  // Non-uniform
+```
+
+### `.mirror(normal)`
+Mirrors across a plane defined by its normal vector.
+
+**Parameters:**
+- `normal` ([number, number, number]) - Plane normal (doesn't need to be unit length)
+
+```javascript
+const mirrored = shape.mirror([1, 0, 0]);  // Mirror across YZ plane
+```
+
+### `.transform(m)`
+Applies a custom 4x4 transform matrix or `Transform` object.
+
+**Parameters:**
+- `m` (`number[] | Transform`) - 4x4 column-major matrix (`number[16]`) or a `Transform`
+
+```javascript
+const T = Transform.identity()
+  .translate(0, 0, 1.5)
+  .rotateAxis([1, 0, 0], 35, [0, hingeY, 0]);
+
+const moved = lid.transform(T);
+```
+
+### `.rotateAround(axis, angleDeg, pivot?)`
+Rotates around an arbitrary axis through a pivot point.
+
+**Parameters:**
+- `axis` ([number, number, number]) - Rotation axis direction
+- `angleDeg` (number) - Rotation angle in degrees
+- `pivot` ([number, number, number], optional) - Pivot point. Default: origin
+
+```javascript
+// Rotate a door 45° around Z axis at the hinge position
+const opened = door.rotateAround([0, 0, 1], 45, [hingeX, hingeY, 0]);
+```
+
+### `.rotateAroundTo(axis, pivot, movingPoint, targetPoint, opts?)`
+Solves the rotation around an axis that makes `movingPoint` reach the target line/plane implied by `targetPoint`.
+
+**Parameters:**
+- `axis` ([number, number, number]) - Rotation axis direction
+- `pivot` ([number, number, number]) - Point on the rotation axis
+- `movingPoint` (`[number, number, number] | string`) - World-space point or this shape's anchor/reference
+- `targetPoint` (`[number, number, number] | string`) - World-space point or this shape's anchor/reference
+- `opts` (object, optional)
+  - `mode` (`'plane' | 'line'`) - Default: `'plane'`
+
+Modes:
+- `'plane'` — rotate until `movingPoint` lies in the plane defined by `axis` + `targetPoint`
+- `'line'` — rotate until `movingPoint` lies on the infinite line from `pivot` through `targetPoint`; throws if the geometry makes that impossible
+
+```javascript
+const arm = box(80, 8, 8, true)
+  .translate(40, 0, 0)
+  .withReferences({ points: { tip: [80, 0, 0] } });
+
+const aimed = arm.rotateAroundTo(
+  [0, 0, 1],
+  [0, 0, 0],
+  "tip",
+  [30, 30, 20],
+);
+```
+
+### `.pointAlong(direction)`
+Reorients a shape so its primary axis (Z) points along the given direction. Useful for laying cylinders and extrusions along X or Y without thinking about Euler angles.
+
+**Parameters:**
+- `direction` ([number, number, number]) - Target direction vector
+
+```javascript
+// Lay a cylinder along the X axis
+const axle = cylinder(100, 5).pointAlong([1, 0, 0]);
+
+// Symmetric hinges pointing outward from center
+const hingeL = cylinder(40, 5).pointAlong([-1, 0, 0]).translate(-50, 0, 0);
+const hingeR = cylinder(40, 5).pointAlong([1, 0, 0]).translate(50, 0, 0);
+```
+
+### `Transform` primitives (for kinematic chains)
+Use `Transform` when manual pivot math becomes hard to maintain.
+
+```javascript
+const T = Transform.identity()
+  .translate(0, 0, 120)
+  .rotateAxis([0, 0, 1], 35);
+
+const p = T.point([10, 0, 0]);   // transform a point
+const v = T.vector([1, 0, 0]);   // transform a direction (no translation)
+```
+
+Core methods:
+- `Transform.identity()`
+- `Transform.translation(x, y, z)`
+- `Transform.rotationAxis(axis, angleDeg, pivot?)`
+- `Transform.rotateAroundTo(axis, pivot, movingPoint, targetPoint, opts?)`
+- `Transform.scale(v)`
+- `T.mul(other)` (chain-composition order)
+- `composeChain(a, b, c, ...)` explicit left-to-right chain composition
+- `T.inverse()`
+- `shape.transform(T)` / `trackedShape.transform(T)` / `group.transform(T)`
+
+## Joints
+
+### `joint(name, shape, pivot, opts?)`
+Create a revolute (hinge) joint. Auto-creates a param slider and rotates the shape.
+
+**Parameters:**
+- `name` (string) - Display name for the angle parameter
+- `shape` (Shape) - The shape to rotate
+- `pivot` ([number, number, number]) - The pivot point
+- `opts` (object, optional):
+  - `axis` ([number, number, number]) - Rotation axis. Default: [0, 0, 1] (Z axis)
+  - `min` (number) - Minimum angle. Default: 0
+  - `max` (number) - Maximum angle. Default: 360
+  - `default` (number) - Initial angle. Default: 0
+  - `unit` (string) - Display unit. Default: "°"
+
+**Returns:** `Shape` (rotated by the current slider value)
+
+```javascript
+// One line: creates a "Lid Angle" slider and rotates the lid around the hinge
+const openLid = joint("Lid Angle", lid, [0, boxDepth, boxHeight], {
+  axis: [1, 0, 0],
+  max: 120,
+  default: 45,
+});
+```
+
+## Assembly Graph (Mechanisms)
+
+See also: `assembly.md`.
+
+### `assembly(name?)`
+Creates an assembly container with named parts + joints.
+
+```javascript
+const mech = assembly("Two-Link Arm")
+  .addPart("base", box(80, 80, 20, true))
+  .addPart("link1", box(120, 24, 24).translate(0, -12, -12))
+  .addPart("link2", box(100, 20, 20).translate(0, -10, -10))
+  .addJoint("shoulder", "revolute", "base", "link1", {
+    axis: [0, 1, 0],
+    min: -30, max: 120, default: 20,
+    frame: Transform.identity().translate(0, 0, 20),
+  })
+  .addJoint("elbow", "revolute", "link1", "link2", {
+    axis: [0, 1, 0],
+    min: -20, max: 140, default: 40,
+    frame: Transform.identity().translate(120, 0, 0),
+  });
+
+const solved = mech.solve();
+return solved.toScene();
+```
+
+Linked joint example:
+
+```javascript
+mech
+  .addJointCoupling("Top Gear", {
+    terms: [
+      { joint: "Steering", ratio: 1 },
+      { joint: "Wheel Drive", ratio: 20 / 14 },
+    ],
+  })
+  .addJointCoupling("Motor 1", {
+    terms: [{ joint: "Top Gear", ratio: -2 }],
+  });
+```
+
+Gear helper example:
+
+```javascript
+const pair = lib.gearPair({
+  pinion: { module: 1.25, teeth: 14, faceWidth: 8 },
+  gear: { module: 1.25, teeth: 42, faceWidth: 8 },
+});
+
+mech.addGearCoupling("Driven", "Pinion", { pair }); // uses pair.jointRatio
+```
+
+Bevel/face helper example:
+
+```javascript
+const bevel = lib.bevelGearPair({
+  pinion: { module: 1.5, teeth: 18, faceWidth: 10 },
+  gear: { module: 1.5, teeth: 36, faceWidth: 9 },
+  shaftAngleDeg: 90,
+});
+
+const face = lib.faceGearPair({
+  face: { module: 1.5, teeth: 44, faceWidth: 7, toothHeight: 1.2, side: 'top' },
+  vertical: { module: 1.5, teeth: 16, faceWidth: 8 },
+});
+
+mech.addGearCoupling("Bevel Driven", "Bevel Driver", { pair: bevel });
+mech.addGearCoupling("Face Driven", "Face Driver", { pair: face });
+```
+
+Key methods:
+- `addPart(name, shape, { transform?, metadata? })`
+- `addFrame(name, { transform? })` for virtual mechanism frames
+- `addJoint(name, type, parent, child, opts)` where `type` is `'fixed' | 'revolute' | 'prismatic'`
+- `addRevolute(...)`, `addPrismatic(...)`, `addFixed(...)` shorthand helpers
+- `addJointCoupling(jointName, { terms, offset? })` for linked joints:
+  - `jointName`: driven joint
+  - `terms`: `[{ joint, ratio? }, ...]` where each source contributes `ratio * sourceValue` (default ratio `1`)
+  - `offset`: additive bias after term sum (default `0`)
+- `addGearCoupling(drivenJoint, driverJoint, opts)` for revolute gear meshes:
+  - ratio source (exactly one): `ratio`, `pair` (`pair.jointRatio`), or `driverTeeth + drivenTeeth`
+  - `mesh`: `'external' | 'internal' | 'bevel' | 'face'` (teeth mode only, default `'external'`; `bevel`/`face` follow external sign)
+  - `offset`: additive bias after gear ratio
+- `solve(state?)` with per-joint value overrides
+- `sweepJoint(jointName, from, to, steps, baseState?, collisionOptions?)`
+
+Solved assembly helpers:
+- `solved.toScene()` for rendering
+- `solved.collisionReport()` for interference checks
+- `solved.minClearance(partA, partB, searchLength?)`
+- `solved.bom()` / `solved.bomCsv()`
+- `bomToCsv(rows)` (standalone helper)
+
+### `robotExport(options)`
+Declares that the current script should also export an `assembly(...)` as a robot package for the SDF CLI.
+
+Key fields:
+- `assembly`: required source assembly graph
+- `modelName`: simulator-facing model name
+- `links.<part>.massKg` or `densityKgM3`: inertial hints
+- `joints.<joint>.effort|velocity|damping|friction`: simulator tuning
+- `plugins.diffDrive`: diff-drive plugin wiring for Gazebo
+- `world.generateDemoWorld`: emit a simple obstacle-course world alongside the model
+
+Example:
+
+```javascript
+robotExport({
+  assembly: mech,
+  modelName: "Forge Scout",
+  links: {
+    Base: { massKg: 12 },
+  },
+  plugins: {
+    diffDrive: {
+      leftJoints: ["leftFront", "leftRear"],
+      rightJoints: ["rightFront", "rightRear"],
+      wheelSeparationMm: 320,
+      wheelRadiusMm: 72,
+    },
+  },
+});
+```
+
+## 3D Boolean Operations
+
+### `union(...shapes)`
+Combines shapes (additive).
+
+```javascript
+const combined = union(
+  box(50, 50, 10),
+  cylinder(20, 15).translate(25, 25, 10)
+);
+
+const parts = [
+  box(50, 50, 10),
+  cylinder(20, 15).translate(25, 25, 10),
+];
+const combinedFromArray = union(parts);
+```
+
+### `difference(...shapes)`
+Subtracts shapes[1..n] from shapes[0].
+
+```javascript
+const plate = box(100, 100, 5);
+const hole1 = cylinder(6, 10).translate(25, 50, 0);
+const hole2 = cylinder(6, 10).translate(75, 50, 0);
+const result = difference(plate, hole1, hole2);
+const resultFromArray = difference([plate, hole1, hole2]);
+
+// Or using method syntax:
+const result = plate.subtract(hole1, hole2);
+const sameResult = plate.subtract([hole1, hole2]);
+```
+
+### `intersection(...shapes)`
+Keeps only overlapping volume.
+
+```javascript
+const overlap = intersection(
+  sphere(30),
+  box(40, 40, 40, true)
+);
+
+const overlapFromArray = intersection([
+  sphere(30),
+  box(40, 40, 40, true),
+]);
+```
+
+### Method Syntax
+Shapes also have boolean methods:
+
+```javascript
+shape.add(other1, other2)
+shape.add([other1, other2])
+shape.subtract(other1, other2)
+shape.subtract([other1, other2])
+shape.intersect(other1, other2)
+shape.intersect([other1, other2])
+```
+
+## Group
+
+### `group(...items)`
+Groups multiple shapes/sketches for joint transforms without merging them into a single mesh. Unlike `union`, colors and individual identities are preserved.
+
+**Parameters:**
+- `...items` (Shape | Sketch | TrackedShape | ShapeGroup | `{ name, shape? | sketch? | group? }`) - Items to group (nested groups allowed)
+
+**Returns:** `ShapeGroup`
+
+```javascript
+const base = box(100, 100, 5).color('#888888');
+const column = cylinder(40, 5).translate(50, 50, 5).color('#4488cc');
+
+// Group them — they stay separate but transform together
+const assembly = group(base, column).translate(200, 0, 0);
+return assembly;
+```
+
+Named child descriptors are useful when the group will be flattened later, especially inside assemblies:
+
+```javascript
+const shell = box(80, 60, 24).color('#6e7b88');
+const lid = box(80, 60, 4).translate(0, 0, 24).color('#c9d2db');
+
+const housing = group(
+  { name: 'Shell', shape: shell },
+  { name: 'Lid', shape: lid },
+);
+```
+
+When that group is returned directly, each named child keeps its own viewport object. When the group is used as an assembly part, Forge uses those child names to produce labels such as `Base Assembly.Lid` instead of `Base Assembly.2`.
+
+### ShapeGroup Methods
+
+**Transforms** — all chainable, return a new ShapeGroup. Placement references (see below) are transformed along with the children.
+
+```javascript
+group.translate(x, y, z)
+group.moveTo(x, y, z)
+group.moveToLocal(target, x, y, z)
+group.attachTo(target, targetAnchor, selfAnchor?, offset?)
+group.rotate(x, y, z)
+group.rotateAround(axis, angleDeg, pivot?)
+group.rotateAroundTo(axis, pivot, movingPoint, targetPoint, opts?)
+group.pointAlong(direction)
+group.transform(m)
+group.scale(v)
+group.mirror(normal)
+group.color(hex)  // applies to all children
+group.clone()
+group.duplicate() // alias
+```
+
+**Placement references** — same API as `Shape`. References survive all transforms and `importGroup()` round-trips.
+
+```javascript
+group.withReferences({ points?, edges?, surfaces?, objects? })
+group.referenceNames(kind?)
+group.referencePoint(ref)
+group.placeReference(ref, target, offset?)
+```
+
+**Child access** — get a named child as a live `Shape`/`TrackedShape`/`ShapeGroup`.
+
+```javascript
+group.child(name)          // throws if name not found
+group.children             // raw array
+group.childNames           // name array (parallel to children)
+group.childName(index)     // name at index
+```
+
+`group.rotateAround(...)` is convenience sugar for `group.transform(Transform.rotationAxis(...))`.
+`group.rotateAroundTo(...)` is convenience sugar for `group.transform(Transform.rotateAroundTo(...))`.
+`group.pointAlong(...)` is convenience sugar for a group-wide axis rotation from Z to `direction`.
+
+```javascript
+const hingeY = 40;
+const lid = group(shell, logo);
+
+const openedA = lid.rotateAround([1, 0, 0], 35, [0, hingeY, 0]); // sugar
+const openedB = lid.transform(Transform.rotationAxis([1, 0, 0], 35, [0, hingeY, 0])); // equivalent
+
+const laidDown = lid.pointAlong([1, 0, 0]); // same intent as Shape/TrackedShape.pointAlong
+```
+
+### ShapeGroup and placement references
+
+`group()` fully supports `.withReferences()`, `.placeReference()`, and `.referencePoint()` — the same API available on `Shape` and `TrackedShape`. References survive every transform (`translate`, `rotate`, `scale`, `mirror`, `transform`, `rotateAround`, etc.).
+
+```javascript
+const bracketGroup = group(
+  { name: 'Bracket Left',  shape: leftBracket },
+  { name: 'Bracket Right', shape: rightBracket },
+  { name: 'Dowel',         shape: dowel },
+).withReferences({
+  points: {
+    mountCenter: [0, 0, 0],
+    topCenter:   [34, 30, 40],
+  },
+});
+
+// Place the group by a named reference point
+const placed = bracketGroup.placeReference('mountCenter', [100, 0, 0]);
+
+// Reference survives the translation:
+const pt = placed.referencePoint('mountCenter'); // → [100, 0, 0]
+```
+
+When a ShapeGroup is returned from a script, each child becomes a separate viewport object with its own visibility/color controls. Named children keep those names in the viewport/object tree.
+
+## 3D Anchor Positioning
+
+### `.attachTo(target, targetAnchor, selfAnchor?, offset?)`
+Position a shape relative to another using named 3D anchor points based on bounding boxes.
+
+Available on both `Shape` and `TrackedShape`.
+
+**Parameters:**
+- `target` (Shape | TrackedShape) — The shape to attach to
+- `targetAnchor` (Anchor3D) — Point on target
+- `selfAnchor` (Anchor3D, optional) — Point on this shape to align. Default: 'center'
+- `offset` ([number, number, number], optional) — Additional offset after alignment
+
+**Anchor3D values:**
+- `'center'` — bounding box center
+- Face centers (1 axis pinned): `'front'` (−Y), `'back'` (+Y), `'left'` (−X), `'right'` (+X), `'top'` (+Z), `'bottom'` (−Z)
+- Edge midpoints (2 axes pinned): `'front-left'`, `'front-right'`, `'back-left'`, `'back-right'`, `'top-front'`, `'top-back'`, `'top-left'`, `'top-right'`, `'bottom-front'`, `'bottom-back'`, `'bottom-left'`, `'bottom-right'`
+- True corners (3 axes pinned): `'top-front-left'`, `'top-front-right'`, `'top-back-left'`, `'top-back-right'`, `'bottom-front-left'`, `'bottom-front-right'`, `'bottom-back-left'`, `'bottom-back-right'`
+
+Anchor word order is flexible for built-ins: `'front-left'` and `'left-front'` are treated the same.
+
+**Returns:** Same type as caller (Shape or TrackedShape)
+
+```javascript
+const base = box(100, 100, 10);
+const column = cylinder(50, 8);
+
+// Place column on top of base, centered
+const placed = column.attachTo(base, 'top', 'bottom');
+
+// Stack boxes: place b on top of a, aligned at back-left corner
+const a = box(50, 50, 20);
+const b = box(30, 30, 10);
+const stacked = b.attachTo(a, 'top-back-left', 'bottom-back-left');
+
+// Place with offset: center on top, then shift 10mm right
+const shifted = column.attachTo(base, 'top', 'bottom', [10, 0, 0]);
+```
+
+### `.onFace(parent, face, opts?)`
+Place a shape on a specific face of a parent shape. Think of it like sticking a label on a box surface.
+
+**Parameters:**
+- `parent` (Shape | TrackedShape) — The parent shape
+- `face` ('front' | 'back' | 'left' | 'right' | 'top' | 'bottom') — Which face to place on
+- `opts` (object, optional):
+  - `u` (number) — Horizontal offset within the face (from center). Default: 0
+  - `v` (number) — Vertical offset within the face (from center). Default: 0
+  - `protrude` (number) — How far the child sticks out from the face. Default: 0
+
+**Face coordinate mapping (u, v):**
+- front/back: u = left/right (X), v = up/down (Z)
+- left/right: u = forward/back (Y), v = up/down (Z)
+- top/bottom: u = left/right (X), v = forward/back (Y)
+
+**Returns:** Same type as caller
+
+```javascript
+const body = box(100, 40, 60, true);
+
+// Vent on front face, centered, 15mm below center, protruding 2mm
+const vent = box(80, 2, 12, true).color('#333')
+  .onFace(body, 'front', { v: -15, protrude: 2 });
+
+// Display near top-right of front face
+const display = box(35, 1.5, 8, true).color('#00ddee')
+  .onFace(body, 'front', { u: 20, v: 15, protrude: 1 });
+
+// Fan on top, protruding 5mm
+const fan = cylinder(10, 40).color('#333')
+  .onFace(body, 'top', { protrude: 5 });
+
+// Side vent on left face
+const sideVent = box(2, 30, 40, true).color('#666')
+  .onFace(body, 'left', { protrude: 1 });
+```
+
+**When to use `onFace()` vs `attachTo()`:**
+- `onFace()` — placing surface details (vents, displays, buttons, labels) on a parent body
+- `attachTo()` — stacking independent parts (column on base, unit on wall)
+
+## Advanced 3D Operations
+
+### `hull3d(...args)`
+Convex hull of multiple shapes and/or points.
+
+```javascript
+const hull = hull3d(
+  sphere(10),
+  sphere(10).translate(50, 0, 0),
+  [25, 0, 30],  // bare point
+);
+```
+
+### `levelSet(sdf, bounds, edgeLength, level?)`
+Create a shape from a signed distance function (SDF). Positive = inside.
+
+```javascript
+const gyroid = levelSet(
+  ([x, y, z]) => Math.sin(x) * Math.cos(y) + Math.sin(y) * Math.cos(z) + Math.sin(z) * Math.cos(x),
+  { min: [-10, -10, -10], max: [10, 10, 10] },
+  0.5,  // edge length (resolution)
+);
+```
+
+### Smoothing
+
+```javascript
+// Mark edges for smoothing, then subdivide
+const smooth = box(50, 50, 50, true)
+  .smoothOut(60)     // edges sharper than 60° get smoothed
+  .refine(4);        // subdivide 4 times
+
+// Or refine by edge length / tolerance
+shape.refineToLength(2);      // max edge length 2mm
+shape.refineToTolerance(0.1); // max deviation 0.1mm from smooth surface
+```
+
+### Cutting
+
+```javascript
+// Split by another shape → [inside, outside]
+const [inside, outside] = shape.split(cutter);
+
+// Split by infinite plane → [positive side, opposite side]
+const [above, below] = shape.splitByPlane([0, 0, 1], 10);  // Z=10 plane
+
+// Trim: keep the positive side of the plane
+const trimmed = shape.trimByPlane([0, 0, 1], 10);
+```
+
+#### `shape.shell(thickness, options?)`
+Hollow out a supported solid by keeping the outside wall and subtracting an inward cavity.
+
+Current compiler-backed `shell()` support is intentionally narrow:
+
+- compile-covered `box()`, `cylinder()`, and straight `Sketch.extrude()` solids
+- optional `openFaces: ['top' | 'bottom']`
+- rigid transforms before shelling are preserved through both lowerers
+- defended named-face queries on the resulting outer shell faces plus created inner faces where Forge can model them exactly
+
+Not supported yet:
+
+- tapered extrudes (`scaleTop`)
+- scale transforms before shelling
+- already-shelled results
+- general boolean, `revolve()`, `loft()`, `sweep()`, `sphere()`, hull, and plane-trim bases
+
+Forge keeps `shell` as semantic compiler intent, then lowers it into backend-supported boolean/extrude/cylinder plans for both Manifold and CadQuery/OCCT.
+
+Supported named-face subset on the shell result:
+
+- preserved outer faces stay queryable on defended bases
+- created inner faces use names like `inner-top`, `inner-bottom`, `inner-side`, or `inner-side-right`
+- downstream `onFace(result, 'inner-side-right', ...)` placement is defended on the planar members of that subset
+- generic straight extrudes still shell exactly, but named created-face support is currently limited to the defended profile families Forge can model directly (`rect`, `roundedRect`, `circle`)
+
+```javascript
+const cup = roundedRect(80, 50, 6, true)
+  .extrude(30)
+  .translate(4, -3, 2)
+  .shell(2.5, { openFaces: ['top'] });
+```
+
+#### `shape.hole(face, options)`
+Compiler-owned circular hole workflow anchored to a face/workplane query.
+
+- `depth` omitted = through-hole
+- `depth` provided = blind hole
+- `upToFace` = stop on a queried planar face parallel to the hole direction
+- `extent: { forward, reverse? }` = two-sided extent with forward/reverse termination options
+- `u` / `v` place the hole in face-local coordinates
+- `counterbore: { diameter, depth }` adds a wider cylindrical recess at the entry
+- `countersink: { diameter, angleDeg? }` adds a conical entry (default `90°`)
+- `thread: { designation?, pitch?, class?, handedness?, depth?, modeled? }` carries thread intent metadata
+- `depth` and `upToFace` are mutually exclusive with `extent`
+- `counterbore` and `countersink` are mutually exclusive
+
+```javascript
+const block = roundedRect(90, 60, 8, true).extrude(24);
+const exitFace = block.face('bottom');
+
+const body = block
+  .hole('front', { diameter: 8, u: 0, v: 2 })          // through
+  .hole('top', { diameter: 6, u: -18, v: 10, depth: 10 }) // blind
+  .hole('top', {
+    diameter: 5,
+    u: 18,
+    v: 10,
+    upToFace: exitFace,
+    counterbore: { diameter: 9, depth: 4 },
+  });
+```
+
+Supported subset:
+
+- compile-covered target bodies
+- canonical faces, tracked planar faces, and `FaceRef` targets
+- through, blind, and planar `upToFace` circular holes
+- two-sided extents with forward/reverse termination (blind or `upToFace` per side)
+- counterbore and countersink entry variants on one-sided hole extents
+- thread metadata for deferred thread intent (modeled threads not yet supported)
+- exact lowering through both Manifold and CadQuery/OCCT
+- created hole faces in the defended subset:
+  - `wall` on all supported hole variants
+  - `floor` on blind holes
+  - `cap` on reverse blind two-sided holes
+  - `counterbore-wall` and `counterbore-floor` on counterbored holes
+  - `countersink-wall` on countersunk holes
+- preserved non-host faces stay queryable where Forge can defend them
+- rewritten host/exit faces now stay queryable as defended descendant regions when Forge can keep one stable source surface/frame
+- reusing the same `upToFace` stop plane through later rewrites is supported when you keep a `FaceRef` from the earlier face (`const exitFace = block.face('bottom')`)
+
+Not supported yet:
+
+- non-planar or non-parallel `upToFace` termination faces
+- two-sided extents combined with counterbore or countersink heads
+- modeled helical threads (pass thread metadata with `modeled: false` or omitted for deferred intent)
+- combined counterbore+countersink heads
+- drafted/tapered main holes
+- segmented polygonal hole cutters
+- runtime-only target bodies without compiler intent
+
+#### `shape.cutout(sketch, options?)`
+Compiler-owned cut-extrude workflow using a sketch already placed with `Sketch.onFace(...)`.
+
+- `depth` omitted = through-cut
+- `depth` provided = blind cut
+- `upToFace` = stop on a queried planar face parallel to the cut direction
+- `extent: { forward, reverse? }` = two-sided extent with forward/reverse termination options
+- `taperScale` = draft angle for tapered cuts (uniform or `[x, y]` pair)
+- the sketch must carry semantic workplane placement from `onFace(...)`
+
+```javascript
+const block = roundedRect(90, 60, 8, true).extrude(24);
+const exitFace = block.face('bottom');
+const pocket = roundedRect(18, 10, 2, true)
+  .onFace(block, 'top', { u: 14, v: -8, selfAnchor: 'center' });
+
+const body = block.cutout(pocket, { upToFace: exitFace });
+```
+
+Supported subset:
+
+- compile-covered sketch profiles that CadQuery/OCCT already supports
+- sketches placed on queried faces via `onFace(...)`
+- through, blind, and planar `upToFace` cut extents
+- two-sided extents with forward/reverse termination
+- tapered cuts via `taperScale` on circle, rect, and roundedRect profiles
+- exact/runtime parity through the shared compiler node family
+- created cut faces in the defended subset:
+  - `floor` on blind cuts
+  - `wall` on circular cuts
+  - `wall-bottom`, `wall-right`, `wall-top`, `wall-left` on rectangular and rounded-rectangle cuts
+  - `cap` on reverse blind two-sided cuts
+- preserved non-host faces stay queryable where Forge can defend them
+- rewritten host/exit faces now stay queryable as defended descendant regions when Forge can keep one stable source surface/frame
+- reusing the same `upToFace` stop plane through later rewrites is supported when you keep a `FaceRef` from the earlier face
+
+Not supported yet:
+
+- free-floating sketches without face/workplane provenance
+- non-planar or non-parallel `upToFace` termination faces
+- two-sided extents combined with `taperScale`
+- named created-wall support for arbitrary boolean/offset/projected cut profiles
+
+#### `sheetMetal(options)`
+Compiler-owned sheet-metal v1 builder.
+
+`sheetMetal(...)` returns a `SheetMetalPart`, not a solid directly.
+
+Core flow:
+
+- define the base panel, thickness, bend radius, and explicit `kFactor`
+- add `90°` edge flanges with `.flange(...)`
+- add planar panel/flange cutouts with `.cutout(...)`
+- materialize either `.folded()` or `.flatPattern()`
+
+```javascript
+const cover = sheetMetal({
+  panel: { width: 180, height: 110 },
+  thickness: 1.5,
+  bendRadius: 2,
+  bendAllowance: { kFactor: 0.42 },
+  cornerRelief: { size: 4 },
+})
+  .flange('top', { length: 18 })
+  .flange('right', { length: 18 })
+  .flange('bottom', { length: 18 })
+  .flange('left', { length: 18 })
+  .cutout('panel', rect(72, 36, true), { selfAnchor: 'center' })
+  .cutout('flange-right', roundedRect(26, 10, 5, true), { selfAnchor: 'center' });
+
+const folded = cover.folded();
+const flat = cover.flatPattern();
+```
+
+Supported v1 subset:
+
+- one base panel
+- up to four `90°` edge flanges
+- constant thickness
+- explicit bend radius plus explicit K-factor bend metadata
+- rectangular corner reliefs
+- planar cutouts on the panel and existing flange regions
+- defended semantic regions such as `panel`, `flange-right`, and `bend-right`
+
+Not supported yet:
+
+- arbitrary solid conversion into sheet metal
+- hems, jogs, lofted bends, or broader miter-corner logic
+- nonuniform thickness
+- cutouts directly on bend regions
+
+Use [sheet-metal.md](sheet-metal.md) for the full sheet-metal contract and the maintained `folded-service-panel-cover` proof model.
+
+### Warping
+
+```javascript
+// Deform vertices with arbitrary function
+const warped = box(50, 50, 50, true).warp(([x, y, z]) => {
+  // Twist around Z axis
+  const angle = z * 0.05;
+  const cos = Math.cos(angle), sin = Math.sin(angle);
+  const nx = x * cos - y * sin;
+  const ny = x * sin + y * cos;
+  return [nx, ny, z];
+});
+```
+
+### Plane Operations
+
+```javascript
+// Cross-section: intersect shape with a plane → Sketch
+const section = intersectWithPlane(shape, { plane: 'XY', offset: 10 });
+
+// Project: flatten shape onto a plane → Sketch
+const shadow = projectToPlane(shape, { origin: [0, 0, 0], normal: [0, 0, 1] });
+```
+
+`projectToPlane()` always works as a runtime modeling utility.
+
+Compiler-owned replay is narrower today:
+- supported for downstream exact export when the projected source reduces to one defended planar projection basis:
+  - plain `extrude()` / `box()` / `cylinder()` sources in their native XY basis
+  - `Sketch.onFace()`-placed straight extrusions on a matching parallel target plane
+  - compatible `shell()` / through-`hole()` / through-`cutout()` descendants aligned to that same basis
+  - boolean `union()` combinations of compatible projected operands, including mirrored/patterned descendants
+- aligned blind holes/cuts keep the same replayed silhouette, while aligned through holes/cuts subtract their projected profile from it
+- the target plane still has to stay parallel to that defended basis without introducing in-plane shear
+- boolean `difference()` / `intersection()` sources, trim/fillet/chamfer silhouette changes, and non-parallel host workplanes still return a usable runtime sketch but fall back to explicit compiler diagnostics instead of pretending the projection is exact-safe
+
+## 2D Sketches
+
+This file intentionally avoids repeating full 2D API signatures that already live in dedicated docs.
+
+Use these canonical files:
+
+- [sketch-core.md](sketch-core.md) - `Sketch` basics, queries, anchors, color, clone/duplicate
+- [sketch-primitives.md](sketch-primitives.md) - `rect`, `circle2d`, `roundedRect`, `polygon`, `ngon`, `ellipse`, `slot`, `star`
+- [sketch-path.md](sketch-path.md) - `path()` builder and `stroke(...)`
+- [sketch-transforms.md](sketch-transforms.md) - translate/rotate/scale/mirror for sketches
+- [sketch-booleans.md](sketch-booleans.md) - `union2d`/`difference2d`/`intersection2d`/`hull2d` and method forms
+- [sketch-operations.md](sketch-operations.md) - `offset`, `filletCorners`, `simplify`, `warp`, hull
+- [sketch-on-face.md](sketch-on-face.md) - sketch placement on planar faces
+- [sketch-extrude.md](sketch-extrude.md) - `extrude` and `revolve`
+- [sketch-anchor.md](sketch-anchor.md) - 2D anchor-based positioning
+- [entities.md](entities.md) - constrained sketches, named entities, topology-aware utilities
+
+Integration rule: start with the smallest relevant doc set and add more only when the task expands.
+
+### Curves & Surfacing
+
+#### `spline2d(points, options?)`
+Build a smooth Catmull-Rom spline sketch from 2D control points.
+
+**Options:**
+- `closed` (boolean) - Default: `true`
+- `tension` (number, 0..1) - Default: `0.5`
+- `samplesPerSegment` (number) - Default: `16`
+- `strokeWidth` (number) - Required when `closed: false` (creates a stroked solid)
+- `join` (`'Round' | 'Square'`) - Stroke corner style for open splines. Default: `'Round'`
+
+```javascript
+const closed = spline2d([[20,0],[12,10],[0,12],[-12,10],[-20,0],[0,-14]]);
+const openRail = spline2d([[0,0],[30,20],[70,10]], { closed: false, strokeWidth: 3 });
+```
+
+#### `spline3d(points, options?)` / `Curve3D`
+Create a reusable 3D spline curve object.
+
+`Curve3D` methods:
+- `.sample(count?)`
+- `.sampleBySegment(samplesPerSegment?)`
+- `.pointAt(t)` where `t` is `[0..1]`
+- `.tangentAt(t)`
+- `.length(samples?)`
+
+```javascript
+const rail = spline3d(
+  [[0,0,0], [20,10,30], [40,0,60]],
+  { tension: 0.45 }
+);
+```
+
+#### `loft(profiles, heights, options?)`
+Loft between multiple sketches along Z stations.
+
+This implementation interpolates signed-distance fields and meshes via level-set extraction, so profiles can differ in vertex count/topology. Forge now records that loft intent in the compiler graph as well, and compatible loft stacks can export through the CadQuery/OCCT exact route even though viewport/runtime geometry remains sampled.
+
+Performance note: `loft()` is significantly heavier than primitive/extrude/revolve paths. Use loft only when profile interpolation is required. If your part is axis-symmetric (bottles, vases, knobs, lathe-style parts), prefer `revolve()` for much faster generation.
+
+**Parameters:**
+- `profiles` (`Sketch[]`) - At least 2
+- `heights` (`number[]`) - Same length as `profiles`, strictly increasing
+- `options`:
+  - `edgeLength` (number) - Mesh resolution
+  - `boundsPadding` (number) - Extra level-set bounds padding
+
+```javascript
+const body = loft(
+  [circle2d(20), roundedRect(30, 24, 6, true), circle2d(10)],
+  [0, 40, 70],
+  { edgeLength: 1.0 }
+);
+```
+
+#### `sweep(profile, path, options?)`
+Sweep a 2D profile along a 3D path (`Curve3D` or point polyline).
+
+Performance note: `sweep()` also uses level-set meshing internally. Prefer direct primitives/extrude/revolve when they can express the same shape. Forge records the sampled sweep path in the compiler graph, so compatible sweeps can export through the CadQuery/OCCT exact route using that canonical path representation.
+
+**Parameters:**
+- `profile` (`Sketch`) - Local cross-section in XY plane
+- `path` (`Curve3D | [x,y,z][]`)
+- `options`:
+  - `samples` (number) - Sampling count for `Curve3D` paths (default `48`)
+  - `edgeLength` (number) - Mesh resolution
+  - `boundsPadding` (number) - Extra level-set bounds padding
+  - `up` (`[x,y,z]`) - Preferred frame-up vector
+
+```javascript
+const tubePath = spline3d([[0,0,0], [20,0,20], [40,10,30]]);
+const tube = sweep(circle2d(3), tubePath, { samples: 36, edgeLength: 0.7 });
+```
+
+## Entities, Constraints, and Patterns
+
+`reference.md` delegates detailed entity/constraint coverage to [entities.md](entities.md) to avoid duplication.
+
+Use [entities.md](entities.md) for:
+
+- `Point2D`, `Line2D`, `Circle2D`, `Rectangle2D`
+- `TrackedShape` topology access (`face`, `edge`, `faceNames`, `edgeNames`, `toShape`)
+- `constrainedSketch()` and `Constraint.*`
+- `linearPattern`, `circularPattern`, `mirrorCopy`
+- `filletEdge`, `chamferEdge`, `arcBridgeBetweenRects`
+- Utility helpers like `degrees(...)` and `radians(...)`
+
+## Multi-File Projects
+
+ForgeCAD supports multi-file projects. Files are either **sketches** (`.sketch.js`, return a `Sketch`), **parts** (`.forge.js`, return a `Shape`, `TrackedShape`, or `ShapeGroup`), or **SVG assets** (`.svg`, parsed into a `Sketch`).
+
+### File Types
+- `*.sketch.js` — 2D sketch file; when used with `importSketch()`, must return a `Sketch`
+- `*.forge.js` — 3D Forge file:
+  - when used with `importPart()`, must return a `Shape` or `TrackedShape`
+  - when used with `importGroup()`, must return a `ShapeGroup` (via `group(...)`)
+- `*.svg` — vector artwork file, imported as sketch geometry
+
+### Import Path Resolution
+- `./file.forge.js`, `./file.sketch.js`, `./asset.svg` (and `../...`) resolve relative to the file that calls imports
+- Bare paths like `api/bracket.forge.js` resolve from the opened project root
+- Leading `/` is treated as project-root relative
+
+### `importSketch(fileName, paramOverridesOrSvgOptions?)`
+Imports a sketch and returns `Sketch`.
+
+- For `*.sketch.js`: executes the file (must return `Sketch`)
+- For `*.svg`: parses vector geometry into a `Sketch`
+
+**Parameters:**
+- `fileName` (string) — Import path (e.g. `"./profile.sketch.js"` or `"api/profile.sketch.js"`)
+- `paramOverridesOrSvgOptions` (optional object)
+  - For `*.sketch.js`: import-time param overrides by param name
+  - For `*.svg`: SVG import options (see `importSvgSketch`)
+
+**Returns:** `Sketch`
+
+```javascript
+// In a .forge.js file:
+const profile = importSketch("bracket-profile.sketch.js", {
+  "Width": 42,
+  "Height": 18,
+});
+return profile.extrude(50);
+```
+
+```javascript
+// Import SVG and keep only the largest connected region
+const logo = importSketch("assets/logo.svg", {
+  include: "auto",
+  regionSelection: "largest",
+  flattenTolerance: 0.25,
+});
+return logo.extrude(2);
+```
+
+### `importSvgSketch(fileName, options?)`
+Parses an SVG file and returns a `Sketch`.
+
+**Parameters:**
+- `fileName` (string) — Import path to an `.svg`
+- `options` (optional object):
+  - `include`: `'auto' | 'fill' | 'stroke' | 'fill-and-stroke'` (default: `'auto'`)
+  - `regionSelection`: `'all' | 'largest'` (default: `'all'`)
+  - `maxRegions`: number (largest-first cap)
+  - `minRegionArea`: number
+  - `minRegionAreaRatio`: number (fraction of largest region area)
+  - `flattenTolerance`: number (curve discretization tolerance)
+  - `arcSegments`: number (minimum arc segment count)
+  - `scale`: number (uniform scale factor)
+  - `maxWidth`: number (uniformly downscale to keep final sketch width within this limit)
+  - `maxHeight`: number (uniformly downscale to keep final sketch height within this limit)
+  - `centerOnOrigin`: boolean (default: `false`, recenters final sketch bounds center to `(0, 0)`)
+  - `simplify`: number (final simplify tolerance, default: `0`)
+  - `invertY`: boolean (default: `true`, converts SVG Y-down to CAD Y-up)
+
+**Returns:** `Sketch`
+
+```javascript
+const badge = importSvgSketch("assets/badge.svg", {
+  include: "fill-and-stroke",
+  minRegionAreaRatio: 0.001,
+  maxRegions: 8,
+  maxWidth: 120,
+  maxHeight: 80,
+  centerOnOrigin: true,
+});
+return badge;
+```
+
+### `importPart(fileName, paramOverrides?)`
+Executes another file and returns its result as a `Shape`. The target file may return either `Shape` or `TrackedShape` (tracked results are auto-unwrapped to `Shape`).
+
+**Parameters:**
+- `fileName` (string) — Import path (e.g. `"./bracket.forge.js"` or `"api/bracket.forge.js"`)
+- `paramOverrides` (optional object) — Import-time parameter overrides by param name
+
+**Returns:** `Shape` (chainable)
+
+```javascript
+// Assembly: import parts and position them
+const bracket = importPart("bracket.forge.js", { "Thickness": 4 });
+const bracket2 = importPart("bracket.forge.js", { "Thickness": 8 })
+  .translate(100, 0, 0)
+  .rotate(0, 0, 180);
+
+return union(bracket, bracket2);
+```
+
+Imported parts can also carry named placement references:
+
+```javascript
+// widget.forge.js
+return union(base, post).withReferences({
+  points: {
+    mount: [0, -16, -4],
+  },
+  objects: {
+    post,
+  },
+});
+```
+
+```javascript
+// assembly.forge.js
+const widget = importPart("widget.forge.js")
+  .placeReference("mount", [120, 40, 0]);
+
+const cap = box(18, 18, 8, true)
+  .attachTo(widget, "objects.post.top", "bottom");
+
+return [widget, cap];
+```
+
+### `importGroup(fileName, paramOverrides?)`
+Executes another file and returns its result as a `ShapeGroup`. The target file **must** return a `ShapeGroup` (i.e. use `group(...)` as the final `return`). Use this when you want to import a multipart component and either transform it as a unit or access individual named children separately.
+
+**Parameters:**
+- `fileName` (string) — Import path (e.g. `"./bracket-assembly.forge.js"`)
+- `paramOverrides` (optional object) — Import-time parameter overrides by param name
+
+**Returns:** `ShapeGroup` (chainable)
+
+```javascript
+// bracket-assembly.forge.js  ← the source file
+const thickness = param("Thickness", 4);
+const leftBracket  = box(thickness, 60, 40).color('#5b7c8d');
+const rightBracket = box(thickness, 60, 40).translate(64, 0, 0).color('#5b7c8d');
+const dowel = cylinder(60, 3).rotate(90,0,0).translate(34, 60, 20).color('#d38b4d');
+
+return group(
+  { name: "Bracket Left",  shape: leftBracket },
+  { name: "Bracket Right", shape: rightBracket },
+  { name: "Dowel",         shape: dowel },
+).withReferences({
+  points: { mountCenter: [0, 30, 20] },
+});
+```
+
+```javascript
+// scene.forge.js  ← the consumer
+// Import and use as a whole unit
+const bracketA = importGroup("bracket-assembly.forge.js")
+  .placeReference("mountCenter", [0, 0, 0]);
+
+// Import with param overrides, then work on children individually
+const bracketB = importGroup("bracket-assembly.forge.js", { "Thickness": 6 });
+const leftOnly  = bracketB.child("Bracket Left").color('#ff4444');
+const rightOnly = bracketB.child("Bracket Right").translate(200, 0, 0);
+
+return [bracketA, leftOnly, rightOnly];
+```
+
+**When to use `importGroup` vs `importPart`:**
+
+| | `importPart` | `importGroup` |
+|---|---|---|
+| Source returns | `Shape` or `TrackedShape` | `ShapeGroup` via `group(...)` |
+| Result type | `Shape` — chainable, supports all boolean ops | `ShapeGroup` — children stay separate |
+| Access children | Not possible | `group.child("Name")` |
+| Placement refs | `.withReferences()` on the Shape | `.withReferences()` on the group |
+
+### Import Rules
+- Circular imports are detected and throw an error
+- Imported files can be instantiated multiple times (each call is a fresh execution)
+- `paramOverrides` only affects that import call (other imports are independent)
+- Params supplied through `paramOverrides` are treated as fixed arguments for that import call
+- Relative imports (`./` / `../`) are resolved from the current file path
+- `importPart()` accepts `Shape` or `TrackedShape` results and always returns a chainable `Shape`
+- `importGroup()` accepts only `ShapeGroup` results; use `group(...)` as the return value in the source file
+- Source files can attach placement references with `.withReferences({ points, edges, surfaces, objects })` — works on both `Shape` and `ShapeGroup`
+- Imported tracked solids keep their named faces/edges as `surfaces.<faceName>` and `edges.<edgeName>` references
+- SVG import supports deterministic region filtering (`regionSelection`, `maxRegions`, area thresholds)
+- The returned `Shape`, `Sketch`, or `ShapeGroup` is fully chainable — use `.translate()`, `.rotate()`, etc.
+
+### Plain JS Module Imports
+Alongside `importPart()` / `importSketch()`, regular JS `import` / `require(...)` is supported for utility modules.
+
+- If a module uses `export` / `module.exports`, that export value is used.
+- If a module has no explicit exports and uses a top-level `return`, that return value becomes the module value (including arrays).
+- Do not mix explicit exports with top-level `return` in the same module; this throws an error.
+
+```javascript
+// scene-items.js
+import { box, cylinder } from "forgecad";
+
+return [
+  { name: "Plate", shape: box(20, 12, 2, true) },
+  { name: "Pin", shape: cylinder(14, 3, undefined, undefined, true).translate(0, 0, 8) },
+];
+```
+
+```javascript
+// main.forge.js
+import items from "./scene-items.js";
+
+return items.map((entry, index) => ({
+  name: entry.name,
+  shape: entry.shape.translate(index === 0 ? -20 : 20, 0, 0),
+}));
+```
+
+### Placement References
+
+### `.withReferences({ points?, edges?, surfaces?, objects? })`
+Attach named placement references to a `Shape`, `TrackedShape`, or `ShapeGroup`. References survive all normal transforms and import round-trips (`importPart()`, `importGroup()`).
+
+**Reference kinds:**
+- `points`: exact 3D coordinates
+- `edges`: `{ start, end }` segments; default reference point is the midpoint
+- `surfaces`: `{ center, normal }`; default reference point is the center
+- `objects`: bounding boxes derived from another shape/group or explicit `{ min, max }`
+
+```javascript
+const part = union(base, post).withReferences({
+  points: {
+    mount: [0, -16, -4],
+  },
+  edges: {
+    postAxis: { start: [12, 0, 4], end: [12, 0, 30] },
+  },
+  surfaces: {
+    mountingFace: { center: [0, -16, 0], normal: [0, -1, 0] },
+  },
+  objects: {
+    base,
+    post,
+  },
+});
+```
+
+### `.referenceNames(kind?)`
+Lists named placement references on a shape.
+
+```javascript
+part.referenceNames();          // ['edges.postAxis', 'objects.base', 'objects.post', 'points.mount', ...]
+part.referenceNames('points');  // ['mount']
+```
+
+### `.referencePoint(ref)`
+Resolve a placement reference to a world-space point.
+
+Supported forms:
+- `mount` or `points.mount`
+- `edges.postAxis`
+- `edges.postAxis.start`
+- `surfaces.mountingFace`
+- `objects.post.top`
+
+```javascript
+const p = part.referencePoint("objects.post.top");
+```
+
+### `.placeReference(ref, [x, y, z], offset?)`
+Translate a shape so the given placement reference lands on a target coordinate.
+
+```javascript
+const placed = importPart("widget.forge.js")
+  .placeReference("mount", [120, 40, 0]);
+```
+
+### `attachTo()` with named references
+
+`attachTo()` still accepts the built-in 3D anchors, but it can now also consume named placement references:
+
+```javascript
+const cap = box(18, 18, 8, true)
+  .attachTo(widget, "objects.post.top", "bottom");
+```
+
+### Typical Project Structure
+```
+my-project/
+├── base-profile.sketch.js    ← 2D cross-section
+├── bracket.forge.js           ← extrudes the sketch, adds holes
+└── assembly.forge.js          ← imports multiple parts, positions them
+```
+
+## Part Library
+
+Pre-built parametric parts available via `lib.xxx()`. No imports needed.
+
+### `lib.boltHole(diameter, depth)`
+Through-hole cylinder (centered).
+
+### `lib.fastenerHole(opts)`
+Standardized metric hole helper with fits and optional counterbore/countersink.
+
+```javascript
+const m4 = lib.fastenerHole({
+  size: "M4",
+  fit: "normal",   // close | normal | loose | tap
+  depth: 12,
+  counterbore: { depth: 3.5 }, // diameter auto from size unless provided
+});
+```
+
+### `lib.counterbore(holeDia, boreDia, boreDepth, totalDepth)`
+Through-hole with wider recess at top.
+
+### `lib.tube(outerX, outerY, outerZ, wall)`
+Rectangular hollow tube.
+
+### `lib.pipe(height, outerRadius, wall, segments?)`
+Hollow cylinder.
+
+### `lib.hexNut(acrossFlats, height, holeDia)`
+Hex nut via intersection of 3 rotated slabs, with center bore.
+
+### `lib.roundedBox(x, y, z, radius)`
+Approximate rounded box via union of axis-aligned slabs.
+
+### `lib.bracket(width, height, depth, thick, holeDia?)`
+L-shaped mounting bracket with optional holes.
+
+### `lib.holePattern(rows, cols, spacingX, spacingY, holeDia, depth)`
+Grid of cylindrical holes.
+
+### `lib.spurGear(options)`
+Involute external spur gear with optional bore.
+
+**Options:**
+- `module` (number) - Metric module (pitch diameter / tooth count)
+- `teeth` (integer) - Tooth count (>= 6)
+- `faceWidth` (number) - Extrusion width along Z
+- `pressureAngleDeg` (number, optional) - Default: `20`
+- `backlash` (number, optional) - Tangential backlash at pitch circle. Default: `0`
+- `clearance` (number, optional) - Root clearance. Default: `0.25 * module`
+- `addendum` (number, optional) - Tooth addendum. Default: `module`
+- `dedendum` (number, optional) - Tooth dedendum. Default: `addendum + clearance`
+- `boreDiameter` (number, optional) - Center bore diameter
+- `center` (boolean, optional) - Center extrusion around Z=0. Default: `true`
+- `segmentsPerTooth` (number, optional) - Involute sampling quality. Default: `10`
+
+```javascript
+const pinion = lib.spurGear({
+  module: 1.25,
+  teeth: 14,
+  faceWidth: 8,
+  boreDiameter: 5,
+});
+```
+
+### `lib.faceGear(options)`
+Face gear (crown style) where teeth are on one face (`top` or `bottom`) instead of the outer rim.
+
+Uses the same involute tooth sizing inputs as `lib.spurGear(...)`, then projects the tooth band axially from one side.
+
+**Options:**
+- all `lib.spurGear(...)` options, plus:
+- `side` (`'top' | 'bottom'`, optional) - Which face gets the teeth. Default: `'top'`
+- `toothHeight` (number, optional) - Tooth projection height from the selected face. Default: `module`
+
+```javascript
+const face = lib.faceGear({
+  module: 1.25,
+  teeth: 36,
+  faceWidth: 8,
+  toothHeight: 1.2,
+  side: 'top',
+  boreDiameter: 8,
+});
+```
+
+`lib.sideGear(...)` is kept as a compatibility alias.
+
+### `lib.ringGear(options)`
+Internal ring gear with involute-derived tooth spaces.
+
+**Options:**
+- `module` (number)
+- `teeth` (integer, >= 12)
+- `faceWidth` (number)
+- `pressureAngleDeg` (number, optional) - Default: `20`
+- `backlash` (number, optional) - Default: `0`
+- `clearance` (number, optional) - Default: `0.25 * module`
+- `addendum` (number, optional) - Default: `module`
+- `dedendum` (number, optional) - Default: `addendum + clearance`
+- `rimWidth` (number, optional) - Radial ring thickness outside tooth roots
+- `outerDiameter` (number, optional) - Overrides `rimWidth` if provided
+- `center` (boolean, optional) - Default: `true`
+- `segmentsPerTooth` (number, optional) - Default: `10`
+
+```javascript
+const ring = lib.ringGear({
+  module: 1.25,
+  teeth: 58,
+  faceWidth: 10,
+  rimWidth: 4,
+});
+```
+
+### `lib.rackGear(options)`
+Linear rack gear with pressure-angle flanks.
+
+**Options:**
+- `module` (number)
+- `teeth` (integer, >= 2)
+- `faceWidth` (number)
+- `pressureAngleDeg` (number, optional) - Default: `20`
+- `backlash` (number, optional) - Default: `0`
+- `clearance` (number, optional) - Default: `0.25 * module`
+- `addendum` (number, optional) - Default: `module`
+- `dedendum` (number, optional) - Default: `addendum + clearance`
+- `baseHeight` (number, optional) - Rack body thickness behind root line
+- `center` (boolean, optional) - Default: `true`
+
+```javascript
+const rack = lib.rackGear({
+  module: 1.25,
+  teeth: 24,
+  faceWidth: 8,
+  baseHeight: 3.5,
+});
+```
+
+### `lib.bevelGear(options)`
+Conical bevel gear generated from a tapered involute extrusion.
+
+**Options:**
+- `module` (number)
+- `teeth` (integer, >= 6)
+- `faceWidth` (number)
+- `pressureAngleDeg` (number, optional) - Default: `20`
+- `backlash` (number, optional) - Default: `0`
+- `clearance` (number, optional) - Default: `0.25 * module`
+- `addendum` (number, optional) - Default: `module`
+- `dedendum` (number, optional) - Default: `addendum + clearance`
+- `boreDiameter` (number, optional)
+- pitch cone setup (choose one):
+  - `pitchAngleDeg` (number, optional), or
+  - `mateTeeth` (+ optional `shaftAngleDeg`, default `90`) for auto pitch-angle derivation
+- `center` (boolean, optional) - Default: `true`
+- `segmentsPerTooth` (number, optional) - Default: `10`
+
+```javascript
+const bevelPinion = lib.bevelGear({
+  module: 1.5,
+  teeth: 18,
+  faceWidth: 10,
+  mateTeeth: 36,
+  shaftAngleDeg: 90,
+  boreDiameter: 5,
+});
+```
+
+### `lib.gearPair(options)`
+Build or validate a spur-gear pair and return ratio/backlash/mesh diagnostics.
+
+Accepts either:
+- spur gear shapes produced by `lib.spurGear(...)`, or
+- analytical specs (`{ module, teeth, ... }`) for each member
+
+**Options:**
+- `pinion` (`Shape | GearPairSpec`) - input gear
+- `gear` (`Shape | GearPairSpec`) - mating output gear
+- `backlash` (number, optional) - target backlash used for auto center distance
+- `centerDistance` (number, optional) - override center distance directly
+- `place` (boolean, optional) - auto-place `gear` at +X center distance. Default: `true`
+- `phaseDeg` (number, optional) - additional Z rotation applied to placed gear before translation
+
+**Returns:** `GearPairResult` with:
+- `pinion`, `gear` (shapes)
+- `jointRatio`, `speedReduction`
+- `centerDistance`, `centerDistanceNominal`, `backlash`
+- `pressureAngleDeg`, `workingPressureAngleDeg`, `contactRatio`
+- `diagnostics[]` and `status` (`ok | warn | error`)
+
+```javascript
+const pair = lib.gearPair({
+  pinion: { module: 1.25, teeth: 14, faceWidth: 8, boreDiameter: 5 },
+  gear: { module: 1.25, teeth: 42, faceWidth: 8, boreDiameter: 8 },
+  backlash: 0.05,
+});
+
+if (pair.status !== 'ok') {
+  console.warn(pair.diagnostics);
+}
+
+return [pair.pinion, pair.gear];
+```
+
+### `lib.bevelGearPair(options)`
+Build or validate a bevel-gear pair and return ratio diagnostics plus recommended joint placement vectors.
+
+Accepts either:
+- bevel gear shapes produced by `lib.bevelGear(...)`, or
+- analytical specs (`{ module, teeth, ... }`) for each member
+
+**Options:**
+- `pinion` (`Shape | GearPairSpec`)
+- `gear` (`Shape | GearPairSpec`)
+- `shaftAngleDeg` (number, optional) - Default: `90`
+- `backlash` (number, optional)
+- `place` (boolean, optional) - Apply recommended transforms to returned shapes. Default: `true`
+- `phaseDeg` (number, optional) - Extra phase on the placed driven bevel gear
+
+**Returns:** `BevelGearPairResult` with:
+- `pinion`, `gear` (shapes)
+- `jointRatio`, `speedReduction`
+- `shaftAngleDeg`, `pinionPitchAngleDeg`, `gearPitchAngleDeg`, `coneDistance`
+- `pinionAxis`, `gearAxis`, `pinionCenter`, `gearCenter` (joint setup helpers)
+- `diagnostics[]` and `status` (`ok | warn | error`)
+
+```javascript
+const bevelPair = lib.bevelGearPair({
+  pinion: { module: 1.5, teeth: 18, faceWidth: 10 },
+  gear: { module: 1.5, teeth: 36, faceWidth: 9 },
+  shaftAngleDeg: 90,
+});
+```
+
+### `lib.faceGearPair(options)`
+Build or validate a perpendicular pair between a face gear and a vertical spur gear.
+
+Accepts either:
+- face gear shapes produced by `lib.faceGear(...)` or face-gear specs (`{ module, teeth, ... }`)
+- vertical spur shapes produced by `lib.spurGear(...)` or spur specs (`{ module, teeth, ... }`)
+
+**Options:**
+- `face` (`Shape | FaceGearSpec`) - face/crown gear member
+- `vertical` (`Shape | GearPairSpec`) - mating perpendicular spur gear
+- `backlash` (number, optional) - target radial backlash for auto center distance
+- `centerDistance` (number, optional) - override center distance directly
+- `meshPlaneZ` (number, optional) - override the Z plane where the vertical gear is placed
+- `place` (boolean, optional) - auto-place `vertical`. Default: `true`
+- `phaseDeg` (number, optional) - phase rotation applied before perpendicular placement
+
+**Returns:** `FaceGearPairResult` with:
+- `face`, `vertical` (shapes)
+- `jointRatio`, `speedReduction`
+- `centerDistance`, `centerDistanceNominal`, `backlash`
+- `meshPlaneZ`, `radialOverlap`
+- `diagnostics[]` and `status` (`ok | warn | error`)
+
+```javascript
+const pair = lib.faceGearPair({
+  face: { module: 1.25, teeth: 36, faceWidth: 8, toothHeight: 1.2, side: 'top' },
+  vertical: { module: 1.25, teeth: 12, faceWidth: 8 },
+  backlash: 0.05,
+});
+
+if (pair.status !== 'ok') {
+  console.warn(pair.diagnostics);
+}
+
+return [pair.face, pair.vertical];
+```
+
+`lib.sideGearPair(...)` is kept as a compatibility alias.
+
+### `lib.tSlotProfile(options?)`
+Build a 2D T-slot cross-section sketch.
+
+This is a generic, tunable T-slot generator.
+
+**Options:**
+- `size` (number) - Outer profile size. Default: `20`
+- `slotWidth` (number) - Slot mouth width. Default: `6`
+- `slotInnerWidth` (number) - Wider interior slot cavity width. Default: `10.4`
+- `slotDepth` (number) - Slot depth from outer face. Default: `6`
+- `slotNeckDepth` (number) - Narrow mouth depth before widening. Default: `1.6`
+- `wall` (number) - Outer shell thickness. Default: `1.4`
+- `web` (number) - Central cross-web thickness. Default: `2.1`
+- `centerBossDia` (number) - Center boss diameter. Default: `8.2`
+- `centerBoreDia` (number) - Center bore diameter. Default: `4.2`
+- `outerCornerRadius` (number) - Outer corner radius. Default: `1`
+- `segments` (number) - Circle smoothness for 2D bores/bosses. Default: `36`
+
+**Returns:** `Sketch`
+
+```javascript
+const profile = lib.tSlotProfile();
+return profile; // 2D drawing-ready cross-section
+```
+
+### `lib.tSlotExtrusion(length, options?)`
+Build a 3D extrusion from `lib.tSlotProfile(...)`.
+
+**Parameters:**
+- `length` (number) - Extrusion length along Z
+- `options` - Same options as `lib.tSlotProfile(...)` plus:
+  - `center` (boolean) - Center the length around Z=0. Default: `false`
+
+**Returns:** `Shape`
+
+```javascript
+const rail = lib.tSlotExtrusion(300, { center: true });
+```
+
+### `lib.profile2020BSlot6Profile(options?)`
+Profile-accurate 2D helper for a 20x20 B-type slot 6 section.
+
+Defaults target common B-type 20x20 conventions:
+- slot width `6.0`
+- slot depth `5.5`
+- center bore `5.5`
+- center boss `8.4`
+- diagonal web width `4.4`
+- no edge pocket holes (only central bore is cut)
+
+**Options:**
+- `slotWidth` (number) - Default: `6.0`
+- `slotInnerWidth` (number) - Default: `8.2`
+- `slotDepth` (number) - Default: `5.5`
+- `slotNeckDepth` (number) - Default: `1.8`
+- `centerBoreDia` (number) - Default: `5.5` (set `0` to disable)
+- `centerBossDia` (number) - Default: `8.4`
+- `diagonalWebWidth` (number) - Default: `4.4`
+- `outerCornerRadius` (number) - Default: `1.0`
+- `segments` (number) - Default: `40`
+
+```javascript
+const profile2d = lib.profile2020BSlot6Profile();
+```
+
+### `lib.profile2020BSlot6(length, options?)`
+3D extrusion helper built from `lib.profile2020BSlot6Profile(...)`.
+
+Use `options` to override supplier-specific tolerances.
+- Supports all profile options above
+- Plus `center` (boolean) to center length about Z=0
+
+```javascript
+const profile = lib.profile2020BSlot6(500, { center: true });
+```
+
+### Exploded-view helpers
+For scene-layout helpers such as `lib.explode(...)` and viewport explode overrides, see [../runtime/viewport.md](../runtime/viewport.md).
+
+### `lib.pipeRoute(points, radius, options?)`
+Route a pipe through 3D waypoints with smooth torus bends at corners.
+
+**Parameters:**
+- `points` ([number, number, number][]) - Array of 3D waypoints
+- `radius` (number) - Pipe outer radius
+- `options` (object, optional):
+  - `bendRadius` (number) - Radius of bends at corners. Default: `radius * 4`
+  - `wall` (number) - Wall thickness for hollow pipe. If omitted, pipe is solid
+  - `segments` (number) - Circumferential segments. Default: 32
+
+**Returns:** `Shape`
+
+```javascript
+// Solid copper pipe with 90° bends
+const refrigPipe = lib.pipeRoute(
+  [[0, 0, 0], [100, 0, 0], [100, 80, 0], [100, 80, 60]],
+  4,
+  { bendRadius: 20 }
+).color('#B87333');
+
+// Hollow drain pipe
+const drainPipe = lib.pipeRoute(
+  [[0, 0, 20], [60, 0, 20], [60, 80, 20]],
+  3,
+  { bendRadius: 15, wall: 1 }
+).color('#CCCCCC');
+```
+
+### `lib.elbow(pipeRadius, bendRadius, angle?, options?)`
+Curved pipe section (torus arc) for connecting two pipe directions. Creates a bend at the origin.
+
+**Parameters:**
+- `pipeRadius` (number) - Pipe outer radius
+- `bendRadius` (number) - Centerline bend radius
+- `angle` (number, optional) - Bend angle in degrees. Default: 90
+
+**Options:**
+- `wall` (number) - Wall thickness for hollow pipe
+- `segments` (number) - Circumferential segments. Default: 32
+- `from` ([number, number, number]) - Incoming direction vector
+- `to` ([number, number, number]) - Outgoing direction vector (overrides angle)
+
+**Alternative call:** `lib.elbow(pipeRadius, bendRadius, { from, to, wall, segments })`
+
+```javascript
+// Simple 90° elbow
+const bend = lib.elbow(5, 20, 90);
+
+// 45° hollow elbow
+const bend45 = lib.elbow(5, 20, 45, { wall: 1.5 });
+
+// Direction-based: connect Z-up pipe to X-right pipe
+const bend = lib.elbow(5, 20, { from: [0, 0, 1], to: [1, 0, 0] });
+```
+
+### `lib.thread(diameter, pitch, length, options?)`
+External thread (helical ridge) via twisted extrusion. Returns a threaded cylinder along +Z.
+
+**Options:**
+- `depth` (number) - Thread depth. Default: `pitch * 0.35`
+- `segments` (number) - Circumferential segments. Default: 36
+
+```javascript
+const m8thread = lib.thread(8, 1.25, 30);
+const smooth = lib.thread(8, 1.0, 30, { segments: 48 });
+```
+
+### `lib.bolt(diameter, length, options?)`
+Hex bolt with real helical threads. Head at z=0, shaft extends along −Z.
+
+**Options:**
+- `pitch` (number) - Thread pitch. Default: `diameter * 0.15`
+- `headHeight` (number) - Default: `diameter * 0.65`
+- `headAcrossFlats` (number) - Default: `diameter * 1.6`
+- `threadLength` (number) - Threaded portion. Default: full length
+- `segments` (number) - Circumferential segments. Default: 36
+
+```javascript
+const m8bolt = lib.bolt(8, 30);
+const custom = lib.bolt(10, 40, { pitch: 1.5, headHeight: 7 });
+```
+
+### `lib.nut(diameter, options?)`
+Hex nut with bore, centered at origin.
+
+**Options:**
+- `pitch` (number) - Default: `diameter * 0.15`
+- `height` (number) - Default: `diameter * 0.8`
+- `acrossFlats` (number) - Default: `diameter * 1.6`
+- `segments` (number) - Circumferential segments. Default: 36
+
+```javascript
+const m8nut = lib.nut(8);
+const m8nut2 = lib.nut(8, { height: 6.5, acrossFlats: 13 });
+```
+
+## Query Methods
+
+### 3D Shape Queries
+```javascript
+shape.volume()           // Volume in mm³
+shape.surfaceArea()      // Surface area in mm²
+shape.boundingBox()      // { min: [x,y,z], max: [x,y,z] }
+shape.isEmpty()          // true if no geometry
+shape.numTri()           // Triangle count
+shape.minGap(other, 50)  // Minimum distance to another shape (within search radius)
+shape.geometryInfo()     // { backend, representation, fidelity, topology, sources }
+```
+
+`geometryInfo()` is the current contract boundary for future hybrid kernels. Today most results are `manifold` + `mesh-solid`; `loft()` / `sweep()` report `sampled`, and tracked extrusions report `topology: 'synthetic'`. A future OCCT/BREP backend can change these values without forcing a language rewrite.
+
+For the maintained exact STEP/BREP support matrix, see [../output/brep-export.md](../output/brep-export.md).
+
+### 2D Sketch Queries
+```javascript
+sketch.area()         // Area in mm²
+sketch.bounds()       // { min: [x,y], max: [x,y] }
+sketch.isEmpty()      // true if no area
+sketch.numVert()      // Vertex count
+```
+
+## Returning Multiple Objects
+
+Scripts can return arrays to display multiple objects in the viewport:
+
+```javascript
+// Simple array — auto-named "Object 1", "Object 2", etc.
+return [
+  box(50, 50, 10),
+  cylinder(20, 8).translate(25, 25, 10),
+];
+
+// Named objects with colors
+return [
+  { name: "Base Plate", shape: box(100, 100, 5), color: "#888888" },
+  { name: "Column", shape: cylinder(50, 10).translate(50, 50, 5), color: "#4488cc" },
+  { name: "Profile", sketch: circle2d(20), color: "#ff6600" },
+];
+```
+
+Each object gets its own visibility toggle, opacity slider, and color picker in the View Panel.
+
+### Assembly Groups
+
+For complex assemblies, use nested groups to organize related parts:
+
+```javascript
+return [
+  { name: "Bed Assembly", group: [
+    { name: "Bed Plate", shape: bedPlate },
+    { name: "Glass Bed", shape: glass },
+    { name: "Heater", shape: heater },
+  ]},
+  { name: "Gantry", group: [
+    { name: "Left Rail", shape: leftRail },
+    { name: "Right Rail", shape: rightRail },
+    { name: "Cross Bar", shape: crossBar },
+  ]},
+];
+```
+
+**Benefits:**
+- **Spatial analysis** skips intra-group collision checks (intentional overlaps)
+- **Group-level summary** reports relationships between assemblies
+- **Object listing** shows group tags: `Bed Plate [Bed Assembly]`
+- **Parameter validation** (`param-check` CLI) ignores collisions within groups
+
+## Guides and Examples
+
+See [../guides/modeling-recipes.md](../guides/modeling-recipes.md) for patterns, best practices, debugging, and sample snippets.
+
+For runnable end-to-end models, read `examples/api/`.
+
+---
+
+<!-- API/model-building/coordinate-system.md -->
+
+# Coordinate System Convention
+
+ForgeCAD uses a **Z-up** right-handed coordinate system.
+
+## Axes
+
+| Axis | Direction       | Positive |
+|------|-----------------|----------|
+| X    | Left / Right    | Right    |
+| Y    | Forward / Back  | Forward  |
+| Z    | Up / Down       | Up       |
+
+## Standard Views
+
+| View   | Camera position direction | Sees plane | Camera up |
+|--------|--------------------------|------------|-----------|
+| Front  | −Y (camera at −Y)        | XZ         | Z         |
+| Back   | +Y (camera at +Y)        | XZ         | Z         |
+| Right  | +X (camera at +X)        | YZ         | Z         |
+| Left   | −X (camera at −X)        | YZ         | Z         |
+| Top    | +Z (camera at +Z)        | XY         | +Y        |
+| Bottom | −Z (camera at −Z)        | XY         | −Y        |
+| Iso    | +X −Y +Z (diagonal)      | —          | Z         |
+
+## GizmoViewcube Face Mapping
+
+Three.js BoxGeometry material indices (cube face order):
+
+| Index | Three.js direction | ForgeCAD label |
+|-------|--------------------|----------------|
+| 0     | +X                 | Right          |
+| 1     | −X                 | Left           |
+| 2     | +Y                 | Front          |
+| 3     | −Y                 | Back           |
+| 4     | +Z                 | Top            |
+| 5     | −Z                 | Bottom         |
+
+Default drei labels are `['Right', 'Left', 'Top', 'Bottom', 'Front', 'Back']` (Y-up).
+For Z-up we pass `faces={['Right', 'Left', 'Front', 'Back', 'Top', 'Bottom']}`.
+
+## Grid
+
+The ground plane is XY (Z = 0). The grid lies on this plane.
+
+---
+
+<!-- API/model-building/geometry-conventions.md -->
+
+# Geometry Conventions
+
+ForgeCAD wraps Manifold (a mesh kernel) and Three.js (a Y-up renderer). These libraries have their own conventions that conflict with each other and with CAD norms. This doc captures every convention mismatch and how ForgeCAD resolves it.
+
+**Core principle: the user script should never need to know about kernel or renderer internals.** If the user writes something geometrically reasonable, it should work. All convention translation happens inside ForgeCAD's layer.
+
+## Winding Order
+
+**What it is:** The order of vertices in a 2D polygon determines its "direction" — counter-clockwise (CCW) = positive area, clockwise (CW) = negative/zero area in Manifold's `CrossSection`.
+
+**The problem:** Manifold silently produces empty geometry for CW polygons. A user writing `polygon([[0,0], [50,0], [50,30]])` vs `polygon([[0,0], [50,30], [50,0]])` gets either a triangle or nothing, with no error.
+
+**ForgeCAD's fix:** All entry points that accept raw points auto-fix winding:
+- `polygon(points)` — computes signed area, reverses if CW
+- `path().close()` — same fix
+
+**Signed area test** (shoelace formula):
+```
+signedArea = Σ (x₂ - x₁)(y₂ + y₁)
+```
+If `signedArea > 0` → CW → reverse to make CCW.
+
+**Implementation:** `src/forge/sketch/primitives.ts` (polygon), `src/forge/sketch/path.ts` (close).
+
+**Rule for new code:** Any function that takes user-provided point arrays and creates a `CrossSection` MUST auto-fix winding. Never pass raw user points to Manifold without this check.
+
+## Coordinate System (Z-up vs Y-up)
+
+**The problem:** Three.js uses Y-up. CAD convention (and ForgeCAD) uses Z-up.
+
+**ForgeCAD's fix:** We set `camera.up = (0, 0, 1)` everywhere. Geometry coordinates are native Z-up — no matrix swizzling. The camera orientation handles the visual mapping.
+
+**Where this matters:**
+- `camera.up.set(0, 0, 1)` in `sceneBuilder.ts` and `render.ts`
+- GizmoViewcube face labels remapped (see coordinate-system.md)
+- Grid plane is XY (Z=0)
+- Extrusion goes along +Z
+- Revolution axis is Y (sketch plane), result maps to Z-up space
+
+**Rule for new code:** Never swap Y/Z in geometry. Always fix it at the camera/renderer level.
+
+## Revolution Axis
+
+**What it is:** `CrossSection.revolve()` in Manifold revolves around the Y axis. The sketch profile must be in the X-Y plane with X = radius (distance from axis) and Y = height.
+
+**The mapping:**
+- Profile X coordinate → radial distance from center
+- Profile Y coordinate → height (becomes Z after revolution)
+- Profile must be on the positive X side (X > 0) for valid geometry
+
+**Rule for new code:** Document which axis any new sweep/revolution operation uses. If it differs from user expectation, add a transform wrapper.
+
+## Boolean Winding (3D)
+
+**What it is:** Manifold requires consistent face normals (outward-pointing) for boolean operations. Manifold handles this internally for its own primitives, but imported meshes or degenerate operations can produce inside-out faces.
+
+**ForgeCAD's fix:** We only create meshes through Manifold's own constructors (`extrude`, `revolve`, `cylinder`, `sphere`, etc.), which guarantee correct normals. No raw mesh import path exists yet.
+
+**Rule for new code:** If adding mesh import (STL, OBJ), run `Manifold.asOriginal()` or validate manifoldness before allowing booleans.
+
+## Transform Order
+
+**What it is:** Transforms are applied in call order (left to right in the chain). `shape.translate(10,0,0).rotate(0,0,45)` first moves, then rotates around origin — so the shape orbits.
+
+**Convention:** This matches the standard "post-multiply" convention. No surprises here, but worth noting because some systems (OpenSCAD) apply transforms in reverse order.
+
+For explicit transform objects:
+- `A.mul(B)` means **apply A, then B**.
+- `composeChain(A, B, C)` means **A -> B -> C**.
+
+**Rule for new code:** Keep this chain order everywhere. Document any operation that deviates.
+
+## Assembly Frame Composition
+
+This is where regressions are most likely if convention is unclear.
+
+For a point in child geometry-local coordinates:
+- local -> `childBase` -> `jointMotion(value)` -> `jointFrame` -> `parentWorld`
+
+In Forge chain notation:
+```ts
+childWorld = composeChain(childBase, jointMotion, jointFrame, parentWorld)
+```
+
+Equivalent matrix-style equation (for reference):
+```txt
+T_world_child = T_parent_world * T_joint_frame * T_joint_motion * T_child_base
+```
+
+**Rule for new code:** In kinematics/assembly code, prefer `composeChain(...)` over manual `.mul(...).mul(...)` sequences to avoid order mistakes.
+
+## Summary of Shield Points
+
+These are the places where ForgeCAD translates between "what the user means" and "what the kernel needs":
+
+| Convention | User sees | Kernel needs | Where we fix it |
+|---|---|---|---|
+| Winding | Any point order | CCW | `polygon()`, `path().close()` |
+| Up axis | Z-up | Y-up (Three.js) | `camera.up`, gizmo labels |
+| Revolution | "revolve this profile" | Profile in X-Y, X>0 | Documented, not auto-fixed |
+| Face normals | Doesn't think about it | Outward-pointing | Manifold constructors |
+| Transform order | Left-to-right chain | Post-multiply | Native match, no fix needed |
+
+When adding new geometry operations, check this table. If the operation introduces a new convention mismatch between user intent and kernel requirement, either auto-fix it (preferred) or document it clearly in the API docs.
+
+---
+
+<!-- API/model-building/positioning.md -->
+
+# Positioning Strategy
+
+**This is the most important page for building multi-part assemblies.** Most positioning bugs come from manual coordinate arithmetic. Use the methods below in priority order.
+
+## Priority Order
+
+### 1. `attachTo()` — Default choice for child-on-parent positioning
+
+When placing a part relative to another part, use `attachTo()`. It reads as English: "put my bottom on your top."
+
+```javascript
+const base = box(100, 100, 10);
+
+// Column stands on top of base, centered
+const column = cylinder(50, 8).attachTo(base, 'top', 'bottom');
+
+// Button sticks out from front face, near top-right corner
+const button = box(10, 4, 6, true)
+  .attachTo(panel, 'top-front-right', 'top-back-right', [5, -2, -10]);
+```
+
+**How to read it:** `child.attachTo(parent, parentAnchor, selfAnchor, offset)`
+- `parentAnchor` = "where on the parent do I want to attach?"
+- `selfAnchor` = "which part of myself aligns to that point?"
+- `offset` = "then shift by this much" (optional)
+
+**Common patterns:**
+| Intent | parentAnchor | selfAnchor | Why |
+|--------|-------------|------------|-----|
+| Stack on top | `'top'` | `'bottom'` | Bottom of child meets top of parent |
+| Hang below | `'bottom'` | `'top'` | Top of child meets bottom of parent |
+| Stick out from front | `'front'` | `'back'` | Back of child flush with front of parent |
+| Protrude from side | `'left'` | `'right'` | Right face of child meets left face of parent |
+
+### 2. `pointAlong()` — Orient cylinders/extrusions before positioning
+
+Cylinders default to Z-up. Instead of `rotate(90, 0, 0)` (which is confusing), use `pointAlong()`:
+
+```javascript
+// Pipe running along Y axis
+const pipe = cylinder(100, 5).pointAlong([0, 1, 0]);
+
+// Axle along X
+const axle = cylinder(80, 3).pointAlong([1, 0, 0]);
+```
+
+**Always call `pointAlong()` BEFORE `attachTo()` or `translate()`** — it reorients around the origin.
+
+```javascript
+// Correct: orient first, then position
+const grille = cylinder(4, 30)
+  .pointAlong([0, 1, 0])
+  .attachTo(outdoorUnit, 'back', 'front', [0, 2, 0]);
+```
+
+### 3. `rotateAroundTo()` — Aim a point around a hinge/axis
+
+Use this when a part already has the correct pivot/axis, and you want to solve the angle from geometry instead of doing trig by hand.
+
+```javascript
+const arm = box(80, 8, 8, true)
+  .translate(40, 0, 0)
+  .withReferences({ points: { tip: [80, 0, 0] } });
+
+// Rotate around Z until the tip lies in the plane formed by the Z axis and the target point
+const aimed = arm.rotateAroundTo(
+  [0, 0, 1],
+  [0, 0, 0],
+  "tip",
+  [30, 30, 20],
+);
+
+// Exact line solve: throws if the target line is unreachable while preserving radius about the axis
+const lineHit = arm.rotateAroundTo(
+  [0, 0, 1],
+  [0, 0, 0],
+  "tip",
+  [30, 30, 0],
+  { mode: 'line' },
+);
+```
+
+### 4. `moveToLocal()` — Position relative to another shape's corner
+
+When you need to place something at a specific offset from another shape's bounding box origin (min corner):
+
+```javascript
+const base = box(100, 100, 10);
+const part = box(20, 20, 30).moveToLocal(base, 10, 10, 10);
+```
+
+### 5. `translate()` — Only for simple offsets or connecting independently-positioned parts
+
+Use `translate()` when:
+- Moving a shape by a known fixed amount
+- Positioning between two shapes whose locations you've already computed via `boundingBox()`
+
+```javascript
+// Pipe spanning between two independently-positioned units
+const bb1 = indoor.boundingBox();
+const bb2 = outdoor.boundingBox();
+const pipeLen = bb2.min[1] - bb1.max[1];
+const pipe = cylinder(pipeLen, 5)
+  .pointAlong([0, 1, 0])
+  .translate(40, (bb1.max[1] + bb2.min[1]) / 2, bb1.min[2] + 15);
+```
+
+### 6. `placeReference()` / named import references — For reusable multi-file parts
+
+When a part will be imported elsewhere, define semantic placement references once in the source file:
+
+```javascript
+// widget.forge.js
+return union(base, post).withReferences({
+  points: {
+    mount: [0, -16, -4],
+  },
+  objects: {
+    post,
+  },
+});
+```
+
+Then consume them in the importing file:
+
+```javascript
+const widget = importPart("widget.forge.js")
+  .placeReference("mount", [120, 40, 0]);
+
+const cap = box(18, 18, 8, true)
+  .attachTo(widget, "objects.post.top", "bottom");
+```
+
+Use this when manual coordinate math starts to feel like assembly bookkeeping.
+
+## Common Mistakes
+
+### ❌ Manual center-offset math
+```javascript
+// BAD: easy to get wrong, hard to read
+const child = box(w, d, h, true)
+  .translate(0, -parentThickness/2 - d/2 - 5, parentHeight/2 - h/2 - 20);
+```
+
+### ✅ Anchor-based positioning
+```javascript
+// GOOD: intent is clear, no arithmetic
+const child = box(w, d, h, true)
+  .attachTo(parent, 'top-front', 'top-back', [0, -5, -20]);
+```
+
+### ❌ rotate() for cylinder orientation
+```javascript
+// BAD: which axis? what happens to center?
+const pipe = cylinder(100, 5).rotate(90, 0, 0).translate(x, y, z);
+```
+
+### ✅ pointAlong() for cylinder orientation
+```javascript
+// GOOD: reads as "pipe pointing along Y"
+const pipe = cylinder(100, 5).pointAlong([0, 1, 0]).translate(x, y, z);
+```
+
+## Anchor Reference
+
+See the [main API doc](API.md#3d-anchor-positioning) for the full list of 26 anchor names. Quick mental model:
+
+- **1 word** = face center: `'top'`, `'front'`, `'left'`...
+- **2 words** = edge midpoint: `'top-front'`, `'back-left'`...
+- **3 words** = corner: `'top-front-left'`, `'bottom-back-right'`...
+
+---
+
+<!-- API/model-building/entities.md -->
+
+# Entity-Based API
+
+Named geometric entities with stable identity, topology tracking, and constraint integration.
+
+## 2D Entities
+
+### `point(x, y)` / `new Point2D(x, y)`
+A named 2D point.
+
+```javascript
+const p = point(10, 20);
+p.distanceTo(point(30, 40));  // distance
+p.midpointTo(point(30, 40));  // midpoint
+p.translate(5, 5);            // new point
+p.toTuple();                  // [10, 20]
+```
+
+### `line(x1, y1, x2, y2)` / `Line2D`
+A named 2D line segment.
+
+```javascript
+const l = line(0, 0, 50, 0);
+l.length;      // 50
+l.midpoint;    // Point2D
+l.angle;       // degrees
+l.direction;   // [1, 0]
+l.parallel(10); // parallel line offset by 10
+
+// Line-line intersection (infinite lines)
+const l2 = line(25, -10, 25, 40);
+l.intersect(l2);        // Point2D(25, 0) — treats as infinite lines
+l.intersectSegment(l2); // Point2D or null — only if segments actually cross
+
+// Construction methods
+Line2D.fromCoordinates(0, 0, 50, 0);
+Line2D.fromPointAndAngle(point(0, 0), 45, 100);
+Line2D.fromPointAndDirection(point(0, 0), [1, 1], 50);
+```
+
+### `circle(cx, cy, radius)` / `Circle2D`
+A named 2D circle.
+
+```javascript
+const c = circle(0, 0, 25);
+c.diameter;        // 50
+c.circumference;   // ~157
+c.area;            // ~1963
+c.pointAtAngle(90); // Point2D at top
+
+// Extrude to cylinder with topology
+const cyl = c.extrude(30);
+cyl.face('top');    // FaceRef (planar)
+cyl.face('side');   // FaceRef (curved, planar === false)
+
+// Construction methods
+Circle2D.fromCenterAndRadius(point(0, 0), 25);
+Circle2D.fromDiameter(point(0, 0), 50);
+```
+
+### `rectangle(x, y, w, h)` / `Rectangle2D`
+A rectangle with named sides and vertices.
+
+```javascript
+const r = rectangle(0, 0, 100, 60);
+
+// Named sides
+r.side('top');     // Line2D
+r.side('bottom');  // Line2D
+r.side('left');    // Line2D
+r.side('right');   // Line2D
+r.sideAt(0);       // bottom (by index)
+
+// Named vertices
+r.vertex('top-left');      // Point2D
+r.vertex('bottom-right');  // Point2D
+
+// Properties
+r.width;   // 100
+r.height;  // 60
+r.center;  // Point2D
+
+// Diagonals — returns [bl-tr, br-tl] as Line2D pair
+const [d1, d2] = r.diagonals();
+const center = d1.intersect(d2);  // Point2D at center
+
+// Convert to Sketch for rendering
+r.toSketch();
+
+// Extrude to 3D with topology tracking
+const tracked = r.extrude(20);  // TrackedShape
+
+// Construction methods
+Rectangle2D.fromDimensions(0, 0, 100, 60);
+Rectangle2D.fromCenterAndDimensions(point(50, 30), 100, 60);
+Rectangle2D.from2Corners(point(0, 0), point(100, 60));
+Rectangle2D.from3Points(p1, p2, p3);  // free-angle rectangle
+```
+
+## 3D Topology (TrackedShape)
+
+When you extrude a `Rectangle2D`, you get a `TrackedShape` that knows its faces and edges by name.
+
+```javascript
+const rect = Rectangle2D.fromCenterAndDimensions(point(0, 0), 100, 60);
+const box = rect.extrude(20);
+
+// Named faces
+box.face('top');          // FaceRef { normal, center, planar, uAxis, vAxis }
+box.face('bottom');
+box.face('side-left');
+box.face('side-right');
+box.face('side-top');     // the side from rect's top edge
+box.face('side-bottom');  // the side from rect's bottom edge
+
+// Named edges
+box.edge('top-left');     // EdgeRef { start, end } — top face, left side
+box.edge('bottom-right'); // bottom face, right side
+box.edge('vert-bl');      // vertical edge at bottom-left corner
+
+// List all
+box.faceNames();  // ['top', 'bottom', 'side-bottom', 'side-right', 'side-top', 'side-left']
+box.edgeNames();  // all 12 edges
+
+// Use the underlying Shape for booleans
+const result = box.toShape().subtract(cylinder(25, 10));
+
+// Translate preserves topology
+const moved = box.translate(50, 0, 0);
+moved.face('top').center;  // shifted by [50, 0, 0]
+
+// Duplicate preserves topology metadata too
+const copy = box.clone();
+copy.face('side-left');
+```
+
+## Constraint Helpers
+
+```javascript
+const sketch = constrainedSketch();
+const p1 = sketch.point(0, 0, true);
+const p2 = sketch.point(50, 0);
+const p3 = sketch.point(50, 30);
+const l1 = sketch.line(p1, p2);
+const l2 = sketch.line(p2, p3);
+
+Constraint.horizontal(sketch, l1);
+Constraint.vertical(sketch, l2);
+Constraint.length(sketch, l1, 50);
+Constraint.perpendicular(sketch, l1, l2);
+
+const result = sketch.close().solve();
+```
+
+### Entity-aware constraints
+
+Constraint functions accept `Point2D`/`Line2D` directly — they auto-import into the builder:
+
+```javascript
+const sketch = constrainedSketch();
+const myLine = line(0, 0, 50, 0);
+const myRect = rectangle(10, 10, 40, 30);
+
+// Pass Line2D directly — auto-imported
+Constraint.makeParallel(sketch, myLine, myRect.side('top'));
+Constraint.horizontal(sketch, myLine);
+```
+
+### Importing entities into a constrained sketch
+
+```javascript
+const sketch = constrainedSketch();
+const r = rectangle(0, 0, 100, 60);
+const sides = sketch.importRectangle(r);
+// sides.bottom, sides.right, sides.top, sides.left are LineIds
+// sides.points is [bl, br, tr, tl] PointIds
+
+Constraint.horizontal(sketch, sides.bottom);
+Constraint.length(sketch, sides.bottom, 100);
+```
+
+
+## Patterns
+
+### `linearPattern(shape, count, dx, dy, dz?)`
+Repeat a shape along a direction vector, returning the union.
+
+```javascript
+const bolt = cylinder(10, 3);
+const row = linearPattern(bolt, 5, 20, 0);  // 5 bolts, 20mm apart along X
+```
+
+### `circularPattern(shape, count, centerX?, centerY?)`
+Repeat a shape around the Z axis, returning the union.
+
+```javascript
+const hole = cylinder(12, 4).translate(30, 0, -1);
+const holes = circularPattern(hole, 8);  // 8 holes evenly spaced
+```
+
+### `mirrorCopy(shape, normal)`
+Mirror a shape and union with the original.
+
+```javascript
+const half = box(50, 30, 10);
+const full = mirrorCopy(half, [1, 0, 0]);  // Mirror across YZ plane
+```
+
+For compile-covered source shapes, repeated instances created by `linearPattern`, `circularPattern`, `Shape.mirror()`, and `mirrorCopy()` keep distinct compiler owner lineage. Supported boolean unions now preserve owner-scoped canonical face queries for those repeated descendants, so later compiler inspections can still trace which repeated instance a preserved face came from. Durable post-merge face identity is still narrower than full CAD-style topology naming: reusing the same owner lineage twice without a fresh mirror/pattern owner is reported as ambiguous, and downstream subtract/intersect rewrites still record split descendants explicitly instead of guessing.
+
+## Utility Functions
+
+### `degrees(deg)` / `radians(rad)`
+Angle conversion helpers for readability:
+
+```javascript
+degrees(45);              // 45 (identity — just for clarity)
+radians(Math.PI / 4);    // 45 (converts radians to degrees)
+```
+
+## Fillets & Chamfers
+
+### `filletEdge(shape, edge, radius, quadrant?, segments?)`
+Compiler-owned edge fillet for the current tracked-edge subset.
+
+Supported today:
+- tracked vertical edges from compile-covered `box()` bodies
+- tracked vertical edges from `rectangle(...).extrude(...)`
+- rigid transforms between the tracked source body and the target shape
+- untouched sibling tracked vertical edges after earlier supported `filletEdge(...)` / `chamferEdge(...)` rewrites on the same body
+- preserved propagated vertical-edge queries after those supported edge-finish rewrites when a later supported boolean union keeps one defended edge lineage
+
+Still out of subset today:
+- the selected edge after an earlier `filletEdge(...)` / `chamferEdge(...)` rewrite as a new single finish target, because Forge now records that path as an explicit descendant edge-chain rather than pretending it stayed one edge
+- edge descendants after shell, hole/cut, trim, boolean difference/intersection, or boolean unions that did not already record one supported propagated edge lineage for the selection
+- generic sketch extrudes, tapered extrudes, and arbitrary feature-created edges
+
+Canonical quadrants for the supported rectangle/box edges:
+- `vert-bl` -> `[1, -1]`
+- `vert-br` -> `[-1, -1]`
+- `vert-tr` -> `[-1, 1]`
+- `vert-tl` -> `[1, 1]`
+
+```javascript
+const b = rectangle(0, 0, 50, 50).extrude(20);
+const filleted = filletEdge(b.toShape(), b.edge('vert-br'), 5, [-1, -1]);
+```
+
+### `chamferEdge(shape, edge, size, quadrant?)`
+Compiler-owned edge chamfer for the same tracked vertical-edge subset as `filletEdge(...)`.
+
+```javascript
+const b = rectangle(0, 0, 50, 50).extrude(20);
+const chamfered = chamferEdge(b.toShape(), b.edge('vert-br'), 3, [-1, -1]);
+```
+
+## Arc Bridge
+
+### `arcBridgeBetweenRects(rectA, rectB, segments?)`
+Build a smooth arc surface connecting two rectangular areas. Automatically finds the closest pair of parallel edges and bridges them with a semicircular arc.
+
+**Parameters:**
+- `rectA` — `Rectangle2D` or `{ corners: [[x,y,z], [x,y,z], [x,y,z], [x,y,z]] }`
+- `rectB` — same format as rectA
+- `segments` (number, optional) — Arc smoothness. Default: 12
+
+**Returns:** `Shape` — thin arc solid
+
+```javascript
+// 2D rectangles (z=0)
+const base = rectangle(0, 0, 300, 200);
+const screen = rectangle(0, 200, 300, 200);
+const hinge = arcBridgeBetweenRects(base, screen, 16);
+```
+
+```javascript
+// 3D corners for non-planar rectangles
+const hinge = arcBridgeBetweenRects(
+  { corners: [[0,0,0], [300,0,0], [300,200,0], [0,200,0]] },
+  { corners: [[0,200,15], [300,200,15], [300,400,15], [0,400,15]] },
+  16,
+);
+```
+
+---
+
+<!-- API/model-building/assembly.md -->
+
+# Assembly + Mechanism API
+
+Use this API when your model is a mechanism, not a single booleaned solid.
+
+## Mental model
+- `Part` = manufacturable object (shape + metadata)
+- `Joint` = relationship between parent and child part
+- `State` = current joint values
+- `Solve` = compute world transforms for all parts
+- `Validate` = collisions / clearances / sweep checks
+
+## Quick start
+
+```javascript
+const mech = assembly("Arm")
+  .addPart("base", box(80, 80, 20, true), {
+    metadata: { material: "PETG", process: "FDM", qty: 1 },
+  })
+  .addPart("link", box(140, 24, 24).translate(0, -12, -12))
+  .addJoint("shoulder", "revolute", "base", "link", {
+    axis: [0, 1, 0],
+    min: -30,
+    max: 120,
+    default: 25,
+    frame: Transform.identity().translate(0, 0, 20),
+  });
+
+const solved = mech.solve();
+return solved.toScene();
+```
+
+## Ergonomic helpers
+- `addFrame(name, { transform? })` adds a virtual reference frame (no geometry)
+- `addRevolute(name, parent, child, opts)` shorthand for `addJoint(..., "revolute", ...)`
+- `addPrismatic(name, parent, child, opts)` shorthand for `addJoint(..., "prismatic", ...)`
+- `addFixed(name, parent, child, opts)` shorthand for `addJoint(..., "fixed", ...)`
+- `addJointCoupling(jointName, { terms, offset? })` links joints with linear relationships
+- `addGearCoupling(drivenJoint, driverJoint, opts)` links revolute joints using gear ratios
+
+## Joint couplings
+
+Use couplings when one joint should be derived from other joints.
+
+Formula:
+- `driven = offset + Σ(ratio_i * source_i)`
+
+Example:
+
+```javascript
+const mech = assembly("Differential")
+  .addFrame("Base")
+  .addFrame("Turret")
+  .addFrame("Wheel")
+  .addFrame("TopInput")
+  .addRevolute("Steering", "Base", "Turret", { axis: [0, 0, 1] })
+  .addRevolute("WheelDrive", "Turret", "Wheel", { axis: [1, 0, 0] })
+  .addRevolute("TopGear", "Base", "TopInput", { axis: [0, 0, 1] })
+  .addJointCoupling("TopGear", {
+    terms: [
+      { joint: "Steering", ratio: 1 },
+      { joint: "WheelDrive", ratio: 20 / 14 },
+    ],
+  });
+```
+
+Notes:
+- Coupled joints ignore direct values in `solve(state)` and emit a warning.
+- Coupling cycles are rejected.
+- `sweepJoint(...)` cannot sweep a coupled target; sweep one of its source joints instead.
+
+## Gear couplings
+
+Use this helper to connect two **revolute** joints as a gear mesh without manually writing `addJointCoupling(...)`.
+
+```javascript
+const pair = lib.gearPair({
+  pinion: { module: 1.25, teeth: 14, faceWidth: 8 },
+  gear: { module: 1.25, teeth: 42, faceWidth: 8 },
+});
+
+const mech = assembly("Spur Stage")
+  .addFrame("Base")
+  .addFrame("PinionPart")
+  .addFrame("GearPart")
+  .addRevolute("Pinion", "Base", "PinionPart", { axis: [0, 0, 1] })
+  .addRevolute("Driven", "Base", "GearPart", { axis: [0, 0, 1] })
+  .addGearCoupling("Driven", "Pinion", { pair }); // uses pair.jointRatio
+```
+
+`addGearCoupling(...)` ratio sources (choose exactly one):
+- `ratio` (explicit multiplier)
+- `pair` (`lib.gearPair(...)`, `lib.bevelGearPair(...)`, or `lib.faceGearPair(...)` result using `pair.jointRatio`)
+- `driverTeeth` + `drivenTeeth` (auto ratio; `internal` mesh is positive, `external`/`bevel`/`face` are negative)
+
+For bevel stages, pairing helpers also return placement aids:
+- `pinionAxis`, `gearAxis`
+- `pinionCenter`, `gearCenter`
+
+For face stages, use `centerDistance` and `meshPlaneZ` from `lib.faceGearPair(...)`; with `place: true`, the face gear stays on the Z axis and the vertical spur is placed at `[centerDistance, 0, meshPlaneZ]`.
+
+## Joint frames
+
+`frame` is a transform from the **parent part frame** to the **joint frame at zero state**.
+
+For a child part:
+
+Matrix form:
+- `childWorld = parentWorld * frame * motion(value) * childBase`
+
+Forge chain form:
+- `childWorld = composeChain(childBase, motion(value), frame, parentWorld)`
+
+This keeps kinematic chains declarative and avoids repeated manual pivot math.
+
+## Validation helpers
+- `solved.collisionReport()` returns overlapping part pairs and volume
+- `solved.minClearance("PartA", "PartB", 10)` computes minimum gap
+- `assembly.sweepJoint("elbow", -20, 140, 24)` samples motion and reports collisions
+
+Notebook-friendly pattern:
+
+```javascript
+const solved = mech.solve({ shoulder: 35, elbow: 60 });
+console.log("Collisions", solved.collisionReport());
+
+const sweep = mech.sweepJoint("elbow", -10, 135, 12, { shoulder: 35 });
+console.log("Sweep collisions", sweep.filter((step) => step.collisions.length > 0).length);
+
+show(solved.toScene());
+```
+
+That keeps mechanism setup in earlier cells and collision/sweep investigation in the current preview cell.
+
+## Common pitfalls
+- If parts vanish in the viewport, check whether a cut plane is active before debugging kinematics. The viewer-side APIs live in [../runtime/viewport.md](../runtime/viewport.md).
+- If a returned object is empty, Forge logs a warning in script output.
+
+## Metadata
+- `addPart(..., { metadata })` attaches per-part metadata to an assembly part.
+- BOM/report helpers such as `solved.bom()` and `solved.bomCsv()` live in [../output/bom.md](../output/bom.md).
+
+## Naming grouped assembly children
+
+When an assembly part is a `ShapeGroup`, Forge flattens the group into separate viewport objects. To avoid opaque labels like `Base Assembly.1`, name the group children explicitly:
+
+```javascript
+const housing = group(
+  { name: "Body", shape: body },
+  { name: "Lid", shape: lid },
+);
+
+const mech = assembly("Case")
+  .addPart("Base Assembly", housing);
+```
+
+That produces labels such as `Base Assembly.Body` and `Base Assembly.Lid`.
+
+## Robot export
+
+Use `robotExport({...})` when an assembly should become a simulator package instead of only a viewport scene.
+
+```javascript
+const rover = assembly("Scout")
+  .addPart("Chassis", box(300, 220, 50, true))
+  .addPart("Left Wheel", cylinder(30, 60, undefined, 48, true).pointAlong([0, 1, 0]))
+  .addPart("Right Wheel", cylinder(30, 60, undefined, 48, true).pointAlong([0, 1, 0]))
+  .addRevolute("leftWheel", "Chassis", "Left Wheel", {
+    axis: [0, 1, 0],
+    frame: Transform.identity().translate(90, 140, 60),
+    effort: 20,
+    velocity: 1080,
+  })
+  .addRevolute("rightWheel", "Chassis", "Right Wheel", {
+    axis: [0, 1, 0],
+    frame: Transform.identity().translate(90, -140, 60),
+    effort: 20,
+    velocity: 1080,
+  });
+
+robotExport({
+  assembly: rover,
+  modelName: "Scout",
+  links: {
+    Chassis: { massKg: 10 },
+    "Left Wheel": { massKg: 0.8 },
+    "Right Wheel": { massKg: 0.8 },
+  },
+  plugins: {
+    diffDrive: {
+      leftJoints: ["leftWheel"],
+      rightJoints: ["rightWheel"],
+      wheelSeparationMm: 280,
+      wheelRadiusMm: 60,
+    },
+  },
+  world: {
+    generateDemoWorld: true,
+  },
+});
+```
+
+Notes:
+- Revolute joint `velocity` values are expressed in degrees/second in Forge; the SDF exporter converts them to radians/second.
+- Prismatic distances are authored in millimeters and exported in meters.
+- `massKg` is preferred for demo robots; `densityKgM3` is a decent fallback when mass is unknown.
+
+---
+
+<!-- API/runtime/viewport.md -->
+
+# Viewport Runtime APIs
+
+These APIs affect the viewer and scene presentation. They do not change the underlying model geometry contract, so they are not part of the required model-building reading set.
+
+## `cutPlane(name, normal, offsetOrOptions?, options?)`
+
+Define a named section plane for inspection.
+
+**Parameters:**
+- `name` (string) - label shown in the viewport controls
+- `normal` (`[number, number, number]`) - direction toward the clipped side
+- `offsetOrOptions` (number or object, optional):
+  - number: plane offset from origin along `normal`
+  - object: `{ offset?: number, exclude?: string | string[] }`
+- `options` (object, optional; used with numeric offset):
+  - `exclude` (`string | string[]`) - returned object `name` values to keep uncut
+
+**Returns:** `void`
+
+```javascript
+const cutZ = param("Cut Height", 10, { min: -50, max: 50, unit: "mm" });
+
+cutPlane("Inspection", [0, 0, 1], cutZ, {
+  exclude: ["Probe", "Fasteners"],
+});
+```
+
+Notes:
+- planes are registered per script run
+- viewport toggle state persists across parameter changes
+- clipping is applied to returned named objects, so `exclude` only works when names are stable
+- newly exposed section faces render with a hatched overlay; pre-existing coplanar boundary faces are left unhatched
+
+## `explodeView(options?)`
+
+Override how the viewport explode slider offsets returned objects.
+
+Explode offsets are resolved from the returned object tree, not from a flat list.
+In `radial` mode each node follows its parent branch direction, then adds a smaller
+local fan from the immediate parent/subassembly center, so nested assemblies peel
+apart level by level without losing their branch structure.
+
+In fixed-axis or fixed-vector modes, the branch itself follows that axis/vector, but
+nested descendants fan out perpendicular to the branch by default so deep trees do
+not keep stacking farther along the same axis.
+
+By default this is container-oriented: named groups/subassemblies advance along the
+tree, while plain leaves inside a group stay much closer and mostly fan locally
+around their parent cluster unless you override them explicitly.
+
+**Parameters:**
+- `enabled` (boolean) - disable explode offsets for this script when `false`
+- `amountScale` (number) - multiply the UI explode amount
+- `stages` (number[]) - per-depth multipliers (depth 1 = first level, defaults to `1, 1/2, 1/3, ...`)
+- `mode` (`'radial' | 'x' | 'y' | 'z' | [x, y, z]`) - default explode direction
+- `axisLock` (`'x' | 'y' | 'z'`) - optional global axis lock
+- `byName` (`Record<string, { stage?, direction?, axisLock? }>`)- per-object overrides keyed by returned object `name`
+- `byPath` (`Record<string, { stage?, direction?, axisLock? }>`)- per-tree-path overrides using slash-separated object tree paths such as `"Drive/Shaft"`
+
+**Returns:** `void`
+
+```javascript
+explodeView({
+  amountScale: 1.2,
+  stages: [0.35, 0.8],
+  mode: 'radial',
+  byPath: {
+    "Drive/Shaft": { direction: [1, 0, 0], stage: 1.6 },
+  },
+});
+```
+
+## `jointsView(options?)`
+
+Register viewport-only mechanism controls that animate returned objects without rerunning the script.
+
+Use this when you want interactive articulation in the viewer but the geometry itself stays fixed.
+
+Animation values are interpolated linearly between keyframes. Forge does **not**
+auto-wrap revolute values across `-180/180` or `0/360` for you, because doing
+that globally would break intentional multi-turn tracks.
+
+**Key options:**
+- `enabled`
+- `joints`: `{ name, child, parent?, type?, axis?, pivot?, min?, max?, default?, unit? }[]`
+- `couplings`: `{ joint, terms, offset? }[]`
+- `animations`: `{ name, duration?, loop?, continuous?, keyframes }[]`
+- `defaultAnimation`
+
+```javascript
+jointsView({
+  joints: [
+    {
+      name: "Shoulder",
+      child: "Upper Arm",
+      parent: "Base",
+      type: "revolute",
+      axis: [0, -1, 0],
+      pivot: [0, 0, 46],
+      min: -30,
+      max: 110,
+      default: 15,
+    },
+  ],
+  animations: [
+    {
+      name: "Walk Cycle",
+      duration: 1.6,
+      loop: true,
+      keyframes: [
+        { at: 0.0, values: { "Shoulder": 20 } },
+        { at: 0.5, values: { "Shoulder": -10 } },
+        { at: 1.0, values: { "Shoulder": 20 } },
+      ],
+    },
+  ],
+});
+```
+
+`continuous: true` is for looping tracks that should keep accumulating across
+cycles instead of snapping back to the first keyframe each time. Use it for
+monotonic multi-turn drives such as `0 -> 360 -> 720`.
+
+### Animation continuity for revolute joints
+
+If an animation channel comes from `atan2(...)`, `normalizeAngleDeg(...)`, or
+any other wrapped angle source, keep the sampled keyframes continuous before
+passing them to `jointsView()`.
+
+Bad branch-cut sample stream:
+
+```javascript
+keyframes: [
+  { at: 0.48, values: { "Power Rod": -171 } },
+  { at: 0.50, values: { "Power Rod": -180 } },
+  { at: 0.52, values: { "Power Rod": 171 } },
+]
+```
+
+That `-180 -> 171` jump is interpreted literally and the viewer will spin the
+part the long way around.
+
+Good continuous sample stream:
+
+```javascript
+keyframes: [
+  { at: 0.48, values: { "Power Rod": -171 } },
+  { at: 0.50, values: { "Power Rod": -180 } },
+  { at: 0.52, values: { "Power Rod": -189 } },
+]
+```
+
+Guidelines:
+- Keep high-speed multi-turn joints authored as continuous angles (`0`, `360`,
+  `720`, etc.).
+- Only unwrap channels that represent cyclic angles. Do not apply angle
+  unwrapping blindly to prismatic or other scalar values.
+- If you build sampled helper utilities, let them unwrap a named set of joints
+  instead of guessing from every numeric channel.
+
+## `viewConfig(options?)`
+
+Configure viewport helper visuals for the current script.
+
+Current support:
+- `jointOverlay.enabled`
+- joint overlay colors such as `axisColor`, `axisCoreColor`, `arcColor`, `zeroColor`
+- joint overlay sizing and tessellation controls such as `axisLengthScale`, `arcVisualLimitDeg`, `arcStepDeg`
+
+**Returns:** `void`
+
+```javascript
+viewConfig({
+  jointOverlay: {
+    axisColor: "#13dfff",
+    arcColor: "#ff7a1a",
+    axisLineRadiusScale: 0.03,
+    arcLineRadiusScale: 0.022,
+  },
+});
+```
+
+## `lib.explode(items, options?)`
+
+Apply deterministic exploded-view offsets to an assembly tree while preserving names, colors, and nesting.
+
+`radial` separation is branch-aware and parent-relative: each child follows the
+direction of its parent branch, then fans out locally inside that branch. This keeps
+subassemblies visually grouped while still letting their internals break apart.
+
+For non-radial fixed-axis or fixed-vector modes, nested descendants keep the branch
+offset but spread perpendicular to it by default.
+
+Default behavior is tree-like rather than flat: containers separate recursively,
+while unconfigured leaves inside a container use a smaller local fan so sibling parts
+stay visually associated with their parent group.
+
+Works with:
+- arrays of shapes/sketches/named items
+- nested `{ name, group: [...] }` structures
+- `ShapeGroup` outputs
+
+**Parameters:**
+- `items` (`ExplodeItem[] | ShapeGroup`)
+- `options`:
+  - `amount` (number)
+  - `stages` (number[])
+  - `mode` (`'radial' | 'x' | 'y' | 'z' | [x, y, z]`)
+  - `axisLock` (`'x' | 'y' | 'z'`)
+  - `byName`
+  - `byPath`
+
+Named items may also include:
+- `explode: { stage?, direction?, axisLock? }`
+
+**Returns:** same structure type as input, with translated geometry
+
+```javascript
+const explodeAmt = param("Explode", 0, { min: 0, max: 40, unit: "mm" });
+
+return lib.explode(assembly, {
+  amount: explodeAmt,
+  stages: [0.4, 0.8],
+  mode: 'radial',
+  byName: {
+    "Shaft": { direction: [1, 0, 0], stage: 1.4 },
+  },
+});
+```
+
+---
+
+<!-- API/model-building/sketch-core.md -->
+
+# Sketch Core
+
+The `Sketch` class is an immutable wrapper around Manifold's `CrossSection` that provides a chainable 2D API.
+
+## Class: Sketch
+
+Represents a 2D profile that can be transformed, combined with other sketches, or converted to 3D.
+
+### Color
+
+#### `.color(hex: string): Sketch`
+Set the display color of this sketch. Returns a new Sketch.
+
+```javascript
+const red = rect(50, 30).color('#ff0000');
+const blue = circle2d(25).color('#0066ff');
+```
+
+Colors are preserved through transforms and boolean operations.
+
+#### `.clone()` / `.duplicate()`
+Create an explicit duplicate of a sketch wrapper.
+
+```javascript
+const base = rect(50, 30);
+const a = base.clone();
+const b = base.duplicate().translate(60, 0);
+```
+
+### Query Methods
+
+#### `.area(): number`
+Returns the area of the sketch.
+
+```javascript
+const sq = rect(50, 50);
+console.log(sq.area()); // 2500
+```
+
+#### `.bounds()`
+Returns the bounding box: `{ min: [x, y], max: [x, y] }`.
+
+```javascript
+const c = circle2d(25);
+const b = c.bounds();
+// b.min ≈ [-25, -25], b.max ≈ [25, 25]
+```
+
+#### `.isEmpty(): boolean`
+Returns true if the sketch has no area.
+
+#### `.numVert(): number`
+Returns the number of vertices in the contour.
+
+#### `.toPolygons()`
+Returns raw polygon contours for rendering (internal use).
+
+## Type: Anchor
+
+Anchor points for positioning sketches:
+- `'center'` — geometric center
+- `'top-left'`, `'top-right'`, `'bottom-left'`, `'bottom-right'` — corners
+- `'top'`, `'bottom'`, `'left'`, `'right'` — edge midpoints
+
+## Dimensions
+
+Use `dim()` / `dimLine()` for visual measurement callouts and report annotations.
+See [../output/dimensions.md](../output/dimensions.md) for options and ownership behavior.
+
+---
+
+<!-- API/model-building/sketch-primitives.md -->
+
+# Sketch Primitives
+
+2D primitive shapes for creating sketches.
+
+## Functions
+
+### `rect(width, height, center?)`
+Creates a rectangle.
+
+**Parameters:**
+- `width` (number) - Width
+- `height` (number) - Height
+- `center` (boolean, optional) - If true, centers at origin. Default: false (corner at origin)
+
+```javascript
+const r = rect(50, 30);
+const centered = rect(50, 30, true);
+```
+
+### `circle2d(radius, segments?)`
+Creates a circle.
+
+**Parameters:**
+- `radius` (number) - Circle radius
+- `segments` (number, optional) - Number of segments. Default: auto (smooth)
+
+```javascript
+const c = circle2d(25);
+const octagon = circle2d(25, 8);
+```
+
+### `roundedRect(width, height, radius, center?)`
+Creates a rectangle with rounded corners.
+
+**Parameters:**
+- `width` (number) - Width
+- `height` (number) - Height
+- `radius` (number) - Corner radius
+- `center` (boolean, optional) - If true, centers at origin. Default: false
+
+```javascript
+const rounded = roundedRect(60, 40, 5);
+```
+
+### `polygon(points)`
+Creates a polygon from an array of [x, y] points or Point2D objects.
+
+**Parameters:**
+- `points` (([number, number] | Point2D)[]) - Array of vertex coordinates or Point2D objects
+
+```javascript
+const triangle = polygon([[0, 0], [50, 0], [25, 40]]);
+
+// Also accepts Point2D objects
+const p1 = point(0, 0), p2 = point(50, 0), p3 = point(25, 40);
+const triangle2 = polygon([p1, p2, p3]);
+```
+
+### `ngon(sides, radius)`
+Creates a regular polygon (equilateral).
+
+**Parameters:**
+- `sides` (number) - Number of sides
+- `radius` (number) - Radius from center to vertex
+
+```javascript
+const hex = ngon(6, 25);
+const triangle = ngon(3, 30);
+```
+
+### `ellipse(rx, ry, segments?)`
+Creates an ellipse.
+
+**Parameters:**
+- `rx` (number) - X radius
+- `ry` (number) - Y radius
+- `segments` (number, optional) - Number of segments. Default: 64
+
+```javascript
+const oval = ellipse(40, 20);
+```
+
+### `slot(length, width)`
+Creates an oblong shape (rectangle with semicircle ends).
+
+**Parameters:**
+- `length` (number) - Total length
+- `width` (number) - Width
+
+```javascript
+const oblong = slot(60, 20);
+```
+
+### `star(points, outerRadius, innerRadius)`
+Creates a star shape.
+
+**Parameters:**
+- `points` (number) - Number of star points
+- `outerRadius` (number) - Outer radius (tip of points)
+- `innerRadius` (number) - Inner radius (between points)
+
+```javascript
+const star5 = star(5, 30, 15);
+```
+
+---
+
+<!-- API/model-building/sketch-path.md -->
+
+# Sketch Path Builder
+
+Fluent API for tracing 2D outlines point by point.
+
+## Class: PathBuilder
+
+### `path()`
+Creates a new path builder.
+
+```javascript
+const triangle = path()
+  .moveTo(0, 0)
+  .lineH(50)
+  .lineV(30)
+  .close();
+```
+
+### Methods
+
+#### `.moveTo(x, y)`
+Set starting point.
+
+#### `.lineTo(x, y)`
+Line to absolute position.
+
+#### `.lineH(dx)`
+Horizontal line (relative).
+
+#### `.lineV(dy)`
+Vertical line (relative).
+
+#### `.lineAngled(length, degrees)`
+Line at angle (0°=right, 90°=up).
+
+#### `.close()`
+Close path into a `Sketch` (auto-fixes winding).
+
+#### `.stroke(width, join?)`
+Thicken path into solid profile (see below).
+
+## Stroke
+
+Thicken a polyline (centerline) into a solid profile with uniform width. Proper miter joins at vertices.
+
+### `path().stroke(width, join?)`
+### `stroke(points, width, join?)`
+
+**Parameters:**
+- `width` (number) — Profile thickness
+- `join` ('Square' | 'Round', optional) — Corner style. Default: 'Square' (miter)
+
+**Returns:** `Sketch`
+
+```javascript
+// Fluent path builder
+const bracket = path()
+  .moveTo(0, 0)
+  .lineH(50)
+  .lineV(-70)
+  .lineAngled(20, 235)
+  .stroke(4);
+
+// Or with point array
+const bracket = stroke([[0, 0], [50, 0], [50, -70]], 4);
+
+// Rounded corners
+const rounded = stroke([[0, 0], [50, 0], [50, -50]], 4, 'Round');
+```
+
+Use `stroke(..., 'Round')` for centerline-based geometry such as ribs, traces, and wire-like profiles. It is not the same as rounding selected corners of an existing closed polygon. For mixed sharp-and-rounded outlines, build the polygon first and use `filletCorners(...)`.
+
+---
+
+<!-- API/model-building/sketch-transforms.md -->
+
+# Sketch Transforms
+
+2D transformations for sketches. All transforms are **chainable** and **immutable** (return new sketches). Colors are preserved through all transforms.
+
+## Methods
+
+### `.clone()` / `.duplicate()`
+Create an explicit copy handle of a sketch (same profile/color) so variants are easy to branch.
+
+```javascript
+const profile = rect(40, 20);
+const left = profile.clone().translate(-30, 0);
+const right = profile.duplicate().translate(30, 0);
+```
+
+### `.translate(x, y?)`
+Moves the sketch.
+
+```javascript
+const moved = rect(50, 30).translate(100, 50);
+```
+
+### `.rotate(degrees)`
+Rotates around the origin.
+
+```javascript
+const rotated = rect(50, 30).rotate(45);
+```
+
+### `.rotateAround(degrees, pivot)`
+Rotates around a specific point instead of origin.
+
+**Parameters:**
+- `degrees` (number) — Rotation angle
+- `pivot` ([number, number]) — Point to rotate around
+
+```javascript
+const hook = rect(4, 20).rotateAround(-35, [2, 0]);
+```
+
+### `.scale(v)`
+Scales the sketch.
+
+**Parameters:**
+- `v` (number | [number, number]) — Uniform scale or per-axis scale
+
+```javascript
+const bigger = circle2d(10).scale(2);
+const stretched = rect(10, 10).scale([2, 0.5]);
+```
+
+### `.mirror(normal)`
+Mirrors across a line defined by its normal vector.
+
+**Parameters:**
+- `normal` ([number, number]) — Line normal (doesn't need to be unit length)
+
+```javascript
+const mirrored = sketch.mirror([1, 0]); // Mirror across Y axis
+```
+
+---
+
+<!-- API/model-building/sketch-booleans.md -->
+
+# Sketch Booleans
+
+2D boolean operations for combining, subtracting, and intersecting sketches.
+
+## Methods
+
+### `.add(...others)`
+Combines sketches (union). Accepts `sketch.add(a, b)` and `sketch.add([a, b])`.
+
+```javascript
+const combined = rect(50, 30).add(
+  circle2d(20).translate(25, 15),
+  ngon(6, 15).translate(40, 15)
+);
+```
+
+### `.subtract(...others)`
+Subtracts one or more sketches from this one. Accepts `sketch.subtract(a, b)` and `sketch.subtract([a, b])`.
+
+```javascript
+const plate = rect(100, 80);
+const hole = circle2d(10);
+const slotCut = rect(18, 8).translate(41, 36);
+const result = plate.subtract(hole.translate(25, 40), slotCut);
+```
+
+### `.intersect(...others)`
+Keeps only the area shared by every operand. Accepts `sketch.intersect(a, b)` and `sketch.intersect([a, b])`.
+
+```javascript
+const overlap = rect(50, 50).intersect(
+  circle2d(30).translate(25, 25),
+  rect(40, 20).translate(5, 15)
+);
+```
+
+## Functions
+
+### `union2d(...sketches)`
+Combines multiple sketches into one.
+
+```javascript
+const combined = union2d(
+  rect(50, 30),
+  circle2d(20).translate(25, 15),
+  ngon(6, 15).translate(75, 15)
+);
+```
+
+`union2d([a, b, c])` is also supported when your sketches are already in an array.
+
+### `difference2d(...sketches)`
+Subtracts sketches[1..n] from sketches[0].
+
+```javascript
+const plate = rect(100, 80);
+const hole1 = circle2d(10).translate(25, 40);
+const hole2 = circle2d(10).translate(75, 40);
+const result = difference2d(plate, hole1, hole2);
+```
+
+`difference2d([base, cutter1, cutter2])` works too.
+
+### `intersection2d(...sketches)`
+Keeps only the area where all sketches overlap.
+
+```javascript
+const overlap = intersection2d(
+  rect(50, 50),
+  circle2d(30).translate(25, 25)
+);
+```
+
+`intersection2d([a, b, c])` is also supported.
+
+### `hull2d(...sketches)`
+Creates the convex hull of multiple sketches.
+
+```javascript
+const hull = hull2d(
+  circle2d(10),
+  circle2d(10).translate(50, 0),
+  circle2d(10).translate(25, 40)
+);
+```
+
+`hull2d([a, b, c])` is also supported when your sketches are already in an array.
+
+`hull2d()` is best for intentionally blended convex silhouettes. If you need true corner fillets while keeping some neighboring corners sharp, use `filletCorners(...)` instead.
+
+## Performance Note
+
+The multi-argument functions (`union2d`, `difference2d`, `intersection2d`) use Manifold's batch operations internally, which are faster than chaining `.add()` / `.subtract()` calls one by one. Prefer them when combining many sketches.
+
+```javascript
+// Fast — single batch operation
+const combined = union2d(s1, s2, s3, s4, s5);
+
+// Slower — sequential pairwise operations
+const combined = s1.add(s2).add(s3).add(s4).add(s5);
+```
+
+---
+
+<!-- API/model-building/sketch-operations.md -->
+
+# Sketch Operations
+
+2D operations for modifying sketch contours.
+
+## Methods
+
+All operations preserve the sketch's color.
+
+### `.offset(delta, join?)`
+Inflate (positive) or deflate (negative) the contour.
+
+**Parameters:**
+- `delta` (number) - Offset distance. Positive = outward, negative = inward
+- `join` ('Square' | 'Round' | 'Miter', optional) - Corner style. Default: 'Round'
+
+```javascript
+const outer = rect(50, 30).offset(5);      // Expand by 5mm
+const inner = circle2d(20).offset(-2);     // Shrink by 2mm
+const sharp = ngon(6, 20).offset(3, 'Miter');
+```
+
+Use the common `offset(-r).offset(+r)` pattern when you want to round **every convex corner** of a closed sketch.
+
+### `filletCorners(points, corners)`
+Round only specific convex corners of a polygon point list.
+
+**Parameters:**
+- `points` (([number, number] | Point2D)[]) - Closed polygon vertices in order
+- `corners` (`{ index: number, radius: number, segments?: number }[]`) - Which vertices to fillet
+
+**Returns:** `Sketch`
+
+```javascript
+const roofPoints = [
+  [0, 0],
+  [90, 0],
+  [90, 44],
+  [66, 74],
+  [45, 86],
+  [24, 74],
+  [0, 44],
+];
+
+const roof = filletCorners(roofPoints, [
+  { index: 3, radius: 19 },
+  { index: 4, radius: 19 },
+  { index: 5, radius: 19 },
+]);
+```
+
+Notes:
+- only convex corners are supported
+- if two neighboring fillets would overlap on the same edge, the function throws
+- compare `polygon(points)` and `filletCorners(points, ...)` before extruding when debugging mixed sharp-and-rounded outlines
+
+## Choosing A Rounding Strategy
+
+- `offset(-r).offset(+r)` rounds all convex corners of an existing closed profile
+- `stroke(points, width, 'Round')` thickens a centerline path; use it for ribs, traces, and wire-like geometry
+- `hull2d()` of circles creates a blended convex silhouette, closer to a capsule or cap than a true corner fillet
+- `filletCorners(points, ...)` is the right tool when some corners stay sharp and others need true tangent fillets
+- See `examples/api/sketch-rounding-strategies.forge.js` for a side-by-side comparison
+
+### `.hull()`
+Returns the convex hull of this sketch.
+
+```javascript
+const hull = complexShape.hull();
+```
+
+### `.simplify(epsilon?)`
+Removes vertices that don't significantly affect the shape.
+
+**Parameters:**
+- `epsilon` (number, optional) - Tolerance for vertex removal. Default: 1e-6
+
+```javascript
+const simplified = complexSketch.simplify(0.1);
+```
+
+### `.warp(fn)`
+Warp vertices with an arbitrary function.
+
+**Parameters:**
+- `fn` ((vert: [number, number]) => void) - Function that modifies vertex coordinates in-place
+
+```javascript
+const warped = rect(50, 50).warp(([x, y]) => {
+  // Modify x and y in place
+  x += Math.sin(y * 0.1) * 5;
+});
+```
+
+---
+
+<!-- API/model-building/sketch-on-face.md -->
+
+# Sketch On Face
+
+Attach a 2D sketch to a 3D face so it renders in-place and extrudes along that face normal.
+
+This supports:
+- canonical body faces: `front`, `back`, `left`, `right`, `top`, `bottom`
+- tracked planar faces on `TrackedShape`, like `side-left`
+- direct `FaceRef` targets from `tracked.face('top')`
+- supported compiler-owned created faces on `shell()` / `hole()` / `cutout()` results, such as `inner-side-right`, `floor`, `counterbore-floor`, and `wall-right`
+- supported compiler-owned created faces on `shell()` / `hole()` / `cutout()` results, such as `inner-side-right`, `floor`, `counterbore-floor`, and `wall-right`
+- defended preserved faces on compile-covered boolean results when one propagated descendant keeps a unique name
+- direct `FaceRef` targets from preserved/repeated descendants that still validate against a later compile-covered boolean target
+
+## `.onFace(parent, face, opts?)`
+
+Places a sketch onto a parent face using face-local coordinates.
+
+**Parameters:**
+- `parent` (`Shape | TrackedShape`) - target body
+- `face` (`'front' | 'back' | 'left' | 'right' | 'top' | 'bottom' | string | FaceRef`)
+- `opts` (object, optional):
+  - `u` (number) - face-local horizontal offset from the face center
+  - `v` (number) - face-local vertical offset from the face center
+  - `protrude` (number) - offset along the face normal. Positive = outward
+  - `selfAnchor` (`Anchor`) - which 2D sketch anchor aligns to the face center. Default: `'center'`
+
+**Returns:** `Sketch`
+
+## `.onFace(faceRef, opts?)`
+
+Places a sketch directly from a tracked or compiler-owned planar `FaceRef`.
+
+This is useful when the script has already selected a face semantically:
+
+```javascript
+const panel = Rectangle2D.from3Points(
+  point(-30, -18),
+  point(28, -6),
+  point(18, 24),
+).extrude(16);
+
+const cap = circle2d(5)
+  .onFace(panel.face('top'), { u: 12, protrude: 0.05 })
+  .extrude(1.2);
+```
+
+```javascript
+const cup = roundedRect(70, 42, 5, true)
+  .extrude(22)
+  .shell(2, { openFaces: ['top'] });
+
+const rib = rect(6, 4)
+  .onFace(cup, 'inner-side-right', { u: 0, v: 0, protrude: 0.05 })
+  .extrude(1.2);
+```
+
+```javascript
+const body = box(120, 60, 40, true).color('#d8dce3');
+
+const badge = roundedRect(28, 10, 2, true)
+  .onFace(body, 'front', { v: 8 })
+  .extrude(2)
+  .color('#1d2733');
+
+return [
+  { name: 'Body', shape: body },
+  { name: 'Badge', shape: badge },
+];
+```
+
+## Face-local coordinates
+
+- Canonical faces:
+  - `front` / `back`: `u = X`, `v = Z`
+  - `left` / `right`: `u` runs across the face, `v = Z`
+  - `top` / `bottom`: `u = X`, `v` runs across the face
+- Tracked planar faces use their own stored local frame:
+  - side faces of extruded rectangles: `u` follows the source edge, `v = Z`
+  - tracked `top` / `bottom` faces follow the source sketch axes
+  - direct `FaceRef` placement uses that face's `uAxis` / `vAxis`
+  - supported shell inner walls, blind-hole floors, counterbore shoulder floors, and defended cut walls reuse compiler-owned local frames for downstream workplanes
+- supported shell inner walls, blind-hole floors, counterbore shoulder floors, and defended cut walls reuse compiler-owned local frames for downstream workplanes
+  - compile-covered `Shape` targets now resolve defended named faces through the shared face-query table before falling back to bare canonical body heuristics
+
+The sketch's local `+Z` becomes the face normal, so `extrude(positive)` goes outward from that face.
+
+## Notes
+
+- This is a planar face-placement feature, not arbitrary curved-surface projection.
+- Tracked curved faces like `cylinder(...).face('side')` are rejected because they do not have a planar sketch frame.
+- Supported created-face names on compiler-owned feature results are intentionally narrow, but defended split descendants now stay visible as semantic regions where Forge can keep one stable source surface.
+- Hole/cut host faces, supported `upToFace` termination faces, and defended boolean-difference / boolean-intersection descendants can now stay queryable as face regions instead of collapsing straight to "missing face".
+- Coplanar boolean face sets now stay placeable through `onFace(shape, name, ...)` when Forge can defend one shared planar frame; non-coplanar sets stay explicit and reject planar placement honestly.
+- The placed sketch still supports normal 2D operations like `translate`, `rotate`, `scale`, and sketch booleans before extrusion.
+- If multiple sketches share the same face placement, their 2D booleans preserve that shared placement.
+- If booleans mix sketches with different 3D placements, the result drops back to an unplaced sketch.
+- Extruding a placed sketch keeps the tracked `top` / `bottom` / `side` metadata from that extrusion, transformed into world space.
+- Projection-driven follow-on sketches now keep compiler-visible provenance when you `projectToPlane()` a compatible projected source back onto a matching parallel plane. The defended exact subset now covers straight extrusions plus compatible shell/hole/cut/union descendants that reduce to one planar projection basis, but arbitrary projection targets still stay runtime-only.
+
+---
+
+<!-- API/model-building/sketch-extrude.md -->
+
+# Sketch Extrude & Revolve
+
+Convert 2D sketches into 3D shapes through extrusion or revolution. The sketch's color (if set) is carried over to the resulting Shape.
+
+If a sketch has been placed with [`onFace()`](sketch-on-face.md), extrusion follows that face normal instead of the global Z axis.
+
+## Methods
+
+### `.extrude(height, options?)`
+Extrudes sketch along Z axis.
+
+**Parameters:**
+- `height` (number) - Extrusion height
+- `options` (object, optional):
+  - `twist` (number) - Twist angle in degrees
+  - `divisions` (number) - Number of twist steps (needed for twist)
+  - `scaleTop` (number | [number, number]) - Scale factor at top
+  - `center` (boolean) - Center along Z axis
+
+**Returns:** `TrackedShape` (with faces: top, bottom, side)
+
+```javascript
+const simple = rect(50, 30).extrude(10);
+
+const twisted = ngon(6, 20).extrude(60, {
+  twist: 90,
+  divisions: 32
+});
+
+const tapered = circle2d(20).extrude(50, {
+  scaleTop: 0.5
+});
+
+const badge = roundedRect(28, 10, 2, true)
+  .onFace(box(120, 60, 40, true), 'front', { v: 8 })
+  .extrude(2);
+```
+
+### `.revolve(degrees?, segments?)`
+Revolves sketch around Y axis (becomes Z in result).
+
+Performance tip: prefer `revolve()` over `loft()` whenever the part is rotationally symmetric. Loft is for profile interpolation and is substantially heavier.
+
+**Parameters:**
+- `degrees` (number, optional) - Rotation angle. Default: 360 (full revolution)
+- `segments` (number, optional) - Number of segments. Default: auto
+
+**Returns:** `Shape`
+
+```javascript
+// Vase profile
+const profile = polygon([[20, 0], [25, 30], [20, 60]]);
+const vase = profile.revolve();
+
+// Partial revolution (C-shape)
+const partial = rect(5, 40).translate(20, 0).revolve(270);
+```
+
+---
+
+<!-- API/model-building/sketch-anchor.md -->
+
+# Sketch Anchor Positioning
+
+Position sketches relative to each other using named anchor points.
+
+## Methods
+
+### `.attachTo(target, targetAnchor, selfAnchor?, offset?)`
+Position a sketch relative to another using named anchor points.
+
+**Parameters:**
+- `target` (Sketch) — The sketch to attach to
+- `targetAnchor` (Anchor) — Point on target: 'center', 'top-left', 'top-right', 'bottom-left', 'bottom-right', 'top', 'bottom', 'left', 'right'
+- `selfAnchor` (Anchor, optional) — Point on this sketch to align. Default: 'center'
+- `offset` ([number, number], optional) — Additional offset after alignment
+
+**Returns:** `Sketch`
+
+```javascript
+const plate = rect(50, 4);
+const arm = rect(4, 70).attachTo(plate, 'bottom-left', 'top-left');
+return union2d(plate, arm);
+
+// With offset: attach then shift 5mm right
+const shifted = rect(4, 70).attachTo(plate, 'bottom-left', 'top-left', [5, 0]);
+```
+
+## Anchor Points
+
+Available anchor positions:
+- `'center'` — geometric center
+- `'top-left'`, `'top-right'`, `'bottom-left'`, `'bottom-right'` — corners
+- `'top'`, `'bottom'`, `'left'`, `'right'` — edge midpoints
+
+---
+
+<!-- API/guides/modeling-recipes.md -->
+
+# Modeling Recipes
+
+This file collects patterns, best practices, debugging tips, and example snippets that are useful once you already know the model-building API.
+
+## Iteration Bias
+
+- For unfamiliar or high-risk geometry work, start in a notebook and keep setup, experiments, and validation in separate cells until the structure is obvious.
+- Default to a buildable first pass instead of a long proposal when the user clearly wants geometry changed.
+- Replace a broken or incoherent model wholesale when that is faster and cleaner than incremental patching.
+- Keep printed hardware structurally honest: use it for guides, spacers, retainers, and moderate-load mechanisms; use wood or metal for primary strength.
+- Validate early with `forgecad run <file>` and refine from the actual runtime result.
+- Prefer a few clean part files over one giant script once a design has repeated hardware or a small mechanism.
+
+Notebook helpers worth using during iteration:
+
+- `show(...)` pins the current intermediate geometry in the viewport
+- `forgecad notebook view <file> preview` prints the preview cell with stored outputs in the terminal
+- `forgecad run <file>.forge-notebook.json` validates the preview cell and runs the usual spatial analysis
+
+## Common Patterns
+
+### Parametric Box with Holes
+```javascript
+const w = param("Width", 80, { min: 40, max: 150, unit: "mm" });
+const h = param("Height", 60, { min: 30, max: 100, unit: "mm" });
+const t = param("Thickness", 5, { min: 2, max: 10, unit: "mm" });
+const holeD = param("Hole Diameter", 8, { min: 4, max: 20, unit: "mm" });
+
+const base = box(w, h, t);
+const hole = cylinder(t + 2, holeD / 2).translate(w / 2, h / 2, -1);
+
+return base.subtract(hole);
+```
+
+### Hollow Shell (Wall Thickness)
+```javascript
+const outer = param("Outer Size", 50, { min: 20, max: 100, unit: "mm" });
+const wall = param("Wall", 3, { min: 1, max: 10, unit: "mm" });
+
+const outerBox = box(outer, outer, outer, true);
+const innerBox = box(outer - 2 * wall, outer - 2 * wall, outer - 2 * wall, true);
+
+return outerBox.subtract(innerBox);
+```
+
+### Array/Pattern
+```javascript
+const count = param("Count", 5, { min: 2, max: 10 });
+const spacing = param("Spacing", 15, { min: 5, max: 30, unit: "mm" });
+
+let shapes = [];
+for (let i = 0; i < count; i++) {
+  shapes.push(cylinder(10, 5).translate(i * spacing, 0, 0));
+}
+
+return union(...shapes);
+```
+
+### Sketch-Based Design
+```javascript
+const sides = param("Sides", 6, { min: 3, max: 12 });
+const radius = param("Radius", 25, { min: 10, max: 50, unit: "mm" });
+const height = param("Height", 60, { min: 20, max: 120, unit: "mm" });
+const wall = param("Wall", 3, { min: 1, max: 8, unit: "mm" });
+
+const outer = ngon(sides, radius);
+const inner = ngon(sides, radius - wall);
+const profile = outer.subtract(inner);
+
+return profile.extrude(height, { twist: 45, divisions: 32 });
+```
+
+### Rounded Profiles
+```javascript
+const base = rect(50, 30).offset(-3, 'Round').offset(3, 'Round');
+return base.extrude(10);
+```
+
+Use that pattern when every convex corner should round. For mixed sharp-and-rounded outlines, fillet only the intended vertices instead:
+
+```javascript
+const roofPoints = [
+  [0, 0],
+  [90, 0],
+  [90, 44],
+  [66, 74],
+  [45, 86],
+  [24, 74],
+  [0, 44],
+];
+
+const roof = filletCorners(roofPoints, [
+  { index: 3, radius: 19 },
+  { index: 4, radius: 19 },
+  { index: 5, radius: 19 },
+]);
+
+return roof.extrude(12);
+```
+
+### Chamfers and Fillets
+```javascript
+const part = box(50, 50, 20);
+const chamfer = box(10, 60, 10)
+  .rotate(0, 45, 0)
+  .translate(50, -5, 15);
+
+return part.subtract(chamfer);
+```
+
+### Choosing the right sketch-rounding tool
+
+- `offset(-r).offset(+r)` for rounding every convex corner of a closed outline
+- `stroke(points, width, 'Round')` for centerline-based geometry such as ribs or traces
+- `hull2d()` of circles for a blended cap/capsule silhouette
+- `filletCorners(points, ...)` for selective true-corner fillets on mixed profiles
+
+## Best Practices
+
+### Performance
+- Boolean operations are expensive; minimize them
+- Use parameters for values that might change
+- Avoid deep nesting of operations in loops
+
+### Readability
+```javascript
+const base = box(100, 100, 10);
+const hole = cylinder(12, 8);
+const result = base.subtract(hole.translate(50, 50, 0));
+return result;
+```
+
+Prefer named intermediate values over deeply nested one-liners.
+
+### Units
+- All dimensions are millimeters by default
+- Angles are degrees
+- Use the `unit` parameter option when it helps the reader
+
+### Centering
+```javascript
+const centered = box(50, 50, 50, true).translate(x, y, z);
+const corner = box(50, 50, 50).translate(x - 25, y - 25, z - 25);
+```
+
+Centered primitives are usually easier to position.
+
+## Debugging
+
+### Console Output
+```javascript
+console.log("Width:", width);
+console.log("Volume:", shape.volume());
+```
+
+### Incremental Building
+```javascript
+const base = box(50, 50, 10);
+// return base;
+
+const withHole = base.subtract(cylinder(12, 5).translate(25, 25, 0));
+// return withHole;
+
+return withHole.add(cylinder(20, 3).translate(25, 25, 10));
+```
+
+For sketch-heavy work, compare the raw profile and the rounded profile before extruding:
+
+```javascript
+const raw = polygon(roofPoints);
+const rounded = filletCorners(roofPoints, [
+  { index: 3, radius: 19 },
+  { index: 4, radius: 19 },
+  { index: 5, radius: 19 },
+]);
+
+return [
+  { name: "Raw", sketch: raw },
+  { name: "Rounded", sketch: rounded.translate(120, 0) },
+];
+```
+
+## Error Handling
+
+Common errors:
+- `"Kernel not initialized"` - internal/runtime issue, reload the app
+- `"Cannot read property of undefined"` - usually a bad variable name or missing declaration
+- invalid geometry - commonly caused by zero dimensions or self-intersecting sketches
+- script execution error - inspect the JS error in console output
+
+## Example Snippets
+
+### Parametric Phone Stand
+```javascript
+const width = param("Width", 80, { min: 40, max: 150, unit: "mm" });
+const depth = param("Depth", 60, { min: 30, max: 100, unit: "mm" });
+const thick = param("Thickness", 5, { min: 2, max: 15, unit: "mm" });
+const backH = param("Back Height", 40, { min: 20, max: 80, unit: "mm" });
+const cableD = param("Cable Hole", 8, { min: 4, max: 15, unit: "mm" });
+
+const base = box(width, depth, thick);
+const back = box(width, thick, backH).translate(0, depth - thick, thick);
+const lip = box(width, 10, 8).translate(0, 0, thick);
+const hole = cylinder(thick + 2, cableD / 2)
+  .rotate(90, 0, 0)
+  .translate(width / 2, depth / 2, -1);
+
+return union(base, back, lip).subtract(hole);
+```
+
+### Multi-Object Scene with Colors
+```javascript
+const base = box(100, 100, 5).color('#888888');
+const col1 = cylinder(40, 5).translate(20, 20, 5).color('#cc4444');
+const col2 = cylinder(40, 5).translate(80, 20, 5).color('#4444cc');
+const col3 = cylinder(40, 5).translate(50, 80, 5).color('#44cc44');
+const top = box(100, 100, 3).translate(0, 0, 45).color('#888888');
+
+return [
+  { name: "Base", shape: base },
+  { name: "Column A", shape: col1 },
+  { name: "Column B", shape: col2 },
+  { name: "Column C", shape: col3 },
+  { name: "Top", shape: top },
+];
+```
+
+### Entity-Based Design with Topology
+```javascript
+const baseRect = rectangle(0, 0, 80, 60);
+const base = baseRect.extrude(20);
+
+const result = filletEdge(base.toShape(), base.edge('vert-br'), 8, [-1, -1])
+  .hole(base.face('top'), { diameter: 6, u: -16, v: 10, depth: 8 });
+
+const holes = circularPattern(
+  cylinder(25, 4).translate(40, 30, -1),
+  4, 40, 30,
+);
+
+return result.subtract(holes);
+```
+
+Use the original tracked body (`base`) when you need semantic faces after edge finishing, and keep using its untouched sibling vertical tracked edges if you apply another supported fillet/chamfer later. Those sibling edges can now also survive a later supported union when the compiler still records one preserved propagated edge lineage for them. The currently selected finished edge is still recorded as a merged descendant set, so Forge does not claim a new durable tracked edge for that rewritten corner yet.
+
+For larger runnable examples, read `examples/api/`.
+
+---
+
+<!-- CLI.md -->
+
+# ForgeCAD CLI
+
+## Architecture
+
+All CLI tools share the **same forge engine** as the browser UI. There is one source of truth for geometry logic — no code duplication.
+
+```
+src/forge/headless.ts    ← Single entry point for all contexts
+  ├── kernel.ts          ← Manifold WASM wrapper (Shape, box, cylinder, sphere, etc.)
+  ├── runner.ts          ← Script sandbox (Function() with full forge API injected)
+  ├── section.ts         ← Plane intersection / projection
+  ├── sketch/            ← Complete 2D sketch system (primitives, transforms, booleans,
+  │                         constraints, entities, topology, patterns, fillets, arc bridge)
+  ├── params.ts          ← Parameter system
+  ├── library.ts         ← Part library
+  ├── meshToGeometry.ts  ← Manifold mesh → Three.js BufferGeometry
+  └── sceneBuilder.ts    ← Three.js scene setup (lighting, camera, materials)
+```
+
+**Browser** imports via `src/forge/index.ts` → re-exports from `headless.ts`.
+**CLI tools** import directly from `src/forge/headless.ts`.
+
+The key function is `runScript(code, fileName, allFiles)` — it wraps user code in a `Function()` sandbox with the entire forge API injected, and transpiles project files so standard JS `import` / `export` / `require(...)` work for shared utility modules. CLI scripts just call `init()` + `runScript()` and work with the results.
+
+## Install
+
+Install the package and link the local binary once:
+
+```bash
+npm install
+npm link
+```
+
+After that, use `forgecad ...` directly from your shell.
+
+### Shell Autocomplete
+
+ForgeCAD now ships shell completion scripts in the usual modern-tool style:
+
+```bash
+forgecad completion bash
+forgecad completion zsh
+forgecad completion fish
+```
+
+Quick install:
+
+```bash
+# bash
+echo 'source <(forgecad completion bash)' >> ~/.bashrc
+
+# zsh
+mkdir -p ~/.zsh/completions
+forgecad completion zsh > ~/.zsh/completions/_forgecad
+echo 'fpath=(~/.zsh/completions $fpath)' >> ~/.zshrc
+echo 'autoload -Uz compinit && compinit' >> ~/.zshrc
+
+# fish
+mkdir -p ~/.config/fish/completions
+forgecad completion fish > ~/.config/fish/completions/forgecad.fish
+```
+
+The completions are contextual:
+
+- nested subcommands such as `forgecad notebook view` and `forgecad export step`
+- command-specific flags and common enum values
+- ForgeCAD file suggestions where a command expects `.forge.js`, `.sketch.js`, or `.forge-notebook.json`
+
+## Available Commands
+
+### Notebook Cells (server-backed)
+
+Forge notebooks live in `.forge-notebook.json` files and behave like lightweight Jupyter notebooks for ForgeCAD code cells.
+
+The browser and CLI both use the Vite server for notebook execution. The CLI does not run Forge locally for notebook cells; it auto-starts or reuses the Forge server, sends the cell code, then prints the returned output summary.
+
+Append a new code cell and run it immediately in one command:
+
+```bash
+forgecad notebook examples/demo.forge-notebook.json --code "show(box(40, 20, 10));"
+```
+
+If the target notebook file does not exist yet, append mode auto-creates it first with the default ForgeCAD notebook structure, then adds the new cell.
+
+Or pipe a larger cell in through stdin:
+
+```bash
+cat /tmp/cell.js | forgecad notebook examples/demo.forge-notebook.json
+```
+
+Re-run the last preview cell, or a specific cell id:
+
+```bash
+forgecad notebook examples/demo.forge-notebook.json
+forgecad notebook run examples/demo.forge-notebook.json <cell-id>
+```
+
+View the notebook in the terminal without dumping raw JSON:
+
+```bash
+forgecad notebook view examples/demo.forge-notebook.json
+forgecad notebook view examples/demo.forge-notebook.json preview
+forgecad notebook view examples/demo.forge-notebook.json 2
+```
+
+`view` is local-only. It parses the notebook JSON and renders notebook metadata, numbered source lines, and stored outputs for each cell. The optional selector accepts a 1-based cell number, an exact cell id, or `preview`.
+
+`run`/`view` expect the notebook file to already exist. Auto-creation only applies to append flows (`--code`, `--file`, stdin, or the explicit `append` subcommand).
+
+Export a notebook into a plain `.forge.js` script:
+
+```bash
+forgecad notebook export examples/demo.forge-notebook.json
+forgecad notebook export examples/demo.forge-notebook.json out/demo-from-notebook.forge.js
+```
+
+If you already have a Forge server running, point the CLI at it:
+
+```bash
+forgecad notebook examples/demo.forge-notebook.json --server http://localhost:5173 --code "show(box(40, 20, 10));"
+```
+
+Notebook paths are resolved from the shell working directory before the CLI calls the server, so the server's opened project root does not add an extra path prefix.
+
+Notebook cell behavior:
+
+- Cells share state top-to-bottom
+- `show(value)` pins the geometry that should stay visible in the viewport
+- A trailing expression is also treated as the cell value
+- Cell outputs are written back into the notebook JSON, similar to Jupyter
+
+For the `forgecad` entrypoints below, passing a `.forge-notebook.json` uses that notebook's preview cell. That means you can inspect with `view`, validate with `run`, and render or capture the current preview without exporting first.
+
+### Script Validation
+
+```bash
+forgecad run examples/cup.forge.js
+forgecad run examples/api/notebook-iteration.forge-notebook.json
+forgecad run examples/cup.forge.js --debug-imports
+```
+
+Runs a `.forge.js`, `.sketch.js`, or notebook preview cell in the real runtime and prints object stats, diagnostics, and execution time.
+
+`--debug-imports` adds an import trace (source file, target file, overrides, return type, success/error phase), useful when debugging `importPart()`/`importSketch()` behavior.
+
+### SVG Export (no browser needed)
+
+```bash
+forgecad export svg examples/frame.sketch.js [output.svg]
+```
+
+Runs a `.sketch.js` script in Node.js using the real forge engine and outputs SVG. No browser, no Puppeteer — pure Node.
+
+**How it works:** Initializes the Manifold WASM kernel, runs the script through `runScript()`, extracts the Sketch result, converts polygons to SVG paths.
+
+### STEP / BREP Export (exact subset, Python + CadQuery)
+
+```bash
+forgecad export step examples/api/brep-exportable.forge.js
+forgecad export brep examples/api/brep-exportable.forge.js
+
+# Optional overrides:
+forgecad export step examples/api/brep-exportable.forge.js --output out/demo.step
+forgecad export step examples/api/brep-exportable.forge.js --python 3.11
+forgecad export step examples/api/brep-exportable.forge.js --uv /custom/path/to/uv
+forgecad export step examples/chess-set.forge.js --allow-faceted
+```
+
+This exporter is `uv`-first. `cli/forge-brep-export.py` carries inline dependency metadata, so `uv run` provisions CadQuery automatically for the exporter environment.
+
+By default this exporter is exact-subset only. It does **not** silently convert arbitrary triangle meshes back into fake BREP. Instead, Forge lowers compile-covered geometry into the `cadquery-occt` compiler target and exports that exact subset through CadQuery/OpenCascade.
+
+If you pass `--allow-faceted`, unsupported closed mesh solids are exported as explicit faceted OCCT solids. This keeps hull-heavy designs exportable to STEP/BREP, but that fallback is tessellation-driven rather than exact replay.
+
+The maintained feature matrix lives in [`docs/permanent/API/output/brep-export.md`](API/output/brep-export.md).
+
+If any returned solid object falls outside the exact subset, the CLI fails with a reason instead of silently exporting degraded geometry. When a scene mixes solids and 2D sketches, the exact solids export and the sketch-only objects are skipped with a warning.
+
+With `--allow-faceted`, mesh-solid blockers that still lack an exact replay plan are exported as faceted solids instead of failing. The CLI prints which objects used the fallback.
+
+For coverage runs across many examples, use the `uv` matrix scripts:
+
+```bash
+uv run scripts/brep/matrix.py --format step examples
+uv run scripts/brep/matrix.py --format brep examples
+uv run scripts/brep/rerun_failures.py tmp/brep-matrix-step-20260306T120000Z.json
+```
+
+These scripts use the repo-local `.venv-brep/.venv/bin/python` by default, run exports through a bounded parallel worker pool, and write JSON reports under `tmp/`.
+
+### SDF Robot Export (Gazebo package)
+
+```bash
+forgecad export sdf examples/api/sdf-rover-demo.forge.js
+
+# Optional output directory:
+forgecad export sdf examples/api/sdf-rover-demo.forge.js --output out/forge_scout
+```
+
+This exporter writes a Gazebo-friendly package workspace:
+
+- `models/<model-name>/model.sdf`
+- `models/<model-name>/model.config`
+- `models/<model-name>/meshes/*.stl`
+- `worlds/<world-name>.sdf` when the script requests a demo world
+- `manifest.json` with topic names, link/joint mappings, and exporter warnings
+
+The script must call `robotExport({...})` with an `assembly(...)` graph. The exporter uses the declared parts + joints directly; it does **not** try to infer a robot from flattened scene meshes.
+
+When `world.generateDemoWorld` and `world.keyboardTeleop.enabled` are on, the exported world includes both:
+
+- Gazebo's GUI `KeyPublisher` plugin
+- server-side `TriggeredPublisher` bindings that map arrow keys to the diff-drive `cmd_vel` topic
+
+Recommended launch flow:
+
+```bash
+export GZ_SIM_RESOURCE_PATH="$PWD/out/forge_scout/models${GZ_SIM_RESOURCE_PATH:+:$GZ_SIM_RESOURCE_PATH}"
+
+# Terminal 1: server
+gz sim -s -r out/forge_scout/worlds/forge_scout_trial.sdf
+
+# Terminal 2: GUI client using the same world layout
+gz sim -g out/forge_scout/worlds/forge_scout_trial.sdf
+```
+
+Notes:
+
+- On macOS, use the split `-s` / `-g` flow above. `gz sim <world.sdf>` is not supported there.
+- Click the 3D view so it has keyboard focus, then use `W` / `X` for forward / reverse, `A` / `D` to rotate, `Q` / `E` / `Z` / `C` for diagonals, and `S` or `Space` to stop.
+- For older exports created before the GUI plugin was added, load `Key Publisher` manually from the Gazebo GUI plugins menu.
+
+Current behavior:
+
+- Per-link geometry is exported as STL mesh assets
+- Collision geometry reuses the same mesh unless `collision: 'none'` is set on a link
+- Link mass comes from `massKg`, else `densityKgM3 * volume`, else a default density
+- Inertia is an approximate box fit based on link bounds
+- Coupled joints are currently rejected
+- Parts without geometry are currently rejected
+
+### PNG Render (requires Chrome)
+
+```bash
+forgecad render examples/cup.forge.js [output.png]
+forgecad render examples/api/notebook-iteration.forge-notebook.json [output.png]
+forgecad render examples/cup.forge.js out/scene.png --scene '{"camera":{"projectionMode":"perspective","position":[200,-160,120],"target":[0,0,20],"up":[0,0,1]},"objects":{"obj-2":{"visible":false},"obj-3":{"opacity":0.35}}}'
+```
+
+Renders 3D shapes to PNG images from multiple camera angles. Uses Puppeteer to launch headless Chrome with WebGL for Three.js rendering.
+
+When the input is a notebook, `forgecad render` renders the notebook's preview cell.
+
+**How it works:**
+1. `cli/forge-render.mjs` — Node launcher script. Auto-starts Vite dev server if not running, launches Puppeteer.
+2. `cli/render.html` + `cli/render.ts` — Loaded in the browser by Puppeteer. Imports from `src/forge/headless.ts`, runs the script, builds a Three.js scene, renders from multiple angles.
+3. Screenshots are captured as base64 PNG and saved to disk.
+
+**Environment variables:**
+
+| Variable | Default | Description |
+|----------|---------|-------------|
+| `FORGE_ANGLES` | `front,side,top,iso` | Camera angles to render |
+| `FORGE_SIZE` | `1024` | Image size in pixels |
+| `FORGE_PORT` | `5173` | Vite dev server port |
+| `CHROME_PATH` | Auto-detected | Chrome/Chromium executable path |
+
+**CLI options:**
+- `--angles <front,side,top,iso>` — standard angles to render
+- `--size <px>` — output size override
+- `--port <n>` — Vite port override
+- `--camera <spec>` — exact camera pose, e.g. `proj=perspective;pos=120,80,120;target=0,0,0;up=0,0,1`
+- `--scene <json>` — full scene state copied from the viewport, including camera plus object visibility/opacity/color overrides
+- `--background <color>` — background override
+- `--chrome-path <path>` — Chrome executable path override
+
+**Camera angles:** `front` (−Y), `back` (+Y), `side` (+X), `top` (+Z), `iso` (diagonal)
+
+### Animated Capture (GIF or MP4, requires Chrome)
+
+```bash
+forgecad capture gif examples/cup.forge.js [output.gif]
+forgecad capture mp4 examples/cup.forge.js [output.mp4]
+forgecad capture gif examples/api/notebook-assembly-debug.forge-notebook.json --list
+forgecad capture mp4 examples/api/runtime-joints-view.forge.js out/step.mp4 --capture animation --animation Step
+forgecad capture gif examples/3d-printer.forge.js out/section.gif --cut-plane "Front Section"
+```
+
+Creates high-quality animated captures from the real Forge viewport renderer:
+- Orbit captures with optional wireframe pass
+- Fixed-camera animation captures for `jointsView()` clips
+- Named cut-plane captures
+- Exact camera replay via `--camera`
+- Full viewport scene replay via `--scene`
+
+When the input is a notebook, `forgecad capture gif` / `forgecad capture mp4` capture the notebook's preview cell.
+
+**How it works:**
+1. Auto-starts (or reuses) the Vite dev server.
+2. Loads `cli/render.html` in headless Chrome.
+3. Runs the script once, then captures frames from the same scene while applying the selected animation, cut planes, and camera pose.
+4. Encodes with `ffmpeg` when available:
+   - GIF: palettegen/paletteuse for much better colors
+   - MP4: H.264 via `libx264`
+5. Falls back to the pure-JS GIF encoder only when `ffmpeg` is unavailable.
+
+**Options:**
+- `--format <gif|mp4>` — output format
+- `--capture <orbit|animation>` — moving orbit camera or fixed animation camera
+- `--animation <name>` — select one `jointsView()` clip
+- `--animation-loops <n>` — repeat the chosen clip
+- `--cut-plane <name>` — enable a named cut plane (repeatable)
+- `--camera <spec>` — exact camera pose, e.g. `proj=perspective;pos=120,80,120;target=0,0,0;up=0,0,1`
+- `--scene <json>` — full scene state copied from the viewport, including camera plus object visibility/opacity/color overrides
+- `--render-mode <solid|wireframe>` — primary render mode
+- `--include-wireframe-pass` / `--no-wireframe-pass` — control the extra wireframe pass
+- `--size <px>` — output frame resolution (default `960`)
+- `--pixel-ratio <n>` — render supersampling factor (default `2`)
+- `--fps <n>` — capture frame rate (default `24`)
+- `--frames-per-turn <n>` — frames per full orbit pass (default `72`)
+- `--hold-frames <n>` — freeze frames before each pass (default `6`)
+- `--pitch <deg>` — orbit elevation override
+- `--background <color>` — background color (default `#252526`)
+- `--quality <default|live|high>` — Forge geometry quality preset for export (default `high`)
+- `--encoder <auto|ffmpeg|js>` — GIF encoder strategy
+- `--crf <n>` — MP4 quality for `libx264` (default `18`)
+- `--list` — print the script's available animation clips and cut planes
+- `--port <n>` — Vite port (default `5173`)
+- `--chrome-path <path>` — Chrome executable path override
+- `--ffmpeg-path <path>` — ffmpeg executable path override
+
+**Environment variables:**
+- `FORGE_CAPTURE_SIZE`
+- `FORGE_CAPTURE_PIXEL_RATIO`
+- `FORGE_CAPTURE_FPS`
+- `FORGE_CAPTURE_FRAMES_PER_TURN`
+- `FORGE_CAPTURE_HOLD_FRAMES`
+- `FORGE_CAPTURE_PITCH_DEG`
+- `FORGE_CAPTURE_BACKGROUND`
+- `FORGE_CAPTURE_QUALITY`
+- `FORGE_CAPTURE_ANIMATION_LOOPS`
+- `FORGE_CAPTURE_CRF`
+- `FFMPEG_PATH`
+- Legacy `FORGE_GIF_*` vars are still honored as fallbacks
+- `FORGE_PORT`
+- `CHROME_PATH`
+
+**UI scene handoff:**
+- The View Panel exposes a `Camera` section.
+- Use `Copy CLI --scene` to grab the current viewport framing plus per-object scene overrides and paste it directly into `render`, `capture gif`, or `capture mp4`.
+
+### PDF Report (2D drawing pack)
+
+```bash
+forgecad export report examples/cup.forge.js [output.pdf]
+forgecad export report examples/cup.forge.js [output.pdf] --dim-angle-tol 18
+```
+
+Generates a searchable-text PDF report with multiple projected drawing views:
+- Bill of Materials page (auto-summed from script `bom()` entries)
+- Combined model page (front/right/top/isometric)
+- Disassembled component pages (same view set per unique component geometry; repeated identical items collapse into one page)
+- Auto-generated detail continuation pages for elongated/high-detail views (separate pages, not overlayed)
+- `dim()` annotations included per view only when their axis aligns with that view's projection plane axes
+
+BOM aggregation rules:
+- Each `bom(quantity, description, { unit })` call contributes one raw entry
+- Report export groups by `key` (if provided) else by normalized `description + unit`
+- Quantities are summed per group and rendered as line items in the BOM table
+
+Component dimension ownership for disassembled pages:
+- Preferred: explicit binding via `dim(..., { component: \"Part Name\" })`
+- Imported-part ownership: `dim(..., { currentComponent: true })` to pin to the owning returned component instance (no bbox heuristic)
+- Other-component ownership: `dim(..., { component: \"Tabletop\" })`
+- If multiple owners are bound (e.g. `currentComponent: true` plus another component), it is treated as shared and stays on the overview page
+- Fallback: automatic ownership only when both dimension endpoints are unambiguously inside exactly one returned component bounding box
+- Ambiguous dimensions are intentionally skipped for disassembled pages
+
+Optional report flag:
+- `--dim-angle-tol <degrees>`: include dimensions whose projected direction is within this many degrees of the nearest view axis (default: `12`)
+
+### STL Export (from browser)
+
+STL export is available in the browser UI via the Export panel. Binary STL format.
+
+### Parameter Validation
+
+```bash
+forgecad check params examples/shoe-rack-doors.forge.js [--samples 10]
+```
+
+Samples each parameter across its range and checks for runtime errors, degenerate geometry (volume ≈ 0), and new collisions between parts. Skips intra-group collisions when assembly groups are used.
+
+**Options:**
+- `--samples N` — Number of sample points per parameter (default: 8)
+
+**Output example:**
+```
+✓ Baseline: 6 objects, 12 params
+✓ Checked 91 parameter samples (8 per param)
+
+⚠ Found 8 issues across 4 parameters:
+
+  Parameter "Bottom Left Door":
+    💥 New collision at values: -120.0, -102.9
+       Bottom Left Door ∩ Frame (shared vol: 2561.9mm³)
+```
+
+### Transform/Assembly Invariant Check
+
+```bash
+forgecad check transforms
+```
+
+Runs fast math-level invariants to catch transform order and frame composition regressions before they leak into examples.
+
+### Compiler Snapshot Check
+
+```bash
+forgecad check compiler
+forgecad check compiler --case segmented-runtime-hints
+forgecad check compiler --update
+```
+
+Runs curated compiler regression cases and compares them against committed snapshots.
+This is a unit-style invariant check, not just a debugger convenience.
+The ordinary multi-feature part corpus lives in [`examples/compiler-corpus/README.md`](../../examples/compiler-corpus/README.md).
+
+Each snapshot records:
+- Forge compile plans
+- CadQuery/OCCT lowerings
+- export routing decisions
+- quantized runtime Manifold mesh summaries
+- quantized compiler-lowered Manifold mesh summaries
+
+This check also fails if:
+- a plan-covered shape or sketch no longer matches its compiler-lowered runtime output
+- export manifests drift away from the per-object compiler routing decisions
+- exact/faceted support claims stop matching the lowered artifacts and diagnostics
+
+### Query Propagation Snapshot Check
+
+```bash
+forgecad check query-propagation
+forgecad check query-propagation --case hull-runtime-boundary
+forgecad check query-propagation --update
+```
+
+Runs focused topology-rewrite query-propagation snapshots without dumping the
+entire compiler scene. This keeps supported, ambiguous, and intentionally
+unsupported rewrite semantics reviewable as the propagation layer evolves.
+
+Each snapshot records:
+- the propagated shape objects that actually carry topology-rewrite metadata
+- exact versus faceted routing outcomes for those objects
+- deterministic rewrite-operation ordering
+- preserved and created query summaries
+- explicit ambiguity/unsupported diagnostic codes
+
+This check also fails if:
+- a defended propagation case loses the expected preserved or created query shape
+- a known unsupported rewrite stops reporting its explicit diagnostic boundary
+- a multi-feature corpus part stops surfacing the expected rewrite ordering
+
+### Example Architecture Gate
+
+```bash
+forgecad check examples
+forgecad check examples --family api-parts --family compiler-corpus
+forgecad check examples --example examples/api/brep-exportable.forge.js
+```
+
+Runs the checked example manifest for the entire `examples/` tree.
+
+The manifest currently lives in `cli/example-manifest/` and covers every:
+
+- `.forge.js`
+- `.sketch.js`
+- `.forge-notebook.json`
+
+The command always verifies manifest coverage first, so it fails if:
+
+- a new example file was added without classification
+- a checked manifest entry points at a missing file
+- an example's assigned validation path fails
+- a `part` example's declared route expectation no longer matches the compiler report
+
+Current example classes:
+
+- `part`: runtime execution plus optional exact/faceted route assertions on the selected primary shapes
+- `assembly`: runtime solve + scene emission, not exact-route parity
+- `runtime-scene`: viewport/report/runtime examples that still need to execute successfully
+- `sketch`: sketch payload validation via the sketch export path
+- `notebook`: preview-cell validation for `.forge-notebook.json`
+- `experimental`: temporary fenced examples that still have to run
+
+The gate dispatches by declared validation path, not just by class label:
+
+- `part-runtime`: execute and then enforce any declared exact/faceted route contract
+- `assembly-runtime`: execute and validate solved-scene/assembly-owned runtime behavior
+- `runtime-scene`: execute as a viewport/report/runtime scene without treating it as part-route evidence
+- `sketch-svg`: render returned sketch payloads through the sketch SVG path
+- `notebook-preview`: materialize and execute the notebook preview cell
+- `experimental-runtime`: execute only, while the example stays outside the active architecture claim
+
+For non-part entries, the manifest can also pin specific runtime surfaces that
+must remain available to repo checks, such as BOM entries, cut planes,
+`jointsView()` controls, grouped scene structure, or collected
+`robotExport(...)` data.
+
+Current part route states:
+
+- `exact`: selected primary shapes must stay on the exact compiler route
+- `faceted`: exact must stay blocked and allow-faceted must succeed with diagnostics
+- `holdout`: runtime-checked, but intentionally outside the exact-route claim because the example still mixes route outcomes or depends on a documented unsupported capability; this is a temporary recovery state and should normally trend back to zero
+
+Successful runs also print the current temporary fence list, including each
+remaining `holdout` or `experimental` entry's blocker and follow-up task, so
+the command output can be used directly in a phase-entry review.
+
+Use `--family` when a task owns only one manifest lane, and `--example` when you
+want to debug a single checked artifact.
+
+### Invariant Test Suite
+
+```bash
+forgecad check suite
+npm test
+npm run test:examples
+npm run test:compiler
+npm run test:compiler:update
+npm run test:query-propagation
+npm run test:query-propagation:update
+```
+
+ForgeCAD's current unit-test surface is assertion-based CLI checks, not a separate Vitest/Jest harness.
+
+The important entrypoints are:
+- `npm test` runs the repo invariant suite (`transforms`, `dimensions`, `placement`, `js-modules`, `brep`, `compiler`, `query-propagation`, `examples`, `api`)
+- `npm run test:examples` runs the example architecture gate across the checked `examples/` manifest
+- `npm run test:compiler` runs just the compiler snapshot/invariant suite
+- `npm run test:compiler:update` refreshes committed compiler snapshots after an intentional change
+- `npm run test:query-propagation` runs the focused topology-rewrite query-propagation snapshots
+- `npm run test:query-propagation:update` refreshes those query-propagation snapshots after an intentional change
+- `forgecad check suite` is the CLI equivalent of the invariant suite runner
+
+### Dimension Propagation Invariant Check
+
+```bash
+forgecad check dimensions
+```
+
+Runs shape-level invariants for dimension metadata propagation across:
+- transform APIs (`translate`, `rotate`, `transform`, `scale`, `mirror`, `rotateAround`)
+- copy/style APIs (`clone`, `color`, `setColor`, `smooth/refine/simplify`)
+- boolean APIs (`add/subtract/intersect`, plus `union/difference/intersection/hull3d`)
+- import runtime path (`importPart(...).color(...).translate(...)`)
+
+### Dimension Debugger
+
+```bash
+forgecad debug dimensions /path/to/file.forge.js [--all]
+forgecad debug dimensions /path/to/file.forge.js [--all] [--dim-angle-tol 12]
+```
+
+Prints:
+- total object count
+- total dimension count
+- per-view visibility counts (`front/right/top/iso`) using report angle tolerance
+- report ownership routing (`combined` vs `component:<name>`) per dimension
+- per-object approximate dimension ownership (both endpoints inside object bbox)
+- a dimension coordinate list (first 20 by default, `--all` for full dump)
+
+### Compiler Debugger
+
+```bash
+forgecad debug compiler /path/to/file.forge.js
+forgecad debug compiler /path/to/file.forge.js --compact
+```
+
+Prints JSON for the current script's compiler state, including:
+- per-object compile plans
+- CadQuery/OCCT lowering diagnostics and lowered plans
+- faceted fallback eligibility
+- runtime Manifold summaries
+- compiler-lowered Manifold summaries
+
+### Local Branch Cleanup
+
+```bash
+uv run cli/forge-prune-local-branches.py
+uv run cli/forge-prune-local-branches.py --dry-run
+uv run cli/forge-prune-local-branches.py --base mainline
+```
+
+This is a `uv`-backed Python utility for repository housekeeping. It finds local branches with no matching remote branch that are already merged into the selected base ref, shows them in a Rich terminal UI, then prompts one by one before deleting anything.
+
+Behavior:
+- Deletes with `git branch -d`, not force-delete
+- Removes linked worktrees first when the branch is checked out in a secondary worktree
+- Requires an explicit `force` choice if one of those linked worktrees is dirty
+- Refuses to touch the current worktree, the primary worktree, or prunable/missing worktree entries
+- `--path` lets you point at any location inside the target repository
+
+## Adding New CLI Commands
+
+1. Create or extend a module under `cli/`
+2. Import from `../src/forge/headless`
+3. Call `await init()` to load the WASM kernel
+4. Use `runScript(code, fileName, allFiles)` to execute user scripts
+5. Register the new subcommand in `cli/forgecad.ts`
+
+### Minimal Example
+
+```typescript
+#!/usr/bin/env node
+import { readFileSync } from 'fs';
+import { init, runScript } from '../src/forge/headless';
+
+const code = readFileSync(process.argv[2], 'utf-8');
+
+await init();
+const result = runScript(code, 'main.forge.js', {});
+
+if (result.error) {
+  console.error(result.error);
+  process.exit(1);
+}
+
+for (const obj of result.objects) {
+  if (obj.shape) {
+    console.log(`${obj.name}: volume=${obj.shape.volume().toFixed(1)}mm³`);
+  }
+  if (obj.sketch) {
+    console.log(`${obj.name}: area=${obj.sketch.area().toFixed(1)}mm²`);
+  }
+}
+```
+
+### Cross-file imports
+
+When running scripts that use `importSketch()` / `importSvgSketch()` / `importPart()` or plain JS module imports, pass all project files (or at least all files reachable by imports), keyed by project-relative path. This supports root-relative and relative imports, utility `.js` modules, and `.svg` assets (`./assets/logo.svg`):
+
+```typescript
+import { readdirSync, readFileSync } from 'fs';
+
+const allFiles: Record<string, string> = {};
+for (const f of readdirSync(scriptDir)) {
+  if (f.endsWith('.forge.js') || f.endsWith('.sketch.js') || f.endsWith('.js') || f.endsWith('.svg')) {
+    allFiles[f] = readFileSync(join(scriptDir, f), 'utf-8');
+  }
+}
+
+const result = runScript(code, 'main.forge.js', allFiles);
+```
+
+For utility modules that want explicit ForgeCAD imports instead of globals, use the virtual runtime module:
+
+```javascript
+import { box, union } from "forgecad";
+```
+
+Keep using `importPart()` / `importSketch()` for model/sketch files when you want ForgeCAD-specific behavior like param override scopes or SVG parsing.
+
+## Dependencies
+
+| Package | Purpose | Context |
+|---------|---------|---------|
+| `forgecad` | Installable CLI binary (`forgecad ...`) | Runtime package |
+| `puppeteer-core` | Headless Chrome for PNG/GIF/MP4 rendering | Runtime dependency |
+| `manifold-3d` | Geometry kernel (WASM) | Works in both Node and browser |
+| `three` | 3D rendering (used by render.ts) | Loaded in browser context by Puppeteer |