geospec 0.1.0-beta.7 → 0.1.0-beta.8

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

@@ -1,6 +1,6 @@
 # geospec public API index
 
-geospec 0.1.0-beta.7 · 875 symbols · extracted by TypeScript 5.9.3.
+geospec 0.1.0-beta.8 · 888 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.
 
@@ -21,30 +21,33 @@ isGeoSpecJsonValue (function) [lines 50-52] — Runtime JSON-value guard used at
 toGeoSpecProtocolJson (function) [lines 54-56] — Convert an authoring value to protocol JSON, including the two…
 createModelLoader (function) [lines 58-61] — Create a {@link loadModel} function over a host-supplied compiled engine
 loadModel (function) [lines 63-68] — Load a CAD model into GeoSpec evidence
-resolveRuntimeExportIntent (function) [lines 70-83]
-clearCollectorGlobals (function) [lines 85-86]
-createCollector (function) [lines 88-91] — Create the collector used by the embedded GeoSpec runner
-installCollector (function) [lines 93-94]
-compileGeoSpecTestNamePattern (function) [lines 96-106] — Compile a Vitest-style test-name pattern once for a GeoSpec run
-filterGeoSpecTests (function) [lines 108-112] — Filter collected GeoSpec tests by compiled test-name pattern
-matchesGeoSpecTestName (function) [lines 114-118] — Return true when a collected GeoSpec test matches the supplied…
-discoverGeoSpecFiles (function) [lines 120-124] — Discover GeoSpec test files from exact files or directory roots
-isGeoSpecTestFile (function) [lines 126-129] — Return true when a project-relative path names a GeoSpec test…
-runGeoSpecModule (function) [lines 131-134] — Execute an ESM GeoSpec module using the shared Tau VM…
-isGeoSpecTimeoutCode (function) [lines 136-139] — Whether a diagnostic or issue code belongs to the GeoSpec…
-createNativeGeoSpecRunner (function) [lines 141-144] — Compose compiled assertion and model bindings with the SDK's serial…
-allocateNativePoolGrants (function) [lines 146-153] — Assign a bounded CPU budget across already-selected worker isolates
-createGeoSpecNativeModelLoader (function) [lines 155-158] — Create a native model loader that admits actual STEP/GLB bytes…
-createNoMatchingGeoSpecTestsIssue (function) [lines 160-162] — Create a run-level issue when filters select no tests
-createGeoSpecAssertionClient (function) [lines 164-167] — Create a standalone native GeoSpec assertion client
-createGeoSpecMatcherMethods (function) [lines 169-176] — Create the one registry-derived matcher surface used by every JavaScript…
-evaluateGeoSpecNativeQuery (function) [lines 178-182] — Submit an ancillary query with positive polarity through the native…
-resolveGeoSpecMaximumWorkUnitLimit (function) [lines 184-188] — Resolve a host's largest authored work-unit budget
-createGeoSpecVitestAdapter (function) [lines 190-193] — Create Vitest matchers over an existing runner-independent client
-installGeoSpecVitest (function) [lines 195-198] — Register GeoSpec matchers and their settlement hook in the active…
-setupGeoSpecVitest (function) [lines 200-203] — Create a native client and register it with the active…
-exportTauProjectArtifact (function) [lines 205-209] — Export one Tau project from Runtime's coherent source snapshot
-loadGeoSpecConfig (function) [lines 211-215] — Load one trusted project config using Node's native module loader
+commandExporter (function) [lines 70-74] — Create a model exporter that runs a command speaking GeoSpec…
+clearCollectorGlobals (function) [lines 76-77]
+createCollector (function) [lines 79-82] — Create the collector used by the embedded GeoSpec runner
+installCollector (function) [lines 84-85]
+compileGeoSpecTestNamePattern (function) [lines 87-97] — Compile a Vitest-style test-name pattern once for a GeoSpec run
+filterGeoSpecTests (function) [lines 99-103] — Filter collected GeoSpec tests by compiled test-name pattern
+matchesGeoSpecTestName (function) [lines 105-109] — Return true when a collected GeoSpec test matches the supplied…
+discoverGeoSpecFiles (function) [lines 111-115] — Discover GeoSpec test files from exact files or directory roots
+isGeoSpecTestFile (function) [lines 117-120] — Return true when a project-relative path names a GeoSpec test…
+runGeoSpecModule (function) [lines 122-125] — Execute an ESM GeoSpec module using the shared Tau VM…
+isGeoSpecTimeoutCode (function) [lines 127-130] — Whether a diagnostic or issue code belongs to the GeoSpec…
+createNativeGeoSpecRunner (function) [lines 132-135] — Compose compiled assertion and model bindings with the SDK's serial…
+allocateNativePoolGrants (function) [lines 137-144] — Assign a bounded CPU budget across already-selected worker isolates
+createGeoSpecNativeModelLoader (function) [lines 146-149] — Create a native model loader that admits actual STEP/GLB bytes…
+createNodeVmFileSystem (function) [lines 151-154] — Create a Node `VmFileSystem` rooted at `root`
+resolveUnderRoot (function) [lines 156-161] — Resolve one VM path to a real path under the…
+createNoMatchingGeoSpecTestsIssue (function) [lines 163-165] — Create a run-level issue when filters select no tests
+createGeoSpecPoolRunner (function) [lines 167-170] — Create the host-agnostic pool runner
+startGeoSpecPoolWorkerHost (function) [lines 172-175] — Serve shards until the host says shutdown
+createGeoSpecAssertionClient (function) [lines 177-180] — Create a standalone native GeoSpec assertion client
+createGeoSpecMatcherMethods (function) [lines 182-189] — Create the one registry-derived matcher surface used by every JavaScript…
+evaluateGeoSpecNativeQuery (function) [lines 191-195] — Submit an ancillary query with positive polarity through the native…
+resolveGeoSpecMaximumWorkUnitLimit (function) [lines 197-201] — Resolve a host's largest authored work-unit budget
+createGeoSpecVitestAdapter (function) [lines 203-206] — Create Vitest matchers over an existing runner-independent client
+installGeoSpecVitest (function) [lines 208-211] — Register GeoSpec matchers and their settlement hook in the active…
+setupGeoSpecVitest (function) [lines 213-216] — Create a native client and register it with the active…
+loadGeoSpecConfig (function) [lines 218-222] — Load one trusted project config using Node's native module loader
 
 ## Constants — `public-api-constants.md`
 
@@ -378,26 +381,30 @@ ConnectedComponentsResult (type) [lines 1548-1559] [3 members] — Full connecte
   ConnectedComponentsResult.count (property)
   ConnectedComponentsResult.clusters (property)
   ConnectedComponentsResult.gaps (property)
-GeometryEvidenceDiagnostic (type) [lines 1561-1580] [6 members] — Diagnostic form permitted inside a wire-safe subject snapshot
+GeometryExportIntent (type) [lines 1561-1628] [3 members] — Runtime export intent recorded when GeoSpec obtains evidence from a…
+  GeometryExportIntent.requested (property)
+  GeometryExportIntent.honored (property)
+  GeometryExportIntent.route (property)
+GeometryEvidenceDiagnostic (type) [lines 1630-1649] [6 members] — Diagnostic form permitted inside a wire-safe subject snapshot
   GeometryEvidenceDiagnostic.code (property)
   GeometryEvidenceDiagnostic.severity (property)
   GeometryEvidenceDiagnostic.message (property)
   GeometryEvidenceDiagnostic.suggestion (property)
   GeometryEvidenceDiagnostic.spatial (property)
   GeometryEvidenceDiagnostic.details (property)
