@orkestrel/probe 0.0.11 → 0.0.13

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

@@ -1,10 +1,10 @@
 import { ArrayShape } from '@orkestrel/contract';
-import { EmitterErrorHandler } from '@orkestrel/emitter';
-import { EmitterHooks } from '@orkestrel/emitter';
-import { EmitterInterface } from '@orkestrel/emitter';
-import { Guard } from '@orkestrel/contract';
+import type { EmitterErrorHandler } from '@orkestrel/emitter';
+import type { EmitterHooks } from '@orkestrel/emitter';
+import type { EmitterInterface } from '@orkestrel/emitter';
+import type { Guard } from '@orkestrel/contract';
 import { LiteralShape } from '@orkestrel/contract';
-import { LSPRange } from '@orkestrel/lsp';
+import type { LSPRange } from '@orkestrel/lsp';
 import { ObjectShape } from '@orkestrel/contract';
 import { StringShape } from '@orkestrel/contract';
 
@@ -20,18 +20,23 @@ import { StringShape } from '@orkestrel/contract';
  * @example
  * ```ts
  * const subject: Case = {
- * 	files: [{ path: 'src/core/greeting.ts', text: "export const GREETING = 'hi'\n" }],
+ * 	files: [
+ * 		{
+ * 			path: 'src/core/factories.ts',
+ * 			text: "export function createGreeting(): string {\n\treturn 'hi'\n}\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",
+ * 		text: "import { expect, test } from 'vitest'\nimport { createGreeting } from '../../src/core/factories.js'\ntest('greets', () => expect(createGreeting()).toBe('hi'))\n",
  * 	},
  * }
  * ```
  */
 export declare interface Case {
-    /** The candidate drafts the test imports, in the order the claim supplies them. */
+    /** Holds the candidate drafts the test imports, in the order the claim supplies them. */
     readonly files: readonly Draft[];
-    /** The test that exercises those drafts. */
+    /** Holds the test that exercises those drafts. */
     readonly test: Draft;
 }
 
