geospec 0.1.0-beta.5 → 0.1.0-beta.7

package/agent/doctrine.md

@@ -6,6 +6,7 @@ Write tests before implementation; assert deterministic, measurable properties.
 - Await `loadModel`, then assert synchronously with `expectGeo(model)`. The host supplies the compiled binding; authoring does not select an engine.
 - Await or return the complete model-load chain from the test callback; detached future loads are not part of a completed test.
 - Omit `parameters` for model-code defaults; use `{ file, parameters }` for variants. Loaded subjects are opaque.
+- `loadModel({ file })` resolves `file` against the project root, the same root as every tool's `targetFile`; the result names that root as `projectRoot` where the host reports it, as `tau mcp` does. A suite in a subfolder names the model by its path from that root, or passes `rootDir`, the project-relative folder the model is in: `loadModel({ file: 'main.ts', rootDir: 'parts/gear' })` loads `parts/gear/main.ts`. A file the root does not hold refuses with `GEOSPEC_MODEL_SOURCE_NOT_FOUND`, which names the root and the path it looked for.
 
 Canonical TypeScript authoring:
 
@@ -32,11 +33,25 @@ Every matcher takes one expectation object:
 ## Loads and budgets
 
 - GeoSpec has no `beforeAll`. Write each `loadModel` inside its own `it`: within one run, identical loads (same file or code, parameters, format, tolerances and region) share one export and one admission. Each load keeps its own `loadId` and records `reused: true`, and a file is reused only while its source closure is unchanged.
-- `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`; raise the budget within the bound or simplify the model, and never treat the refusal as a pass.
+- `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. Keep the model as designed: never coarsen, shrink or crop it to fit. Raise `workUnitLimit` or `testTimeout` within the host's maximum, which the host can raise, or report the claim as not decided at this capacity.
+- 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.
 - `toHaveCenterOfMass({ point, tolerance })` takes an exact point. Per-axis ranges such as `{ y: { greaterThan: 1 } }` are refused.
 
+## Ceilings
+
+Fixed in this release; design within them, and report a claim that meets one as not decided.
+
+| Ceiling                               | Value                | Where an agent meets it                                                                                                           |
+| ------------------------------------- | -------------------- | --------------------------------------------------------------------------------------------------------------------------------- |
+| `maxSubjectBytes`, `maxResourceBytes` | 64 MiB each          | A mesh `loadModel({ file })` exports about 72 bytes per triangle, so admission refuses near 930,000 triangles (`resource-limit`). |
+| `maxTotalBinaryBytes`                 | 128 MiB              | All subjects of one load together.                                                                                                |
+| `maxTriangles`, `maxVertices`         | 4,000,000, 2,000,000 | A decoded mesh.                                                                                                                   |
+| `continuousEvidenceBytes`             | 32 MiB               | `toHaveNoComponentInterference` on a large assembly (`analysis-limit`).                                                           |
+| `workUnitLimit`                       | 512000000 at most    | Any claim; the only limit an argument raises.                                                                                     |
+
+Load `format: 'step'` only for the exact-BRep matchers above; every other matcher answers on the cheaper mesh.
+
 ## Coverage
 
 Bounds and physical properties are insufficient. Cover major components, named features, variants, dimensions/positions, disjoint counts, closure, interference and supported exact features. Explicitly report unsupported requirements; proxies cannot fulfill them.

package/agent/geospec-authoring/SKILL.md

@@ -13,6 +13,7 @@ Write tests before implementation; assert deterministic, measurable properties.
 - Await `loadModel`, then assert synchronously with `expectGeo(model)`. The host supplies the compiled binding; authoring does not select an engine.
 - Await or return the complete model-load chain from the test callback; detached future loads are not part of a completed test.
 - Omit `parameters` for model-code defaults; use `{ file, parameters }` for variants. Loaded subjects are opaque.
+- `loadModel({ file })` resolves `file` against the project root, the same root as every tool's `targetFile`; the result names that root as `projectRoot` where the host reports it, as `tau mcp` does. A suite in a subfolder names the model by its path from that root, or passes `rootDir`, the project-relative folder the model is in: `loadModel({ file: 'main.ts', rootDir: 'parts/gear' })` loads `parts/gear/main.ts`. A file the root does not hold refuses with `GEOSPEC_MODEL_SOURCE_NOT_FOUND`, which names the root and the path it looked for.
 
 Canonical TypeScript authoring:
 
@@ -39,11 +40,25 @@ Every matcher takes one expectation object:
 ## Loads and budgets
 
 - GeoSpec has no `beforeAll`. Write each `loadModel` inside its own `it`: within one run, identical loads (same file or code, parameters, format, tolerances and region) share one export and one admission. Each load keeps its own `loadId` and records `reused: true`, and a file is reused only while its source closure is unchanged.
-- `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`; raise the budget within the bound or simplify the model, and never treat the refusal as a pass.
+- `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. Keep the model as designed: never coarsen, shrink or crop it to fit. Raise `workUnitLimit` or `testTimeout` within the host's maximum, which the host can raise, or report the claim as not decided at this capacity.
+- 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.
 - `toHaveCenterOfMass({ point, tolerance })` takes an exact point. Per-axis ranges such as `{ y: { greaterThan: 1 } }` are refused.
 
