agent-inspect 6.20.0 → 6.21.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (48) hide show
  1. package/CHANGELOG.md +6 -0
  2. package/README.md +1 -1
  3. package/docs/TRACE-CONTRACTS.md +39 -0
  4. package/package.json +1 -1
  5. package/packages/cli/dist/{chunk-QPRJUVLH.mjs → chunk-CRUHIL5J.mjs} +16 -2
  6. package/packages/cli/dist/chunk-CRUHIL5J.mjs.map +1 -0
  7. package/packages/cli/dist/index.cjs +22 -3
  8. package/packages/cli/dist/index.cjs.map +1 -1
  9. package/packages/cli/dist/index.mjs +4 -4
  10. package/packages/cli/dist/index.mjs.map +1 -1
  11. package/packages/cli/dist/{src-6W5ZR3I7.mjs → src-MNJFYW3W.mjs} +3 -3
  12. package/packages/cli/dist/{src-6W5ZR3I7.mjs.map → src-MNJFYW3W.mjs.map} +1 -1
  13. package/packages/core/dist/advanced.cjs +3 -0
  14. package/packages/core/dist/advanced.cjs.map +1 -1
  15. package/packages/core/dist/advanced.d.cts +6 -156
  16. package/packages/core/dist/advanced.d.ts +6 -156
  17. package/packages/core/dist/advanced.mjs +6 -60
  18. package/packages/core/dist/advanced.mjs.map +1 -1
  19. package/packages/core/dist/checks.cjs +558 -25
  20. package/packages/core/dist/checks.cjs.map +1 -1
  21. package/packages/core/dist/checks.d.cts +81 -3
  22. package/packages/core/dist/checks.d.ts +81 -3
  23. package/packages/core/dist/checks.mjs +2 -2
  24. package/packages/core/dist/{chunk-G47KQB42.mjs → chunk-43SHIPZM.mjs} +556 -29
  25. package/packages/core/dist/chunk-43SHIPZM.mjs.map +1 -0
  26. package/packages/core/dist/{chunk-3XS5O4JI.mjs → chunk-R4SSYU6D.mjs} +3 -3
  27. package/packages/core/dist/chunk-R4SSYU6D.mjs.map +1 -0
  28. package/packages/core/dist/{chunk-5YFJJFXU.mjs → chunk-WGDSM37E.mjs} +3 -3
  29. package/packages/core/dist/{chunk-5YFJJFXU.mjs.map → chunk-WGDSM37E.mjs.map} +1 -1
  30. package/packages/core/dist/{context-C5ye_xcS.d.cts → context-DOOT9GZ-.d.cts} +1 -1
  31. package/packages/core/dist/{context-CNsNSgE2.d.ts → context-DOX2-RjH.d.ts} +1 -1
  32. package/packages/core/dist/diff.d.cts +1 -1
  33. package/packages/core/dist/diff.d.ts +1 -1
  34. package/packages/core/dist/exporters.d.cts +1 -1
  35. package/packages/core/dist/exporters.d.ts +1 -1
  36. package/packages/core/dist/exporters.mjs +1 -1
  37. package/packages/core/dist/{index-rVpX5PPh.d.cts → index-BG-ZBESI.d.cts} +153 -1
  38. package/packages/core/dist/{index-Bg9ZdsdS.d.ts → index-xevIlqdd.d.ts} +153 -1
  39. package/packages/core/dist/index.d.cts +3 -3
  40. package/packages/core/dist/index.d.ts +3 -3
  41. package/packages/core/dist/index.mjs +3 -3
  42. package/packages/core/dist/persisted.d.cts +1 -1
  43. package/packages/core/dist/persisted.d.ts +1 -1
  44. package/packages/core/dist/{types--ainI31J.d.ts → types-Bx3mEZ04.d.ts} +1 -1
  45. package/packages/core/dist/{types-UnrNaTo2.d.cts → types-VzKihKQo.d.cts} +1 -1
  46. package/packages/cli/dist/chunk-QPRJUVLH.mjs.map +0 -1
  47. package/packages/core/dist/chunk-3XS5O4JI.mjs.map +0 -1
  48. package/packages/core/dist/chunk-G47KQB42.mjs.map +0 -1
