@metamesh/modeling 0.19.0 → 0.20.0

package/CHANGELOG.md

@@ -1,5 +1,54 @@
 # @metamesh/modeling
 
+## 0.20.0
+
+### Minor Changes
+
+- fe33c89: Give modeling operations, pure geometry values, numerical kernels, and mechanical calculations distinct public entry points. Import fluent values from `/geometry`, tuple and matrix kernels from `/geometry/math`, and mechanical calculations from `/geometry/mechanical`. Remove root geometry factory re-exports and ambient `matchProfiles` and thread-preflight wrappers; pure preparation accepts explicit resolution and limits exposed by the generation context.
+
+  Bounds extrema and pattern/attachment placements return fluent values. Construct anchors with one options object, project fluent vectors onto planes, and multiply raw matrices with `multiplyTransform3(left, right)`. Remove retired exports and update the SDK, CLI, Studio authoring environment, and consumers without compatibility aliases.
+
+- d5dd213: Evaluate deep Solid and Section recipe graphs with an explicit work stack, preserving native cache reuse and session ownership checks without exhausting the JavaScript call stack. Index memo output containment for dependency diagnostics instead of scanning unrelated computations. Separate parameter snapshots and part declarations from the session's memo cache state machine, remove repeated contour measurements and temporary native-coordinate copy views, and clarify allocation ownership. Align private geometry helper names with their Contour and Path representations. Restore the Engine benchmark with deep-recipe and dependency-scaling measurements.
+
+  Resolve region sampling limits once per import batch, including empty regions, and clarify memo transaction and matched-profile mesh flow.
+
+- d5dd213: Add arc-length distance/fraction stations, directed splitting and trimming, corner-preserving subdivision, and physically bounded centripetal spline paths. Unify traversal so exact interior vertices use their outgoing edge, including tangent-oriented patterns; open final endpoints retain their incoming edge. Preserve interpolation endpoints, prevent guided frame flips at bends, and reject resampling that would repeat a closed seam. Separate path distribution and rounding owners without compatibility aliases.
+
+  Preserve authored terminal vertices during endpoint queries, splitting, and trimming when a short edge falls below cumulative arc-length precision.
+
+- 52e4e07: Replace the single hole entry and screw-recess options with independent `holeCutter.openings`.
+  Share round, chamfer, smooth, and sampled profile treatments across supported construction and
+  opening geometry; add tube end finishing and reusable straight-edge/perpendicular-corner cutters.
+  Cutters preserve nominal dimensions, explicit placement, physical sampling, and host-owned limits.
+  Perpendicular round edge and corner cutters share native circular coordinates and refinement,
+  avoiding mismatched boundaries and thin Boolean stitching triangles.
+  Adaptive spheres and uniform spherical box roundovers now budget complete triangle error and edge
+  length instead of only their equatorial curves; explicit faceting overrides remain authoritative.
+- 5654590: Give every public declaration exactly one import path. Shared types remain available from their owning module; consuming entries reference those types without re-exporting them. Import all export writers from `@metamesh/modeling/export`; remove the format subpaths. Import SDK font selections from `/fonts` and Generator presets from the SDK root. Remove alternate import metadata and enforce unique source and published declaration ownership without compatibility aliases.
+- 382d312: Sweep accepts a positional path or transform array: `sweep(profile, route, options?)` or `profile.sweep(route, options?)`. Transform-driven sweeps accept only `closed` and `limits` to connect exactly the supplied affine placements without inferring rotation or refining stations. Loft stations accept exactly one `z` or `transform`; `transform` replaces `frame`.
+
+  Closed path sweeps now derive and verify cyclic seam alignment for every profile boundary. Remove `seamProfileOffset` from callers; incompatible closure still rejects.
+
+  Construct deeply immutable plain coordinate frames with `frame3({ origin, xAxis, yAxis, zAxis })`. `Transform3Input` accepts frames, affine values, and matrices through one conversion pipeline, including explicit sweep placements. Use `transform3(frame)` when affine methods are needed. Frames retain right-handed orthonormal validation, parts retain rigid-only placement, and malformed or non-finite coordinates reject before construction.
+
+- 6455ccf: Support chamfered ends on twisted extrusions, measuring normal-section setbacks on the finished
+  helical walls and preserving corner and hole correspondence. Ordinary extrusions retain their
+  native fast path. Enabled twisted end treatments support chamfers; other treatments and taper
+  with ends remain unsupported.
+
+  Breaking: replace extrusion `scaleTop` with `scale` and `divisions` with positive `slices`, counting
+  longitudinal intervals. Loft `slices` also counts intervals per supplied gap. End treatments add
+  required rings to the extrusion's requested grid. Open sweep scalar and XY `scale` now taper from
+  one to the final scale by path length; station arrays retain explicit scale control. Scale in the
+  profile's local axes before twisting, and refine untwisted sweep deformation by physical resolution.
+
+  Compiled Generators require execution protocol and runtime major 13. Rebuild packages for the new
+  binding; package format 5 is unchanged.
+
+### Patch Changes
+
+- ae34a4f: Build round stroke caps directly into their end segments to prevent clipping seams on thin diagonal lines. Sample each semicircle with the shared arc policy and account for its actual construction vertices in pure, native, and SVG strokes.
+
 ## 0.19.0
 
 ### Minor Changes

