geospec 0.1.0-beta.8 → 0.1.0-beta.9

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

@@ -1,6 +1,6 @@
 # geospec public API index
 
-geospec 0.1.0-beta.8 · 888 symbols · extracted by TypeScript 5.9.3.
+geospec 0.1.0-beta.9 · 927 symbols · extracted by TypeScript 5.9.3.
 
 Every symbol appears here exactly once. The heading above each block names the file with its signature, and each top-level symbol names the lines of that file which hold its declaration and members: read only that range.
 
@@ -37,17 +37,24 @@ allocateNativePoolGrants (function) [lines 137-144] — Assign a bounded CPU bud
 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
+createNodeGeoSpecEngine (function) [lines 163-167] — Create a GeoSpec engine for this process
+createGeoSpecNodePoolRunner (function) [lines 169-174] — Create a pool with one engine and one set of…
+createNodeWorkerHandle (function) [lines 176-179] — Adapt a Node worker thread to the pool's host-agnostic handle
+createNoMatchingGeoSpecTestsIssue (function) [lines 181-183] — Create a run-level issue when filters select no tests
+createGeoSpecPoolRunner (function) [lines 185-188] — Create the host-agnostic pool runner
+startGeoSpecPoolWorkerHost (function) [lines 190-193] — Serve shards until the host says shutdown
+createGeoSpecAssertionClient (function) [lines 195-198] — Create a standalone native GeoSpec assertion client
+createGeoSpecMatcherMethods (function) [lines 200-207] — Create the one registry-derived matcher surface used by every JavaScript…
+evaluateGeoSpecNativeQuery (function) [lines 209-213] — Submit an ancillary query with positive polarity through the native…
+resolveGeoSpecMaximumWorkUnitLimit (function) [lines 215-219] — Resolve a host's largest authored work-unit budget
+runGeoSpecCli (function) [lines 221-225] — Run the CLI
+createNodeGeoSpecCliHost (function) [lines 227-230] — Build the Node CLI host
+createGeoSpecVitestAdapter (function) [lines 232-235] — Create Vitest matchers over an existing runner-independent client
+installGeoSpecVitest (function) [lines 237-240] — Register GeoSpec matchers and their settlement hook in the active…
+setupGeoSpecVitest (function) [lines 242-245] — Create a native client and register it with the active…
+defineConfig (function) [lines 247-251] — Type a `geospec.config.*` default export
+readGeoSpecConfig (function) [lines 253-257] — Read a project's `geospec.config.*` data fields through the spec VM,…
+loadGeoSpecConfig (function) [lines 259-263] — Load one trusted project config using Node's native module loader
 
 ## Constants — `public-api-constants.md`
 
