@orkestrel/probe 0.0.25 → 0.0.27

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.
  *
@@ -172,8 +151,6 @@ text: StringShape;
 }, false>;
 }, false>;
 control: ObjectShape<    {
-stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
-reason: StringShape;
 files: ArrayShape<ObjectShape<    {
 path: StringShape;
 text: StringShape;
@@ -182,6 +159,8 @@ test: ObjectShape<    {
 path: StringShape;
 text: StringShape;
 }, false>;
+stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
+reason: StringShape;
 }, false>;
 }, false>;
 
@@ -189,8 +168,8 @@ text: 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 @@ text: 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
  *
@@ -276,8 +255,6 @@ export declare interface Control extends Case {
  * ```
  */
 export declare const CONTROL_SHAPE: ObjectShape<    {
-stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
-reason: StringShape;
 files: ArrayShape<ObjectShape<    {
 path: StringShape;
 text: StringShape;
@@ -286,6 +263,8 @@ test: ObjectShape<    {
 path: StringShape;
 text: StringShape;
 }, false>;
+stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
+reason: StringShape;
 }, false>;
 
 /**
@@ -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.
  *
@@ -617,12 +583,11 @@ export declare const isParty: Guard<Party>;
  * Checks whether an unknown value is a {@link ProbeError}.
  *
  * @remarks
- * Recognition combines the global own-property brand with the native `Error` base, the subclass
- * prototype, the fixed name, a party {@link PROBE_PARTIES} declares, and a condition
- * {@link PROBE_ERROR_CODES} declares. The brand carries recognition across duplicate installations
- * and across an ESM and a CommonJS copy of this package, where the two classes are different values.
- * A plain `Error`, a property-only lookalike, and a branded value carrying an undeclared origin or
- * condition all stay outside the type.
+ * Recognition requires the native `Error` base, a non-base prototype, an own global brand holding
+ * the error itself, a declared party and condition, and context members of their declared types.
+ * The brand carries recognition across duplicate installations and module formats. A subclass may
+ * replace `name`. A transparent proxy, a plain `Error`, a property-only lookalike, and an error with
+ * invalid members stay outside the type.
  *
  * @param value - The value to inspect
  * @returns True if the value is a `ProbeError` instance; false otherwise
@@ -667,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
@@ -738,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
@@ -1146,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
      */
@@ -1285,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.
  *
@@ -1342,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
@@ -1401,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.
  *
@@ -172,8 +151,6 @@ text: StringShape;
 }, false>;
 }, false>;
 control: ObjectShape<    {
-stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
-reason: StringShape;
 files: ArrayShape<ObjectShape<    {
 path: StringShape;
 text: StringShape;
@@ -182,6 +159,8 @@ test: ObjectShape<    {
 path: StringShape;
 text: StringShape;
 }, false>;
+stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
+reason: StringShape;
 }, false>;
 }, false>;
 
@@ -189,8 +168,8 @@ text: 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 @@ text: 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
  *
@@ -276,8 +255,6 @@ export declare interface Control extends Case {
  * ```
  */
 export declare const CONTROL_SHAPE: ObjectShape<    {
-stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
-reason: StringShape;
 files: ArrayShape<ObjectShape<    {
 path: StringShape;
 text: StringShape;
@@ -286,6 +263,8 @@ test: ObjectShape<    {
 path: StringShape;
 text: StringShape;
 }, false>;
+stage: LiteralShape<readonly ["type", "lint", "runtime"]>;
+reason: StringShape;
 }, false>;
 
 /**
@@ -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.
  *
@@ -617,12 +583,11 @@ export declare const isParty: Guard<Party>;
  * Checks whether an unknown value is a {@link ProbeError}.
  *
  * @remarks
- * Recognition combines the global own-property brand with the native `Error` base, the subclass
- * prototype, the fixed name, a party {@link PROBE_PARTIES} declares, and a condition
- * {@link PROBE_ERROR_CODES} declares. The brand carries recognition across duplicate installations
- * and across an ESM and a CommonJS copy of this package, where the two classes are different values.
- * A plain `Error`, a property-only lookalike, and a branded value carrying an undeclared origin or
- * condition all stay outside the type.
+ * Recognition requires the native `Error` base, a non-base prototype, an own global brand holding
+ * the error itself, a declared party and condition, and context members of their declared types.
+ * The brand carries recognition across duplicate installations and module formats. A subclass may
+ * replace `name`. A transparent proxy, a plain `Error`, a property-only lookalike, and an error with
+ * invalid members stay outside the type.
  *
  * @param value - The value to inspect
  * @returns True if the value is a `ProbeError` instance; false otherwise
@@ -667,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
@@ -738,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
@@ -1146,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
      */
@@ -1285,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.
  *
@@ -1342,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
@@ -1401,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. */