package/README.md

@@ -53,19 +53,26 @@ asset and run the engine in a Worker; see the
 
 ## Modeling capabilities
 
-| Area                  | Capabilities                                                                                                                        |
-| --------------------- | ----------------------------------------------------------------------------------------------------------------------------------- |
-| Shapes and sections   | Solid primitives, filled 2D shapes with holes, Booleans, hulls, 2D offsets, splitting, edge treatments, and controlled solid joins. |
-| Sweeps and surfaces   | Extrusion, revolution, sweeps, lofts with explicit profile correspondence, heightfields, and implicit surfaces.                     |
-| Paths and placement   | Immutable vectors, paths, transforms, and bounds; anchors, layout, and linear, radial, grid, and path patterns.                     |
-| SVG and text          | Bounded SVG fills and strokes, prepared font outlines, and vector text layout.                                                      |
-| Mechanical geometry   | Printable threads, knuckle joints, gear profiles, fastener standards, and fit calculations.                                         |
-| Meshes and inspection | Indexed mesh construction and conversion, measurements, spatial queries, topology checks, and bounded preflight.                    |
+| Area                  | Capabilities                                                                                                                                                 |
+| --------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------ |
+| Shapes and sections   | Solid primitives, filled 2D shapes with holes, Booleans, hulls, 2D offsets, splitting, shared edge treatments, reusable cutters, and controlled solid joins. |
+| Sweeps and surfaces   | Extrusion, revolution, sweeps, lofts with explicit profile correspondence, heightfields, and implicit surfaces.                                              |
+| Paths and placement   | Immutable vectors, paths, transforms, and bounds; anchors, layout, and linear, radial, grid, and path patterns.                                              |
+| SVG and text          | Bounded SVG fills and strokes, prepared font outlines, and vector text layout.                                                                               |
+| Mechanical geometry   | Printable threads, knuckle joints, gear profiles, fastener standards, and fit calculations.                                                                  |
+| Meshes and inspection | Indexed mesh construction and conversion, measurements, spatial queries, topology checks, and bounded preflight.                                             |
 
 The [geometry values guide](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/docs/develop/geometry-values.mdx)
 helps you choose a representation. The [recipes](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/docs/develop/geometry-recipes.mdx)
 show how these capabilities fit together.
 
+Finish bodies during construction with `treatment` or `ends`. Use `holeCutter` for a bore or
+blind pocket with independent `openings.top` and `openings.bottom`: round, chamfer, smooth, or
+sampled profile treatments; circular bores also support counterbores and countersinks.
+`edgeCutter` and `cornerCutter` create explicitly placed local cuts. All cutters are ordinary
+Solid recipes for reuse with transforms, patterns, and subtraction. Keep numerical overrun
+separate from physical clearance.
+
 ## Pure triangle meshes
 
 Use `@metamesh/modeling/geometry/mesh` when you want to construct and process triangle buffers
@@ -119,7 +126,7 @@ Results are immutable and remain usable after later runs. Call `session.dispose(
 finished with a session; individual results need no disposal.
 
 Use `part(id, { geometry, transform: transform3().rotate([0, 0, 90]).translate([20, 0, 0]) })`
-for final placement. The transform accepts a fluent value or row-major 16-number matrix, including
+for final placement. The transform accepts a plain `Frame3`, fluent value, or row-major 16-number matrix, including
 pattern and attachment outputs; omission means identity. Only translation and proper rotation are
 allowed. Completed parts expose the copied frozen matrix as `part.transform`.
 
@@ -164,19 +171,28 @@ Result statistics include `buildMs`, `finalizeMs`, and `generateMs`; `generateMs
 buffers once. It doesn't measure local resources, transfer size, or total working memory.
 
 Export `result.parts` as STL, 3MF, or GLB with `@metamesh/modeling/export`. Export needs no engine.
