@metamesh/modeling 0.9.0 → 0.11.0

package/THIRD_PARTY_NOTICES.md

@@ -1,153 +1,9 @@
 # Third-party notices
 
-`dist/geometry-module.js` includes source from the packages listed below. The private
-`dist/engine/kernel/` contains exact Manifold 3.5.4 JS/WASM bytes, verified by SHA-256 during the
-build. Its complete Apache-2.0 license is distributed at `dist/engine/kernel/LICENSE`.
-
-## Manifold 3.5.4 (Apache-2.0)
+Modeling redistributes the Manifold kernel loader and WASM under Apache-2.0.
+The complete upstream license is included at `dist/engine/kernel/LICENSE`; the build verifies
+these files against the pinned upstream package.
 
 Source: https://github.com/elalish/manifold
 
-The package incorporates only the kernel loader and WASM, with their license. Upstream CLI,
-glTF utilities, examples, and their dependencies are excluded.
-
-## polygon-clipping 0.15.7 (MIT)
-
-Copyright (c) 2018 Mike Fogel <mike@fogel.ca> - covers everything not specially attributed to
-others below.
-
-Copyright (c) 2016 Alexander Milevski <info@w8r.name> - covers all portions originally part of
-github:w8r/martinez, from which this project was forked on February 2, 2018.
-
-Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
-associated documentation files (the "Software"), to deal in the Software without restriction,
-including without limitation the rights to use, copy, modify, merge, publish, distribute,
-sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all copies or
-substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
-NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
-NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
-DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
-OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-
-## splaytree 3.1.2 (MIT)
-
-Copyright (c) 2019 Alexander Milevski <info@w8r.name>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
-associated documentation files (the "Software"), to deal in the Software without restriction,
-including without limitation the rights to use, copy, modify, merge, publish, distribute,
-sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all copies or
-substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
-NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
-NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
-DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
-OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-
-## TypeScript runtime helpers in polygon-clipping 0.15.7 (Apache-2.0)
-
-Copyright (c) Microsoft Corporation. All rights reserved.
-
-Licensed under the Apache License, Version 2.0. A copy of that license is included in `LICENSE`.
-
-## svg-pathdata 9.0.0 (MIT)
-
-Copyright © 2017 Nicolas Froidure
-
-Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
-associated documentation files (the "Software"), to deal in the Software without restriction,
-including without limitation the rights to use, copy, modify, merge, publish, distribute,
-sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all copies or
-substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
-NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
-NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
-DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
-OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-
-## saxes 6.0.0 (ISC)
-
-Copyright (c) Contributors
-
-Permission to use, copy, modify, and/or distribute this software for any purpose with or without
-fee is hereby granted, provided that the above copyright notice and this permission notice appear
-in all copies.
-
-THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS
-SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE
-AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
-WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT,
-NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE
-OF THIS SOFTWARE.
-
-Saxes is forked from sax, which carries the following notice:
-
-Copyright (c) Isaac Z. Schlueter and Contributors
-
-Permission to use, copy, modify, and/or distribute this software for any purpose with or without
-fee is hereby granted, provided that the above copyright notice and this permission notice appear
-in all copies.
-
-THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS
-SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE
-AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
-WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT,
-NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE
-OF THIS SOFTWARE.
-
-## xmlchars 2.2.0 (MIT)
-
-Copyright Louis-Dominique Dubeau and contributors to xmlchars
-
-Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
-associated documentation files (the "Software"), to deal in the Software without restriction,
-including without limitation the rights to use, copy, modify, merge, publish, distribute,
-sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all copies or
-substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
-NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
-NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
-DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
-OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-
-## robust-predicates (Unlicense)
-
-The browser distribution bundled by polygon-clipping 0.15.7 contains robust-predicates code but
-does not identify a more specific embedded version.
-
-This is free and unencumbered software released into the public domain.
-
-Anyone is free to copy, modify, publish, use, compile, sell, or distribute this software, either in
-source code form or as a compiled binary, for any purpose, commercial or non-commercial, and by
-any means.
-
-In jurisdictions that recognize copyright laws, the author or authors of this software dedicate
-any and all copyright interest in the software to the public domain. We make this dedication for
-the benefit of the public at large and to the detriment of our heirs and successors. We intend this
-dedication to be an overt act of relinquishment in perpetuity of all present and future rights to
-this software under copyright law.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
-NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
-NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
-WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
-SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-
-For more information, please refer to <http://unlicense.org/>.
+Other runtime dependencies are installed separately and retain their own licenses.

