@agent-inspect/jest 6.20.0 → 6.21.0

package/dist/index.d.cts

@@ -170,6 +170,24 @@ interface TraceReadResult {
     sourceFiles: string[];
 }
 
+/**
+ * Explicit actor/run projection for TraceContract evaluation (#320).
+ *
+ * Selectors use only declared metadata (or explicit event ids). Zero matches
+ * and singular-actor ambiguity fail closed. No timestamp or display-name
+ * inference.
+ *
+ * @experimental
+ */
+interface TraceContractScope {
+    runId?: string;
+    subAgentId?: string;
+    groupId?: string;
+    workflowStep?: string;
+    /** Explicit root event id; evaluation projects to that event and descendants. */
+    rootEventId?: string;
+}
+
 /**
  * @experimental Typed trace contract input. Evolves during v6.5.x.
  */
@@ -230,9 +248,35 @@ interface TraceContractLlmRules {
     maxTotalTokens?: number;
     allowedModels?: string[];
 }
+/**
+ * Structural provenance requirements for named observed outcomes (#321).
+ *
+ * These checks prove method/evidence linkage was recorded. They do **not**
+ * prove the claim is semantically true, authorized, complete, or externally
+ * trusted.
+ *
+ * @experimental
+ */
+interface TraceContractObservationProvenance {
+    /** Require a non-empty method from the bounded ObservedOutcomeMethod vocabulary. */
+    method?: boolean;
+    /**
+     * Require bounded evidence references. Supported shapes:
+     * `string` event id, `{ eventId }`, or `{ eventIds: string[] }` (max 16 ids).
+     */
+    evidence?: boolean;
+    /** When true with evidence, each referenced event id must exist in the same run. */
+    sameRunEventReference?: boolean;
+}
 interface TraceContractObservationRules {
     required?: string[];
     failOn?: Array<"failed" | "unknown" | "skipped">;
+    /**
+     * Structural provenance gates for `required` observation names.
+     *
+     * @experimental
+     */
+    requireProvenance?: TraceContractObservationProvenance;
 }
 /**
  * One deterministic alternate path. Branch contracts are one level only —
@@ -267,6 +311,12 @@ type TraceContractBody = {
     observations?: TraceContractObservationRules;
 };
 interface TraceContractInput extends TraceContractBody {
+    /**
+     * Optional actor/run projection applied before evaluation (#320).
+     *
+     * @experimental
+     */
+    scope?: TraceContractScope;
     alternatives?: TraceContractAlternatives;
 }
 

package/dist/index.d.ts

@@ -170,6 +170,24 @@ interface TraceReadResult {
     sourceFiles: string[];
 }
 
+/**
+ * Explicit actor/run projection for TraceContract evaluation (#320).
+ *
+ * Selectors use only declared metadata (or explicit event ids). Zero matches
+ * and singular-actor ambiguity fail closed. No timestamp or display-name
+ * inference.
+ *
+ * @experimental
+ */
+interface TraceContractScope {
+    runId?: string;
+    subAgentId?: string;
+    groupId?: string;
+    workflowStep?: string;
+    /** Explicit root event id; evaluation projects to that event and descendants. */
+    rootEventId?: string;
+}
+
 /**
  * @experimental Typed trace contract input. Evolves during v6.5.x.
  */
@@ -230,9 +248,35 @@ interface TraceContractLlmRules {
     maxTotalTokens?: number;
     allowedModels?: string[];
 }
+/**
+ * Structural provenance requirements for named observed outcomes (#321).
+ *
+ * These checks prove method/evidence linkage was recorded. They do **not**
+ * prove the claim is semantically true, authorized, complete, or externally
+ * trusted.
+ *
+ * @experimental
+ */
+interface TraceContractObservationProvenance {
+    /** Require a non-empty method from the bounded ObservedOutcomeMethod vocabulary. */
+    method?: boolean;
+    /**
+     * Require bounded evidence references. Supported shapes:
+     * `string` event id, `{ eventId }`, or `{ eventIds: string[] }` (max 16 ids).
+     */
+    evidence?: boolean;
+    /** When true with evidence, each referenced event id must exist in the same run. */
+    sameRunEventReference?: boolean;
+}
 interface TraceContractObservationRules {
     required?: string[];
     failOn?: Array<"failed" | "unknown" | "skipped">;
+    /**
+     * Structural provenance gates for `required` observation names.
+     *
+     * @experimental
+     */
+    requireProvenance?: TraceContractObservationProvenance;
 }
 /**
  * One deterministic alternate path. Branch contracts are one level only —
@@ -267,6 +311,12 @@ type TraceContractBody = {
     observations?: TraceContractObservationRules;
 };
 interface TraceContractInput extends TraceContractBody {
+    /**
+     * Optional actor/run projection applied before evaluation (#320).
+     *
+     * @experimental
+     */
+    scope?: TraceContractScope;
     alternatives?: TraceContractAlternatives;
 }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agent-inspect/jest",
-  "version": "6.20.0",
+  "version": "6.21.0",
   "license": "MIT",
   "type": "module",
   "description": "Jest reporter and experimental TraceContract matchers for AgentInspect local evidence",
@@ -42,7 +42,7 @@
     }
   },
   "dependencies": {
-    "agent-inspect": "6.20.0"
+    "agent-inspect": "6.21.0"
   },
   "devDependencies": {
     "jest": "^30.2.0"