@orkestrel/probe 0.0.26 → 0.0.28

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

@@ -60,27 +60,6 @@ text: StringShape;
 }, false>;
 }, false>;
 
-/**
- * Carries one stage's outcome: what it cost and what it reported.
- *
- * @remarks
- * An empty `issues` list is the clean result. There is no separate pass flag, because passing is
- * exactly the absence of issues and a stored flag could disagree with the list beside it.
- *
- * @example
- * ```ts
- * const check: Check = { stage: 'lint', elapsed: 17, issues: [] }
- * ```
- */
-export declare interface Check {
-    /** Names the stage that produced this outcome. */
-    readonly stage: Stage;
-    /** Holds the milliseconds the stage took. */
-    readonly elapsed: number;
-    /** Holds every message the stage's tool reported, in the tool's own order. */
-    readonly issues: readonly Issue[];
-}
-
 /**
  * Carries everything the service needs to produce one verdict.
  *
@@ -189,8 +168,8 @@ reason: StringShape;
  * Computes the proof token a verdict carries, or returns nothing when the claim was not proven.
  *
  * @remarks
- * A receipt is minted on these conditions together: both phases report one check per stage, the
- * case carries no issue, the control carries at least one `origin: 'claimant'` issue
+ * A receipt is minted on these conditions together: both phases report one stage result per stage,
+ * the case carries no issue, the control carries at least one `origin: 'claimant'` issue
  * at the stage it declared, and every other control stage carries no claimant issue. A control
  * that fails somewhere else has falsified the instrument rather than the claim, so no receipt is
  * minted for it.
@@ -216,7 +195,7 @@ reason: StringShape;
  * refuses the receipt. A workspace issue in the control does not decide whether the claimant's
  * candidate broke, while one in the case still means that the case did not run clean.
  *
- * @param verdict - The verdict whose case and control checks decide the outcome
+ * @param verdict - The verdict whose case and control stage results decide the outcome
  * @param stage - The stage the claim's control declared it must fail at
  * @returns The receipt token, or `undefined` when any condition fails
  *
@@ -351,24 +330,6 @@ path: StringShape;
 text: StringShape;
 }, false>;
 
-/**
- * Renders one stage's outcome as its summary line followed by every message it reported.
- *
- * @remarks
- * A clean stage renders one line. The count appears even when it is zero, because that line is
- * what shows a reader the stage ran; a silent stage and a skipped stage read the same.
- *
- * @param check - The stage outcome to render
- * @returns The summary line, then one indented line per issue
- *
- * @example
- * ```ts
- * formatCheck({ stage: 'lint', elapsed: 17, issues: [] })
- * // 'lint: 0 issues (17 ms)'
- * ```
- */
-export declare function formatCheck(check: Check): string;
-
 /**
  * Renders one tool message as a single line an agent can classify and locate.
  *
@@ -463,6 +424,24 @@ export declare function formatReceipt(verdict: Verdict): string;
  */
 export declare function formatSpecification(text: string, revision: string): string;
 
+/**
+ * Renders one stage's outcome as its summary line followed by every message it reported.
+ *
+ * @remarks
+ * A clean stage renders one line. The count appears even when it is zero, because that line is
+ * what shows a reader the stage ran; a silent stage and a skipped stage read the same.
+ *
+ * @param result - The stage outcome to render
+ * @returns The summary line, then one indented line per issue
+ *
+ * @example
+ * ```ts
+ * formatStageResult({ stage: 'lint', elapsed: 17, issues: [] })
+ * // 'lint: 0 issues (17 ms)'
+ * ```
+ */
+export declare function formatStageResult(result: StageResult): string;
+
 /**
  * Renders a whole verdict as the text an agent reads.
  *
@@ -474,8 +453,8 @@ export declare function formatSpecification(text: string, revision: string): str
  * The heading lines carry everything the receipt binds, each in the name-then-value form the
  * toolchain line established: the call's identity, the claim it answered, the tools that ran, and
  * the project that judged the candidates. A verdict carrying the control's reason renders it next,
- * before either phase's checks. A reader comparing two verdicts therefore reads what differed
- * without recomputing anything.
+ * before either phase's stage results. A reader comparing two verdicts therefore reads what
+ * differed without recomputing anything.
  *
  * @param verdict - The verdict to render
  * @returns The identity, claim, toolchain, project, and reason when present, then every case and
@@ -502,19 +481,6 @@ export declare function formatVerdict(verdict: Verdict): string;
  */
 export declare const isCase: Guard<Case>;
 
