partforge 0.13.0 → 0.16.0

package/docs/AUTHORING-PARTS.md

@@ -147,11 +147,15 @@ k.sweep({ profile: circleProfile(3), path: [[0, 0, 0], [0, 0, 20], [15, 0, 20]],
 // round every corner of any CCW outline, then extrude/loft/prism it
 k.prism({ points: filletPolygon(bracketOutline, 3), h: 4 });   // tessellated corners (faceted in STEP)
 k.prism({ points: roundedProfile(bracketOutline, 3), h: 4 });  // true CIRCLE corners in STEP export
+
+// print clearance on an arbitrary cut profile, or an inset wall
+k.extrude({ profile: offsetPolygon(slotPolygon(20, 3), 0.2), h: 10 });   // slot cut 0.2 mm looser all around
+offsetPolygon(outline, -wall, { corners: "sharp" });                     // inset a wall (see planter.js)
 ```
 
 2-D polygon helpers for `prism`/`extrude`/`loft`: `import { piePolygon, hexPolygon,
-regularPolygon, roundedRectPolygon, starPolygon, circleProfile, filletPolygon,
-roundedProfile } from "partforge/geometry"`. `filletPolygon(points, r, { segs? })` rounds
+regularPolygon, roundedRectPolygon, starPolygon, slotPolygon, circleProfile, filletPolygon,
+roundedProfile, offsetPolygon } from "partforge/geometry"`. `filletPolygon(points, r, { segs? })` rounds
 every corner of a CCW polygon (per-corner radius clamped so neighbouring arcs never overlap)
 and returns points usable by `prism`/`extrude`/`loft` on both backends — but it **bakes each
 corner into line facets**, so STEP corners are faceted. `roundedProfile(points, r | r[])`
@@ -159,7 +163,16 @@ rounds corners the same way but keeps them **mathematically true** — it carrie
 symbolically so STEP export gets real circular edges. Use it for `prism`/`extrude` (not yet
 `loft` — arc rings are rejected there in v1). A scalar `r` rounds every corner; a per-corner
 `r[]` (length = points) rounds selectively (a `0`, a zero-length edge, or a straight/180°
-corner stays sharp).
+corner stays sharp). `offsetPolygon(profile, delta, { corners?, segs? })` offsets a
+point-list polygon or `{ outer, holes }` region by `delta` mm — positive grows material,
+negative insets; regions offset material-wise (outer `+delta`, holes `−delta`, so a
+clearance loosens the whole cut). `corners` picks the convex-corner style: `"round"`
+(default; the true Minkowski clearance), `"chamfer"`, or `"sharp"` (miter, falling back to
+chamfer past a miter length of 2·|delta|). It is **simple polygon in, simple polygon out**:
+an offset whose true result would collapse or split into multiple contours (e.g. insetting a
+dumbbell past its waist) **throws** a greppable error rather than returning degenerate
+geometry. Being pure, it works in `derive()` as well as `build()` — the natural home for
+clearance math.
 **Import geometry helpers from `partforge/geometry`, never from `partforge`** — the main
 entry pulls in the DOM viewer/controls, and your build functions run in a Web Worker
 (importing the main entry there throws `document is not defined`).

package/docs/ERROR-PATTERNS.md

@@ -195,6 +195,32 @@ The sphere variant is `sphere: pass exactly one of r/d` (same cause and fix).
 - **Cause:** `center` was passed alongside `min`/`max`, but explicit corners already fix the placement.
 - **Fix:** drop `center`, or switch to `{size, center?}` — see [AUTHORING-PARTS.md](AUTHORING-PARTS.md).
 
+## offset-polygon-bad-input
+
+- **Symptom:** `offsetPolygon: need at least 3 points`
+- **Cause:** malformed input to `offsetPolygon` — too few points after dedup, or (variant messages) a non-finite `delta`, non-finite coordinates, an unknown `corners` style, or a profile that is neither a point list nor `{outer, holes}`.
+- **Fix:** pass a CCW `[[x,y],…]` list (≥ 3 distinct points) or `{outer, holes}`, a finite `delta` in mm, and `corners: "round" | "chamfer" | "sharp"` — see [AUTHORING-PARTS.md](AUTHORING-PARTS.md) § "Profiles & patterns".
+
+Variant literals under this entry: `offsetPolygon: delta must be a finite number`, `offsetPolygon: coordinates must be finite numbers`, `offsetPolygon: corners must be "round" | "chamfer" | "sharp"`, `offsetPolygon: profile must be a point list or {outer, holes}`.
+
+## offset-polygon-input-self-intersects
+
+- **Symptom:** `offsetPolygon: input polygon self-intersects`
+- **Cause:** the input contour crosses itself — the profile is broken before any offsetting happens (checked up front so bad input is not blamed on the offset).
+- **Fix:** repair the generating math for the contour; the offset envelope requires simple polygons in and out.
+
+## offset-polygon-collapse
+
+- **Symptom:** `offsetPolygon: offset collapses the polygon`
+- **Cause:** the offset consumed the shape — either an inset ate the whole polygon (result area ≤ 0 or fewer than 3 points, `|delta|` past the narrowest half-width; also thrown for a region hole that would vanish), or an offset displaced an edge past its own length so the edge inverts (a large inset, or a large *outset* of a concave profile where `|delta|` exceeds a reflex-adjacent edge — this last case can also depend on `corners`, since `"sharp"` extends edges further than `"round"`/`"chamfer"`).
+- **Fix:** reduce `|delta|`, or clamp it from the shape's dimensions before offsetting (see planter.js's wall cap). If a vanishing hole is intended, remove the hole from the region explicitly. Realistic clearances (fractions of a mm) on any profile, and wall insets up to the narrowest feature, never trip this.
+
+## offset-polygon-result-self-intersects
+
+- **Symptom:** `offsetPolygon: offset result self-intersects (reduce |delta| or simplify the profile)`
+- **Cause:** the true offset of this shape at this `|delta|` is not a single simple polygon (e.g. insetting a dumbbell past its waist would split it in two) — out of `offsetPolygon`'s envelope.
+- **Fix:** reduce `|delta|`, or decompose the profile into separately-offset simple contours.
+
 # Hardware library
 
 Reserved for `hardware-*` patterns (issue #30). No entries yet.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "partforge",
-  "version": "0.13.0",
+  "version": "0.16.0",
   "description": "Turn a declarative part definition into a parametric-CAD web app (three.js + Manifold/Replicad). Requires a Vite-based consumer.",
   "type": "module",
   "license": "MIT",

package/src/framework/app.css

@@ -1,6 +1,9 @@
 /* Shared chrome styles for any part app (panel, tabs, viewbar, download row,
    busy overlay) + the light/dark palettes. Imported by framework/mount.js, so
    every part-app gets it; each part's HTML only carries structural markup.
+   Skinned to the shared design language (partforge-cloud spec
+   2026-07-17-shared-design-language-design.md): zinc-tuned neutrals, blue
+   accent, shadcn-shaped radii/shadows/focus rings — plain CSS on --pf-*.
    See docs/AUTHORING-PARTS.md. */
 @import "./tokens.css"; /* palette + light overrides; also exported standalone as partforge/tokens.css */
 
@@ -13,8 +16,11 @@ canvas { display: block; }
 #panel {
   position: fixed; top: 12px; left: 12px; width: 256px;
   max-height: calc(100vh - 24px); overflow-y: auto; z-index: 10;
-  background: var(--pf-surface); border: 1px solid var(--pf-border); border-radius: 10px;
-  padding: 14px; color: var(--pf-text); box-shadow: 0 6px 24px rgba(0,0,0,.35);
+  background: var(--pf-surface); border: 1px solid var(--pf-border); border-radius: 16px;
+  padding: 14px; color: var(--pf-text);
+  /* shadow-lg, matching the partforge-cloud chat pane so the two floating
+     panes read as siblings (was the smaller shadow-md). */
+  box-shadow: 0 10px 15px -3px rgb(0 0 0 / .1), 0 4px 6px -4px rgb(0 0 0 / .1);
 }
 #panel h1 { font-size: 14px; margin: 0 0 2px; color: var(--pf-text-strong); letter-spacing: -0.01em; }
 #panel .sub {