@@ -1,8 +1,10 @@
1
- import { L as LogicalTraceEvent, a as LogicalProjectionDiagnostic, T as TraceCheckInput, b as TraceCheckResult } from './index-rVpX5PPh.cjs';
2
- export { B as BaselineRegressionRuleOptions, D as DecisionRuleOptions, G as GuardrailRuleOptions, c as LlmUsageRuleOptions, M as MaxStepDurationRuleOptions, O as ObservedOutcomeRuleOptions, R as RetrievalRuleOptions, d as RunDepthRuleOptions, e as RunDurationRuleOptions, f as RunEventCountRuleOptions, g as RunStatusRuleOptions, h as RunTraceChecksOptions, S as SafetyFindingCategory, i as SafetyFindingConfidence, j as SafetyOversizedAttributeRuleOptions, k as SafetyRawContentRuleOptions, l as SafetyRedactionRuleOptions, m as SafetySecretPattern, n as SafetySecretPatternRuleOptions, o as StallDetectionRuleOptions, p as StructureIncompleteRuleOptions, q as StructureOrphanRuleOptions, r as StructureParallelWidthRuleOptions, s as StructureRelationshipRuleOptions, t as ToolFailureRuleOptions, u as ToolOrderingRuleOptions, v as ToolUsageRuleOptions, w as TraceCheckContext, x as TraceCheckDiagnostic, y as TraceCheckDiagnosticCode, z as TraceCheckEvidence, A as TraceCheckFacts, C as TraceCheckFinding, E as TraceCheckFindingStatus, F as TraceCheckRule, H as TraceCheckRuleCategory, I as TraceCheckRuleExecution, J as TraceCheckRuleExecutionStatus, K as TraceCheckSeverity, N as TraceCheckStatus, P as TraceCheckSummary, Q as TraceSignalRuleOptions, U as createBaselineRegressionRule, V as createDecisionRule, W as createGuardrailRule, X as createLlmUsageRule, Y as createMaxStepDurationRule, Z as createObservedOutcomeRule, _ as createRequireCompletedRule, $ as createRetrievalRule, a0 as createRunDepthRule, a1 as createRunDurationRule, a2 as createRunEventCountRule, a3 as createRunStatusRule, a4 as createSafetyOversizedAttributeRule, a5 as createSafetyRawContentRule, a6 as createSafetyRedactionRule, a7 as createSafetySecretPatternRule, a8 as createStallDetectionRule, a9 as createStructureCycleRule, aa as createStructureIncompleteRule, ab as createStructureOrphanRule, ac as createStructureParallelWidthRule, ad as createStructureRelationshipRule, ae as createToolFailureRule, af as createToolOrderingRule, ag as createToolUsageRule, ah as projectLogicalEvents, ai as resolveCanonicalToolName, aj as runTraceChecks } from './index-rVpX5PPh.cjs';
1
+ import { L as LogicalTraceEvent, a as LogicalProjectionDiagnostic, T as TraceCheckInput, b as TraceCheckDiagnostic, S as SessionWorkflowMetadata, c as TraceCheckResult } from './index-BG-ZBESI.cjs';
2
+ export { B as BaselineRegressionRuleOptions, D as DecisionRuleOptions, G as GuardrailRuleOptions, d as LlmUsageRuleOptions, M as MaxStepDurationRuleOptions, O as ObservedOutcomeRuleOptions, R as RetrievalRuleOptions, e as RunDepthRuleOptions, f as RunDurationRuleOptions, g as RunEventCountRuleOptions, h as RunStatusRuleOptions, i as RunTraceChecksOptions, j as SafetyFindingCategory, k as SafetyFindingConfidence, l as SafetyOversizedAttributeRuleOptions, m as SafetyRawContentRuleOptions, n as SafetyRedactionRuleOptions, o as SafetySecretPattern, p as SafetySecretPatternRuleOptions, q as StallDetectionRuleOptions, r as StructureIncompleteRuleOptions, s as StructureOrphanRuleOptions, t as StructureParallelWidthRuleOptions, u as StructureRelationshipRuleOptions, v as ToolFailureRuleOptions, w as ToolOrderingRuleOptions, x as ToolUsageRuleOptions, y as TraceCheckContext, z as TraceCheckDiagnosticCode, A as TraceCheckEvidence, C as TraceCheckFacts, E as TraceCheckFinding, F as TraceCheckFindingStatus, H as TraceCheckRule, I as TraceCheckRuleCategory, J as TraceCheckRuleExecution, K as TraceCheckRuleExecutionStatus, N as TraceCheckSeverity, P as TraceCheckStatus, Q as TraceCheckSummary, U as TraceSignalRuleOptions, V as createBaselineRegressionRule, W as createDecisionRule, X as createGuardrailRule, Y as createLlmUsageRule, Z as createMaxStepDurationRule, _ as createObservedOutcomeRule, $ as createRequireCompletedRule, a0 as createRetrievalRule, a1 as createRunDepthRule, a2 as createRunDurationRule, a3 as createRunEventCountRule, a4 as createRunStatusRule, a5 as createSafetyOversizedAttributeRule, a6 as createSafetyRawContentRule, a7 as createSafetyRedactionRule, a8 as createSafetySecretPatternRule, a9 as createStallDetectionRule, aa as createStructureCycleRule, ab as createStructureIncompleteRule, ac as createStructureOrphanRule, ad as createStructureParallelWidthRule, ae as createStructureRelationshipRule, af as createToolFailureRule, ag as createToolOrderingRule, ah as createToolUsageRule, ai as projectLogicalEvents, aj as resolveCanonicalToolName, ak as runTraceChecks } from './index-BG-ZBESI.cjs';
3
3
  export { PROGRAMMATIC_DIAGNOSTIC_SPECS, ProgrammaticDiagnosticCode, ProgrammaticDiagnosticSpec, formatProgrammaticDiagnostic } from './readers.cjs';