-/**
- * Checks whether a value carries one stage's outcome.
- *
- * @param value - The value to check
- * @returns True if the value is a check; false otherwise
- *
- * @example
- * ```ts
- * isCheck({ stage: 'lint', elapsed: 17, issues: [] }) // true
- * ```
- */
-export declare const isCheck: Guard<Check>;
-
 /**
  * Checks whether a value carries a project, a case, and a control.
  *
@@ -559,11 +525,11 @@ export declare const isControl: Guard<Control>;
  * Checks whether a value carries a proposed file's path and text.
  *
  * @remarks
- * Rejects an empty, absolute, or workspace-escaping path. A contained relative path may contain
- * `.` or may traverse to a parent that remains inside the workspace. Every stage resolves a file
- * by that path, so admitting an escape here would defer the refusal until a stage had already
- * accepted the draft. An `Issue` carries no such minimum because this package produces issues
- * rather than admits them.
+ * Rejects an empty path, an absolute path, or a path that resolves outside the workspace. A
+ * contained relative path may contain `.` or may traverse to a parent that remains inside the
+ * workspace. Every stage resolves a file by that path, so admitting such a path here would defer
+ * the refusal until a stage had already accepted the draft. An `Issue` carries no such minimum
+ * because this package produces issues rather than admits them.
  *
  * @param value - The value to check
  * @returns True if the value is a draft; false otherwise
@@ -666,11 +632,24 @@ export declare const isProject: Guard<Project>;
  */
 export declare const isStage: Guard<Stage>;
 
+/**
+ * Checks whether a value carries one stage's outcome.
+ *
+ * @param value - The value to check
+ * @returns True if the value is a stage result; false otherwise
+ *
+ * @example
+ * ```ts
+ * isStageResult({ stage: 'lint', elapsed: 17, issues: [] }) // true
+ * ```
+ */
+export declare const isStageResult: Guard<StageResult>;
+
 /**
  * Carries one message a stage reported, where it reported it, and whose fault it names.
  *
  * @remarks
- * The stage is not repeated here. An issue always arrives inside the `Check` that names its
+ * The stage is not repeated here. An issue always arrives inside the `StageResult` that names its
  * stage, so a second copy could only drift from the first.
  *
  * A `claimant` issue is a tool's diagnostic about a candidate draft, and nothing else. Every
@@ -737,9 +716,9 @@ export declare const isToolchain: Guard<Toolchain>;
  * Checks whether a value carries a complete verdict.
  *
  * @remarks
- * Accepts any check count, because arity is the coordinator's obligation rather than this guard's:
- * a stage that could not start throws before a verdict is built, so a short list can only arrive
- * from a caller that assembled one by hand.
+ * Accepts any stage result count, because arity is the coordinator's obligation rather than this
+ * guard's: a stage that could not start throws before a verdict is built, so a short list can only
+ * arrive from a caller that assembled one by hand.
  *
  * @param value - The value to check
  * @returns True if the value is a verdict; false otherwise
@@ -1145,7 +1124,7 @@ export declare interface ProbeInterface {
      *
      * @param claim - The case, its control, and the project the candidate drafts in both cases
      * are checked against
-     * @returns The verdict, carrying one check per stage for both the case and the control
+     * @returns The verdict, carrying one stage result per stage for both the case and the control
      * @throws When the control repeats the case byte for byte, or when a stage cannot start, so no
      * verdict ever reports a stage that did not run
      */
