@vcad/mcp 0.9.4-main.36 → 0.9.4-main.39

package/README.md

@@ -6,4 +6,4 @@ vcad's MCP server as a self-contained bundle (server + BRep kernel WASM).
 { "mcpServers": { "vcad": { "command": "npx", "args": ["-y", "@vcad/mcp"] } } }
 ```
 
-Built from 3b9087f300b569c70aa24cebc52af06d15e59187 at 2026-07-26T13:20:01.737Z. Source: https://github.com/ecto/vcad
+Built from 08cd95d4487b522463d0a1a3b58b84935a1f7d08 at 2026-07-26T13:56:33.334Z. Source: https://github.com/ecto/vcad

package/index.mjs

@@ -177,6 +177,7 @@ __export(vcad_kernel_wasm_exports, {
   exprEvaluate: () => exprEvaluate,
   exprParse: () => exprParse,
   feaAnalyzeMesh: () => feaAnalyzeMesh,
+  feaCheckBeam: () => feaCheckBeam,
   generate3mf: () => generate3mf,
   generate3mfWithGcode: () => generate3mfWithGcode,
   generateGcode: () => generateGcode,
@@ -1925,6 +1926,15 @@ function feaAnalyzeMesh(spec_json, options_json, positions, indices) {
   }
   return takeFromExternrefTable0(ret[0]);
 }
+function feaCheckBeam(case_json) {
+  const ptr0 = passStringToWasm0(case_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+  const len0 = WASM_VECTOR_LEN;
+  const ret = wasm.feaCheckBeam(ptr0, len0);
+  if (ret[2]) {
+    throw takeFromExternrefTable0(ret[1]);
+  }
+  return takeFromExternrefTable0(ret[0]);
+}
 function generate3mf(name, vertices, indices, settings_json) {
   const ptr0 = passStringToWasm0(name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
   const len0 = WASM_VECTOR_LEN;
@@ -11526,6 +11536,7 @@ var init_dist = __esm({
           evaluateDocument: wasmModule7.evaluateDocument,
           evalVcadSource: wasmModule7.evalVcadSource,
           evalVcadSourceWithModules: wasmModule7.evalVcadSourceWithModules,
+          evalVcadSourceParametric: wasmModule7.evalVcadSourceParametric,
           documentParameterGradient: wasmModule7.documentParameterGradient,
           getPartsManifest: wasmModule7.getPartsManifest,
           buildPart: wasmModule7.buildPart,
@@ -11559,6 +11570,7 @@ var init_dist = __esm({
           circuitTransient: wasmModule7.circuitTransient,
           circuitTune: wasmModule7.circuitTune,
           feaAnalyzeMesh: wasmModule7.feaAnalyzeMesh,
+          feaCheckBeam: wasmModule7.feaCheckBeam,
           emSimulate: wasmModule7.emSimulate,
           antennaAnalyze: wasmModule7.antennaAnalyze,
           photonicsSimulate: wasmModule7.photonicsSimulate,
@@ -11887,6 +11899,22 @@ var init_dist = __esm({
         }
         return fn(specJson, optionsJson, positions, indices);
       }
+      /**
+       * Closed-form check of a prismatic member: exact section properties,
+       * beam bending with the Timoshenko shear term, Bredt thin-wall (or
+       * Saint-Venant series) torsion, and Euler buckling — the route for
+       * thin-walled sheet-metal and tube-frame members, which no affordable
+       * lattice pitch can resolve. Same fail-closed contract and
+       * `vcad.fea-claims/1` predicted claims as `feaAnalyzeMesh`; see
+       * `vcad-kernel-fea::section`.
+       */
+      feaCheckBeam(caseJson) {
+        const fn = this.kernel.feaCheckBeam;
+        if (typeof fn !== "function") {
+          throw new Error("feaCheckBeam is not exported by this kernel WASM build \u2014 rebuild packages/kernel-wasm");
+        }
+        return fn(caseJson);
+      }
       /**
        * EM field simulation (2D/axisymmetric finite-volume magnetostatics or
        * electrostatics): inductance, force, torque, capacitance extraction and
@@ -12213,6 +12241,22 @@ var init_dist = __esm({
         const json = this.kernel.evalVcadSourceWithModules(source, JSON.stringify(modules));
         return JSON.parse(json);
       }
+      /**
+       * Evaluate loon source, returning the document alongside any parametric
+       * warnings — intent the bridge could *not* preserve, such as a declared
+       * parameter that ends up driving no geometry, or a field whose dependence
+       * on a parameter is not affine and so keeps its literal.
+       *
+       * The document is identical to {@link evalVcadSourceWithModules}; only the
+       * authoring feedback is extra. Returns null on kernels predating the
+       * parametric loon forms, so callers can fall back.
+       */
+      evalVcadSourceParametric(source, modules = {}) {
+        if (!this.kernel.evalVcadSourceParametric)
+          return null;
+        const json = this.kernel.evalVcadSourceParametric(source, Object.keys(modules).length ? JSON.stringify(modules) : void 0);
+        return JSON.parse(json);
+      }
       /** Evaluate a preview extrusion without adding to document */
       evaluateExtrudePreview(origin, xDir, yDir, segments, direction) {
         if (segments.length === 0)
@@ -40946,6 +40990,26 @@ var init_CHANGELOG = __esm({
             "rendering"
           ]
         },
+        {
+          id: "2026-07-26-parametric-loon-datums",
+          version: "0.9.4",
+          date: "2026-07-26",
+          category: "feat",
+          title: "Named parameters, datums and stacks in loon",
+          summary: "Values named with [defparam] survive into the document and are settable with set_parameters; [datum-plane]/[stack] make shared planes and packing clearances named entities instead of repeated literals.",
+          features: [
+            "loon",
+            "parameters",
+            "datums",
+            "assemblies"
+          ],
+          mcpTools: [
+            "create_cad_loon",
+            "list_parameters",
+            "set_parameters",
+            "parameter_gradient"
+          ]
+        },
         {
           id: "2026-07-26-loon-mirror-symmetry",
           version: "0.9.4",
@@ -40984,6 +41048,25 @@ var init_CHANGELOG = __esm({
             "export_cad"
           ]
         },
+        {
+          id: "2026-07-26-fastener-forms",
+          version: "0.9.4",
+          date: "2026-07-26",
+          category: "feat",
+          title: "Fasteners are a first-class form",
+          summary: "bolt, bolt-circle, clearance-hole and tapped-hole: catalog-backed hardware oriented by its own axis, with real countersunk heads, length checks, and BOM lines counted off the geometry.",
+          features: [
+            "loon",
+            "fasteners",
+            "bom",
+            "assembly"
+          ],
+          mcpTools: [
+            "create_cad_loon",
+            "bom_create",
+            "search_mechanical_parts"
+          ]
+        },
         {
           id: "2026-07-26-document-source-provenance",
           version: "0.9.4",
@@ -41003,6 +41086,23 @@ var init_CHANGELOG = __esm({
             "load_document"
           ]
         },
+        {
+          id: "2026-07-26-beam-check-thin-walled-fea",
+          version: "0.9.4",
+          date: "2026-07-26",
+          category: "feat",
+          title: "beam_check: audited structural answer for thin walls",
+          summary: "Sheet-metal and tube-frame members had no audited FEA answer at any resolution; beam_check prices them in closed form (Bredt torsion, beam bending, Euler buckling), and analyze_structure now measures the wall and refuses with the cell arithmetic instead of a bare Unverifiable.",
+          features: [
+            "fea",
+            "sheet-metal",
+            "receipts"
+          ],
+          mcpTools: [
+            "beam_check",
+            "analyze_structure"
+          ]
+        },
         {
           id: "2026-07-26-backwards-extrude-inverted-winding",
           version: "0.9.4",
@@ -48676,9 +48776,45 @@ function createCadLoon(input, engine) {
     return { content: [{ type: "text", text: text2 }] };
   }
   const text = format === "json" ? JSON.stringify(doc, null, 2) : toVCode2(doc);
-  return {
-    content: [{ type: "text", text }]
-  };
+  const content = [{ type: "text", text }];
+  const note = parametricNote(source, modules, engine, doc);
+  if (note) content.push({ type: "text", text: note });
+  return { content };
+}
+function parametricNote(source, modules, engine, doc) {
+  const names = Object.keys(doc.parameters ?? {}).sort();
+  if (!names.length) return null;
+  const lines = [];
+  const value = (n) => doc.parameters[n].value;
+  const bound = new Set(
+    Object.values(doc.bindings ?? {}).flatMap(
+      (expr) => typeof expr === "string" ? expr.match(/[A-Za-z_]\w*/g) ?? [] : []
+    )
+  );
+  const base = names.filter((n) => typeof value(n) === "number");
+  const derived = names.filter((n) => typeof value(n) === "string");
+  if (base.length) {
+    lines.push(
+      `Parameters (${base.length}, settable): ${base.map((n) => bound.has(n) ? n : `${n} (drives nothing)`).join(", ")}`
+    );
+  }
+  if (derived.length) {
+    lines.push(
+      `Derived (${derived.length}, follow from the above): ${derived.map((n) => `${n} = "${value(n)}"`).join(", ")}`
+    );
+  }
+  const datums = Object.keys(doc.datums ?? {}).sort();
+  if (datums.length) lines.push(`Datums (${datums.length}): ${datums.join(", ")}`);
+  if (base.length) {
+    lines.push("Change any settable parameter with set_parameters \u2014 no re-authoring needed.");
+  }
+  let warnings = [];
+  try {
+    warnings = engine.evalVcadSourceParametric(source, modules)?.warnings ?? [];
+  } catch {
+  }
+  for (const w of warnings) lines.push(`- ${w}`);
+  return lines.join("\n");
 }
 var createCadLoonSchema, toolDefs2;
 var init_loon = __esm({
@@ -48740,7 +48876,7 @@ var init_loon = __esm({
       {
         name: "create_cad_loon",
         pack: null,
-        description: 'The preferred authoring tool for whole parts and multi-feature models \u2014 one call, full vocabulary. Create a CAD document from loon source code. Loon is a Lisp-like language for parametric CAD \u2014 the FULL modeling vocabulary (patterns, sketches, extrude/revolve/sweep/loft, assemblies) is available here even where no dedicated MCP tool exists. For incremental single-node edits to an open session, use create/update/delete instead.\n\nPrimitives: [cube x y z], [cylinder r h], [sphere r], [cone r-bottom r-top h], [torus major-r minor-r], [wedge x y z], [prism sides radius height]\nBooleans (subject-last): [difference tool subject], [union other subject], [intersection other subject]\nTransforms (subject-last): [translate x y z s], [rotate rx ry rz s], [scale sx sy sz s], [mirror ox oy oz nx ny nz s] (plane through the origin point with that normal) \u2014 plus the axis sugar [mirror-x s] / [mirror-y s] / [mirror-z s], which mirror through the origin, negating that one coordinate. NEVER hand-mirror by negating coordinates; use these.\nFeatures: [fillet r s], [chamfer d s], [shell t s]\nPatterns (subject-last): [linear-pattern dx dy dz count spacing s], [circular-pattern ox oy oz ax ay az count angle s] \u2014 e.g. a bolt circle is [circular-pattern 0 0 0 0 0 1 6 360 bolt-hole]\nSymmetric patterns (subject-last): [mirror-pattern nx ny nz s] and its sugar [mirror-pattern-x s] / -y / -z union a solid with its mirror image (a left/right pair in one expression, so the halves can\'t drift apart); [quad-pattern s] is the 4-fold X-and-Y version \u2014 a quadruped\'s legs, a 4-post frame, a vehicle chassis\nSketches: [sketch ox oy oz xx xy xz yx yy yz #[segments]] with [line x1 y1 x2 y2] and [arc x1 y1 x2 y2 cx cy ccw]\nSketch ops (sketch-last): [extrude dx dy dz sk], [revolve aox aoy aoz adx ady adz angle sk], [sweep-line sx sy sz ex ey ez sk], [sweep-helix radius pitch height turns sk], [loft #[sk1 sk2 \u2026]], [loft-closed #[sk1 sk2 \u2026]]\nAssemblies: [assembly #[parts] #[instances] #[joints] ground-id] with [part name solid "material"], [instance name part-name x y z], [revolute-joint \u2026], [prismatic-joint \u2026], [fixed-joint \u2026], [ball-joint \u2026]\nAssembly symmetry: author ONE side as an assembly, then [mirror-group-x "-r" side] (or -y / -z) returns it plus a mirrored, suffixed copy \u2014 parts reflected, placements and joint anchors mirrored, and joint axes flipped by the correct rule (a hinge across its own mirror normal keeps its axis; the other two flip), so the same joint state drives both sides symmetrically. Splice it back with [assembly-join chassis mirrored]. NEVER hand-mirror an assembly.\nPipe: [pipe [cube 50 30 5] [difference [cylinder 3 10]] [fillet 1.0]]\nLet bindings: [let body [cube 50 30 5]]\nScene: [root solid "material-name"], with [material name r g b metallic roughness] to define one\nModules: [use bracket] then [bracket.plate] \u2014 multi-file projects work here, with sources passed in `modules` (or read from `base_dir`); [use bracket :as b] aliases, [use bracket [plate]] imports selectively, and `pub` in a module picks what it exports',
+        description: 'The preferred authoring tool for whole parts and multi-feature models \u2014 one call, full vocabulary. Create a CAD document from loon source code. Loon is a Lisp-like language for parametric CAD \u2014 the FULL modeling vocabulary (patterns, sketches, extrude/revolve/sweep/loft, assemblies) is available here even where no dedicated MCP tool exists. For incremental single-node edits to an open session, use create/update/delete instead.\n\nPrimitives: [cube x y z], [cylinder r h], [sphere r], [cone r-bottom r-top h], [torus major-r minor-r], [wedge x y z], [prism sides radius height]\nBooleans (subject-last): [difference tool subject], [union other subject], [intersection other subject]\nTransforms (subject-last): [translate x y z s], [rotate rx ry rz s], [scale sx sy sz s], [mirror ox oy oz nx ny nz s] (plane through the origin point with that normal) \u2014 plus the axis sugar [mirror-x s] / [mirror-y s] / [mirror-z s], which mirror through the origin, negating that one coordinate. NEVER hand-mirror by negating coordinates; use these.\nFeatures: [fillet r s], [chamfer d s], [shell t s]\nPatterns (subject-last): [linear-pattern dx dy dz count spacing s], [circular-pattern ox oy oz ax ay az count angle s] \u2014 e.g. a bolt circle is [circular-pattern 0 0 0 0 0 1 6 360 bolt-hole]\nSymmetric patterns (subject-last): [mirror-pattern nx ny nz s] and its sugar [mirror-pattern-x s] / -y / -z union a solid with its mirror image (a left/right pair in one expression, so the halves can\'t drift apart); [quad-pattern s] is the 4-fold X-and-Y version \u2014 a quadruped\'s legs, a 4-post frame, a vehicle chassis\nSketches: [sketch ox oy oz xx xy xz yx yy yz #[segments]] with [line x1 y1 x2 y2] and [arc x1 y1 x2 y2 cx cy ccw]\nSketch ops (sketch-last): [extrude dx dy dz sk], [revolve aox aoy aoz adx ady adz angle sk], [sweep-line sx sy sz ex ey ez sk], [sweep-helix radius pitch height turns sk], [loft #[sk1 sk2 \u2026]], [loft-closed #[sk1 sk2 \u2026]]\nAssemblies: [assembly #[parts] #[instances] #[joints] ground-id] with [part name solid "material"], [instance name part-name x y z], [revolute-joint \u2026], [prismatic-joint \u2026], [fixed-joint \u2026], [ball-joint \u2026]\nAssembly symmetry: author ONE side as an assembly, then [mirror-group-x "-r" side] (or -y / -z) returns it plus a mirrored, suffixed copy \u2014 parts reflected, placements and joint anchors mirrored, and joint axes flipped by the correct rule (a hinge across its own mirror normal keeps its axis; the other two flip), so the same joint state drives both sides symmetrically. Splice it back with [assembly-join chassis mirrored]. NEVER hand-mirror an assembly.\nPipe: [pipe [cube 50 30 5] [difference [cylinder 3 10]] [fillet 1.0]]\nLet bindings: [let body [cube 50 30 5]] \u2014 note these are inlined and do NOT survive into the document; use [defparam ...] for a value you want to change later\nParameters (survive into the document and are settable afterwards with set_parameters, and differentiable with parameter_gradient): [defparam pitch_axis_x 310.0], [defparam wall "bore * 0.2"] for derived values, plus optional :unit/:min/:max/:description. Names must be identifier-safe (underscores, not dashes)\nDatums \u2014 named reference geometry, so two parts cannot each hold their own copy of a shared plane: [datum-plane "femur_inner" y 131.0], [datum-axis "pitch" x 0 0 310], [datum-point "hip" 0 0 310], read back with [datum "femur_inner"], [datum+ "femur_inner" 3.0] (3 mm outboard), [datum-x/-y/-z "pitch"]\nStacks \u2014 declarative packing, where each running clearance is a named value instead of an arbitrary number: [stack y "leg" 131.0 [lane "femur_inner" 5.0] [gap "idler_run" 1.0] [lane "idler_boss" 3.0]] declares datum planes leg_femur_inner_lo/_hi, leg_idler_boss_lo/_hi and leg_end; widening leg_idler_run slides everything outboard of it\nScene: [root solid "material-name"], with [material name r g b metallic roughness] to define one\nModules: [use bracket] then [bracket.plate] \u2014 multi-file projects work here, with sources passed in `modules` (or read from `base_dir`); [use bracket :as b] aliases, [use bracket [plate]] imports selectively, and `pub` in a module picks what it exports',
         inputSchema: createCadLoonSchema,
         handler: async (args, ctx) => {
           const useLoons = Array.isArray(args.use_loons) ? args.use_loons : void 0;
@@ -53324,6 +53460,7 @@ var init_tool_metadata = __esm({
       solve_thermal: { title: "Solve Thermal", annotations: RO },
       simulate_flow: { title: "Simulate Flow", annotations: RO },
       analyze_structure: { title: "Analyze Structure", annotations: RO },
+      beam_check: { title: "Check Beam / Section", annotations: RO },
       simulate_neutron_shield: {
         title: "Simulate Neutron Shield",
         annotations: RO
@@ -57148,6 +57285,14 @@ function totalsSummary(totals) {
     currency: totals.currency
   };
 }
+function documentHardware(documentId) {
+  try {
+    const doc = documents.get(documentId);
+    return Array.isArray(doc?.hardware) ? doc.hardware : [];
+  } catch {
+    return [];
+  }
+}
 async function bomCreate(input, store, user) {
   const args = input ?? {};
   const owner = ownerId(user);
@@ -57162,7 +57307,23 @@ async function bomCreate(input, store, user) {
     created_at: now,
     updated_at: now
   };
-  const lineInputs = Array.isArray(args.lines) ? args.lines : [];
+  const fromGeometry = args.from_geometry !== false;
+  const geometryLines = [];
+  if (fromGeometry && bom.document_id) {
+    for (const hw of documentHardware(bom.document_id)) {
+      geometryLines.push({
+        kind: "cots",
+        name: hw.spec,
+        catalog_id: hw.catalog_id ?? void 0,
+        qty: hw.qty,
+        notes: "counted from the model geometry"
+      });
+    }
+  }
+  const lineInputs = [
+    ...geometryLines,
+    ...Array.isArray(args.lines) ? args.lines : []
+  ];
   for (let i = 0; i < lineInputs.length; i++) {
     const built = await buildLine(lineInputs[i] ?? {}, store, owner);
     if ("error" in built) return err4(`lines[${i}]: ${built.error}`);
@@ -57338,6 +57499,7 @@ var init_bom = __esm({
     init_pricing();
     init_types4();
     init_mech_parts();
+    init_session_core();
     init_tool_def();
     PRICING_NOTE = "All prices are ESTIMATES (Phase-0 quote estimates, catalog price bands, or caller-supplied numbers) \u2014 not binding quotes.";
     memBoms = /* @__PURE__ */ new Map();
@@ -57403,6 +57565,10 @@ var init_bom = __esm({
           type: "array",
           items: { type: "object", properties: lineProperties, required: ["kind"] },
           description: "Optional full line list to build the BOM in ONE call (recommended on serverless \u2014 BOMs are in-memory per instance, so one-shot creation is the robust path)."
+        },
+        from_geometry: {
+          type: "boolean",
+          description: "Seed COTS lines from the hardware the document's geometry declares \u2014 every loon `bolt`/`bolt-circle` (plus its washers and nuts), with quantities already multiplied through patterns. Default true when document_id is given."
         }
       },
       required: []
@@ -57437,7 +57603,7 @@ var init_bom = __esm({
       {
         name: "bom_create",
         pack: "bom",
-        description: "Create a project bill of materials \u2014 the deliverable that collects every manufactured part (PCBs, sheet metal, 3D prints; link quote_manufacturing quotes by quote_id) and COTS part (bearings, shafts, screws, magnets; link search_mechanical_parts entries by catalog_id) in one place. Optionally attach a document_id and assembly notes. Pass the full `lines` array to build the whole BOM in ONE call \u2014 recommended, since BOMs are in-memory per server instance. All prices are estimates and flagged as such.",
+        description: "Create a project bill of materials \u2014 the deliverable that collects every manufactured part (PCBs, sheet metal, 3D prints; link quote_manufacturing quotes by quote_id) and COTS part (bearings, shafts, screws, magnets; link search_mechanical_parts entries by catalog_id) in one place. Optionally attach a document_id and assembly notes. Pass the full `lines` array to build the whole BOM in ONE call \u2014 recommended, since BOMs are in-memory per server instance. When document_id names a resident session, fastener lines are seeded from the geometry itself (every loon `bolt`/`bolt-circle`, quantities multiplied through patterns) \u2014 pass from_geometry:false to opt out. All prices are estimates and flagged as such.",
         inputSchema: bomCreateSchema,
         handler: (a, c) => bomCreate(a, c.fabricateStore, c.user),
         behavior: behavior({})
@@ -57946,6 +58112,18 @@ function listParameters(input) {
   );
   return jsonResult({ count: parameters.length, parameters });
 }
+function referencedNames(doc) {
+  const out = /* @__PURE__ */ new Set();
+  const harvest = (expr) => {
+    if (typeof expr !== "string") return;
+    for (const v of expr.match(/[A-Za-z_]\w*/g) ?? []) out.add(v);
+  };
+  for (const expr of Object.values(doc.bindings ?? {})) harvest(expr);
+  for (const c of doc.constraints ?? []) {
+    for (const v of Object.values(c)) harvest(v);
+  }
+  return out;
+}
 async function setParameters(input, engine) {
   const args = input ?? {};
   const documentId = String(args.document_id ?? "");
@@ -57975,6 +58153,18 @@ async function setParameters(input, engine) {
       `Unknown parameter(s): ${unknown2.join(", ")}. Use list_parameters to see declared names.`
     );
   }
+  const referenced = referencedNames(doc);
+  const noEffect = entries.map(([name]) => name).filter((name) => !referenced.has(name)).map((name) => {
+    const value = doc.parameters[name].value;
+    const inputs = typeof value === "string" ? [...new Set(value.match(/[A-Za-z_]\w*/g) ?? [])].filter(
+      (v) => v in doc.parameters && referenced.has(v)
+    ) : [];
+    return {
+      name,
+      reason: typeof value === "string" ? `derived (${JSON.stringify(value)}) \u2014 no field is bound to it` : "no field is bound to it",
+      ...inputs.length ? { set_instead: inputs } : {}
+    };
+  });
   const changed = [];
   for (const [name, value] of entries) {
     const param = doc.parameters[name];
@@ -57996,6 +58186,7 @@ async function setParameters(input, engine) {
     document_id: documentId,
     updated: changed.length,
     changed,
+    ...noEffect.length ? { no_effect: noEffect } : {},
     ...constraintSolve ? { constraint_solve: constraintSolve } : {}
   });
   result.structuredContent = { changed };
@@ -72230,7 +72421,7 @@ var init_structure = __esm({
       {
         name: "analyze_structure",
         pack: null,
-        description: 'Static structural FEA on a part\'s real geometry with fail-closed mesh-convergence gating: linear-tet fill of the tessellated interior at 2+ refinement levels, linear-elastic solve (PCG), returning max von Mises stress, max displacement, discretization-error estimates, and (with yield_strength_mpa) a safety factor \u2014 plus `vcad.fea-claims/1` and unified-receipt claims. If QoIs disagree across levels the verdict is Unverifiable and NO stress/displacement claim is emitted (raise resolution, or fillet the singular corner it points at). Claims carry basis "predicted" and roll up Provisional until hardware is load-tested. Scope: small-displacement linear elasticity, one isotropic material; no plasticity, buckling, contact, or dynamic loads; boundary is staircase-approximated at the lattice pitch. Use predict_physics for the fast coarse steering loop; use this for the audited answer.',
+        description: 'Static structural FEA on a part\'s real geometry with fail-closed mesh-convergence gating: linear-tet fill of the tessellated interior at 2+ refinement levels, linear-elastic solve (PCG), returning max von Mises stress, max displacement, discretization-error estimates, and (with yield_strength_mpa) a safety factor \u2014 plus `vcad.fea-claims/1` and unified-receipt claims. If QoIs disagree across levels the verdict is Unverifiable and NO stress/displacement claim is emitted (raise resolution, or fillet the singular corner it points at). Claims carry basis "predicted" and roll up Provisional until hardware is load-tested. Scope: small-displacement linear elasticity, one isotropic material; no plasticity, buckling, contact, or dynamic loads; boundary is staircase-approximated at the lattice pitch. THIN-WALLED PARTS (sheet metal, tube frame, plate) are outside this tool: it measures the thinnest load-bearing section and fails closed with the cell arithmetic and a pointer to beam_check, which is the more accurate answer for a prismatic member anyway. Use predict_physics for the fast coarse steering loop; use this for the audited answer on chunky geometry.',
         inputSchema: {
           type: "object",
           required: ["document_id", "part", "loads", "supports"],
@@ -72295,7 +72486,7 @@ var init_structure = __esm({
             },
             resolution: {
               type: "number",
-              description: "Coarse-level lattice cells along the longest bbox axis (default 24). The finest level is resolution * 2^(levels-1), capped at 160 for this tier. Keep >= ~6 cells through the thinnest load-bearing section."
+              description: "Coarse-level lattice cells along the longest bbox axis (default 24). The finest level is resolution * 2^(levels-1), capped at 160 for this tier. Keep >= ~6 cells through the thinnest load-bearing section \u2014 the tool measures the part and refuses below ~4, with the cell arithmetic attached. Raising this is NOT the lever for a thin wall (a 2 mm wall on a 300 mm member needs ~950 cells): use beam_check."
             },
             levels: {
               type: "number",
@@ -72346,6 +72537,89 @@ var init_structure = __esm({
           });
         },
         behavior: behavior({})
+      },
+      {
+        name: "beam_check",
+        pack: null,
+        description: 'Closed-form structural check of a PRISMATIC member \u2014 the audited answer for thin-walled geometry, where the lattice in analyze_structure cannot put enough cells through the wall at any affordable resolution. Give it a profile (rect, rect_tube, round, round_tube, i_beam), a span, an end condition, and a load case; get section properties (A, I_y, I_z, J, section moduli, torsional stiffness), stresses (bending, axial, torsional and transverse shear, von Mises), deflection with the Timoshenko shear term, twist, the Euler buckling load under compression, and a safety factor \u2014 plus `vcad.fea-claims/1` and unified-receipt claims under `structure.beam.*`. Exact integrals where they exist (round, round tube, rectangle bending), the convergent Saint-Venant series for solid-rectangle torsion, Bredt closed thin-wall theory for tube torsion \u2014 every approximation is stated in the returned notes. For a constant cross-section this is not a fallback: it beats a staircased lattice on accuracy and costs microseconds. Fail-closed: too stubby for beam theory (L/depth < 5), too thick-walled for Bredt, deflecting past a tenth of the span, torque on an open section, or buckling before it yields \u2014 any of those makes the verdict Unverifiable and NO QoI is claimed, with the reason naming the route forward. Claims carry basis "predicted" and roll up Provisional until hardware is load-tested. Scope: one uniform section over the whole span, idealized ends, no stress concentrations (holes, welds, corner radii), no local wall buckling, no fatigue. Needs no document \u2014 it is geometry-by-description, so it works before the part exists.',
+        inputSchema: {
+          type: "object",
+          required: ["profile", "length_mm", "end_condition"],
+          properties: {
+            profile: {
+              type: "object",
+              required: ["type"],
+              description: 'Cross-section. The member runs along X and the section lives in (Y, Z): width_mm is the Y extent, height_mm the Z extent. One of: {"type":"rect",width_mm,height_mm}, {"type":"rect_tube",width_mm,height_mm,wall_mm}, {"type":"round",diameter_mm}, {"type":"round_tube",diameter_mm,wall_mm}, {"type":"i_beam",width_mm,height_mm,flange_mm,web_mm}. Tube dimensions are OUTSIDE dimensions.',
+              properties: {
+                type: {
+                  type: "string",
+                  enum: ["rect", "rect_tube", "round", "round_tube", "i_beam"]
+                },
+                width_mm: { type: "number", description: "Y extent, mm." },
+                height_mm: { type: "number", description: "Z extent, mm." },
+                wall_mm: { type: "number", description: "Wall thickness, mm." },
+                diameter_mm: { type: "number", description: "Outside diameter, mm." },
+                flange_mm: { type: "number", description: "Flange thickness, mm." },
+                web_mm: { type: "number", description: "Web thickness, mm." }
+              }
+            },
+            length_mm: {
+              type: "number",
+              description: "Free span between supports, mm."
+            },
+            end_condition: {
+              type: "string",
+              enum: [
+                "cantilever_tip",
+                "cantilever_uniform",
+                "simple_center",
+                "simple_uniform",
+                "fixed_fixed_center",
+                "fixed_fixed_uniform"
+              ],
+              description: "Support and load arrangement. `*_uniform` spreads the transverse force over the span; `*_center`/`*_tip` concentrates it. Also sets the Euler effective-length factor (cantilever K=2, simple K=1, fixed-fixed K=0.5)."
+            },
+            transverse_force_n: {
+              type: "number",
+              description: "Total transverse force, N (magnitude). Default 0."
+            },
+            bend_axis: {
+              type: "string",
+              enum: ["y", "z"],
+              description: "Which principal axis to bend about: `y` uses I_y and deflects along Z (default), `z` uses I_z and deflects along Y. Matters for any non-square section."
+            },
+            torque_nmm: {
+              type: "number",
+              description: "Torque about the member axis, N\xB7mm (1 N\xB7m = 1000 N\xB7mm). Default 0. This is the case closed-form theory answers best and the lattice answers worst."
+            },
+            axial_force_n: {
+              type: "number",
+              description: "Axial force, N \u2014 positive tension, negative compression. Compression is also checked against Euler buckling, and a member that buckles is reported Unverifiable rather than 'safe'. Default 0."
+            },
+            youngs_modulus_mpa: {
+              type: "number",
+              description: "Young's modulus, MPa. Default 69000 (6061 aluminum); steel ~200000, PLA ~2300."
+            },
+            poisson: {
+              type: "number",
+              description: "Poisson's ratio in [0, 0.5). Default 0.33; sets G = E/(2(1+nu))."
+            },
+            yield_strength_mpa: {
+              type: "number",
+              description: "Yield strength, MPa. When given, safety_factor = yield / von Mises is computed and claimed (applicable checks only)."
+            }
+          }
+        },
+        handler: (args, ctx) => {
+          const a = args;
+          const started = performance.now();
+          const out = ctx.engine.feaCheckBeam(JSON.stringify(a));
+          return textResult7({
+            solve_ms: Math.round(performance.now() - started),
+            ...out
+          });
+        },
+        behavior: behavior({})
       }
     ];
   }
@@ -80049,8 +80323,8 @@ var init_server3 = __esm({
     init_order_feed();
     init_animate();
     PKG_VERSION = (() => {
-      if ("0.9.4-main.36") {
-        return "0.9.4-main.36";
+      if ("0.9.4-main.39") {
+        return "0.9.4-main.39";
       }
       try {
         const req = createRequire2(import.meta.url);
@@ -80059,8 +80333,8 @@ var init_server3 = __esm({
         return "0.0.0";
       }
     })();
-    BUILD_SHA = "3b9087f300b569c70aa24cebc52af06d15e59187";
-    BUILD_TIME = "2026-07-26T13:20:01.737Z";
+    BUILD_SHA = "08cd95d4487b522463d0a1a3b58b84935a1f7d08";
+    BUILD_TIME = "2026-07-26T13:56:33.334Z";
     SHORT_SHA = BUILD_SHA === "unknown" ? "unknown" : BUILD_SHA.slice(0, 7);
     VERSION_WITH_BUILD = SHORT_SHA === "unknown" ? PKG_VERSION : `${PKG_VERSION}+${SHORT_SHA}`;
     INSTANCE_ID = randomUUID6().slice(0, 8);
@@ -80208,6 +80482,7 @@ var init_server3 = __esm({
       "solve_thermal",
       "simulate_flow",
       "analyze_structure",
+      "beam_check",
       "simulate_neutron_shield",
       "simulate_lattice_gauge",
       "analyze_tolerance_stackup",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vcad/mcp",
-  "version": "0.9.4-main.36",
+  "version": "0.9.4-main.39",
   "description": "vcad MCP server — parametric CAD + PCB design tools for AI agents (self-contained: bundled server + kernel WASM)",
   "license": "MIT",
   "type": "module",
@@ -19,7 +19,7 @@
   },
   "homepage": "https://vcad.io",
   "vcadBuild": {
-    "sha": "3b9087f300b569c70aa24cebc52af06d15e59187",
-    "builtAt": "2026-07-26T13:20:01.737Z"
+    "sha": "08cd95d4487b522463d0a1a3b58b84935a1f7d08",
+    "builtAt": "2026-07-26T13:56:33.334Z"
   }
 }