@constructorfleet/sketchforge-engine 1.26.0 → 1.28.0

package/dist/serverCadShell.js

@@ -1,294 +1,45 @@
 /**
  * Hollowing a solid on the server, with a wall of a given thickness.
  *
- * This is the operation a 3D print needs most and the editor has never had: a
- * solid box weighs 8 grams of filament and a 2 mm-walled one weighs two, and a
- * box with its top face left open is a tray. OCCT does it with
- * `BRepOffsetAPI_MakeThickSolid`, which the bundled kernel exposes as `shell`.
+ * This is the operation a 3D print needs most: a solid box weighs 8 grams of
+ * filament and a 2 mm-walled one weighs two, and a box with its top face left
+ * open is a tray. The hollowing itself is `cadShell.ts`, which the editor's
+ * CAD worker shares; this module is the Node side of it.
  *
  * Node-only, and built on the same footing as the fillet endpoint: the shape is
  * rebuilt as true geometry rather than meshed, and the result is stored with
  * its exact BREP alongside the triangles, so a hollowed part still exports to
  * STEP and can still be filleted afterwards.
- *
- * Two things about `shell` are worth knowing before changing any of this, both
- * found by measuring rather than by reading:
- *
- *  - With no faces removed it does not hollow anything. It returns the *inner*
- *    solid -- the original offset inwards by the thickness -- so a sealed
- *    hollow has to be the original cut by that, which is what `hollowedSolid`
- *    does. Asking it to hollow a closed solid directly gives you back a
- *    smaller solid part, which looks plausible and is not what was asked for.
- *  - A thickness that does not fit does not reliably fail. Past half the
- *    part it variously returns an empty compound, a solid that reports
- *    `isValid: false` with a correct bounding box, or the original solid
- *    untouched with every extent and the validity flag intact. Only the volume
- *    tells those apart from a real answer, which is why `hollowedSolid`
- *    measures it rather than trusting the call to throw.
  */
 import { withCadKernel } from "./serverCadKernel.js";
 import { exactPlainSketchRevolveSolid, isPlainFullTurnSketchRevolve, meshedCadResult, orientedSolidForShape, ServerCadError } from "./serverCadOperations.js";