@@ -1284,6 +1263,27 @@ export declare const RUNTIME_PLUGIN = "orkestrel-runtime-overlay";
  */
 export declare type Stage = (typeof PROBE_STAGES)[number];
 
+/**
+ * Carries one stage's outcome: what it cost and what it reported.
+ *
+ * @remarks
+ * An empty `issues` list is the clean result. There is no separate pass flag, because passing is
+ * exactly the absence of issues and a stored flag could disagree with the list beside it.
+ *
+ * @example
+ * ```ts
+ * const result: StageResult = { stage: 'lint', elapsed: 17, issues: [] }
+ * ```
+ */
+export declare interface StageResult {
+    /** Names the stage that produced this outcome. */
+    readonly stage: Stage;
+    /** Holds the milliseconds the stage took. */
+    readonly elapsed: number;
+    /** Holds every message the stage's tool reported, in the tool's own order. */
+    readonly issues: readonly Issue[];
+}
+
 /**
  * Names the tool versions a verdict was produced with.
  *
@@ -1341,7 +1341,7 @@ export declare const TYPE_MIRROR = "tmp/type";
  * the type stage always runs and a claim always names a project, so no verdict exists without
  * either value. A verdict returned by `Probe` also carries the control's claimant-authored
  * `reason` unchanged. A hand-built verdict may omit it because the receipt helper needs only the
- * recorded checks and declared stage.
+ * recorded stage results and declared stage.
  *
  * `digest` covers these things: the case bytes, the control bytes including this `reason`, and the
  * workspace they were read against. The reason is part of the control, so two claims differing only
@@ -1400,9 +1400,9 @@ export declare interface Verdict {
      */
     readonly reason?: string;
     /** Holds one outcome per stage for the claim's case. */
-    readonly case: readonly Check[];
+    readonly case: readonly StageResult[];
     /** Holds one outcome per stage for the claim's control. */
-    readonly control: readonly Check[];
+    readonly control: readonly StageResult[];
     /** Holds the milliseconds the whole call took, including both the case and the control. */
     readonly elapsed: number;
     /** Holds the proof token, absent when either phase reports an instrument failure. */

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

@@ -60,27 +60,6 @@ text: StringShape;
 }, false>;
 }, false>;
 
-/**
- * Carries one stage's outcome: what it cost and what it reported.
- *
- * @remarks
- * An empty `issues` list is the clean result. There is no separate pass flag, because passing is
- * exactly the absence of issues and a stored flag could disagree with the list beside it.
- *
- * @example
- * ```ts
- * const check: Check = { stage: 'lint', elapsed: 17, issues: [] }
- * ```
- */
-export declare interface Check {
-    /** Names the stage that produced this outcome. */
-    readonly stage: Stage;
-    /** Holds the milliseconds the stage took. */
-    readonly elapsed: number;
-    /** Holds every message the stage's tool reported, in the tool's own order. */
-    readonly issues: readonly Issue[];
-}
-
 /**
  * Carries everything the service needs to produce one verdict.
  *
@@ -189,8 +168,8 @@ reason: StringShape;
  * Computes the proof token a verdict carries, or returns nothing when the claim was not proven.
  *
  * @remarks
- * A receipt is minted on these conditions together: both phases report one check per stage, the
- * case carries no issue, the control carries at least one `origin: 'claimant'` issue
+ * A receipt is minted on these conditions together: both phases report one stage result per stage,
+ * the case carries no issue, the control carries at least one `origin: 'claimant'` issue
  * at the stage it declared, and every other control stage carries no claimant issue. A control
  * that fails somewhere else has falsified the instrument rather than the claim, so no receipt is
  * minted for it.
@@ -216,7 +195,7 @@ reason: StringShape;
  * refuses the receipt. A workspace issue in the control does not decide whether the claimant's
  * candidate broke, while one in the case still means that the case did not run clean.
  *
- * @param verdict - The verdict whose case and control checks decide the outcome
+ * @param verdict - The verdict whose case and control stage results decide the outcome
  * @param stage - The stage the claim's control declared it must fail at
  * @returns The receipt token, or `undefined` when any condition fails
  *
@@ -351,24 +330,6 @@ path: StringShape;
 text: StringShape;
 }, false>;
 
-/**
- * Renders one stage's outcome as its summary line followed by every message it reported.
- *
- * @remarks
- * A clean stage renders one line. The count appears even when it is zero, because that line is
- * what shows a reader the stage ran; a silent stage and a skipped stage read the same.
- *
- * @param check - The stage outcome to render
- * @returns The summary line, then one indented line per issue
- *
- * @example
- * ```ts
- * formatCheck({ stage: 'lint', elapsed: 17, issues: [] })
- * // 'lint: 0 issues (17 ms)'
- * ```
- */
-export declare function formatCheck(check: Check): string;
-
 /**
  * Renders one tool message as a single line an agent can classify and locate.
  *
@@ -463,6 +424,24 @@ export declare function formatReceipt(verdict: Verdict): string;
  */
 export declare function formatSpecification(text: string, revision: string): string;
 