@@ -23,16 +29,18 @@ canvas { display: block; }
   margin: 0 0 12px; padding-bottom: 12px; border-bottom: 1px solid var(--pf-border);
 }
 
-.seg { display: flex; gap: 4px; margin-bottom: 12px; }
+.seg { display: flex; gap: 2px; margin-bottom: 12px;
+  background: var(--pf-surface-2); border-radius: 10px; padding: 3px; }
 .seg button {
-  flex: 1; padding: 7px 0; border: 1px solid var(--pf-border); border-radius: 7px;
-  background: var(--pf-surface-2); color: var(--pf-muted-2); cursor: pointer;
+  flex: 1; padding: 6px 0; border: 0; border-radius: 8px;
+  background: transparent; color: var(--pf-muted); cursor: pointer;
   font-family: var(--pf-mono); font-size: 11px; letter-spacing: 0.02em;
 }
-.seg button.on { background: var(--pf-accent); color: var(--pf-on-accent); border-color: var(--pf-accent); }
+.seg button:hover { color: var(--pf-text-2); }
+.seg button.on { background: var(--pf-accent); color: var(--pf-on-accent); }
 
 .section {
-  border: 1px solid var(--pf-border); border-radius: 8px; padding: 10px;
+  border: 1px solid var(--pf-border); border-radius: 10px; padding: 10px;
   margin-bottom: 8px; background: var(--pf-surface-2);
 }
 .sec-title {
@@ -41,7 +49,7 @@ canvas { display: block; }
 }
 select.preset {
   width: 100%; background: var(--pf-input-bg); color: var(--pf-text-2);
-  border: 1px solid var(--pf-border); border-radius: 6px; padding: 6px 8px;
+  border: 1px solid var(--pf-border); border-radius: 8px; padding: 7px 9px;
   font-family: var(--pf-mono); font-size: 11px;
 }
 .feat { display: flex; align-items: center; gap: 8px; margin: 6px 0;
@@ -50,7 +58,7 @@ select.preset {
 .feat-group { margin: 2px 0 8px; padding-left: 10px; border-left: 2px solid var(--pf-border); }
 .feat-group.hidden { display: none; }
 .adv-toggle {
-  margin-top: 8px; padding: 4px 0; width: 100%; border: 0; border-radius: 5px;
+  margin-top: 8px; padding: 4px 0; width: 100%; border: 0; border-radius: 6px;
   background: transparent; color: var(--pf-muted); cursor: pointer;
   font-family: var(--pf-mono); font-size: 10px; letter-spacing: 0.08em; text-transform: uppercase; text-align: left;
 }
@@ -66,9 +74,10 @@ select.preset {
 .row .num {
   width: 54px; text-align: right; font-family: var(--pf-mono); font-size: 12px; font-variant-numeric: tabular-nums;
   background: var(--pf-input-bg); color: var(--pf-text-strong);
-  border: 1px solid var(--pf-border); border-radius: 5px; padding: 3px 6px;
+  border: 1px solid var(--pf-border); border-radius: 6px; padding: 3px 6px;
 }
-.row .num:focus { outline: none; border-color: var(--pf-accent); box-shadow: 0 0 0 3px var(--pf-accent-soft); }
+.row .num:focus { outline: none; border-color: var(--pf-accent);
+  box-shadow: 0 0 0 3px color-mix(in oklab, var(--pf-accent) 35%, transparent); }
 .row .num::-webkit-outer-spin-button, .row .num::-webkit-inner-spin-button { -webkit-appearance: none; margin: 0; }
 .row .num { -moz-appearance: textfield; }
 .row .unit { font-family: var(--pf-mono); color: var(--pf-muted); font-size: 10px; }
@@ -87,16 +96,18 @@ input[type="range"]::-moz-range-thumb {
   width: 14px; height: 14px; border-radius: 50%; background: var(--pf-accent);
   border: 2px solid var(--pf-surface-2); box-shadow: 0 0 0 1px var(--pf-accent);
 }
-input[type="range"]:hover::-webkit-slider-thumb { box-shadow: 0 0 0 5px var(--pf-accent-soft); }
+input[type="range"]:hover::-webkit-slider-thumb { box-shadow: 0 0 0 5px color-mix(in oklab, var(--pf-accent) 35%, transparent); }
 input[type="range"]:focus-visible { outline: none; }
-input[type="range"]:focus-visible::-webkit-slider-thumb { box-shadow: 0 0 0 5px var(--pf-accent-soft); }
-input[type="range"]:focus-visible::-moz-range-thumb { box-shadow: 0 0 0 5px var(--pf-accent-soft); }
+input[type="range"]:focus-visible::-webkit-slider-thumb { box-shadow: 0 0 0 5px color-mix(in oklab, var(--pf-accent) 35%, transparent); }
+input[type="range"]:focus-visible::-moz-range-thumb { box-shadow: 0 0 0 5px color-mix(in oklab, var(--pf-accent) 35%, transparent); }
 
 button.action {
-  width: 100%; margin-top: 8px; padding: 9px; border: 0; border-radius: 7px;
-  background: var(--pf-accent); color: var(--pf-on-accent); font-weight: 600; cursor: pointer;
+  width: 100%; margin-top: 8px; padding: 9px; border: 0; border-radius: 8px;
+  background: var(--pf-accent); color: var(--pf-on-accent); font-weight: 500; cursor: pointer;
 }
-button.ghost { background: var(--pf-border); color: var(--pf-text-2); font-weight: 500; }
+button.action:hover:not(:disabled) { background: color-mix(in oklab, var(--pf-accent) 90%, black); }
+button.ghost { background: transparent; border: 1px solid var(--pf-border); color: var(--pf-text-2); font-weight: 500; }
+button.ghost:hover:not(:disabled) { background: var(--pf-surface-2); }
 button.action:disabled { opacity: .5; cursor: default; }
 
 .dl { margin-top: 14px; }
@@ -106,8 +117,8 @@ button.action:disabled { opacity: .5; cursor: default; }
 }
 .dl-row { display: flex; gap: 6px; }
 .dl-row button {
-  flex: 1; padding: 8px 0; border: 1px solid var(--pf-border); border-radius: 7px;
-  background: var(--pf-surface-2); color: var(--pf-text-2);
+  flex: 1; padding: 8px 0; border: 1px solid var(--pf-border); border-radius: 8px;
+  background: transparent; color: var(--pf-text-2);
   font-family: var(--pf-mono); font-weight: 600; font-size: 11px; letter-spacing: 0.06em; cursor: pointer;
 }
 .dl-row button:hover:not(:disabled) { border-color: var(--pf-accent); color: var(--pf-text-strong); }
@@ -120,7 +131,8 @@ button.action:disabled { opacity: .5; cursor: default; }
 /* keyboard focus ring shared across the panel's interactive controls */
 .seg button:focus-visible, select.preset:focus-visible, .dl-row button:focus-visible,
 button.action:focus-visible, .adv-toggle:focus-visible, #viewbar button:focus-visible {
-  outline: 2px solid var(--pf-accent); outline-offset: 2px;
+  outline: none;
+  box-shadow: 0 0 0 3px color-mix(in oklab, var(--pf-accent) 35%, transparent);
 }
 
 /* part tabs, floated top-centre over the viewport */
@@ -130,7 +142,8 @@ button.action:focus-visible, .adv-toggle:focus-visible, #viewbar button:focus-vi
 }
 #topbar .seg {
   margin: 0; padding: 4px; background: var(--pf-surface); border: 1px solid var(--pf-border);
