@orkestrel/probe 0.0.2 → 0.0.3

package/dist/src/server/index.js

@@ -685,11 +685,11 @@ var Overlay = class {
 };
 //#endregion
 //#region package.json
-var version = "0.0.2";
+var version = "0.0.3";
 var peerDependencies = {
-	"oxlint": "^1.77.0",
-	"typescript": "^6.0.0",
-	"vitest": "^4.1.0"
+	"oxlint": "^1.79.0",
+	"typescript": "^6.0.3",
+	"vitest": "^4.1.11"
 };
 //#endregion
 //#region src/server/stages/LintStage.ts
@@ -1798,25 +1798,53 @@ var TypeStage = class {
 		});
 		this.#options.set(path, parsed.options);
 		this.#files.set(path, parsed.fileNames);
-		const service = typescript.createLanguageService({
-			getCompilationSettings: () => this.#options.get(path) ?? {},
-			getScriptFileNames: () => [...this.#files.get(path) ?? [], ...this.#overlay.paths],
-			getScriptVersion: (file) => this.#version(file),
-			getScriptSnapshot: (file) => this.#snapshot(typescript, file),
-			getCurrentDirectory: () => this.#workspace,
-			getDefaultLibFileName: (options) => typescript.getDefaultLibFilePath(options),
-			fileExists: (file) => this.#overlay.text(file) !== void 0 || typescript.sys.fileExists(file),
-			readFile: (file) => this.#overlay.text(file) ?? typescript.sys.readFile(file),
+		const host = {
+			getCompilationSettings: this.#compilationSettings.bind(this, path),
+			getScriptFileNames: this.#scriptFiles.bind(this, path),
+			getScriptVersion: this.#version.bind(this),
+			getScriptSnapshot: this.#snapshot.bind(this, typescript),
+			getCurrentDirectory: this.#directory.bind(this),
+			getDefaultLibFileName: this.#defaultLibrary.bind(this, typescript),
+			fileExists: this.#fileExists.bind(this, typescript),
+			readFile: this.#readFile.bind(this, typescript),
 			readDirectory: typescript.sys.readDirectory,
-			directoryExists: (directory) => typescript.sys.directoryExists(directory) || this.#overlay.covers(directory),
+			directoryExists: this.#directoryExists.bind(this, typescript),
 			getDirectories: typescript.sys.getDirectories,
-			useCaseSensitiveFileNames: () => typescript.sys.useCaseSensitiveFileNames,
-			getNewLine: () => typescript.sys.newLine
-		});
+			useCaseSensitiveFileNames: this.#caseSensitive.bind(this, typescript),
+			getNewLine: this.#newline.bind(this, typescript)
+		};
+		const service = typescript.createLanguageService(host);
 		this.#services.set(path, service);
 		if (!this.#resident.has(path)) this.#recycle(path);
 		return service;
 	}
+	#compilationSettings(path) {
+		return this.#options.get(path) ?? {};
+	}
+	#scriptFiles(path) {
+		return [...this.#files.get(path) ?? [], ...this.#overlay.paths];
+	}
+	#directory() {
+		return this.#workspace;
+	}
+	#defaultLibrary(typescript, options) {
+		return typescript.getDefaultLibFilePath(options);
+	}
+	#fileExists(typescript, file) {
+		return this.#overlay.text(file) !== void 0 || typescript.sys.fileExists(file);
+	}
+	#readFile(typescript, file) {
+		return this.#overlay.text(file) ?? typescript.sys.readFile(file);
+	}
+	#directoryExists(typescript, directory) {
+		return typescript.sys.directoryExists(directory) || this.#overlay.covers(directory);
+	}
+	#caseSensitive(typescript) {
+		return typescript.sys.useCaseSensitiveFileNames;
+	}
+	#newline(typescript) {
+		return typescript.sys.newLine;
+	}
 	#translate(typescript, message, path) {
 		return normalizePath(typescript.flattenDiagnosticMessageText(message, "\n")).replaceAll(normalizePath(path), relativeWorkspaceFile(this.#workspace, path));
 	}
@@ -1946,17 +1974,17 @@ var Probe = class {
 		this.#typeQueue = createQueue({
 			concurrency: 1,
 			retries: 0,
-			handler: (inspection) => this.#inspectStage(this.#type, this.#type.progress, this.#type.inspect(inspection.subject, inspection.claim.project), inspection.claim)
+			handler: this.#inspectType.bind(this)
 		});
 		this.#lintQueue = createQueue({
 			concurrency: 1,
 			retries: 0,
