@agent-inspect/vitest 6.30.0 → 6.31.0

package/dist/index.d.cts

@@ -447,6 +447,55 @@ interface TraceContractLlmRules {
     maxTotalTokens?: number;
     allowedModels?: string[];
 }
+/**
+ * Explicit TOOL or LLM step endpoint for typed cross-kind ordering.
+ *
+ * @experimental Additive in 6.31.
+ */
+type TraceContractStepKind = "TOOL" | "LLM";
+/**
+ * Named step endpoint with an explicit event kind.
+ *
+ * @experimental Additive in 6.31.
+ */
+interface TraceContractStepRef {
+    kind: TraceContractStepKind;
+    name: string;
+}
+/**
+ * One typed before/after ordering relation across TOOL and/or LLM steps.
+ *
+ * Unlike `tools.requiredOrder` / `orderRules`, endpoints are kind-qualified so
+ * an LLM named `generate_answer` does not satisfy a TOOL endpoint (and vice versa).
+ *
+ * @experimental Additive in 6.31.
+ */
+interface TraceContractStepOrderRelation {
+    before: TraceContractStepRef;
+    after: TraceContractStepRef;
+    /**
+     * Ordering semantics for this pair.
+     *
+     * @defaultValue `"first-occurrence"`
+     */
+    mode?: "first-occurrence" | "happens-before" | "all-occurrences";
+    /**
+     * When true (default), missing endpoints of the declared kind fail.
+     * Wrong-kind same-name events do not satisfy the endpoint.
+     *
+     * @defaultValue `true`
+     */
+    requireEndpoints?: boolean;
+}
+/**
+ * Cross-kind step ordering (TOOL ↔ LLM). Does not change TOOL-only
+ * `tools.requiredOrder` / `orderRules` semantics.
+ *
+ * @experimental Additive in 6.31.
+ */
+interface TraceContractStepRules {
+    orderRelations?: TraceContractStepOrderRelation[];
+}
 /**
  * Structural provenance requirements for named observed outcomes (#321).
  *
@@ -507,6 +556,12 @@ type TraceContractBody = {
     run?: TraceContractRunRules;
     tools?: TraceContractToolRules;
     llm?: TraceContractLlmRules;
+    /**
+     * Typed cross-kind step ordering (TOOL / LLM endpoints).
+     *
+     * @experimental Additive in 6.31.
+     */
+    steps?: TraceContractStepRules;
     observations?: TraceContractObservationRules;
     /**
      * Declared-versus-enforced control invariants.

package/dist/index.d.ts

@@ -447,6 +447,55 @@ interface TraceContractLlmRules {
     maxTotalTokens?: number;
     allowedModels?: string[];
 }
+/**
+ * Explicit TOOL or LLM step endpoint for typed cross-kind ordering.
+ *
+ * @experimental Additive in 6.31.
+ */
+type TraceContractStepKind = "TOOL" | "LLM";
+/**
+ * Named step endpoint with an explicit event kind.
+ *
+ * @experimental Additive in 6.31.
+ */
+interface TraceContractStepRef {
+    kind: TraceContractStepKind;
+    name: string;
+}
+/**
+ * One typed before/after ordering relation across TOOL and/or LLM steps.
+ *
+ * Unlike `tools.requiredOrder` / `orderRules`, endpoints are kind-qualified so
+ * an LLM named `generate_answer` does not satisfy a TOOL endpoint (and vice versa).
+ *
+ * @experimental Additive in 6.31.
+ */
+interface TraceContractStepOrderRelation {
+    before: TraceContractStepRef;
+    after: TraceContractStepRef;
+    /**
+     * Ordering semantics for this pair.
+     *
+     * @defaultValue `"first-occurrence"`
+     */
+    mode?: "first-occurrence" | "happens-before" | "all-occurrences";
+    /**
+     * When true (default), missing endpoints of the declared kind fail.
+     * Wrong-kind same-name events do not satisfy the endpoint.
+     *
+     * @defaultValue `true`
+     */
+    requireEndpoints?: boolean;
+}
+/**
+ * Cross-kind step ordering (TOOL ↔ LLM). Does not change TOOL-only
+ * `tools.requiredOrder` / `orderRules` semantics.
+ *
+ * @experimental Additive in 6.31.
+ */
+interface TraceContractStepRules {
+    orderRelations?: TraceContractStepOrderRelation[];
+}
 /**
  * Structural provenance requirements for named observed outcomes (#321).
  *
@@ -507,6 +556,12 @@ type TraceContractBody = {
     run?: TraceContractRunRules;
     tools?: TraceContractToolRules;
     llm?: TraceContractLlmRules;
+    /**
+     * Typed cross-kind step ordering (TOOL / LLM endpoints).
+     *
+     * @experimental Additive in 6.31.
+     */
+    steps?: TraceContractStepRules;
     observations?: TraceContractObservationRules;
     /**
      * Declared-versus-enforced control invariants.

package/package.json

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