@orkestrel/probe 0.0.24 → 0.0.25

package/dist/src/server/index.d.cts

@@ -843,6 +843,8 @@ export declare function parseRevisionOwner(revision: string): number | undefined
  * Answers claims through its type, lint, and runtime stages.
  *
  * @remarks
+ * The workspace peers are TypeScript `^6.0.3 || ^7.0.2` and Vitest `^4.1.12 || ^5.0.5`.
+ * Starting refuses TypeScript majors outside 6 and 7 before a stage starts.
  * Construction resolves the target workspace's toolchain. Starting warms every stage and waits
  * for lint and runtime; type warming and the boot controls continue behind that gate. The boot
  * controls mutate imported dependencies and refuse service unless the type and runtime stages
@@ -891,7 +893,7 @@ export declare function parseRevisionOwner(revision: string): number | undefined
  * const probe = new Probe({ workspace: process.cwd() })
  * const verdict = await probe.prove(claim)
  * verdict.digest // 'bdf03e5dfd6bd413ead671c7a2940fcf'
- * verdict.receipt // 'probe:bdf03e5dfd6bd413ead671c7a2940fcf:type:typescript@6.0.3:oxlint@1.89.0:vitest@4.1.12:configs/src/tsconfig.core.json@434f59254d58cf2683d453a26bd0d837'
+ * verdict.receipt?.startsWith(`probe:${verdict.digest}:type:`) // true
  * await probe.destroy()
  * ```
  */
@@ -1183,6 +1185,8 @@ export declare function releaseListeners(emitter: EventEmitter, capture: Listene
  * @remarks
  * A package publishes its binaries under keys of its own choosing, and that key is often not the
  * package name: `typescript` publishes `tsc`. Name the key as `command` wherever the two differ.
+ * Resolution reads `package.json` and its `bin` field, so TypeScript 6 and 7 need no exported
+ * `typescript/bin/tsc` subpath.
  * Default: the package name.
  *
  * @param workspace - The target workspace root
@@ -1247,6 +1251,11 @@ export declare function resolveWorkspaceModule(workspace: string, specifier: str
  * Inspects tests through one resident Vitest service from the target workspace.
  *
  * @remarks
+ * Vitest 4.1.12 and 5.0.5 share the mode-first `createVitest` overload used by this stage.
+ * Result eviction removes one file from Vitest 4's results cache. Vitest 5 exposes only a full
+ * cache clear, so eviction clears its results, dependency, and filesystem module caches.
+ * Warming removes termination handlers registered within the factory's async context before
+ * signal delivery, while retaining handlers the host registers outside that context.
  * Starting launches Vitest with the threads pool and instruments each inline or function-declared
  * project with a Vite plugin that reads the active inspection's candidate overlay. A selected
  * string-declared project reports a workspace issue because its configuration carries no runtime
@@ -1447,6 +1456,8 @@ export declare interface StageInterface {
  * Inspects TypeScript source by running the target workspace's own compiler over a mirror of it.
  *
  * @remarks
+ * TypeScript 6 and 7 run through the `tsc` entry in their package manifest; neither a compiler API
+ * nor an exported binary subpath is required.
  * The compiler is a process this stage spawns rather than a module it loads, so nothing here holds
  * a resident program and the host's event loop is free for the whole check. Starting sweeps a
  * mirror an earlier host left behind, copies the workspace into a fresh one under
@@ -1513,6 +1524,8 @@ export declare class TypeStage implements TypeStageInterface {
      * refreshed from the workspace first on a cache miss, so the digest names the configuration the
      * check applies. The reading is cached per project for the life of the stage, so a draft written
      * afterward cannot move it.
+     * Before returning the identity, validates the project with `--noEmit` unless an unoverlaid check
+     * already validated it. TypeScript 7's `--showConfig` can succeed for a malformed project.
      *
      * @param project - The workspace-relative TypeScript project to resolve
      * @returns The resolved workspace-relative path and the digest of its compiler options
@@ -1559,6 +1572,10 @@ export declare interface TypeStageInterface extends StageInterface {
      * Resolves one project to the path and digest the stage applies for it.
      * Calls `start()` before reading the project.
      *
+     * @remarks
+     * Validates the project with `--noEmit` unless warming or an earlier unoverlaid check already
+     * validated it, because TypeScript 7's `--showConfig` can print partial JSON for a malformed project.
+     *
      * @param project - The workspace-relative TypeScript project to resolve
      * @returns The resolved workspace-relative path and the digest of its compiler options
      * @throws When the project escapes the workspace, when the compiler refuses it, or when the

package/dist/src/server/index.d.ts

@@ -843,6 +843,8 @@ export declare function parseRevisionOwner(revision: string): number | undefined
  * Answers claims through its type, lint, and runtime stages.
  *
  * @remarks
+ * The workspace peers are TypeScript `^6.0.3 || ^7.0.2` and Vitest `^4.1.12 || ^5.0.5`.
+ * Starting refuses TypeScript majors outside 6 and 7 before a stage starts.
  * Construction resolves the target workspace's toolchain. Starting warms every stage and waits
  * for lint and runtime; type warming and the boot controls continue behind that gate. The boot
  * controls mutate imported dependencies and refuse service unless the type and runtime stages
@@ -891,7 +893,7 @@ export declare function parseRevisionOwner(revision: string): number | undefined
  * const probe = new Probe({ workspace: process.cwd() })
  * const verdict = await probe.prove(claim)
  * verdict.digest // 'bdf03e5dfd6bd413ead671c7a2940fcf'
- * verdict.receipt // 'probe:bdf03e5dfd6bd413ead671c7a2940fcf:type:typescript@6.0.3:oxlint@1.89.0:vitest@4.1.12:configs/src/tsconfig.core.json@434f59254d58cf2683d453a26bd0d837'
+ * verdict.receipt?.startsWith(`probe:${verdict.digest}:type:`) // true
  * await probe.destroy()
  * ```
  */
