@agent-inspect/vitest 6.17.4 → 6.17.5

package/dist/index.d.cts

@@ -179,6 +179,13 @@ interface TraceContractRunRules {
     maxDurationMs?: number;
 }
 interface TraceContractToolRules {
+    /**
+     * Unconditional tool presence invariant. Every named tool must appear at least
+     * once. Do not use for cache-hit or alternate-path shortcuts — prefer
+     * `observations.required` until `alternatives.anyOf` ships (planned 6.20.0).
+     *
+     * @see docs/TRACE-CONTRACTS.md
+     */
     required?: string[];
     /** Alias of `required` (TraceContract v2 normalization). */
     requiredTools?: string[];
@@ -187,6 +194,25 @@ interface TraceContractToolRules {
     forbiddenTools?: string[];
     allowed?: string[];
     maxCalls?: number;
+    /**
+     * Required tool order as adjacent first-occurrence pairs (start/encounter order).
+     *
+     * `[A, B, C]` expands to “A before B” and “B before C”, each comparing the
+     * first occurrence of the named tool. Unlisted intermediate tools are
+     * allowed. Later repetitions do not invalidate an earlier valid order.
+     *
+     * TraceContract `requiredOrder` **implies presence**: every listed name is
+     * added to the effective required-tool set. Low-level `createToolOrderingRule`
+     * alone may still pass vacuously when an endpoint is missing.
+     *
+     * This is **not** causal happens-before. Overlapping intervals emit a
+     * non-failing overlap warning. Planned modes (6.20.0, GitHub #308):
+     * `happens-before`, `all-occurrences`.
+     *
+     * @see docs/TRACE-CONTRACTS.md
+     * @beta Available through `agent-inspect/checks`. Additive changes may ship
+     * in minor releases; breaking changes require a future major.
+     */
     requiredOrder?: string[];
 }
 interface TraceContractLlmRules {
@@ -212,8 +238,7 @@ interface TraceContractInput {
  * already-normalized `TraceReadResult`. The checks engine does not read files
  * or reparse source payloads.
  *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
+ * @experimental  Available through `agent-inspect/checks`. Additive changes may ship in minor releases; breaking changes require a future major.
  */
 interface TraceCheckInput {
     read: TraceReadResult;

package/dist/index.d.ts

@@ -179,6 +179,13 @@ interface TraceContractRunRules {
     maxDurationMs?: number;
 }
 interface TraceContractToolRules {
+    /**
+     * Unconditional tool presence invariant. Every named tool must appear at least
+     * once. Do not use for cache-hit or alternate-path shortcuts — prefer
+     * `observations.required` until `alternatives.anyOf` ships (planned 6.20.0).
+     *
+     * @see docs/TRACE-CONTRACTS.md
+     */
     required?: string[];
     /** Alias of `required` (TraceContract v2 normalization). */
     requiredTools?: string[];
@@ -187,6 +194,25 @@ interface TraceContractToolRules {
     forbiddenTools?: string[];
     allowed?: string[];
     maxCalls?: number;
+    /**
+     * Required tool order as adjacent first-occurrence pairs (start/encounter order).
+     *
+     * `[A, B, C]` expands to “A before B” and “B before C”, each comparing the
+     * first occurrence of the named tool. Unlisted intermediate tools are
+     * allowed. Later repetitions do not invalidate an earlier valid order.
+     *
+     * TraceContract `requiredOrder` **implies presence**: every listed name is
+     * added to the effective required-tool set. Low-level `createToolOrderingRule`
+     * alone may still pass vacuously when an endpoint is missing.
+     *
+     * This is **not** causal happens-before. Overlapping intervals emit a
+     * non-failing overlap warning. Planned modes (6.20.0, GitHub #308):
+     * `happens-before`, `all-occurrences`.
+     *
+     * @see docs/TRACE-CONTRACTS.md
+     * @beta Available through `agent-inspect/checks`. Additive changes may ship
+     * in minor releases; breaking changes require a future major.
+     */
     requiredOrder?: string[];
 }
 interface TraceContractLlmRules {
@@ -212,8 +238,7 @@ interface TraceContractInput {
  * already-normalized `TraceReadResult`. The checks engine does not read files
  * or reparse source payloads.
  *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
+ * @experimental  Available through `agent-inspect/checks`. Additive changes may ship in minor releases; breaking changes require a future major.
  */
 interface TraceCheckInput {
     read: TraceReadResult;

package/package.json

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