package/dist/api/engine.d.ts

@@ -1,16 +1,16 @@
 import type { TriangleMesh } from "@metamesh/modeling/geometry";
-import type { BuildOutput, FinalizedModel, GeometryResolution, ModelingContext, ModelingLimits, FinalizedPart, GeometrySamplingLimits } from "@metamesh/modeling";
+import type { FinalizedModel, FinalizedPart, GenerationDiagnostic, GeometryResolution, ModelingLimits, ModelProgram, Vec3 } from "@metamesh/modeling";
 /** Default host resource ceilings for parts, vertices, triangles, and transferable bytes. */
 declare const defaultModelingLimits: Readonly<ModelingLimits>;
 
 
 /** Execution settings supplied by the host, independently of generator metadata. */
-export interface BuildOptions {
+export interface GenerationOptions {
     /** Optional bounded intersection and nested-shell checks; defaults to indexed topology validation. */
     readonly meshValidation?: "topology" | "solid";
     /** Per-build limits, no larger than the configured engine ceilings. */
     readonly limits?: Partial<ModelingLimits>;
-    /** Physical sampling defaults; model-derived contexts and exact counts override these. */
+    /** Physical sampling defaults; operation options and exact counts override these. */
     readonly resolution?: GeometryResolution;
     /** Optional bounded planar cleanup; unsupported candidates preserve the original part. */
     readonly meshTopologyMode?: "original" | "optimized";
@@ -21,11 +21,90 @@ export interface BuildOptions {
 export interface ModelEngine {
     /** Immutable resource ceilings selected when this engine was initialized. */
     readonly limits: ModelingLimits;
-    /** Runs once, finalizes copied parts, and disposes all native values on every exit. */
-    build(build: (model: ModelingContext) => BuildOutput, options?: BuildOptions): FinalizedModel;
+    /** Creates isolated caches; prepared service capabilities remain fixed for its lifetime. */
+    createSession<P, S>(program: ModelProgram<P, S>, ...options: keyof S extends never ? [options?: SessionOptions<S>] : [options: SessionOptions<S> & {
+        readonly services: S;
+    }]): ModelSession<P>;
     /** Serializes already finalized mesh parts; never prepares or builds a generator again. */
     export3mf(parts: readonly ExportMeshPart[], options?: Export3mfOptions): Promise<ArrayBuffer>;
 }
+/** Fixed generation policy and deterministic host capabilities for one model session. */
+export interface SessionOptions<S = Record<never, never>> extends GenerationOptions {
+    /** Host-owned synchronous capabilities, required when declared by the program. The original
+     * environment is retained; its behavior and assets must remain deterministic and fixed for
+     * this session. Equivalent function wrappers do not constitute an asset revision.
+     */
+    readonly services?: S;
+    /** Enables reuse; defaults to true. Set false for uncached output equivalence checks. */
+    readonly cache?: boolean;
+    /** Development-only cache-hit probe: reruns pure callbacks and compares bounded data/recipes.
+     * Unsupported closures or large results fail explicitly; this cannot prove arbitrary JavaScript.
+     */
+    readonly verifyCache?: boolean;
+}
+/** Validated local geometry resource; accessors return owned buffer copies. */
+export interface GeometryResource extends TriangleMesh {
+    /** Session-scoped immutable resource identity, stable while geometry is reused. */
+    readonly id: string;
+    /** Immutable resource revision; a new resource receives a new identity. */
+    readonly revision: number;
+    /** Facts for the exact local manufacturing buffers. */
+    readonly measurements: FinalizedPart["measurements"];
+}
+/** A world-space manufacturing part plus its reusable local renderer resource. */
+export interface SnapshotPart extends FinalizedPart {
+    /** Validated geometry in local coordinates, independent of placement and appearance. */
+    readonly geometry: GeometryResource;
+    /** XYZ translation in millimetres after rotation. */
+    readonly position: Vec3;
+    /** Fixed global X, then Y, then Z rotation in degrees. */
+    readonly rotation: Vec3;
+}
+/** Captured immutable revision; disposal never changes another snapshot or an in-flight export. */
+export interface ModelSnapshot extends FinalizedModel {
+    /** Ordered world-space parts, each referring to reusable local geometry. */
+    readonly parts: readonly SnapshotPart[];
+    /** Nonblocking diagnostics emitted for this revision. */
+    readonly diagnostics: readonly GenerationDiagnostic[];
+    /** Known dependency graph; outer reads remain conservative model-wide dependencies. */
+    readonly dependencies: ModelDependencies;
+    /** Releases this snapshot's references; idempotent, further access is invalid. */
+    dispose(): void;
+}
+/** Known dependencies for inspection; plain JavaScript bindings do not reveal their parameter origin. */
+export interface ModelDependencies {
+    /** Parameter keys read outside computed callbacks, affecting structure or ordinary code. */
+    readonly modelParameters: readonly string[];
+    /** Direct dependencies recorded by successfully evaluated computations. */
+    readonly computations: readonly {
+        /** Session-local computation identity. */
+        readonly id: string;
+        /** Direct top-level parameter reads. */
+        readonly parameters: readonly string[];
+        /** Direct computed-reader dependencies. */
+        readonly computations: readonly string[];
+    }[];
+    /** Part reader roots and known transitive parameter dependencies. */
+    readonly parts: readonly {
+        /** Stable semantic output part identity. */
+        readonly id: string;
+        /** Computed readers supplied as geometry or placement roots. */
+        readonly computations: readonly string[];
+        /** Known transitive parameter dependencies through these roots. */
+        readonly parameters: readonly string[];
+    }[];
+}
+/** Stateful execution owner; a failed revision cannot change previously returned snapshots. */
+export interface ModelSession<P> {
+    /** Generates an atomic manufacturing snapshot or throws; parameters are copied and frozen. */
+    run(params: Readonly<P>): ModelSnapshot;
+    /** Runs declaration and reached assertions without realizing returned parts. */
+    validate(params: Readonly<P>): readonly GenerationDiagnostic[];
+    /** Clears optional caches without invalidating captured snapshots. */
+    clearCache(): void;
+    /** Releases session ownership; idempotent, captured snapshots remain usable. */
+    dispose(): void;
+}
 /**
  * Manufacturing buffers accepted by the snapshot exporter.
  */
@@ -59,17 +138,35 @@ export { defaultModelingLimits };
 /** URL of the package's pinned WASM asset; browser bundlers may replace it with their emitted URL. */
 export declare const modelingWasmUrl: string;
 
+/**
+ * Runs declaration and immediate assertions without initializing a kernel or finalizing parts.
+ * Geometry observations require an initialized session's `validate` method instead.
+ */
+export declare function validateModel<P, S>(program: ModelProgram<P, S>, params: Readonly<P>, ...settings: keyof S extends never ? [options?: SessionOptions<S>] : [options: SessionOptions<S> & {
+    readonly services: S;
+}]): readonly GenerationDiagnostic[];
 /**
  * Initializes one host kernel and returns a lifecycle-safe engine. No generator initializes WASM.
  *
  * @example Build a box in a host application
  * ```ts
- * import { box } from "@metamesh/modeling";
+ * import { box, generate } from "@metamesh/modeling";
  * import { createModelEngine } from "@metamesh/modeling/engine";
  *
  * const engine = await createModelEngine();
- * const snapshot = engine.build(() => box({ size: [30, 20, 8] }));
+ * const model = generate<Record<never, never>>(({ part }) => [part("body", box({ size: [30, 20, 8] }))]);
+ * const session = engine.createSession(model);
+ * try {
+ *   const snapshot = session.run({});
+ *   try {
+ *     await engine.export3mf(snapshot.parts);
+ *   } finally {
+ *     snapshot.dispose();
+ *   }
+ * } finally {
+ *   session.dispose();
+ * }
  * ```
  */
 export declare function createModelEngine(options?: ModelEngineOptions): Promise<ModelEngine>;
-export type { BuildOutput, FinalizedModel, FinalizedPart, ModelingContext, ModelingLimits, GeometryResolution, GeometrySamplingLimits, };
+export type { ModelingLimits };

package/dist/api/geometry.d.ts

@@ -436,6 +436,39 @@ export declare interface ArcCurve3 {
   */
  export declare function computeTriangleMeshCentroid(mesh: TriangleMesh): Vec3;
 
+ /** One explicitly closed planar contour, independent of editor metadata and parameter contracts. */
+ export declare interface ContourCurve {
+     /** Initial anchor; coordinates may be any finite value. */
+     readonly start: ContourPoint;
+     /** Ordered chain of 2–32 segments; the final end must exactly match start. */
+     readonly segments: readonly ContourSegment[];
+ }
+
+ /** Planar X and upward Y in millimetres, or in units converted by sampling scales. */
+ export declare interface ContourPoint {
+     /** Horizontal coordinate; physical scaling does not center the contour. */
+     readonly x: number;
+     /** Upward planar coordinate. */
+     readonly y: number;
+ }
+
+ /** Straight or cubic Bézier segment in one closed planar contour. */
+ export declare type ContourSegment = {
+     /** Straight segment discriminator. */
+     readonly type: "line";
+     /** Next anchor; the final anchor repeats the curve start. */
+     readonly end: ContourPoint;
+ } | {
+     /** Cubic Bézier segment discriminator. */
+     readonly type: "cubic";
+     /** Outgoing control from the previous anchor. */
+     readonly control1: ContourPoint;
+     /** Incoming control at the next anchor. */
+     readonly control2: ContourPoint;
+     /** Next anchor; the final anchor repeats the curve start. */
+     readonly end: ContourPoint;
+ };
+
  /** One sampled component retaining contour identities and logical point correspondence. */
  export declare interface CorrespondingComponent {
      /** Stable canonical lowercase identity; unique within the containing topology or output. */
@@ -520,39 +553,6 @@ export declare interface ArcCurve3 {
     */
    export declare const cross3: (a: Vec3, b: Vec3) => Vec3;
 
-   /** One explicitly closed planar contour, independent of editor metadata and parameter contracts. */
-   export declare interface CrossSectionCurve {
-       /** Initial anchor; coordinates may be any finite value. */
-       readonly start: CrossSectionPoint;
-       /** Ordered chain of 2–32 segments; the final end must exactly match start. */
-       readonly segments: readonly CrossSectionSegment[];
-   }
-
-   /** Planar X and upward Y in millimetres, or in units converted by sampling scales. */
-   export declare interface CrossSectionPoint {
-       /** Horizontal coordinate; physical scaling does not center the contour. */
-       readonly x: number;
-       /** Upward planar coordinate. */
-       readonly y: number;
-   }
-
-   /** Straight or cubic Bézier segment in one closed planar contour. */
-   export declare type CrossSectionSegment = {
-       /** Straight segment discriminator. */
-       readonly type: "line";
-       /** Next anchor; the final anchor repeats the curve start. */
-       readonly end: CrossSectionPoint;
-   } | {
-       /** Cubic Bézier segment discriminator. */
-       readonly type: "cubic";
-       /** Outgoing control from the previous anchor. */
-       readonly control1: CrossSectionPoint;
-       /** Incoming control at the next anchor. */
-       readonly control2: CrossSectionPoint;
-       /** Next anchor; the final anchor repeats the curve start. */
-       readonly end: CrossSectionPoint;
-   };
-
    /** Planar cubic Bézier with explicit endpoint and control coordinates. */
    export declare interface CubicBezierCurve2 {
        /** Selects a cubic Bézier through two endpoints and two controls. */
@@ -1226,7 +1226,19 @@ export declare interface ArcCurve3 {
           readonly end: Vec3;
       }
 
-      /** Deterministic ordered edge subdivision or bounded geometric vertex association. */
+      /**
+       * Associates ordered loft contours without inferring component identities or repairing topology.
+       *
+       * - `direct` preserves seams and subdivides edges to a common count without dropping vertices.
+       * - `reindex` applies direct subdivision, then selects the next contour's cyclic phase with the
+       *   least total world-space connection length.
+       * - `fast-distance` preserves supplied seams and minimizes connection length over ordered closed
+       *   vertex associations, repeating vertices for triangular fans.
+       * - `distance` runs the same ordered optimization over every cyclic phase of the next contour.
+       *
+       * Components and holes are paired by their existing order. Use identified profiles when semantic
+       * correspondence must remain authoritative.
+       */
       export declare type LoftCorrespondence = "direct" | "reindex" | "fast-distance" | "distance";
 
       /**
@@ -1475,39 +1487,6 @@ export declare interface ArcCurve3 {
        */
       export declare function normalizeRegion2(region: Region2, tolerance?: GeometryToleranceOptions): Region2;
 
-      /** An open radius/height outline; consumers own closure, mounting geometry, and wall policy. */
-      export declare interface OpenProfileCurve {
-          /** Initial radius/height anchor. */
-          readonly start: OpenProfilePoint;
-          /** Ordered chain of 1–31 straight or cubic segments. */
-          readonly segments: readonly OpenProfileSegment[];
-      }
-
-      /** Radius and upward height in millimetres, or in units converted by sampling scales. */
-      export declare interface OpenProfilePoint {
-          /** Nonnegative distance from the revolution axis. */
-          readonly radius: number;
-          /** Upward axial coordinate; anchors progress strictly upward. */
-          readonly height: number;
-      }
-
-      /** One straight or cubic segment of an open, upward-progressing radius/height outline. */
-      export declare type OpenProfileSegment = {
-          /** Straight segment discriminator. */
-          readonly type: "line";
-          /** Next strictly higher anchor. */
-          readonly end: OpenProfilePoint;
-      } | {
-          /** Cubic Bézier segment discriminator. */
-          readonly type: "cubic";
-          /** Outgoing control, with height between the start and second control. */
-          readonly control1: OpenProfilePoint;
-          /** Incoming control, with height between the first control and end. */
-          readonly control2: OpenProfilePoint;
-          /** Next strictly higher anchor. */
-          readonly end: OpenProfilePoint;
-      };
-
       /**
        * Improves pathological planar triangulation with bounded legal diagonal flips.
        *
@@ -2243,7 +2222,7 @@ export declare interface ArcCurve3 {
                *
                * @example
                * ```ts
-               * const section = sampleCrossSection({
+               * const section = sampleContour({
                *   start: { x: 0, y: 0 },
                *   segments: [
                *     { type: "line", end: { x: 1, y: 0 } },
@@ -2253,10 +2232,10 @@ export declare interface ArcCurve3 {
                * }, { widthScale: 20, heightScale: 12 });
                * ```
                */
-           export declare function sampleCrossSection(curve: CrossSectionCurve, options?: SampleCrossSectionOptions): Loop2;
+           export declare function sampleContour(curve: ContourCurve, options?: SampleContourOptions): Loop2;
 
            /** Physical scaling, subdivision policy, and output ceilings for one closed contour. */
-           export declare interface SampleCrossSectionOptions {
+           export declare interface SampleContourOptions {
                /** Positive horizontal scale; normalized inputs span this width envelope. Defaults to 1. */
                readonly widthScale?: number;
                /** Positive vertical scale; normalized inputs span this height envelope. Defaults to 1. */
@@ -2365,6 +2344,16 @@ export declare interface ArcCurve3 {
             */
            export declare function sampleInternalCylindricalGearSpaceOutline(spec: CylindricalGearSpec, options?: CylindricalGearOutlineOptions): Loop2;
 
+           /**
+            * Samples the open top boundary of a finite rack in its XY pitch plane.
+            *
+            * X follows rack travel, Y is tooth height, and the pitch line is `Y = 0`.
+            * The path begins and ends on the root line, omits duplicate adjacent points,
+            * and leaves base thickness, mounting features, extrusion, and helical sweep to
+            * the owning generator.
+            */
+           export declare function sampleRackToothPath(spec: RackPitchSpec, limits?: Partial<GeometrySamplingLimits>): Path2;
+
            /**
             * Samples 1–31 line/cubic segments into a deeply immutable open [radius,height] polyline.
             * Anchors must progress strictly upward; nonnegative-radius cubic controls must have ordered
@@ -2380,16 +2369,16 @@ export declare interface ArcCurve3 {
                 *
                 * @example
                 * ```ts
-                * const side = sampleOpenProfile({
+                * const side = sampleSideProfile({
                 *   start: { radius: 0.5, height: 0 },
                 *   segments: [{ type: "line", end: { radius: 1, height: 1 } }],
                 * }, { radiusScale: 12, heightScale: 30 });
                 * ```
                 */
-            export declare function sampleOpenProfile(curve: OpenProfileCurve, options?: SampleOpenProfileOptions): readonly Vec2[];
+            export declare function sampleSideProfile(curve: SideProfileCurve, options?: SampleSideProfileOptions): readonly Vec2[];
 
             /** Physical scaling and bounded adaptive subdivision for an open profile. */
-            export declare interface SampleOpenProfileOptions {
+            export declare interface SampleSideProfileOptions {
                 /** Positive radius scale; use the desired maximum radius for normalized coordinates. Defaults to 1. */
                 readonly radiusScale?: number;
                 /** Positive height scale; use the desired total height for normalized coordinates. Defaults to 1. */
@@ -2402,16 +2391,6 @@ export declare interface ArcCurve3 {
                 readonly limits?: Partial<GeometrySamplingLimits>;
             }
 
-            /**
-             * Samples the open top boundary of a finite rack in its XY pitch plane.
-             *
-             * X follows rack travel, Y is tooth height, and the pitch line is `Y = 0`.
-             * The path begins and ends on the root line, omits duplicate adjacent points,
-             * and leaves base thickness, mounting features, extrusion, and helical sweep to
-             * the owning generator.
-             */
-            export declare function sampleRackToothPath(spec: RackPitchSpec, limits?: Partial<GeometrySamplingLimits>): Path2;
-
             /**
              * Samples a prepared text layout without shaping text again or loading a font.
              *
@@ -2449,6 +2428,39 @@ export declare interface ArcCurve3 {
              */
             export declare function scaleTransform3(factors: Vec3): Transform3;
 
+            /** An open radius/height outline; consumers own closure, mounting geometry, and wall policy. */
+            export declare interface SideProfileCurve {
+                /** Initial radius/height anchor. */
+                readonly start: SideProfilePoint;
+                /** Ordered chain of 1–31 straight or cubic segments. */
+                readonly segments: readonly SideProfileSegment[];
+            }
+
+            /** Radius and upward height in millimetres, or in units converted by sampling scales. */
+            export declare interface SideProfilePoint {
+                /** Nonnegative distance from the revolution axis. */
+                readonly radius: number;
+                /** Upward axial coordinate; anchors progress strictly upward. */
+                readonly height: number;
+            }
+
+            /** One straight or cubic segment of an open, upward-progressing radius/height outline. */
+            export declare type SideProfileSegment = {
+                /** Straight segment discriminator. */
+                readonly type: "line";
+                /** Next strictly higher anchor. */
+                readonly end: SideProfilePoint;
+            } | {
+                /** Cubic Bézier segment discriminator. */
+                readonly type: "cubic";
+                /** Outgoing control, with height between the start and second control. */
+                readonly control1: SideProfilePoint;
+                /** Incoming control, with height between the first control and end. */
+                readonly control2: SideProfilePoint;
+                /** Next strictly higher anchor. */
+                readonly end: SideProfilePoint;
+            };
+
             /** Returns the signed area of a non-duplicated loop; positive means CCW. */
             export declare function signedAreaLoop2(loop: Loop2): number;