@orkestrel/probe 0.0.26 → 0.0.27

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

@@ -1,5 +1,4 @@
 import type { Case } from '@orkestrel/probe';
-import type { Check } from '@orkestrel/probe';
 import type { Claim } from '@orkestrel/probe';
 import type { EmitterInterface } from '@orkestrel/emitter';
 import type { EventEmitter } from 'node:events';
@@ -12,6 +11,7 @@ import type { ProbeInterface } from '@orkestrel/probe';
 import type { ProbeOptions } from '@orkestrel/probe';
 import type { Project } from '@orkestrel/probe';
 import type { Stage } from '@orkestrel/probe';
+import type { StageResult } from '@orkestrel/probe';
 import type { Toolchain } from '@orkestrel/probe';
 import type { Verdict } from '@orkestrel/probe';
 import type * as VitestNode from 'vitest/node';
@@ -86,10 +86,10 @@ export declare function collectWorkspaceFiles(workspace: string): readonly strin
  *
  * @example
  * ```ts
- * computeDigest('/srv/checkout', { strict: true }).length // 32
+ * computeWorkspaceDigest('/srv/checkout', { strict: true }).length // 32
  * ```
  */
-export declare function computeDigest(workspace: string, value: unknown): string;
+export declare function computeWorkspaceDigest(workspace: string, value: unknown): string;
 
 /**
  * Creates the protocol failure returned when the MCP handshake cannot arm the probe.
@@ -397,7 +397,7 @@ export declare function isRefusedName(file: string, error: unknown): boolean;
  *
  * @remarks
  * Starting launches the target workspace's Oxlint binary with its Language Server Protocol mode
- * and hands the conversation to `@orkestrel/lsp`: `createStdioClientTransport` owns the child
+ * and hands the conversation to `@orkestrel/lsp`: `createLSPStdioTransport` owns the child
  * process and its bytes, and `createLSPClient` owns the framing, the request correlation, the
  * capabilities this stage advertises, and the choice between pulled and pushed diagnostics. This
  * stage owns the workspace, the candidate identity, and the projection from a diagnostic to an
@@ -425,7 +425,7 @@ export declare function isRefusedName(file: string, error: unknown): boolean;
  * @example
  * ```ts
  * const stage = new LintStage('/srv/checkout')
- * const check = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
+ * const result = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
  * await stage.destroy()
  * ```
  */
@@ -441,7 +441,7 @@ export declare class LintStage implements LintStageInterface {
     get progress(): number;
     get exit(): Promise<never>;
     start(): Promise<void>;
-    inspect(subject: Case, options?: InspectionOptions): Promise<Check>;
+    inspect(subject: Case, options?: InspectionOptions): Promise<StageResult>;
     destroy(): Promise<void>;
 }
 