-  border-radius: 9px; box-shadow: 0 6px 24px rgba(0,0,0,.35);
+  border-radius: 14px;
+  box-shadow: 0 4px 6px -1px rgb(0 0 0 / .1), 0 2px 4px -2px rgb(0 0 0 / .1);
 }
 #topbar .seg button { min-width: 70px; padding: 7px 10px; }
 
@@ -139,16 +152,17 @@ button.action:focus-visible, .adv-toggle:focus-visible, #viewbar button:focus-vi
   position: fixed; top: 12px; right: 12px; z-index: 15;
   display: flex; gap: 4px; padding: 4px;
   background: var(--pf-surface); border: 1px solid var(--pf-border);
-  border-radius: 9px; box-shadow: 0 6px 24px rgba(0,0,0,.35);
+  border-radius: 14px;
+  box-shadow: 0 4px 6px -1px rgb(0 0 0 / .1), 0 2px 4px -2px rgb(0 0 0 / .1);
 }
 #viewbar button {
-  width: 34px; height: 34px; border: 1px solid var(--pf-border); border-radius: 7px;
-  background: var(--pf-surface-2); color: var(--pf-muted-2); cursor: pointer;
+  width: 34px; height: 34px; border: 0; border-radius: 10px;
+  background: transparent; color: var(--pf-muted-2); cursor: pointer;
   font-size: 15px; line-height: 1;
   display: flex; align-items: center; justify-content: center;
 }