+## Ceilings
+
+Fixed in this release; design within them, and report a claim that meets one as not decided.
+
+| Ceiling                               | Value                | Where an agent meets it                                                                                                           |
+| ------------------------------------- | -------------------- | --------------------------------------------------------------------------------------------------------------------------------- |
+| `maxSubjectBytes`, `maxResourceBytes` | 64 MiB each          | A mesh `loadModel({ file })` exports about 72 bytes per triangle, so admission refuses near 930,000 triangles (`resource-limit`). |
+| `maxTotalBinaryBytes`                 | 128 MiB              | All subjects of one load together.                                                                                                |
+| `maxTriangles`, `maxVertices`         | 4,000,000, 2,000,000 | A decoded mesh.                                                                                                                   |
+| `continuousEvidenceBytes`             | 32 MiB               | `toHaveNoComponentInterference` on a large assembly (`analysis-limit`).                                                           |
+| `workUnitLimit`                       | 512000000 at most    | Any claim; the only limit an argument raises.                                                                                     |
+
+Load `format: 'step'` only for the exact-BRep matchers above; every other matcher answers on the cheaper mesh.
+
 ## Coverage
 
 Bounds and physical properties are insufficient. Cover major components, named features, variants, dimensions/positions, disjoint counts, closure, interference and supported exact features. Explicitly report unsupported requirements; proxies cannot fulfill them.
@@ -87,6 +102,8 @@ export declare function loadModel<Code extends Record<string, string> = Record<s
 
 // Options accepted by {@link import ('./load-model.js').loadModel}
 LoadModelOptions: LoadModelSourceOptions | LoadModelCodeOptions<Code> | LoadModelFileOptions
+  // Project-relative folder `file` resolves in, for a suite that loads from somewhere other than…
+  rootDir?: string
   // Geometry format to export
   format?: GeoSpecModelFormat
   // Explicit parameters passed to the runtime
@@ -104,6 +121,14 @@ LoadModelOptions: LoadModelSourceOptions | LoadModelCodeOptions<Code> | LoadMode
 
 // Geometry formats accepted by {@link import ('./load-model.js').loadModel}
 GeoSpecModelFormat: MeshFileFormat | 'step' | 'stp'
+
+// GeoSpec test helper used inside VM-executed test modules
+export declare function it(name: string, function_: GeoSpecTestCallback): void;
+  skip(name: string, function_?: GeoSpecTestCallback): void;
+
+// GeoSpec suite helper used inside VM-executed test modules
+export declare function describe(name: string, function_: GeoSpecTestCallback): void;
+  skip(name: string, function_?: GeoSpecTestCallback): void;
 ```
 
 ### Types
@@ -420,15 +445,6 @@ GeoSpecSpatialRelationshipExpectation: {
   reason?: string
 }
 
-// Shared scalar expectation used by geometry measurements
-GeoSpecNumericExpectation: number | {
-    value?: number;
-    greaterThan?: number;
-    greaterThanOrEqual?: number;
-    lessThan?: number;
-    lessThanOrEqual?: number;
-}
-
 // Diagnostic emitted by GeoSpec loaders, analyzers, and matchers
 GeometryDiagnostic: {
   code: KernelIssueCode | (string & {})
@@ -443,49 +459,33 @@ GeometryDiagnostic: {
   details?: unknown
 }
 
-// Shared scalar expectation used by geometry measurements
-GeoSpecNumericExpectation: number | {
-    value?: number;
-    greaterThan?: number;
-    greaterThanOrEqual?: number;
-    lessThan?: number;
-    lessThanOrEqual?: number;
-}
+// Point expectation accepted by center and feature matchers
+GeoSpecPointExpectation: Vec3 | GeoSpecAxisExpectation
 
-// Shared scalar expectation used by geometry measurements
-GeoSpecNumericExpectation: number | {
-    value?: number;
-    greaterThan?: number;
-    greaterThanOrEqual?: number;
-    lessThan?: number;
-    lessThanOrEqual?: number;
+// One void-continuity waypoint
+GeoSpecVoidWaypoint: Vec3 | {
+    occurrence: string;
 }
 
-// Shared scalar expectation used by geometry measurements
-GeoSpecNumericExpectation: number | {
-    value?: number;
-    greaterThan?: number;
-    greaterThanOrEqual?: number;
-    lessThan?: number;
-    lessThanOrEqual?: number;
+// Inline code-CAD model load options
+LoadModelCodeOptions: {
+  // Source files keyed by project-relative path
+  code: Code
+  // Geometry format to export
+  format?: GeoSpecModelFormat
+  // Explicit parameters passed to the runtime
+  parameters?: Record<string, unknown>
+  // Whether STEP loading should also produce mesh evidence
+  mesh?: boolean
+  // … 10 more members in the API reference: file, rootDir, runtime, sourceAdapters, projectPath, stepStreaming, meshLinearTolerance, meshAngularToleranceDegrees, workUnitLimit, region
 }
 
-// Point expectation accepted by center and feature matchers
-GeoSpecPointExpectation: Vec3 | GeoSpecAxisExpectation
-
-// Shared scalar expectation used by geometry measurements
-GeoSpecNumericExpectation: number | {
-    value?: number;
-    greaterThan?: number;
-    greaterThanOrEqual?: number;
-    lessThan?: number;
-    lessThanOrEqual?: number;
-}
+RuntimeBackedModelFormat: Exclude<GeoSpecModelFormat, 'mesh-buffer'>
 ```
 
 ## API reference
 