4
4
  import { a as TraceReadResult } from './index-vqr-g6ev.cjs';
5
5
  import { P as PersistedInspectEvent } from './persisted-inspect-event-CVZWZldL.cjs';
6
+ import './types-VzKihKQo.cjs';
7
+ import './log-config-CFlIJHTf.cjs';
6
8
  import './inspect-event-DRthdZlf.cjs';
7
9
  import './types-B562HgN_.cjs';
8
10
 
@@ -134,6 +136,44 @@ interface TraceFacts {
134
136
  declare function buildTraceFacts(input: TraceReadResult): TraceFacts;
135
137
  declare function buildTraceFacts(input: readonly PersistedInspectEvent[]): TraceFacts;
136
138
 
139
+ /**
140
+ * Explicit actor/run projection for TraceContract evaluation (#320).
141
+ *
142
+ * Selectors use only declared metadata (or explicit event ids). Zero matches
143
+ * and singular-actor ambiguity fail closed. No timestamp or display-name
144
+ * inference.
145
+ *
146
+ * @experimental
147
+ */
148
+ interface TraceContractScope {
149
+ runId?: string;
150
+ subAgentId?: string;
151
+ groupId?: string;
152
+ workflowStep?: string;
153
+ /** Explicit root event id; evaluation projects to that event and descendants. */
154
+ rootEventId?: string;
155
+ }
156
+ interface ResolvedContractScope {
157
+ runId: string;
158
+ rootEventId?: string;
159
+ matchedSelectors: Record<string, string>;
160
+ evidenceEventCount: number;
161
+ input: TraceCheckInput;
162
+ }
163
+ /**
164
+ * Collect explicit session/workflow metadata for a run from persisted events.
165
+ * Prefers RUN-kind attributes; never invents identity from timestamps.
166
+ */
167
+ declare function workflowMetadataForRun(events: readonly PersistedInspectEvent[], runId: string): SessionWorkflowMetadata;
168
+ /**
169
+ * Resolve TraceContract `scope` against a check input.
170
+ * Returns diagnostics on zero/ambiguous matches or missing root events.
171
+ */
172
+ declare function resolveTraceContractScope(input: TraceCheckInput, scope: TraceContractScope | undefined): {
173
+ resolved?: ResolvedContractScope;
174
+ diagnostics: TraceCheckDiagnostic[];
175
+ };
176
+
137
177
  /**
138
178
  * @experimental Typed trace contract input. Evolves during v6.5.x.
139
179
  */
@@ -194,9 +234,35 @@ interface TraceContractLlmRules {
194
234
  maxTotalTokens?: number;
195
235
  allowedModels?: string[];
196
236
  }
237
+ /**
238
+ * Structural provenance requirements for named observed outcomes (#321).
239
+ *
240
+ * These checks prove method/evidence linkage was recorded. They do **not**
241
+ * prove the claim is semantically true, authorized, complete, or externally
242
+ * trusted.
243
+ *
244
+ * @experimental
245
+ */
246
+ interface TraceContractObservationProvenance {
247
+ /** Require a non-empty method from the bounded ObservedOutcomeMethod vocabulary. */
248
+ method?: boolean;
249
+ /**
250
+ * Require bounded evidence references. Supported shapes:
251
+ * `string` event id, `{ eventId }`, or `{ eventIds: string[] }` (max 16 ids).
252
+ */
253
+ evidence?: boolean;
254
+ /** When true with evidence, each referenced event id must exist in the same run. */
255
+ sameRunEventReference?: boolean;
256
+ }
197
257
  interface TraceContractObservationRules {
198
258
  required?: string[];
199
259
  failOn?: Array<"failed" | "unknown" | "skipped">;
260
+ /**
261
+ * Structural provenance gates for `required` observation names.
262
+ *
263
+ * @experimental
264
+ */
265
+ requireProvenance?: TraceContractObservationProvenance;
200
266
  }
201
267
  /**
202
268
  * One deterministic alternate path. Branch contracts are one level only —
@@ -231,9 +297,21 @@ type TraceContractBody = {
231
297
  observations?: TraceContractObservationRules;
232
298
  };
233
299
  interface TraceContractInput extends TraceContractBody {
300
+ /**
301
+ * Optional actor/run projection applied before evaluation (#320).
302
+ *
303
+ * @experimental
304
+ */
305
+ scope?: TraceContractScope;
234
306
  alternatives?: TraceContractAlternatives;
235
307
  }