-#viewbar button:hover { color: var(--pf-text); }
-#viewbar button.on { background: var(--pf-accent); color: var(--pf-on-accent); border-color: var(--pf-accent); }
+#viewbar button:hover { color: var(--pf-text); background: var(--pf-surface-2); }
+#viewbar button.on { background: var(--pf-accent); color: var(--pf-on-accent); }
 
 #busy {
   position: fixed; inset: 0; z-index: 20; pointer-events: none;
@@ -161,7 +175,7 @@ button.action:focus-visible, .adv-toggle:focus-visible, #viewbar button:focus-vi
   border: 4px solid var(--pf-border); border-top-color: var(--pf-accent);
   animation: spin 0.9s linear infinite;
 }
-#busy .phase { color: var(--pf-text); font-size: 13px; text-shadow: 0 1px 6px rgba(0,0,0,.6); }
+#busy .phase { color: var(--pf-text); font-size: 13px; }
 @keyframes spin { to { transform: rotate(360deg); } }
 
 /* info glyph + description popover */
@@ -171,15 +185,17 @@ button.action:focus-visible, .adv-toggle:focus-visible, #viewbar button:focus-vi
   vertical-align: middle;
 }
 .info:hover { color: var(--pf-text-2); }
-.info:focus-visible { outline: 2px solid var(--pf-accent); outline-offset: 2px; border-radius: 3px; }
+.info:focus-visible { outline: none; border-radius: 4px;
+  box-shadow: 0 0 0 3px color-mix(in oklab, var(--pf-accent) 35%, transparent); }
 .popover {
   position: fixed; z-index: 50; max-width: 280px; max-height: 50vh; overflow: auto;
   background: var(--pf-surface); color: var(--pf-text); border: 1px solid var(--pf-border);
-  border-radius: 8px; padding: 10px 12px; box-shadow: 0 6px 24px rgba(0,0,0,.35);
+  border-radius: 14px; padding: 10px 12px;
+  box-shadow: 0 4px 6px -1px rgb(0 0 0 / .1), 0 2px 4px -2px rgb(0 0 0 / .1);
   font-size: 12px; line-height: 1.5;
 }
 .popover[hidden] { display: none; }
-.popover img { max-width: 100%; height: auto; border-radius: 4px; }
+.popover img { max-width: 100%; height: auto; border-radius: 6px; }
 .popover code { font-family: var(--pf-mono); background: var(--pf-surface-2); padding: 0.05em 0.35em; border-radius: 4px; font-size: 0.9em; }
 .popover a { color: var(--pf-accent); }
 .popover p:first-child { margin-top: 0; }