-GeometryStats (type) [lines 1582-1603] [6 members] — Statistics about a parsed GLB geometry
+GeometryStats (type) [lines 1651-1672] [6 members] — Statistics about a parsed GLB geometry
   GeometryStats.vertexCount (property)
   GeometryStats.meshCount (property)
   GeometryStats.triangleCount (property)
   GeometryStats.meshQuality (property)
   GeometryStats.watertight (property)
   GeometryStats.boundingBox (property)
-PrimitiveRecord (type) [lines 1605-1621] [4 members] — One TRIANGLES primitive with identity for spatial-test feedback
+PrimitiveRecord (type) [lines 1674-1690] [4 members] — One TRIANGLES primitive with identity for spatial-test feedback
   PrimitiveRecord.name (property) — The glTF node / mesh name (from kernel ShapeConfig.name when…
   PrimitiveRecord.color (property)
   PrimitiveRecord.vertices (property)
   PrimitiveRecord.aabb (property)
-WatertightFailure (type) [lines 1623-1658] [7 members] — Structured payload when `watertight` fails
+WatertightFailure (type) [lines 1692-1727] [7 members] — Structured payload when `watertight` fails
   WatertightFailure.irregularEdges (property) — Edges with incidence ≠ 2 (open or non-manifold)
   WatertightFailure.openBoundaryEdges (property) — Edges shared by exactly one triangle (open boundary)
   WatertightFailure.nonManifoldEdges (property) — Edges shared by more than two triangles (over-adjacent/non-manifold)
@@ -405,24 +412,24 @@ WatertightFailure (type) [lines 1623-1658] [7 members] — Structured payload wh
   WatertightFailure.irregularEdgeClusters (property)
   WatertightFailure.irregularEdgeFraction (property)
   WatertightFailure.perPrimitive (property)
-WatertightIrregularEdgeCluster (type) [lines 1660-1682] [4 members] — Spatial cluster of related irregular edges
+WatertightIrregularEdgeCluster (type) [lines 1729-1751] [4 members] — Spatial cluster of related irregular edges
   WatertightIrregularEdgeCluster.kind (property)
   WatertightIrregularEdgeCluster.edgeCount (property)
   WatertightIrregularEdgeCluster.aabb (property)
   WatertightIrregularEdgeCluster.samples (property)
-WatertightIrregularEdgeKind (type) [lines 1684-1685] — Class of irregular mesh edge found during watertight analysis
-WatertightIrregularEdgeSample (type) [lines 1687-1707] [6 members] — Representative irregular edge, in glTF document coordinates
+WatertightIrregularEdgeKind (type) [lines 1753-1754] — Class of irregular mesh edge found during watertight analysis
+WatertightIrregularEdgeSample (type) [lines 1756-1776] [6 members] — Representative irregular edge, in glTF document coordinates
   WatertightIrregularEdgeSample.start (property)
   WatertightIrregularEdgeSample.end (property)
   WatertightIrregularEdgeSample.center (property)
   WatertightIrregularEdgeSample.incidentTriangleCount (property)
   WatertightIrregularEdgeSample.primitives (property)
   WatertightIrregularEdgeSample.color (property)
-WatertightPrimitiveBreakdown (type) [lines 1709-1720] [3 members] — Per-primitive watertight diagnostic (local tessellation only)
+WatertightPrimitiveBreakdown (type) [lines 1778-1789] [3 members] — Per-primitive watertight diagnostic (local tessellation only)
   WatertightPrimitiveBreakdown.name (property)
   WatertightPrimitiveBreakdown.boundaryEdges (property)
   WatertightPrimitiveBreakdown.loopCentroid (property)
-WatertightResult (type) [lines 1722-1757] [9 members] — Full watertight analysis (global + per-primitive breakdown)
+WatertightResult (type) [lines 1791-1826] [9 members] — Full watertight analysis (global + per-primitive breakdown)
   WatertightResult.watertight (property)
   WatertightResult.irregularEdges (property)
   WatertightResult.openBoundaryEdges (property)
@@ -432,87 +439,92 @@ WatertightResult (type) [lines 1722-1757] [9 members] — Full watertight analys
   WatertightResult.totalEdges (property)
   WatertightResult.irregularEdgeFraction (property)
   WatertightResult.perPrimitive (property)
-GeoSpecExportRoute (type) [lines 1759-1772] — Runtime route metadata used to decide whether a runtime export…
-RuntimeBackedModelFormat (type) [lines 1774-1774]
-RuntimeClientWithRoutes (type) [lines 1776-1798] [3 members] — Runtime client shape for route-aware Tau runtimes
-  RuntimeClientWithRoutes.open (property)
-  RuntimeClientWithRoutes.on (method)
-  RuntimeClientWithRoutes.bestRouteFor (method)
-RuntimeExportIntent (type) [lines 1800-1811] [3 members] — Resolved runtime export request and provenance for a GeoSpec model…
-  RuntimeExportIntent.options (property)
-  RuntimeExportIntent.provenance (property)
-  RuntimeExportIntent.sourceUnit (property)
-RuntimeExportIntentFailure (type) [lines 1813-1821] [2 members] — Structured failure returned when a runtime cannot provide the requested…
-  RuntimeExportIntentFailure.success (property)
-  RuntimeExportIntentFailure.diagnostics (property)
-CreateModelLoaderOptions (type) [lines 1823-1875] [10 members] — Defaults accepted by {@link import ('./load-model.js').createModelLoader}
+CreateModelLoaderOptions (type) [lines 1828-1875] [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…
-  CreateModelLoaderOptions.runtime (property) — Runtime client or lazy runtime factory
-  CreateModelLoaderOptions.sourceAdapters (property) — Source-specific runtime adapters, e.g
-  CreateModelLoaderOptions.projectPath (property) — Project root used by runtime integrations
+  CreateModelLoaderOptions.exporters (property) — Model exporters for source-kind files
+  CreateModelLoaderOptions.projectPath (property) — Absolute project root passed to the exporter
   CreateModelLoaderOptions.stepStreaming (property) — STEP reader strategy used for STEP sources or exports
   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) [lines 1877-1885] [2 members] — Axis-aligned crop box in canonical Z-up millimetres
+GeoSpecExporterCapabilities (type) [lines 1877-1899] [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 1901-1902] — Formats a {@link GeoSpecModelExporter} may produce from a source-kind file
+GeoSpecLoadRegion (type) [lines 1904-1912] [2 members] — Axis-aligned crop box in canonical Z-up millimetres
   GeoSpecLoadRegion.min (property)
   GeoSpecLoadRegion.max (property)
-GeoSpecModelFormat (type) [lines 1887-1888] — Geometry formats accepted by {@link import ('./load-model.js').loadModel}
-GeoSpecModelLoader (type) [lines 1890-1891] — Function shape used by GeoSpec runners to provide model loading…
-ManagedGeoSpecModelLoader (type) [lines 1893-1899] [1 members] — A configured loader whose shared runtime can be released with…
+GeoSpecModelArtifact (type) [lines 1914-1957] [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
+  GeoSpecModelArtifact.resources (property) — External resources the primary bytes reference, by name
+  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 1959-1993] [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 1995-2039] [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)
+  GeoSpecModelExportRequest.parameters (property) — JSON-serialisable parameter values
+  GeoSpecModelExportRequest.mesh (property) — Tessellation tolerances for a mesh export
+  GeoSpecModelExportRequest.region (property) — Millimetre crop box
+  GeoSpecModelExportRequest.inline (property) — Source text keyed by project-relative path
+  GeoSpecModelExportRequest.signal (property)
+GeoSpecModelFormat (type) [lines 2041-2042] — Geometry formats accepted by {@link import ('./load-model.js').loadModel}
+GeoSpecModelLoader (type) [lines 2044-2045] — Function shape used by GeoSpec runners to provide model loading…
+ManagedGeoSpecModelLoader (type) [lines 2047-2053] [1 members] — A configured loader whose admissions can be released with its…
   ManagedGeoSpecModelLoader.dispose (method)
-GeoSpecRuntimeClient (type) [lines 1901-1925] [2 members] — Runtime client surface consumed by `geospec/model`
-  GeoSpecRuntimeClient.open (property)
-  GeoSpecRuntimeClient.on (method)
-GeoSpecRuntimeClientFactory (type) [lines 1927-1928] — Lazy runtime factory consumed by `geospec/model`
-GeoSpecRuntimeSourceAdapter (type) [lines 1930-1948] [3 members] — Explicit source adapter for formats whose runtime setup is not…
-  GeoSpecRuntimeSourceAdapter.id (property)
-  GeoSpecRuntimeSourceAdapter.extensions (property)
-  GeoSpecRuntimeSourceAdapter.createRuntime (method)
+GeoSpecConsumedSources (type) [lines 2055-2059] — The source files one export read, each with its SHA-256…
 
 ## Types (2) — `public-api-types-2.md`
 
-LoadModelCodeOptions (type) [lines 5-88] [14 members] — Inline code-CAD model load options
+LoadModelCodeOptions (type) [lines 5-77] [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
   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
-  LoadModelCodeOptions.sourceAdapters (property) — Source-specific runtime adapters, e.g
-  LoadModelCodeOptions.projectPath (property) — Project root used by runtime integrations
+  LoadModelCodeOptions.parameters (property) — Explicit parameters passed to the exporter
+  LoadModelCodeOptions.projectPath (property) — Absolute project root passed to the exporter
   LoadModelCodeOptions.stepStreaming (property) — STEP reader strategy used for STEP exports
   LoadModelCodeOptions.mesh (property) — Whether STEP loading should also produce mesh evidence
   LoadModelCodeOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
   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) [lines 90-175] [13 members] — Filesystem-backed model load options
+  LoadModelCodeOptions.region (property) — Axis-aligned millimetre box the exporter crops the model to before…
+LoadModelFileOptions (type) [lines 79-153] [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) — Project root used by runtime integrations
+  LoadModelFileOptions.projectPath (property) — Absolute project root passed to the exporter
   LoadModelFileOptions.format (property) — Geometry format to export
-  LoadModelFileOptions.parameters (property) — Explicit parameters passed to the runtime
-  LoadModelFileOptions.runtime (property) — Runtime client or lazy runtime factory
-  LoadModelFileOptions.sourceAdapters (property) — Source-specific runtime adapters, e.g
+  LoadModelFileOptions.parameters (property) — Explicit parameters passed to the exporter
   LoadModelFileOptions.stepStreaming (property) — STEP reader strategy used for STEP exports
   LoadModelFileOptions.mesh (property) — Whether STEP loading should also produce mesh evidence
   LoadModelFileOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
   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) [lines 177-202] [8 members] — Options accepted by {@link import ('./load-model.js').loadModel}
