@agent-inspect/vitest 6.26.0 → 6.27.0

package/dist/index.d.cts

@@ -237,6 +237,61 @@ interface TraceContractControlRules {
     }>;
 }
 
+/**
+ * Bounded safe recovery operation contracts (6.27).
+ *
+ * Additive `retry.operations[]` rules for read-first recovery oracles.
+ * AgentInspect evaluates traces; it does not perform retries.
+ *
+ * @experimental
+ */
+
+/** How same-argument evidence may be compared across attempts. */
+type RecoverySameArgumentsMode = "structured-or-digest";
+/**
+ * Side-effect class for conservative write recovery semantics.
+ * Read-only tools may recover without write idempotency proof.
+ * Write tools treat timeout/unknown completion as fail/unevaluable
+ * unless authoritative idempotency evidence is present.
+ */
+type RecoverySideEffectClass = "read" | "write";
+interface TraceContractRecoveryRetryableErrors {
+    /** Allowed error codes on failed attempts that precede a retry. */
+    codes?: readonly string[];
+}
+interface TraceContractRecoverySuccessfulResultDependency {
+    /** Consumer kind that must observe the successful tool result. */
+    consumerKind: "LLM";
+    /**
+     * When true, an LLM event must explicitly reference the successful tool
+     * event id (attributes / workflow metadata), not merely follow it in time.
+     */
+    requireExplicitReference?: boolean;
+}
+/**
+ * Per-tool bounded recovery oracle (additive under `retry.operations`).
+ *
+ * @experimental Additive in 6.27.
+ */
+interface TraceContractRecoveryOperation {
+    tool: string;
+    maxAttempts?: number;
+    retryableErrors?: TraceContractRecoveryRetryableErrors;
+    requireFailureBeforeRetry?: boolean;
+    /**
+     * When true or `"structured-or-digest"`, retries must share structured
+     * arguments or matching digests. Missing evidence fails closed.
+     */
+    requireSameArguments?: boolean | RecoverySameArgumentsMode;
+    requireTerminalSuccess?: boolean;
+    requireRecoveredFailureVisible?: boolean;
+    successfulResultDependency?: TraceContractRecoverySuccessfulResultDependency;
+    /**
+     * Defaults to `"read"`. Write tools apply conservative timeout/unknown rules.
+     */
+    sideEffectClass?: RecoverySideEffectClass;
+}
+
 /**
  * Retry / side-effect safety checks for TraceContract (6.23+; corrected in 6.25.1).
  *
@@ -278,6 +333,12 @@ interface TraceContractRetryRules {
      * same operation/retry chain (not merely coexistence of ok+error).
      */
     requireRecoveredFailureVisible?: boolean;
+    /**
+     * Per-tool bounded recovery oracles (read-first; write timeout/unknown fails closed).
+     *
+     * @experimental Additive in 6.27.
+     */
+    operations?: readonly TraceContractRecoveryOperation[];
 }
 
 type ToolArgumentOperator = "exists" | "type" | "equals" | "oneOf";
@@ -450,8 +511,9 @@ type TraceContractBody = {
     controls?: TraceContractControlRules;
     /**
      * Retry / side-effect safety using explicit attempt identity.
+     * Additive `retry.operations[]` recovery oracles land in 6.27.
      *
-     * @experimental Additive in 6.23.
+     * @experimental Additive in 6.23; operations in 6.27.
      */
     retry?: TraceContractRetryRules;
 };

package/dist/index.d.ts

@@ -237,6 +237,61 @@ interface TraceContractControlRules {
     }>;
 }
 
+/**
+ * Bounded safe recovery operation contracts (6.27).
+ *
+ * Additive `retry.operations[]` rules for read-first recovery oracles.
+ * AgentInspect evaluates traces; it does not perform retries.
+ *
+ * @experimental
+ */
+
+/** How same-argument evidence may be compared across attempts. */
+type RecoverySameArgumentsMode = "structured-or-digest";
+/**
+ * Side-effect class for conservative write recovery semantics.
+ * Read-only tools may recover without write idempotency proof.
+ * Write tools treat timeout/unknown completion as fail/unevaluable
+ * unless authoritative idempotency evidence is present.
+ */
+type RecoverySideEffectClass = "read" | "write";
+interface TraceContractRecoveryRetryableErrors {
+    /** Allowed error codes on failed attempts that precede a retry. */
+    codes?: readonly string[];
+}
+interface TraceContractRecoverySuccessfulResultDependency {
+    /** Consumer kind that must observe the successful tool result. */
+    consumerKind: "LLM";
+    /**
+     * When true, an LLM event must explicitly reference the successful tool
+     * event id (attributes / workflow metadata), not merely follow it in time.
+     */
+    requireExplicitReference?: boolean;
+}
+/**
+ * Per-tool bounded recovery oracle (additive under `retry.operations`).
+ *
+ * @experimental Additive in 6.27.
+ */
+interface TraceContractRecoveryOperation {
+    tool: string;
+    maxAttempts?: number;
+    retryableErrors?: TraceContractRecoveryRetryableErrors;
+    requireFailureBeforeRetry?: boolean;
+    /**
+     * When true or `"structured-or-digest"`, retries must share structured
+     * arguments or matching digests. Missing evidence fails closed.
+     */
+    requireSameArguments?: boolean | RecoverySameArgumentsMode;
+    requireTerminalSuccess?: boolean;
+    requireRecoveredFailureVisible?: boolean;
+    successfulResultDependency?: TraceContractRecoverySuccessfulResultDependency;
+    /**
+     * Defaults to `"read"`. Write tools apply conservative timeout/unknown rules.
+     */
+    sideEffectClass?: RecoverySideEffectClass;
+}
+
 /**
  * Retry / side-effect safety checks for TraceContract (6.23+; corrected in 6.25.1).
  *
@@ -278,6 +333,12 @@ interface TraceContractRetryRules {
      * same operation/retry chain (not merely coexistence of ok+error).
      */
     requireRecoveredFailureVisible?: boolean;
+    /**
+     * Per-tool bounded recovery oracles (read-first; write timeout/unknown fails closed).
+     *
+     * @experimental Additive in 6.27.
+     */
+    operations?: readonly TraceContractRecoveryOperation[];
 }
 
 type ToolArgumentOperator = "exists" | "type" | "equals" | "oneOf";
@@ -450,8 +511,9 @@ type TraceContractBody = {
     controls?: TraceContractControlRules;
     /**
      * Retry / side-effect safety using explicit attempt identity.
+     * Additive `retry.operations[]` recovery oracles land in 6.27.
      *
-     * @experimental Additive in 6.23.
+     * @experimental Additive in 6.23; operations in 6.27.
      */
     retry?: TraceContractRetryRules;
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agent-inspect/vitest",
-  "version": "6.26.0",
+  "version": "6.27.0",
   "license": "MIT",
   "type": "module",
   "description": "Vitest reporter and experimental TraceContract matchers for AgentInspect local evidence",
@@ -37,7 +37,7 @@
     "vitest": "^2.1.0 || ^3.2.6"
   },
   "dependencies": {
-    "agent-inspect": "6.26.0"
+    "agent-inspect": "6.27.0"
   },
   "devDependencies": {
     "vitest": "^3.2.7"