@@ -193,10 +209,10 @@ button.action:focus-visible, .adv-toggle:focus-visible, #viewbar button:focus-vi
 /* hover feature-label tooltip (selection/hover.js) */
 #pf-hover-tip {
   position: fixed; z-index: 30; pointer-events: none; display: none;
-  padding: 4px 9px; border-radius: 6px; max-width: 260px;
+  padding: 4px 9px; border-radius: 8px; max-width: 260px;
   background: var(--pf-surface); border: 1px solid var(--pf-border);
   color: var(--pf-text-strong); font-size: 12px; line-height: 1.35;
-  box-shadow: 0 2px 10px rgba(0, 0, 0, .25);
+  box-shadow: 0 2px 4px -2px rgb(0 0 0 / .15);
 }
 #pf-hover-tip.show { display: block; }
 #pf-hover-tip .pf-hover-sub { color: var(--pf-muted); font-size: 11px; margin-left: 7px; }
@@ -209,8 +225,8 @@ button.action:focus-visible, .adv-toggle:focus-visible, #viewbar button:focus-vi
   z-index: 30; max-width: min(56ch, calc(100vw - 24px));
   padding: 10px 36px 10px 12px;
   background: var(--pf-surface); color: var(--pf-text);
-  border: 1px solid var(--pf-border); border-radius: 10px;
-  box-shadow: 0 6px 24px rgba(0,0,0,.35);
+  border: 1px solid var(--pf-border); border-radius: 14px;
+  box-shadow: 0 4px 6px -1px rgb(0 0 0 / .1), 0 2px 4px -2px rgb(0 0 0 / .1);
   font-size: 12px; line-height: 1.45;
   animation: pf-pick-in .18s ease;
 }
@@ -227,7 +243,7 @@ button.action:focus-visible, .adv-toggle:focus-visible, #viewbar button:focus-vi
   position: absolute; top: 6px; right: 6px; appearance: none;
   width: 20px; height: 20px; padding: 0;
   border: 1px solid var(--pf-border); border-radius: 6px;
-  background: var(--pf-surface-2); color: var(--pf-muted);
+  background: transparent; color: var(--pf-muted);
   cursor: pointer; font-size: 13px; line-height: 1;
   display: flex; align-items: center; justify-content: center;
 }
@@ -242,11 +258,12 @@ button.action:focus-visible, .adv-toggle:focus-visible, #viewbar button:focus-vi
   position: fixed; left: 12px; bottom: 12px; z-index: 9999;
   font: 12px system-ui, sans-serif; padding: 6px 10px; cursor: pointer;
 }
-#pf-pick.on { outline: 2px solid #ffcc33; }
+#pf-pick.on { outline: 2px solid var(--pf-accent); }
 #pf-pick-toast {
   position: fixed; left: 12px; bottom: 48px; z-index: 9999; max-width: 60ch;
-  font: 12px ui-monospace, monospace; padding: 6px 10px; border-radius: 4px;
-  background: rgba(20,24,29,0.92); color: #d8e0ea;
+  font: 12px var(--pf-mono); padding: 6px 10px; border-radius: 8px;
+  background: var(--pf-surface); color: var(--pf-text);
+  border: 1px solid var(--pf-border);
   white-space: pre-wrap; word-break: break-word; display: none;
 }
 #pf-pick-toast.show { display: block; }

package/src/framework/geometry/polygon.js

@@ -227,3 +227,180 @@ export function circleProfile(r, center = [0, 0], segs = 48) {
   }
   return pts;
 }