@@ -538,14 +545,15 @@ LoadModelSourceOptions (type) [lines 182-262] [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
-CommandExporterOptions (type) [lines 264-294] [6 members] — Options for {@link commandExporter}
+CommandExporterOptions (type) [lines 264-299] [7 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…
+  CommandExporterOptions.exportTimeout (property) — Positive milliseconds one export may run before the command is…
+GeoSpecCollector (type) [lines 301-330] [7 members] — Collects suites, tests, assertions, and async completion state for one…
   GeoSpecCollector.tests (property)
   GeoSpecCollector.describe (method)
   GeoSpecCollector.describeSkip (method)
@@ -553,49 +561,49 @@ GeoSpecCollector (type) [lines 296-325] [7 members] — Collects suites, tests,
   GeoSpecCollector.itSkip (method)
   GeoSpecCollector.expectGeo (method)
   GeoSpecCollector.waitForCompletion (method)
-GeoSpecCollectorOptions (type) [lines 327-337] [2 members] — Per-module collector configuration
+GeoSpecCollectorOptions (type) [lines 332-342] [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 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
+GeoSpecTestNamePattern (type) [lines 344-345] — Compiled Vitest-style test-name pattern used by a GeoSpec run
+GeoSpecTimeoutCode (type) [lines 347-348] — One GeoSpec timeout code
+DiscoverGeoSpecFilesOptions (type) [lines 350-371] [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 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
+GeoSpecDiscoveryFileKind (type) [lines 373-374] — File kind returned by a GeoSpec discovery filesystem
+GeoSpecDiscoveryFileStat (type) [lines 376-381] [1 members] — Minimal stat object required for recursive GeoSpec test discovery
   GeoSpecDiscoveryFileStat.kind (property)
-GeoSpecDiscoveryFileSystem (type) [lines 378-389] [2 members] — Minimal filesystem contract used by GeoSpec test discovery
+GeoSpecDiscoveryFileSystem (type) [lines 383-394] [2 members] — Minimal filesystem contract used by GeoSpec test discovery
   GeoSpecDiscoveryFileSystem.readdir (method)
   GeoSpecDiscoveryFileSystem.stat (method)
-GeoSpecDiscoveryResult (type) [lines 391-400] [2 members] — Result returned by recursive GeoSpec test discovery
+GeoSpecDiscoveryResult (type) [lines 396-405] [2 members] — Result returned by recursive GeoSpec test discovery
   GeoSpecDiscoveryResult.files (property)
   GeoSpecDiscoveryResult.unmatchedRoots (property)
-GeoSpecModuleBundleCache (type) [lines 402-419] — Worker-local cache for successful GeoSpec bundles
-GeoSpecRunFailure (type) [lines 421-443] [6 members] — Failed GeoSpec run result
+GeoSpecModuleBundleCache (type) [lines 407-424] — Worker-local cache for successful GeoSpec bundles
+GeoSpecRunFailure (type) [lines 426-448] [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 445-457] [5 members] — Result returned by {@link import ('./run-geospec-module.js').runGeoSpecModule}
+GeoSpecRunResult (type) [lines 450-462] [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 459-481] [6 members] — Successful GeoSpec run result
+GeoSpecRunSuccess (type) [lines 464-486] [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 483-520] [7 members] — A collected GeoSpec test case
+GeoSpecTestCase (type) [lines 488-525] [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
@@ -603,11 +611,11 @@ GeoSpecTestCase (type) [lines 483-520] [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 522-530] [2 members] — A selected test starting or settling inside a module run
+GeoSpecTestEvent (type) [lines 527-535] [2 members] — A selected test starting or settling inside a module run
   GeoSpecTestEvent.type (property)
   GeoSpecTestEvent.test (property)
-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
+GeoSpecTestStatus (type) [lines 537-538] — Test case status after runner collection
+RunGeoSpecModuleOptions (type) [lines 540-605] [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
@@ -618,20 +626,20 @@ RunGeoSpecModuleOptions (type) [lines 535-600] [10 members] — Options for exec
   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 602-619] [6 members] — Native assertion options whose engine can also admit and release…
+GeoSpecNativeRunnerAssertions (type) [lines 607-624] [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 621-644] [5 members] — Options for the native serial runner
+GeoSpecNativeRunnerOptions (type) [lines 626-649] [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 646-684] [7 members] — Defaults and host dependencies for a managed native model loader
+CreateGeoSpecNativeModelLoaderOptions (type) [lines 651-689] [7 members] — Defaults and host dependencies for a managed native model loader
   CreateGeoSpecNativeModelLoaderOptions.engine (property)
   CreateGeoSpecNativeModelLoaderOptions.format (property)
   CreateGeoSpecNativeModelLoaderOptions.projectPath (property)
@@ -639,7 +647,7 @@ CreateGeoSpecNativeModelLoaderOptions (type) [lines 646-684] [7 members] — Def
   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 686-722] [10 members] — Native additions accepted by the injected `geospec/runner/native` loader
+GeoSpecNativeLoadModelOptions (type) [lines 691-727] [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 exporter
@@ -650,55 +658,74 @@ GeoSpecNativeLoadModelOptions (type) [lines 686-722] [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 724-744] [5 members] — Native engine operations required for model admission and run-level cleanup
+GeoSpecNativeModelEngine (type) [lines 729-749] [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 746-748] — Model loader injected into native VM runs
-GeoSpecNativeModelSubject (type) [lines 750-762] [3 members] — Subject identity returned by native STEP/GLB admission
+GeoSpecNativeModelLoader (type) [lines 751-753] — Model loader injected into native VM runs
+GeoSpecNativeModelSubject (type) [lines 755-767] [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 764-772] [2 members] — One named external resource referenced by a direct glTF-family source
+GeoSpecNativeModelResource (type) [lines 769-777] [2 members] — One named external resource referenced by a direct glTF-family source
   GeoSpecNativeModelResource.name (property)
   GeoSpecNativeModelResource.source (property)
-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…
+GeoSpecNativeSourceReader (type) [lines 779-781] — Resolve a non-memory source into ordinary ArrayBuffer-backed bytes
+ManagedGeoSpecNativeModelLoader (type) [lines 783-803] [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 800-817] [1 members]
+CreateNodeGeoSpecEngineOptions (type) [lines 805-812] [1 members] — Options for {@link createNodeGeoSpecEngine}
+  CreateNodeGeoSpecEngineOptions.executionPermits (property) — Caller-inclusive CPU permits for the native addon
+GeoSpecEngineBinding (type) [lines 814-815] — Which build of `geospec-engine` a Node engine runs on
+NodeGeoSpecEngine (type) [lines 817-829] [2 members] — An engine and the build it runs on
+  NodeGeoSpecEngine.engine (property)
+  NodeGeoSpecEngine.binding (property)
+GeoSpecNodePoolOptions (type) [lines 831-871] [6 members] — Options for the Node pool
+  GeoSpecNodePoolOptions.projectPath (property) — Absolute project root
+  GeoSpecNodePoolOptions.configPath (property) — The `geospec.config.*` each worker imports for its exporters
+  GeoSpecNodePoolOptions.exporterModules (property) — URLs of modules each worker imports whose default export creates…
+  GeoSpecNodePoolOptions.workers (property) — Number of outer worker isolates
+  GeoSpecNodePoolOptions.budget (property) — Caller-inclusive total CPU budget
+  GeoSpecNodePoolOptions.shardTimeout (property) — Non-verdict shard watchdog in milliseconds
+NodeWorkerLike (type) [lines 873-892] [3 members] — The slice of `node:worker_threads`' `Worker` the pool drives
+  NodeWorkerLike.postMessage (method)
+  NodeWorkerLike.on (method)
+  NodeWorkerLike.terminate (method)
+GeoSpecExporterModule (type) [lines 894-903] [1 members] — A module whose default export creates exporters for one worker
+  GeoSpecExporterModule.default (property)
+GeoSpecPoolHostMessage (type) [lines 905-922] [1 members]
   GeoSpecPoolHostMessage.type (property)
-GeoSpecPoolShard (type) [lines 819-836] [3 members] — One schedulable work unit
+GeoSpecPoolShard (type) [lines 924-941] [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 838-863] [4 members]
+GeoSpecPoolWorkerHandle (type) [lines 943-968] [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 865-902] [1 members]
+GeoSpecPoolWorkerMessage (type) [lines 970-1009] [1 members]
   GeoSpecPoolWorkerMessage.type (property)
-GeoSpecRunner (type) [lines 904-934] [4 members] — Public GeoSpec runner lifecycle surface
+GeoSpecRunner (type) [lines 1011-1041] [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 936-968] [1 members] — Lifecycle event emitted by GeoSpec worker-style runners
+GeoSpecRunnerEvent (type) [lines 1043-1075] [1 members] — Lifecycle event emitted by GeoSpec worker-style runners
   GeoSpecRunnerEvent.type (property)
-GeoSpecRunnerFileResult (type) [lines 970-997] [5 members] — One GeoSpec test file executed by a worker-style runner
+GeoSpecRunnerFileResult (type) [lines 1077-1104] [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 999-1021] [4 members] — Shared options for GeoSpec runner factories
+GeoSpecRunnerOptions (type) [lines 1106-1128] [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 1023-1070] [9 members] — Aggregate result returned by GeoSpec worker-style runners
+GeoSpecRunnerResult (type) [lines 1130-1177] [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
@@ -708,13 +735,13 @@ GeoSpecRunnerResult (type) [lines 1023-1070] [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 1072-1106] [5 members] — Options accepted by a GeoSpec worker-style runner run
+GeoSpecRunnerRunOptions (type) [lines 1179-1213] [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.workUnitLimit (property) — Engine work-unit budget for this run's claims, replacing the runner's…
   GeoSpecRunnerRunOptions.bail (property) — Stop after the first failing file (R1)
-GeoSpecPoolOptions (type) [lines 1108-1145] [7 members] — Everything the pool needs that differs between Node and the…
+GeoSpecPoolOptions (type) [lines 1215-1252] [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
@@ -722,15 +749,15 @@ GeoSpecPoolOptions (type) [lines 1108-1145] [7 members] — Everything the pool
   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 (type) [lines 1254-1266] [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 (type) [lines 1268-1294] [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 (type) [lines 1296-1338] [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…
@@ -739,32 +766,35 @@ GeoSpecPoolWorkerHostOptions (type) [lines 1189-1231] [8 members] — Options ac
   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 (type) [lines 1340-1357] [2 members] — Runner-independent native assertion client
   GeoSpecAssertionClient.expectGeo (method) — Start a chain
   GeoSpecAssertionClient.query (method)
-GeoSpecAssertionClientOptions (type) [lines 1252-1280] [6 members] — Flat construction options for a runner-independent native assertion client
+GeoSpecAssertionClientOptions (type) [lines 1359-1387] [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 1282-1287] [1 members] — Standalone native matcher chain, including core-owned negation
+GeoSpecAssertionMatchers (type) [lines 1389-1394] [1 members] — Standalone native matcher chain, including core-owned negation
   GeoSpecAssertionMatchers.not (property)
-GeoSpecAuthoringInvocation (type) [lines 1289-1309] [6 members] — One authored call shared by the collector and native assertion…
+GeoSpecAuthoringInvocation (type) [lines 1396-1416] [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 1311-1314] — Matcher methods derived mechanically from the existing GeoSpec registry
-GeoSpecQueryOptions (type) [lines 1316-1331] [4 members] — One positive-only ancillary query
+GeoSpecMatcherMethods (type) [lines 1418-1421] — Matcher methods derived mechanically from the existing GeoSpec registry
+
+## Types (3) — `public-api-types-3.md`
+
+GeoSpecQueryOptions (type) [lines 5-20] [4 members] — One positive-only ancillary query
   GeoSpecQueryOptions.capability (property)
   GeoSpecQueryOptions.claimId (property)
   GeoSpecQueryOptions.payload (property)
   GeoSpecQueryOptions.subject (property)
-MinimumDistanceFact (type) [lines 1333-1362] [9 members] — Complete native minimum and ordered finite witnesses in canonical millimetres/Z-up
+MinimumDistanceFact (type) [lines 22-51] [9 members] — Complete native minimum and ordered finite witnesses in canonical millimetres/Z-up
   MinimumDistanceFact.source (property)
   MinimumDistanceFact.assurance (property)
   MinimumDistanceFact.unit (property)
@@ -774,13 +804,13 @@ MinimumDistanceFact (type) [lines 1333-1362] [9 members] — Complete native min
   MinimumDistanceFact.occurrences (property)
   MinimumDistanceFact.distance (property)
   MinimumDistanceFact.points (property)
-MinimumDistanceQuery (type) [lines 1364-1387] [3 members] — Complete AP242 minimum over two subject-bound occurrence paths
+MinimumDistanceQuery (type) [lines 53-76] [3 members] — Complete AP242 minimum over two subject-bound occurrence paths
   MinimumDistanceQuery.capability (property)
   MinimumDistanceQuery.subject (property)
   MinimumDistanceQuery.payload (property)
-MinimumDistanceResult (type) [lines 1389-1403] [1 members] — Geometry refusal and infrastructure interruption never masquerade as facts
+MinimumDistanceResult (type) [lines 78-92] [1 members] — Geometry refusal and infrastructure interruption never masquerade as facts
   MinimumDistanceResult.status (property)
-GeoSpecNativeQueryOptions (type) [lines 1405-1428] [9 members] — Flat native query transport options
+GeoSpecNativeQueryOptions (type) [lines 94-117] [9 members] — Flat native query transport options
   GeoSpecNativeQueryOptions.engine (property)
   GeoSpecNativeQueryOptions.claimId (property)
   GeoSpecNativeQueryOptions.evidenceProfile (property)
@@ -790,41 +820,38 @@ GeoSpecNativeQueryOptions (type) [lines 1405-1428] [9 members] — Flat native q
   GeoSpecNativeQueryOptions.subject (property)
   GeoSpecNativeQueryOptions.capability (property)
   GeoSpecNativeQueryOptions.payload (property)
-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
+GeoSpecQueryCapability (type) [lines 119-120] — Existing positive-only ancillary operations owned by the native core
+GeoSpecPmiField (type) [lines 122-133] [3 members] — Explicit support state for one source-attributed inventory field
   GeoSpecPmiField.status (property)
   GeoSpecPmiField.value (property)
   GeoSpecPmiField.reason (property)
-GeoSpecPmiRawEntity (type) [lines 1446-1457] [3 members] — Original Part21 entity ID and exact source argument tokens
+GeoSpecPmiRawEntity (type) [lines 135-146] [3 members] — Original Part21 entity ID and exact source argument tokens
   GeoSpecPmiRawEntity.sourceId (property)
   GeoSpecPmiRawEntity.kind (property)
   GeoSpecPmiRawEntity.arguments (property)
-GeoSpecPmiNumber (type) [lines 1459-1479] [6 members] — Source-authored scalar and Rust-normalized reduced rational millimetres
+GeoSpecPmiNumber (type) [lines 148-168] [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 1481-1495] [4 members] — A uniquely forward-transferred face
+GeoSpecPmiFaceAssociation (type) [lines 170-184] [4 members] — A uniquely forward-transferred face
   GeoSpecPmiFaceAssociation.sourceFaceId (property)
   GeoSpecPmiFaceAssociation.occurrenceRoute (property)
   GeoSpecPmiFaceAssociation.occurrence (property)
   GeoSpecPmiFaceAssociation.publicFaceOrdinal (property)
-
-## Types (3) — `public-api-types-3.md`
-
-GeoSpecPmiShapeReference (type) [lines 5-22] [5 members] — One ordered role reference, including incomplete source/transfer evidence
+GeoSpecPmiShapeReference (type) [lines 186-203] [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 24-35] [3 members] — Normalized authored limits
+GeoSpecPmiLimits (type) [lines 205-216] [3 members] — Normalized authored limits
   GeoSpecPmiLimits.lowerMillimetres (property)
   GeoSpecPmiLimits.upperMillimetres (property)
   GeoSpecPmiLimits.basis (property)
-GeoSpecPmiRecord (type) [lines 37-72] [11 members] — Source record preserving semantic/presentation separation and ordered roles
+GeoSpecPmiRecord (type) [lines 218-253] [11 members] — Source record preserving semantic/presentation separation and ordered roles
   GeoSpecPmiRecord.sourceId (property)
   GeoSpecPmiRecord.family (property)
   GeoSpecPmiRecord.channel (property)
@@ -836,20 +863,20 @@ GeoSpecPmiRecord (type) [lines 37-72] [11 members] — Source record preserving
   GeoSpecPmiRecord.limits (property)
   GeoSpecPmiRecord.interpretation (property)
   GeoSpecPmiRecord.raw (property)
-GeoSpecPmiInventory (type) [lines 74-91] [5 members] — Positive-only inventory value inside the ordinary canonical query report
+GeoSpecPmiInventory (type) [lines 255-272] [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 93-101] [2 members] — Strict inventory output limits
+GeoSpecPmiQueryPayload (type) [lines 274-282] [2 members] — Strict inventory output limits
   GeoSpecPmiQueryPayload.maxRecords (property)
   GeoSpecPmiQueryPayload.maxOutputBytes (property)
-GeoSpecPmiQueryValue (type) [lines 103-114] [3 members] — Complete inventory value
+GeoSpecPmiQueryValue (type) [lines 284-295] [3 members] — Complete inventory value
   GeoSpecPmiQueryValue.inventory (property)
   GeoSpecPmiQueryValue.subjectHash (property)
   GeoSpecPmiQueryValue.provenance (property)
-GeoSpecCanonicalClaimReport (type) [lines 116-150] [10 members] — Full native assertion result with the exact core-owned bytes retained
+GeoSpecCanonicalClaimReport (type) [lines 297-331] [10 members] — Full native assertion result with the exact core-owned bytes retained
   GeoSpecCanonicalClaimReport.canonicalClaim (property)
   GeoSpecCanonicalClaimReport.canonicalPlan (property)
   GeoSpecCanonicalClaimReport.canonicalResult (property)
@@ -860,43 +887,55 @@ GeoSpecCanonicalClaimReport (type) [lines 116-150] [10 members] — Full native
   GeoSpecCanonicalClaimReport.polarity (property)
   GeoSpecCanonicalClaimReport.result (property)
   GeoSpecCanonicalClaimReport.status (property)
-GeoSpecNativeClaimEvaluation (type) [lines 152-163] [3 members] — Exact core bytes of one claim evaluated in one engine…
+GeoSpecNativeClaimEvaluation (type) [lines 333-344] [3 members] — Exact core bytes of one claim evaluated in one engine…
   GeoSpecNativeClaimEvaluation.canonicalClaim (property)
   GeoSpecNativeClaimEvaluation.canonicalPlan (property)
   GeoSpecNativeClaimEvaluation.canonicalResult (property)
-GeoSpecNativeEngine (type) [lines 165-175] [2 members] — Byte-only engine surface consumed by the runner-independent assertion client
+GeoSpecNativeEngine (type) [lines 346-356] [2 members] — Byte-only engine surface consumed by the runner-independent assertion client
   GeoSpecNativeEngine.evaluateClaim (method)
   GeoSpecNativeEngine.processRequest (method)
-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
+GeoSpecNativeEvidenceProfile (type) [lines 358-359] — Success-evidence profile a product selects for its plans (PERF-OUTPUT-01)
+GeoSpecNativeSubject (type) [lines 361-369] [2 members] — Content-addressed subject accepted by a protocol-3 assertion plan
   GeoSpecNativeSubject.contentHash (property)
   GeoSpecNativeSubject.subjectHash (property)
-GeoSpecFixedMatcherDescriptor (type) [lines 190-201] [3 members] — A canonical fixed-contract matcher
+GeoSpecFixedMatcherDescriptor (type) [lines 371-382] [3 members] — A canonical fixed-contract matcher
   GeoSpecFixedMatcherDescriptor.contract (property)
   GeoSpecFixedMatcherDescriptor.expected (property)
   GeoSpecFixedMatcherDescriptor.mode (property)
-GeoSpecVitestAdapter (type) [lines 203-212] [2 members] — Installed Vitest matcher map and lifecycle settlement hook
+GeoSpecCliHost (type) [lines 384-440] [5 members] — The platform the CLI runs against
+  GeoSpecCliHost.cwd (method) — Absolute project root for a relative `projectPath`
+  GeoSpecCliHost.write (method)
+  GeoSpecCliHost.discoveryFileSystem (method) — Recursive discovery filesystem
+  GeoSpecCliHost.loadConfig (method) — Import the project's `geospec.config.*`, or the explicit one, for its…
+  GeoSpecCliHost.createRunner (method) — Build the runner the selected files execute on
+NodeGeoSpecCliHostOptions (type) [lines 442-457] [2 members] — Options for {@link createNodeGeoSpecCliHost}
+  NodeGeoSpecCliHostOptions.reportStream (property) — Report sink used by embedding hosts and tests
+  NodeGeoSpecCliHostOptions.exporterModules (property) — URLs of modules each pool worker imports for exporters that…
+GeoSpecVitestAdapter (type) [lines 459-468] [2 members] — Installed Vitest matcher map and lifecycle settlement hook
   GeoSpecVitestAdapter.matchers (property)
   GeoSpecVitestAdapter.flush (method)
-GeoSpecConfig (type) [lines 214-245] [8 members] — Trusted project configuration using existing discovery and runner options
+ReadGeoSpecConfigOptions (type) [lines 470-482] [2 members] — Options for {@link readGeoSpecConfig}
+  ReadGeoSpecConfigOptions.filesystem (property) — The project filesystem
+  ReadGeoSpecConfigOptions.projectPath (property) — Rooted directory holding the config, in the filesystem's spelling
+ReadGeoSpecConfigResult (type) [lines 484-502] [1 members] — Outcome of {@link readGeoSpecConfig}
+  ReadGeoSpecConfigResult.status (property)
+GeoSpecConfig (type) [lines 504-533] [6 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.bail (property)
-  GeoSpecConfig.cache (property)
-  GeoSpecConfig.cacheDirectory (property) — Requested cache location only
-  GeoSpecConfig.subjects (property)
-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 269-277] [2 members] — Resolved file identity and validated configuration data
+  GeoSpecConfig.exporters (property) — Model exporters for `loadModel({ file })`
+GeoSpecConfigData (type) [lines 535-547] [5 members] — The config's data fields
+  GeoSpecConfigData.include (property)
+  GeoSpecConfigData.exclude (property)
+  GeoSpecConfigData.testNamePattern (property)
+  GeoSpecConfigData.testTimeout (property) — Positive finite milliseconds
+  GeoSpecConfigData.bail (property)
+LoadedGeoSpecConfig (type) [lines 549-557] [2 members] — Resolved file identity and validated configuration data
   LoadedGeoSpecConfig.configPath (property)
   LoadedGeoSpecConfig.options (property)
-LoadGeoSpecConfigOptions (type) [lines 279-294] [3 members] — Options for one trusted Node configuration load
+LoadGeoSpecConfigOptions (type) [lines 559-574] [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