+/**
+ * Renders one stage's outcome as its summary line followed by every message it reported.
+ *
+ * @remarks
+ * A clean stage renders one line. The count appears even when it is zero, because that line is
+ * what shows a reader the stage ran; a silent stage and a skipped stage read the same.
+ *
+ * @param result - The stage outcome to render
+ * @returns The summary line, then one indented line per issue
+ *
+ * @example
+ * ```ts
+ * formatStageResult({ stage: 'lint', elapsed: 17, issues: [] })
+ * // 'lint: 0 issues (17 ms)'
+ * ```
+ */
+export declare function formatStageResult(result: StageResult): string;
+
 /**
  * Renders a whole verdict as the text an agent reads.
  *
@@ -474,8 +453,8 @@ export declare function formatSpecification(text: string, revision: string): str
  * The heading lines carry everything the receipt binds, each in the name-then-value form the
  * toolchain line established: the call's identity, the claim it answered, the tools that ran, and
  * the project that judged the candidates. A verdict carrying the control's reason renders it next,
- * before either phase's checks. A reader comparing two verdicts therefore reads what differed
- * without recomputing anything.
+ * before either phase's stage results. A reader comparing two verdicts therefore reads what
+ * differed without recomputing anything.
  *
  * @param verdict - The verdict to render
  * @returns The identity, claim, toolchain, project, and reason when present, then every case and
@@ -502,19 +481,6 @@ export declare function formatVerdict(verdict: Verdict): string;
  */
 export declare const isCase: Guard<Case>;
 
-/**
- * Checks whether a value carries one stage's outcome.
- *
- * @param value - The value to check
- * @returns True if the value is a check; false otherwise
- *
- * @example
- * ```ts
- * isCheck({ stage: 'lint', elapsed: 17, issues: [] }) // true
- * ```
- */
-export declare const isCheck: Guard<Check>;
-
 /**
  * Checks whether a value carries a project, a case, and a control.
  *
@@ -559,11 +525,11 @@ export declare const isControl: Guard<Control>;
  * Checks whether a value carries a proposed file's path and text.
  *
  * @remarks
- * Rejects an empty, absolute, or workspace-escaping path. A contained relative path may contain
- * `.` or may traverse to a parent that remains inside the workspace. Every stage resolves a file
- * by that path, so admitting an escape here would defer the refusal until a stage had already
- * accepted the draft. An `Issue` carries no such minimum because this package produces issues
- * rather than admits them.
+ * Rejects an empty path, an absolute path, or a path that resolves outside the workspace. A
+ * contained relative path may contain `.` or may traverse to a parent that remains inside the
+ * workspace. Every stage resolves a file by that path, so admitting such a path here would defer
+ * the refusal until a stage had already accepted the draft. An `Issue` carries no such minimum
+ * because this package produces issues rather than admits them.
  *
  * @param value - The value to check
  * @returns True if the value is a draft; false otherwise
@@ -666,11 +632,24 @@ export declare const isProject: Guard<Project>;
  */
 export declare const isStage: Guard<Stage>;
 