+
+// --- offsetPolygon ---------------------------------------------------------
+
+const OFFSET_EPS = 1e-9;
+
+// Fresh copies, consecutive duplicates dropped, closing point (== first) dropped.
+function dedupePoints(points) {
+  const out = [];
+  for (const p of points) {
+    const last = out[out.length - 1];
+    if (!last || Math.hypot(p[0] - last[0], p[1] - last[1]) > OFFSET_EPS) out.push([p[0], p[1]]);
+  }
+  while (out.length > 1 &&
+    Math.hypot(out[0][0] - out[out.length - 1][0], out[0][1] - out[out.length - 1][1]) <= OFFSET_EPS) out.pop();
+  return out;
+}
+
+function polySignedArea(pts) {
+  let a = 0;
+  for (let i = 0; i < pts.length; i++) {
+    const [x1, y1] = pts[i], [x2, y2] = pts[(i + 1) % pts.length];
+    a += x1 * y2 - x2 * y1;
+  }
+  return a / 2;
+}
+
+// True where segments a-b and c-d properly cross. Shared endpoints and collinear
+// touches don't count — adjacent edges always share a vertex, and the collinear
+// case is degenerate input the dedupe/straight-vertex paths already absorb.
+function segmentsCross(a, b, c, d) {
+  const orient = (p, q, r) => (q[0] - p[0]) * (r[1] - p[1]) - (q[1] - p[1]) * (r[0] - p[0]);
+  return orient(a, b, c) * orient(a, b, d) < 0 && orient(c, d, a) * orient(c, d, b) < 0;
+}
+
+// True where p lies strictly inside segment a-b (not at either endpoint) —
+// a degenerate touch that segmentsCross's proper-crossing test doesn't see.
+function pointOnSegment(p, a, b) {
+  const cross = (b[0] - a[0]) * (p[1] - a[1]) - (b[1] - a[1]) * (p[0] - a[0]);
+  if (Math.abs(cross) > OFFSET_EPS) return false;
+  const dot = (p[0] - a[0]) * (b[0] - a[0]) + (p[1] - a[1]) * (b[1] - a[1]);
+  const lenSq = (b[0] - a[0]) ** 2 + (b[1] - a[1]) ** 2;
+  return dot > OFFSET_EPS && dot < lenSq - OFFSET_EPS;
+}
+
+// O(n²) simplicity test — trivial at profile point counts (tens to hundreds).
+function isSimplePolygon(pts) {
+  const n = pts.length;
+  for (let i = 0; i < n; i++) {
+    for (let j = i + 1; j < n; j++) {
+      if (j === i + 1 || (i === 0 && j === n - 1)) continue;   // adjacent edges share a vertex
+      const [a, b] = [pts[i], pts[(i + 1) % n]], [c, d] = [pts[j], pts[(j + 1) % n]];
+      if (segmentsCross(a, b, c, d)) return false;
+      // A vertex landing exactly on a non-adjacent edge is also a self-touch —
+      // e.g. an inset waist pinching two opposite edges together.
+      if (pointOnSegment(a, c, d) || pointOnSegment(b, c, d) ||
+          pointOnSegment(c, a, b) || pointOnSegment(d, a, b)) return false;
+    }
+  }
+  return true;
+}
+
+// Intersection of two infinite lines given as point + unit direction; null if parallel.
+function lineIntersect(p, dp, q, dq) {
+  const denom = dp[0] * dq[1] - dp[1] * dq[0];
+  if (Math.abs(denom) < OFFSET_EPS) return null;
+  const t = ((q[0] - p[0]) * dq[1] - (q[1] - p[1]) * dq[0]) / denom;
+  return [p[0] + dp[0] * t, p[1] + dp[1] * t];
+}
+
+// Offset a profile by `delta` mm: positive grows material outward, negative
+// insets. `profile` is a CCW [[x,y],…] point list (either winding accepted,
+// output always CCW) or an {outer, holes} region — regions offset as material:
+// outer by +delta, holes by −delta, so a +0.2 clearance on a cut region loosens
+// the whole cut. Corners where the offset edges diverge fill per `corners`:
+// "round" (arc of radius |delta| about the original vertex, `segs` segments —
+// the true Minkowski clearance), "chamfer" (the arc's chord), or "sharp" (true
+// miter, falling back to chamfer past a miter length of 2·|delta|). Where
+// offset edges cross (reflex on outset, convex on inset) they trim to their
+// intersection regardless of style. Simple polygon in, simple polygon out:
+// a result that self-intersects or vanishes THROWS (greppable errors below)
+// rather than returning degenerate geometry — offsets that would split a
+// region (dumbbell insets) are out of scope. Pure and deterministic; usable in
+// derive() and build() alike. See AUTHORING-PARTS.md "Profiles & patterns".
+export function offsetPolygon(profile, delta, opts = {}) {
+  const { corners = "round", segs = 8 } = opts;
+  if (profile !== null && typeof profile === "object" && !Array.isArray(profile)) {
+    if (!Array.isArray(profile.outer)) throw new Error("offsetPolygon: profile must be a point list or {outer, holes}");
+    const region = { outer: offsetPolygon(profile.outer, delta, opts) };
+    if (profile.holes) region.holes = profile.holes.map((h) => offsetPolygon(h, -delta, opts));
+    return region;
+  }
+  if (!Array.isArray(profile)) throw new Error("offsetPolygon: profile must be a point list or {outer, holes}");
+  if (typeof delta !== "number" || !Number.isFinite(delta)) throw new Error("offsetPolygon: delta must be a finite number");
+  if (corners !== "round" && corners !== "chamfer" && corners !== "sharp")
+    throw new Error('offsetPolygon: corners must be "round" | "chamfer" | "sharp"');
+  for (const p of profile)
+    if (!Array.isArray(p) || !Number.isFinite(p[0]) || !Number.isFinite(p[1]))
+      throw new Error("offsetPolygon: coordinates must be finite numbers");
+
+  const pts = dedupePoints(profile);
+  if (pts.length < 3) throw new Error("offsetPolygon: need at least 3 points");
+  if (polySignedArea(pts) < 0) pts.reverse();                     // work in CCW
+  if (!isSimplePolygon(pts)) throw new Error("offsetPolygon: input polygon self-intersects");
+  if (delta === 0) return pts;
+
+  // Each edge i (pts[i] → pts[i+1]): unit direction and endpoints displaced
+  // along the outward normal (CCW ⇒ outward = (dy, −dx)).
+  const n = pts.length, dir = [], off = [];
+  for (let i = 0; i < n; i++) {
+    const p = pts[i], q = pts[(i + 1) % n];
+    const len = Math.hypot(q[0] - p[0], q[1] - p[1]);
+    const d = [(q[0] - p[0]) / len, (q[1] - p[1]) / len];
+    const mx = d[1] * delta, my = -d[0] * delta;
+    dir.push(d);
+    off.push([[p[0] + mx, p[1] + my], [q[0] + mx, q[1] + my]]);
+  }
+
+  // Join edge (i−1)'s offset to edge i's offset at each original vertex. Also
+  // track each edge's start/end parameter along its own direction: a heavily
+  // over-inset edge can be trimmed from both ends past its own start and still
+  // trace out a simple-looking (but phantom, reflected) loop — isSimplePolygon
+  // only catches crossing segments, not a reversed edge, so that case needs
+  // this separate check below.
+  const out = [];
+  const tStart = new Array(n), tEnd = new Array(n);
+  const paramOf = (i, p) => (p[0] - off[i][0][0]) * dir[i][0] + (p[1] - off[i][0][1]) * dir[i][1];
+  const join = (prev, i, point) => {
+    out.push(point);
+    tEnd[prev] = paramOf(prev, point);
+    tStart[i] = paramOf(i, point);
+  };
+  for (let i = 0; i < n; i++) {
+    const prev = (i + n - 1) % n, V = pts[i];
+    const endPrev = off[prev][1], startNext = off[i][0];
+    const cross = dir[prev][0] * dir[i][1] - dir[prev][1] * dir[i][0];
+
+    if (Math.abs(cross) < OFFSET_EPS) { join(prev, i, endPrev); continue; }   // straight vertex
+
+    if (cross * delta < 0) {                                             // offset edges cross → trim
+      const m = lineIntersect(off[prev][0], dir[prev], off[i][0], dir[i]);
+      join(prev, i, m ?? endPrev);
+      continue;
+    }
+
+    // Offset edges diverge → fill the wedge per style.
+    if (corners === "sharp") {
+      const m = lineIntersect(off[prev][0], dir[prev], off[i][0], dir[i]);
+      if (m && Math.hypot(m[0] - V[0], m[1] - V[1]) <= 2 * Math.abs(delta)) { join(prev, i, m); continue; }
+      out.push(endPrev, startNext);                                      // past the miter limit → chamfer
+      tEnd[prev] = paramOf(prev, endPrev); tStart[i] = paramOf(i, startNext);
+    } else if (corners === "chamfer") {
+      out.push(endPrev, startNext);
+      tEnd[prev] = paramOf(prev, endPrev); tStart[i] = paramOf(i, startNext);
+    } else {                                                             // round: short arc about V
+      tEnd[prev] = paramOf(prev, endPrev); tStart[i] = paramOf(i, startNext);
+      const a0 = Math.atan2(endPrev[1] - V[1], endPrev[0] - V[0]);
+      let dA = Math.atan2(startNext[1] - V[1], startNext[0] - V[0]) - a0;
+      while (dA <= -Math.PI) dA += 2 * Math.PI;
+      while (dA > Math.PI) dA -= 2 * Math.PI;
+      const r = Math.abs(delta);
+      for (let s = 0; s <= segs; s++) {
+        const a = a0 + (dA * s) / segs;
+        out.push([V[0] + r * Math.cos(a), V[1] + r * Math.sin(a)]);
+      }
+    }
+  }
+
+  for (let i = 0; i < n; i++)
+    if (tEnd[i] < tStart[i] - OFFSET_EPS) throw new Error("offsetPolygon: offset collapses the polygon");
+
+  const cleaned = dedupePoints(out);
+  if (cleaned.length < 3 || polySignedArea(cleaned) <= OFFSET_EPS)
+    throw new Error("offsetPolygon: offset collapses the polygon");
+  if (!isSimplePolygon(cleaned))
+    throw new Error("offsetPolygon: offset result self-intersects (reduce |delta| or simplify the profile)");
+  return cleaned;
+}

