geospec 0.1.0-beta.8 → 0.4.1-next.322

package/README.md

@@ -9,7 +9,7 @@ registry, and host integration. It executes no geometry on its own: every claim
 is evaluated by the compiled
 [`geospec-engine`](https://github.com/taucad/geospec/tree/main/packages/geospec-engine) core that
 the host passes to the runner. Tau's desktop/browser composition and the
-[`geospec` CLI](../geospec-engine/README.md) supply that engine. Authored tests
+[`geospec` CLI](#runner-configuration) supply that engine. Authored tests
 do not import or select an engine, and nothing registers one globally.
 
 The following is a `*.geospec.ts` module for the CLI or Tau `test_model`:
@@ -68,14 +68,74 @@ qualification, and filtered requirements remain outside the demonstrated scope.
 
 ### Runner configuration
 
-Install [`@taucad/geospec-engine`](../geospec-engine) for its `geospec` CLI or
-Node worker pool. To embed a serial runner, pass a compiled engine to
-`createNativeGeoSpecRunner` from `geospec/runner/native`; it builds the native
-model loader and releases every admitted subject after each run. These use the
-same compiled composition. Other embeddings must qualify their actual binding,
-input representation and supported domain; shared authoring syntax alone does
-not establish verdict equivalence. The CLI's flags and pool options are
-documented in that package's README.
+The `geospec` bin runs a project's specs on the compiled engine from
+[`geospec-engine`](https://github.com/taucad/geospec/tree/main/packages/geospec-engine):
+the native addon when this platform has one, else its WASM build. Models that
+are not STEP or GLB come from the `exporters` the project's `geospec.config.*`
+declares, imported once in each pool worker; without one, such a load refuses
+with `GEOSPEC_EXPORTER_MISSING`.
+
+```bash
+geospec run .
+geospec run . --include "parts/**/*.geospec.ts"
+geospec run . --file main.geospec.ts --test-name-pattern volume
+geospec run . --workers            # worker pool, auto-sized
+geospec run . --workers 4 --shard-timeout 600000
+geospec run . --config ci.geospec.config.ts
+geospec run . --json
+```
+
+**Spec imports.** The CLI bundles each spec with native esbuild over the
+project: a spec may import project files and the GeoSpec builtins (`geospec`,
+`geospec/model`, `geospec/config`). An npm package or URL import refuses with
+`BUNDLER_FAILED` and a message naming the specifier; nothing is fetched or
+installed. A host that resolves packages passes its own module VM as
+`createModuleVm` (`CreateModuleVm` in `geospec/runner`; for a Node pool,
+`moduleVmModule`). Tau's hosts inject Tau's esbuild VM this way. A browser host
+has no default VM and must inject one.
+
+| Flag                                    | Meaning                                                                                                   |
+| --------------------------------------- | --------------------------------------------------------------------------------------------------------- |
+| `--file <path>`                         | GeoSpec file or directory root; repeatable. Empty input discovers from the project root.                  |
+| `--include <glob>` / `--exclude <glob>` | Vitest-style file globs; repeatable. Include defaults to `**/*.geospec.{ts,js}`.                          |
+| `-t`, `--test-name-pattern <re>`        | JavaScript regular expression matched against the full `suite > test` name.                               |
+| `--test-timeout <ms>`                   | Timeout for each async test callback.                                                                     |
+| `--workers [n]`                         | Run in a worker pool. Default is one; omit the count after the flag to request available CPU parallelism. |
+| `--shard-timeout <ms>`                  | Per-shard **non-verdict** watchdog. Off by default.                                                       |
+| `--bail`                                | Stop after the first red file. Interactive use only — a reward run wants the complete red set.            |
+| `--config <path>`                       | The `geospec.config.*` to use instead of the one in the project root.                                     |
+| `--json`                                | Print exactly one JSON result document on stdout and nothing else.                                        |
+
+A flag replaces the config field of the same name. **The exit code is the
+verdict.** `0` only when the run succeeded; any failure, any run-level issue,
+and an empty selection are all `1`.
+
+### Checking a file with no spec
+
+`geospec check` runs one bundled validity spec on a STEP or GLB file, so a
+first use needs no `*.geospec.ts`. It takes the same runner, engine and report
+as `geospec run`; the file's folder is the project root.
+
+```bash
+geospec check bracket.step
+geospec check assembly.glb --components 3 --json
+```
+
+Each claim is its own test: no error diagnostics, closed edge incidence
+(`toBeWatertight`) and a bounding box with positive size on every axis, plus
+mesh integrity for a GLB or a valid BRep with closed shells for a STEP file.
+`--components <n>` adds an exact connected-component count. A claim the engine
+cannot decide is reported as inconclusive, never as a pass, and the exit code is
+the verdict.
+
+To embed the pool, use `createGeoSpecNodePoolRunner` from `geospec/runner/node`;
+each worker owns one engine and its own exporters, and live subjects never
+cross worker boundaries. To run serially in this process, pass an engine from
+`createNodeGeoSpecEngine` to `createNativeGeoSpecRunner` from
+`geospec/runner/native`; it builds the native model loader and releases every
+admitted subject after each run. Other embeddings must qualify their actual
+binding, input representation and supported domain; shared authoring syntax
+alone does not establish verdict equivalence.
 
 The filters below are the shared vocabulary of the CLI, the embedded runners
 and the Tau `test_model` tool:
@@ -146,7 +206,7 @@ matches the exact retained primitive label, including any ordinal suffix.
 Inspect that label and preserve cardinality instead of guessing an occurrence
 path. Mesh input does not invent assembly ancestry or analytic faces; missing
 measure, probe or ordering evidence refuses, even through query negation.
-The STEP Body index currently exposes per-occurrence solid aggregates, so do
+The STEP Body index exposes per-occurrence solid aggregates, so do
 not assume its Body count maps one-to-one to mesh material roots.
 
 Whole-Body contact requires no interior overlap and boundary separation within
@@ -161,9 +221,9 @@ import { loadModel } from 'geospec/model';
 const subject = await loadModel({ file: 'part.step', format: 'step' });
 ```
 
-For CAD source, `loadModel({ file: 'main.ts', format: 'step' })` asks the host to export STEP. The configured compiled engine admits the exact returned bytes through its OCCT binding. Export and source provenance do not by themselves certify a geometric requirement.
+For CAD source, `loadModel({ file: 'main.ts', format: 'step' })` asks the host to export STEP. The configured compiled engine admits the exact returned bytes through its OCCT binding. Export and source provenance do not by themselves establish a geometric requirement.
 
-Measurement matchers currently support mesh evidence and prefer exact BRep evidence when it is present:
+Measurement matchers support mesh evidence and prefer exact BRep evidence when it is present:
 
 ```ts
 expectGeo(subject).toHaveSurfaceArea({ value: 12_345, tolerance: 1 });
@@ -196,21 +256,19 @@ expectGeo(subject).toHaveVoidContinuity({
 These are requirement examples, not a claim that every admitted model supports
 them. `toHaveVoidContinuity` requires the declared path, material and isolation
 proposition to be proved in a qualified domain. A sampled cross-section cannot
-certify a continuous minimum: the general sampled profile refuses a requested
+establish a continuous minimum: the general sampled profile refuses a requested
 `minCrossSection`. Restricted nominal analytic domains have separate premises;
 general mesh lumen, wall and motion qualification remains incomplete.
 
 Likewise, watertight edge incidence does not prove manifold validity, a Boolean
-fuse or material connectivity. Bounds and playback cannot certify contact,
+fuse or material connectivity. Bounds and playback cannot establish contact,
 clearance, containment or sealing. Preserve intended geometry and tolerances;
 report unavailable evidence instead of replacing the requirement with a proxy.
 
 The [canonical API index](agent/geospec-authoring/api-index.md) describes
 ordinary authoring. The separate
 [complete public API index](agent/geospec-authoring/public-api-index.md)
-retains host and framework contracts. A low-level
-`GeometrySubject` input is not interchangeable with the opaque subject returned
-by canonical `loadModel`.
+retains host and framework contracts.
 
 When a geometry assertion needs a parameter variant, pass that variant directly to `loadModel`. Omitting `parameters` exercises the defaults authored by the model:
 

package/agent/doctrine.md

@@ -22,7 +22,7 @@ describe('main geometry', () => {
 });
 ```
 
-Specs are always TypeScript or JavaScript, whatever the model's kernel: `loadModel({ file })` evaluates `main.ts`, `main.tsx`, `main.py`, `main.scad`, `main.kcl` or `main.cs` through Tau's runtime. `test_model` discovers `*.geospec.ts` and `*.geospec.js` only.
+Specs are always TypeScript or JavaScript, whatever the model's kernel: `loadModel({ file })` evaluates `main.ts`, `main.tsx`, `main.py`, `main.scad`, `main.kcl` or `main.cs` through the exporter the host or the project's `geospec.config.ts` supplies. On Tau projects that is Tau's runtime, configured in `tau.config.ts`; never set GeoSpec exporters there. `test_model` discovers `*.geospec.ts` and `*.geospec.js` only.
 
 Every matcher takes one expectation object:
 
@@ -36,6 +36,7 @@ Every matcher takes one expectation object:
 - `loadModel({ file, workUnitLimit })` sets the default claim budget for that subject, and `expectGeo(model, { workUnitLimit })` overrides it for one chain. The budget is a positive integer no greater than 512000000. A `MATCHER_TIMEOUT` refusal reports `details.limit` and, when measured, `details.used`; its `test_model` row (category `work-budget`) names in `limit.retry` the one `workUnitLimit` that can decide the claim, or `null` at the host maximum. Never treat the refusal as a pass.
 - `loadModel({ file, region: { min: [x, y, z], max: [x, y, z] } })` makes a separate claim about one millimetre box, never a stand-in for a whole-model claim. The kernel crops before export (PicoVoxel trims Voxels parts), and other kernels, STEP loads and unconfirmed crops refuse with a typed diagnostic. A cropped subject answers only bounding box, volume, surface area, mass and center of mass of its region, and its assertions record the region. Every other matcher on it refuses with `GEOSPEC_REGION_WHOLE_MODEL_CLAIM`. Name the region in the test, and keep whole-model claims on whole-model loads.
 - A host or engine limit leaves a claim undecided, never false: `test_model` reports it as inconclusive with category `analysis-limit`, `resource-limit` or `work-budget` and a typed `limit` naming the limit and its numbers. Keep the model as designed: never coarsen, shrink or crop it to fit. Only a `work-budget` row's `limit.retry` is a retry, and `testTimeout` only answers a `timeout` row; report every other limit row as not decided at this capacity.
+- An unknown or mistyped expectation field refuses only that claim, with `GEOSPEC_INVALID_EXPECTATION` naming `details.field`; its `test_model` row is inconclusive, category `invalid-expectation`. Fix the expectation and keep the assertion.
 - `toHaveCenterOfMass({ point, tolerance })` takes an exact point. Per-axis ranges such as `{ y: { greaterThan: 1 } }` are refused.
 
 ## Ceilings

package/agent/geospec-authoring/SKILL.md

@@ -29,7 +29,7 @@ describe('main geometry', () => {
 });
 ```
 
-Specs are always TypeScript or JavaScript, whatever the model's kernel: `loadModel({ file })` evaluates `main.ts`, `main.tsx`, `main.py`, `main.scad`, `main.kcl` or `main.cs` through Tau's runtime. `test_model` discovers `*.geospec.ts` and `*.geospec.js` only.
+Specs are always TypeScript or JavaScript, whatever the model's kernel: `loadModel({ file })` evaluates `main.ts`, `main.tsx`, `main.py`, `main.scad`, `main.kcl` or `main.cs` through the exporter the host or the project's `geospec.config.ts` supplies. On Tau projects that is Tau's runtime, configured in `tau.config.ts`; never set GeoSpec exporters there. `test_model` discovers `*.geospec.ts` and `*.geospec.js` only.
 
 Every matcher takes one expectation object:
 
@@ -43,6 +43,7 @@ Every matcher takes one expectation object:
 - `loadModel({ file, workUnitLimit })` sets the default claim budget for that subject, and `expectGeo(model, { workUnitLimit })` overrides it for one chain. The budget is a positive integer no greater than 512000000. A `MATCHER_TIMEOUT` refusal reports `details.limit` and, when measured, `details.used`; its `test_model` row (category `work-budget`) names in `limit.retry` the one `workUnitLimit` that can decide the claim, or `null` at the host maximum. Never treat the refusal as a pass.
 - `loadModel({ file, region: { min: [x, y, z], max: [x, y, z] } })` makes a separate claim about one millimetre box, never a stand-in for a whole-model claim. The kernel crops before export (PicoVoxel trims Voxels parts), and other kernels, STEP loads and unconfirmed crops refuse with a typed diagnostic. A cropped subject answers only bounding box, volume, surface area, mass and center of mass of its region, and its assertions record the region. Every other matcher on it refuses with `GEOSPEC_REGION_WHOLE_MODEL_CLAIM`. Name the region in the test, and keep whole-model claims on whole-model loads.
 - A host or engine limit leaves a claim undecided, never false: `test_model` reports it as inconclusive with category `analysis-limit`, `resource-limit` or `work-budget` and a typed `limit` naming the limit and its numbers. Keep the model as designed: never coarsen, shrink or crop it to fit. Only a `work-budget` row's `limit.retry` is a retry, and `testTimeout` only answers a `timeout` row; report every other limit row as not decided at this capacity.
+- An unknown or mistyped expectation field refuses only that claim, with `GEOSPEC_INVALID_EXPECTATION` naming `details.field`; its `test_model` row is inconclusive, category `invalid-expectation`. Fix the expectation and keep the assertion.
 - `toHaveCenterOfMass({ point, tolerance })` takes an exact point. Per-axis ranges such as `{ y: { greaterThan: 1 } }` are refused.
 
 ## Ceilings
@@ -485,7 +486,7 @@ LoadModelSourceOptions: {
 
 ## API reference
 
-To read any other signature, find its name in `api-index.md`, which lists all 368 symbols by file with the lines that hold each, and read that range of the named file.
+To read any other signature, find its name in `api-index.md`, which lists all 299 symbols by file with the lines that hold each, and read that range of the named file.
 
 - `api-functions.md` — Functions
 - `api-constants.md` — Constants

package/agent/geospec-authoring/api-index.md

@@ -1,6 +1,6 @@
 # geospec API index
 
-geospec 0.1.0-beta.8 · 368 symbols · extracted by TypeScript 5.9.3.
+geospec 0.4.0 · 299 symbols · extracted by TypeScript 5.9.3.
 
 Every symbol appears here exactly once. The heading above each block names the file with its signature, and each top-level symbol names the lines of that file which hold its declaration and members: read only that range.
 
@@ -37,7 +37,7 @@ GeoSpecAssertion (type) [lines 16-66] [9 members] — Geometry assertion collect
   GeoSpecAssertion.report (property) — Exact compiled assertion report, including core-owned bytes and polarity
   GeoSpecAssertion.loadId (property) — The host load which admitted this assertion's subject
   GeoSpecAssertion.region (property) — The crop this assertion's subject was loaded with
-  GeoSpecAssertion.durationMs (property) — Wall-clock cost of matcher evaluation in milliseconds (R1
+  GeoSpecAssertion.durationMs (property) — Wall-clock cost of matcher evaluation in milliseconds (budgeted matchers only)
 GeoSpecAssemblyOccurrenceExpectation (type) [lines 68-91] [3 members] — Assembly occurrence rule accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
   GeoSpecAssemblyOccurrenceExpectation.name (property)
   GeoSpecAssemblyOccurrenceExpectation.count (property)
@@ -203,85 +203,16 @@ GeoSpecVoidWaypoint (type) [lines 818-821] — One void-continuity waypoint
 GeoSpecVolumeExpectation (type) [lines 823-831] [2 members] — Volume expectation accepted by `expectGeo(...).toHaveVolume(...)`
   GeoSpecVolumeExpectation.value (property)
   GeoSpecVolumeExpectation.tolerance (property)
-BrepEvidence (type) [lines 833-1058] [11 members] — Basic exact or topology-derived BRep evidence consumed by early feature…
-  BrepEvidence.validity (property)
-  BrepEvidence.topologyCounts (property)
-  BrepEvidence.boundingBox (property)
-  BrepEvidence.massProperties (property)
-  BrepEvidence.planarFaces (property)
-  BrepEvidence.cylindricalFaces (property)
-  BrepEvidence.circularHoles (property)
-  BrepEvidence.circularHolePatterns (property)
-  BrepEvidence.chamferFeatures (property)
-  BrepEvidence.filletFeatures (property)
-  BrepEvidence.minimumWallThickness (property)
-GeometryFileFormat (type) [lines 1060-1061] — Geometry file formats understood by GeoSpec provenance
-GeometryCapability (type) [lines 1063-1081] [2 members] — Capability exposed by a loaded subject
-  GeometryCapability.kind (property)
-  GeometryCapability.feature (property)
-GeometryDiagnostic (type) [lines 1083-1111] [6 members] — Diagnostic emitted by GeoSpec loaders, analyzers, and matchers
+GeometryDiagnostic (type) [lines 833-861] [6 members] — Diagnostic emitted by GeoSpec loaders, analyzers, and matchers
   GeometryDiagnostic.code (property)
   GeometryDiagnostic.severity (property)
   GeometryDiagnostic.message (property)
   GeometryDiagnostic.suggestion (property)
   GeometryDiagnostic.spatial (property)
   GeometryDiagnostic.details (property)
-GeometryProvenance (type) [lines 1113-1133] [6 members] — Provenance recorded by GeoSpec loaders
-  GeometryProvenance.source (property)
-  GeometryProvenance.unit (property)
-  GeometryProvenance.loader (property)
-  GeometryProvenance.contentHash (property)
-  GeometryProvenance.parameters (property)
-  GeometryProvenance.exportIntent (property)
-GeometrySource (type) [lines 1135-1152] [5 members] — Source metadata for a loaded geometry subject
-  GeometrySource.kind (property)
-  GeometrySource.format (property)
-  GeometrySource.path (property)
-  GeometrySource.name (property)
-  GeometrySource.byteLength (property)
-GeometrySubject (type) [lines 1154-1183] [8 members] — Canonical P0 object under test for GeoSpec
-  GeometrySubject.kind (property)
-  GeometrySubject.subjectId (property) — Opaque engine-owned identifier used by every protocol claim
-  GeometrySubject.mesh (property)
-  GeometrySubject.brep (property)
-  GeometrySubject.step (property)
-  GeometrySubject.provenance (property)
-  GeometrySubject.capabilities (property)
-  GeometrySubject.diagnostics (property)
-GeometrySubjectMeshEvidence (type) [lines 1185-1193] [2 members] — Wire-safe mesh summary carried by an opaque geometry subject
-  GeometrySubjectMeshEvidence.format (property)
-  GeometrySubjectMeshEvidence.stats (property)
-MeshEvidence (type) [lines 1195-1203] [2 members] — Mesh evidence loaded from geometry bytes or buffers
-  MeshEvidence.format (property)
-  MeshEvidence.stats (property)
-MeshFileFormat (type) [lines 1205-1206] — Geometry file formats supported by the P0 mesh loader
-MeshQualityStats (type) [lines 1208-1261] [8 members] — Triangle quality and scalar mesh metrics used by P0 GeoSpec…
-  MeshQualityStats.triangleCount (property)
-  MeshQualityStats.nonFiniteVertices (property)
-  MeshQualityStats.degenerateTriangles (property)
-  MeshQualityStats.duplicateFaces (property)
-  MeshQualityStats.triangles (property)
-  MeshQualityStats.surfaceArea (property)
-  MeshQualityStats.signedVolume (property)
-  MeshQualityStats.centerOfMass (property)
-MeshTriangle (type) [lines 1263-1286] [7 members] — One triangle from mesh evidence, in geometry document coordinates
-  MeshTriangle.primitive (property)
-  MeshTriangle.triangleIndex (property)
-  MeshTriangle.a (property)
-  MeshTriangle.b (property)
-  MeshTriangle.c (property)
-  MeshTriangle.center (property)
-  MeshTriangle.area (property)
-StepEvidence (type) [lines 1288-1338] [6 members] — STEP/XDE evidence extracted while loading a STEP subject
-  StepEvidence.schema (property)
-  StepEvidence.unit (property)
-  StepEvidence.productStructure (property)
-  StepEvidence.readStrategy (property)
-  StepEvidence.capabilities (property)
-  StepEvidence.xde (property) — Structured AP242 XDE read result (occurrences, subshape names, datum placements)
-Vec3 (type) [lines 1340-1341] — Numeric 3D vector
-GeoSpecVec3 (type) [lines 1343-1344] — Numeric 3D vector
-CreateModelLoaderOptions (type) [lines 1346-1393] [9 members] — Defaults accepted by {@link import ('./load-model.js').createModelLoader}
+Vec3 (type) [lines 863-864] — Numeric 3D vector
+GeoSpecVec3 (type) [lines 866-867] — Numeric 3D vector
+CreateModelLoaderOptions (type) [lines 869-916] [9 members] — Defaults accepted by {@link import ('./load-model.js').createModelLoader}
   CreateModelLoaderOptions.engine (property) — Initialized compiled engine supplied by the host, never selected by…
   CreateModelLoaderOptions.readSource (property) — Rooted host reader for direct filesystem or URL sources
   CreateModelLoaderOptions.format (property) — Geometry format to export when an individual call does not…
@@ -291,16 +222,16 @@ CreateModelLoaderOptions (type) [lines 1346-1393] [9 members] — Defaults accep
   CreateModelLoaderOptions.mesh (property) — Whether STEP loading should also produce mesh evidence
   CreateModelLoaderOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
   CreateModelLoaderOptions.meshAngularToleranceDegrees (property) — Angular tolerance in degrees used while meshing exact BRep evidence
-GeoSpecExporterCapabilities (type) [lines 1395-1417] [4 members] — What a {@link GeoSpecModelExporter} declares it can do
+GeoSpecExporterCapabilities (type) [lines 918-940] [4 members] — What a {@link GeoSpecModelExporter} declares it can do
   GeoSpecExporterCapabilities.formats (property) — The formats `export` produces
   GeoSpecExporterCapabilities.parameters (property) — Accepts `parameters`
   GeoSpecExporterCapabilities.region (property) — Crops to `region` (an axis-aligned millimetre box) before export
   GeoSpecExporterCapabilities.inlineSources (property) — Accepts `inline` sources, which back `loadModel({ code })`
-GeoSpecExportFormat (type) [lines 1419-1420] — Formats a {@link GeoSpecModelExporter} may produce from a source-kind file
-GeoSpecLoadRegion (type) [lines 1422-1430] [2 members] — Axis-aligned crop box in canonical Z-up millimetres
+GeoSpecExportFormat (type) [lines 942-943] — Formats a {@link GeoSpecModelExporter} may produce from a source-kind file
+GeoSpecLoadRegion (type) [lines 945-953] [2 members] — Axis-aligned crop box in canonical Z-up millimetres
   GeoSpecLoadRegion.min (property)
   GeoSpecLoadRegion.max (property)
-GeoSpecModelArtifact (type) [lines 1432-1475] [7 members] — The bytes an exporter returns, in the canonical Z-up millimetre…
+GeoSpecModelArtifact (type) [lines 955-998] [7 members] — The bytes an exporter returns, in the canonical Z-up millimetre…
   GeoSpecModelArtifact.bytes (property)
   GeoSpecModelArtifact.format (property)
   GeoSpecModelArtifact.sourceUnit (property) — Unit of raw GLB coordinates
@@ -308,14 +239,14 @@ GeoSpecModelArtifact (type) [lines 1432-1475] [7 members] — The bytes an expor
   GeoSpecModelArtifact.consumedSources (property) — Every source file the export read, as a path from…
   GeoSpecModelArtifact.diagnostics (property) — Notices from a successful export, admitted with the subject so…
   GeoSpecModelArtifact.exportOptions (property) — The export options the exporter applied, recorded in the load…
-GeoSpecModelExporter (type) [lines 1477-1511] [6 members] — Turns a source-kind model file into GLB or STEP bytes…
+GeoSpecModelExporter (type) [lines 1000-1034] [6 members] — Turns a source-kind model file into GLB or STEP bytes…
   GeoSpecModelExporter.id (property)
   GeoSpecModelExporter.extensions (property)
   GeoSpecModelExporter.capabilities (property)
   GeoSpecModelExporter.export (method)
   GeoSpecModelExporter.revision (method) — The sources an export of `file` would read now, without…
   GeoSpecModelExporter.close (method) — Releases what the exporter created for one scope
-GeoSpecModelExportRequest (type) [lines 1513-1557] [8 members] — One export request
+GeoSpecModelExportRequest (type) [lines 1036-1080] [8 members] — One export request
   GeoSpecModelExportRequest.file (property) — Entry file, as a path from the project root
   GeoSpecModelExportRequest.projectPath (property) — Absolute project root the exporter resolves `file` and its imports…
   GeoSpecModelExportRequest.format (property)
@@ -324,12 +255,12 @@ GeoSpecModelExportRequest (type) [lines 1513-1557] [8 members] — One export re
   GeoSpecModelExportRequest.region (property) — Millimetre crop box
   GeoSpecModelExportRequest.inline (property) — Source text keyed by project-relative path
   GeoSpecModelExportRequest.signal (property)
-GeoSpecModelFormat (type) [lines 1559-1560] — Geometry formats accepted by {@link import ('./load-model.js').loadModel}
-GeoSpecModelLoader (type) [lines 1562-1563] — Function shape used by GeoSpec runners to provide model loading…
-ManagedGeoSpecModelLoader (type) [lines 1565-1571] [1 members] — A configured loader whose admissions can be released with its…
+GeoSpecModelFormat (type) [lines 1082-1083] — Geometry formats accepted by {@link import ('./load-model.js').loadModel}
+GeoSpecModelLoader (type) [lines 1085-1086] — Function shape used by GeoSpec runners to provide model loading…
+ManagedGeoSpecModelLoader (type) [lines 1088-1094] [1 members] — A configured loader whose admissions can be released with its…
   ManagedGeoSpecModelLoader.dispose (method)
-GeoSpecConsumedSources (type) [lines 1573-1577] — The source files one export read, each with its SHA-256…
-LoadModelCodeOptions (type) [lines 1579-1651] [12 members] — Inline code-CAD model load options
+GeoSpecConsumedSources (type) [lines 1096-1100] — The source files one export read, each with its SHA-256…
+LoadModelCodeOptions (type) [lines 1102-1174] [12 members] — Inline code-CAD model load options
   LoadModelCodeOptions.code (property) — Source files keyed by project-relative path
   LoadModelCodeOptions.file (property) — Entry path to render from {@link code }
   LoadModelCodeOptions.rootDir (property) — Not accepted
@@ -342,7 +273,7 @@ LoadModelCodeOptions (type) [lines 1579-1651] [12 members] — Inline code-CAD m
   LoadModelCodeOptions.meshAngularToleranceDegrees (property) — Angular tolerance in degrees used while meshing exact BRep evidence
   LoadModelCodeOptions.workUnitLimit (property) — Default work-unit budget for every claim on this subject
   LoadModelCodeOptions.region (property) — Axis-aligned millimetre box the exporter crops the model to before…
-LoadModelFileOptions (type) [lines 1653-1727] [11 members] — Filesystem-backed model load options
+LoadModelFileOptions (type) [lines 1176-1250] [11 members] — Filesystem-backed model load options
   LoadModelFileOptions.file (property) — Model file to render, as a path from the project…
   LoadModelFileOptions.rootDir (property) — Project-relative folder `file` resolves in, for a suite that loads…
   LoadModelFileOptions.projectPath (property) — Absolute project root passed to the exporter
@@ -354,7 +285,7 @@ LoadModelFileOptions (type) [lines 1653-1727] [11 members] — Filesystem-backed
   LoadModelFileOptions.meshAngularToleranceDegrees (property) — Angular tolerance in degrees used while meshing exact BRep evidence
   LoadModelFileOptions.workUnitLimit (property) — Default work-unit budget for every claim on this subject
   LoadModelFileOptions.region (property) — Axis-aligned millimetre box the exporter crops the model to before…
-LoadModelOptions (type) [lines 1729-1754] [8 members] — Options accepted by {@link import ('./load-model.js').loadModel}
+LoadModelOptions (type) [lines 1252-1277] [8 members] — Options accepted by {@link import ('./load-model.js').loadModel}
   LoadModelOptions.rootDir (property) — Project-relative folder `file` resolves in, for a suite that loads…
   LoadModelOptions.format (property) — Geometry format to export
   LoadModelOptions.parameters (property) — Explicit parameters passed to the exporter
@@ -363,7 +294,7 @@ LoadModelOptions (type) [lines 1729-1754] [8 members] — Options accepted by {@
   LoadModelOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
   LoadModelOptions.meshAngularToleranceDegrees (property) — Angular tolerance in degrees used while meshing exact BRep evidence
   LoadModelOptions.workUnitLimit (property) — Default work-unit budget for every claim on this subject
-LoadModelSourceOptions (type) [lines 1756-1836] [13 members] — Direct geometry-source model load options
+LoadModelSourceOptions (type) [lines 1279-1359] [13 members] — Direct geometry-source model load options
   LoadModelSourceOptions.source (property) — Geometry bytes, path, browser file/blob, or in-memory mesh buffer
   LoadModelSourceOptions.resources (property) — Named external resources consumed alongside the direct geometry bytes
   LoadModelSourceOptions.rootDir (property) — Project-relative folder a path `source` and each resource path resolve…