-To read any other signature, grep the skill directory for the name followed by `(` (or the bare type name): each hit is the declaration line and names its file; read a few lines around it for overloads and parameter notes. `api-index.md` lists all 360 symbols by file.
+To read any other signature, find its name in `api-index.md`, which lists all 364 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,35 +1,35 @@
 # geospec API index
 
-geospec 0.1.0-beta.5 · 360 symbols · extracted by TypeScript 5.9.3.
+geospec 0.1.0-beta.7 · 364 symbols · extracted by TypeScript 5.9.3.
 
-Every symbol appears here exactly once. The heading above each block names the file with its signature; grep the skill directory for `name(` to land on the declaration directly.
+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.
 
 ## Functions — `api-functions.md`
 
-describe (function) [1 members] — GeoSpec suite helper used inside VM-executed test modules
+describe (function) [lines 5-10] [1 members] — GeoSpec suite helper used inside VM-executed test modules
   describe.skip (method)
-expectGeo (function) — Start a geometry assertion chain
-it (function) [1 members] — GeoSpec test helper used inside VM-executed test modules
+expectGeo (function) [lines 12-16] — Start a geometry assertion chain
+it (function) [lines 18-23] [1 members] — GeoSpec test helper used inside VM-executed test modules
   it.skip (method)
-test (function) [1 members] — Alias for {@link it}
+test (function) [lines 25-30] [1 members] — Alias for {@link it}
   test.skip (method)
-createModelLoader (function) — Create a {@link loadModel} function over a host-supplied compiled engine
-loadModel (function) — Load a CAD model into GeoSpec evidence
-resolveRuntimeExportIntent (function)
+createModelLoader (function) [lines 32-35] — Create a {@link loadModel} function over a host-supplied compiled engine
+loadModel (function) [lines 37-42] — Load a CAD model into GeoSpec evidence
+resolveRuntimeExportIntent (function) [lines 44-57]
 
 ## Constants — `api-constants.md`
 
-geoSpecMatcherNames (constant) — Every matcher name exposed by {@link expectGeo}, derived from the…
-geoSpecMeshEvidenceMatchers (constant) — The matchers mesh evidence answers, as the GeoSpec authoring skill…
-geoSpecRegionScopedKinds (constant) — The claims a region-cropped subject answers
-geoSpecRegionWholeModelClaimCode (constant) — Diagnostic code of a whole-model claim made on a region-cropped…
+geoSpecMatcherNames (constant) [lines 5-6] — Every matcher name exposed by {@link expectGeo}, derived from the…
+geoSpecMeshEvidenceMatchers (constant) [lines 8-9] — The matchers mesh evidence answers, as the GeoSpec authoring skill…
+geoSpecRegionScopedKinds (constant) [lines 11-13] — The claims a region-cropped subject answers
+geoSpecRegionWholeModelClaimCode (constant) [lines 15-16] — Diagnostic code of a whole-model claim made on a region-cropped…
 
 ## Types — `api-types.md`
 
-GeoSpecSubject (type) [1 members] — A model admitted by one live GeoSpec host scope
+GeoSpecSubject (type) [lines 5-10] [1 members] — A model admitted by one live GeoSpec host scope
   GeoSpecSubject.[subjectBrand] (property)
-GeoSpecUnit (type) — Geometry units accepted at GeoSpec evidence-loading boundaries
-GeoSpecAssertion (type) [9 members] — Geometry assertion collected from a GeoSpec test module
+GeoSpecUnit (type) [lines 12-14] — Geometry units accepted at GeoSpec evidence-loading boundaries
+GeoSpecAssertion (type) [lines 16-66] [9 members] — Geometry assertion collected from a GeoSpec test module
   GeoSpecAssertion.kind (property) — Assertion kind
   GeoSpecAssertion.subject (property) — User-authored value passed to expectGeo()
   GeoSpecAssertion.expected (property) — Expected geometry condition
@@ -39,61 +39,61 @@ GeoSpecAssertion (type) [9 members] — Geometry assertion collected from a GeoS
   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
-GeoSpecAssemblyOccurrenceExpectation (type) [3 members] — Assembly occurrence rule accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
+GeoSpecAssemblyOccurrenceExpectation (type) [lines 68-91] [3 members] — Assembly occurrence rule accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
   GeoSpecAssemblyOccurrenceExpectation.name (property)
   GeoSpecAssemblyOccurrenceExpectation.count (property)
   GeoSpecAssemblyOccurrenceExpectation.bounds (property)
-GeoSpecAssemblyOccurrencesExpectation (type) [2 members] — Assembly occurrence expectation accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
+GeoSpecAssemblyOccurrencesExpectation (type) [lines 93-101] [2 members] — Assembly occurrence expectation accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
   GeoSpecAssemblyOccurrencesExpectation.occurrences (property)
   GeoSpecAssemblyOccurrencesExpectation.uniqueNames (property)
