@metamesh/modeling 0.0.0-stage → 0.6.0

package/CHANGELOG.md

@@ -0,0 +1,105 @@
+# @metamesh/modeling
+
+## 0.6.0
+
+### Minor Changes
+
+- Introduce standalone imported modeling operations with opaque handles, pure `/geometry`, host
+  `/engine`, and optional `/text` entry points. The shared executor owns Manifold initialization,
+  automatic resource checks, manufacturing finalization, captured-snapshot 3MF export, and cleanup.
+- Unify rectangle construction and radius/diameter options. Primitive sections retain landmarks
+  for ordered station-based lofts; optional correspondence, distribution, refinement, and slice
+  controls support explicit geometric association alongside identified profiles.
+- Add named shape anchors, selected box-edge treatments, independent cylinder ends, and bounded
+  straight convex extrusion-end finishing. Circular rounding, unequal chamfers, smooth transitions,
+  and custom local treatment profiles share one contract with explicit fit and sampling checks.
+- Add sweep frame policies and twist progression, grid/path patterns, and count/spacing/length
+  line patterns. Physical sampling and exact counts respect selected allocation and work limits;
+  exact primitive facets remain intact when profile families use different sampling counts.
+
+## 0.5.2
+
+### Patch Changes
+
+- 02a1692: Keep validation errors visible when aggregate issues exceed the reporting limit, reject generated
+  part array accessors and inherited entries, and reject region islands that touch or cross a hole
+  boundary. Correct bevel and miter stroke joins, including SVG import and miter-limit fallback.
+
+  Reject asynchronous results from synchronous WASM ownership scopes and consume later native
+  Promise rejections during cleanup. Prevent nonfinite Float32 loft/revolve meshes, overflowing
+  derived tolerances, and invalid anchor normalization. Validate finite legacy path and helix
+  sampling before returning invalid geometry or allocating unrepresentable arrays. Preserve path
+  distribution and helix sampling for large finite dimensions without intermediate arithmetic
+  overflow.
+
+## 0.5.1
+
+### Patch Changes
+
+- Allow multiple saved curve-resolution parameters per definition so hosts can show their authored
+  labels together while Generators own each setting's curve and part mapping.
+
+  Handle floating-point turns consistently when triangulating densely sampled straight cap edges,
+  preserving matched-profile correspondence at finer curve resolutions.
+
+## 0.5.0
+
+### Minor Changes
+
+- 0dc29c2: Add the portable numeric `curve-resolution` parameter role for model-owned physical curve
+  tolerance, with strict millimetre units, positive bounds, and one role per definition. Require
+  runtime 1.3.0 or later for packages declaring the role. Geometry and
+  Testkit follow the coordinated fixed Preview package release.
+- 0dc29c2: Add a portable, versioned `profile` parameter for guided side outlines with line/cubic segments,
+  anchor editing modes, physical-dimension bindings, strict bounds, and deeply immutable defaults,
+  presets, and runtime values. Profile-capable packages require runtime 1.3.0 or later while retaining
+  package format 1.
+
+  Add Geometry's `sampleOpenProfile` operation to adaptively sample open radius/height curves with
+  physical scaling, chord-error limits, and explicit complexity failures. Expose it through the
+  compiled and Studio authoring APIs so profile parameters use the same geometry in preview and export.
+
+## 0.4.0
+
+### Minor Changes
+
+- ad3bb49: Strengthen generator geometry with correct concave sweep caps, bounded region aggregation,
+  consistent finite input checks, protected copied-mesh scope exits, and shared primitive/extrusion
+  sampling. Add scoped hull, Minkowski sum, projection, slicing, and region revolution.
+
+  Compiled `MeshPart` now exposes `{ id, positions, indices, color? }`, directly compatible with SDK
+  `GeneratedPart`. Pass explicit `{ degrees }` or `{ radians }` to `rotationTransform3`, and rounded
+  rectangle sampling options as `{ segmentsPerCorner }` or `{ resolution }`.
+
+  Add `definePreparedGeneratorModule` for bounded, one-use validation/generation preparation while
+  preserving the five format-1 module exports. Authored `/v1` keeps its existing signatures and shares
+  the pure validation and sampling implementation with compiled modeling.
+
+## 0.3.0
+
+### Minor Changes
+
+- e87357e: Add direct catalog-font text geometry and matching metrics through prepared synchronous font
+  scopes. Share vector layout with SVG outlining, use natural font line spacing by default, and
+  make whitespace measurable. Nonzero tracking disables optional ligatures to match browser text.
+  Compiled Generators can receive font services during validation as well as generation; packages
+  declaring font parameters require runtime 1.2.0. Text geometry requires an exact font selection;
+  host text services expose shared vector layout. Browser editing uses prepared vector measurements.
+  Compiled module calls require explicit execution services for validation and generation.
+
+  Use the shared transform functions for both 2D sections and 3D solids. Reuse core-validated immutable
+  loops, polygons, and regions when winding and tolerance policies match, avoiding repeated topology
+  validation without changing tessellation or accepting unvalidated caller geometry.
+
+## 0.2.0
+
+### Minor Changes
+
+- 8b4e918: Add immutable font selections, font parameters and prepared text services, the optional Geometry
+  text engine, and reproducible font test services.
+
+## 0.1.0
+
+### Minor Changes
+
+- Initial public Preview release of the Geometry root, Manifold, 3MF, and V1 entry points.