236
308
  interface TraceContract extends TraceContractBody {
309
+ /**
310
+ * Optional actor/run projection applied before evaluation (#320).
311
+ *
312
+ * @experimental
313
+ */
314
+ scope?: TraceContractScope;
237
315
  alternatives?: TraceContractAlternatives;
238
316
  }
239
317
  /**
@@ -285,4 +363,4 @@ declare function lintTraceContract(contract: TraceContract): TraceContractLintDi
285
363
  */
286
364
  declare function explainTraceContract(contract: TraceContract): string[];
287
365
 
288
- export { type DerivedFailureConfidence, type DerivedFailureFact, type DerivedFailureRole, type FailureRoleCounts, LogicalProjectionDiagnostic, LogicalTraceEvent, type SemanticParitySummary, TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractAlternativeBranch, type TraceContractAlternatives, type TraceContractBody, type TraceContractInput, type TraceContractLintDiagnostic, type TraceContractLlmRules, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractToolRules, type TraceFacts, buildTraceFacts, defineTraceContract, deriveFailureFacts, evaluateTraceContract, evaluateTraceContractRead, explainTraceContract, lintTraceContract, summarizeSemanticParity };
366
+ export { type DerivedFailureConfidence, type DerivedFailureFact, type DerivedFailureRole, type FailureRoleCounts, LogicalProjectionDiagnostic, LogicalTraceEvent, type SemanticParitySummary, TraceCheckDiagnostic, TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractAlternativeBranch, type TraceContractAlternatives, type TraceContractBody, type TraceContractInput, type TraceContractLintDiagnostic, type TraceContractLlmRules, type TraceContractObservationProvenance, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractScope, type TraceContractToolRules, type TraceFacts, buildTraceFacts, defineTraceContract, deriveFailureFacts, evaluateTraceContract, evaluateTraceContractRead, explainTraceContract, lintTraceContract, resolveTraceContractScope, summarizeSemanticParity, workflowMetadataForRun };
@@ -1,8 +1,10 @@
1
- import { L as LogicalTraceEvent, a as LogicalProjectionDiagnostic, T as TraceCheckInput, b as TraceCheckResult } from './index-Bg9ZdsdS.js';
2
- export { B as BaselineRegressionRuleOptions, D as DecisionRuleOptions, G as GuardrailRuleOptions, c as LlmUsageRuleOptions, M as MaxStepDurationRuleOptions, O as ObservedOutcomeRuleOptions, R as RetrievalRuleOptions, d as RunDepthRuleOptions, e as RunDurationRuleOptions, f as RunEventCountRuleOptions, g as RunStatusRuleOptions, h as RunTraceChecksOptions, S as SafetyFindingCategory, i as SafetyFindingConfidence, j as SafetyOversizedAttributeRuleOptions, k as SafetyRawContentRuleOptions, l as SafetyRedactionRuleOptions, m as SafetySecretPattern, n as SafetySecretPatternRuleOptions, o as StallDetectionRuleOptions, p as StructureIncompleteRuleOptions, q as StructureOrphanRuleOptions, r as StructureParallelWidthRuleOptions, s as StructureRelationshipRuleOptions, t as ToolFailureRuleOptions, u as ToolOrderingRuleOptions, v as ToolUsageRuleOptions, w as TraceCheckContext, x as TraceCheckDiagnostic, y as TraceCheckDiagnosticCode, z as TraceCheckEvidence, A as TraceCheckFacts, C as TraceCheckFinding, E as TraceCheckFindingStatus, F as TraceCheckRule, H as TraceCheckRuleCategory, I as TraceCheckRuleExecution, J as TraceCheckRuleExecutionStatus, K as TraceCheckSeverity, N as TraceCheckStatus, P as TraceCheckSummary, Q as TraceSignalRuleOptions, U as createBaselineRegressionRule, V as createDecisionRule, W as createGuardrailRule, X as createLlmUsageRule, Y as createMaxStepDurationRule, Z as createObservedOutcomeRule, _ as createRequireCompletedRule, $ as createRetrievalRule, a0 as createRunDepthRule, a1 as createRunDurationRule, a2 as createRunEventCountRule, a3 as createRunStatusRule, a4 as createSafetyOversizedAttributeRule, a5 as createSafetyRawContentRule, a6 as createSafetyRedactionRule, a7 as createSafetySecretPatternRule, a8 as createStallDetectionRule, a9 as createStructureCycleRule, aa as createStructureIncompleteRule, ab as createStructureOrphanRule, ac as createStructureParallelWidthRule, ad as createStructureRelationshipRule, ae as createToolFailureRule, af as createToolOrderingRule, ag as createToolUsageRule, ah as projectLogicalEvents, ai as resolveCanonicalToolName, aj as runTraceChecks } from './index-Bg9ZdsdS.js';
1
+ import { L as LogicalTraceEvent, a as LogicalProjectionDiagnostic, T as TraceCheckInput, b as TraceCheckDiagnostic, S as SessionWorkflowMetadata, c as TraceCheckResult } from './index-xevIlqdd.js';
2
+ export { B as BaselineRegressionRuleOptions, D as DecisionRuleOptions, G as GuardrailRuleOptions, d as LlmUsageRuleOptions, M as MaxStepDurationRuleOptions, O as ObservedOutcomeRuleOptions, R as RetrievalRuleOptions, e as RunDepthRuleOptions, f as RunDurationRuleOptions, g as RunEventCountRuleOptions, h as RunStatusRuleOptions, i as RunTraceChecksOptions, j as SafetyFindingCategory, k as SafetyFindingConfidence, l as SafetyOversizedAttributeRuleOptions, m as SafetyRawContentRuleOptions, n as SafetyRedactionRuleOptions, o as SafetySecretPattern, p as SafetySecretPatternRuleOptions, q as StallDetectionRuleOptions, r as StructureIncompleteRuleOptions, s as StructureOrphanRuleOptions, t as StructureParallelWidthRuleOptions, u as StructureRelationshipRuleOptions, v as ToolFailureRuleOptions, w as ToolOrderingRuleOptions, x as ToolUsageRuleOptions, y as TraceCheckContext, z as TraceCheckDiagnosticCode, A as TraceCheckEvidence, C as TraceCheckFacts, E as TraceCheckFinding, F as TraceCheckFindingStatus, H as TraceCheckRule, I as TraceCheckRuleCategory, J as TraceCheckRuleExecution, K as TraceCheckRuleExecutionStatus, N as TraceCheckSeverity, P as TraceCheckStatus, Q as TraceCheckSummary, U as TraceSignalRuleOptions, V as createBaselineRegressionRule, W as createDecisionRule, X as createGuardrailRule, Y as createLlmUsageRule, Z as createMaxStepDurationRule, _ as createObservedOutcomeRule, $ as createRequireCompletedRule, a0 as createRetrievalRule, a1 as createRunDepthRule, a2 as createRunDurationRule, a3 as createRunEventCountRule, a4 as createRunStatusRule, a5 as createSafetyOversizedAttributeRule, a6 as createSafetyRawContentRule, a7 as createSafetyRedactionRule, a8 as createSafetySecretPatternRule, a9 as createStallDetectionRule, aa as createStructureCycleRule, ab as createStructureIncompleteRule, ac as createStructureOrphanRule, ad as createStructureParallelWidthRule, ae as createStructureRelationshipRule, af as createToolFailureRule, ag as createToolOrderingRule, ah as createToolUsageRule, ai as projectLogicalEvents, aj as resolveCanonicalToolName, ak as runTraceChecks } from './index-xevIlqdd.js';
3
3
  export { PROGRAMMATIC_DIAGNOSTIC_SPECS, ProgrammaticDiagnosticCode, ProgrammaticDiagnosticSpec, formatProgrammaticDiagnostic } from './readers.js';