+/**
+ * Checks whether a value carries one stage's outcome.
+ *
+ * @param value - The value to check
+ * @returns True if the value is a stage result; false otherwise
+ *
+ * @example
+ * ```ts
+ * isStageResult({ stage: 'lint', elapsed: 17, issues: [] }) // true
+ * ```
+ */
+export declare const isStageResult: Guard<StageResult>;
+
 /**
  * Carries one message a stage reported, where it reported it, and whose fault it names.
  *
  * @remarks
- * The stage is not repeated here. An issue always arrives inside the `Check` that names its
+ * The stage is not repeated here. An issue always arrives inside the `StageResult` that names its
  * stage, so a second copy could only drift from the first.
  *
  * A `claimant` issue is a tool's diagnostic about a candidate draft, and nothing else. Every
@@ -737,9 +716,9 @@ export declare const isToolchain: Guard<Toolchain>;
  * Checks whether a value carries a complete verdict.
  *
  * @remarks
- * Accepts any check count, because arity is the coordinator's obligation rather than this guard's:
- * a stage that could not start throws before a verdict is built, so a short list can only arrive
- * from a caller that assembled one by hand.
+ * Accepts any stage result count, because arity is the coordinator's obligation rather than this
+ * guard's: a stage that could not start throws before a verdict is built, so a short list can only
+ * arrive from a caller that assembled one by hand.
  *
  * @param value - The value to check
  * @returns True if the value is a verdict; false otherwise
@@ -1145,7 +1124,7 @@ export declare interface ProbeInterface {
      *
      * @param claim - The case, its control, and the project the candidate drafts in both cases
      * are checked against
-     * @returns The verdict, carrying one check per stage for both the case and the control
+     * @returns The verdict, carrying one stage result per stage for both the case and the control
      * @throws When the control repeats the case byte for byte, or when a stage cannot start, so no
      * verdict ever reports a stage that did not run
      */
@@ -1284,6 +1263,27 @@ export declare const RUNTIME_PLUGIN = "orkestrel-runtime-overlay";
  */
 export declare type Stage = (typeof PROBE_STAGES)[number];
 
+/**
+ * Carries one stage's outcome: what it cost and what it reported.
+ *
+ * @remarks
+ * An empty `issues` list is the clean result. There is no separate pass flag, because passing is
+ * exactly the absence of issues and a stored flag could disagree with the list beside it.
+ *
+ * @example
+ * ```ts
+ * const result: StageResult = { stage: 'lint', elapsed: 17, issues: [] }
+ * ```
+ */
+export declare interface StageResult {
+    /** Names the stage that produced this outcome. */
+    readonly stage: Stage;
+    /** Holds the milliseconds the stage took. */
+    readonly elapsed: number;
+    /** Holds every message the stage's tool reported, in the tool's own order. */
+    readonly issues: readonly Issue[];
+}
+
 /**
  * Names the tool versions a verdict was produced with.
  *
@@ -1341,7 +1341,7 @@ export declare const TYPE_MIRROR = "tmp/type";
  * the type stage always runs and a claim always names a project, so no verdict exists without
  * either value. A verdict returned by `Probe` also carries the control's claimant-authored
  * `reason` unchanged. A hand-built verdict may omit it because the receipt helper needs only the
- * recorded checks and declared stage.
+ * recorded stage results and declared stage.
  *
  * `digest` covers these things: the case bytes, the control bytes including this `reason`, and the
  * workspace they were read against. The reason is part of the control, so two claims differing only
@@ -1400,9 +1400,9 @@ export declare interface Verdict {
      */
     readonly reason?: string;
     /** Holds one outcome per stage for the claim's case. */