-/**
- * The precision OCCT reconstructs the thick solid at.
- *
- * `1e-6` is the kernel's own recommendation for a precise shell and matches
- * what brepjs uses; the looser `1e-3` survives more inputs but produces
- * different topology, which would make a shelled part disagree with the same
- * part shelled in the editor's worker later.
- */
-const SHELL_TOLERANCE = 1e-6;
-/** How closely a face's normal must line up with an axis to be named for it. */
-const AXIS_TOLERANCE = 1e-3;
-/**
- * Names for the faces a request is likely to want open, by where they point.
- *
- * A caller that knows the geometry can name face indexes from the listing, but
- * nobody wants to list a box's faces to find out which one is the lid. The
- * local frame these resolve in is the one every geometry builder here produces:
- * centred in X and Z, base at Y=0, +Z towards the viewer.
- */
-const FACE_DIRECTIONS = {
-    top: { x: 0, y: 1, z: 0 },
-    bottom: { x: 0, y: -1, z: 0 },
-    right: { x: 1, y: 0, z: 0 },
-    left: { x: -1, y: 0, z: 0 },
-    front: { x: 0, y: 0, z: 1 },
-    back: { x: 0, y: 0, z: -1 },
-};
-export const FACE_DIRECTION_NAMES = Object.keys(FACE_DIRECTIONS);
-/**
- * The normal pointing out of the solid at the middle of a face.
- *
- * Exported because the measurement endpoint needs the same normal to answer
- * "what is the angle between these two faces", and a second copy of this would
- * be free to drift from the one the face listing and the shell request agree on.
- */
-export function faceOutwardNormal(cad, face) {
-    try {
-        const bounds = cad.uvBounds(face);
-        // `surfaceNormal` already accounts for the face's own orientation, so a
-        // reversed face reports the normal pointing out of the solid rather than
-        // the surface's natural one. Verified against a box's six faces and
-        // against the inner faces of a hollow, where the two disagree.
-        const normal = cad.surfaceNormal(face, (bounds.uMin + bounds.uMax) / 2, (bounds.vMin + bounds.vMax) / 2);
-        if (![normal.x, normal.y, normal.z].every(Number.isFinite))
-            return null;
-        return normal;
-    }
-    catch {
-        return null;
-    }
-}
-function axisOf(normal) {
-    if (!normal)
-        return null;
-    for (const name of FACE_DIRECTION_NAMES) {
-        const direction = FACE_DIRECTIONS[name];
-        const dot = normal.x * direction.x + normal.y * direction.y + normal.z * direction.z;
-        if (dot > 1 - AXIS_TOLERANCE)
-            return name;
-    }
-    return null;
-}
-/** How far out along its own direction a face sits, which is what settles a tie. */
-function reachAlong(centroid, direction) {
-    return centroid.x * direction.x + centroid.y * direction.y + centroid.z * direction.z;
-}
+import { CadShellError, describeShellFaces, shellSolid } from "./cadShell.js";
+export { FACE_DIRECTION_NAMES, faceOutwardNormal } from "./cadShell.js";
 function faceSummaries(cad, solid, shape, preferStoredIds = true) {
-    const faces = cad.getSubShapes(solid, "face");
-    const storedIds = preferStoredIds && shape.faceIds?.length === faces.length ? shape.faceIds : undefined;
-    const described = faces.map((handle, index) => {
-        const normal = faceOutwardNormal(cad, handle);
-        let surfaceType = "unknown";
-        try {
-            surfaceType = cad.surfaceType(handle);
-        }
-        catch {
-            // Not every surface reports a type; the area and centroid still do.
-        }
-        const centroid = cad.getSurfaceCenterOfMass(handle);
-        return {
-            index,
-            id: storedIds?.[index] ?? `face_${encodeURIComponent(shape.id)}_${index}`,
-            surfaceType,
-            area: cad.getSurfaceArea(handle),
-            centroid: { x: centroid.x, y: centroid.y, z: centroid.z },
-            normal: normal ? { x: normal.x, y: normal.y, z: normal.z } : null,
-            // A flat face is the only kind a direction name can mean: "the top" of a
-            // sphere is a point on a curved surface, not a lid you can take off.
-            axis: surfaceType === "plane" ? axisOf(normal) : null,
-        };
-    });
-    // Several faces can point the same way -- the lid of a hollow box and the
-    // floor of its cavity both point up -- so a name belongs to the outermost of
-    // them. Without this, opening "top" on an already-hollow part would pick the
-    // cavity floor and quietly produce nonsense.
-    const furthest = new Map();
-    for (const face of described) {
-        if (!face.axis)
-            continue;
-        const reach = reachAlong(face.centroid, FACE_DIRECTIONS[face.axis]);
-        const best = furthest.get(face.axis);
-        if (best === undefined || reach > best)
-            furthest.set(face.axis, reach);
-    }
-    return described.map(({ axis, ...face }) => ({
-        ...face,
-        facing: axis && Math.abs(reachAlong(face.centroid, FACE_DIRECTIONS[axis]) - (furthest.get(axis) ?? 0)) < AXIS_TOLERANCE
-            ? axis
-            : null,
+    const described = describeShellFaces(cad, solid);
+    const storedIds = preferStoredIds && shape.faceIds?.length === described.length ? shape.faceIds : undefined;
+    return described.map((face) => ({
+        index: face.index,
+        id: storedIds?.[face.index] ?? `face_${encodeURIComponent(shape.id)}_${face.index}`,
+        surfaceType: face.surfaceType,
+        area: face.area,
+        centroid: face.centroid,
+        normal: face.normal,
+        facing: face.facing,
     }));
 }
 /** A shape's faces, numbered as a shell request refers to them by index. */
 export function shapeFaces(shape, options = {}) {
     return withCadKernel((cad) => {
         if (options.topology === "exact" && isPlainFullTurnSketchRevolve(shape)) {
-            if (shape.faceColors && Object.keys(shape.faceColors).length > 0) {
-                throw new ServerCadError("Exact revolve face listing is unavailable while legacy face colors are stored.");
-            }
             const exact = exactPlainSketchRevolveSolid(cad, shape.sketchProfile, shape.sketchRevolve, shape);
             return faceSummaries(cad, exact, shape, false);
         }
         return faceSummaries(cad, orientedSolidForShape(cad, shape), shape);
     });
 }
-/**
- * The face indexes a request's `openFaces` names, in listing order.
- *
- * Mixed on purpose: `["top"]` is what a script asking for a tray wants to write,
- * and an index from the listing is the only way to name a face that no direction
- * describes -- one wall of a hexagonal pot, say.
- */
-function resolveOpenFaces(requested, faces) {
-    const chosen = new Set();
-    for (const entry of requested) {
-        if (typeof entry === "number") {
-            if (!Number.isInteger(entry) || entry < 0 || entry >= faces.length) {
-                throw new ServerCadError(`Face indexes must be between 0 and ${faces.length - 1}.`, 400);
-            }
-            chosen.add(entry);
-            continue;
-        }
-        const name = entry.trim().toLowerCase();
-        if (!FACE_DIRECTION_NAMES.includes(name)) {
-            throw new ServerCadError(`"${entry}" is not a face direction. Use one of ${FACE_DIRECTION_NAMES.join(", ")}, or a face index from the face listing.`, 400);
-        }
-        const matched = faces.filter((face) => face.facing === name);
-        if (matched.length === 0) {
-            throw new ServerCadError(`This shape has no flat ${name} face to open. Name a face index from the face listing instead.`, 422);
-        }
-        for (const face of matched)
-            chosen.add(face.index);
-    }
-    return [...chosen].sort((left, right) => left - right);
-}
-/** The single solid inside whatever OCCT handed back, or the shape itself. */
-function soleSolid(cad, result) {
-    const solids = cad.getSubShapes(result, "solid");
-    return solids.length === 1 ? solids[0] : result;
-}
-function volumeOf(cad, shape) {
-    try {
-        const volume = cad.getVolume(shape);
-        return Number.isFinite(volume) ? volume : null;
-    }
-    catch {
-        return null;
-    }
-}
-const TOO_THICK = "That wall thickness is too large for this shape: hollowing it at that thickness leaves no cavity. Try a thinner wall.";
-/**
- * What OCCT refusing outright actually means, as far as it can be told apart.
- *
- * A thickness that merely does not fit does not throw: it comes back as an
- * empty compound, a solid that fails its own validity check, or the original
- * untouched, all of which `hollowedSolid` catches by measuring. A throw is the
- * other failure, and it tracks the *kind of surface* rather than the number.
- *
- * It is not "curved": an analytic sphere, cylinder, cone and torus all offset
- * perfectly well. What fails is a **spline** skin -- OCCT will not offset one
- * inwards at any thickness or at any reconstruction tolerance (checked at 1e-6,
- * 1e-4, 1e-3 and 1e-2). In this app that is an elliptical ball, a loft, and
- * anything built by extruding a profile wire, because those surfaces are
- * splines however round they look.
- */
-const CANNOT_OFFSET = "OCCT could not hollow this shape: its surfaces cannot be offset inwards into a sound solid. A shape whose skin is a spline rather than an analytic surface -- a ball with unequal radii, a loft -- fails this way at any wall thickness, however round it looks.";
 /** What a result OCCT built but cannot write out means, which is nothing good. */
 const UNREADABLE = "The hollowed solid came out of OCCT in a state it cannot read back, so it has not been stored. Try a different wall thickness.";
-/** Whether a handle is a solid OCCT itself will vouch for. */
-function isSoundSolid(cad, shape) {
-    try {
-        return cad.isSolid(shape) && Boolean(cad.isValid(shape));
-    }
-    catch {
-        // An empty compound throws from `isValid` rather than reporting false.
-        return false;
-    }
-}
-/**
- * The hollowed solid, or a refusal.
- *
- * Both paths run through OCCT's thick-solid builder, which answers two
- * different questions depending on whether any face is removed -- see the
- * module note. The checks around it are not belt and braces: every one of them
- * has a real input that reaches it, and the order matters, because it is what
- * separates a wall that does not fit from a shape that cannot be hollowed at
- * all. The inward offset is measured before it is cut away, so a thickness
- * that collapses it is reported as a thickness rather than blamed on the
- * shape's surfaces.
- */
-function hollowedSolid(cad, solid, thickness, openFaces) {
-    const sourceVolume = volumeOf(cad, solid);
-    if (sourceVolume === null || sourceVolume <= 0) {
-        throw new ServerCadError("That shape has no volume to hollow out.");
-    }
-    let hollow;
-    if (openFaces.length > 0) {
-        const faces = cad.getSubShapes(solid, "face");
-        try {
-            hollow = cad.shell(solid, openFaces.map((index) => faces[index]), thickness, SHELL_TOLERANCE);
-        }
-        catch {
-            throw new ServerCadError(CANNOT_OFFSET);
-        }
-    }
-    else {
-        // No face removed: `shell` returns the inward offset solid rather than a
-        // hollow, so the sealed void is the original cut by it.
-        let inner;
-        try {
-            inner = cad.shell(solid, [], thickness, SHELL_TOLERANCE);
-        }
-        catch {
-            throw new ServerCadError(CANNOT_OFFSET);
-        }
-        // The cavity, before it is a cavity. Past half the part this is an empty
-        // compound, and cutting the solid by it throws -- which would otherwise
-        // read as the shape's fault rather than the thickness's.
-        const innerVolume = volumeOf(cad, inner);
-        if (!isSoundSolid(cad, inner) || innerVolume === null || innerVolume <= 0 || innerVolume >= sourceVolume) {
-            throw new ServerCadError(TOO_THICK);
-        }
-        try {
-            hollow = cad.cut(solid, inner);
-        }
-        catch {
-            throw new ServerCadError(CANNOT_OFFSET);
-        }
-    }
-    const result = soleSolid(cad, hollow);
-    if (!isSoundSolid(cad, result))
-        throw new ServerCadError(TOO_THICK);
-    const volume = volumeOf(cad, result);
-    if (volume === null || volume <= 0)
-        throw new ServerCadError(TOO_THICK);
-    // Past the thickness that fits, OCCT hands back the original solid with
-    // every extent and the validity flag intact. Hollowing always removes the
-    // cavity, so a result that weighs what it started at did nothing.
-    if (volume >= sourceVolume * (1 - 1e-6))
-        throw new ServerCadError(TOO_THICK);
-    return result;
-}
 /**
  * Hollow a shape out and return the exact result with a mesh of it.
  *
@@ -301,14 +52,16 @@ export function applyShell(shape, request) {
     }
     return withCadKernel((cad) => {
         const solid = orientedSolidForShape(cad, shape);
-        const faces = faceSummaries(cad, solid, shape);
-        if (faces.length === 0)
-            throw new ServerCadError("That shape has no faces to hollow out.");
-        const openFaces = resolveOpenFaces(request.openFaces ?? [], faces);
-        if (openFaces.length === faces.length) {
-            throw new ServerCadError("Leaving every face open would remove the shape rather than hollow it. Leave at least one face closed.");
+        let hollow;
+        try {
+            hollow = shellSolid(cad, solid, request).solid;
+        }
+        catch (error) {
+            // The same refusal, said the way the REST API says it.
+            if (error instanceof CadShellError)
+                throw new ServerCadError(error.message, error.status);
+            throw error;
         }
-        const hollow = hollowedSolid(cad, solid, request.thickness, openFaces);
         try {
             return meshedCadResult(cad, hollow, shape);
         }

package/dist/serverCadShell.js.map

@@ -1 +1 @@
-{"version":3,"file":"serverCadShell.js","sourceRoot":"","sources":["../src/serverCadShell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,4BAA4B,EAAE,4BAA4B,EAAE,eAAe,EAAE,qBAAqB,EAAE,cAAc,EAAwB,MAAM,0BAA0B,CAAC;AAGpL;;;;;;;GAOG;AACH,MAAM,eAAe,GAAG,IAAI,CAAC;AAE7B,gFAAgF;AAChF,MAAM,cAAc,GAAG,IAAI,CAAC;AAE5B;;;;;;;GAOG;AACH,MAAM,eAAe,GAAG;IACtB,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IACzB,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IAC7B,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IAC3B,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IAC3B,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IAC3B,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;CACY,CAAC;AAI1C,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,IAAI,CAAC,eAAe,CAAoB,CAAC;AA4BpF;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAe,EAAE,IAAiB;IAClE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAClC,wEAAwE;QACxE,yEAAyE;QACzE,oEAAoE;QACpE,+DAA+D;QAC/D,MAAM,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;QACxE,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,MAAmB;IACjC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;QACrF,IAAI,GAAG,GAAG,CAAC,GAAG,cAAc;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oFAAoF;AACpF,SAAS,UAAU,CAAC,QAAc,EAAE,SAAe;IACjD,OAAO,QAAQ,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,aAAa,CAAC,GAAe,EAAE,KAAkB,EAAE,KAAqB,EAAE,eAAe,GAAG,IAAI;IACvG,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,eAAe,IAAI,KAAK,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACxG,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QAC5C,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,WAAW,GAAG,SAAS,CAAC;QAC5B,IAAI,CAAC;YACH,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACxC,CAAC;QAAC,MAAM,CAAC;YACP,oEAAoE;QACtE,CAAC;QACD,MAAM,QAAQ,GAAG,GAAG,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;QACpD,OAAO;YACL,KAAK;YACL,EAAE,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,IAAI,QAAQ,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE;YACzE,WAAW;YACX,IAAI,EAAE,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC;YAChC,QAAQ,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE;YACzD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;YACjE,yEAAyE;YACzE,qEAAqE;YACrE,IAAI,EAAE,WAAW,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;SACtD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,6CAA6C;IAC7C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,SAAS;QACzB,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,GAAG,IAAI;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3C,GAAG,IAAI;QACP,MAAM,EACJ,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,cAAc;YAC7G,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI;KACX,CAAC,CAAC,CAAC;AACN,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,UAAU,CAAC,KAAqB,EAAE,UAAkC,EAAE;IACpF,OAAO,aAAa,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,IAAI,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,IAAI,KAAK,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjE,MAAM,IAAI,cAAc,CAAC,gFAAgF,CAAC,CAAC;YAC7G,CAAC;YACD,MAAM,KAAK,GAAG,4BAA4B,CAAC,GAAG,EAAE,KAAK,CAAC,aAAc,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;YAClG,OAAO,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,aAAa,CAAC,GAAG,EAAE,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,SAAyC,EAAE,KAAsB;IACzF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACnE,MAAM,IAAI,cAAc,CAAC,sCAAsC,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC3F,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACxC,IAAI,CAAE,oBAAiC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,cAAc,CACtB,IAAI,KAAK,yCAAyC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C,EAC3H,GAAG,CACJ,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,cAAc,CACtB,0BAA0B,IAAI,iEAAiE,EAC/F,GAAG,CACJ,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,8EAA8E;AAC9E,SAAS,SAAS,CAAC,GAAe,EAAE,MAAmB;IACrD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAClD,CAAC;AAED,SAAS,QAAQ,CAAC,GAAe,EAAE,KAAkB;IACnD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,SAAS,GACb,uHAAuH,CAAC;AAE1H;;;;;;;;;;;;;;GAcG;AACH,MAAM,aAAa,GACjB,kQAAkQ,CAAC;AAErQ,kFAAkF;AAClF,MAAM,UAAU,GACd,gIAAgI,CAAC;AAEnI,8DAA8D;AAC9D,SAAS,YAAY,CAAC,GAAe,EAAE,KAAkB;IACvD,IAAI,CAAC;QACH,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,uEAAuE;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,aAAa,CAAC,GAAe,EAAE,KAAkB,EAAE,SAAiB,EAAE,SAAmB;IAChG,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,cAAc,CAAC,yCAAyC,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,MAAmB,CAAC;IACxB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,CAAC,KAAK,CAChB,KAAK,EACL,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EACtC,SAAS,EACT,eAAe,CAChB,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,cAAc,CAAC,aAAa,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;SAAM,CAAC;QACN,yEAAyE;QACzE,wDAAwD;QACxD,IAAI,KAAkB,CAAC;QACvB,IAAI,CAAC;YACH,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;QAC3D,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,cAAc,CAAC,aAAa,CAAC,CAAC;QAC1C,CAAC;QACD,yEAAyE;QACzE,wEAAwE;QACxE,yDAAyD;QACzD,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,IAAI,CAAC,IAAI,WAAW,IAAI,YAAY,EAAE,CAAC;YACzG,MAAM,IAAI,cAAc,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,cAAc,CAAC,aAAa,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,SAAS,CAAC,CAAC;IAEpE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,IAAI,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,SAAS,CAAC,CAAC;IACxE,wEAAwE;IACxE,0EAA0E;IAC1E,kEAAkE;IAClE,IAAI,MAAM,IAAI,YAAY,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,SAAS,CAAC,CAAC;IAE7E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAqB,EAAE,OAA8B;IAC9E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC;QAClE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,cAAc,CAAC,+CAA+C,EAAE,GAAG,CAAC,CAAC,CAAC;IAClG,CAAC;IAED,OAAO,aAAa,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,wCAAwC,CAAC,CAAC;QAE3F,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;QACnE,IAAI,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,IAAI,cAAc,CACtB,uGAAuG,CACxG,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACvE,IAAI,CAAC;YACH,OAAO,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC;QAAC,MAAM,CAAC;YACP,sEAAsE;YACtE,uEAAuE;YACvE,sEAAsE;YACtE,MAAM,IAAI,cAAc,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"serverCadShell.js","sourceRoot":"","sources":["../src/serverCadShell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,4BAA4B,EAAE,4BAA4B,EAAE,eAAe,EAAE,qBAAqB,EAAE,cAAc,EAAwB,MAAM,0BAA0B,CAAC;AACpL,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,UAAU,EAAqB,MAAM,eAAe,CAAC;AAGjG,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAsB,MAAM,eAAe,CAAC;AAc5F,SAAS,aAAa,CAAC,GAAe,EAAE,KAAkB,EAAE,KAAqB,EAAE,eAAe,GAAG,IAAI;IACvG,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,eAAe,IAAI,KAAK,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5G,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,EAAE,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE;QACnF,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,UAAU,CAAC,KAAqB,EAAE,OAAO,GAA2B,EAAE;IACpF,OAAO,aAAa,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,IAAI,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,KAAK,GAAG,4BAA4B,CAAC,GAAG,EAAE,KAAK,CAAC,aAAc,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;YAClG,OAAO,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,aAAa,CAAC,GAAG,EAAE,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,GACd,gIAAgI,CAAC;AAEnI;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAqB,EAAE,OAA8B;IAC9E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC;QAClE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,cAAc,CAAC,+CAA+C,EAAE,GAAG,CAAC,CAAC,CAAC;IAClG,CAAC;IAED,OAAO,aAAa,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAChD,IAAI,MAAmB,CAAC;QACxB,IAAI,CAAC;YACH,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC;QACjD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,uDAAuD;YACvD,IAAI,KAAK,YAAY,aAAa;gBAAE,MAAM,IAAI,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1F,MAAM,KAAK,CAAC;QACd,CAAC;QACD,IAAI,CAAC;YACH,OAAO,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC;QAAC,MAAM,CAAC;YACP,sEAAsE;YACtE,uEAAuE;YACvE,sEAAsE;YACtE,MAAM,IAAI,cAAc,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/serverCadThickness.d.ts

@@ -1,12 +1,12 @@
-/** Sampled wall-thickness analysis for exact project solids. Node-only. */
+/**
+ * Sampled wall-thickness analysis for exact project solids. Node-only.
+ *
+ * The sampling lives in `cadAnalysis`, which the editor's CAD worker shares;
+ * this places the stored shape and runs it on the server's kernel.
+ */
+import { type WallThicknessResult } from "./cadAnalysis.js";
 import type { WorkplaneShape } from "./domain/sketchforge.js";
-export type WallThicknessResult = {
-    minimum: number | null;
-    unit: "mm";
-    method: "sampled-opposing-surface-distance";
-    samplesPerFace: number;
-    facesChecked: number;
-};
+export type { WallThicknessResult } from "./cadAnalysis.js";
 /**
  * Return the smallest sampled distance between opposing faces. This is a
  * screening estimate, not a medial-axis or certified minimum-thickness result.

package/dist/serverCadThickness.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"serverCadThickness.d.ts","sourceRoot":"","sources":["../src/serverCadThickness.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAM3E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAK9D,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,IAAI,EAAE,IAAI,CAAC;IACX,MAAM,EAAE,mCAAmC,CAAC;IAC5C,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAeF;;;GAGG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAuBjF"}
+{"version":3,"file":"serverCadThickness.d.ts","sourceRoot":"","sources":["../src/serverCadThickness.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,EAA8C,KAAK,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACxG,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,YAAY,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAE5D;;;GAGG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,mBAAmB,CAAC,CASjF"}

package/dist/serverCadThickness.js

@@ -1,54 +1,27 @@
-/** Sampled wall-thickness analysis for exact project solids. Node-only. */
+/**
+ * Sampled wall-thickness analysis for exact project solids. Node-only.
+ *
+ * The sampling lives in `cadAnalysis`, which the editor's CAD worker shares;
+ * this places the stored shape and runs it on the server's kernel.
+ */
 import { withCadKernel } from "./serverCadKernel.js";
 import { ServerCadError } from "./serverCadOperations.js";
 import { placedSolidForShape } from "./serverShapeBooleans.js";
-const MAX_FACES = 256;
-const GRID = 5;
-function samples(cad, face) {
-    const uv = cad.uvBounds(face);
-    const points = [];
-    for (let i = 0; i < GRID; i += 1)
-        for (let j = 0; j < GRID; j += 1) {
-            const u = uv.uMin + (uv.uMax - uv.uMin) * (i + 0.5) / GRID;
-            const v = uv.vMin + (uv.vMax - uv.vMin) * (j + 0.5) / GRID;
-            if (cad.classifyPointOnFace(face, u, v) !== "out") {
-                points.push({ point: cad.pointOnSurface(face, u, v), normal: cad.surfaceNormal(face, u, v) });
-            }
-        }
-    return points;
-}
+import { sampledWallThickness, WallThicknessRefusal } from "./cadAnalysis.js";
 /**
  * Return the smallest sampled distance between opposing faces. This is a
  * screening estimate, not a medial-axis or certified minimum-thickness result.
  */
 export function wallThickness(shape) {
     return withCadKernel((cad) => {
-        const solid = placedSolidForShape(cad, shape);
-        const faces = cad.getSubShapes(solid, "face");
-        if (!faces.length)
-            throw new ServerCadError("The shape has no faces to analyze.");
-        if (faces.length > MAX_FACES)
-            throw new ServerCadError(`Wall-thickness analysis supports at most ${MAX_FACES} faces.`, 413);
-        const sampled = faces.map((face) => samples(cad, face));
-        let minimum = Infinity;
-        for (let i = 0; i < faces.length; i += 1)
-            for (let j = i + 1; j < faces.length; j += 1) {
-                for (const source of sampled[i]) {
-                    for (const target of sampled[j]) {
-                        const dot = source.normal.x * target.normal.x + source.normal.y * target.normal.y + source.normal.z * target.normal.z;
-                        if (dot > -0.5)
-                            continue;
-                        const uv = cad.uvFromPoint(faces[j], source.point);
-                        if (cad.classifyPointOnFace(faces[j], uv.u, uv.v) === "out")
-                            continue;
-                        const projected = cad.pointOnSurface(faces[j], uv.u, uv.v);
-                        const distance = Math.hypot(source.point.x - projected.x, source.point.y - projected.y, source.point.z - projected.z);
-                        if (distance > 1e-7 && distance < minimum)
-                            minimum = distance;
-                    }
-                }
-            }
-        return { minimum: Number.isFinite(minimum) ? minimum : null, unit: "mm", method: "sampled-opposing-surface-distance", samplesPerFace: GRID * GRID, facesChecked: faces.length };
+        try {
+            return sampledWallThickness(cad, placedSolidForShape(cad, shape));
+        }
+        catch (error) {
+            if (error instanceof WallThicknessRefusal)
+                throw new ServerCadError(error.message, error.reason === "too_many_faces" ? 413 : 422);
+            throw error;
+        }
     });
 }
 //# sourceMappingURL=serverCadThickness.js.map

package/dist/serverCadThickness.js.map

@@ -1 +1 @@
-{"version":3,"file":"serverCadThickness.js","sourceRoot":"","sources":["../src/serverCadThickness.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAG3E,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAG/D,MAAM,SAAS,GAAG,GAAG,CAAC;AACtB,MAAM,IAAI,GAAG,CAAC,CAAC;AAUf,SAAS,OAAO,CAAC,GAAe,EAAE,IAAiB;IACjD,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAyC,EAAE,CAAC;IACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC;QAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;YAC3D,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;YAC3D,IAAI,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;gBAClD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAChG,CAAC;QACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAqB;IACjD,OAAO,aAAa,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,MAAM,IAAI,cAAc,CAAC,oCAAoC,CAAC,CAAC;QAClF,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS;YAAE,MAAM,IAAI,cAAc,CAAC,4CAA4C,SAAS,SAAS,EAAE,GAAG,CAAC,CAAC;QAC5H,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACxD,IAAI,OAAO,GAAG,QAAQ,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC;YAAE,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvF,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,CAAC,CAAE,EAAE,CAAC;oBACjC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,CAAC,CAAE,EAAE,CAAC;wBACjC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;wBACtH,IAAI,GAAG,GAAG,CAAC,GAAG;4BAAE,SAAS;wBACzB,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;wBACpD,IAAI,GAAG,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK;4BAAE,SAAS;wBACvE,MAAM,SAAS,GAAG,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;wBAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;wBACtH,IAAI,QAAQ,GAAG,IAAI,IAAI,QAAQ,GAAG,OAAO;4BAAE,OAAO,GAAG,QAAQ,CAAC;oBAChE,CAAC;gBACH,CAAC;YACH,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,cAAc,EAAE,IAAI,GAAG,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IAClL,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"serverCadThickness.js","sourceRoot":"","sources":["../src/serverCadThickness.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAA4B,MAAM,kBAAkB,CAAC;AAKxG;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAqB;IACjD,OAAO,aAAa,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,IAAI,CAAC;YACH,OAAO,oBAAoB,CAAC,GAAG,EAAE,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACpE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,oBAAoB;gBAAE,MAAM,IAAI,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAClI,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/serverShapeBooleans.d.ts

@@ -54,6 +54,81 @@ export type GroupBuildOutcome = {
  * `generalTransform` because a reflection is not a rigid placement.
  */
 export declare function placedSolidForShape(cad: OcctKernel, shape: WorkplaneShape): ShapeHandle;
+/** Which stored representation supplied the geometry, and whether it is exact. */
+export type ShapeGeometryProvenance = {
+    /** Which stored representation supplied the geometry that was measured. */
+    source: "parametric" | "brep" | "mesh";
+    /** Imported triangle meshes remain tessellated even after sewing into a solid. */
+    precision: "exact" | "tessellated";
+};
+export type PlacedSolid = {
+    solid: ShapeHandle;
+    provenance: ShapeGeometryProvenance;
+};
+/**
+ * The shape as a placed solid, together with the representation it was
+ * actually built from. Reported by the builder rather than guessed from the
+ * shape's fields beforehand, because only building it can tell whether a
+ * stored B-rep passed its check or a group member fell back to its mesh.
+ */
+export declare function placedSolid(cad: OcctKernel, shape: WorkplaneShape): PlacedSolid;
+/**
+ * Whether the shape is a boolean result whose stored B-rep is still the exact
+ * form of the mesh it is drawn with (#541).
+ *
+ * A cut stores two descriptions of one solid: the triangles the viewport
+ * draws, and the B-rep they were tessellated from, both in the result's own
+ * frame -- centred in X and Z, base at Y = 0. While the two agree, the B-rep is
+ * the better answer to "what is this solid", so measurement, interference and
+ * a further boolean read it instead of sewing the triangles back up.
+ *
+ * They stop agreeing when an edit reaches the mesh and not the B-rep. Moving,
+ * turning and mirroring do not: they are placement, applied to both alike. A
+ * resize does, because it stretches the stored triangles and the B-rep keeps
+ * its original size; so does a taper, and so does a frame recorded with a
+ * baked `sourceTransform`, which puts the B-rep somewhere other than the
+ * mesh's frame. A result made from a mesh operand is left out too: its B-rep
+ * was sewn from triangles, so calling it exact would be a claim about
+ * geometry nobody ever had.
+ *
+ * Edge treatments, drafts and shells rewrite the B-rep under their own rules
+ * and stay on the paths they had.
+ */
+export declare function hasCurrentResultBrep(shape: WorkplaneShape): boolean;
+/**
+ * A boolean result's stored B-rep, placed where the shape stands, or null to
+ * use its mesh instead.
+ *
+ * Placed the way the mesh is placed, since the two share a frame: mirrored
+ * exactly about the shape's centre, then moved rigidly, so the cut's
+ * cylinders stay cylinders. A cut's B-rep is in the result's own frame, at the
+ * origin -- what `cadBrepFrame` records for a cut since #548, and what loading
+ * a project corrects an older cut's frame to (`migratePre548CutBrepFrames`) --
+ * so the frame's position is not needed here; `cadBrepTransformForShape` would
+ * give the same placement, only with the mirror folded into an affine scale.
+ * A B-rep stored anywhere else fails the bounds check below and falls back to
+ * the mesh.
+ *
+ * The B-rep is checked against the mesh before it is trusted, because the
+ * structural test cannot see an edit that replaced the triangles and left the
+ * B-rep behind. The triangles' corners lie on the true surfaces, so the two
+ * boxes agree to within the meshing tolerance; a B-rep that misses by more is
+ * describing something else, and the mesh is what is on screen.
+ */
+export declare function placedResultBrepSolid(cad: OcctKernel, shape: WorkplaneShape): ShapeHandle | null;
+/**
+ * A plain revolve's exact solid where it stands, as BREP text, or null for any
+ * other shape: what the STEP exporter writes for a revolve instead of skipping
+ * it as a mesh with no B-rep source (#523).
+ */
+export declare function placedExactRevolveBrep(shape: WorkplaneShape): Promise<string | null>;
+/**
+ * Whether the shape is a group held only as a record of its children.
+ *
+ * Grouping solids with no hole among them stores the children and nothing
+ * else, in the editor and here alike, so there is no mesh or BREP to read.
+ */
+export declare function isGroupRecord(shape: WorkplaneShape): boolean;
 /**
  * A group holding the given shapes, with any hole among them cut out.
  *

package/dist/serverShapeBooleans.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"serverShapeBooleans.d.ts","sourceRoot":"","sources":["../src/serverShapeBooleans.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAezD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,MAAM,MAAM,iBAAiB,GACzB;IACA,KAAK,EAAE,cAAc,CAAC;IACtB;;;;;;;;;;;OAWG;IACH,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B,GACC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAuBtC;;;;;;;;GAQG;AACH;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,GAAG,WAAW,CAiBvF;AAoCD;;;;;;;;;GASG;AACH,wBAAsB,uBAAuB,CAAC,SAAS,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAyErG"}
+{"version":3,"file":"serverShapeBooleans.d.ts","sourceRoot":"","sources":["../src/serverShapeBooleans.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAkBzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,MAAM,MAAM,iBAAiB,GACzB;IACA,KAAK,EAAE,cAAc,CAAC;IACtB;;;;;;;;;;;OAWG;IACH,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B,GACC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAuBtC;;;;;;;;GAQG;AACH;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,GAAG,WAAW,CAEvF;AAED,kFAAkF;AAClF,MAAM,MAAM,uBAAuB,GAAG;IACpC,2EAA2E;IAC3E,MAAM,EAAE,YAAY,GAAG,MAAM,GAAG,MAAM,CAAC;IACvC,kFAAkF;IAClF,SAAS,EAAE,OAAO,GAAG,aAAa,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,UAAU,EAAE,uBAAuB,CAAA;CAAE,CAAC;AAkBtF;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,GAAG,WAAW,CAuB/E;AAkBD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAUnE;AA8CD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,GAAG,WAAW,GAAG,IAAI,CA6BhG;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAGpF;AAQD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,cAAc,WAElD;AAuED;;;;;;;;;GASG;AACH,wBAAsB,uBAAuB,CAAC,SAAS,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC,CA6ErG"}