4
4
  import { a as TraceReadResult } from './index-AMAGuO_i.js';
5
5
  import { P as PersistedInspectEvent } from './persisted-inspect-event-BVucFVrP.js';
6
+ import './types-Bx3mEZ04.js';
7
+ import './log-config-OZRfpHED.js';
6
8
  import './inspect-event-DRthdZlf.js';
7
9
  import './types-B562HgN_.js';
8
10
 
@@ -134,6 +136,44 @@ interface TraceFacts {
134
136
  declare function buildTraceFacts(input: TraceReadResult): TraceFacts;
135
137
  declare function buildTraceFacts(input: readonly PersistedInspectEvent[]): TraceFacts;
136
138
 
139
+ /**
140
+ * Explicit actor/run projection for TraceContract evaluation (#320).
141
+ *
142
+ * Selectors use only declared metadata (or explicit event ids). Zero matches
143
+ * and singular-actor ambiguity fail closed. No timestamp or display-name
144
+ * inference.
145
+ *
146
+ * @experimental
147
+ */
148
+ interface TraceContractScope {
149
+ runId?: string;
150
+ subAgentId?: string;
151
+ groupId?: string;
152
+ workflowStep?: string;
153
+ /** Explicit root event id; evaluation projects to that event and descendants. */
154
+ rootEventId?: string;
155
+ }
156
+ interface ResolvedContractScope {
157
+ runId: string;
158
+ rootEventId?: string;
159
+ matchedSelectors: Record<string, string>;
160
+ evidenceEventCount: number;
161
+ input: TraceCheckInput;
162
+ }
163
+ /**
164
+ * Collect explicit session/workflow metadata for a run from persisted events.
165
+ * Prefers RUN-kind attributes; never invents identity from timestamps.
166
+ */
167
+ declare function workflowMetadataForRun(events: readonly PersistedInspectEvent[], runId: string): SessionWorkflowMetadata;
168
+ /**
169
+ * Resolve TraceContract `scope` against a check input.
170
+ * Returns diagnostics on zero/ambiguous matches or missing root events.
171
+ */
172
+ declare function resolveTraceContractScope(input: TraceCheckInput, scope: TraceContractScope | undefined): {
173
+ resolved?: ResolvedContractScope;
174
+ diagnostics: TraceCheckDiagnostic[];
175
+ };
176
+
137
177
  /**
138
178
  * @experimental Typed trace contract input. Evolves during v6.5.x.
139
179
  */
@@ -194,9 +234,35 @@ interface TraceContractLlmRules {
194
234
  maxTotalTokens?: number;
195
235
  allowedModels?: string[];
196
236
  }
237
+ /**
238
+ * Structural provenance requirements for named observed outcomes (#321).
239
+ *
240
+ * These checks prove method/evidence linkage was recorded. They do **not**
241
+ * prove the claim is semantically true, authorized, complete, or externally
242
+ * trusted.
243
+ *
244
+ * @experimental
245
+ */
246
+ interface TraceContractObservationProvenance {
247
+ /** Require a non-empty method from the bounded ObservedOutcomeMethod vocabulary. */
248
+ method?: boolean;
249
+ /**
250
+ * Require bounded evidence references. Supported shapes:
251
+ * `string` event id, `{ eventId }`, or `{ eventIds: string[] }` (max 16 ids).
252
+ */
253
+ evidence?: boolean;
254
+ /** When true with evidence, each referenced event id must exist in the same run. */
255
+ sameRunEventReference?: boolean;
256
+ }
197
257
  interface TraceContractObservationRules {
198
258
  required?: string[];
199
259
  failOn?: Array<"failed" | "unknown" | "skipped">;
260
+ /**
261
+ * Structural provenance gates for `required` observation names.
262
+ *
263
+ * @experimental
264
+ */
265
+ requireProvenance?: TraceContractObservationProvenance;
200
266
  }
201
267
  /**
202
268
  * One deterministic alternate path. Branch contracts are one level only —
@@ -231,9 +297,21 @@ type TraceContractBody = {
231
297
  observations?: TraceContractObservationRules;
232
298
  };
233
299
  interface TraceContractInput extends TraceContractBody {
300
+ /**
301
+ * Optional actor/run projection applied before evaluation (#320).
302
+ *
303
+ * @experimental
304
+ */
305
+ scope?: TraceContractScope;
234
306
  alternatives?: TraceContractAlternatives;
235
307
  }