package/src/framework/tokens.css

@@ -3,16 +3,16 @@
    consumers (e.g. partforge-cloud's app chrome) to share one source of truth. */
 :root {
   color-scheme: dark;
-  --pf-bg: #15181d; --pf-surface: #1f242c; --pf-surface-2: #20262e; --pf-border: #2c333d;
-  --pf-text: #d6dbe2; --pf-text-strong: #e7ebf1; --pf-text-2: #cdd4dd;
-  --pf-muted: #7d8794; --pf-muted-2: #aab2bd; --pf-status: #8b94a0; --pf-hint: #6b7480;
-  --pf-accent: #3f7bf0; --pf-accent-soft: #26314a; --pf-on-accent: #fff; --pf-input-bg: #161a20; --pf-err: #f8746c;
+  --pf-bg: oklch(0.19 0.01 262); --pf-surface: oklch(0.23 0.011 262); --pf-surface-2: oklch(0.274 0.006 286.033); --pf-border: oklch(1 0 0 / 12%);
+  --pf-text: oklch(0.985 0 0); --pf-text-strong: oklch(1 0 0); --pf-text-2: oklch(0.92 0.004 286.32);
+  --pf-muted: oklch(0.705 0.015 286.067); --pf-muted-2: oklch(0.80 0.01 286); --pf-status: oklch(0.705 0.015 286.067); --pf-hint: oklch(0.552 0.016 285.938);
+  --pf-accent: #3f7bf0; --pf-accent-soft: #26314a; --pf-on-accent: #fff; --pf-input-bg: oklch(0.165 0.009 262); --pf-err: oklch(0.704 0.191 22.216);
   --pf-mono: ui-monospace, "SF Mono", SFMono-Regular, "JetBrains Mono", "Cascadia Code", Menlo, Consolas, monospace;
 }
 :root[data-theme="light"] {
   color-scheme: light;
-  --pf-bg: #eef1f5; --pf-surface: #ffffff; --pf-surface-2: #f4f6f9; --pf-border: #d4dae2;
-  --pf-text: #2b333d; --pf-text-strong: #1a2129; --pf-text-2: #3a434e;
-  --pf-muted: #6b7480; --pf-muted-2: #59636f; --pf-status: #6b7480; --pf-hint: #8a93a0;
-  --pf-accent: #1f5bd6; --pf-accent-soft: #e6edfc; --pf-on-accent: #fff; --pf-input-bg: #ffffff; --pf-err: #d8453d;
+  --pf-bg: oklch(1 0 0); --pf-surface: oklch(1 0 0); --pf-surface-2: oklch(0.967 0.001 286.375); --pf-border: oklch(0.92 0.004 286.32);
+  --pf-text: oklch(0.141 0.005 285.823); --pf-text-strong: oklch(0.10 0.005 285.823); --pf-text-2: oklch(0.21 0.006 285.885);
+  --pf-muted: oklch(0.552 0.016 285.938); --pf-muted-2: oklch(0.44 0.015 285.9); --pf-status: oklch(0.552 0.016 285.938); --pf-hint: oklch(0.705 0.015 286.067);
+  --pf-accent: #1f5bd6; --pf-accent-soft: #e6edfc; --pf-on-accent: #fff; --pf-input-bg: #ffffff; --pf-err: oklch(0.577 0.245 27.325);
 }

package/src/parts/planter.js

@@ -9,6 +9,8 @@
 // pens, the drainage hole is a real functional choice (planter vs. cup), and dropping
 // Wall below the fdm-pla 1.2 mm minimum trips partforge's min-wall warning.
 
+import { offsetPolygon } from "partforge/geometry";
+
 // A regular n-gon of circumradius R, in the XY plane, as [[x,y],…] for k.prism.
 // A small rotation seats a flat edge toward the viewer so even-sided shapes read right.
 const ngon = (R, n) => {
@@ -69,14 +71,18 @@ export default {
   // build needs, sized so the wall stays even (see build()).
   derive: (p) => {
     const Rout = p.dia / 2;
-    // Offset the inner polygon inward by `wall` along the FACE normals, not the radius:
-    // for a regular n-gon an edge offset of `wall` shrinks the circumradius by
-    // wall / cos(π/n). This keeps the perpendicular wall = `wall` on every flat.
-    // clamp only matters if wall is set past the slider bounds via the API
-    const Rin = Math.max(Rout - p.wall / Math.cos(Math.PI / p.facets), 1);
+    // Inset the outer polygon inward by `wall` along the FACE normals via
+    // offsetPolygon (sharp corners keep the n-gon exact — see the closed-form
+    // pin in test/offset-polygon.test.js). Cap the wall so the inset can never
+    // collapse below circumradius 1 — same clamp as the old closed form (only
+    // matters if wall is set past the slider bounds via the API).
+    const wall = Math.min(p.wall, (Rout - 1) * Math.cos(Math.PI / p.facets));
+    const outerPts = ngon(Rout, p.facets);
+    const innerPts = offsetPolygon(outerPts, -wall, { corners: "sharp" });
+    const Rin = Math.hypot(innerPts[0][0], innerPts[0][1]);   // read back from the geometry
     return {
-      outerPts: ngon(Rout, p.facets),
-      innerPts: ngon(Rin, p.facets),
+      outerPts,
+      innerPts,
       // Inner taper that holds the wall constant top-to-bottom even as the body flares:
       // pick it so inner_radius(top) = outer_radius(top) − wall.
       innerTaper: 1 + (Rout * (p.taper - 1)) / Rin,