@@ -461,7 +461,7 @@ export declare class LintStage implements LintStageInterface {
  *
  * @example
  * ```ts
- * const check = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
+ * const result = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
  * ```
  */
 export declare interface LintStageInterface extends StageInterface {
@@ -478,10 +478,10 @@ export declare interface LintStageInterface extends StageInterface {
      *
      * @example
      * ```ts
-     * const check = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
+     * const result = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
      * ```
      */
-    inspect(subject: Case, options?: InspectionOptions): Promise<Check>;
+    inspect(subject: Case, options?: InspectionOptions): Promise<StageResult>;
 }
 
 /**
@@ -1307,7 +1307,7 @@ export declare function resolveWorkspaceModule(workspace: string, specifier: str
  * @example
  * ```ts
  * const stage = new RuntimeStage('/srv/checkout')
- * const check = await stage.inspect(subject)
+ * const result = await stage.inspect(subject)
  * await stage.destroy()
  * ```
  */
@@ -1335,7 +1335,7 @@ export declare class RuntimeStage implements StageInterface {
      * @returns One outcome for this stage
      * @throws When the workspace's own tool cannot start or has already been destroyed
      */
-    inspect(subject: Case): Promise<Check>;
+    inspect(subject: Case): Promise<StageResult>;
     /**
      * Tears down the resident tool or the mirror and releases its resources.
      *
@@ -1395,8 +1395,8 @@ export declare function scanDiagnostics(text: string): readonly Diagnostic[];
  *
  * @example
  * ```ts
- * const check = await stage.inspect(subject)
- * console.log(check.stage)
+ * const result = await stage.inspect(subject)
+ * console.log(result.stage)
  * await stage.destroy()
  * ```
  */
@@ -1430,11 +1430,11 @@ export declare interface StageInterface {
      *
      * @example
      * ```ts
-     * const check = await stage.inspect(subject)
-     * console.log(check.stage, check.elapsed, check.issues.length)
+     * const result = await stage.inspect(subject)
+     * console.log(result.stage, result.elapsed, result.issues.length)
      * ```
      */
-    inspect(subject: Case): Promise<Check>;
+    inspect(subject: Case): Promise<StageResult>;
     /**
      * Tears down the resident tool or the mirror and releases its resources.
      *
@@ -1484,7 +1484,7 @@ export declare interface StageInterface {
  * @example
  * ```ts
  * const stage = new TypeStage('/srv/checkout')
- * const check = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
+ * const result = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
  * await stage.destroy()
  * ```
  */
@@ -1514,7 +1514,7 @@ export declare class TypeStage implements TypeStageInterface {
      * @throws When the workspace refuses the mirror, when a project the run reads is malformed, or
      * when the stage has already been destroyed
      */
-    inspect(subject: Case, project?: string): Promise<Check>;
+    inspect(subject: Case, project?: string): Promise<StageResult>;
     /**
      * Resolves one project to the path and digest this stage applies for it.
      *
@@ -1555,7 +1555,7 @@ export declare class TypeStage implements TypeStageInterface {
  * @example
  * ```ts
  * const project = await stage.resolve('configs/src/tsconfig.core.json')
- * const check = await stage.inspect(subject, project.path)
+ * const result = await stage.inspect(subject, project.path)
  * ```
  */
 export declare interface TypeStageInterface extends StageInterface {
@@ -1571,10 +1571,10 @@ export declare interface TypeStageInterface extends StageInterface {
      *
      * @example
      * ```ts
-     * const check = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
+     * const result = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
      * ```
      */
-    inspect(subject: Case, project?: string): Promise<Check>;
+    inspect(subject: Case, project?: string): Promise<StageResult>;
     /**
      * Resolves one project to the path and digest the stage applies for it.
      * Calls `start()` before reading the project.

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

@@ -1,5 +1,4 @@
 import type { Case } from '@orkestrel/probe';
-import type { Check } from '@orkestrel/probe';
 import type { Claim } from '@orkestrel/probe';
 import type { EmitterInterface } from '@orkestrel/emitter';
 import type { EventEmitter } from 'node:events';
@@ -12,6 +11,7 @@ import type { ProbeInterface } from '@orkestrel/probe';
 import type { ProbeOptions } from '@orkestrel/probe';
 import type { Project } from '@orkestrel/probe';
 import type { Stage } from '@orkestrel/probe';
+import type { StageResult } from '@orkestrel/probe';
 import type { Toolchain } from '@orkestrel/probe';
 import type { Verdict } from '@orkestrel/probe';
 import type * as VitestNode from 'vitest/node';
@@ -86,10 +86,10 @@ export declare function collectWorkspaceFiles(workspace: string): readonly strin
  *
  * @example
  * ```ts
- * computeDigest('/srv/checkout', { strict: true }).length // 32
+ * computeWorkspaceDigest('/srv/checkout', { strict: true }).length // 32
  * ```
  */
-export declare function computeDigest(workspace: string, value: unknown): string;
+export declare function computeWorkspaceDigest(workspace: string, value: unknown): string;
 
 /**
  * Creates the protocol failure returned when the MCP handshake cannot arm the probe.
@@ -397,7 +397,7 @@ export declare function isRefusedName(file: string, error: unknown): boolean;
  *
  * @remarks
  * Starting launches the target workspace's Oxlint binary with its Language Server Protocol mode
- * and hands the conversation to `@orkestrel/lsp`: `createStdioClientTransport` owns the child
+ * and hands the conversation to `@orkestrel/lsp`: `createLSPStdioTransport` owns the child
  * process and its bytes, and `createLSPClient` owns the framing, the request correlation, the
  * capabilities this stage advertises, and the choice between pulled and pushed diagnostics. This
  * stage owns the workspace, the candidate identity, and the projection from a diagnostic to an
@@ -425,7 +425,7 @@ export declare function isRefusedName(file: string, error: unknown): boolean;
  * @example
  * ```ts
  * const stage = new LintStage('/srv/checkout')
- * const check = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
+ * const result = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
  * await stage.destroy()
  * ```
  */
@@ -441,7 +441,7 @@ export declare class LintStage implements LintStageInterface {
     get progress(): number;
     get exit(): Promise<never>;
     start(): Promise<void>;
-    inspect(subject: Case, options?: InspectionOptions): Promise<Check>;
+    inspect(subject: Case, options?: InspectionOptions): Promise<StageResult>;
     destroy(): Promise<void>;
 }
 
@@ -461,7 +461,7 @@ export declare class LintStage implements LintStageInterface {
  *
  * @example
  * ```ts
- * const check = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
+ * const result = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
  * ```
  */
 export declare interface LintStageInterface extends StageInterface {
@@ -478,10 +478,10 @@ export declare interface LintStageInterface extends StageInterface {
      *
      * @example
      * ```ts
-     * const check = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
+     * const result = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
      * ```
      */
-    inspect(subject: Case, options?: InspectionOptions): Promise<Check>;
+    inspect(subject: Case, options?: InspectionOptions): Promise<StageResult>;
 }
 
 /**
@@ -1307,7 +1307,7 @@ export declare function resolveWorkspaceModule(workspace: string, specifier: str
  * @example
  * ```ts
  * const stage = new RuntimeStage('/srv/checkout')
- * const check = await stage.inspect(subject)
+ * const result = await stage.inspect(subject)
  * await stage.destroy()
  * ```
  */
@@ -1335,7 +1335,7 @@ export declare class RuntimeStage implements StageInterface {
      * @returns One outcome for this stage
      * @throws When the workspace's own tool cannot start or has already been destroyed
      */
-    inspect(subject: Case): Promise<Check>;
+    inspect(subject: Case): Promise<StageResult>;
     /**
      * Tears down the resident tool or the mirror and releases its resources.
      *
@@ -1395,8 +1395,8 @@ export declare function scanDiagnostics(text: string): readonly Diagnostic[];
  *
  * @example
  * ```ts
- * const check = await stage.inspect(subject)
- * console.log(check.stage)
+ * const result = await stage.inspect(subject)
+ * console.log(result.stage)
  * await stage.destroy()
  * ```
  */
@@ -1430,11 +1430,11 @@ export declare interface StageInterface {
      *
      * @example
      * ```ts
-     * const check = await stage.inspect(subject)
-     * console.log(check.stage, check.elapsed, check.issues.length)
+     * const result = await stage.inspect(subject)
+     * console.log(result.stage, result.elapsed, result.issues.length)
      * ```
      */
-    inspect(subject: Case): Promise<Check>;
+    inspect(subject: Case): Promise<StageResult>;
     /**
      * Tears down the resident tool or the mirror and releases its resources.
      *
@@ -1484,7 +1484,7 @@ export declare interface StageInterface {
  * @example
  * ```ts
  * const stage = new TypeStage('/srv/checkout')
- * const check = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
+ * const result = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
  * await stage.destroy()
  * ```
  */
@@ -1514,7 +1514,7 @@ export declare class TypeStage implements TypeStageInterface {
      * @throws When the workspace refuses the mirror, when a project the run reads is malformed, or
      * when the stage has already been destroyed
      */
-    inspect(subject: Case, project?: string): Promise<Check>;
+    inspect(subject: Case, project?: string): Promise<StageResult>;
     /**
      * Resolves one project to the path and digest this stage applies for it.
      *
@@ -1555,7 +1555,7 @@ export declare class TypeStage implements TypeStageInterface {
  * @example
  * ```ts
  * const project = await stage.resolve('configs/src/tsconfig.core.json')
- * const check = await stage.inspect(subject, project.path)
+ * const result = await stage.inspect(subject, project.path)
  * ```
  */
 export declare interface TypeStageInterface extends StageInterface {
@@ -1571,10 +1571,10 @@ export declare interface TypeStageInterface extends StageInterface {
      *
      * @example
      * ```ts
-     * const check = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
+     * const result = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
      * ```
      */
-    inspect(subject: Case, project?: string): Promise<Check>;
+    inspect(subject: Case, project?: string): Promise<StageResult>;
     /**
      * Resolves one project to the path and digest the stage applies for it.
      * Calls `start()` before reading the project.

package/dist/src/server/index.js

@@ -5,14 +5,14 @@ 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, 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 { CLAIM_SHAPE, LINT_DEADLINE, LINT_TEARDOWN, PROBE_DEADLINE, PROBE_KEYS, PROBE_RESTARTS, PROBE_SPECIFICATIONS, PROBE_WARM, ProbeError, RUNTIME_PLUGIN, TYPE_MIRROR, computeReceipt, createDestroyedError, formatReceipt, formatSpecification, formatStageResult, formatVerdict, isClaim, isDraft, isProbeError, isVerdict, matchesSpecification } from "../core/index.js";
 import { inspectProcess, killTree } from "@orkestrel/process/server";
 import { Emitter } from "@orkestrel/emitter";
 import { createPool, isPoolError } from "@orkestrel/pool";
 import { createLSPClient, isLSPError } from "@orkestrel/lsp";
 import { addAbortListener } from "node:events";
 import { createTimeout } from "@orkestrel/timeout";
-import { createStdioClientTransport } from "@orkestrel/lsp/server";
+import { createLSPStdioTransport } from "@orkestrel/lsp/server";
 import { PassThrough } from "node:stream";
 import { AsyncLocalStorage } from "node:async_hooks";
 import { spawn } from "node:child_process";
@@ -896,10 +896,10 @@ function normalizeValue(workspace, value) {
 *
 * @example
 * ```ts
-* computeDigest('/srv/checkout', { strict: true }).length // 32
+* computeWorkspaceDigest('/srv/checkout', { strict: true }).length // 32
 * ```
 */
-function computeDigest(workspace, value) {
+function computeWorkspaceDigest(workspace, value) {
 	return createHash("sha256").update(JSON.stringify(normalizeValue(workspace, value))).digest("hex").slice(0, 32);
 }
 /**
@@ -1093,7 +1093,7 @@ var Overlay = class {
 	}
 };
 // package.json
-var version = "0.0.26";
+var version = "0.0.27";
 var peerDependencies = {
 	"typescript": "^6.0.3 || ^7.0.2",
 	"vitest": "^4.1.12 || ^5.0.5"
@@ -1104,7 +1104,7 @@ var peerDependencies = {
 *
 * @remarks
 * Starting launches the target workspace's Oxlint binary with its Language Server Protocol mode
-* and hands the conversation to `@orkestrel/lsp`: `createStdioClientTransport` owns the child
+* and hands the conversation to `@orkestrel/lsp`: `createLSPStdioTransport` owns the child
 * process and its bytes, and `createLSPClient` owns the framing, the request correlation, the
 * capabilities this stage advertises, and the choice between pulled and pushed diagnostics. This
 * stage owns the workspace, the candidate identity, and the projection from a diagnostic to an
@@ -1132,7 +1132,7 @@ var peerDependencies = {
 * @example
 * ```ts
 * const stage = new LintStage('/srv/checkout')
-* const check = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
+* const result = await stage.inspect(subject, { signal: AbortSignal.timeout(30_000) })
 * await stage.destroy()
 * ```
 */
@@ -1205,7 +1205,7 @@ var LintStage = class {
 	}
 	async #warm() {
 		const binary = resolveWorkspaceBinary(this.#workspace, "oxlint");
-		const transport = createStdioClientTransport({
+		const transport = createLSPStdioTransport({
 			server: {
 				command: [
 					process.execPath,
@@ -1373,7 +1373,7 @@ var LintStage = class {
 * @example
 * ```ts
 * const stage = new RuntimeStage('/srv/checkout')
-* const check = await stage.inspect(subject)
+* const result = await stage.inspect(subject)
 * await stage.destroy()
 * ```
 */
@@ -2019,7 +2019,7 @@ var RuntimeStage = class {
 * @example
 * ```ts
 * const stage = new TypeStage('/srv/checkout')
-* const check = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
+* const result = await stage.inspect(subject, 'configs/src/tsconfig.core.json')
 * await stage.destroy()
 * ```
 */
@@ -2158,7 +2158,7 @@ var TypeStage = class {
 		}
 		return {
 			path: contained,
-			digest: computeDigest(this.#workspace, config.compilerOptions)
+			digest: computeWorkspaceDigest(this.#workspace, config.compilerOptions)
 		};
 	}
 	async #destroy() {
@@ -2609,7 +2609,7 @@ var Probe = class {
 			const started = performance.now();
 			const id = randomUUID();
 			const project = await this.#resolve(claim);
-			const digest = computeDigest(this.#workspace, {
+			const digest = computeWorkspaceDigest(this.#workspace, {
 				case: claim.case,
 				control: claim.control
 			});
@@ -2773,21 +2773,21 @@ var Probe = class {
 			const beforeType = await this.#inspect(typeClaim.case, typeClaim);
 			const beforeRuntime = await this.#inspect(runtimeClaim.case, runtimeClaim);
 			const before = [...beforeType, ...beforeRuntime];
-			if (before.some((check) => check.issues.length > 0)) throw new ProbeError(`The probe boot control did not begin clean\n${before.map(formatCheck).join("\n")}`, {
+			if (before.some((result) => result.issues.length > 0)) throw new ProbeError(`The probe boot control did not begin clean\n${before.map(formatStageResult).join("\n")}`, {
 				origin: "instrument",
 				code: "malformed"
 			});
 			resolveWorkspaceFile(this.#workspace, relative(this.#workspace, typeDependency), true);
 			overwriteFile(typeDependency, formatSpecification("export type Signal = number\n", revision));
 			const afterType = await this.#inspect(typeClaim.control, typeClaim);
-			const type = afterType.find((check) => check.stage === typeClaim.control.stage);
-			const tolerant = afterType.find((check) => check.stage === "runtime");
-			if (type === void 0 || type.issues.length === 0) throw new ProbeError(`The probe boot type control did not detect a mutated dependency\n${afterType.map(formatCheck).join("\n")}`, {
+			const type = afterType.find((result) => result.stage === typeClaim.control.stage);
+			const tolerant = afterType.find((result) => result.stage === "runtime");
+			if (type === void 0 || type.issues.length === 0) throw new ProbeError(`The probe boot type control did not detect a mutated dependency\n${afterType.map(formatStageResult).join("\n")}`, {
 				origin: "instrument",
 				code: "malformed",
 				context: { stage: typeClaim.control.stage }
 			});
-			if (tolerant === void 0 || tolerant.issues.length > 0) throw new ProbeError(`The probe boot type control did not remain runtime-clean\n${afterType.map(formatCheck).join("\n")}`, {
+			if (tolerant === void 0 || tolerant.issues.length > 0) throw new ProbeError(`The probe boot type control did not remain runtime-clean\n${afterType.map(formatStageResult).join("\n")}`, {
 				origin: "instrument",
 				code: "malformed",
 				context: { stage: "runtime" }
@@ -2795,8 +2795,8 @@ var Probe = class {
 			resolveWorkspaceFile(this.#workspace, relative(this.#workspace, runtimeDependency), true);
 			overwriteFile(runtimeDependency, formatSpecification("export const SIGNAL = 'after'\n", revision));
 			const afterRuntime = await this.#inspect(runtimeClaim.control, runtimeClaim);
-			const runtime = afterRuntime.find((check) => check.stage === runtimeClaim.control.stage);
-			if (runtime === void 0 || runtime.issues.length === 0) throw new ProbeError(`The probe boot runtime control did not detect a mutated dependency\n${afterRuntime.map(formatCheck).join("\n")}`, {
+			const runtime = afterRuntime.find((result) => result.stage === runtimeClaim.control.stage);
+			if (runtime === void 0 || runtime.issues.length === 0) throw new ProbeError(`The probe boot runtime control did not detect a mutated dependency\n${afterRuntime.map(formatStageResult).join("\n")}`, {
 				origin: "instrument",
 				code: "malformed",
 				context: { stage: runtimeClaim.control.stage }
@@ -3251,6 +3251,6 @@ var ProbeServer = class {
 		] : [rendered, minimal]).find((arm) => isBoundedJSON(arm, bounds)) ?? minimal;
 	}
 };
-export { LintStage, Overlay, Probe, ProbeServer, RuntimeStage, TypeStage, buildRevisionPath, captureListeners, collectWorkspaceFiles, computeDigest, createHandshakeError, describeUnknown, escapesRoot, filterUniqueIssues, findRefusedPaths, guardStage, inferDocumentLanguage, inferTestProject, inferTypeProject, isRefusedName, loadWorkspaceVitest, matchesLiveProcess, matchesWorkspaceModule, normalizePath, normalizeValue, overwriteFile, parseProjectConfig, parseRevisionOwner, readFaultCode, readWorkspaceManifest, relativeWorkspaceFile, relativeWorkspaceMessage, releaseListeners, resolveWorkspaceBinary, resolveWorkspaceFile, resolveWorkspaceModule, scanDiagnostics };
+export { LintStage, Overlay, Probe, ProbeServer, RuntimeStage, TypeStage, buildRevisionPath, captureListeners, collectWorkspaceFiles, computeWorkspaceDigest, createHandshakeError, describeUnknown, escapesRoot, filterUniqueIssues, findRefusedPaths, guardStage, inferDocumentLanguage, inferTestProject, inferTypeProject, isRefusedName, loadWorkspaceVitest, matchesLiveProcess, matchesWorkspaceModule, normalizePath, normalizeValue, overwriteFile, parseProjectConfig, parseRevisionOwner, readFaultCode, readWorkspaceManifest, relativeWorkspaceFile, relativeWorkspaceMessage, releaseListeners, resolveWorkspaceBinary, resolveWorkspaceFile, resolveWorkspaceModule, scanDiagnostics };
 
 //# sourceMappingURL=index.js.map