-GeoSpecAxisExpectation (type) [3 members] — Axis-keyed numeric expectation used by high-level geometry matchers
+GeoSpecAxisExpectation (type) [lines 103-114] [3 members] — Axis-keyed numeric expectation used by high-level geometry matchers
   GeoSpecAxisExpectation.x (property)
   GeoSpecAxisExpectation.y (property)
   GeoSpecAxisExpectation.z (property)
-GeoSpecBoundingBoxExpectation (type) [5 members] — Bounding-box expectation accepted by `expectGeo(...).toHaveBoundingBox(...)`
+GeoSpecBoundingBoxExpectation (type) [lines 116-133] [5 members] — Bounding-box expectation accepted by `expectGeo(...).toHaveBoundingBox(...)`
   GeoSpecBoundingBoxExpectation.min (property)
   GeoSpecBoundingBoxExpectation.max (property)
   GeoSpecBoundingBoxExpectation.size (property)
   GeoSpecBoundingBoxExpectation.center (property)
   GeoSpecBoundingBoxExpectation.tolerance (property)
-GeoSpecCenterOfMassExpectation (type) [2 members] — Center-of-mass expectation accepted by `expectGeo(...).toHaveCenterOfMass(...)`
+GeoSpecCenterOfMassExpectation (type) [lines 135-145] [2 members] — Center-of-mass expectation accepted by `expectGeo(...).toHaveCenterOfMass(...)`
   GeoSpecCenterOfMassExpectation.point (property) — Exact expected point in millimetres
   GeoSpecCenterOfMassExpectation.tolerance (property)
-GeoSpecChamferFeatureExpectation (type) [3 members] — Chamfer-feature expectation accepted by `expectGeo(...).toHaveChamferFeature(...)`
+GeoSpecChamferFeatureExpectation (type) [lines 147-158] [3 members] — Chamfer-feature expectation accepted by `expectGeo(...).toHaveChamferFeature(...)`
   GeoSpecChamferFeatureExpectation.distance (property)
   GeoSpecChamferFeatureExpectation.selection (property)
   GeoSpecChamferFeatureExpectation.tolerance (property)
-GeoSpecCircularHoleExpectation (type) [5 members] — Circular-hole expectation accepted by `expectGeo(...).toHaveCircularHole(...)`
+GeoSpecCircularHoleExpectation (type) [lines 160-177] [5 members] — Circular-hole expectation accepted by `expectGeo(...).toHaveCircularHole(...)`
   GeoSpecCircularHoleExpectation.diameter (property)
   GeoSpecCircularHoleExpectation.through (property)
   GeoSpecCircularHoleExpectation.axis (property)
   GeoSpecCircularHoleExpectation.center (property)
   GeoSpecCircularHoleExpectation.tolerance (property)
-GeoSpecCylindricalFaceExpectation (type) [3 members] — Cylindrical-face expectation accepted by `expectGeo(...).toHaveCylindricalFace(...)`
+GeoSpecCylindricalFaceExpectation (type) [lines 179-190] [3 members] — Cylindrical-face expectation accepted by `expectGeo(...).toHaveCylindricalFace(...)`
   GeoSpecCylindricalFaceExpectation.radius (property)
   GeoSpecCylindricalFaceExpectation.axis (property)
   GeoSpecCylindricalFaceExpectation.tolerance (property)
-GeoSpecExpectOptions (type) [1 members] — Per-chain options accepted by `expectGeo(subject, options)`
+GeoSpecExpectOptions (type) [lines 192-204] [1 members] — Per-chain options accepted by `expectGeo(subject, options)`
   GeoSpecExpectOptions.workUnitLimit (property) — Deterministic work-unit budget for every claim in this chain
-GeoSpecComponentInterferenceAllowance (type) [5 members] — Intentional component interference allowance accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
+GeoSpecComponentInterferenceAllowance (type) [lines 206-223] [5 members] — Intentional component interference allowance accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
   GeoSpecComponentInterferenceAllowance.kind (property)
   GeoSpecComponentInterferenceAllowance.left (property)
   GeoSpecComponentInterferenceAllowance.right (property)
   GeoSpecComponentInterferenceAllowance.maxVolume (property)
   GeoSpecComponentInterferenceAllowance.reason (property)
-GeoSpecComponentInterferenceExpectation (type) [3 members] — Component-interference expectation accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
+GeoSpecComponentInterferenceExpectation (type) [lines 225-237] [3 members] — Component-interference expectation accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
   GeoSpecComponentInterferenceExpectation.tolerance (property)
   GeoSpecComponentInterferenceExpectation.pairs (property)
   GeoSpecComponentInterferenceExpectation.allowances (property)
-GeoSpecComponentInterferencePairExpectation (type) [2 members] — A pair-specific component-interference check accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
+GeoSpecComponentInterferencePairExpectation (type) [lines 239-247] [2 members] — A pair-specific component-interference check accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
   GeoSpecComponentInterferencePairExpectation.left (property)
   GeoSpecComponentInterferencePairExpectation.right (property)