-The [hosting guide](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/docs/engine/hosting.mdx#export-the-completed-result)
+The [hosting guide](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/docs/engine/exporting.mdx)
 covers saving files and choosing a format.
 
 ## API discovery and ownership
 
-| Import                                                                                                                                       | Responsibility                                                                                     |
-| -------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------- |
-| [`@metamesh/modeling`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/model/index.mdx)              | Shapes, fluent values, modeling operations, and generation programs.                               |
-| [`@metamesh/modeling/geometry`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/geometry/index.mdx)  | Pure TypeScript geometry, sampling, numerical helpers, and mesh contracts without a native engine. |
-| [`@metamesh/modeling/geometry/mesh`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/mesh/index.mdx) | Triangle mesh construction, processing, and inspection through direct `mesh.*` imports.            |
-| [`@metamesh/modeling/engine`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/engine/index.mdx)      | Host initialization, execution, and resource limits.                                               |
-| [`@metamesh/modeling/export`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/export/index.mdx)      | STL, 3MF, and GLB export.                                                                          |
-| [`@metamesh/modeling/text`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/text/index.mdx)          | Optional font preparation and reusable vector layouts from supplied bytes.                         |
+Every public type and function has one import path. Import shared types from their owning entry;
+other entries reference those types in signatures without re-exporting them.
+
+Constructor-specific options such as `BoxOptions` live at the root. Shared pattern options such
+as `GridPatternOptions` live in `/geometry`; thread options such as `ThreadedRodOptions` live in
+`/geometry/mechanical`. Shape recipes and pure helpers consume the same shared contracts.
+
+| Import                                                                                                                                                   | Responsibility                                                                                     |
+| -------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------- |
+| [`@metamesh/modeling`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/model/index.mdx)                          | Solid and Section recipes, modeling operations, and generation programs.                           |
+| [`@metamesh/modeling/geometry`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/geometry/index.mdx)              | Immutable values, plain descriptors, profiles, regions, placement, and sampling without an engine. |
+| [`@metamesh/modeling/geometry/math`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/math/index.mdx)             | Tuple arithmetic and affine matrix kernels.                                                        |
+| [`@metamesh/modeling/geometry/mechanical`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/mechanical/index.mdx) | Pure mechanical dimensions, fit policies, standards, and preflight calculations.                   |
+| [`@metamesh/modeling/geometry/mesh`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/mesh/index.mdx)             | Triangle mesh construction, processing, and inspection through direct `mesh.*` imports.            |
+| [`@metamesh/modeling/engine`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/engine/index.mdx)                  | Host initialization, execution, and resource limits.                                               |
+| [`@metamesh/modeling/export`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/export/index.mdx)                  | STL, 3MF, and GLB export.                                                                          |
+| [`@metamesh/modeling/text`](https://github.com/JasonKoolman/metamesh/blob/main/apps/web/content/reference/generated/text/index.mdx)                      | Optional font preparation and reusable vector layouts from supplied bytes.                         |
 
 Font preparation requires the optional `fontkit` peer; add `woff2-encoder` for WOFF2 input. Models
 consume prepared layouts without fetching fonts during generation. Your host owns viewing,

package/dist/api/engine.d.ts

@@ -1,18 +1,129 @@
-import type { ImmutableTriangleMesh } from "@metamesh/modeling/geometry";
 import type {
+  Anchor3,
+  AttachOptions,
+  Bounds2Data,
+  Bounds3,
   Bounds3Data,
-  GenerationDiagnostic,
+  Bounds3Input,
+  ChamferedEdgeTreatment,
+  CircularPrimitiveOptions,
+  Contour,
+  CurveSamplingOptions,
+  EdgeTreatment,
+  ExtrusionSamplingOptions,
+  Frame3,
   GeometryResolution,
+  GeometrySamplingLimits,
+  GeometryToleranceOptions,
+  ImmutableBuffer,
   ModelingLimits,
-  ModelProgram,
+  NumericArray,
+  Path3,
+  Path3Data,
+  Path3Input,
+  PathLocation,
+  PathNormalGuide,
+  PathResamplingOptions,
+  PathStation,
+  PathSubdivisionOptions,
+  Pivot2Options,
+  Pivot3Options,
+  PolygonData,
+  ProfiledEdgeTreatment,
+  RegionData,
+  ResolvedGeometryResolution,
+  RoundedEdgeTreatment,
+  SmoothEdgeTreatment,
+  Transform2,
+  Transform2Data,
+  Transform2Input,
+  Transform3,
   Transform3Data,
-  TriangleMeshTopologyAnalysis,
+  Transform3Input,
+  Vector2,
+  Vector2Data,
+  Vector2Input,
+  Vector3,
+  Vector3Data,
+  Vector3Input,
+} from "@metamesh/modeling/geometry";
+import type {
+  DiagnosticOptions,
+  EndTreatments,
+  ExtrudeOptions,
+  GenerateCallback,
+  GenerateContext,
+  GenerationDiagnostic,
+  ImmutableValue,
+  JoinOptions,
+  JoinTransition,
+  Memo,
+  ModelProgram,
+  PartDeclaration,
+  PartGeometry,
+  PartOptions,
+  PlaneOptions,
+  RevolveOptions,
+  Section,
+  SectionInspection,
+  SectionOffsetJoin,
+  SectionOffsetOptions,
+  Solid,
+  SolidInspection,
+  SolidSegmentHit,
+  SweepOptions,
+  SweepOrientation,
+  SweepTransformOptions,
 } from "@metamesh/modeling";
-/** Default host resource ceilings for parts, vertices, triangles, and transferable bytes. */
-declare const defaultModelingLimits: Readonly<ModelingLimits>;
+import type {
+  ExtrudeMeshOptions,
+  ImmutableTriangleMesh,
+  TriangleMesh,
+  TriangleMeshAnalysis,
+  TriangleMeshMeasurements,
+  TriangleMeshTopologyAnalysis,
+} from "@metamesh/modeling/geometry/mesh";
+
+/**
+ * Runs declaration and immediate assertions without initializing a kernel or finalizing parts.
+ * Returns reached assertion errors and warnings; unexpected execution failures throw.
+ * Returned geometry is not realized or validated.
+ * Geometry observations require an initialized session's `check` method instead.
+ *
+ * @param program - Model declaration to check without evaluating geometry.
+ * @param args - Parameters, then session options; include any required services.
+ */
+export declare function checkModel<P extends object, S>(
+  program: ModelProgram<P, S>,
+  ...args: ModelRunArguments<P, S, SessionOptions<S>>
+): readonly GenerationDiagnostic[];
+
+/**
+ * Initializes one host kernel; runs and sessions own native cleanup.
+ *
+ * @param options - WASM URL and engine resource limits.
+ *
+ * @example Build a box in a host application
+ * ```ts
+ * import { box, generate } from "@metamesh/modeling";
+ * import { createModelEngine } from "@metamesh/modeling/engine";
+ * import { export3mf } from "@metamesh/modeling/export";
+ *
+ * const engine = await createModelEngine();
+ * const model = generate<Record<never, never>>(({ part }) => [part("body", box({ size: [30, 20, 8] }))]);
+ * const result = engine.run(model);
+ * await export3mf(result.parts);
+ * ```
+ */
+export declare function createModelEngine(
+  options?: ModelEngineOptions,
+): Promise<ModelEngine>;
+
+/** Default engine ceilings, shared with predictable pure mesh constructor preflights. */
+export declare const defaultModelingLimits: ModelingLimits;
 
 /** Execution settings supplied by the host, independently of generator metadata. */
-export interface GenerationOptions {
+export declare 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. */
@@ -22,10 +133,45 @@ export interface GenerationOptions {
   /** Optional bounded planar cleanup; unsupported candidates preserve the original part. */
   readonly meshTopologyMode?: "original" | "optimized";
 }
-/**
- * Host engine. No native values or manually disposable handles are exposed.
- */
-export interface ModelEngine {
+
+/** Validated local geometry resource with stable immutable numeric storage. */
+export declare interface GeometryResource extends ImmutableTriangleMesh {
+  /** 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 and indexed topology counts for the exact local manufacturing buffers. */
+  readonly measurements: TriangleMeshTopologyAnalysis;
+}
+
+declare const immutableBufferBrand: unique symbol;
+
+/** Known dependencies for inspection; plain JavaScript bindings do not reveal their parameter origin. */
+export declare interface ModelDependencies {
+  /** Parameter keys read outside memo functions, affecting structure or ordinary code. */
+  readonly modelParameters: readonly string[];
+  /** Direct dependencies recorded by successfully evaluated computations. */
+  readonly computations: readonly {
+    /** Revision-local diagnostic memo identity; it is not a cache key. */
+    readonly id: string;
+    /** Direct top-level parameter reads. */
+    readonly parameters: readonly string[];
+    /** Known object-value dependencies between memo calls; scalar origins are not observable. */
+    readonly computations: readonly string[];
+  }[];
+  /** Known memo origins of part geometry and placement, and their parameter dependencies. */
+  readonly parts: readonly {
+    /** Stable semantic output part identity. */
+    readonly id: string;
+    /** Memo calls known to contribute object values to geometry or placement. */
+    readonly computations: readonly string[];
+    /** Known transitive parameter dependencies through these roots. */
+    readonly parameters: readonly string[];
+  }[];
+}
+
+/** Host engine. No native values or manually disposable handles are exposed. */
+export declare interface ModelEngine {
   /** Immutable resource ceilings selected when this engine was initialized. */
   readonly limits: ModelingLimits;
   /** Runs once with isolated ownership and returns durable immutable data; no disposal is required. */
@@ -45,54 +191,18 @@ export interface ModelEngine {
         ]
   ): ModelSession<P>;
 }
-/** Generation policy and prepared synchronous capabilities for one host execution. */
-export interface ModelRunOptions<
-  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;
-}
-/** Fixed argument positions; infer parameters from the program, allow empty maps to be omitted, and require declared services. */
-export type ModelRunArguments<
-  P extends object,
-  S,
-  Options extends ModelRunOptions<S> = ModelRunOptions<S>,
-> = keyof S extends never
-  ? Record<never, never> extends P
-    ? [parameters?: NoInfer<Readonly<P>>, options?: Options]
-    : [parameters: NoInfer<Readonly<P>>, options?: Options]
-  : [
-      parameters:
-        | NoInfer<Readonly<P>>
-        | (Record<never, never> extends P ? undefined : never),
-      options: Options & {
-        /** Prepared synchronous capabilities required by this program. */
-        readonly services: S;
-      },
-    ];
-/** Fixed generation policy and reusable computation caches for one model session. */
-export interface SessionOptions<
-  S = Record<never, never>,
-> extends ModelRunOptions<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 with stable immutable numeric storage. */
-export interface GeometryResource extends ImmutableTriangleMesh {
-  /** 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 and indexed topology counts for the exact local manufacturing buffers. */
-  readonly measurements: TriangleMeshTopologyAnalysis;
+
+/** Kernel asset initialization. Networking and Worker ownership remain with the host. */
+export declare interface ModelEngineOptions {
+  /** Fixed kernel WASM asset URL; defaults to the package asset. Browser hosts supply their emitted URL. */
+  readonly wasmUrl?: string;
+  /** Trusted application ceilings. Builds may lower them; generators receive no engine. */
+  readonly limits?: Partial<ModelingLimits>;
 }
+
+/** URL of the package's pinned WASM asset; browser bundlers may replace it with their emitted URL. */
+export declare const modelingWasmUrl: string;
+
 /**
  * A world-space manufacturing part plus its reusable local renderer resource.
  * Top-level positions and indices already include transform; do not apply it again.
@@ -100,7 +210,7 @@ export interface GeometryResource extends ImmutableTriangleMesh {
  *
  * Buffer properties are stable immutable values. Use copy() explicitly for mutable storage.
  */
-export interface ModelPart extends ImmutableTriangleMesh {
+export declare interface ModelPart extends ImmutableTriangleMesh {
   /** Stable semantic identity. */
   readonly id: string;
   /** Optional six-digit hexadecimal display color. */
@@ -112,8 +222,9 @@ export interface ModelPart extends ImmutableTriangleMesh {
   /** Immutable rigid local-to-world row-major 4x4 matrix; translation uses millimetres. */
   readonly transform: Transform3Data;
 }
+
 /** Durable immutable generation data, independent of session lifetime. */
-export interface ModelResult {
+export declare interface ModelResult {
   /** Exact axis-aligned world bounds in millimetres. */
   readonly bounds: Bounds3Data;
   /** Aggregate manufacturing facts in millimetres and engine execution timings in milliseconds. */
@@ -144,31 +255,39 @@ export interface ModelResult {
   /** Known dependency graph; outer reads remain conservative model-wide dependencies. */
   readonly dependencies: ModelDependencies;
 }
-/** Known dependencies for inspection; plain JavaScript bindings do not reveal their parameter origin. */
-export interface ModelDependencies {
-  /** Parameter keys read outside memo functions, affecting structure or ordinary code. */
-  readonly modelParameters: readonly string[];
-  /** Direct dependencies recorded by successfully evaluated computations. */
-  readonly computations: readonly {
-    /** Revision-local diagnostic memo identity; it is not a cache key. */
-    readonly id: string;
-    /** Direct top-level parameter reads. */
-    readonly parameters: readonly string[];
-    /** Known object-value dependencies between memo calls; scalar origins are not observable. */
-    readonly computations: readonly string[];
-  }[];
-  /** Known memo origins of part geometry and placement, and their parameter dependencies. */
-  readonly parts: readonly {
-    /** Stable semantic output part identity. */
-    readonly id: string;
-    /** Memo calls known to contribute object values to geometry or placement. */
-    readonly computations: readonly string[];
-    /** Known transitive parameter dependencies through these roots. */
-    readonly parameters: readonly string[];
-  }[];
+
+/** Fixed argument positions; infer parameters from the program, allow empty maps to be omitted, and require declared services. */
+export declare type ModelRunArguments<
+  P extends object,
+  S,
+  Options extends ModelRunOptions<S> = ModelRunOptions<S>,
+> = keyof S extends never
+  ? Record<never, never> extends P
+    ? [parameters?: NoInfer<Readonly<P>>, options?: Options]
+    : [parameters: NoInfer<Readonly<P>>, options?: Options]
+  : [
+      parameters:
+        | NoInfer<Readonly<P>>
+        | (Record<never, never> extends P ? undefined : never),
+      options: Options & {
+        /** Prepared synchronous capabilities required by this program. */
+        readonly services: S;
+      },
+    ];
+
+/** Generation policy and prepared synchronous capabilities for one host execution. */
+export declare interface ModelRunOptions<
+  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;
 }
+
 /** Stateful execution owner; a failed revision cannot change previously returned results. */
-export interface ModelSession<P extends object> {
+export declare interface ModelSession<P extends object> {
   /** Generates durable immutable data or throws; parameters are copied and frozen. Empty parameters may be omitted. */
   run(
     ...args: Record<never, never> extends P
@@ -186,44 +305,21 @@ export interface ModelSession<P extends object> {
   /** Releases session ownership; idempotent, returned results remain usable. */
   dispose(): void;
 }
-/** Kernel asset initialization. Networking and Worker ownership remain with the host. */
-export interface ModelEngineOptions {
-  /** Fixed kernel WASM asset URL; defaults to the package asset. Browser hosts supply their emitted URL. */
-  readonly wasmUrl?: string;
-  /** Trusted application ceilings. Builds may lower them; generators receive no engine. */
-  readonly limits?: Partial<ModelingLimits>;
+
+declare const sectionBrand: unique symbol;
+
+/** Fixed generation policy and reusable computation caches for one model session. */
+export declare interface SessionOptions<
+  S = Record<never, never>,
+> extends ModelRunOptions<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;
 }
 
-export { defaultModelingLimits };
-/** URL of the package's pinned WASM asset; browser bundlers may replace it with their emitted URL. */
-export declare const modelingWasmUrl: string;
+declare const solidBrand: unique symbol;
 
-/**
- * Runs declaration and immediate assertions without initializing a kernel or finalizing parts.
- * Returns reached assertion errors and warnings; unexpected execution failures throw.
- * Returned geometry is not realized or validated.
- * Geometry observations require an initialized session's `check` method instead.
- */
-export declare function checkModel<P extends object, S>(
-  program: ModelProgram<P, S>,
-  ...args: ModelRunArguments<P, S, SessionOptions<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, generate } from "@metamesh/modeling";
- * import { createModelEngine } from "@metamesh/modeling/engine";
- * import { export3mf } from "@metamesh/modeling/export";
- *
- * const engine = await createModelEngine();
- * const model = generate<Record<never, never>>(({ part }) => [part("body", box({ size: [30, 20, 8] }))]);
- * const result = engine.run(model);
- * await export3mf(result.parts);
- * ```
- */
-export declare function createModelEngine(
-  options?: ModelEngineOptions,
-): Promise<ModelEngine>;
-export type { ModelingLimits };
+export {};