-    readonly case: readonly Check[];
+    readonly case: readonly StageResult[];
     /** Holds one outcome per stage for the claim's control. */
-    readonly control: readonly Check[];
+    readonly control: readonly StageResult[];
     /** Holds the milliseconds the whole call took, including both the case and the control. */
     readonly elapsed: number;
     /** Holds the proof token, absent when either phase reports an instrument failure. */

package/dist/src/core/index.js

@@ -265,7 +265,7 @@ var ProbeError = class extends Error {
 	constructor(message, options) {
 		const cause = options.cause;
 		super(message, cause === void 0 ? void 0 : { cause });
-		Object.defineProperty(this, Symbol.for("@orkestrel/probe.error"), { value: this });
+		Object.defineProperty(this, Symbol.for("@orkestrel/probe.ProbeError"), { value: this });
 		this.origin = options.origin;
 		this.code = options.code;
 		if (options.context !== void 0) this.context = options.context;
@@ -294,7 +294,7 @@ function isProbeError(value) {
 	if (!isError(value)) return false;
 	return holds(() => {
 		if (INTRINSICS.prototype(value) === Error.prototype) return false;
-		if (INTRINSICS.describe(value, Symbol.for("@orkestrel/probe.error"))?.value !== value) return false;
+		if (INTRINSICS.describe(value, Symbol.for("@orkestrel/probe.ProbeError"))?.value !== value) return false;
 		const origin = INTRINSICS.reflect.read(value, "origin");
 		const code = INTRINSICS.reflect.read(value, "code");
 		const context = INTRINSICS.reflect.read(value, "context");
@@ -357,11 +357,11 @@ var isStage = literalOf(PROBE_STAGES);
 * Checks whether a value carries a proposed file's path and text.
 *
 * @remarks
-* Rejects an empty, absolute, or workspace-escaping path. A contained relative path may contain
-* `.` or may traverse to a parent that remains inside the workspace. Every stage resolves a file
-* by that path, so admitting an escape here would defer the refusal until a stage had already
-* accepted the draft. An `Issue` carries no such minimum because this package produces issues
-* rather than admits them.
+* Rejects an empty path, an absolute path, or a path that resolves outside the workspace. A
+* contained relative path may contain `.` or may traverse to a parent that remains inside the
+* workspace. Every stage resolves a file by that path, so admitting such a path here would defer
+* the refusal until a stage had already accepted the draft. An `Issue` carries no such minimum
+* because this package produces issues rather than admits them.
 *
 * @param value - The value to check
 * @returns True if the value is a draft; false otherwise
@@ -489,14 +489,14 @@ var isIssue = recordOf({
 * Checks whether a value carries one stage's outcome.
 *
 * @param value - The value to check
-* @returns True if the value is a check; false otherwise
+* @returns True if the value is a stage result; false otherwise
 *
 * @example
 * ```ts
-* isCheck({ stage: 'lint', elapsed: 17, issues: [] }) // true
+* isStageResult({ stage: 'lint', elapsed: 17, issues: [] }) // true
 * ```
 */
-var isCheck = recordOf({
+var isStageResult = recordOf({
 	stage: isStage,
 	elapsed: isNumber,
 	issues: arrayOf(isIssue)
@@ -542,9 +542,9 @@ var isProject = recordOf({
 * Checks whether a value carries a complete verdict.
 *
 * @remarks
-* Accepts any check count, because arity is the coordinator's obligation rather than this guard's:
-* a stage that could not start throws before a verdict is built, so a short list can only arrive
-* from a caller that assembled one by hand.
+* Accepts any stage result count, because arity is the coordinator's obligation rather than this
+* guard's: a stage that could not start throws before a verdict is built, so a short list can only
+* arrive from a caller that assembled one by hand.
 *
 * @param value - The value to check
 * @returns True if the value is a verdict; false otherwise
@@ -562,8 +562,8 @@ var isVerdict = recordOf({
 	toolchain: isToolchain,
 	project: isProject,
 	reason: isNonEmptyString,
-	case: arrayOf(isCheck),
-	control: arrayOf(isCheck),
+	case: arrayOf(isStageResult),
+	control: arrayOf(isStageResult),
 	elapsed: isNumber,
 	receipt: isString
 }, ["reason", "receipt"]);
@@ -609,19 +609,19 @@ function formatIssue(issue) {
 * A clean stage renders one line. The count appears even when it is zero, because that line is
 * what shows a reader the stage ran; a silent stage and a skipped stage read the same.
 *
-* @param check - The stage outcome to render
+* @param result - The stage outcome to render
 * @returns The summary line, then one indented line per issue
 *
 * @example
 * ```ts
-* formatCheck({ stage: 'lint', elapsed: 17, issues: [] })
+* formatStageResult({ stage: 'lint', elapsed: 17, issues: [] })
 * // 'lint: 0 issues (17 ms)'
 * ```
 */
-function formatCheck(check) {
-	const count = check.issues.length;
+function formatStageResult(result) {
+	const count = result.issues.length;
 	const noun = count === 1 ? "issue" : "issues";
-	return [`${check.stage}: ${count} ${noun} (${check.elapsed} ms)`, ...check.issues.map((issue) => `  ${formatIssue(issue)}`)].join("\n");
+	return [`${result.stage}: ${count} ${noun} (${result.elapsed} ms)`, ...result.issues.map((issue) => `  ${formatIssue(issue)}`)].join("\n");
 }
 /**
 * Renders the closing line a rendered verdict ends with: the receipt it earned, or its absence.
@@ -682,8 +682,8 @@ function formatReceipt(verdict) {
 * The heading lines carry everything the receipt binds, each in the name-then-value form the
 * toolchain line established: the call's identity, the claim it answered, the tools that ran, and
 * the project that judged the candidates. A verdict carrying the control's reason renders it next,
-* before either phase's checks. A reader comparing two verdicts therefore reads what differed
-* without recomputing anything.
+* before either phase's stage results. A reader comparing two verdicts therefore reads what
+* differed without recomputing anything.
 *
 * @param verdict - The verdict to render
 * @returns The identity, claim, toolchain, project, and reason when present, then every case and
@@ -705,8 +705,8 @@ function formatVerdict(verdict) {
 		tools,
 		project,
 		...reason,
-		...verdict.case.map((check) => `case ${formatCheck(check)}`),
-		...verdict.control.map((check) => `control ${formatCheck(check)}`),
+		...verdict.case.map((result) => `case ${formatStageResult(result)}`),
+		...verdict.control.map((result) => `control ${formatStageResult(result)}`),
 		formatProof(verdict)
 	].join("\n");
 }
@@ -714,8 +714,8 @@ function formatVerdict(verdict) {
 * Computes the proof token a verdict carries, or returns nothing when the claim was not proven.
 *
 * @remarks
-* A receipt is minted on these conditions together: both phases report one check per stage, the
-* case carries no issue, the control carries at least one `origin: 'claimant'` issue
+* A receipt is minted on these conditions together: both phases report one stage result per stage,
+* the case carries no issue, the control carries at least one `origin: 'claimant'` issue
 * at the stage it declared, and every other control stage carries no claimant issue. A control
 * that fails somewhere else has falsified the instrument rather than the claim, so no receipt is
 * minted for it.
@@ -741,7 +741,7 @@ function formatVerdict(verdict) {
 * refuses the receipt. A workspace issue in the control does not decide whether the claimant's
 * candidate broke, while one in the case still means that the case did not run clean.
 *
-* @param verdict - The verdict whose case and control checks decide the outcome
+* @param verdict - The verdict whose case and control stage results decide the outcome
 * @param stage - The stage the claim's control declared it must fail at
 * @returns The receipt token, or `undefined` when any condition fails
 *
@@ -753,11 +753,11 @@ function formatVerdict(verdict) {
 * ```
 */
 function computeReceipt(verdict, stage) {
-	const ran = PROBE_STAGES.every((name) => verdict.case.filter((check) => check.stage === name).length === 1 && verdict.control.filter((check) => check.stage === name).length === 1);
-	const clean = verdict.case.every((check) => check.issues.length === 0);
-	const broke = verdict.control.find((check) => check.stage === stage)?.issues.some((issue) => issue.origin === "claimant") ?? false;
-	const faulted = verdict.case.some((check) => check.issues.some((issue) => issue.origin === "instrument")) || verdict.control.some((check) => check.issues.some((issue) => issue.origin === "instrument"));
-	const stayed = verdict.control.every((check) => check.stage === stage || check.issues.every((issue) => issue.origin !== "claimant"));
+	const ran = PROBE_STAGES.every((name) => verdict.case.filter((result) => result.stage === name).length === 1 && verdict.control.filter((result) => result.stage === name).length === 1);
+	const clean = verdict.case.every((result) => result.issues.length === 0);
+	const broke = verdict.control.find((result) => result.stage === stage)?.issues.some((issue) => issue.origin === "claimant") ?? false;
+	const faulted = verdict.case.some((result) => result.issues.some((issue) => issue.origin === "instrument")) || verdict.control.some((result) => result.issues.some((issue) => issue.origin === "instrument"));
+	const stayed = verdict.control.every((result) => result.stage === stage || result.issues.every((issue) => issue.origin !== "claimant"));
 	if (!ran || !clean || !broke || faulted || !stayed) return void 0;
 	const { typescript, oxlint, vitest } = verdict.toolchain;
 	return [
@@ -900,6 +900,6 @@ var CLAIM_SHAPE = objectShape({
 	case: CASE_SHAPE,
 	control: CONTROL_SHAPE
 }, { description: "One claim: the project, the case, and the control that must break." });
-export { CASE_SHAPE, CLAIM_SHAPE, CONTROL_SHAPE, DRAFT_SHAPE, LINT_DEADLINE, LINT_TEARDOWN, PROBE_DEADLINE, PROBE_ERROR_CODES, PROBE_KEYS, PROBE_PARTIES, PROBE_RESTARTS, PROBE_SPECIFICATIONS, PROBE_STAGES, PROBE_WARM, ProbeError, RECEIPT_PREFIX, RECEIPT_SEPARATOR, RUNTIME_PLUGIN, TYPE_MIRROR, computeReceipt, createDestroyedError, formatCheck, formatIssue, formatProof, formatReceipt, formatSpecification, formatVerdict, isCase, isCheck, isClaim, isControl, isDraft, isIssue, isParty, isProbeError, isProject, isStage, isToolchain, isVerdict, matchesSpecification };
+export { CASE_SHAPE, CLAIM_SHAPE, CONTROL_SHAPE, DRAFT_SHAPE, LINT_DEADLINE, LINT_TEARDOWN, PROBE_DEADLINE, PROBE_ERROR_CODES, PROBE_KEYS, PROBE_PARTIES, PROBE_RESTARTS, PROBE_SPECIFICATIONS, PROBE_STAGES, PROBE_WARM, ProbeError, RECEIPT_PREFIX, RECEIPT_SEPARATOR, RUNTIME_PLUGIN, TYPE_MIRROR, computeReceipt, createDestroyedError, formatIssue, formatProof, formatReceipt, formatSpecification, formatStageResult, formatVerdict, isCase, isClaim, isControl, isDraft, isIssue, isParty, isProbeError, isProject, isStage, isStageResult, isToolchain, isVerdict, matchesSpecification };
 
 //# sourceMappingURL=index.js.map