236
308
  interface TraceContract extends TraceContractBody {
309
+ /**
310
+ * Optional actor/run projection applied before evaluation (#320).
311
+ *
312
+ * @experimental
313
+ */
314
+ scope?: TraceContractScope;
237
315
  alternatives?: TraceContractAlternatives;
238
316
  }
239
317
  /**
@@ -285,4 +363,4 @@ declare function lintTraceContract(contract: TraceContract): TraceContractLintDi
285
363
  */
286
364
  declare function explainTraceContract(contract: TraceContract): string[];
287
365
 
288
- export { type DerivedFailureConfidence, type DerivedFailureFact, type DerivedFailureRole, type FailureRoleCounts, LogicalProjectionDiagnostic, LogicalTraceEvent, type SemanticParitySummary, TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractAlternativeBranch, type TraceContractAlternatives, type TraceContractBody, type TraceContractInput, type TraceContractLintDiagnostic, type TraceContractLlmRules, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractToolRules, type TraceFacts, buildTraceFacts, defineTraceContract, deriveFailureFacts, evaluateTraceContract, evaluateTraceContractRead, explainTraceContract, lintTraceContract, summarizeSemanticParity };
366
+ export { type DerivedFailureConfidence, type DerivedFailureFact, type DerivedFailureRole, type FailureRoleCounts, LogicalProjectionDiagnostic, LogicalTraceEvent, type SemanticParitySummary, TraceCheckDiagnostic, TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractAlternativeBranch, type TraceContractAlternatives, type TraceContractBody, type TraceContractInput, type TraceContractLintDiagnostic, type TraceContractLlmRules, type TraceContractObservationProvenance, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractScope, type TraceContractToolRules, type TraceFacts, buildTraceFacts, defineTraceContract, deriveFailureFacts, evaluateTraceContract, evaluateTraceContractRead, explainTraceContract, lintTraceContract, resolveTraceContractScope, summarizeSemanticParity, workflowMetadataForRun };
@@ -1,5 +1,5 @@
1
- export { buildTraceFacts, createBaselineRegressionRule, createDecisionRule, createGuardrailRule, createLlmUsageRule, createMaxStepDurationRule, createObservedOutcomeRule, createRequireCompletedRule, createRetrievalRule, createRunDepthRule, createRunDurationRule, createRunEventCountRule, createRunStatusRule, createSafetyOversizedAttributeRule, createSafetyRawContentRule, createSafetyRedactionRule, createSafetySecretPatternRule, createStallDetectionRule, createStructureCycleRule, createStructureIncompleteRule, createStructureOrphanRule, createStructureParallelWidthRule, createStructureRelationshipRule, createToolFailureRule, createToolOrderingRule, createToolUsageRule, defineTraceContract, deriveFailureFacts, evaluateTraceContract, evaluateTraceContractRead, explainTraceContract, lintTraceContract, projectLogicalEvents, resolveCanonicalToolName, runTraceChecks, summarizeSemanticParity } from './chunk-G47KQB42.mjs';
2
- import './chunk-3XS5O4JI.mjs';
1
+ export { buildTraceFacts, createBaselineRegressionRule, createDecisionRule, createGuardrailRule, createLlmUsageRule, createMaxStepDurationRule, createObservedOutcomeRule, createRequireCompletedRule, createRetrievalRule, createRunDepthRule, createRunDurationRule, createRunEventCountRule, createRunStatusRule, createSafetyOversizedAttributeRule, createSafetyRawContentRule, createSafetyRedactionRule, createSafetySecretPatternRule, createStallDetectionRule, createStructureCycleRule, createStructureIncompleteRule, createStructureOrphanRule, createStructureParallelWidthRule, createStructureRelationshipRule, createToolFailureRule, createToolOrderingRule, createToolUsageRule, defineTraceContract, deriveFailureFacts, evaluateTraceContract, evaluateTraceContractRead, explainTraceContract, lintTraceContract, projectLogicalEvents, resolveCanonicalToolName, resolveTraceContractScope, runTraceChecks, summarizeSemanticParity, workflowMetadataForRun } from './chunk-43SHIPZM.mjs';
2
+ import './chunk-R4SSYU6D.mjs';
3
3
  import './chunk-U25RHRSU.mjs';
4
4
  import './chunk-VU6O5QAH.mjs';
5
5
  export { PROGRAMMATIC_DIAGNOSTIC_SPECS, formatProgrammaticDiagnostic } from './chunk-FWK3Q3OJ.mjs';