@orkestrel/probe 0.0.1

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Orkestrel
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,81 @@
+# @orkestrel/probe
+
+Prove a claim about a code change with type, lint, and runtime evidence, from the workspace's own
+TypeScript, Oxlint, and Vitest.
+
+A claim carries a `case` — the edit you believe is correct — and a `control`, the same edit
+deliberately broken, naming the stage it must fail at. `prove` runs every stage over the case and
+the control and returns a `Verdict`. When the case ran clean and the control broke where it said it
+would, the verdict carries a `receipt`: a one-line token naming the claim, the stage, the tool
+versions, and the TypeScript project that judged the candidates.
+
+Read [`guides/probe.md`](guides/probe.md) before you make a claim. It states the prerequisites, the
+receipt's verification method and its limits, and what a receipt does not vouch for.
+
+## Install
+
+```sh
+npm install --save-dev @orkestrel/probe
+```
+
+`typescript`, `oxlint`, and `vitest` are optional peers, resolved from the workspace probe inspects.
+
+## The `probe` binary
+
+The package installs a `probe` binary that serves the `prove` Model Context Protocol tool over a
+newline-delimited JSON stdio transport. Register the resolved JavaScript entry rather than a global
+install, an `npx` invocation, or the `node_modules/.bin` shim:
+
+```json
+{
+	"mcpServers": {
+		"probe": {
+			"command": "node",
+			"args": ["node_modules/@orkestrel/probe/dist/bin/main.js"],
+			"cwd": "/srv/checkout"
+		}
+	}
+}
+```
+
+## Proving a claim in process
+
+```ts
+import type { Claim } from '@orkestrel/probe'
+import { Probe } from '@orkestrel/probe/server'
+
+const claim: Claim = {
+	project: 'configs/src/tsconfig.core.json',
+	case: {
+		files: [{ path: 'src/core/greeting.ts', text: "export const GREETING = 'hi'\n" }],
+		test: {
+			path: 'tmp/probe/greeting.test.ts',
+			text: "import { expect, test } from 'vitest'\nimport { GREETING } from '../../src/core/greeting.js'\ntest('greets', () => expect(GREETING).toBe('hi'))\n",
+		},
+	},
+	control: {
+		files: [{ path: 'src/core/greeting.ts', text: "export const GREETING: number = 'hi'\n" }],
+		test: {
+			path: 'tmp/probe/greeting.test.ts',
+			text: "import { expect, test } from 'vitest'\nimport { GREETING } from '../../src/core/greeting.js'\ntest('greets', () => expect(GREETING).toBe('hi'))\n",
+		},
+		stage: 'type',
+		reason: 'a string literal assigned to a number must not compile',
+	},
+}
+
+const probe = new Probe({ workspace: process.cwd() })
+const verdict = await probe.prove(claim)
+console.log(verdict.receipt)
+await probe.destroy()
+```
+
+probe executes caller-supplied test code with the privileges of the process that hosts it. Give it a
+workspace and a caller you already trust with a shell.
+
+## Development
+
+```sh
+npm install
+npm test
+```

package/dist/bin/main.js

@@ -0,0 +1,14 @@
+#!/usr/bin/env node
+import { isProbeError } from "../src/core/index.js";
+import { ProbeServer } from "../src/server/index.js";
+//#region src/bin/main.ts
+try {
+	new ProbeServer().start();
+} catch (error) {
+	if (!isProbeError(error)) throw error;
+	console.error(`[${error.origin}] ${error.code}: ${error.message.split(/\r?\n|\r/u).join(" ")}`);
+	process.exitCode = 1;
+}
+//#endregion
+
+//# sourceMappingURL=main.js.map

package/dist/bin/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","names":[],"sources":["../../src/bin/main.ts"],"sourcesContent":["import { isProbeError } from '@src/core'\nimport { ProbeServer } from '@src/server'\n\ntry {\n\tnew ProbeServer().start()\n} catch (error) {\n\tif (!isProbeError(error)) throw error\n\tconsole.error(`[${error.origin}] ${error.code}: ${error.message.split(/\\r?\\n|\\r/u).join(' ')}`)\n\tprocess.exitCode = 1\n}\n"],"mappings":";;;;AAGA,IAAI;CACH,IAAI,YAAY,CAAC,CAAC,MAAM;AACzB,SAAS,OAAO;CACf,IAAI,CAAC,aAAa,KAAK,GAAG,MAAM;CAChC,QAAQ,MAAM,IAAI,MAAM,OAAO,IAAI,MAAM,KAAK,IAAI,MAAM,QAAQ,MAAM,WAAW,CAAC,CAAC,KAAK,GAAG,GAAG;CAC9F,QAAQ,WAAW;AACpB"}