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

package/dist/model/node/command-exporter.mjs

@@ -0,0 +1 @@
+import{GeoSpecModelLoadError as e}from"../errors.mjs";import{z as t}from"zod";import{mkdtemp as n,readFile as r,rm as i}from"node:fs/promises";import{isAbsolute as a,join as o,relative as s,resolve as c,sep as l}from"node:path";import{spawn as u}from"node:child_process";import{tmpdir as d}from"node:os";import f from"node:process";const p=t.object({protocol:t.literal(1),error:t.object({code:t.string().min(1),message:t.string(),suggestion:t.string().optional()})}),m=t.object({protocol:t.literal(1),format:t.enum([`glb`,`step`]),sourceUnit:t.string().optional(),primary:t.string().min(1),resources:t.array(t.object({name:t.string().min(1),path:t.string().min(1)})).optional(),consumedSources:t.array(t.object({path:t.string().min(1),sha256:t.string().min(1)}))}),h=({id:t,file:n,reason:r,details:i={}})=>new e([{code:`GEOSPEC_EXPORTER_FAILED`,severity:`error`,message:`Exporter '${t}' failed to export '${n}': ${r}`,suggestion:`Run the exporter command by hand with the same arguments and fix what it reports.`,details:{exporter:t,file:n,...i}}]),g=(e,t)=>{let n=c(e,t),r=s(e,n);return r===``||r===`..`||r.startsWith(`..${l}`)||a(r)?void 0:n},_=async e=>{let t=await r(e);return new Uint8Array(t.buffer,t.byteOffset,t.byteLength)},v=(e,t,n)=>[`--file`,e.file,`--format`,e.format,`--project`,t,`--out`,n,...e.parameters===void 0?[]:[`--parameters-json`,JSON.stringify(e.parameters)],...e.mesh?.linearTolerance===void 0?[]:[`--mesh-linear-tolerance`,String(e.mesh.linearTolerance)],...e.mesh?.angularToleranceDegrees===void 0?[]:[`--mesh-angular-tolerance-degrees`,String(e.mesh.angularToleranceDegrees)],...e.region===void 0?[]:[`--region-min`,e.region.min.join(`,`),`--region-max`,e.region.max.join(`,`)]],y=e=>{let t=new TextDecoder;return e.map(e=>t.decode(e,{stream:!0})).join(``)+t.decode()},b=async(e,t,n)=>new Promise((r,i)=>{let a=u(e,t,{cwd:n.cwd,env:n.env,stdio:[`ignore`,`pipe`,`pipe`],...n.signal===void 0?{}:{signal:n.signal}}),o=[],s=[];a.stdout.on(`data`,e=>o.push(e)),a.stderr.on(`data`,e=>s.push(e)),a.once(`error`,i),a.once(`close`,e=>{r({exitCode:e??void 0,stdout:y(o),stderr:y(s)})})}),x=t=>{let[r,...a]=t.command;if(t.id===``||t.extensions.length===0||r===void 0||r===``)throw TypeError(`commandExporter needs an id, at least one extension and a command.`);if(t.capabilities.formats.length===0)throw TypeError(`commandExporter '${t.id}' must declare at least one format.`);if(t.capabilities.inlineSources===!0)throw TypeError(`commandExporter '${t.id}' cannot accept inline sources: protocol 1 passes files only.`);let{id:s}=t;return{id:s,extensions:[...t.extensions],capabilities:{...t.capabilities,formats:[...t.capabilities.formats]},async export(c){let l=c.projectPath??t.cwd??f.cwd(),u=await n(o(d(),`geospec-export-`));try{let n;try{n=await b(r,[...a,...v(c,l,u)],{cwd:t.cwd??l,env:{...f.env,...t.env},signal:c.signal})}catch(e){throw h({id:s,file:c.file,reason:`the command could not run (${e instanceof Error?e.message:String(e)}).`})}let i=n.stderr.slice(-2e3),o;try{o=JSON.parse(n.stdout)}catch{throw h({id:s,file:c.file,reason:`it printed no protocol 1 JSON document (exit ${String(n.exitCode)}).`,details:{exitCode:n.exitCode,stderr:i}})}let d=p.safeParse(o);if(d.success){let{code:t,message:n,suggestion:r}=d.data.error;throw new e([{code:t,severity:`error`,message:n,...r===void 0?{}:{suggestion:r},details:{exporter:s,file:c.file}}])}let y=m.safeParse(o);if(n.exitCode!==0||!y.success)throw h({id:s,file:c.file,reason:n.exitCode===0?`its JSON document is not a protocol 1 response.`:`it exited ${String(n.exitCode)} without a protocol 1 error.`,details:{exitCode:n.exitCode,stderr:i}});let x=y.data,S=g(u,x.primary),C=(x.resources??[]).flatMap(({name:e,path:t})=>{let n=g(u,t);return n===void 0?[]:[{name:e,path:n}]});if(S===void 0||C.length!==(x.resources??[]).length)throw h({id:s,file:c.file,reason:`it named an artifact outside its output directory.`});let[w,T]=await Promise.all([_(S),Promise.all(C.map(async({name:e,path:t})=>({name:e,bytes:await _(t)})))]);return{bytes:w,format:x.format,...x.sourceUnit===void 0?{}:{sourceUnit:x.sourceUnit},...T.length===0?{}:{resources:T},consumedSources:x.consumedSources}}finally{await i(u,{recursive:!0,force:!0})}}}};export{x as commandExporter};

package/dist/model/node/index.d.mts

@@ -0,0 +1,2 @@
+import { CommandExporterOptions, commandExporter } from "./command-exporter.mjs";
+export { type CommandExporterOptions, commandExporter };

package/dist/model/node/index.mjs

@@ -0,0 +1 @@
+import{commandExporter as e}from"./command-exporter.mjs";export{e as commandExporter};

package/dist/model/types.d.mts

@@ -1,9 +1,8 @@
 import { GeoSpecUnit } from "../geometry-unit.mjs";
 import { StepSource, StepStreamingMode } from "../step/types.mjs";
-import { MeshFileFormat } from "../mesh/types.mjs";
+import { GeometryDiagnostic, MeshFileFormat } from "../mesh/types.mjs";
 import { GeoSpecSubject } from "./subject.mjs";
 import { GeoSpecNativeModelEngine, GeoSpecNativeSourceReader } from "./native-model-loader.mjs";
-import { RuntimeClient } from "@taucad/runtime";
 //#region src/model/types.d.ts
 /**
  * In-memory triangle mesh source.
@@ -29,49 +28,110 @@ type MeshSource = Uint8Array<ArrayBuffer> | ArrayBuffer | Blob | File | URL | st
  */
 type GeoSpecModelFormat = MeshFileFormat | 'step' | 'stp';
 /**
- * Runtime client surface consumed by `geospec/model`.
+ * Formats a {@link GeoSpecModelExporter} may produce from a source-kind file.
  *
- * GeoSpec accepts concrete Tau runtime clients from multiple call sites but
- * only needs connection lifecycle and request-scoped documents. Keep this shape
- * small so typed runtime clients do not have to widen their full generic
- * method surface to GeoSpec's testing DSL. A client with `shutdown` is awaited
- * through it when GeoSpec releases an owned runtime, so its host resources are
- * closed before the caller (for example a worker thread) exits. A client with
- * `snapshotSource` lets one run reuse an identical file load after confirming
- * that the source closure it exported is unchanged.
+ * @public
+ */
+type GeoSpecExportFormat = Extract<GeoSpecModelFormat, 'glb' | 'step'>;
+/**
+ * What a {@link GeoSpecModelExporter} declares it can do. The loader refuses a load the exporter
+ * cannot serve with `GEOSPEC_EXPORTER_UNSUPPORTED` before it calls `export`.
  *
  * @public
  */