-GeoSpecConnectedComponentsExpectation (type) [3 members] — Connected-components expectation accepted by `expectGeo(...).toHaveConnectedComponents(...)`
+GeoSpecConnectedComponentsExpectation (type) [lines 249-260] [3 members] — Connected-components expectation accepted by `expectGeo(...).toHaveConnectedComponents(...)`
   GeoSpecConnectedComponentsExpectation.count (property)
   GeoSpecConnectedComponentsExpectation.tolerance (property)
   GeoSpecConnectedComponentsExpectation.toleranceMm (property)
-GeoSpecGeometrySelector (type) — Geometry selector used by inspection and spatial relationship matchers
-GeoSpecMatcher (type) [27 members] — Assertion chain returned by `expectGeo(subject)`
+GeoSpecGeometrySelector (type) [lines 262-296] — Geometry selector used by inspection and spatial relationship matchers
+GeoSpecMatcher (type) [lines 298-511] [27 members] — Assertion chain returned by `expectGeo(subject)`
   GeoSpecMatcher.not (property) — Core-owned negation
   GeoSpecMatcher.toSatisfyRationalPlate (method) — Assert the fixed rational plate contract
   GeoSpecMatcher.toSatisfyParallelPlaneDistance (method) — Assert the fixed parallel-plane distance contract