-			handler: (inspection) => this.#inspectStage(this.#lint, this.#lint.progress, this.#lint.inspect(inspection.subject), inspection.claim)
+			handler: this.#inspectLint.bind(this)
 		});
 		this.#runtimeQueue = createQueue({
 			concurrency: 1,
 			retries: 0,
-			handler: (inspection) => this.#inspectStage(this.#runtime, this.#runtime.progress, this.#runtime.inspect(inspection.subject), inspection.claim)
+			handler: this.#inspectRuntime.bind(this)
 		});
 		this.#arming = this.#arm();
 		this.#arming.catch(() => {});
@@ -2156,6 +2184,15 @@ var Probe = class {
 		for (const pending of admitted) pending.catch(() => {});
 		return Promise.all(admitted);
 	}
+	#inspectType(inspection) {
+		return this.#inspectStage(this.#type, this.#type.progress, this.#type.inspect(inspection.subject, inspection.claim.project), inspection.claim);
+	}
+	#inspectLint(inspection) {
+		return this.#inspectStage(this.#lint, this.#lint.progress, this.#lint.inspect(inspection.subject), inspection.claim);
+	}
+	#inspectRuntime(inspection) {
+		return this.#inspectStage(this.#runtime, this.#runtime.progress, this.#runtime.inspect(inspection.subject), inspection.claim);
+	}
 	async #inspectStage(stage, progress, operation, claim) {
 		const timeout = createTimeout({ ms: this.#deadline });
 		timeout.start();
@@ -2342,17 +2379,7 @@ var ProbeServer = class {
 			name: "prove",
 			description: "Answers whether a TypeScript edit compiles, lints, and passes its test in this workspace — call it before relying on such a claim, instead of reasoning or writing a throwaway probe. Supply the edit you believe is correct and an edit that must break with the stage it breaks at; the closing line is a receipt only when the case ran clean and the control broke exactly at its declared stage, and no receipt otherwise. For a performance claim, measure before proving: write a guarded bench block — if (import.meta.env.MODE === 'benchmark') — beside the probe test, run the workspace bench script, and record only magnitudes; a settled ratio then proves here as an ordinary runtime claim.",
 			parameters,
-			execute: async (input) => {
-				if (!isClaim(input)) {
-					const refused = findRefusedPaths(input);
-					throw new ProbeError(refused.length === 0 ? "The prove tool requires a claim matching the advertised schema" : `The prove tool refuses ${refused.join(", ")}: a draft path must stay inside the workspace, which the advertised schema does not constrain`, {
-						origin: "claimant",
-						code: "refused",
-						context: { value: input }
-					});
-				}
-				return this.#probe.prove(input);
-			}
+			execute: this.#prove.bind(this)
 		}));
 		return createMCPServer({
 			identity: {
@@ -2360,23 +2387,35 @@ var ProbeServer = class {
 				version
 			},
 			tools,
-			execution: async ({ call }) => {
-				const result = await tools.execute(call);
-				if (!result.success) return result;
-				if (!isVerdict(result.value)) throw new ProbeError("The prove tool returned an invalid verdict", {
-					origin: "instrument",
-					code: "malformed",
-					context: { value: result.value }
-				});
-				return {
-					resultType: "complete",
-					content: [{
-						type: "text",
-						text: formatVerdict(result.value)
-					}]
-				};
-			}
+			execution: this.#execute.bind(this)
+		});
+	}
+	async #prove(input) {
+		if (!isClaim(input)) {
+			const refused = findRefusedPaths(input);
+			throw new ProbeError(refused.length === 0 ? "The prove tool requires a claim matching the advertised schema" : `The prove tool refuses ${refused.join(", ")}: a draft path must stay inside the workspace, which the advertised schema does not constrain`, {
+				origin: "claimant",
+				code: "refused",
+				context: { value: input }
+			});
+		}
+		return this.#probe.prove(input);
+	}
+	async #execute(context) {
+		const result = await context.tools.execute(context.call);
+		if (!result.success) return result;
+		if (!isVerdict(result.value)) throw new ProbeError("The prove tool returned an invalid verdict", {
+			origin: "instrument",
+			code: "malformed",
+			context: { value: result.value }
 		});
+		return {
+			resultType: "complete",
+			content: [{
+				type: "text",
+				text: formatVerdict(result.value)
+			}]
+		};
 	}
 };
 //#endregion