-type GeoSpecRuntimeClient = Pick<RuntimeClient, 'connect' | 'terminate'> & Partial<Pick<RuntimeClient, 'shutdown' | 'snapshotSource' | 'describe'>> & {
-  open: (input: Pick<Parameters<RuntimeClient['open']>[0], 'source' | 'parameters' | 'stage' | 'watch' | 'signal'>) => Pick<ReturnType<RuntimeClient['open']>, 'export' | 'close'>;
-  on?(event: 'telemetry', handler: (batch: {
-    readonly entries: ReadonlyArray<{
-      name: string;
-      duration: number;
-      startTime: number;
-      workerTimeOrigin: number;
-    }>;
-  }) => void): () => void;
+type GeoSpecExporterCapabilities = {
+  /** The formats `export` produces; at least one. A GLB-only exporter refuses STEP loads up front. */
+  readonly formats: readonly GeoSpecExportFormat[];
+  /** Accepts `parameters`. Without it, a load that passes parameters refuses. */
+  readonly parameters?: boolean;
+  /** Crops to `region` (an axis-aligned millimetre box) before export. Without it, a region load refuses. */
+  readonly region?: boolean;
+  /** Accepts `inline` sources, which back `loadModel({ code })`. Without it, an inline load refuses. */
+  readonly inlineSources?: boolean;
 };
 /**
- * Lazy runtime factory consumed by `geospec/model`.
+ * One export request. Every field but `inline` and `signal` maps onto subprocess protocol 1, so the
+ * same request crosses a process boundary unchanged.
  *
  * @public
  */
-type GeoSpecRuntimeClientFactory = () => Promise<GeoSpecRuntimeClient>;
+type GeoSpecModelExportRequest = {
+  /** Entry file, as a path from the project root. */
+  readonly file: string;
+  /** Absolute project root the exporter resolves `file` and its imports against, when the host has one. */
+  readonly projectPath?: string;
+  readonly format: GeoSpecExportFormat;
+  /** JSON-serialisable parameter values; present only when the exporter declares `parameters`. */
+  readonly parameters?: Readonly<Record<string, unknown>>;
+  /** Tessellation tolerances for a mesh export. */
+  readonly mesh?: {
+    readonly linearTolerance?: number;
+    readonly angularToleranceDegrees?: number;
+  };
+  /** Millimetre crop box; present only when the exporter declares `region`. */
+  readonly region?: GeoSpecLoadRegion;
+  /** Source text keyed by project-relative path; present only when the exporter declares `inlineSources`. */
+  readonly inline?: Readonly<Record<string, string>>;
+  readonly signal?: AbortSignal;
+};
 /**
- * Explicit source adapter for formats whose runtime setup is not part of the
- * generic Tau runtime preset.
+ * The bytes an exporter returns, in the canonical Z-up millimetre frame.
  *
  * @public
  */
-type GeoSpecRuntimeSourceAdapter = {
-  id: string;
-  extensions: readonly string[];
-  createRuntime(options: {
-    projectPath?: string;
-    file?: string;
-  }): Promise<GeoSpecRuntimeClient>;
+type GeoSpecModelArtifact = {
+  readonly bytes: Uint8Array<ArrayBuffer>;
+  readonly format: GeoSpecExportFormat;
+  /** Unit of raw GLB coordinates; defaults to `'mm'`. STEP carries its own unit. */
+  readonly sourceUnit?: GeoSpecUnit;
+  /** External resources the primary bytes reference, by name. */
+  readonly resources?: ReadonlyArray<{
+    readonly name: string;
+    readonly bytes: Uint8Array<ArrayBuffer>;
+  }>;
+  /**
+   * Every source file the export read, as a path from the project root with its SHA-256 (64 hex digits,
+   * optionally prefixed `sha256:`), or `'missing'` for a file the export looked for and did not find. The
+   * load records it as the subject's source revision.
+   */
+  readonly consumedSources?: GeoSpecConsumedSources;
+  /** Notices from a successful export, admitted with the subject so its evidence keeps them. */
+  readonly diagnostics?: readonly GeometryDiagnostic[];
+  /** The export options the exporter applied, recorded in the load evidence beside the exporter id. */
+  readonly exportOptions?: Readonly<Record<string, unknown>>;
+};
+/**
+ * The source files one export read, each with its SHA-256 or `'missing'`.
+ *
+ * @public
+ */
+type GeoSpecConsumedSources = ReadonlyArray<{
+  readonly path: string;
+  readonly sha256: string;
+}>;
+/**
+ * Turns a source-kind model file into GLB or STEP bytes for GeoSpec. Hosts pass exporters to the
+ * model loader; the first whose `extensions` claim a file exports it. `extensions` have no leading dot,
+ * and `'*'` claims every file. `export` may be called concurrently; the exporter owns its caching.
+ *
+ * @public
+ */
+type GeoSpecModelExporter = {
+  readonly id: string;
+  readonly extensions: readonly string[];
+  readonly capabilities: GeoSpecExporterCapabilities;
+  export(request: GeoSpecModelExportRequest): Promise<GeoSpecModelArtifact>;
+  /**
+   * The sources an export of `file` would read now, without exporting. With it, the loader reuses an
+   * earlier identical load in the same scope when every digest still matches; without it, every file
+   * load exports afresh.
+   */
+  revision?(request: Pick<GeoSpecModelExportRequest, 'file' | 'projectPath'>): Promise<GeoSpecConsumedSources | undefined>;
+  /**
+   * Releases what the exporter created for one scope. The loader calls it from `releaseAll` for every
+   * exporter it exported through in that scope; the exporter stays usable for the next one.
+   */
+  close?(): Promise<void>;
 };
 /**
  * Axis-aligned crop box in canonical Z-up millimetres; every `min` axis is below its `max` axis.
@@ -139,13 +199,9 @@ type LoadModelCodeOptions<Code extends Record<string, string> = Record<string, s
   rootDir?: never;
   /** Geometry format to export. Defaults to `glb`. */
   format?: GeoSpecModelFormat;
-  /** Explicit parameters passed to the runtime. */
+  /** Explicit parameters passed to the exporter. */
   parameters?: Record<string, unknown>;
-  /** Runtime client or lazy runtime factory. */
-  runtime?: GeoSpecRuntimeClient | GeoSpecRuntimeClientFactory;
-  /** Source-specific runtime adapters, e.g. host-provided GPL-isolated kernels. */
-  sourceAdapters?: readonly GeoSpecRuntimeSourceAdapter[];
-  /** Project root used by runtime integrations. */
+  /** Absolute project root passed to the exporter. */
   projectPath?: string;
   /** STEP reader strategy used for STEP exports. */
   stepStreaming?: StepStreamingMode;
@@ -162,12 +218,11 @@ type LoadModelCodeOptions<Code extends Record<string, string> = Record<string, s
    */
   workUnitLimit?: number;
   /**
-   * Axis-aligned millimetre box the kernel crops the model to before export, so a large mesh model
-   * can be checked region by region. Only kernels whose direct GLB export declares a `region` option
-   * honor it; any other kernel, a STEP load or a crop the kernel does not confirm refuses with a typed
-   * diagnostic instead of loading the whole model. The cropped subject is a different subject: its
-   * admission carries the kernel's crop notice and its load evidence records `region`, so a claim on
-   * it never stands for the whole model.
+   * Axis-aligned millimetre box the exporter crops the model to before export, so a large mesh model
+   * can be checked region by region. Only an exporter that declares `region` honours it; any other
+   * exporter, or a crop the exporter cannot make, refuses with a typed diagnostic instead of loading
+   * the whole model. The cropped subject is a different subject: its load evidence records `region`,
+   * so a claim on it never stands for the whole model.
    */
   region?: GeoSpecLoadRegion;
 };
@@ -188,16 +243,12 @@ type LoadModelFileOptions = {
    * evidence.
    */
   rootDir?: string;
-  /** Project root used by runtime integrations. */
+  /** Absolute project root passed to the exporter. */
   projectPath?: string;
   /** Geometry format to export. Defaults to `glb`. */
   format?: GeoSpecModelFormat;
-  /** Explicit parameters passed to the runtime. */
+  /** Explicit parameters passed to the exporter. */
   parameters?: Record<string, unknown>;
-  /** Runtime client or lazy runtime factory. */
-  runtime?: GeoSpecRuntimeClient | GeoSpecRuntimeClientFactory;
-  /** Source-specific runtime adapters, e.g. host-provided GPL-isolated kernels. */
-  sourceAdapters?: readonly GeoSpecRuntimeSourceAdapter[];
   /** STEP reader strategy used for STEP exports. */
   stepStreaming?: StepStreamingMode;
   /** Whether STEP loading should also produce mesh evidence. Defaults to true. */
@@ -213,12 +264,11 @@ type LoadModelFileOptions = {
    */
   workUnitLimit?: number;
   /**
-   * Axis-aligned millimetre box the kernel crops the model to before export, so a large mesh model
-   * can be checked region by region. Only kernels whose direct GLB export declares a `region` option
-   * honor it; any other kernel, a STEP load or a crop the kernel does not confirm refuses with a typed
-   * diagnostic instead of loading the whole model. The cropped subject is a different subject: its
-   * admission carries the kernel's crop notice and its load evidence records `region`, so a claim on
-   * it never stands for the whole model.
+   * Axis-aligned millimetre box the exporter crops the model to before export, so a large mesh model
+   * can be checked region by region. Only an exporter that declares `region` honours it; any other
+   * exporter, or a crop the exporter cannot make, refuses with a typed diagnostic instead of loading
+   * the whole model. The cropped subject is a different subject: its load evidence records `region`,
+   * so a claim on it never stands for the whole model.
    */
   region?: GeoSpecLoadRegion;
 };
@@ -235,7 +285,7 @@ type LoadModelOptions<Code extends Record<string, string> = Record<string, strin
  * @public
  */
 type GeoSpecModelLoader = <Code extends Record<string, string> = Record<string, string>>(options: LoadModelOptions<Code>) => Promise<GeoSpecSubject>;
-/** A configured loader whose shared runtime can be released with its owner. @public */
+/** A configured loader whose admissions can be released with its owner. @public */
 type ManagedGeoSpecModelLoader = GeoSpecModelLoader & {
   dispose(): Promise<void>;
 };
@@ -251,11 +301,9 @@ type CreateModelLoaderOptions = {
   readSource?: GeoSpecNativeSourceReader;
   /** Geometry format to export when an individual call does not specify one. */
   format?: GeoSpecModelFormat;
-  /** Runtime client or lazy runtime factory. */
-  runtime?: GeoSpecRuntimeClient | GeoSpecRuntimeClientFactory;
-  /** Source-specific runtime adapters, e.g. host-provided GPL-isolated kernels. */
-  sourceAdapters?: readonly GeoSpecRuntimeSourceAdapter[];
-  /** Project root used by runtime integrations. */
+  /** Model exporters for source-kind files; the first whose `extensions` claim the file exports it. */
+  exporters?: readonly GeoSpecModelExporter[];
+  /** Absolute project root passed to the exporter. */
   projectPath?: string;
   /** STEP reader strategy used for STEP sources or exports. */
   stepStreaming?: StepStreamingMode;
@@ -267,4 +315,4 @@ type CreateModelLoaderOptions = {
   meshAngularToleranceDegrees?: number;
 };
 //#endregion
-export { CreateModelLoaderOptions, GeoSpecLoadRegion, GeoSpecModelFormat, GeoSpecModelLoader, GeoSpecRuntimeClient, GeoSpecRuntimeClientFactory, GeoSpecRuntimeSourceAdapter, LoadModelCodeOptions, LoadModelFileOptions, LoadModelOptions, LoadModelSourceOptions, ManagedGeoSpecModelLoader, MeshBufferSource, MeshSource };
+export { CreateModelLoaderOptions, GeoSpecConsumedSources, GeoSpecExportFormat, GeoSpecExporterCapabilities, GeoSpecLoadRegion, GeoSpecModelArtifact, GeoSpecModelExportRequest, GeoSpecModelExporter, GeoSpecModelFormat, GeoSpecModelLoader, LoadModelCodeOptions, LoadModelFileOptions, LoadModelOptions, LoadModelSourceOptions, ManagedGeoSpecModelLoader, MeshBufferSource, MeshSource };

package/dist/runner/collector.d.mts

@@ -22,8 +22,6 @@ type GeoSpecCollector = {
 };
 /** Per-module collector configuration; native subject/engine lifetime stays with the host. @public */
 type GeoSpecCollectorOptions = {
-  matcherWallBackstop?: number;
-  forensic?: boolean;
   nativeAssertions: GeoSpecAssertionClientOptions;
   /** Observes each selected test as it starts and settles, for host progress reporting. */
   onTestEvent?: (event: GeoSpecTestEvent) => void;

package/dist/runner/node/index.d.mts

@@ -0,0 +1,2 @@
+import { createNodeVmFileSystem, resolveUnderRoot } from "./node-vm-filesystem.mjs";
+export { createNodeVmFileSystem, resolveUnderRoot };

package/dist/runner/node/index.mjs

@@ -0,0 +1 @@
+import{createNodeVmFileSystem as e,resolveUnderRoot as t}from"./node-vm-filesystem.mjs";export{e as createNodeVmFileSystem,t as resolveUnderRoot};

package/dist/runner/node/node-vm-filesystem.d.mts

@@ -0,0 +1,22 @@
+import { VmFileSystem } from "@taucad/esbuild/vm";
+//#region src/runner/node/node-vm-filesystem.d.ts
+/**
+ * Resolve one VM path to a real path under the root.
+ *
+ * @param root - The project root.
+ * @param path - A canonical path rooted by the supplied project capability.
+ * @returns The absolute host path.
+ * @throws Error when the path escapes the root.
+ * @public
+ */
+declare const resolveUnderRoot: (root: string, path: string) => string;
+/**
+ * Create a Node `VmFileSystem` rooted at `root`.
+ *
+ * @param root - Absolute project root path.
+ * @returns A VM filesystem confined to `root`.
+ * @public
+ */
+declare const createNodeVmFileSystem: (root: string) => VmFileSystem;
+//#endregion
+export { createNodeVmFileSystem, resolveUnderRoot };

package/dist/runner/node/node-vm-filesystem.mjs

@@ -0,0 +1 @@
+import{lstat as e,mkdir as t,open as n,readFile as r,realpath as i,rename as a,unlink as o}from"node:fs/promises";import{basename as s,dirname as c,isAbsolute as l,join as u,relative as d,resolve as f,sep as p}from"node:path";import{assertRootedPath as m}from"@taucad/runtime/kernel";import{randomUUID as h}from"node:crypto";const g=(e,t)=>{let n=f(e),r=f(n,m(t)),i=d(n,r);if(i.startsWith(`..${p}`)||i===`..`)throw Error(`GeoSpec refused a path outside the project root: '${t}'.`);return r},_=(e,t)=>{let n=d(e,t);return n===``||!l(n)&&n!==`..`&&!n.startsWith(`..${p}`)},v=async t=>{let n=t;for(;;)try{return await e(n),n}catch(e){let{code:t}=e;if(t!==`ENOENT`&&t!==`ENOTDIR`)throw e;let r=c(n);if(r===n)throw e;n=r}},y=l=>{let d=f(l),p=i(d),m=async(e,t)=>{let[n,r]=await Promise.all([p,v(e)]);if(!_(n,await i(r)))throw Object.assign(Error(`GeoSpec refused a symbolic link outside the project root: '${t}'.`),{code:`EACCES`});return e},y=async e=>m(g(d,e),e),b=async e=>{let t=await r(await y(e));return new Uint8Array(t.buffer,t.byteOffset,t.byteLength)};return{exists:async e=>{try{let t=await n(await y(e),`r`);try{return(await t.stat()).isFile()||await t.readFile(),!0}finally{await t.close()}}catch(e){let{code:t}=e;if(t===`ENOENT`||t===`ENOTDIR`)return!1;throw e}},readFile:(async(e,t)=>t===`utf8`?r(await y(e),`utf8`):b(e)),writeFile:async(r,l)=>{let f=g(d,r),v=c(f);await m(v,r),await t(v,{recursive:!0});let[y,b]=await Promise.all([p,i(v)]);if(!_(y,b))throw Object.assign(Error(`GeoSpec refused a symbolic link outside the project root: '${r}'.`),{code:`EACCES`});let x=u(b,s(f));if((await e(x).catch(e=>{if(e.code!==`ENOENT`)throw e}))?.isSymbolicLink())throw Object.assign(Error(`GeoSpec refused to replace a symbolic link: '${r}'.`),{code:`ELOOP`});let S=u(b,`.${s(f)}.${process.pid}.${h()}.tmp`);try{let t=await n(S,`wx`);try{await t.writeFile(l,`utf8`),await t.sync()}finally{await t.close()}let o=await i(v);if(o!==b||!_(y,o))throw Object.assign(Error(`GeoSpec refused a changed parent directory: '${r}'.`),{code:`ELOOP`});if((await e(x).catch(e=>{if(e.code!==`ENOENT`)throw e}))?.isSymbolicLink())throw Object.assign(Error(`GeoSpec refused to replace a symbolic link: '${r}'.`),{code:`ELOOP`});await a(S,x)}finally{await o(S).catch(()=>void 0)}},ensureDir:async e=>{let n=await y(e);await t(n,{recursive:!0});let[r,a]=await Promise.all([p,i(n)]);if(!_(r,a))throw Object.assign(Error(`GeoSpec refused a symbolic link outside the project root: '${e}'.`),{code:`EACCES`})}}};export{y as createNodeVmFileSystem,g as resolveUnderRoot};

package/dist/runner/pool/events.mjs

@@ -0,0 +1 @@
+const e=()=>{let e=new Set;return{on(t,n){let r=e=>{e.type===t&&n(e)};return e.add(r),()=>e.delete(r)},emit(t){for(let n of e)n(t)},clear(){e.clear()}}};export{e as createRunnerEventChannel};

package/dist/runner/pool/pool-messages.d.mts

@@ -21,16 +21,12 @@ type GeoSpecPoolHostMessage = {
   shard: GeoSpecPoolShard;
   testNamePattern?: string;
   testTimeout?: number;
-  matcherWallBackstop?: number;
-  forensic?: boolean;
 } | {
   /** List-only collection pass: register tests, run no bodies (R3 splitting). */
   type: 'list-tests';
   shardId: number;
   file: string;
   testTimeout?: number;
-  matcherWallBackstop?: number;
-  forensic?: boolean;
 } | {
   type: 'shutdown';
 };
@@ -47,12 +43,6 @@ type GeoSpecPoolWorkerMessage = {
   type: 'file-start';
   shardId: number;
   file: string;
-} | {
-  type: 'forensic';
-  shardId: number;
-  name: string;
-  value: number;
-  unit: 'milliseconds' | 'count';
 } | {
   type: 'tests-listed';
   shardId: number;

package/dist/runner/pool/pool.d.mts

@@ -0,0 +1,36 @@
+import "../types.mjs";
+import { GeoSpecPoolWorkerHandle } from "./pool-messages.mjs";
+import { GeoSpecRunner } from "../worker/runner-types.mjs";
+import { ShardTimings } from "./shard-timings.mjs";
+//#region src/runner/pool/pool.d.ts
+/**
+ * Everything the pool needs that differs between Node and the browser.
+ *
+ * @public
+ */
+type GeoSpecPoolOptions = {
+  /** Spawn one worker running `startGeoSpecPoolWorkerHost`. */
+  createWorker: () => GeoSpecPoolWorkerHandle | Promise<GeoSpecPoolWorkerHandle>;
+  /** Optional one-time worker initialization performed after its ready signal. */
+  initializeWorker?: (worker: GeoSpecPoolWorkerHandle) => Promise<void> | void;
+  /** Wait for each native worker's cleanup acknowledgement before terminating it. */
+  gracefulShutdown?: boolean;
+  /** Worker count. Omit to let the caller's host auto-size before calling. */
+  workers: number;
+  /** Optional scheduling telemetry. Absent = declared order, no memory class. */
+  timings?: ShardTimings;
+  /** Per-shard non-verdict watchdog, milliseconds (R11). */
+  shardTimeout?: number;
+  /** Split files whose recorded duration exceeds this. Milliseconds. */
+  splitThreshold?: number;
+};
+/**
+ * Create the host-agnostic pool runner.
+ *
+ * @param options - Worker factory, worker count, telemetry and event hook.
+ * @returns The runner lifecycle surface.
+ * @public
+ */
+declare const createGeoSpecPoolRunner: (options: GeoSpecPoolOptions) => GeoSpecRunner;
+//#endregion
+export { GeoSpecPoolOptions, createGeoSpecPoolRunner };

package/dist/runner/pool/pool.mjs

@@ -0,0 +1 @@
+import{geoSpecTimeoutCode as e}from"../timeout-codes.mjs";import{createNoMatchingGeoSpecTestsIssue as t}from"../worker/no-matching-tests-issue.mjs";import{accumulateFileResult as n}from"../worker/serial-runner.mjs";import{createRunnerEventChannel as r}from"./events.mjs";import{filesToSplit as i,planShards as a,selectShard as o}from"./shard-planner.mjs";import{assertRootedPath as s}from"@taucad/runtime/kernel";const c=(t,n)=>({code:e.shard,message:`GeoSpec shard '${t}' exceeded the ${n} ms non-verdict watchdog and its worker was terminated: infrastructure failure, not a geometry verdict.`,severity:`error`,type:`runtime`}),l=(e,t=`GEOSPEC_SHARD_FAILED`)=>({success:!1,issues:[{code:t,message:e,severity:`error`,type:`runtime`}]}),u=e=>({requestedFiles:[...e],completedFiles:[],notRunFiles:[...e],discoveryComplete:!1,discovered:0,selected:0,completed:0,passed:0,failed:0,unsupported:0,inconclusive:0,skipped:0,notRun:0,cancelled:!1,bailed:!1}),d=e=>{let t=`complete`,n=new Map;for(let r of e){r.lineage?.status===`mixed`?t=`mixed`:r.lineage?.status!==`complete`&&t!==`mixed`&&(t=`unavailable`);let e=r.lineage?.loads.flatMap(({evidence:e})=>{let t=e?.artifacts[0];return e?.exportOptions===void 0?[...(e?.artifacts??[]).flatMap(e=>e.sourcePath===void 0?[]:[{[e.sourcePath]:`sha256:${e.sha256}`}]),...e?.sourcePath===void 0||t===void 0?[]:[{[e.sourcePath]:`sha256:${t.sha256}`}]]:[]})??[];for(let i of[...r.lineage?.modules.map(e=>e.files)??[],...e,...r.lineage?.loads.map(e=>e.evidence?.sourceRevision?.files??{})??[]])for(let[e,r]of Object.entries(i))n.has(e)&&n.get(e)!==r&&(t=`mixed`),n.set(e,r)}return t},f=e=>{let t,n,r,i=new Promise(e=>{r=e}),a,o,s=new Promise((e,t)=>{a=e,o=t});s.catch(()=>void 0);let c=!1,l=!1,u,d,f=new Promise((e,t)=>{u=e,d=t});f.catch(()=>void 0);let p=e=>{let n=t;t=void 0,n?.(e)};return e.onMessage(e=>{switch(e.type){case`ready`:r?.();break;case`initialized`:c?(c=!1,a?.()):l?u?.():a?.();break;case`initialization-error`:n=e.message,r?.(),o?.(Error(e.message)),l&&d?.(Error(e.message));break;case`shard-complete`:p({type:`complete`,message:e});break;case`tests-listed`:p({type:`listed`,names:e.names});break;case`shard-error`:case`list-error`:p({type:`error`,message:e.message})}}),e.onExit(e=>{n=e.message??`the pool worker exited unexpectedly`,r?.(),o?.(Error(n)),d?.(Error(n)),p({type:`error`,message:n})}),{ready:i,initialized:s,shutdown:f,beginInitialization:()=>{c=!0},beginShutdown:()=>{l=!0},exited:()=>n,settle:async e=>n===void 0?new Promise(e=>{t=e}):{type:`error`,message:n}}},p=p=>{let h={closed:!1},g=()=>h.closed,_=()=>h.aborted,v=[],y=new WeakMap,b=r(),x=!1,S,C,w=async e=>{if(S!==void 0)return S;let t=(async()=>{for(;v.length<e&&!g();){let e=await p.createWorker();if(g()){await e.terminate();return}y.set(e,f(e)),v.push({handle:e,busy:!1,dead:!1,initialized:!1})}})();S=t;try{await t}finally{S===t&&(S=void 0)}},T=async(e,t,n)=>{let r=y.get(e.handle).settle(n.id);if(t(),p.shardTimeout===void 0)return r;let i=p.shardTimeout,a,o=new Promise(e=>{a=setTimeout(()=>{e({type:`timeout`,message:c(n.file,i).message})},i)});try{let t=await Promise.race([r,o]);return t.type===`timeout`&&(e.dead=!0,await e.handle.terminate()),t}finally{clearTimeout(a)}},E=()=>C===void 0?(h.closed=!0,h.aborted=`closed`,C=(async()=>{try{await S}catch{}let e=v.filter(e=>!e.dead&&y.get(e.handle)?.exited()===void 0);try{for(let t of e)y.get(t.handle).beginShutdown(),t.handle.postMessage({type:`shutdown`});p.gracefulShutdown&&await Promise.all(e.map(async e=>{let t=y.get(e.handle),n;try{await Promise.race([t.shutdown,new Promise((e,t)=>{n=setTimeout(()=>{t(Error(`Native pool shutdown timed out.`))},1e4)})])}finally{clearTimeout(n)}}))}finally{await Promise.all(v.map(async e=>e.handle.terminate())),v.length=0,b.emit({type:`close`}),b.clear()}})(),C):C;return{async run(r){let c=u(r.files);if(new Set(r.files).size!==r.files.length)return{success:!1,passed:0,failed:1,selectedTests:0,files:[],accounting:c,lineageStatus:`unavailable`,issues:[{code:`GEOSPEC_DUPLICATE_FILES`,message:`GeoSpec requested files must be unique.`,severity:`error`,type:`runtime`}]};if(h.closed)return{success:!1,passed:0,failed:1,selectedTests:0,files:[],accounting:c,lineageStatus:`unavailable`,issues:[{code:`GEOSPEC_RUNNER_CLOSED`,message:`GeoSpec runner is closed.`,severity:`error`,type:`runtime`}]};if(x)return{success:!1,passed:0,failed:1,selectedTests:0,files:[],accounting:c,lineageStatus:`unavailable`,issues:[{code:`GEOSPEC_RUNNER_BUSY`,message:`GeoSpec runner already has an active run.`,severity:`error`,type:`runtime`}]};x=!0;try{delete h.aborted;let c=r.files.map(s),f=performance.now();b.emit({type:`run-start`,files:c});try{if(await w(Math.max(1,p.workers)),g())throw Error(`GeoSpec pool closed during worker creation.`);if(await Promise.all(v.map(async e=>y.get(e.handle).ready)),g())throw Error(`GeoSpec pool closed during worker initialization.`);for(let e of v){let t=y.get(e.handle).exited();if(t!==void 0)throw Error(t)}if(p.initializeWorker&&await Promise.all(v.map(async e=>{if(e.initialized)return;let t=y.get(e.handle);t.beginInitialization(),await p.initializeWorker(e.handle),await t.initialized,e.initialized=!0})),g())throw Error(`GeoSpec pool closed during worker initialization.`)}catch(e){throw await E(),e}let x={passed:0,failed:0,selectedTests:0},S=[],C=[],D=new Map,O=c.length<v.length?[...new Set([...c,...i(c,p.timings,p.splitThreshold)])]:i(c,p.timings,p.splitThreshold);for(let[e,t]of O.entries()){let n=v[e%v.length],i={id:-1-e,file:t},a=await T(n,()=>{n.handle.postMessage({type:`list-tests`,shardId:i.id,file:t,...r.testTimeout===void 0?{}:{testTimeout:r.testTimeout}})},i);a.type===`listed`&&a.names.length>1&&new Set(a.names).size===a.names.length&&D.set(t,a.names)}let k=a({files:c,splitTests:D,...p.timings?{timings:p.timings}:{}}),A=new Map,j=new Map(c.map(e=>[e,k.filter(t=>t.file===e).length])),M=new Map,N=!1,P=0,F=async t=>{for(;!t.dead;){if(_()!==void 0)return;let n=o({pending:k,workerLoadKey:t.loadKey,heavyRunning:P});if(n===void 0)return;let[i]=k.splice(n,1);i.memoryClass===`heavy`&&(P+=1),t.busy=!0,b.emit({type:`file-start`,file:i.file});let a=performance.now(),s=await T(t,()=>{t.handle.postMessage({type:`run-shard`,shard:{id:i.id,file:i.file,...i.testNamePattern===void 0?{}:{testNamePattern:i.testNamePattern}},...r.testNamePattern===void 0?{}:{testNamePattern:String(r.testNamePattern)},...r.testTimeout===void 0?{}:{testTimeout:r.testTimeout}})},i),c=performance.now()-a;t.busy=!1,i.memoryClass===`heavy`&&--P;let u=s.type===`complete`?s.message.result:s.type===`timeout`?l(s.message,e.shard):l(s.type===`listed`?`the pool worker answered a shard with a test list`:s.message);s.type===`complete`&&(t.loadKey=s.message.primaryLoadKey??t.loadKey,p.timings?.record(i.timingKey,{durationMs:s.message.durationMs,peakRssBytes:s.message.workerMemoryBytes??0})),s.type===`timeout`&&C.push({code:e.shard,message:s.message,severity:`error`,type:`runtime`});let d=A.get(i.file);A.set(i.file,{result:d===void 0?u:m(d.result,u),durationMs:(d?.durationMs??0)+c}),M.set(i.file,(M.get(i.file)??0)+1),b.emit({type:`file-complete`,file:i.file,result:u,durationMs:c,...s.type===`complete`&&s.message.primaryLoadKey!==void 0?{primaryLoadKey:s.message.primaryLoadKey}:{},...s.type===`complete`&&s.message.workerMemoryBytes!==void 0?{workerMemoryBytes:s.message.workerMemoryBytes}:{}});let f=!u.success||!u.passed;if(r.bail===!0&&f){N=!0,k.length=0;return}}};await Promise.all(v.map(async e=>F(e))),p.timings?.save();let I=_();I!==void 0&&(C.push({code:`GEOSPEC_RUNNER_ABORTED`,message:I.length>0?`GeoSpec run aborted: ${I}`:`GeoSpec run aborted.`,severity:`error`,type:`runtime`}),x.failed+=1,b.emit({type:`abort`,reason:I}));for(let e of c){let t=A.get(e);t!==void 0&&(S.push({file:e,result:t.result,durationMs:t.durationMs}),n(x,t.result))}x.selectedTests===0&&x.failed===0&&(C.push(t()),x.failed+=1);let L=u(r.files);L.completedFiles=c.filter(e=>M.get(e)===j.get(e)),L.notRunFiles=c.filter(e=>!L.completedFiles.includes(e)),L.cancelled=I!==void 0,L.bailed=N,L.discoveryComplete=L.notRunFiles.length===0&&S.every(({result:e})=>e.success&&e.accounting!==void 0);for(let{result:e}of S)if(e.accounting!==void 0)for(let t of[`discovered`,`selected`,`completed`,`passed`,`failed`,`unsupported`,`inconclusive`,`skipped`,`notRun`])L[t]+=e.accounting[t];let R=d(S.map(({result:e})=>e)),z={success:L.discoveryComplete&&S.every(({result:e})=>e.success&&e.passed)&&R===`complete`&&x.failed===0&&C.length===0,passed:x.passed,failed:x.failed,selectedTests:x.selectedTests,files:S,accounting:L,lineageStatus:R,...C.length>0?{issues:C}:{},durationMs:performance.now()-f};return b.emit({type:`run-complete`,result:z}),z}finally{x=!1}},on:b.on,abort(e){h.aborted=e??`requested`},close:E}},m=(e,t)=>{let n=[...e.tests??[],...t.tests??[]].sort((e,t)=>(e.ordinal??1/0)-(t.ordinal??1/0)),r={status:d([e,t]),modules:[...e.lineage?.modules??[],...t.lineage?.modules??[]],loads:[...e.lineage?.loads??[],...t.lineage?.loads??[]]},i,a=n.map(e=>e.ordinal),o=e.accounting?.discovered;if(o!==void 0&&o===t.accounting?.discovered&&a.every(e=>e!==void 0&&Number.isSafeInteger(e)&&e>=0&&e<o)&&new Set(a).size===n.length){let e=e=>n.filter(t=>t.status===e).length;i={discovered:o,selected:n.length,completed:n.filter(e=>e.status!==`not-run`&&e.status!==`skipped`).length,passed:e(`passed`),failed:e(`failed`),unsupported:e(`unsupported`),inconclusive:e(`inconclusive`),skipped:e(`skipped`),notRun:Math.max(0,o-n.length)+e(`not-run`)}}let s={tests:n,lineage:r,...i===void 0?{}:{accounting:i}};return!e.success||!t.success?{success:!1,issues:[...e.success?[]:e.issues,...t.success?[]:t.issues],...e.bundle===void 0&&t.bundle===void 0?{}:{bundle:e.bundle??t.bundle},...s}:{success:!0,passed:e.passed&&t.passed&&i!==void 0&&r.status===`complete`,...s,bundle:e.bundle}};export{p as createGeoSpecPoolRunner,m as mergeShardResults};

package/dist/runner/pool/shard-planner.mjs

@@ -0,0 +1 @@
+const e=(e,t)=>t===void 0?e:`${e}::${t}`,t=6e4,n=3758096384,r=e=>`^${e.replaceAll(/[$()*+.?[\\\]^{|}]/gu,String.raw`\$&`)}$`,i=e=>e!==void 0&&e.peakRssBytes>=3758096384?`heavy`:`normal`,a=(e,n,r=t)=>n?e.filter(e=>(n.read(e)?.durationMs??0)>r):[],o=t=>{let{files:n,splitTests:a,timings:o,affinity:s}=t,c=[];for(let[t,l]of n.entries()){let n=a?.get(l),u=s?.get(l);if(n&&n.length>0){for(let a of n){let n=r(a),s=e(l,n),d=o?.read(s);c.push({file:l,testNamePattern:n,timingKey:s,estimated:d?.durationMs??0,memoryClass:i(d),...u===void 0?{}:{affinityKey:u},order:t})}continue}let d=o?.read(l);c.push({file:l,timingKey:l,estimated:d?.durationMs??0,memoryClass:i(d),...u===void 0?{}:{affinityKey:u},order:t})}return c.sort((e,t)=>t.estimated-e.estimated||e.order-t.order),c.map(({order:e,...t},n)=>({...t,id:n}))},s=e=>{let{pending:t,workerLoadKey:n,heavyRunning:r}=e,i=e=>e.memoryClass===`normal`||r===0;if(n!==void 0){let e=t.findIndex(e=>e.affinityKey===n&&i(e));if(e!==-1)return e}let a=t.findIndex(e=>i(e));return a===-1?void 0:a};export{n as defaultHeavyRssBytes,t as defaultSplitThreshold,r as exactTestPattern,a as filesToSplit,o as planShards,s as selectShard,e as shardTimingKey};

package/dist/runner/pool/shard-timings.d.mts

@@ -0,0 +1,36 @@
+//#region src/runner/pool/shard-timings.d.ts
+/**
+ * Shard timings vocabulary: the pool's longest-first scheduling hint, kept
+ * free of Node imports so the browser-safe pool can type it. The persisted
+ * table lives in `#runner/node/pool-timings.js`.
+ *
+ * @module
+ */
+/**
+ * One shard's recorded cost.
+ *
+ * @public
+ */
+type ShardTiming = {
+  /** Wall duration of the last recorded run, in milliseconds. */
+  durationMs: number;
+  /** Highest RSS observed for this shard, in bytes. Monotonic. */
+  peakRssBytes: number;
+};
+/**
+ * A mutable timings table.
+ *
+ * @public
+ */
+type ShardTimings = {
+  /** Merge one observation. Peak RSS only ever grows. */
+  record(shard: string, timing: ShardTiming): void;
+  /** The hint for one shard, or `undefined` when unknown. */
+  read(shard: string): ShardTiming | undefined;
+  /** Every recorded shard, sorted by descending duration (longest-first). */
+  longestFirst(): string[];
+  /** Persist the table. Failure is silent: telemetry never fails a run. */
+  save(): void;
+};
+//#endregion
+export { ShardTiming, ShardTimings };

package/dist/runner/pool/transport.mjs

@@ -0,0 +1 @@
+const e=e=>{let t=e;if(t?.kind!==`geometry-subject`)return e;let n=t.provenance?.contentHash,r=t.provenance?.source?.format;return{kind:`geometry-subject-ref`,...typeof n==`string`?{contentHash:n}:{},...typeof r==`string`?{format:r}:{}}},t=t=>({...t,subject:e(t.subject)}),n=e=>({...e,assertions:e.assertions.map(e=>t(e))}),r=e=>{let t=e=>({...e,code:``,...e.sourceMap===void 0?{}:{sourceMap:``}});return e.success?{...e,tests:e.tests.map(e=>n(e)),bundle:t(e.bundle)}:{...e,...e.tests===void 0?{}:{tests:e.tests.map(e=>n(e))},...e.bundle===void 0?{}:{bundle:t(e.bundle)}}};export{r as sanitizePoolResult};

package/dist/runner/pool/worker-host.d.mts

@@ -0,0 +1,36 @@
+import { ManagedGeoSpecNativeModelLoader } from "../../model/native-model-loader.mjs";
+import { GeoSpecPoolHostMessage, GeoSpecPoolWorkerMessage } from "./pool-messages.mjs";
+import { GeoSpecRunnerOptions } from "../worker/runner-types.mjs";
+//#region src/runner/pool/worker-host.d.ts
+/**
+ * Options accepted by {@link startGeoSpecPoolWorkerHost}.
+ *
+ * @public
+ */
+type GeoSpecPoolWorkerHostOptions = {
+  /** Filesystem containing the project and test modules. */
+  filesystem: GeoSpecRunnerOptions['filesystem'];
+  /** Native assertion client shared with this worker's model admissions. */
+  nativeAssertions: GeoSpecRunnerOptions['nativeAssertions'];
+  /** Managed native admissions, released after every shard and collection pass and before shutdown. */
+  nativeModelLoader: ManagedGeoSpecNativeModelLoader;
+  /** Additional in-memory modules made available to the VM. */
+  builtinModules?: GeoSpecRunnerOptions['builtinModules'];
+  /** Post a message to the pool host. */
+  postMessage: (message: GeoSpecPoolWorkerMessage) => void;
+  /** Subscribe to pool-host messages. */
+  onHostMessage: (listener: (message: GeoSpecPoolHostMessage) => void) => void;
+  /** Sample this worker's resident memory in bytes (R15 telemetry); optional. */
+  measureMemoryBytes?: () => number | undefined;
+  /** Release platform resources on shutdown, after the native subjects are released. */
+  onShutdown?: () => Promise<void> | void;
+};
+/**
+ * Serve shards until the host says shutdown.
+ *
+ * @param options - Worker filesystem, native engine, and message plumbing.
+ * @public
+ */
+declare const startGeoSpecPoolWorkerHost: (options: GeoSpecPoolWorkerHostOptions) => void;
+//#endregion
+export { GeoSpecPoolWorkerHostOptions, startGeoSpecPoolWorkerHost };

package/dist/runner/pool/worker-host.mjs

@@ -0,0 +1 @@
+import{executeGeoSpecFile as e}from"../worker/serial-runner.mjs";import{sanitizePoolResult as t}from"./transport.mjs";const n=e=>e instanceof Error?e.message:String(e),r=e=>e.success?e.tests.map(e=>[...e.suite,e.name].join(` > `)):[],i=i=>{let a={filesystem:i.filesystem,nativeAssertions:i.nativeAssertions,nativeModelLoader:i.nativeModelLoader,...i.builtinModules?{builtinModules:i.builtinModules}:{}},o=new Map,s=async()=>{await i.nativeModelLoader.releaseAll()},c=async(e,t)=>{let n=e;try{await s()}catch(r){e.type!==`shard-error`&&e.type!==`list-error`&&(n=t(r))}try{i.postMessage(n)}catch(e){i.postMessage(t(e))}},l=Promise.resolve(),u=e=>{let t=l;l=(async()=>{try{await t}catch{}try{await e()}catch(e){try{i.postMessage({type:`initialization-error`,message:n(e)})}catch{}}})()},d=async l=>{if(l.type===`initialize`){i.postMessage({type:`initialized`});return}if(l.type===`shutdown`){o.clear();let e=!1,t;try{await s()}catch(n){e=!0,t=n}try{await i.onShutdown?.()}catch(n){e||(e=!0,t=n)}if(e){i.postMessage({type:`initialization-error`,message:n(t)});return}i.postMessage({type:`initialized`});return}if(l.type===`list-tests`){let t=e=>({type:`list-error`,shardId:l.shardId,file:l.file,message:n(e)}),i;try{let t=await e({runner:a,file:l.file,collectOnly:!0,bundleCache:o,...l.testTimeout===void 0?{}:{testTimeout:l.testTimeout}});i={type:`tests-listed`,shardId:l.shardId,file:l.file,names:r(t)}}catch(e){i=t(e)}await c(i,t);return}let{shard:u}=l;i.postMessage({type:`file-start`,shardId:u.id,file:u.file});let d=performance.now(),f=e=>({type:`shard-error`,shardId:u.id,file:u.file,message:n(e)}),p;try{let n=await e({runner:a,file:u.file,bundleCache:o,...u.testNamePattern===void 0?l.testNamePattern===void 0?{}:{testNamePattern:l.testNamePattern}:{testNamePattern:u.testNamePattern},...l.testTimeout===void 0?{}:{testTimeout:l.testTimeout}}),r=i.measureMemoryBytes?.();p={type:`shard-complete`,shardId:u.id,file:u.file,result:t(n),durationMs:performance.now()-d,...r===void 0?{}:{workerMemoryBytes:r}}}catch(e){p=f(e)}await c(p,f)};i.onHostMessage(e=>{u(async()=>d(e))}),i.postMessage({type:`ready`})};export{i as startGeoSpecPoolWorkerHost};

package/dist/runner/run-geospec-module.mjs

@@ -44,4 +44,4 @@ export const createModelLoader = (defaults = {}) => {
   }
   return factory(defaults);
 };
-`;async function w(m){let h=a(m.testNamePattern);if(!h.success)return{success:!1,issues:[h.issue]};let g=v(m.filesystem),_=await l({filesystem:g.filesystem}),x=s({...m.matcherWallBackstop===void 0?{}:{matcherWallBackstop:m.matcherWallBackstop},...m.forensic===void 0?{}:{forensic:m.forensic},...m.onTestEvent===void 0?{}:{onTestEvent:m.onTestEvent},nativeAssertions:m.nativeAssertions}),w=await y(m),T=f(),E=b(),D=new Set,O=[],k=async()=>{do{let e=[...D];await Promise.allSettled(e);for(let t of e)D.delete(t)}while(D.size>0)},A=m.nativeModelLoader,j=r(m.nativeAssertions),M=!0,N=A===void 0?void 0:n=>{let r=O.length,a=`${T}:load:${r+1}`;O.push({loadId:a,status:`unavailable`});let o=(async()=>{try{let i=await A(n),{load:o,...s}=i,c=t(i),l=o===void 0?void 0:{...structuredClone(o),loadId:a};return O[r]={loadId:a,status:l?.status??`unavailable`,subject:s,...l===void 0?{}:{evidence:l}},e({engine:m.nativeAssertions.engine,client:j,identity:s,...l===void 0?{}:{load:l},isLive:()=>M,...c===void 0?{}:{ensureResident:c}})}catch(e){throw O[r]={loadId:a,status:`failed`,error:e instanceof Error?e.message:String(e),...e instanceof i?{diagnostics:e.diagnostics}:{}},e}})();return D.add(o.catch(()=>void 0)),D.add(o),o};E.set(T,{collector:x,geoSpecModelLoadError:i,...N?{nativeModelLoader:N}:{},...N?{createModelLoader:t=>{if(t.engine!==void 0||t.readSource!==void 0)throw TypeError(`Authored VM model defaults cannot replace the admitting host.`);let r=0,i=new Set,a=new Set,o,s=async i=>{let o=r,s=await N({...t,...i}),c=n(s);return c.lease!==void 0&&a.add(c.lease),e({...c,isLive:()=>c.isLive()&&r===o})},c=e=>{let t=s(e);return i.add(t),t},l=async()=>{do{let e=[...i];await Promise.allSettled(e);for(let t of e)i.delete(t)}while(i.size>0);r+=1;let e=[];for(let t of a)try{t.dispose(),a.delete(t)}catch(t){e.push(t)}if(e.length>0)throw AggregateError(e,`GeoSpec model scope disposal failed.`)};return Object.assign(c,{dispose(){return o??=l().finally(()=>{o=void 0}),o}})}}:{}}),_.registerModule(`geospec`,{version:`0.0.0-poc`,code:S(T)}),_.registerModule(`geospec/model`,{version:`0.0.0-poc`,code:C(T)});for(let[e,t]of Object.entries(m.builtinModules??{}))_.registerModule(e,t);try{let e=w?.bundle??await _.bundle(m.entryPath);if(!e.success)return{success:!1,issues:e.issues,bundle:e};let t=g.reads();m.bundleCache!==void 0&&w===void 0&&t!==void 0&&m.bundleCache.set(m.entryPath,{builtinIdentity:p(m),runToken:T,bundle:e,bundlerReads:t});let n=await _.execute(w===void 0?e.code:e.code.replaceAll(w.runToken,T)),r=async()=>{let t={},n=g.reads()!==void 0;for(let e of w?.bundlerReads??g.observed()){if(e.question===`exists`||typeof e.answer==`boolean`)continue;let r=await c(typeof e.answer==`string`?new TextEncoder().encode(e.answer):e.answer);n&&=t[e.path]===void 0||t[e.path]===`sha256:${r}`,t[e.path]=`sha256:${r}`}let r=new Map(Object.entries(t));for(let e of O){let{evidence:t}=e;for(let e of t?.exportOptions===void 0?t?.artifacts??[]:[])if(e.sourcePath!==void 0){let t=`sha256:${e.sha256}`;n&&=!r.has(e.sourcePath)||r.get(e.sourcePath)===t,r.set(e.sourcePath,t)}if(t?.sourcePath!==void 0&&t.exportOptions===void 0){let e=t.artifacts[0];if(e!==void 0){let i=`sha256:${e.sha256}`;n&&=!r.has(t.sourcePath)||r.get(t.sourcePath)===i,r.set(t.sourcePath,i)}}for(let[t,i]of Object.entries(e.evidence?.sourceRevision?.files??{}))n&&=!r.has(t)||r.get(t)===i,r.set(t,i)}return{status:n?O.some(e=>e.status!==`complete`)?`unavailable`:`complete`:`mixed`,modules:[{entryPath:m.entryPath,bundleSha256:await c(new TextEncoder().encode(w===void 0?e.code:e.code.replaceAll(w.runToken,T))),files:t,consistent:n}],loads:O}},i=e=>({discovered:x.tests.length,selected:e,completed:x.tests.filter(e=>e.status!==`not-run`&&e.status!==`skipped`).length,passed:x.tests.filter(e=>e.status===`passed`).length,failed:x.tests.filter(e=>e.status===`failed`).length,unsupported:x.tests.filter(e=>e.status===`unsupported`).length,inconclusive:x.tests.filter(e=>e.status===`inconclusive`).length,skipped:x.tests.filter(e=>e.status===`skipped`).length,notRun:x.tests.filter(e=>e.status===`not-run`).length});if(!n.success)return await k(),{success:!1,issues:n.issues,bundle:e,tests:x.tests,accounting:i(0),lineage:await r()};if(m.collectOnly===!0)return await x.waitForCompletion(m.testTimeout,/(?!)/u),await k(),{success:!0,passed:!1,tests:x.tests,bundle:e,accounting:i(0),lineage:await r()};await x.waitForCompletion(m.testTimeout,h.pattern),await k();let a=o(x.tests,h.pattern),s=await r();return{success:!0,passed:s.status===`complete`&&a.every(e=>e.status===`passed`||e.status===`skipped`),tests:a,bundle:e,accounting:i(a.length),lineage:s}}finally{await k(),M=!1,E.delete(T),E.size===0&&Reflect.deleteProperty(d,u),_.dispose()}}export{w as runGeoSpecModule};
+`;async function w(m){let h=a(m.testNamePattern);if(!h.success)return{success:!1,issues:[h.issue]};let g=v(m.filesystem),_=await l({filesystem:g.filesystem}),x=s({...m.onTestEvent===void 0?{}:{onTestEvent:m.onTestEvent},nativeAssertions:m.nativeAssertions}),w=await y(m),T=f(),E=b(),D=new Set,O=[],k=async()=>{do{let e=[...D];await Promise.allSettled(e);for(let t of e)D.delete(t)}while(D.size>0)},A=m.nativeModelLoader,j=r(m.nativeAssertions),M=!0,N=A===void 0?void 0:n=>{let r=O.length,a=`${T}:load:${r+1}`;O.push({loadId:a,status:`unavailable`});let o=(async()=>{try{let i=await A(n),{load:o,...s}=i,c=t(i),l=o===void 0?void 0:{...structuredClone(o),loadId:a};return O[r]={loadId:a,status:l?.status??`unavailable`,subject:s,...l===void 0?{}:{evidence:l}},e({engine:m.nativeAssertions.engine,client:j,identity:s,...l===void 0?{}:{load:l},isLive:()=>M,...c===void 0?{}:{ensureResident:c}})}catch(e){throw O[r]={loadId:a,status:`failed`,error:e instanceof Error?e.message:String(e),...e instanceof i?{diagnostics:e.diagnostics}:{}},e}})();return D.add(o.catch(()=>void 0)),D.add(o),o};E.set(T,{collector:x,geoSpecModelLoadError:i,...N?{nativeModelLoader:N}:{},...N?{createModelLoader:t=>{if(t.engine!==void 0||t.readSource!==void 0)throw TypeError(`Authored VM model defaults cannot replace the admitting host.`);let r=0,i=new Set,a=new Set,o,s=async i=>{let o=r,s=await N({...t,...i}),c=n(s);return c.lease!==void 0&&a.add(c.lease),e({...c,isLive:()=>c.isLive()&&r===o})},c=e=>{let t=s(e);return i.add(t),t},l=async()=>{do{let e=[...i];await Promise.allSettled(e);for(let t of e)i.delete(t)}while(i.size>0);r+=1;let e=[];for(let t of a)try{t.dispose(),a.delete(t)}catch(t){e.push(t)}if(e.length>0)throw AggregateError(e,`GeoSpec model scope disposal failed.`)};return Object.assign(c,{dispose(){return o??=l().finally(()=>{o=void 0}),o}})}}:{}}),_.registerModule(`geospec`,{version:`0.0.0-poc`,code:S(T)}),_.registerModule(`geospec/model`,{version:`0.0.0-poc`,code:C(T)});for(let[e,t]of Object.entries(m.builtinModules??{}))_.registerModule(e,t);try{let e=w?.bundle??await _.bundle(m.entryPath);if(!e.success)return{success:!1,issues:e.issues,bundle:e};let t=g.reads();m.bundleCache!==void 0&&w===void 0&&t!==void 0&&m.bundleCache.set(m.entryPath,{builtinIdentity:p(m),runToken:T,bundle:e,bundlerReads:t});let n=await _.execute(w===void 0?e.code:e.code.replaceAll(w.runToken,T)),r=async()=>{let t={},n=g.reads()!==void 0;for(let e of w?.bundlerReads??g.observed()){if(e.question===`exists`||typeof e.answer==`boolean`)continue;let r=await c(typeof e.answer==`string`?new TextEncoder().encode(e.answer):e.answer);n&&=t[e.path]===void 0||t[e.path]===`sha256:${r}`,t[e.path]=`sha256:${r}`}let r=new Map(Object.entries(t));for(let e of O){let{evidence:t}=e;for(let e of t?.exportOptions===void 0?t?.artifacts??[]:[])if(e.sourcePath!==void 0){let t=`sha256:${e.sha256}`;n&&=!r.has(e.sourcePath)||r.get(e.sourcePath)===t,r.set(e.sourcePath,t)}if(t?.sourcePath!==void 0&&t.exportOptions===void 0){let e=t.artifacts[0];if(e!==void 0){let i=`sha256:${e.sha256}`;n&&=!r.has(t.sourcePath)||r.get(t.sourcePath)===i,r.set(t.sourcePath,i)}}for(let[t,i]of Object.entries(e.evidence?.sourceRevision?.files??{}))n&&=!r.has(t)||r.get(t)===i,r.set(t,i)}return{status:n?O.some(e=>e.status!==`complete`)?`unavailable`:`complete`:`mixed`,modules:[{entryPath:m.entryPath,bundleSha256:await c(new TextEncoder().encode(w===void 0?e.code:e.code.replaceAll(w.runToken,T))),files:t,consistent:n}],loads:O}},i=e=>({discovered:x.tests.length,selected:e,completed:x.tests.filter(e=>e.status!==`not-run`&&e.status!==`skipped`).length,passed:x.tests.filter(e=>e.status===`passed`).length,failed:x.tests.filter(e=>e.status===`failed`).length,unsupported:x.tests.filter(e=>e.status===`unsupported`).length,inconclusive:x.tests.filter(e=>e.status===`inconclusive`).length,skipped:x.tests.filter(e=>e.status===`skipped`).length,notRun:x.tests.filter(e=>e.status===`not-run`).length});if(!n.success)return await k(),{success:!1,issues:n.issues,bundle:e,tests:x.tests,accounting:i(0),lineage:await r()};if(m.collectOnly===!0)return await x.waitForCompletion(m.testTimeout,/(?!)/u),await k(),{success:!0,passed:!1,tests:x.tests,bundle:e,accounting:i(0),lineage:await r()};await x.waitForCompletion(m.testTimeout,h.pattern),await k();let a=o(x.tests,h.pattern),s=await r();return{success:!0,passed:s.status===`complete`&&a.every(e=>e.status===`passed`||e.status===`skipped`),tests:a,bundle:e,accounting:i(a.length),lineage:s}}finally{await k(),M=!1,E.delete(T),E.size===0&&Reflect.deleteProperty(d,u),_.dispose()}}export{w as runGeoSpecModule};

package/dist/runner/types.d.mts

@@ -710,10 +710,6 @@ type RunGeoSpecModuleOptions = {
   testNamePattern?: string | RegExp;
   /** Timeout for async test callbacks, in milliseconds. */
   testTimeout?: number;
-  /** Milliseconds. Non-verdict matcher infrastructure backstop. */
-  matcherWallBackstop?: number;
-  /** Emit structured forensic events for this run. */
-  forensic?: boolean;
   /** Observes each selected test as it starts and settles, for host progress reporting. */
   onTestEvent?: (event: GeoSpecTestEvent) => void;
   /**

package/dist/runner/worker/index.d.mts

@@ -2,5 +2,8 @@ import { DiscoverGeoSpecFilesOptions, GeoSpecDiscoveryFileSystem, GeoSpecDiscove
 import { GeoSpecTimeoutCode, geoSpecTimeoutCode, isGeoSpecTimeoutCode } from "../timeout-codes.mjs";
 import { createNoMatchingGeoSpecTestsIssue } from "./no-matching-tests-issue.mjs";
 import { GeoSpecPoolHostMessage, GeoSpecPoolShard, GeoSpecPoolWorkerHandle, GeoSpecPoolWorkerMessage } from "../pool/pool-messages.mjs";
-import { GeoSpecForensicEvent, GeoSpecRunner, GeoSpecRunnerEvent, GeoSpecRunnerFileResult, GeoSpecRunnerOptions, GeoSpecRunnerResult, GeoSpecRunnerRunOptions } from "./runner-types.mjs";
-export { type DiscoverGeoSpecFilesOptions, type GeoSpecDiscoveryFileSystem, type GeoSpecDiscoveryResult, type GeoSpecForensicEvent, type GeoSpecPoolHostMessage, type GeoSpecPoolShard, type GeoSpecPoolWorkerHandle, type GeoSpecPoolWorkerMessage, type GeoSpecRunner, type GeoSpecRunnerEvent, type GeoSpecRunnerFileResult, type GeoSpecRunnerOptions, type GeoSpecRunnerResult, type GeoSpecRunnerRunOptions, type GeoSpecTimeoutCode, createNoMatchingGeoSpecTestsIssue, discoverGeoSpecFiles, geoSpecTimeoutCode, isGeoSpecTimeoutCode };
+import { GeoSpecRunner, GeoSpecRunnerEvent, GeoSpecRunnerFileResult, GeoSpecRunnerOptions, GeoSpecRunnerResult, GeoSpecRunnerRunOptions } from "./runner-types.mjs";
+import { ShardTiming, ShardTimings } from "../pool/shard-timings.mjs";
+import { GeoSpecPoolOptions, createGeoSpecPoolRunner } from "../pool/pool.mjs";
+import { GeoSpecPoolWorkerHostOptions, startGeoSpecPoolWorkerHost } from "../pool/worker-host.mjs";
+export { type DiscoverGeoSpecFilesOptions, type GeoSpecDiscoveryFileSystem, type GeoSpecDiscoveryResult, type GeoSpecPoolHostMessage, type GeoSpecPoolOptions, type GeoSpecPoolShard, type GeoSpecPoolWorkerHandle, type GeoSpecPoolWorkerHostOptions, type GeoSpecPoolWorkerMessage, type GeoSpecRunner, type GeoSpecRunnerEvent, type GeoSpecRunnerFileResult, type GeoSpecRunnerOptions, type GeoSpecRunnerResult, type GeoSpecRunnerRunOptions, type GeoSpecTimeoutCode, type ShardTiming, type ShardTimings, createGeoSpecPoolRunner, createNoMatchingGeoSpecTestsIssue, discoverGeoSpecFiles, geoSpecTimeoutCode, isGeoSpecTimeoutCode, startGeoSpecPoolWorkerHost };

package/dist/runner/worker/index.mjs

@@ -1 +1 @@
-import{geoSpecTimeoutCode as e,isGeoSpecTimeoutCode as t}from"../timeout-codes.mjs";import{discoverGeoSpecFiles as n}from"../discovery.mjs";import{createNoMatchingGeoSpecTestsIssue as r}from"./no-matching-tests-issue.mjs";export{r as createNoMatchingGeoSpecTestsIssue,n as discoverGeoSpecFiles,e as geoSpecTimeoutCode,t as isGeoSpecTimeoutCode};
+import{geoSpecTimeoutCode as e,isGeoSpecTimeoutCode as t}from"../timeout-codes.mjs";import{discoverGeoSpecFiles as n}from"../discovery.mjs";import{createNoMatchingGeoSpecTestsIssue as r}from"./no-matching-tests-issue.mjs";import{createGeoSpecPoolRunner as i}from"../pool/pool.mjs";import{startGeoSpecPoolWorkerHost as a}from"../pool/worker-host.mjs";export{i as createGeoSpecPoolRunner,r as createNoMatchingGeoSpecTestsIssue,n as discoverGeoSpecFiles,e as geoSpecTimeoutCode,t as isGeoSpecTimeoutCode,a as startGeoSpecPoolWorkerHost};

package/dist/runner/worker/runner-types.d.mts

@@ -89,20 +89,12 @@ type GeoSpecRunnerEvent = {
 } | {
   type: 'run-complete';
   result: GeoSpecRunnerResult;
-} | GeoSpecForensicEvent | {
+} | {
   type: 'abort';
   reason?: string;
 } | {
   type: 'close';
 };
-/** One structured forensic measurement emitted by a runner. @public */
-type GeoSpecForensicEvent = {
-  type: 'forensic';
-  name: string;
-  value: number;
-  unit: 'milliseconds' | 'count';
-  shardId?: number;
-};
 /**
  * Options accepted by a GeoSpec worker-style runner run.
  *
@@ -115,16 +107,12 @@ type GeoSpecRunnerRunOptions = {
   testNamePattern?: string | RegExp;
   /** Timeout for each async test callback, in milliseconds. */
   testTimeout?: number;
-  /** Non-verdict matcher wall backstop. Milliseconds. */
-  matcherWallBackstop?: number;
   /**
    * Engine work-unit budget for this run's claims, replacing the runner's
    * `nativeAssertions.workUnitLimit`. A `loadModel` or `expectGeo` budget still
    * wins for its own claims.
    */
   workUnitLimit?: number;
-  /** Emit structured forensic measurements for this run. */
-  forensic?: boolean;
   /**
    * Stop after the first failing file (R1). Interactive fail-fast only —
    * never the default for reward runs, which want the complete red set.
@@ -164,4 +152,4 @@ type GeoSpecRunner = {
   close(): Promise<void>;
 };
 //#endregion
-export { GeoSpecForensicEvent, GeoSpecRunner, GeoSpecRunnerAccounting, GeoSpecRunnerEvent, GeoSpecRunnerFileResult, GeoSpecRunnerOptions, GeoSpecRunnerResult, GeoSpecRunnerRunOptions, GeoSpecRunnerTestRef };
+export { GeoSpecRunner, GeoSpecRunnerAccounting, GeoSpecRunnerEvent, GeoSpecRunnerFileResult, GeoSpecRunnerOptions, GeoSpecRunnerResult, GeoSpecRunnerRunOptions, GeoSpecRunnerTestRef };