+  LoadModelFileOptions.region (property) — Axis-aligned millimetre box the exporter crops the model to before…
+LoadModelOptions (type) [lines 155-180] [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.parameters (property) — Explicit parameters passed to the exporter
   LoadModelOptions.stepStreaming (property) — STEP reader strategy used for STEP exports
   LoadModelOptions.mesh (property) — Whether STEP loading should also produce mesh evidence
   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 204-284] [13 members] — Direct geometry-source model load options
+LoadModelSourceOptions (type) [lines 182-262] [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…
@@ -526,7 +538,14 @@ LoadModelSourceOptions (type) [lines 204-284] [13 members] — Direct geometry-s
   LoadModelSourceOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
   LoadModelSourceOptions.meshAngularToleranceDegrees (property) — Angular tolerance in degrees used while meshing exact BRep evidence
   LoadModelSourceOptions.workUnitLimit (property) — Default work-unit budget for every claim on this subject
-GeoSpecCollector (type) [lines 286-315] [7 members] — Collects suites, tests, assertions, and async completion state for one…
+CommandExporterOptions (type) [lines 264-294] [6 members] — Options for {@link commandExporter}
+  CommandExporterOptions.id (property)
+  CommandExporterOptions.extensions (property) — File extensions without the dot, or `'*'`
+  CommandExporterOptions.command (property) — Executable and leading arguments, such as `['python', 'export.py']`
+  CommandExporterOptions.capabilities (property) — What the command can do
+  CommandExporterOptions.cwd (property) — Working directory of the command
+  CommandExporterOptions.env (property) — Extra environment variables, merged over this process's
+GeoSpecCollector (type) [lines 296-325] [7 members] — Collects suites, tests, assertions, and async completion state for one…
   GeoSpecCollector.tests (property)
   GeoSpecCollector.describe (method)
   GeoSpecCollector.describeSkip (method)
@@ -534,51 +553,49 @@ GeoSpecCollector (type) [lines 286-315] [7 members] — Collects suites, tests,
   GeoSpecCollector.itSkip (method)
   GeoSpecCollector.expectGeo (method)
   GeoSpecCollector.waitForCompletion (method)
-GeoSpecCollectorOptions (type) [lines 317-333] [4 members] — Per-module collector configuration
-  GeoSpecCollectorOptions.matcherWallBackstop (property)
-  GeoSpecCollectorOptions.forensic (property)
+GeoSpecCollectorOptions (type) [lines 327-337] [2 members] — Per-module collector configuration
   GeoSpecCollectorOptions.nativeAssertions (property)
   GeoSpecCollectorOptions.onTestEvent (property) — Observes each selected test as it starts and settles, for…
-GeoSpecTestNamePattern (type) [lines 335-336] — Compiled Vitest-style test-name pattern used by a GeoSpec run
-GeoSpecTimeoutCode (type) [lines 338-339] — One GeoSpec timeout code
-DiscoverGeoSpecFilesOptions (type) [lines 341-362] [6 members] — Options for recursive GeoSpec test discovery
+GeoSpecTestNamePattern (type) [lines 339-340] — Compiled Vitest-style test-name pattern used by a GeoSpec run
+GeoSpecTimeoutCode (type) [lines 342-343] — One GeoSpec timeout code
+DiscoverGeoSpecFilesOptions (type) [lines 345-366] [6 members] — Options for recursive GeoSpec test discovery
   DiscoverGeoSpecFilesOptions.filesystem (property)
   DiscoverGeoSpecFilesOptions.projectPath (property)
   DiscoverGeoSpecFilesOptions.files (property)
   DiscoverGeoSpecFilesOptions.include (property)
   DiscoverGeoSpecFilesOptions.exclude (property)
   DiscoverGeoSpecFilesOptions.ignoredDirectories (property)
-GeoSpecDiscoveryFileKind (type) [lines 364-365] — File kind returned by a GeoSpec discovery filesystem
-GeoSpecDiscoveryFileStat (type) [lines 367-372] [1 members] — Minimal stat object required for recursive GeoSpec test discovery
+GeoSpecDiscoveryFileKind (type) [lines 368-369] — File kind returned by a GeoSpec discovery filesystem
+GeoSpecDiscoveryFileStat (type) [lines 371-376] [1 members] — Minimal stat object required for recursive GeoSpec test discovery
   GeoSpecDiscoveryFileStat.kind (property)
-GeoSpecDiscoveryFileSystem (type) [lines 374-385] [2 members] — Minimal filesystem contract used by GeoSpec test discovery
+GeoSpecDiscoveryFileSystem (type) [lines 378-389] [2 members] — Minimal filesystem contract used by GeoSpec test discovery
   GeoSpecDiscoveryFileSystem.readdir (method)
   GeoSpecDiscoveryFileSystem.stat (method)
-GeoSpecDiscoveryResult (type) [lines 387-396] [2 members] — Result returned by recursive GeoSpec test discovery
+GeoSpecDiscoveryResult (type) [lines 391-400] [2 members] — Result returned by recursive GeoSpec test discovery
   GeoSpecDiscoveryResult.files (property)
   GeoSpecDiscoveryResult.unmatchedRoots (property)
-GeoSpecModuleBundleCache (type) [lines 398-415] — Worker-local cache for successful GeoSpec bundles
-GeoSpecRunFailure (type) [lines 417-439] [6 members] — Failed GeoSpec run result
+GeoSpecModuleBundleCache (type) [lines 402-419] — Worker-local cache for successful GeoSpec bundles
+GeoSpecRunFailure (type) [lines 421-443] [6 members] — Failed GeoSpec run result
   GeoSpecRunFailure.success (property)
   GeoSpecRunFailure.issues (property)
   GeoSpecRunFailure.bundle (property)
   GeoSpecRunFailure.accounting (property)
   GeoSpecRunFailure.lineage (property)
   GeoSpecRunFailure.tests (property) — Tests registered before a module execution failure, including their retained…
-GeoSpecRunResult (type) [lines 441-453] [5 members] — Result returned by {@link import ('./run-geospec-module.js').runGeoSpecModule}
+GeoSpecRunResult (type) [lines 445-457] [5 members] — Result returned by {@link import ('./run-geospec-module.js').runGeoSpecModule}
   GeoSpecRunResult.success (property)
   GeoSpecRunResult.bundle (property)
   GeoSpecRunResult.accounting (property)
   GeoSpecRunResult.lineage (property)
   GeoSpecRunResult.tests (property) — Tests registered before a module execution failure, including their retained…
-GeoSpecRunSuccess (type) [lines 455-477] [6 members] — Successful GeoSpec run result
+GeoSpecRunSuccess (type) [lines 459-481] [6 members] — Successful GeoSpec run result
   GeoSpecRunSuccess.success (property)
   GeoSpecRunSuccess.passed (property) — True only when selected tests completed successfully with coherent available…
   GeoSpecRunSuccess.tests (property)
   GeoSpecRunSuccess.bundle (property)
   GeoSpecRunSuccess.accounting (property)
   GeoSpecRunSuccess.lineage (property)
-GeoSpecTestCase (type) [lines 479-516] [7 members] — A collected GeoSpec test case
+GeoSpecTestCase (type) [lines 483-520] [7 members] — A collected GeoSpec test case
   GeoSpecTestCase.ordinal (property) — Registration ordinal before filtering, scoped to the source module's collection
   GeoSpecTestCase.suite (property) — Hierarchical suite path
   GeoSpecTestCase.name (property) — Test case name
@@ -586,49 +603,46 @@ GeoSpecTestCase (type) [lines 479-516] [7 members] — A collected GeoSpec test
   GeoSpecTestCase.status (property) — Final test status
   GeoSpecTestCase.diagnostics (property) — Structured diagnostics emitted by test execution
   GeoSpecTestCase.durationMs (property) — Wall-clock cost of the test body plus its pending assertions,…
-GeoSpecTestEvent (type) [lines 518-526] [2 members] — A selected test starting or settling inside a module run
+GeoSpecTestEvent (type) [lines 522-530] [2 members] — A selected test starting or settling inside a module run
   GeoSpecTestEvent.type (property)
   GeoSpecTestEvent.test (property)
-GeoSpecTestStatus (type) [lines 528-529] — Test case status after runner collection
-RunGeoSpecModuleOptions (type) [lines 531-606] [12 members] — Options for executing a GeoSpec ESM test module
+GeoSpecTestStatus (type) [lines 532-533] — Test case status after runner collection
+RunGeoSpecModuleOptions (type) [lines 535-600] [10 members] — Options for executing a GeoSpec ESM test module
   RunGeoSpecModuleOptions.filesystem (property) — Filesystem containing the test module and its project imports
   RunGeoSpecModuleOptions.entryPath (property) — Filesystem-root-relative ESM test entry path
   RunGeoSpecModuleOptions.testNamePattern (property) — JavaScript regular expression matched against full `suite > test` names
   RunGeoSpecModuleOptions.testTimeout (property) — Timeout for async test callbacks, in milliseconds
-  RunGeoSpecModuleOptions.matcherWallBackstop (property) — Milliseconds
-  RunGeoSpecModuleOptions.forensic (property) — Emit structured forensic events for this run
   RunGeoSpecModuleOptions.onTestEvent (property) — Observes each selected test as it starts and settles, for…
   RunGeoSpecModuleOptions.nativeAssertions (property) — Host-provided protocol-3 compiled assertion client
   RunGeoSpecModuleOptions.nativeModelLoader (property) — Host-composed identity loader
   RunGeoSpecModuleOptions.builtinModules (property) — Additional in-memory modules made available to the VM
   RunGeoSpecModuleOptions.bundleCache (property) — Successful bundle cache owned by a serial runner worker
   RunGeoSpecModuleOptions.collectOnly (property) — List-only collection pass (R3 shard splitting)
-GeoSpecNativeRunnerAssertions (type) [lines 608-625] [6 members] — Native assertion options whose engine can also admit and release…
+GeoSpecNativeRunnerAssertions (type) [lines 602-619] [6 members] — Native assertion options whose engine can also admit and release…
   GeoSpecNativeRunnerAssertions.claimId (property)
   GeoSpecNativeRunnerAssertions.evidenceProfile (property) — Success-evidence profile of every claim and query
   GeoSpecNativeRunnerAssertions.subjectSlot (property)
   GeoSpecNativeRunnerAssertions.workUnitLimit (property)
   GeoSpecNativeRunnerAssertions.maximumWorkUnitLimit (property) — The largest `workUnitLimit` a spec may author in `loadModel` or…
   GeoSpecNativeRunnerAssertions.engine (property)
-GeoSpecNativeRunnerOptions (type) [lines 627-650] [5 members] — Options for the native serial runner
+GeoSpecNativeRunnerOptions (type) [lines 621-644] [5 members] — Options for the native serial runner
   GeoSpecNativeRunnerOptions.filesystem (property) — Filesystem containing the project and test modules
   GeoSpecNativeRunnerOptions.builtinModules (property) — Additional in-memory modules made available to the VM
   GeoSpecNativeRunnerOptions.nativeAssertions (property) — Actual protocol-3 engine used by authored assertions
   GeoSpecNativeRunnerOptions.nativeModelLoader (property) — Optional managed loader
   GeoSpecNativeRunnerOptions.model (property) — Defaults used when the runner constructs its own native loader
-CreateGeoSpecNativeModelLoaderOptions (type) [lines 652-691] [8 members] — Defaults and host dependencies for a managed native model loader
+CreateGeoSpecNativeModelLoaderOptions (type) [lines 646-684] [7 members] — Defaults and host dependencies for a managed native model loader
   CreateGeoSpecNativeModelLoaderOptions.engine (property)
   CreateGeoSpecNativeModelLoaderOptions.format (property)
   CreateGeoSpecNativeModelLoaderOptions.projectPath (property)
   CreateGeoSpecNativeModelLoaderOptions.readSource (property)
-  CreateGeoSpecNativeModelLoaderOptions.runtime (property)
-  CreateGeoSpecNativeModelLoaderOptions.sourceAdapters (property)
+  CreateGeoSpecNativeModelLoaderOptions.exporters (property) — Model exporters for source-kind files
   CreateGeoSpecNativeModelLoaderOptions.carried (property) — Subject handles carried between the release scopes of loaders that…
   CreateGeoSpecNativeModelLoaderOptions.maximumWorkUnitLimit (property) — The largest `loadModel` `workUnitLimit` a spec may author
-GeoSpecNativeLoadModelOptions (type) [lines 693-729] [10 members] — Native additions accepted by the injected `geospec/runner/native` loader
+GeoSpecNativeLoadModelOptions (type) [lines 686-722] [10 members] — Native additions accepted by the injected `geospec/runner/native` loader
   GeoSpecNativeLoadModelOptions.rootDir (property) — Project-relative folder `file` resolves in, for a suite that loads…
   GeoSpecNativeLoadModelOptions.format (property) — Geometry format to export
-  GeoSpecNativeLoadModelOptions.parameters (property) — Explicit parameters passed to the runtime
+  GeoSpecNativeLoadModelOptions.parameters (property) — Explicit parameters passed to the exporter
   GeoSpecNativeLoadModelOptions.stepStreaming (property) — STEP reader strategy used for STEP exports
   GeoSpecNativeLoadModelOptions.mesh (property) — Whether STEP loading should also produce mesh evidence
   GeoSpecNativeLoadModelOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
@@ -636,61 +650,55 @@ GeoSpecNativeLoadModelOptions (type) [lines 693-729] [10 members] — Native add
   GeoSpecNativeLoadModelOptions.workUnitLimit (property) — Default work-unit budget for every claim on this subject
   GeoSpecNativeLoadModelOptions.resources (property) — Ordered external resource payloads declared to the native admission request
   GeoSpecNativeLoadModelOptions.ingestOptions (property) — Format-specific native ingest options
-GeoSpecNativeModelEngine (type) [lines 731-751] [5 members] — Native engine operations required for model admission and run-level cleanup
+GeoSpecNativeModelEngine (type) [lines 724-744] [5 members] — Native engine operations required for model admission and run-level cleanup
   GeoSpecNativeModelEngine.evaluateClaim (method)
   GeoSpecNativeModelEngine.processRequest (method)
   GeoSpecNativeModelEngine.ingestSubject (method)
   GeoSpecNativeModelEngine.subjectHandle (method)
   GeoSpecNativeModelEngine.releaseSubject (method)
-GeoSpecNativeModelLoader (type) [lines 753-755] — Model loader injected into native VM runs
-GeoSpecNativeModelSubject (type) [lines 757-769] [3 members] — Subject identity returned by native STEP/GLB admission
+GeoSpecNativeModelLoader (type) [lines 746-748] — Model loader injected into native VM runs
+GeoSpecNativeModelSubject (type) [lines 750-762] [3 members] — Subject identity returned by native STEP/GLB admission
   GeoSpecNativeModelSubject.contentHash (property)
   GeoSpecNativeModelSubject.subjectHash (property)
   GeoSpecNativeModelSubject.load (property) — Exact successful-load evidence retained by the admitting host, when available
-GeoSpecNativeModelResource (type) [lines 771-779] [2 members] — One named external resource referenced by a direct glTF-family source
+GeoSpecNativeModelResource (type) [lines 764-772] [2 members] — One named external resource referenced by a direct glTF-family source
   GeoSpecNativeModelResource.name (property)
   GeoSpecNativeModelResource.source (property)
-GeoSpecNativeSourceReader (type) [lines 781-783] — Resolve a non-memory source into ordinary ArrayBuffer-backed bytes
-ManagedGeoSpecNativeModelLoader (type) [lines 785-805] [1 members] — Reusable native model loader whose admitted subjects can be released…
+GeoSpecNativeSourceReader (type) [lines 774-776] — Resolve a non-memory source into ordinary ArrayBuffer-backed bytes
+ManagedGeoSpecNativeModelLoader (type) [lines 778-798] [1 members] — Reusable native model loader whose admitted subjects can be released…
   ManagedGeoSpecNativeModelLoader.releaseAll (method) — Drain registered admissions, including additions while drainage awaits, then release…
-GeoSpecPoolHostMessage (type) [lines 807-828] [1 members]
+GeoSpecPoolHostMessage (type) [lines 800-817] [1 members]
   GeoSpecPoolHostMessage.type (property)
-GeoSpecPoolShard (type) [lines 830-847] [3 members] — One schedulable work unit
+GeoSpecPoolShard (type) [lines 819-836] [3 members] — One schedulable work unit
   GeoSpecPoolShard.id (property) — Stable shard id, unique within one pool run
   GeoSpecPoolShard.file (property) — GeoSpec file this shard executes
   GeoSpecPoolShard.testNamePattern (property) — Exact-test pattern for split shards (R3
-GeoSpecPoolWorkerHandle (type) [lines 849-874] [4 members]
+GeoSpecPoolWorkerHandle (type) [lines 838-863] [4 members]
   GeoSpecPoolWorkerHandle.postMessage (method)
   GeoSpecPoolWorkerHandle.onMessage (method)
   GeoSpecPoolWorkerHandle.onExit (method)
   GeoSpecPoolWorkerHandle.terminate (method) — Hard-stop the worker thread (R11 watchdog primitive)
-GeoSpecPoolWorkerMessage (type) [lines 876-919] [1 members]
+GeoSpecPoolWorkerMessage (type) [lines 865-902] [1 members]
   GeoSpecPoolWorkerMessage.type (property)
-GeoSpecForensicEvent (type) [lines 921-938] [5 members] — One structured forensic measurement emitted by a runner
-  GeoSpecForensicEvent.type (property)
-  GeoSpecForensicEvent.name (property)
-  GeoSpecForensicEvent.value (property)
-  GeoSpecForensicEvent.unit (property)
-  GeoSpecForensicEvent.shardId (property)
-GeoSpecRunner (type) [lines 940-970] [4 members] — Public GeoSpec runner lifecycle surface
+GeoSpecRunner (type) [lines 904-934] [4 members] — Public GeoSpec runner lifecycle surface
   GeoSpecRunner.run (method) — Execute GeoSpec files and return a compact aggregate result
   GeoSpecRunner.on (method) — Subscribe to one lifecycle event type
   GeoSpecRunner.abort (method) — Request cooperative abort before the next file starts
   GeoSpecRunner.close (method) — Close the runner and release owned resources
-GeoSpecRunnerEvent (type) [lines 972-1004] [1 members] — Lifecycle event emitted by GeoSpec worker-style runners
+GeoSpecRunnerEvent (type) [lines 936-968] [1 members] — Lifecycle event emitted by GeoSpec worker-style runners
   GeoSpecRunnerEvent.type (property)
-GeoSpecRunnerFileResult (type) [lines 1006-1033] [5 members] — One GeoSpec test file executed by a worker-style runner
+GeoSpecRunnerFileResult (type) [lines 970-997] [5 members] — One GeoSpec test file executed by a worker-style runner
   GeoSpecRunnerFileResult.file (property) — Absolute or project-relative GeoSpec test file path supplied to the…
   GeoSpecRunnerFileResult.result (property) — Low-level module execution result for this file
   GeoSpecRunnerFileResult.durationMs (property) — Wall-clock cost of executing this file, in milliseconds (R1)
   GeoSpecRunnerFileResult.primaryLoadKey (property) — First deterministic model-load cache key observed in this file (R9…
   GeoSpecRunnerFileResult.workerMemoryBytes (property) — Executing worker's isolate-resident memory at file completion, in bytes (R15…
-GeoSpecRunnerOptions (type) [lines 1035-1057] [4 members] — Shared options for GeoSpec runner factories
+GeoSpecRunnerOptions (type) [lines 999-1021] [4 members] — Shared options for GeoSpec runner factories
   GeoSpecRunnerOptions.filesystem (property) — Filesystem containing the project and test modules
   GeoSpecRunnerOptions.nativeAssertions (property) — Protocol-3 assertion client shared by every authored assertion and model…
   GeoSpecRunnerOptions.nativeModelLoader (property) — Managed native model loader released after each settled run
   GeoSpecRunnerOptions.builtinModules (property) — Additional in-memory modules made available to the VM
-GeoSpecRunnerResult (type) [lines 1059-1106] [9 members] — Aggregate result returned by GeoSpec worker-style runners
+GeoSpecRunnerResult (type) [lines 1023-1070] [9 members] — Aggregate result returned by GeoSpec worker-style runners
   GeoSpecRunnerResult.success (property) — True when no files or tests failed and at least…
   GeoSpecRunnerResult.passed (property) — Number of non-skipped tests that passed
   GeoSpecRunnerResult.failed (property) — Number of file-level or test-level failures
@@ -700,40 +708,63 @@ GeoSpecRunnerResult (type) [lines 1059-1106] [9 members] — Aggregate result re
   GeoSpecRunnerResult.durationMs (property) — Wall-clock cost of the whole run, in milliseconds (R1)
   GeoSpecRunnerResult.accounting (property) — Complete requested-file accounting
   GeoSpecRunnerResult.lineageStatus (property) — Coherence of the consumed source graphs, not a geometry verdict
-GeoSpecRunnerRunOptions (type) [lines 1108-1152] [7 members] — Options accepted by a GeoSpec worker-style runner run
+GeoSpecRunnerRunOptions (type) [lines 1072-1106] [5 members] — Options accepted by a GeoSpec worker-style runner run
   GeoSpecRunnerRunOptions.files (property) — GeoSpec test files to execute
   GeoSpecRunnerRunOptions.testNamePattern (property) — JavaScript regular expression matched against full `suite > test` names
   GeoSpecRunnerRunOptions.testTimeout (property) — Timeout for each async test callback, in milliseconds
-  GeoSpecRunnerRunOptions.matcherWallBackstop (property) — Non-verdict matcher wall backstop
   GeoSpecRunnerRunOptions.workUnitLimit (property) — Engine work-unit budget for this run's claims, replacing the runner's…
-  GeoSpecRunnerRunOptions.forensic (property) — Emit structured forensic measurements for this run
   GeoSpecRunnerRunOptions.bail (property) — Stop after the first failing file (R1)
-GeoSpecAssertionClient (type) [lines 1154-1171] [2 members] — Runner-independent native assertion client
+GeoSpecPoolOptions (type) [lines 1108-1145] [7 members] — Everything the pool needs that differs between Node and the…
+  GeoSpecPoolOptions.createWorker (property) — Spawn one worker running `startGeoSpecPoolWorkerHost`
+  GeoSpecPoolOptions.initializeWorker (property) — Optional one-time worker initialization performed after its ready signal
+  GeoSpecPoolOptions.gracefulShutdown (property) — Wait for each native worker's cleanup acknowledgement before terminating it
+  GeoSpecPoolOptions.workers (property) — Worker count
+  GeoSpecPoolOptions.timings (property) — Optional scheduling telemetry
+  GeoSpecPoolOptions.shardTimeout (property) — Per-shard non-verdict watchdog, milliseconds (R11)
+  GeoSpecPoolOptions.splitThreshold (property) — Split files whose recorded duration exceeds this
+ShardTiming (type) [lines 1147-1159] [2 members] — One shard's recorded cost
+  ShardTiming.durationMs (property) — Wall duration of the last recorded run, in milliseconds
+  ShardTiming.peakRssBytes (property) — Highest RSS observed for this shard, in bytes
+ShardTimings (type) [lines 1161-1187] [4 members] — A mutable timings table
+  ShardTimings.record (method) — Merge one observation
+  ShardTimings.read (method) — The hint for one shard, or `undefined` when unknown
+  ShardTimings.longestFirst (method) — Every recorded shard, sorted by descending duration (longest-first)
+  ShardTimings.save (method) — Persist the table
+GeoSpecPoolWorkerHostOptions (type) [lines 1189-1231] [8 members] — Options accepted by {@link startGeoSpecPoolWorkerHost}
+  GeoSpecPoolWorkerHostOptions.filesystem (property) — Filesystem containing the project and test modules
+  GeoSpecPoolWorkerHostOptions.nativeAssertions (property) — Native assertion client shared with this worker's model admissions
+  GeoSpecPoolWorkerHostOptions.nativeModelLoader (property) — Managed native admissions, released after every shard and collection pass…
+  GeoSpecPoolWorkerHostOptions.builtinModules (property) — Additional in-memory modules made available to the VM
+  GeoSpecPoolWorkerHostOptions.postMessage (property) — Post a message to the pool host
+  GeoSpecPoolWorkerHostOptions.onHostMessage (property) — Subscribe to pool-host messages
+  GeoSpecPoolWorkerHostOptions.measureMemoryBytes (property) — Sample this worker's resident memory in bytes (R15 telemetry)
+  GeoSpecPoolWorkerHostOptions.onShutdown (property) — Release platform resources on shutdown, after the native subjects are…
+GeoSpecAssertionClient (type) [lines 1233-1250] [2 members] — Runner-independent native assertion client
   GeoSpecAssertionClient.expectGeo (method) — Start a chain
   GeoSpecAssertionClient.query (method)
-GeoSpecAssertionClientOptions (type) [lines 1173-1201] [6 members] — Flat construction options for a runner-independent native assertion client
+GeoSpecAssertionClientOptions (type) [lines 1252-1280] [6 members] — Flat construction options for a runner-independent native assertion client
   GeoSpecAssertionClientOptions.claimId (property)
   GeoSpecAssertionClientOptions.engine (property)
   GeoSpecAssertionClientOptions.evidenceProfile (property) — Success-evidence profile of every claim and query
   GeoSpecAssertionClientOptions.subjectSlot (property)
   GeoSpecAssertionClientOptions.workUnitLimit (property)
   GeoSpecAssertionClientOptions.maximumWorkUnitLimit (property) — The largest `workUnitLimit` a spec may author in `loadModel` or…
-GeoSpecAssertionMatchers (type) [lines 1203-1208] [1 members] — Standalone native matcher chain, including core-owned negation
+GeoSpecAssertionMatchers (type) [lines 1282-1287] [1 members] — Standalone native matcher chain, including core-owned negation
   GeoSpecAssertionMatchers.not (property)
-GeoSpecAuthoringInvocation (type) [lines 1210-1230] [6 members] — One authored call shared by the collector and native assertion…
+GeoSpecAuthoringInvocation (type) [lines 1289-1309] [6 members] — One authored call shared by the collector and native assertion…
   GeoSpecAuthoringInvocation.arguments (property)
   GeoSpecAuthoringInvocation.expected (property)
   GeoSpecAuthoringInvocation.kind (property)
   GeoSpecAuthoringInvocation.matcher (property)
   GeoSpecAuthoringInvocation.polarity (property)
   GeoSpecAuthoringInvocation.subject (property)
-GeoSpecMatcherMethods (type) [lines 1232-1235] — Matcher methods derived mechanically from the existing GeoSpec registry
-GeoSpecQueryOptions (type) [lines 1237-1252] [4 members] — One positive-only ancillary query
+GeoSpecMatcherMethods (type) [lines 1311-1314] — Matcher methods derived mechanically from the existing GeoSpec registry
+GeoSpecQueryOptions (type) [lines 1316-1331] [4 members] — One positive-only ancillary query
   GeoSpecQueryOptions.capability (property)
   GeoSpecQueryOptions.claimId (property)
   GeoSpecQueryOptions.payload (property)
   GeoSpecQueryOptions.subject (property)
-MinimumDistanceFact (type) [lines 1254-1283] [9 members] — Complete native minimum and ordered finite witnesses in canonical millimetres/Z-up
+MinimumDistanceFact (type) [lines 1333-1362] [9 members] — Complete native minimum and ordered finite witnesses in canonical millimetres/Z-up
   MinimumDistanceFact.source (property)
   MinimumDistanceFact.assurance (property)
   MinimumDistanceFact.unit (property)
@@ -743,13 +774,13 @@ MinimumDistanceFact (type) [lines 1254-1283] [9 members] — Complete native min
   MinimumDistanceFact.occurrences (property)
   MinimumDistanceFact.distance (property)
   MinimumDistanceFact.points (property)
-MinimumDistanceQuery (type) [lines 1285-1308] [3 members] — Complete AP242 minimum over two subject-bound occurrence paths
+MinimumDistanceQuery (type) [lines 1364-1387] [3 members] — Complete AP242 minimum over two subject-bound occurrence paths
   MinimumDistanceQuery.capability (property)
   MinimumDistanceQuery.subject (property)
   MinimumDistanceQuery.payload (property)
-MinimumDistanceResult (type) [lines 1310-1324] [1 members] — Geometry refusal and infrastructure interruption never masquerade as facts
+MinimumDistanceResult (type) [lines 1389-1403] [1 members] — Geometry refusal and infrastructure interruption never masquerade as facts
   MinimumDistanceResult.status (property)
-GeoSpecNativeQueryOptions (type) [lines 1326-1349] [9 members] — Flat native query transport options
+GeoSpecNativeQueryOptions (type) [lines 1405-1428] [9 members] — Flat native query transport options
   GeoSpecNativeQueryOptions.engine (property)
   GeoSpecNativeQueryOptions.claimId (property)
   GeoSpecNativeQueryOptions.evidenceProfile (property)
@@ -759,38 +790,41 @@ GeoSpecNativeQueryOptions (type) [lines 1326-1349] [9 members] — Flat native q
   GeoSpecNativeQueryOptions.subject (property)
   GeoSpecNativeQueryOptions.capability (property)
   GeoSpecNativeQueryOptions.payload (property)
-GeoSpecQueryCapability (type) [lines 1351-1352] — Existing positive-only ancillary operations owned by the native core
-GeoSpecPmiField (type) [lines 1354-1365] [3 members] — Explicit support state for one source-attributed inventory field
+GeoSpecQueryCapability (type) [lines 1430-1431] — Existing positive-only ancillary operations owned by the native core
+GeoSpecPmiField (type) [lines 1433-1444] [3 members] — Explicit support state for one source-attributed inventory field
   GeoSpecPmiField.status (property)
   GeoSpecPmiField.value (property)
   GeoSpecPmiField.reason (property)
-GeoSpecPmiRawEntity (type) [lines 1367-1378] [3 members] — Original Part21 entity ID and exact source argument tokens
+GeoSpecPmiRawEntity (type) [lines 1446-1457] [3 members] — Original Part21 entity ID and exact source argument tokens
   GeoSpecPmiRawEntity.sourceId (property)
   GeoSpecPmiRawEntity.kind (property)
   GeoSpecPmiRawEntity.arguments (property)
-GeoSpecPmiNumber (type) [lines 1380-1400] [6 members] — Source-authored scalar and Rust-normalized reduced rational millimetres
+GeoSpecPmiNumber (type) [lines 1459-1479] [6 members] — Source-authored scalar and Rust-normalized reduced rational millimetres
   GeoSpecPmiNumber.sourceId (property)
   GeoSpecPmiNumber.authoredText (property)
   GeoSpecPmiNumber.unitId (property)
   GeoSpecPmiNumber.unitRecords (property)
   GeoSpecPmiNumber.millimetres (property)
   GeoSpecPmiNumber.name (property)
-GeoSpecPmiFaceAssociation (type) [lines 1402-1416] [4 members] — A uniquely forward-transferred face
+GeoSpecPmiFaceAssociation (type) [lines 1481-1495] [4 members] — A uniquely forward-transferred face
   GeoSpecPmiFaceAssociation.sourceFaceId (property)
   GeoSpecPmiFaceAssociation.occurrenceRoute (property)
   GeoSpecPmiFaceAssociation.occurrence (property)
   GeoSpecPmiFaceAssociation.publicFaceOrdinal (property)
-GeoSpecPmiShapeReference (type) [lines 1418-1435] [5 members] — One ordered role reference, including incomplete source/transfer evidence
+
+## Types (3) — `public-api-types-3.md`
+
+GeoSpecPmiShapeReference (type) [lines 5-22] [5 members] — One ordered role reference, including incomplete source/transfer evidence
   GeoSpecPmiShapeReference.sourceAspectId (property)
   GeoSpecPmiShapeReference.sourceUsageIds (property)
   GeoSpecPmiShapeReference.sourceItemIds (property)
   GeoSpecPmiShapeReference.requestedRoute (property)
   GeoSpecPmiShapeReference.associations (property)
-GeoSpecPmiLimits (type) [lines 1437-1448] [3 members] — Normalized authored limits
+GeoSpecPmiLimits (type) [lines 24-35] [3 members] — Normalized authored limits
   GeoSpecPmiLimits.lowerMillimetres (property)
   GeoSpecPmiLimits.upperMillimetres (property)
   GeoSpecPmiLimits.basis (property)
-GeoSpecPmiRecord (type) [lines 1450-1485] [11 members] — Source record preserving semantic/presentation separation and ordered roles
+GeoSpecPmiRecord (type) [lines 37-72] [11 members] — Source record preserving semantic/presentation separation and ordered roles
   GeoSpecPmiRecord.sourceId (property)
   GeoSpecPmiRecord.family (property)
   GeoSpecPmiRecord.channel (property)
@@ -802,23 +836,20 @@ GeoSpecPmiRecord (type) [lines 1450-1485] [11 members] — Source record preserv
   GeoSpecPmiRecord.limits (property)
   GeoSpecPmiRecord.interpretation (property)
   GeoSpecPmiRecord.raw (property)
-GeoSpecPmiInventory (type) [lines 1487-1504] [5 members] — Positive-only inventory value inside the ordinary canonical query report
+GeoSpecPmiInventory (type) [lines 74-91] [5 members] — Positive-only inventory value inside the ordinary canonical query report
   GeoSpecPmiInventory.contract (property)
   GeoSpecPmiInventory.status (property)
   GeoSpecPmiInventory.fileSchema (property)
   GeoSpecPmiInventory.editionValidation (property)
   GeoSpecPmiInventory.records (property)
-GeoSpecPmiQueryPayload (type) [lines 1506-1514] [2 members] — Strict inventory output limits
+GeoSpecPmiQueryPayload (type) [lines 93-101] [2 members] — Strict inventory output limits
   GeoSpecPmiQueryPayload.maxRecords (property)
   GeoSpecPmiQueryPayload.maxOutputBytes (property)
-GeoSpecPmiQueryValue (type) [lines 1516-1527] [3 members] — Complete inventory value
+GeoSpecPmiQueryValue (type) [lines 103-114] [3 members] — Complete inventory value
   GeoSpecPmiQueryValue.inventory (property)
   GeoSpecPmiQueryValue.subjectHash (property)
   GeoSpecPmiQueryValue.provenance (property)
-
-## Types (3) — `public-api-types-3.md`
-
-GeoSpecCanonicalClaimReport (type) [lines 5-39] [10 members] — Full native assertion result with the exact core-owned bytes retained
+GeoSpecCanonicalClaimReport (type) [lines 116-150] [10 members] — Full native assertion result with the exact core-owned bytes retained
   GeoSpecCanonicalClaimReport.canonicalClaim (property)
   GeoSpecCanonicalClaimReport.canonicalPlan (property)
   GeoSpecCanonicalClaimReport.canonicalResult (property)
@@ -829,61 +860,43 @@ GeoSpecCanonicalClaimReport (type) [lines 5-39] [10 members] — Full native ass
   GeoSpecCanonicalClaimReport.polarity (property)
   GeoSpecCanonicalClaimReport.result (property)
   GeoSpecCanonicalClaimReport.status (property)
-GeoSpecNativeClaimEvaluation (type) [lines 41-52] [3 members] — Exact core bytes of one claim evaluated in one engine…
+GeoSpecNativeClaimEvaluation (type) [lines 152-163] [3 members] — Exact core bytes of one claim evaluated in one engine…
   GeoSpecNativeClaimEvaluation.canonicalClaim (property)
   GeoSpecNativeClaimEvaluation.canonicalPlan (property)
   GeoSpecNativeClaimEvaluation.canonicalResult (property)
-GeoSpecNativeEngine (type) [lines 54-64] [2 members] — Byte-only engine surface consumed by the runner-independent assertion client
+GeoSpecNativeEngine (type) [lines 165-175] [2 members] — Byte-only engine surface consumed by the runner-independent assertion client
   GeoSpecNativeEngine.evaluateClaim (method)
   GeoSpecNativeEngine.processRequest (method)
-GeoSpecNativeEvidenceProfile (type) [lines 66-67] — Success-evidence profile a product selects for its plans (PERF-OUTPUT-01)
-GeoSpecNativeSubject (type) [lines 69-77] [2 members] — Content-addressed subject accepted by a protocol-3 assertion plan
+GeoSpecNativeEvidenceProfile (type) [lines 177-178] — Success-evidence profile a product selects for its plans (PERF-OUTPUT-01)
+GeoSpecNativeSubject (type) [lines 180-188] [2 members] — Content-addressed subject accepted by a protocol-3 assertion plan
   GeoSpecNativeSubject.contentHash (property)
   GeoSpecNativeSubject.subjectHash (property)
-GeoSpecFixedMatcherDescriptor (type) [lines 79-90] [3 members] — A canonical fixed-contract matcher
+GeoSpecFixedMatcherDescriptor (type) [lines 190-201] [3 members] — A canonical fixed-contract matcher
   GeoSpecFixedMatcherDescriptor.contract (property)
   GeoSpecFixedMatcherDescriptor.expected (property)
   GeoSpecFixedMatcherDescriptor.mode (property)
-GeoSpecVitestAdapter (type) [lines 92-101] [2 members] — Installed Vitest matcher map and lifecycle settlement hook
+GeoSpecVitestAdapter (type) [lines 203-212] [2 members] — Installed Vitest matcher map and lifecycle settlement hook
   GeoSpecVitestAdapter.matchers (property)
   GeoSpecVitestAdapter.flush (method)
-ExportTauProjectArtifactOptions (type) [lines 103-116] [3 members] — Input for exporting one validated Tau project descriptor
-  ExportTauProjectArtifactOptions.descriptor (property)
-  ExportTauProjectArtifactOptions.createRuntime (property) — Called twice so source discovery and export use separate runtime…
-  ExportTauProjectArtifactOptions.signal (property)
-GeoSpecTauProjectArtifact (type) [lines 118-171] [7 members] — Finalized geometry bytes and the exact source/export metadata that produced…
-  GeoSpecTauProjectArtifact.format (property)
-  GeoSpecTauProjectArtifact.name (property)
-  GeoSpecTauProjectArtifact.mimeType (property)
-  GeoSpecTauProjectArtifact.bytes (property)
-  GeoSpecTauProjectArtifact.frame (property)
-  GeoSpecTauProjectArtifact.source (property)
-  GeoSpecTauProjectArtifact.export (property)
-GeoSpecTauProjectRuntime (type) [lines 173-191] [3 members] — Runtime surface required to snapshot and export one Tau project
-  GeoSpecTauProjectRuntime.open (property)
-  GeoSpecTauProjectRuntime.on (method)
-  GeoSpecTauProjectRuntime.bestRouteFor (method)
-GeoSpecConfig (type) [lines 193-232] [10 members] — Trusted project configuration using existing discovery and runner options
+GeoSpecConfig (type) [lines 214-245] [8 members] — Trusted project configuration using existing discovery and runner options
   GeoSpecConfig.include (property)
   GeoSpecConfig.exclude (property)
   GeoSpecConfig.testNamePattern (property)
   GeoSpecConfig.testTimeout (property) — Positive finite milliseconds
-  GeoSpecConfig.matcherWallBackstop (property) — Positive finite milliseconds
   GeoSpecConfig.bail (property)
-  GeoSpecConfig.forensic (property)
   GeoSpecConfig.cache (property)
   GeoSpecConfig.cacheDirectory (property) — Requested cache location only
   GeoSpecConfig.subjects (property)
-GeoSpecTauProjectDescriptor (type) [lines 234-254] [5 members] — Imported Tau project data for later host resolution
+GeoSpecTauProjectDescriptor (type) [lines 247-267] [5 members] — Imported Tau project data for later host resolution
   GeoSpecTauProjectDescriptor.kind (property)
   GeoSpecTauProjectDescriptor.manifestPath (property) — Normalized project-relative POSIX path identifying the imported manifest
   GeoSpecTauProjectDescriptor.manifest (property)
   GeoSpecTauProjectDescriptor.format (property)
   GeoSpecTauProjectDescriptor.parameters (property)
-LoadedGeoSpecConfig (type) [lines 256-264] [2 members] — Resolved file identity and validated configuration data
+LoadedGeoSpecConfig (type) [lines 269-277] [2 members] — Resolved file identity and validated configuration data
   LoadedGeoSpecConfig.configPath (property)
   LoadedGeoSpecConfig.options (property)
-LoadGeoSpecConfigOptions (type) [lines 266-281] [3 members] — Options for one trusted Node configuration load
+LoadGeoSpecConfigOptions (type) [lines 279-294] [3 members] — Options for one trusted Node configuration load
   LoadGeoSpecConfigOptions.projectPath (property)
   LoadGeoSpecConfigOptions.configPath (property) — Explicit file, resolved relative to the project unless absolute
   LoadGeoSpecConfigOptions.overrides (property) — Own defined fields override configuration without deep merging