@@ -1183,6 +1185,8 @@ export declare function releaseListeners(emitter: EventEmitter, capture: Listene
  * @remarks
  * A package publishes its binaries under keys of its own choosing, and that key is often not the
  * package name: `typescript` publishes `tsc`. Name the key as `command` wherever the two differ.
+ * Resolution reads `package.json` and its `bin` field, so TypeScript 6 and 7 need no exported
+ * `typescript/bin/tsc` subpath.
  * Default: the package name.
  *
  * @param workspace - The target workspace root
@@ -1247,6 +1251,11 @@ export declare function resolveWorkspaceModule(workspace: string, specifier: str
  * Inspects tests through one resident Vitest service from the target workspace.
  *
  * @remarks
+ * Vitest 4.1.12 and 5.0.5 share the mode-first `createVitest` overload used by this stage.
+ * Result eviction removes one file from Vitest 4's results cache. Vitest 5 exposes only a full
+ * cache clear, so eviction clears its results, dependency, and filesystem module caches.
+ * Warming removes termination handlers registered within the factory's async context before
+ * signal delivery, while retaining handlers the host registers outside that context.
  * Starting launches Vitest with the threads pool and instruments each inline or function-declared
  * project with a Vite plugin that reads the active inspection's candidate overlay. A selected
  * string-declared project reports a workspace issue because its configuration carries no runtime
@@ -1447,6 +1456,8 @@ export declare interface StageInterface {
  * Inspects TypeScript source by running the target workspace's own compiler over a mirror of it.
  *
  * @remarks
+ * TypeScript 6 and 7 run through the `tsc` entry in their package manifest; neither a compiler API
+ * nor an exported binary subpath is required.
  * The compiler is a process this stage spawns rather than a module it loads, so nothing here holds
  * a resident program and the host's event loop is free for the whole check. Starting sweeps a
  * mirror an earlier host left behind, copies the workspace into a fresh one under
@@ -1513,6 +1524,8 @@ export declare class TypeStage implements TypeStageInterface {
      * refreshed from the workspace first on a cache miss, so the digest names the configuration the
      * check applies. The reading is cached per project for the life of the stage, so a draft written
      * afterward cannot move it.
+     * Before returning the identity, validates the project with `--noEmit` unless an unoverlaid check
+     * already validated it. TypeScript 7's `--showConfig` can succeed for a malformed project.
      *
      * @param project - The workspace-relative TypeScript project to resolve
      * @returns The resolved workspace-relative path and the digest of its compiler options
@@ -1559,6 +1572,10 @@ export declare interface TypeStageInterface extends StageInterface {
      * Resolves one project to the path and digest the stage applies for it.
      * Calls `start()` before reading the project.
      *
+     * @remarks
+     * Validates the project with `--noEmit` unless warming or an earlier unoverlaid check already
+     * validated it, because TypeScript 7's `--showConfig` can print partial JSON for a malformed project.
+     *
      * @param project - The workspace-relative TypeScript project to resolve
      * @returns The resolved workspace-relative path and the digest of its compiler options
      * @throws When the project escapes the workspace, when the compiler refuses it, or when the

package/dist/src/server/index.js

@@ -4,7 +4,7 @@ import { closeSync, constants, existsSync, ftruncateSync, lstatSync, mkdirSync,
 import { createHash, randomUUID } from "node:crypto";
 import { basename, dirname, extname, isAbsolute, join, relative, resolve, sep } from "node:path";
 import { fileURLToPath, pathToFileURL } from "node:url";
-import { attempt, compileGuard, compileSchema, isArray, isError, isNumber, isObject, isRecord, isString, parseJSON, schemaToParameters } from "@orkestrel/contract";
+import { attempt, compileGuard, compileSchema, isArray, isError, isFunction, isNumber, isObject, isRecord, isString, parseJSON, schemaToParameters } from "@orkestrel/contract";
 import { CLAIM_SHAPE, LINT_DEADLINE, LINT_TEARDOWN, PROBE_DEADLINE, PROBE_KEYS, PROBE_RESTARTS, PROBE_SPECIFICATIONS, PROBE_WARM, ProbeError, RUNTIME_PLUGIN, TYPE_MIRROR, computeReceipt, createDestroyedError, formatCheck, formatReceipt, formatSpecification, formatVerdict, isClaim, isDraft, isProbeError, isVerdict, matchesSpecification } from "../core/index.js";
 import { Emitter } from "@orkestrel/emitter";
 import { createPool, isPoolError } from "@orkestrel/pool";
@@ -13,6 +13,7 @@ import { addAbortListener } from "node:events";
 import { createTimeout } from "@orkestrel/timeout";
 import { createStdioClientTransport } from "@orkestrel/lsp/server";
 import { PassThrough } from "node:stream";
+import { AsyncLocalStorage } from "node:async_hooks";
 import { spawn, spawnSync } from "node:child_process";
 import { createStdioServer } from "@orkestrel/mcp/server";
 import { createTool, createToolManager } from "@orkestrel/tool";
@@ -532,6 +533,8 @@ function readWorkspaceManifest(workspace, name) {
 * @remarks
 * A package publishes its binaries under keys of its own choosing, and that key is often not the
 * package name: `typescript` publishes `tsc`. Name the key as `command` wherever the two differ.
+* Resolution reads `package.json` and its `bin` field, so TypeScript 6 and 7 need no exported
+* `typescript/bin/tsc` subpath.
 * Default: the package name.
 *
 * @param workspace - The target workspace root
@@ -974,7 +977,7 @@ function captureListeners(emitter, events) {
 */
 function releaseListeners(emitter, capture) {
 	for (const [event, captured] of capture) for (const listener of emitter.listeners(event)) {
-		if (captured.includes(listener)) continue;
+		if (captured.includes(listener) || !isFunction(listener)) continue;
 		emitter.removeListener(event, listener);
 	}
 }
@@ -1123,10 +1126,10 @@ var Overlay = class {
 };
 //#endregion
 //#region package.json
-var version = "0.0.24";
+var version = "0.0.25";
 var peerDependencies = {
-	"typescript": "^6.0.3",
-	"vitest": "^4.1.12"
+	"typescript": "^6.0.3 || ^7.0.2",
+	"vitest": "^4.1.12 || ^5.0.5"
 };
 //#endregion
 //#region src/server/stages/LintStage.ts
@@ -1348,6 +1351,11 @@ var LintStage = class {
 * Inspects tests through one resident Vitest service from the target workspace.
 *
 * @remarks
+* Vitest 4.1.12 and 5.0.5 share the mode-first `createVitest` overload used by this stage.
+* Result eviction removes one file from Vitest 4's results cache. Vitest 5 exposes only a full
+* cache clear, so eviction clears its results, dependency, and filesystem module caches.
+* Warming removes termination handlers registered within the factory's async context before
+* signal delivery, while retaining handlers the host registers outside that context.
 * Starting launches Vitest with the threads pool and instruments each inline or function-declared
 * project with a Vite plugin that reads the active inspection's candidate overlay. A selected
 * string-declared project reports a workspace issue because its configuration carries no runtime
@@ -1572,38 +1580,46 @@ var RuntimeStage = class {
 		this.#sweep();
 		const output = new PassThrough();
 		output.resume();
+		const scope = new AsyncLocalStorage();
+		const listener = this.#captureSignal.bind(this, scope);
 		const signals = captureListeners(process, ["SIGINT", "SIGTERM"]);
-		let warming;
+		process.on("newListener", listener);
 		try {
-			warming = factory("test", {
-				root: this.#workspace,
-				config: resolveWorkspaceFile(this.#workspace, "vite.config.ts"),
-				watch: false,
-				run: true,
-				pool: "threads",
-				reporters: [{
-					onInit() {},
-					onTestRunEnd() {}
-				}]
-			}, { plugins: [{
-				name: "orkestrel-project-instrumentation",
-				enforce: "post",
-				config: this.#configure.bind(this)
-			}] }, {
-				stdout: output,
-				stderr: process.stderr
+			return await scope.run(true, () => {
+				try {
+					return factory("test", {
+						root: this.#workspace,
+						config: resolveWorkspaceFile(this.#workspace, "vite.config.ts"),
+						watch: false,
+						run: true,
+						pool: "threads",
+						reporters: [{
+							onInit() {},
+							onTestRunEnd() {}
+						}]
+					}, { plugins: [{
+						name: "orkestrel-project-instrumentation",
+						enforce: "post",
+						config: this.#configure.bind(this)
+					}] }, {
+						stdout: output,
+						stderr: process.stderr
+					});
+				} finally {
+					releaseListeners(process, signals);
+				}
 			});
 		} catch (error) {
 			throw this.#configuration(error);
 		} finally {
-			releaseListeners(process, signals);
-		}
-		try {
-			return await warming;
-		} catch (error) {
-			throw this.#configuration(error);
+			process.off("newListener", listener);
+			scope.disable();
 		}
 	}
+	#captureSignal(scope, event, listener) {
+		if (scope.getStore() !== true || event !== "SIGINT" && event !== "SIGTERM") return;
+		queueMicrotask(() => process.off(event, listener));
+	}
 	#configure(config) {
 		const test = config.test;
 		if (test?.projects === void 0) return;
@@ -1797,8 +1813,16 @@ var RuntimeStage = class {
 			}
 			vitest.watcher.onFileDelete(file);
 			vitest.watcher.invalidates.delete(file);
-			vitest.cache.results.removeFromCache(normalizePath(relative(this.#workspace, file)));
-			await vitest.cache.results.writeToCache();
+			const results = "results" in vitest.cache ? vitest.cache.results : void 0;
+			if (isObject(results) && "removeFromCache" in results && typeof results.removeFromCache === "function" && "writeToCache" in results && typeof results.writeToCache === "function") {
+				results.removeFromCache(normalizePath(relative(this.#workspace, file)));
+				await results.writeToCache();
+			} else if ("clearCache" in vitest && typeof vitest.clearCache === "function") await vitest.clearCache();
+			else throw new ProbeError("Vitest exposes no cache eviction API", {
+				origin: "instrument",
+				code: "malformed",
+				context: { stage: this.stage }
+			});
 			return [];
 		} catch (error) {
 			return [{
@@ -2007,6 +2031,8 @@ var RuntimeStage = class {
 * Inspects TypeScript source by running the target workspace's own compiler over a mirror of it.
 *
 * @remarks
+* TypeScript 6 and 7 run through the `tsc` entry in their package manifest; neither a compiler API
+* nor an exported binary subpath is required.
 * The compiler is a process this stage spawns rather than a module it loads, so nothing here holds
 * a resident program and the host's event loop is free for the whole check. Starting sweeps a
 * mirror an earlier host left behind, copies the workspace into a fresh one under
@@ -2044,6 +2070,7 @@ var TypeStage = class {
 	#revision = `${process.pid}-${randomUUID()}`;
 	#mirror;
 	#configs = /* @__PURE__ */ new Map();
+	#validated = /* @__PURE__ */ new Set();
 	#mirrored = /* @__PURE__ */ new Map();
 	#drafts = /* @__PURE__ */ new Set();
 	#children = /* @__PURE__ */ new Set();
@@ -2097,6 +2124,8 @@ var TypeStage = class {
 	* refreshed from the workspace first on a cache miss, so the digest names the configuration the
 	* check applies. The reading is cached per project for the life of the stage, so a draft written
 	* afterward cannot move it.
+	* Before returning the identity, validates the project with `--noEmit` unless an unoverlaid check
+	* already validated it. TypeScript 7's `--showConfig` can succeed for a malformed project.
 	*
 	* @param project - The workspace-relative TypeScript project to resolve
 	* @returns The resolved workspace-relative path and the digest of its compiler options
@@ -2156,6 +2185,10 @@ var TypeStage = class {
 		const contained = this.#contain(project);
 		this.#progress += 1;
 		const config = await this.#configure(contained);
+		if (!this.#validated.has(contained)) {
+			this.#refresh();
+			await this.#check(contained, []);
+		}
 		return {
 			path: contained,
 			digest: computeDigest(this.#workspace, config.compilerOptions)
@@ -2175,6 +2208,7 @@ var TypeStage = class {
 			});
 		} catch {}
 		this.#configs.clear();
+		this.#validated.clear();
 		this.#mirrored.clear();
 		this.#drafts.clear();
 	}
@@ -2348,7 +2382,9 @@ var TypeStage = class {
 				}
 			});
 		}
-		return this.#issues(diagnostics, project);
+		const issues = this.#issues(diagnostics, project, scratch);
+		if (this.#drafts.size === 0) this.#validated.add(this.#contain(project));
+		return issues;
 	}
 	#scratch(project, config, drafts) {
 		const directory = dirname(project);
@@ -2373,13 +2409,13 @@ var TypeStage = class {
 		writeFileSync(target, `${JSON.stringify(body, void 0, "	")}\n`, "utf8");
 		return contained;
 	}
-	#issues(diagnostics, project) {
+	#issues(diagnostics, project, scratch) {
 		const issues = [];
 		for (const diagnostic of diagnostics) {
 			const message = this.#translate(diagnostic.message);
 			const resolved = diagnostic.path === void 0 ? void 0 : resolve(this.#mirror, diagnostic.path);
 			const drafted = resolved !== void 0 && this.#drafts.has(escapesRoot(this.#mirror, resolved) ? relativeWorkspaceFile(this.#workspace, resolved) : relativeWorkspaceFile(this.#mirror, resolved));
-			if (resolved === void 0 || !drafted && extname(resolved) === ".json") throw new ProbeError(message, {
+			if (resolved === void 0 || !drafted && extname(resolved) === ".json") throw new ProbeError(message.replaceAll(normalizePath(scratch), normalizePath(project)), {
 				origin: "workspace",
 				code: "malformed",
 				context: {
@@ -2489,6 +2525,8 @@ var TypeStage = class {
 * Answers claims through its type, lint, and runtime stages.
 *
 * @remarks
+* The workspace peers are TypeScript `^6.0.3 || ^7.0.2` and Vitest `^4.1.12 || ^5.0.5`.
+* Starting refuses TypeScript majors outside 6 and 7 before a stage starts.
 * Construction resolves the target workspace's toolchain. Starting warms every stage and waits
 * for lint and runtime; type warming and the boot controls continue behind that gate. The boot
 * controls mutate imported dependencies and refuse service unless the type and runtime stages
@@ -2537,7 +2575,7 @@ var TypeStage = class {
 * const probe = new Probe({ workspace: process.cwd() })
 * const verdict = await probe.prove(claim)
 * verdict.digest // 'bdf03e5dfd6bd413ead671c7a2940fcf'
-* verdict.receipt // 'probe:bdf03e5dfd6bd413ead671c7a2940fcf:type:typescript@6.0.3:oxlint@1.89.0:vitest@4.1.12:configs/src/tsconfig.core.json@434f59254d58cf2683d453a26bd0d837'
+* verdict.receipt?.startsWith(`probe:${verdict.digest}:type:`) // true
 * await probe.destroy()
 * ```
 */
@@ -3013,9 +3051,9 @@ var Probe = class {
 	#support() {
 		const version = this.#toolchain.typescript;
 		const range = peerDependencies.typescript;
-		const supported = /^\^(\d+)\./u.exec(range)?.[1];
 		const found = /^(\d+)\./u.exec(version)?.[1];
-		if (supported === void 0 || found !== supported) throw new ProbeError(`The supported TypeScript range is ${range}; found ${version}`, {
+		const supported = range.split(" || ").some((entry) => /^\^(\d+)\./u.exec(entry)?.[1] === found);
+		if (found === void 0 || !supported) throw new ProbeError(`The supported TypeScript range is ${range}; found ${version}`, {
 			origin: "workspace",
 			code: "malformed",
 			context: {