package/LICENSE

@@ -0,0 +1,200 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice.
+
+   Copyright 2026 MetaMesh
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,315 @@
-# Temporary Holding Version
+# `@metamesh/modeling`
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Standalone geometry foundations and a modeling engine for Node applications, browser Workers, and MetaMesh Generators.
+
+> **Preview:** `0.x` minor releases may break compatibility. Patches remain compatible within the same minor line. Stable support requires an explicit `1.0.0` review.
+
+Applications initialize one engine and build models with imported functions. Generator hosts provide that same execution scope; generators do not initialize WASM or dispose native values. No SDK or Testkit is required to use Modeling.
+
+## API discovery and ownership
+
+| Entry point                   | Responsibility                                                                              |
+| ----------------------------- | ------------------------------------------------------------------------------------------- |
+| `@metamesh/modeling`          | Imported modeling functions, opaque handles, output descriptors, and finalized results      |
+| `@metamesh/modeling/geometry` | Pure math, paths, profiles, regions, transforms, meshes, mechanical kernels, and SVG import |
+| `@metamesh/modeling/engine`   | Host initialization, scoped modeling, finalization, resource limits, and snapshot export    |
+| `@metamesh/modeling/text`     | Optional font-byte preparation and synchronous vector layout                                |
+
+These four entrypoints are the complete workspace and published API. Pure helpers cannot import the engine, native kernel, browser APIs, Studio, or Generators. Fontkit and WOFF2 decoding remain optional peers used only by `/text`. Hosts own acquisition, worker lifecycle, and loading. API reports define supported symbols; consumer fixtures verify published use.
+
+## Modeling and lifecycle
+
+Install the package and create an engine in the application:
+
+```bash
+pnpm add @metamesh/modeling
+```
+
+```ts
+import { box, cylinder, subtract } from "@metamesh/modeling";
+import { createModelEngine } from "@metamesh/modeling/engine";
+
+const engine = await createModelEngine();
+const snapshot = engine.build(
+  () => {
+    const body = box({ size: [30, 20, 6] });
+    const bore = cylinder({ height: 8, radius: 3, sizing: "face" });
+    return [{ id: "plate", solid: subtract(body, [bore]), color: "#67e8f9" }];
+  },
+  { resolution: { maxChordError: 0.025 } }
+);
+const bytes = await engine.export3mf(snapshot.parts, { name: "Plate" });
+```
+
+The package includes the pinned Manifold JS/WASM kernel and its license, without Manifold's CLI or glTF dependency tree. Node and unbundled browser modules resolve the installed WASM automatically. Browser bundlers must retain or emit the relative asset and can pass their emitted URL explicitly:
+
+```ts
+import { box } from "@metamesh/modeling";
+import { createModelEngine, modelingWasmUrl } from "@metamesh/modeling/engine";
+
+const engine = await createModelEngine({ locateFile: () => modelingWasmUrl });
+const snapshot = engine.build(() => box({ size: [10, 20, 30] }));
+```
+
+Imported functions and explicitly supplied `ModelingContext` methods execute the same operations. Imports contain no kernel initialization. The host binds the active context through a versioned symbol shared across bundles, then clears it in `finally`. Calls outside `build` throw. Builds are synchronous and cannot nest, including across different engines in one JavaScript realm; asynchronous preparation belongs before `build`. Separate Workers have independent execution scopes. An engine also rejects builds or exports while its asynchronous exporter is busy.
+
+`Solid` and `Section` are opaque immutable handles belonging to one synchronous build. Sections are native filled XY shapes, including holes and disconnected components. `union`, `subtract`, and `intersect` accept either Solid or Section operands and reject mixed dimensions. Offsets and Boolean operations retain native sections; `fromRegion` and `toRegion` are explicit conversion boundaries. Repeated sweeps and loft stations extract each Section once per execution; `toRegion` returns fresh immutable snapshots. Handles cannot cross builds or survive disposal. All native values dispose in reverse construction order from `finally`, including on failure. Installed bundles call host-owned methods, avoiding package-local native class or module identity.
+
+Builds return a bare solid (part ID `model`) or named `{ id, solid, color? }` / `{ id, mesh, color? }` descriptors. IDs are unique lowercase kebab-case strings of at most 64 characters; colors are six-digit hex RGB. Direct meshes are copied and checked for finite, nondegenerate, oriented closed topology and kernel reconstructability without copying them back from the kernel. Native extraction preserves one bounded retry for collapsed Float32 stitches. Descriptors for the same Solid share one extraction, copied manufacturing buffers, and immutable facts. Public `toTriangleMesh` inspection returns independent copies; mutable mesh inputs are captured and validated afresh for every build. Finalized parts retain shared bounds, counts, signed volume, area, and topology facts. Render normals remain outside manufacturing data.
+
+Default limits are 64 parts, 1,000,000 vertices, 2,000,000 triangles, and 96 MiB of unique backing storage. Trusted applications may configure higher or lower ceilings through `createModelEngine({ limits })`. Per-build limits may only lower those configured ceilings, and snapshot export uses them too. Generator hosts own ceilings; generators receive no engine. Predictable allocations preflight safe-integer counts. Algorithm-specific numeric limits remain documented by their operations. Complexity fails explicitly instead of reducing fidelity.
+
+The same `limits` policy includes `maxPathPoints` (100,000), `maxProfilePoints` (100,000),
+`maxSweepProfilePoints` (4,096), and `maxCircularSegments` (512). Pure helpers accept explicit
+limits and use these defaults when omitted. Mesh constructors also accept the selected output
+budgets. Engines supply their configured policy to bound operations; operation limits may lower
+it. Exact samples override physical sampling without raising an allocation ceiling. Excessive
+counts fail before predictable array or mesh-buffer allocation, with required and allowed counts.
+
+SVG, text, strokes and gear outlines also honor these selected sampling ceilings. Separate SVG
+source, XML and recursion bounds, region intersection work limits, and native implicit-field
+work limits remain fixed operation safeguards.
+
+`engine.export3mf` consumes selected finalized buffers without preparation or generation. Its lazy ZIP/XML serializer preserves exact selected vertices, triangle indices, semantic part names, and optional RGB display colors without a native or glTF conversion. Hosts own revisions, appearance overrides, filenames, delivery, and persistence.
+
+## Resolution and conventions
+
+Primitive and pure loop factories share named options. These conventions apply across the applicable operations:
+
+| Concept       | Convention                                                                                                                                                                                                                            |
+| ------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| Units         | Lengths are millimetres; modeling rotations use degrees. Pure transform constructors require explicit `{ degrees }` or `{ radians }`.                                                                                                 |
+| Dimensions    | `rectangle` / `rectangleLoop` take `size: number \| [width, depth]`. `circle` / `circleLoop` and `sphere` take exactly one `radius` or `diameter`. `ellipse` / `ellipseLoop` take exactly one XY `radius` tuple or full `size` tuple. |
+| Cylinders     | +Z height and exactly one `radius` or `diameter`; either a uniform scalar or `[bottom, top]` tuple. One tuple end may be zero for a cone.                                                                                             |
+| Origins       | Shapes are centered by default. `center: false` places the box/rectangle minimum corner or cylinder/tube bottom at zero. Circles, ellipses, spheres and regular polygons remain centered.                                             |
+| Radial sizing | Circle, cylinder and regular polygon `sizing` defaults to `"vertex"`; `"face"` compensates polygon faceting to reach the nominal dimension at faces. Physical clearance is separate from Boolean overtravel.                          |
+| Treatments    | Corners and supported rims share `round` (radius), `chamfer` (distance), `smooth` (tangent setbacks), and `profile` (explicit millimetre points). Offsets use lowercase `join: "round" \| "miter" \| "square"`.                       |
+| Sampling      | Exact local `segments` override physical `resolution`; selected allocation ceilings still apply. Pure circle/ellipse loops use physical defaults when `segments` is omitted.                                                          |
+
+Applicable edges, corners and supported rims share `EdgeTreatment`. `{ kind: "round", radius }`
+uses an actual circular radius; `{ kind: "chamfer", distance }` uses equal setbacks, or
+`distance: [first, second]` for unequal setbacks. `{ kind: "smooth", distance }` uses the same
+setbacks with a cubic transition whose curvature reaches zero at both straight joins.
+Its size is a setback, rather than a circular radius. Round `segments` describes a complete
+circle and must divide by four for rectangle corners; smooth `segments` is an exact cubic
+interval count. Physical cubic sampling uses chord error and segment length.
+
+Rectangles select a uniform treatment or a tuple ordered top-right, top-left, bottom-left,
+bottom-right; the tuple accepts `{ kind: "square" }`. Boxes select a uniform treatment or a map
+of named edges and groups, such as `treatment: { top: { kind: "round", radius: 1 }, bottom:
+{ kind: "chamfer", distance: 1 } }`. Groups select the four top/bottom rim edges or `vertical`
+edges; individual names include `"top-front"` and `"front-left"`. Overlapping selections fail.
+Named faces use +Z top, +Y front
+and +X right. Selected edge masks meet by intersection; they do not promise spherical three-edge
+blends. Omitted selection retains the spherical all-edge circular box treatment.
+
+`ends: { bottom, top }` independently finishes cylinder/frustum rims and straight convex
+extrusions. Cylinder rounds account for the actual sloped side's angle. Extrusion finishing
+requires one strictly convex contour without holes, twist, top scaling or divisions. Inward
+parallel offsets preserve its original edge correspondence; disappearing/reversed edges fail.
+Use explicit loft profiles for concave or holed transitions.
+
+Custom `{ kind: "profile", profile }` treatments use exact sampled points from `[positive, 0]`
+to `[0, positive]`, with decreasing first and increasing second coordinates. These are setbacks
+along the two inward surface directions, in millimetres. Cylinder/extrusion ends use cap inset
+first and side setback second. Rectangle corners follow the incoming and outgoing CCW edges.
+For a named box edge, the first coordinate lies on the first named face and the second on the
+second named face. Samples are captured per call, checked for fit and bounded before allocation;
+no analytic curve or outward moulding is inferred. Ordinary curve helpers can prepare the points.
+
+Primitive `placement: { source, target, ... }` maps a named or explicit local anchor onto a world
+anchor, with optional alignment, gap and degree spin. Placement follows local construction,
+including `center`; Section placement must preserve the XY plane.
+
+Rectangle round radii may vary from zero (square corners) through half the smallest dimension
+(a capsule or circle). Saturated tangent endpoints are emitted once. Uniform rectangle chamfers
+and all-edge box rounds/chamfers require positive sizes smaller than half every dimension.
+Selected box treatments must leave positive flat space between opposing setbacks.
+
+Authored box, cylinder/frustum, tube, sphere, torus, rectangle, circle and ellipse handles know
+`center`, `left`, `right`, `back`, `front`, `bottom` and `top` anchors. `left/right` follow −X/+X,
+`back/front` follow −Y/+Y and `bottom/top` follow −Z/+Z. Regular polygons and stars provide `center`.
+These are nominal construction datums: sampling and finishing do not move them; tube cap and torus
+axial centers may lie over an opening. A cone omits the cap anchor at its zero-radius apex.
+`anchor(shape, name)` reads its immutable frame, and `attach(pin, "bottom", anchor(base, "top"))`
+mates opposed directions by default. Affine transforms and patterns carry positions, outward
+normals and roll tangents with the shape, including nonuniform scaling and reflection.
+
+`withAnchors(shape, { mount: createAnchor3(position, direction, up) })` returns a new same-kind handle
+with copied definitions, retaining existing names unless replaced. Each shape supports at most 128
+lowercase kebab-case names of at most 64 characters. Looking up an absent name reports the available
+names. Shape lookup requires the exact active build; the returned `Anchor3` is copied plain data.
+Boolean and other geometry construction results require deliberate definitions rather than
+inheriting anchors that may no longer describe their surfaces. Custom rigid frames remain useful;
+pure `boxAnchor3` and `cylinderAnchor3` calculate dimension-based frames without a native shape.
+
+`GeometryResolution` defaults to 0.05 mm maximum chord error and 16–512 segments per complete circle. Precedence is exact local segments, operation resolution, context-derived resolution, then engine defaults. `model.withResolution(policy)` and imported `modelingFunctions(policy)` return a local method set for the same build. Destructure those methods to apply the local policy; other imported operations retain the original build policy. There is no global resolution or font state. Exact counts express deliberate faceting or fixed correspondence; adaptive curves retain physical deviation and edge-length constraints.
+
+Revolution `segments` describes a complete circle; partial revolutions scale that count to the
+angular span and round up. Native filled revolutions need at least three intervals: adaptive
+sampling refines to that minimum, while exact counts below it fail explicitly. Pure `revolveMesh`
+supports one interval.
+
+`resamplePolyline2` and `resamplePolyline3` share physical sampling options and return immutable points with directed unit tangents. Open paths retain both endpoints; `closed: true` includes the closing edge and omits a repeated seam vertex. Exact closed counts require at least three segments. `regularPolygonLoop({ radius, sides, rotationDegrees, sizing })` creates a centered CCW point loop with an implicit seam. Shared `RadialSizing` is `"vertex"` by default or `"face"` to compensate polygon faceting so the requested radius reaches the faces; `CylinderOptions` owns that same sizing option.
+
+`normalizeLoop2`, `normalizePolygon2`, and `normalizeRegion2` return immutable geometry and may reuse internally validated results. External objects are validated even when frozen. Mutable mesh buffers are analyzed freshly at external boundaries; engine facts are reused inside their owner.
+
+## Profiles and mechanical construction
+
+`sampleOpenProfile` samples upward radius/height line and cubic chains. Consumers own closure and product constraints. Point factories such as `circleLoop` and `rectangleLoop` return ordered loops; `Profile` owns identified components, contours and landmarks, and `CorrespondingProfile` retains their shared sampled slots. `rectangle`, `rectangleLoop` and `rectangleProfile` share `size`, `center` and `treatment` options. Use the root primitive for ordinary modeling; pure loop/profile construction serves custom data and explicit correspondence. Native filled sections do not promise stable vertex ordering.
+
+For a closed planar XYZ path, map the canonical loop with
+`rectangleLoop(options).map(([x, y]) => [x, y, 0] as const)`. Before sampling, cap its
+`limits.maxProfilePoints` at the smaller selected profile and path point ceilings. This keeps
+path allocation bounded and preserves all corner tangent endpoints and the implicit seam.
+
+`extrude(shape, { height, ... })`, `revolve(shape, options)` and `sweep(shape, path, options)` accept a filled Section or CorrespondingProfile, including holes and disconnected components. Open sweeps have watertight end caps; `closed: true` joins the path back to its beginning. Sweep options share degree twist, positive uniform or XY scale, and an XY scale pair per normalized path station. Closed scales interpolate along the implicit closing edge. A rotational symmetry seam uses `seamProfileOffset`, a counterclockwise logical point advance that reverses for clockwise hole contours; every contour must geometrically match the total twist. Incompatible seams fail explicitly.
+
+Adaptive extrusion sampling bounds the entire side triangles, including the interaction between
+profile edges, twist and unequal top scaling. `resolveExtrusionDivisions(profile, height, options)`
+accepts a `Loop2` or filled `Region2` and measures every outer and hole edge; it is an optional estimate
+using the same policy as construction. Exact `divisions` and deliberate angular counts retain their
+precedence. Tight physical requests reject at selected sampling or output ceilings.
+
+Nonzero sweep twist inserts stations according to `resolution`, including the deviation of side
+triangles across profile edges. A full turn on a two-point path remains a full turn. Original
+path stations retain their scales, twist progression and orientation-guide indices; `twistBy`
+defaults to `"length"`, so angular progression follows physical path travel, including the implicit
+closing edge. Choose `"stations"` for a deliberately authored station schedule. Inserted
+stations interpolate centers, scales and shortest frame rotations. Guides run once per original
+normalized station. Zero twist preserves the supplied path's existing mesh sampling. Explicit
+`resolution.circularSegments` selects deliberate angular faceting; allocation ceilings still
+apply. Adaptive scale changes can require subdivisions independently of angular travel; those
+gaps use the selected full-curve interval ceiling. Refinement checks path and mesh budgets before
+allocating the added station arrays.
+
+Sweep `orientation` is one explicit policy shared by pure, filled, open and closed construction:
+`{ kind: "transport", initialNormal? }` (default), `{ kind: "fixed-normal", normal }`,
+`{ kind: "guide", normal: (point, index) => vector }`, or `{ kind: "frenet" }`. Transport minimizes
+rotation and initially projects +X, then +Y, then +Z when no preference is supplied. A preferred
+normal sets profile X; fixed and guide normals remain directed and project perpendicular to each
+local tangent. Guide signs are preserved. Frenet uses projected neighboring sampled tangent changes
+as curvature normals. Zero curvature and parallel explicit normals reject instead of switching
+policies. For a planar closed path whose profile X should stay vertical, request
+`orientation: { kind: "transport", initialNormal: [0, 0, 1] }`. Closed policies use cyclic tangents
+and the same first frame on their closing gap.
+
+`loft(stations, options)` accepts a `profile` and exactly one horizontal `z` height or explicit
+right-handed `frame` per station. Stations stay in input order. Ordinary primitives keep the
+simple case at the root entry point:
+
+```ts
+import { circle, loft, rectangle } from "@metamesh/modeling";
+
+export function build() {
+  return loft([
+    { profile: circle({ diameter: 20 }), z: 0 },
+    { profile: rectangle({ size: [30, 15], treatment: { kind: "round", radius: 3 } }), z: 40 },
+  ]);
+}
+```
+
+With omitted `correspondence`, compatible rectangle stations, circle/ellipse rings, equal-sided
+regular polygons and equal-pointed stars use their retained authored landmarks. Rectangle corners
+can change among square, round and chamfer treatments, including collapsed or saturated rounds.
+Circle/ellipse and rectangle stations also share those quadrant/corner landmarks: a circular
+inlet becomes a rounded rectangle directly, without an authored saturated-square workaround.
+Exact circular counts for this mixed family must divide by four; other deliberately faceted counts
+need an explicit geometric method. Adaptive counts align upward within the selected ceilings.
+XY affine transforms preserve these identities; this semantic path requires consistent handedness.
+Other unlike retained primitive families use direct perimeter subdivision from their construction-local
++X ray seam. Every physical input vertex remains, including corner tangent endpoints. Retained
+curves use the selected loft resolution under every method, accounting for transform magnification.
+Exact primitive samples preserve deliberate faceting; `refine` can deliberately add collinear density.
+When an exact primitive is paired with a finer member, a shared union of parameter knots retains
+its original polygon and inserts only collinear points on its facets. Adaptive members retain
+physical curve sampling. Circle face sizing uses the actual minimum facet support from the local
+origin, so collapsed slots, unequal quarter counts and collinear refinements preserve nominal clearance.
+
+Boolean, offset and import operations discard primitive identity. Their Sections and plain point
+loops require an explicitly selected correspondence method. This choice associates ordered
+contours by component and hole index; it does not identify arbitrary components or repair changed
+topology. Use identified profiles when those identities matter. Explicitly choosing a method on
+known primitives also runs that geometric method, rather than substituting semantic matching.
+
+| `correspondence`  | Association                                                                                                                             |
+| ----------------- | --------------------------------------------------------------------------------------------------------------------------------------- |
+| `"direct"`        | Preserve each seam and subdivide edges to a common count without dropping vertices.                                                     |
+| `"reindex"`       | Direct subdivision, then choose the next contour's cyclic phase with the least total world-space connection length.                     |
+| `"fast-distance"` | Keep the supplied seams and minimize connection length over ordered closed vertex associations, repeating vertices for triangular fans. |
+| `"distance"`      | The same ordered optimization over every cyclic phase of the next contour.                                                              |
+
+One method applies to every gap; an array supplies one per gap. `distribution` defaults to
+`"perimeter"` for direct/reindex and `"segments"` when any distance method is present. It controls
+where extra subdivisions go; distance methods require segments. `refine` is a positive integer
+multiplier, uniformly or per input profile. `slices` is a nonnegative intermediate-profile count,
+uniformly or per gap. Slices interpolate the corresponding placed world vertices, never frame axes.
+Insertions propagate across a shared grid, so mixed methods retain each middle profile without
+T-junctions. Phase ties keep the earliest phase; ordered optimization prefers diagonal, previous-only,
+then next-only advances. Its objective sums connection lengths with the closing seam counted once.
+No tangent/supporting-plane association is exposed: general concave and spatial stations do not
+provide the convexity contract that such a method needs.
+
+For precise custom correspondence, prepare `matchProfiles` over explicit `Profile` specifications.
+It chooses the maximum physical interval count for each paired span across the family, including
+span-local `resolution`; identified line, arc and cubic kinds may change while IDs, order and
+connected endpoints remain valid. `CorrespondingProfile` landmarks are authoritative, so geometric
+remapping methods are rejected; direct refinement preserves every paired slot. `rectangleProfile`
+is the canonical identified rectangle factory. Changed IDs, winding or filled topology fail.
+Lofting merges coincident world vertices, omits degenerate faces and triangulates hole caps natively.
+
+All loft routes share `LoftOptions`. Pure `loftMesh` requires an explicit method and returns a
+closed simple-loop mesh without an engine. Selected sampling/output budgets apply before expanded
+grids and mesh buffers; fixed aggregate safeguards bound correspondence at eight million comparisons
+and the complete grid at one million logical slots. Simple-loop cap triangulation also has an
+eight-million-comparison work ceiling. Complexity rejects instead of reducing fidelity
+or substituting another method. Pure counterparts also include `sweepMesh`, `extrudeMesh` and `revolveMesh`.
+
+`linearPattern(shape, { count, length })` determines equal intervals from exactly two of `count`,
+signed `spacing`, and signed total `length`; its direction defaults to +X. Length and spacing must
+fit a whole interval count. `gridPattern(shape, { count: [3, 2], spacing: [10, 8] })` supports XY
+or XYZ tuples, optional centering and an explicit frame; X varies fastest. `pathPattern(shape,
+path, { count })` distributes copies by physical arc length, including both endpoints for open
+paths and omitting a repeated closed seam. Its optional `orientation: "tangent"` aligns local +Z
+to the containing segment by the shortest rotation from world +Z (a -Z tangent uses a +X half turn);
+the default preserves source orientation. These placements transform the source's local origin.
+All four pattern families, including `radialPattern`, accept a same-build Solid or an `(index) =>
+Solid` factory for per-copy variation. Factories run once in ascending index order. The 100000-copy
+algorithm ceiling and selected output budgets reject before predictable native copy allocation;
+varying factories are checked cumulatively before each transform. Path input and placement counts
+also obey `maxPathPoints`. Copies use the shared transform and lifetime checks.
+
+Identified `ProfileSpan2` supports lines, arcs, and cubic Béziers with `start`, `control1`, `control2`,
+and `end`. Cubics reuse the curve evaluator and physical subdivision policy, selecting one uniform
+parameter grid for corresponding spans. Fully collapsed spans retain logical slots without moving
+endpoints. Sampled contours and components use `CorrespondingContour` and `CorrespondingComponent`.
+Pass the complete family to `matchProfiles` with optional `limits.maxProfilePoints`; its default is
+100,000 points per profile, while a separate one-million-slot family work bound remains in force.
+
+`heightfieldMesh` and the modeling `heightfield` create a closed grid surface with explicit XY size, segment counts, and base Z. Heights are absolute Z values strictly above the base. Allocation is checked before sampling, and the height callback runs once per grid point.
+
+Pure mechanical modules own thread profiles, sampling, printable fit, meshes, and allocation-free `preflightThreadedRod`, `preflightInternalThreadCutter`, and `preflightThreadedNut`. Engine methods own native construction. `pitch` is adjacent axial spacing; `lead = pitch × starts` is advance per turn. Internal cutters extend beyond requested faces and compensate faceting while preserving end treatments. Printable modeling forms are not certified thread classes or structural ratings.
+
+`implicit` samples a finite positive-inside field within explicit bounds and grid spacing. Grid allocations and field evaluations are bounded. `components` returns same-build handles. `simplify` requires explicit millimetre tolerance and preserves native original-surface cleanup semantics.
+
+## Prepared text and SVG
+
+Preparation shapes text once with the host's exact font service and retains immutable `VectorTextLayout`. Imported `textSection(layout, options)` consumes vector paths directly, without font shaping, fetching, or ambient providers. Paths and metrics use Y-up millimetres and a baseline origin. Empty layouts are measurable but cannot create sections. Font preparation remains optional and outside synchronous builds.
+
+Install `fontkit` to use `prepareVectorFont` from `/text`, and `woff2-encoder` when decoding WOFF2. These optional peers are loaded only when preparing fonts. `sampleTextContours` from `/geometry` and `textSection` share bounded path sampling and need no font dependencies for an already prepared layout.
+
+`svgSection` imports bounded painted SVG documents; `svgPathSection` imports filled path data. Y-down coordinates convert to Y-up; nonzero/even-odd filling preserves counters. Sampling applies after transforms and unit conversion. Basic shapes, groups, affine transforms, physical units, viewBox, fills, and strokes are supported. Text must be outlined. External resources, scripts, clipping, masks, filters, and unsupported content fail contextually. Pure parsers are shared with validation and the vector editor.
+
+## Final triangle topology
+
+`analyzeTriangleMesh` validates and supplies bounds, counts, area, and signed volume in one traversal, with optional edge/component facts. Measurements, bounds, and signatures are independent immutable snapshots; external mutable buffers are inspected freshly on each call. Closed-edge checks require two oppositely wound faces per edge; they do not detect every geometric self-intersection. `createTriangleMeshSignature` adds quantized bounds, volume, topology, and a regression fingerprint, not a cryptographic digest.
+
+The optional `meshTopologyMode: "optimized"` build setting runs bounded planar edge flips for either execution lane. It preserves vertices, boundaries, winding, closure, reconstructability, area, and volume. Models above 200,000 triangles skip optimization; unsupported or failed candidates preserve their original part. Equal shared mesh views reuse one optimized candidate. The selected buffers must still fit all execution ceilings; optimization that would exceed them preserves the original model. This is local connectivity cleanup, not general remeshing. Source buffers never change in place.
+
+## Quality gates
+
+Follow the [workspace instructions](https://github.com/JasonKoolman/metamesh/blob/main/packages/modeling/AGENTS.md#verification) for required checks. Timing and sampled process memory are diagnostics, not deterministic assertions or WASM heap measurements. The [publication contract](https://github.com/JasonKoolman/metamesh/blob/main/docs/continuous-delivery.md#public-library-publication) owns tarballs, clean standalone Node/Worker consumers, and release identity. Installed dependency size and browser bundles are measured separately; ZIP serialization and optional font dependencies load only through their capabilities.
+
+## License
+
+Apache-2.0. Bundled offline artifacts also carry `THIRD_PARTY_NOTICES.md`.