@@ -121,43 +121,43 @@ GeoSpecMatcher (type) [27 members] — Assertion chain returned by `expectGeo(su
   GeoSpecMatcher.toHaveFilletFeature (method) — Assert that BRep evidence contains a fillet feature with the…
   GeoSpecMatcher.toHaveMinimumWallThickness (method) — Assert that BRep evidence reports a minimum wall thickness satisfying…
   GeoSpecMatcher.toHaveVoidContinuity (method) — Assert that the declared waypoints share one connected void, stay…
-GeoSpecMassExpectation (type) [3 members] — Mass expectation accepted by `expectGeo(...).toHaveMass(...)`
+GeoSpecMassExpectation (type) [lines 513-524] [3 members] — Mass expectation accepted by `expectGeo(...).toHaveMass(...)`
   GeoSpecMassExpectation.value (property)
   GeoSpecMassExpectation.density (property)
   GeoSpecMassExpectation.tolerance (property)
-GeoSpecMeshIntegrityExpectation (type) [5 members] — Mesh integrity expectation accepted by `expectGeo(...).toHaveMeshIntegrity(...)`
+GeoSpecMeshIntegrityExpectation (type) [lines 526-557] [5 members] — Mesh integrity expectation accepted by `expectGeo(...).toHaveMeshIntegrity(...)`
   GeoSpecMeshIntegrityExpectation.finitePositions (property)
   GeoSpecMeshIntegrityExpectation.degenerateTriangles (property)
   GeoSpecMeshIntegrityExpectation.duplicateFaces (property)
   GeoSpecMeshIntegrityExpectation.watertight (property)
   GeoSpecMeshIntegrityExpectation.triangleCount (property)
-GeoSpecNoDiagnosticsExpectation (type) [1 members] — Diagnostic severities rejected by `expectGeo(...).toHaveNoDiagnostics(...)`
+GeoSpecNoDiagnosticsExpectation (type) [lines 559-565] [1 members] — Diagnostic severities rejected by `expectGeo(...).toHaveNoDiagnostics(...)`
   GeoSpecNoDiagnosticsExpectation.severities (property)
-GeoSpecMinimumWallThicknessExpectation (type) [2 members] — Minimum-wall-thickness expectation accepted by `expectGeo(...).toHaveMinimumWallThickness(...)`
+GeoSpecMinimumWallThicknessExpectation (type) [lines 567-575] [2 members] — Minimum-wall-thickness expectation accepted by `expectGeo(...).toHaveMinimumWallThickness(...)`
   GeoSpecMinimumWallThicknessExpectation.value (property)
   GeoSpecMinimumWallThicknessExpectation.tolerance (property)
-GeoSpecCircularHolePatternExpectation (type) [6 members] — Circular-hole-pattern expectation accepted by `expectGeo(...).toHaveCircularHolePattern(...)`
+GeoSpecCircularHolePatternExpectation (type) [lines 577-597] [6 members] — Circular-hole-pattern expectation accepted by `expectGeo(...).toHaveCircularHolePattern(...)`
   GeoSpecCircularHolePatternExpectation.count (property)
   GeoSpecCircularHolePatternExpectation.holeDiameter (property)
   GeoSpecCircularHolePatternExpectation.boltCircleDiameter (property)
   GeoSpecCircularHolePatternExpectation.axis (property)
   GeoSpecCircularHolePatternExpectation.center (property)
   GeoSpecCircularHolePatternExpectation.tolerance (property)
-GeoSpecFilletFeatureExpectation (type) [3 members] — Fillet-feature expectation accepted by `expectGeo(...).toHaveFilletFeature(...)`
+GeoSpecFilletFeatureExpectation (type) [lines 599-610] [3 members] — Fillet-feature expectation accepted by `expectGeo(...).toHaveFilletFeature(...)`
   GeoSpecFilletFeatureExpectation.radius (property)
   GeoSpecFilletFeatureExpectation.selection (property)
   GeoSpecFilletFeatureExpectation.tolerance (property)
-GeoSpecNumericExpectation (type) — Shared scalar expectation used by geometry measurements
-GeoSpecPlanarFaceExpectation (type) [4 members] — Planar-face expectation accepted by `expectGeo(...).toHavePlanarFace(...)`
+GeoSpecNumericExpectation (type) [lines 612-619] — Shared scalar expectation used by geometry measurements
+GeoSpecPlanarFaceExpectation (type) [lines 621-635] [4 members] — Planar-face expectation accepted by `expectGeo(...).toHavePlanarFace(...)`
   GeoSpecPlanarFaceExpectation.normal (property)
   GeoSpecPlanarFaceExpectation.offset (property)
   GeoSpecPlanarFaceExpectation.area (property)
   GeoSpecPlanarFaceExpectation.tolerance (property)
-GeoSpecPointExpectation (type) — Point expectation accepted by center and feature matchers
-GeoSpecProductStructureExpectation (type) [2 members] — Product-structure expectation accepted by `expectGeo(...).toHaveProductStructure(...)`
+GeoSpecPointExpectation (type) [lines 637-638] — Point expectation accepted by center and feature matchers
+GeoSpecProductStructureExpectation (type) [lines 640-648] [2 members] — Product-structure expectation accepted by `expectGeo(...).toHaveProductStructure(...)`
   GeoSpecProductStructureExpectation.names (property)
   GeoSpecProductStructureExpectation.count (property)
-GeoSpecSpatialRelationshipExpectation (type) [13 members] — One spatial relationship accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
+GeoSpecSpatialRelationshipExpectation (type) [lines 650-696] [13 members] — One spatial relationship accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
   GeoSpecSpatialRelationshipExpectation.id (property)
   GeoSpecSpatialRelationshipExpectation.kind (property)
   GeoSpecSpatialRelationshipExpectation.subject (property)
@@ -171,14 +171,14 @@ GeoSpecSpatialRelationshipExpectation (type) [13 members] — One spatial relati
   GeoSpecSpatialRelationshipExpectation.minVolume (property)
   GeoSpecSpatialRelationshipExpectation.maxVolume (property)
   GeoSpecSpatialRelationshipExpectation.reason (property)
-GeoSpecSpatialRelationshipsExpectation (type) [1 members] — Spatial relationship expectation accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
+GeoSpecSpatialRelationshipsExpectation (type) [lines 698-703] [1 members] — Spatial relationship expectation accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
   GeoSpecSpatialRelationshipsExpectation.relationships (property)
-GeoSpecStepUnitsExpectation (type) [1 members] — STEP unit expectation accepted by `expectGeo(...).toHaveStepUnits(...)`
+GeoSpecStepUnitsExpectation (type) [lines 705-710] [1 members] — STEP unit expectation accepted by `expectGeo(...).toHaveStepUnits(...)`
   GeoSpecStepUnitsExpectation.unit (property)
-GeoSpecSurfaceAreaExpectation (type) [2 members] — Surface-area expectation accepted by `expectGeo(...).toHaveSurfaceArea(...)`
+GeoSpecSurfaceAreaExpectation (type) [lines 712-720] [2 members] — Surface-area expectation accepted by `expectGeo(...).toHaveSurfaceArea(...)`
   GeoSpecSurfaceAreaExpectation.value (property)
   GeoSpecSurfaceAreaExpectation.tolerance (property)
-GeoSpecTopologyCountsExpectation (type) [8 members] — Topology-count expectation accepted by `expectGeo(...).toHaveTopologyCounts(...)`
+GeoSpecTopologyCountsExpectation (type) [lines 722-748] [8 members] — Topology-count expectation accepted by `expectGeo(...).toHaveTopologyCounts(...)`
   GeoSpecTopologyCountsExpectation.vertices (property)
   GeoSpecTopologyCountsExpectation.edges (property)
   GeoSpecTopologyCountsExpectation.wires (property)
@@ -187,24 +187,24 @@ GeoSpecTopologyCountsExpectation (type) [8 members] — Topology-count expectati
   GeoSpecTopologyCountsExpectation.solids (property)
   GeoSpecTopologyCountsExpectation.compounds (property)
   GeoSpecTopologyCountsExpectation.tolerance (property)
-GeoSpecValidBrepExpectation (type) [6 members] — Exact BRep validity expectation accepted by `expectGeo(...).toBeValidBrep(...)`
+GeoSpecValidBrepExpectation (type) [lines 750-774] [6 members] — Exact BRep validity expectation accepted by `expectGeo(...).toBeValidBrep(...)`
   GeoSpecValidBrepExpectation.maxTolerance (property)
   GeoSpecValidBrepExpectation.freeBounds (property)
   GeoSpecValidBrepExpectation.minEdgeLength (property)
   GeoSpecValidBrepExpectation.sameParameter (property)
   GeoSpecValidBrepExpectation.closedShells (property)
   GeoSpecValidBrepExpectation.closedWires (property)
-GeoSpecVoidContinuityExpectation (type) [5 members] — Void-continuity expectation accepted by `expectGeo(...).toHaveVoidContinuity(...)`
+GeoSpecVoidContinuityExpectation (type) [lines 776-816] [5 members] — Void-continuity expectation accepted by `expectGeo(...).toHaveVoidContinuity(...)`
   GeoSpecVoidContinuityExpectation.path (property) — Ordered waypoints (>= 1) known to lie in the void…
   GeoSpecVoidContinuityExpectation.material (property) — Occurrence names whose solids bound the void
   GeoSpecVoidContinuityExpectation.minCrossSection (property) — Minimum required bottleneck cross-section (mm²), sampled
   GeoSpecVoidContinuityExpectation.isolatedFrom (property) — Points that must NOT be reachable from the path void…
   GeoSpecVoidContinuityExpectation.bounds (property) — Region bounded for the proof (subject frame)
-GeoSpecVoidWaypoint (type) — One void-continuity waypoint
-GeoSpecVolumeExpectation (type) [2 members] — Volume expectation accepted by `expectGeo(...).toHaveVolume(...)`
+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) [11 members] — Basic exact or topology-derived BRep evidence consumed by early feature…
+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)
@@ -216,31 +216,31 @@ BrepEvidence (type) [11 members] — Basic exact or topology-derived BRep eviden
   BrepEvidence.chamferFeatures (property)
   BrepEvidence.filletFeatures (property)
   BrepEvidence.minimumWallThickness (property)
-GeometryFileFormat (type) — Geometry file formats understood by GeoSpec provenance
-GeometryCapability (type) [2 members] — Capability exposed by a loaded subject
+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) [6 members] — Diagnostic emitted by GeoSpec loaders, analyzers, and matchers
+GeometryDiagnostic (type) [lines 1083-1111] [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) [6 members] — Provenance recorded by GeoSpec loaders
+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) [5 members] — Source metadata for a loaded geometry subject
+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) [8 members] — Canonical P0 object under test for GeoSpec
+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)
@@ -249,14 +249,14 @@ GeometrySubject (type) [8 members] — Canonical P0 object under test for GeoSpe
   GeometrySubject.provenance (property)
   GeometrySubject.capabilities (property)
   GeometrySubject.diagnostics (property)
-GeometrySubjectMeshEvidence (type) [2 members] — Wire-safe mesh summary carried by an opaque geometry subject
+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) [2 members] — Mesh evidence loaded from geometry bytes or buffers
+MeshEvidence (type) [lines 1195-1203] [2 members] — Mesh evidence loaded from geometry bytes or buffers
   MeshEvidence.format (property)
   MeshEvidence.stats (property)
-MeshFileFormat (type) — Geometry file formats supported by the P0 mesh loader
-MeshQualityStats (type) [8 members] — Triangle quality and scalar mesh metrics used by P0 GeoSpec…
+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)
@@ -265,7 +265,7 @@ MeshQualityStats (type) [8 members] — Triangle quality and scalar mesh metrics
   MeshQualityStats.surfaceArea (property)
   MeshQualityStats.signedVolume (property)
   MeshQualityStats.centerOfMass (property)
-MeshTriangle (type) [7 members] — One triangle from mesh evidence, in geometry document coordinates
+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)
@@ -273,29 +273,29 @@ MeshTriangle (type) [7 members] — One triangle from mesh evidence, in geometry
   MeshTriangle.c (property)
   MeshTriangle.center (property)
   MeshTriangle.area (property)
-StepEvidence (type) [6 members] — STEP/XDE evidence extracted while loading a STEP subject
+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) — Numeric 3D vector
-GeoSpecVec3 (type) — Numeric 3D vector
-GeoSpecExportRoute (type) — Runtime route metadata used to decide whether a runtime export…
-RuntimeBackedModelFormat (type)
-RuntimeClientWithRoutes (type) [3 members] — Runtime client shape for route-aware Tau runtimes
+Vec3 (type) [lines 1340-1341] — Numeric 3D vector
+GeoSpecVec3 (type) [lines 1343-1344] — Numeric 3D vector
+GeoSpecExportRoute (type) [lines 1346-1359] — Runtime route metadata used to decide whether a runtime export…
+RuntimeBackedModelFormat (type) [lines 1361-1361]
+RuntimeClientWithRoutes (type) [lines 1363-1385] [3 members] — Runtime client shape for route-aware Tau runtimes
   RuntimeClientWithRoutes.open (property)
   RuntimeClientWithRoutes.on (method)
   RuntimeClientWithRoutes.bestRouteFor (method)
-RuntimeExportIntent (type) [3 members] — Resolved runtime export request and provenance for a GeoSpec model…
+RuntimeExportIntent (type) [lines 1387-1398] [3 members] — Resolved runtime export request and provenance for a GeoSpec model…
   RuntimeExportIntent.options (property)
   RuntimeExportIntent.provenance (property)
   RuntimeExportIntent.sourceUnit (property)
-RuntimeExportIntentFailure (type) [2 members] — Structured failure returned when a runtime cannot provide the requested…
+RuntimeExportIntentFailure (type) [lines 1400-1408] [2 members] — Structured failure returned when a runtime cannot provide the requested…
   RuntimeExportIntentFailure.success (property)
   RuntimeExportIntentFailure.diagnostics (property)
-CreateModelLoaderOptions (type) [10 members] — Defaults accepted by {@link import ('./load-model.js').createModelLoader}
+CreateModelLoaderOptions (type) [lines 1410-1462] [10 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…
@@ -306,24 +306,25 @@ CreateModelLoaderOptions (type) [10 members] — Defaults accepted by {@link imp
   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
-GeoSpecLoadRegion (type) [2 members] — Axis-aligned crop box in canonical Z-up millimetres
+GeoSpecLoadRegion (type) [lines 1464-1472] [2 members] — Axis-aligned crop box in canonical Z-up millimetres
   GeoSpecLoadRegion.min (property)
   GeoSpecLoadRegion.max (property)
-GeoSpecModelFormat (type) — Geometry formats accepted by {@link import ('./load-model.js').loadModel}
-GeoSpecModelLoader (type) — Function shape used by GeoSpec runners to provide model loading…
-ManagedGeoSpecModelLoader (type) [1 members] — A configured loader whose shared runtime can be released with…
+GeoSpecModelFormat (type) [lines 1474-1475] — Geometry formats accepted by {@link import ('./load-model.js').loadModel}
+GeoSpecModelLoader (type) [lines 1477-1478] — Function shape used by GeoSpec runners to provide model loading…
+ManagedGeoSpecModelLoader (type) [lines 1480-1486] [1 members] — A configured loader whose shared runtime can be released with…
   ManagedGeoSpecModelLoader.dispose (method)
-GeoSpecRuntimeClient (type) [2 members] — Runtime client surface consumed by `geospec/model`
+GeoSpecRuntimeClient (type) [lines 1488-1512] [2 members] — Runtime client surface consumed by `geospec/model`
   GeoSpecRuntimeClient.open (property)
   GeoSpecRuntimeClient.on (method)
-GeoSpecRuntimeClientFactory (type) — Lazy runtime factory consumed by `geospec/model`
-GeoSpecRuntimeSourceAdapter (type) [3 members] — Explicit source adapter for formats whose runtime setup is not…
+GeoSpecRuntimeClientFactory (type) [lines 1514-1515] — Lazy runtime factory consumed by `geospec/model`
+GeoSpecRuntimeSourceAdapter (type) [lines 1517-1535] [3 members] — Explicit source adapter for formats whose runtime setup is not…
   GeoSpecRuntimeSourceAdapter.id (property)
   GeoSpecRuntimeSourceAdapter.extensions (property)
   GeoSpecRuntimeSourceAdapter.createRuntime (method)
-LoadModelCodeOptions (type) [13 members] — Inline code-CAD model load options
+LoadModelCodeOptions (type) [lines 1537-1620] [14 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
   LoadModelCodeOptions.format (property) — Geometry format to export
   LoadModelCodeOptions.parameters (property) — Explicit parameters passed to the runtime
   LoadModelCodeOptions.runtime (property) — Runtime client or lazy runtime factory
@@ -335,8 +336,9 @@ LoadModelCodeOptions (type) [13 members] — Inline code-CAD model load options
   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 kernel crops the model to before…
-LoadModelFileOptions (type) [12 members] — Filesystem-backed model load options
-  LoadModelFileOptions.file (property) — Project-relative model file to render
+LoadModelFileOptions (type) [lines 1622-1707] [13 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) — Project root used by runtime integrations
   LoadModelFileOptions.format (property) — Geometry format to export
   LoadModelFileOptions.parameters (property) — Explicit parameters passed to the runtime
@@ -348,7 +350,8 @@ LoadModelFileOptions (type) [12 members] — Filesystem-backed model load option
   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 kernel crops the model to before…
-LoadModelOptions (type) [7 members] — Options accepted by {@link import ('./load-model.js').loadModel}
+LoadModelOptions (type) [lines 1709-1734] [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 runtime
   LoadModelOptions.stepStreaming (property) — STEP reader strategy used for STEP exports
@@ -356,9 +359,10 @@ LoadModelOptions (type) [7 members] — Options accepted by {@link import ('./lo
   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) [12 members] — Direct geometry-source model load options
+LoadModelSourceOptions (type) [lines 1736-1816] [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…
   LoadModelSourceOptions.format (property) — Source geometry format
   LoadModelSourceOptions.path (property) — Source path recorded in provenance
   LoadModelSourceOptions.name (property) — Human-readable source name recorded in provenance
@@ -372,6 +376,6 @@ LoadModelSourceOptions (type) [12 members] — Direct geometry-source model load
 
 ## Classes — `api-classes.md`
 
-GeoSpecModelLoadError (class) [2 members] — Error thrown by {@link import ('./load-model.js').loadModel} when geometry cannot be…
+GeoSpecModelLoadError (class) [lines 5-13] [2 members] — Error thrown by {@link import ('./load-model.js').loadModel} when geometry cannot be…
   GeoSpecModelLoadError.diagnostics (property) — Structured diagnostics explaining why model loading failed
   GeoSpecModelLoadError.constructor (constructor)