@@ -44,15 +49,15 @@ export declare interface Case {
  * compileGuard(CASE_SHAPE)({ files: [], test }) // true
  * ```
  */
-export declare const CASE_SHAPE: ObjectShape<{
-    files: ArrayShape<ObjectShape<{
-        path: StringShape;
-        text: StringShape;
-    }, false>>;
-    test: ObjectShape<{
-        path: StringShape;
-        text: StringShape;
-    }, false>;
+export declare const CASE_SHAPE: ObjectShape<    {
+files: ArrayShape<ObjectShape<    {
+path: StringShape;
+text: StringShape;
+}, false>>;
+test: ObjectShape<    {
+path: StringShape;
+text: StringShape;
+}, false>;
 }, false>;
 
 /**
@@ -68,11 +73,11 @@ export declare const CASE_SHAPE: ObjectShape<{
  * ```
  */
 export declare interface Check {
-    /** The stage that produced this outcome. */
+    /** Names the stage that produced this outcome. */
     readonly stage: Stage;
-    /** Milliseconds the stage took. */
+    /** Holds the milliseconds the stage took. */
     readonly elapsed: number;
-    /** Every message the stage's tool reported, in the tool's own order. */
+    /** Holds every message the stage's tool reported, in the tool's own order. */
     readonly issues: readonly Issue[];
 }
 
@@ -95,30 +100,43 @@ export declare interface Check {
  * const claim: Claim = {
  * 	project: 'configs/src/tsconfig.core.json',
  * 	case: {
- * 		files: [{ path: 'src/core/greeting.ts', text: "export const GREETING = 'hi'\n" }],
+ * 		files: [
+ * 			{
+ * 				path: 'src/core/factories.ts',
+ * 				text: "export function createGreeting(): string {\n\treturn 'hi'\n}\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",
+ * 			text: "import { expect, test } from 'vitest'\nimport { createGreeting } from '../../src/core/factories.js'\ntest('greets', () => expect(createGreeting()).toBe('hi'))\n",
  * 		},
  * 	},
  * 	control: {
- * 		files: [{ path: 'src/core/greeting.ts', text: "export const GREETING: number = 'hi'\n" }],
+ * 		files: [
+ * 			{
+ * 				path: 'src/core/factories.ts',
+ * 				text: "export function createGreeting(): number {\n\treturn 'hi'\n}\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",
+ * 			text: "import { expect, test } from 'vitest'\nimport { createGreeting } from '../../src/core/factories.js'\ntest('greets', () => expect(createGreeting()).toBe('hi'))\n",
  * 		},
  * 		stage: 'type',
- * 		reason: 'a string literal assigned to a number must not compile',
+ * 		reason: 'a string returned as a number must not compile',
  * 	},
  * }
  * ```
  */
 export declare interface Claim {
-    /** Workspace-relative path of the TypeScript project the candidate drafts are checked against. */
+    /**
+     * Names the workspace-relative path of the TypeScript project the candidate drafts are checked
+     * against.
+     */
     readonly project: string;
-    /** The drafts and test the claim asserts about. */
+    /** Holds the drafts and test the claim asserts about. */
     readonly case: Case;
-    /** The negative control that must break, and where. */
+    /** Holds the negative control that must break, and where. */
     readonly control: Control;
 }
 
@@ -141,30 +159,30 @@ export declare interface Claim {
  * admits({ project: 'tsconfig.json' }) // false
  * ```
  */
-export declare const CLAIM_SHAPE: ObjectShape<{
-    project: StringShape;
-    case: ObjectShape<{
-        files: ArrayShape<ObjectShape<{
-            path: StringShape;
-            text: StringShape;
-        }, false>>;
-        test: ObjectShape<{
-            path: StringShape;
-            text: StringShape;
-        }, false>;
-    }, false>;
-    control: ObjectShape<{
-        stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
-        reason: StringShape;
-        files: ArrayShape<ObjectShape<{
-            path: StringShape;
-            text: StringShape;
-        }, false>>;
-        test: ObjectShape<{
-            path: StringShape;
-            text: StringShape;
-        }, false>;
-    }, false>;
+export declare const CLAIM_SHAPE: ObjectShape<    {
+project: StringShape;
+case: ObjectShape<    {
+files: ArrayShape<ObjectShape<    {
+path: StringShape;
+text: StringShape;
+}, false>>;
+test: ObjectShape<    {
+path: StringShape;
+text: StringShape;
+}, false>;
+}, false>;
+control: ObjectShape<    {
+stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
+reason: StringShape;
+files: ArrayShape<ObjectShape<    {
+path: StringShape;
+text: StringShape;
+}, false>>;
+test: ObjectShape<    {
+path: StringShape;
+text: StringShape;
+}, false>;
+}, false>;
 }, false>;
 
 /**
@@ -205,7 +223,7 @@ export declare const CLAIM_SHAPE: ObjectShape<{
  * @example
  * ```ts
  * computeReceipt(proven, 'type')
- * // 'probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@3b674fdf121c85efb9ed1bab25ceeec8'
+ * // 'probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@d61f11b52460b1c6707cfac2c6078d59'
  * computeReceipt(proven, 'lint') // undefined
  * ```
  */
@@ -222,20 +240,25 @@ export declare function computeReceipt(verdict: Verdict, stage: Stage): string |
  * @example
  * ```ts
  * const control: Control = {
- * 	files: [{ path: 'src/core/greeting.ts', text: "export const GREETING: number = 'hi'\n" }],
+ * 	files: [
+ * 		{
+ * 			path: 'src/core/factories.ts',
+ * 			text: "export function createGreeting(): number {\n\treturn 'hi'\n}\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",
+ * 		text: "import { expect, test } from 'vitest'\nimport { createGreeting } from '../../src/core/factories.js'\ntest('greets', () => expect(createGreeting()).toBe('hi'))\n",
  * 	},
  * 	stage: 'type',
- * 	reason: 'a string literal assigned to a number must not compile',
+ * 	reason: 'a string returned as a number must not compile',
  * }
  * ```
  */
 export declare interface Control extends Case {
-    /** The stage this control must report issues at. */
+    /** Names the stage this control must report issues at. */
     readonly stage: Stage;
-    /** Why the control fails there, in the claimant's own words. */
+    /** Explains why the control fails there, in the claimant's own words. */
     readonly reason: string;
 }
 
@@ -252,17 +275,17 @@ export declare interface Control extends Case {
  * compileGuard(CONTROL_SHAPE)({ files: [], test, stage: 'type', reason: 'must not compile' }) // true
  * ```
  */
-export declare const CONTROL_SHAPE: ObjectShape<{
-    stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
-    reason: StringShape;
-    files: ArrayShape<ObjectShape<{
-        path: StringShape;
-        text: StringShape;
-    }, false>>;
-    test: ObjectShape<{
-        path: StringShape;
-        text: StringShape;
-    }, false>;
+export declare const CONTROL_SHAPE: ObjectShape<    {
+stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
+reason: StringShape;
+files: ArrayShape<ObjectShape<    {
+path: StringShape;
+text: StringShape;
+}, false>>;
+test: ObjectShape<    {
+path: StringShape;
+text: StringShape;
+}, false>;
 }, false>;
 
 /**
@@ -294,13 +317,16 @@ export declare function createDestroyedError(subject: string): ProbeError;
  *
  * @example
  * ```ts
- * const draft: Draft = { path: 'src/core/greeting.ts', text: "export const GREETING = 'hi'\n" }
+ * const draft: Draft = {
+ * 	path: 'src/core/factories.ts',
+ * 	text: "export function createGreeting(): string {\n\treturn 'hi'\n}\n",
+ * }
  * ```
  */
 export declare interface Draft {
-    /** Workspace-relative path the stages resolve the text against. */
+    /** Names the workspace-relative path the stages resolve the text against. */
     readonly path: string;
-    /** The file's full contents. */
+    /** Holds the file's full contents. */
     readonly text: string;
 }
 
@@ -320,9 +346,9 @@ export declare interface Draft {
  * compileGuard(DRAFT_SHAPE)({ path: 'src/core/greeting.ts', text: '' }) // true
  * ```
  */
-export declare const DRAFT_SHAPE: ObjectShape<{
-    path: StringShape;
-    text: StringShape;
+export declare const DRAFT_SHAPE: ObjectShape<    {
+path: StringShape;
+text: StringShape;
 }, false>;
 
 /**
@@ -387,7 +413,7 @@ export declare function formatIssue(issue: Issue): string;
  * @example
  * ```ts
  * formatProof(proven)
- * // 'receipt probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@3b674fdf121c85efb9ed1bab25ceeec8'
+ * // 'receipt probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@d61f11b52460b1c6707cfac2c6078d59'
  * formatProof(disproven) // 'no receipt'
  * ```
  */
@@ -544,9 +570,10 @@ export declare const isControl: Guard<Control>;
  *
  * @example
  * ```ts
- * isDraft({ path: 'src/core/greeting.ts', text: 'export const GREETING = "hi"\n' }) // true
+ * const text = "export function createGreeting(): string {\n\treturn 'hi'\n}\n"
+ * isDraft({ path: 'src/core/factories.ts', text }) // true
  * isDraft({ path: '../../etc/hosts', text: '' }) // false
- * isDraft({ path: 'src/core/greeting.ts' }) // false
+ * isDraft({ path: 'src/core/factories.ts' }) // false
  * ```
  */
 export declare const isDraft: Guard<Draft>;
@@ -598,7 +625,7 @@ export declare const isParty: Guard<Party>;
  * condition all stay outside the type.
  *
  * @param value - The value to inspect
- * @returns True only for a `ProbeError` instance; false otherwise
+ * @returns True if the value is a `ProbeError` instance; false otherwise
  *
  * @example
  * ```ts
@@ -662,10 +689,11 @@ export declare const isStage: Guard<Stage>;
  * reported no location, which happens for a whole-file diagnostic. A runtime failure is not one of
  * those: a failure Vitest reported at a stack frame carries that frame's position.
  *
- * Each stage supplies the extent its own tool gives it. The type stage spans the diagnostic's
- * reported length, and the lint stage carries the span the language server published. A tool that
- * reports a point rather than a span, as a stack frame does, produces a zero-width range at that
- * point, which is the same value a span of no width would carry.
+ * Each stage supplies the extent its own tool gives it. The lint stage carries the span the language
+ * server published. A tool that reports a point rather than a span produces a zero-width range at
+ * that point, which is the same value a span of no width would carry, and the type stage and the
+ * runtime stage both report one: the compiler's plain-text output names a start position and no
+ * extent, and a stack frame names a position.
  *
  * `formatIssue` renders `start.line` one-based, because that is the numbering an editor shows.
  *
@@ -673,20 +701,22 @@ export declare const isStage: Guard<Stage>;
  * ```ts
  * const issue: Issue = {
  * 	origin: 'claimant',
- * 	path: 'src/core/greeting.ts',
+ * 	path: 'src/core/factories.ts',
  * 	message: "Type 'string' is not assignable to type 'number'.",
- * 	range: { start: { line: 0, character: 6 }, end: { line: 0, character: 13 } },
+ * 	range: { start: { line: 0, character: 6 }, end: { line: 0, character: 6 } },
  * }
  * ```
  */
 export declare interface Issue {
-    /** The party that must act on this message. */
+    /** Names the party that must act on this message. */
     readonly origin: Party;
-    /** Workspace-relative path this message is reported against. */
+    /** Names the workspace-relative path this message is reported against. */
     readonly path: string;
-    /** The diagnostic or failure message. */
+    /** Holds the diagnostic or failure message. */
     readonly message: string;
-    /** Zero-based UTF-16 span the tool reported, or absent when it reported no location. */
+    /**
+     * Holds the zero-based UTF-16 span the tool reported, or is absent when it reported no location.
+     */
     readonly range?: LSPRange;
 }
 
@@ -725,8 +755,8 @@ export declare const isToolchain: Guard<Toolchain>;
 export declare const isVerdict: Guard<Verdict>;
 
 /**
- * Names the bound the lint stage holds over the lifecycle exchanges the protocol leaves to the
- * server: the `initialize` reply warming waits for and the `shutdown` reply ending waits for.
+ * Names the 2,000 ms bound the lint stage holds over the lifecycle exchanges the protocol leaves
+ * to the server: the `initialize` reply warming waits for and the `shutdown` reply ending waits for.
  *
  * @remarks
  * It does not reach the diagnostics an inspection waits for, which the caller's own signal bounds.
@@ -777,7 +807,8 @@ export declare function matchesSpecification(text: string, revision: string): bo
 export declare type Party = (typeof PROBE_PARTIES)[number];
 
 /**
- * Names the default inspection deadline a `Probe` applies when its construction omits one.
+ * Names the default inspection deadline a `Probe` applies when its construction omits one,
+ * 30,000 ms.
  *
  * @remarks
  * `ProbeOptions.deadline` overrides this value per instance.
@@ -790,7 +821,8 @@ export declare type Party = (typeof PROBE_PARTIES)[number];
 export declare const PROBE_DEADLINE = 30000;
 
 /**
- * Lists the conditions that can end a probe operation.
+ * Lists the conditions that can end a probe operation:
+ * `['refused', 'missing', 'malformed', 'destroyed', 'deadline']`.
  *
  * @remarks
  * One list feeds the code union and the error guard, so a condition cannot be constructed by one
@@ -806,7 +838,7 @@ export declare const PROBE_ERROR_CODES: readonly ["refused", "missing", "malform
 
 /**
  * Names the total enumerable key bound `ProbeServer` applies to inbound metadata and to produced
- * tool content alike.
+ * tool content alike, 4096.
  *
  * @remarks
  * `@orkestrel/mcp`'s default leaf is sized for metadata: a verdict costs 38 keys empty and 11 more
@@ -824,7 +856,8 @@ export declare const PROBE_ERROR_CODES: readonly ["refused", "missing", "malform
 export declare const PROBE_KEYS = 4096;
 
 /**
- * Lists the parties that can own action on an issue or probe failure.
+ * Lists the parties that can own action on an issue or probe failure:
+ * `['claimant', 'workspace', 'instrument']`.
  *
  * @remarks
  * One list feeds the `Party` type and its guard, so a party cannot be admitted by one and refused
@@ -838,7 +871,29 @@ export declare const PROBE_KEYS = 4096;
 export declare const PROBE_PARTIES: readonly ["claimant", "workspace", "instrument"];
 
 /**
- * Lists the stages a claim passes through, in the order a verdict reports them.
+ * Names the specification lifetime the runtime stage replaces its resident Vitest service at,
+ * 64 specifications.
+ *
+ * @remarks
+ * Vite retains one unresolved URL for every fresh specification path, so an inspection that writes
+ * a specification grows a map the resident service never releases. The stage replaces that service
+ * rather than deleting from each map it owns, and this is the count of specifications one service
+ * carries before the replacement. Any bound holds the retention flat, because the replacement
+ * releases everything the instance held; this value trades the cost of the replacement against how
+ * far the map grows between them. On 2026-08-20, over this package's own workspace on the host
+ * `guides/probe.md` § Cost names, two runs of 66 inspections put the crossing inspection at 480 ms
+ * and 269 ms against median inspections of 156 ms and 155 ms.
+ *
+ * @example
+ * ```ts
+ * PROBE_SPECIFICATIONS // 64
+ * ```
+ */
+export declare const PROBE_SPECIFICATIONS = 64;
+
+/**
+ * Lists the stages a claim passes through, in the order a verdict reports them:
+ * `['type', 'lint', 'runtime']`.
  *
  * @remarks
  * One list feeds the `Stage` type, the wire shape, the stage guard, and the receipt computation, so
@@ -919,20 +974,20 @@ export declare type ProbeErrorCode = (typeof PROBE_ERROR_CODES)[number];
  * ```
  */
 export declare interface ProbeErrorContext {
-    /** The stage the failure belongs to, when one stage owns it. */
+    /** Names the stage the failure belongs to, when one stage owns it. */
     readonly stage?: Stage;
     /**
-     * The path involved, spelled as the refusing operation named it: workspace-relative for an
+     * Names the path involved, spelled as the refusing operation named it: workspace-relative for an
      * input a caller supplied, absolute for a file this package resolved.
      */
     readonly path?: string;
-    /** The workspace-relative TypeScript project involved, for a project failure. */
+    /** Names the workspace-relative TypeScript project involved, for a project failure. */
     readonly project?: string;
-    /** The installed package name involved, for a workspace toolchain failure. */
+    /** Identifies the installed package involved, for a workspace toolchain failure. */
     readonly name?: string;
-    /** Milliseconds the expired budget allowed, for a deadline failure. */
+    /** Holds the milliseconds the expired budget allowed, for a deadline failure. */
     readonly deadline?: number;
-    /** The rejected value, for an input the guards refused. */
+    /** Holds the rejected value, for an input the guards refused. */
     readonly value?: unknown;
 }
 
@@ -954,13 +1009,13 @@ export declare interface ProbeErrorContext {
  * ```
  */
 export declare interface ProbeErrorOptions {
-    /** The party that must act on this failure. */
+    /** Names the party that must act on this failure. */
     readonly origin: Party;
-    /** The condition that ended the operation. */
+    /** Names the condition that ended the operation. */
     readonly code: ProbeErrorCode;
-    /** Structured detail about the failure. */
+    /** Holds structured detail about the failure. */
     readonly context?: ProbeErrorContext;
-    /** The underlying fault, when one ended the operation. */
+    /** Holds the underlying fault, when one ended the operation. */
     readonly cause?: unknown;
 }
 
@@ -982,13 +1037,16 @@ export declare interface ProbeErrorOptions {
  * ```
  */
 export declare type ProbeEventMap = {
-    /** The boot control reported red and the instrument has begun answering calls. */
+    /** Fires when the boot control has reported red and the instrument has begun answering calls. */
     readonly arm: readonly [toolchain: Toolchain];
-    /** A claim was answered. */
+    /** Fires when a claim is answered. */
     readonly prove: readonly [verdict: Verdict];
-    /** The coordinator's deadline fired at one stage and that stage was replaced before this event. */
+    /** Fires after the coordinator's deadline fired at one stage and that stage was replaced. */
     readonly expire: readonly [claim: Claim];
-    /** A fault surfaced for observation, once per fault, including a rejected arming attempt. */
+    /**
+     * Fires when a fault surfaces for observation, once per fault, including a rejected arming
+     * attempt.
+     */
     readonly error: readonly [error: unknown];
 };
 
@@ -1000,9 +1058,9 @@ export declare type ProbeEventMap = {
  * the process and a restart is a new process rather than a second lifecycle.
  *
  * `prove` re-reads the target workspace before it answers, so a file edited since the last call is
- * judged as it stands on disk rather than as a warm service remembers it. The resident readers key
- * that sweep differently: the runtime stage compares each workspace module's contents, and the type
- * stage versions a disk file by its modification time.
+ * judged as it stands on disk rather than as a warm service remembers it. Each stage keys that
+ * sweep by content: the runtime stage compares each workspace module's contents, and the type stage
+ * refreshes its mirror of the workspace by content digest.
  *
  * @example
  * ```ts
@@ -1012,9 +1070,9 @@ export declare type ProbeEventMap = {
  * ```
  */
 export declare interface ProbeInterface {
-    /** Observation surface for arming, answers, deadline expiry, and faults. */
+    /** Publishes arming, answers, deadline expiry, and faults for observation. */
     readonly emitter: EmitterInterface<ProbeEventMap>;
-    /** The tool versions resolved from the workspace at construction. */
+    /** Names the tool versions resolved from the workspace at construction. */
     readonly toolchain: Toolchain;
     /**
      * Answers one claim with every stage's evidence.
@@ -1022,7 +1080,7 @@ export declare interface ProbeInterface {
      * @remarks
      * A control carrying the case's files and the case's test byte for byte is refused at admission,
      * with `origin: 'claimant'` and `code: 'refused'`. No stage inspects such a claim: the refusal
-     * answers before the resident stages are awaited, so it reads the same in every workspace state.
+     * answers before any stage is awaited, so it reads the same in every workspace state.
      * Such a control can only break by nondeterminism, so the receipt it would earn attests a
      * falsification that never happened, and a flake-earned receipt is the worst answer this package
      * can return. The refusal compares the bytes of each side's files and test rather than the digest
@@ -1038,9 +1096,9 @@ export declare interface ProbeInterface {
      */
     prove(claim: Claim): Promise<Verdict>;
     /**
-     * Tears down the resident engines and releases the processes they hold.
+     * Tears down every stage and releases the processes and the mirror they hold.
      *
-     * @returns A promise that settles when every engine has released its resources
+     * @returns A promise that settles after every stage has released its resources
      */
     destroy(): Promise<void>;
 }
@@ -1064,15 +1122,15 @@ export declare interface ProbeInterface {
  * ```
  */
 export declare interface ProbeOptions {
-    /** Initial listeners, wired at construction. */
+    /** Declares the initial listeners, wired at construction. */
     readonly on?: EmitterHooks<ProbeEventMap>;
-    /** Handler for a listener throw. */
+    /** Holds the handler for a listener throw. */
     readonly error?: EmitterErrorHandler;
-    /** Target workspace root. Default: the current working directory. */
+    /** Names the target workspace root. Default: the current working directory. */
     readonly workspace?: string;
     /**
-     * Milliseconds one active stage inspection may take; an expired stage is replaced. Default:
-     * 30,000 ms.
+     * Holds the milliseconds one active stage inspection may take; an expired stage is replaced.
+     * Default: 30,000 ms.
      */
     readonly deadline?: number;
 }
@@ -1085,25 +1143,30 @@ export declare interface ProbeOptions {
  * under one project and fails under another, so a verdict that omits the project states less than
  * it appears to. `path` names which project file, in the resolved workspace-relative spelling
  * rather than the caller's. `digest` names what that project contained, because a receipt travels
- * away from the workspace that minted it and a path alone is a claim about a name.
+ * away from the workspace that minted it and a path alone is a claim about a name. The digest reads
+ * the compiler's own printed configuration for the workspace's copy of that project, so a claim's
+ * drafts cannot move it.
  *
  * @example
  * ```ts
  * const project: Project = {
  * 	path: 'configs/src/tsconfig.core.json',
- * 	digest: '3b674fdf121c85efb9ed1bab25ceeec8',
+ * 	digest: 'd61f11b52460b1c6707cfac2c6078d59',
  * }
  * ```
  */
 export declare interface Project {
-    /** Resolved workspace-relative path of the project file the type stage applied. */
+    /** Names the resolved workspace-relative path of the project file the type stage applied. */
     readonly path: string;
-    /** Digest of that project's resolved compiler options, workspace-relative and key-sorted. */
+    /**
+     * Holds the digest of that project's resolved compiler options, workspace-relative and
+     * key-sorted.
+     */
     readonly digest: string;
 }
 
 /**
- * Names the leading token every receipt carries.
+ * Names the leading token every receipt carries, `'probe'`.
  *
  * @remarks
  * A receipt travels away from the verdict that minted it — an agent pastes it into the promotion
@@ -1112,14 +1175,14 @@ export declare interface Project {
  * @example
  * ```ts
  * const receipt =
- * 	'probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@3b674fdf121c85efb9ed1bab25ceeec8'
+ * 	'probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@d61f11b52460b1c6707cfac2c6078d59'
  * receipt.startsWith(RECEIPT_PREFIX) // true
  * ```
  */
 export declare const RECEIPT_PREFIX = "probe";
 
 /**
- * Names the character joining a receipt's tokens.
+ * Names the character joining a receipt's tokens, `':'`.
  *
  * @remarks
  * A project path can contain this character, so the project field goes last and a reader rejoins
@@ -1128,12 +1191,28 @@ export declare const RECEIPT_PREFIX = "probe";
  * @example
  * ```ts
  * const receipt =
- * 	'probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@3b674fdf121c85efb9ed1bab25ceeec8'
+ * 	'probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@d61f11b52460b1c6707cfac2c6078d59'
  * receipt.split(RECEIPT_SEPARATOR).length // 7
  * ```
  */
 export declare const RECEIPT_SEPARATOR = ":";
 
+/**
+ * Names the Vite plugin the runtime stage installs into a target workspace's Vitest
+ * configuration, `'orkestrel-runtime-overlay'`.
+ *
+ * @remarks
+ * The stage declares the plugin under this name and reads a configured project's plugin list for
+ * the same name to decide whether that project carries the overlay. One name feeds both, so a
+ * project the stage instrumented is never reported as a workspace project it could not reach.
+ *
+ * @example
+ * ```ts
+ * RUNTIME_PLUGIN // 'orkestrel-runtime-overlay'
+ * ```
+ */
+export declare const RUNTIME_PLUGIN = "orkestrel-runtime-overlay";
+
 /**
  * Names an inspection a claim passes through, derived from {@link PROBE_STAGES}.
  *
@@ -1162,14 +1241,33 @@ export declare type Stage = (typeof PROBE_STAGES)[number];
  * ```
  */
 export declare interface Toolchain {
-    /** Resolved `typescript` version the type stage ran. */
+    /** Names the resolved `typescript` version the type stage ran. */
     readonly typescript: string;
-    /** Resolved `oxlint` version the lint stage ran. */
+    /** Names the resolved `oxlint` version the lint stage ran. */
     readonly oxlint: string;
-    /** Resolved `vitest` version the runtime stage ran. */
+    /** Names the resolved `vitest` version the runtime stage ran. */
     readonly vitest: string;
 }
 
+/**
+ * Names the workspace-relative directory the type stage keeps its workspace mirror under,
+ * `'tmp/type'`.
+ *
+ * @remarks
+ * Each stage owns one directory beneath this one, named for the writing host's process id and a
+ * fresh UUID, and deletes it at teardown. The directory sits under `tmp/` so nothing the stage
+ * writes reaches a version-controlled path, and beside `tmp/probe/` rather than inside it because
+ * the workbench Vitest project collects `tmp/probe/**` and would otherwise collect a mirrored test.
+ * A target that runs its own `check`, `lint:check`, or `format:check` while a probe is resident
+ * reads whatever it does not exclude, so exclude this directory there.
+ *
+ * @example
+ * ```ts
+ * TYPE_MIRROR // 'tmp/type'
+ * ```
+ */
+export declare const TYPE_MIRROR = "tmp/type";
+
 /**
  * Carries the full result of one claim: every stage, for both the case and its control.
  *
@@ -1211,7 +1309,7 @@ export declare interface Toolchain {
  * 	toolchain: { typescript: '6.0.3', oxlint: '1.79.0', vitest: '4.1.11' },
  * 	project: {
  * 		path: 'configs/src/tsconfig.core.json',
- * 		digest: '3b674fdf121c85efb9ed1bab25ceeec8',
+ * 		digest: 'd61f11b52460b1c6707cfac2c6078d59',
  * 	},
  * 	reason: 'a number annotation must reject the string literal beside it',
  * 	case: [
@@ -1226,31 +1324,31 @@ export declare interface Toolchain {
  * 	],
  * 	elapsed: 549,
  * 	receipt:
- * 		'probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@3b674fdf121c85efb9ed1bab25ceeec8',
+ * 		'probe:6ca20c3bff623031d3955b9d1a76d71d:type:typescript@6.0.3:oxlint@1.79.0:vitest@4.1.11:configs/src/tsconfig.core.json@d61f11b52460b1c6707cfac2c6078d59',
  * }
  * ```
  */
 export declare interface Verdict {
-    /** The revision identity this verdict was produced for, fresh per call. */
+    /** Names the revision identity this verdict was produced for, fresh per call. */
     readonly id: string;
-    /** Digest of the case and control this verdict answers. */
+    /** Holds the digest of the case and control this verdict answers. */
     readonly digest: string;
-    /** The tool versions that produced it. */
+    /** Names the tool versions that produced it. */
     readonly toolchain: Toolchain;
-    /** The TypeScript project the candidate drafts were judged against. */
+    /** Names the TypeScript project the candidate drafts were judged against. */
     readonly project: Project;
     /**
-     * The claimant's explanation for the selected control, when the verdict came from a claim. Part
-     * of the control, so it enters `digest` and through it the receipt token.
+     * Holds the claimant's explanation for the selected control, when the verdict came from a claim.
+     * Part of the control, so it enters `digest` and through it the receipt token.
      */
     readonly reason?: string;
-    /** One outcome per stage for the claim's case. */
+    /** Holds one outcome per stage for the claim's case. */
     readonly case: readonly Check[];
-    /** One outcome per stage for the claim's control. */
+    /** Holds one outcome per stage for the claim's control. */
     readonly control: readonly Check[];
-    /** Milliseconds the whole call took, including both the case and the control. */
+    /** Holds the milliseconds the whole call took, including both the case and the control. */
     readonly elapsed: number;
-    /** The proof token, absent when either phase reports an instrument failure. */
+    /** Holds the proof token, absent when either phase reports an instrument failure. */
     readonly receipt?: string;
 }