agent-inspect 6.19.1 → 6.20.0

package/packages/core/dist/checks.d.cts

@@ -1,5 +1,5 @@
-import { L as LogicalTraceEvent, a as LogicalProjectionDiagnostic, T as TraceCheckInput, b as TraceCheckResult } from './index-DCR816Yt.cjs';
-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-DCR816Yt.cjs';
+import { L as LogicalTraceEvent, a as LogicalProjectionDiagnostic, T as TraceCheckInput, b as TraceCheckResult } from './index-rVpX5PPh.cjs';
+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';
 export { PROGRAMMATIC_DIAGNOSTIC_SPECS, ProgrammaticDiagnosticCode, ProgrammaticDiagnosticSpec, formatProgrammaticDiagnostic } from './readers.cjs';
 import { a as TraceReadResult } from './index-vqr-g6ev.cjs';
 import { P as PersistedInspectEvent } from './persisted-inspect-event-CVZWZldL.cjs';
@@ -146,7 +146,8 @@ 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).
+     * `alternatives.anyOf` or `observations.required` when a legitimate path may
+     * skip the tool.
      *
      * @see docs/TRACE-CONTRACTS.md
      */
@@ -159,25 +160,34 @@ interface TraceContractToolRules {
     allowed?: string[];
     maxCalls?: number;
     /**
-     * Required tool order as adjacent first-occurrence pairs (start/encounter order).
+     * Required tool order expanded into adjacent pairs.
      *
      * `[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.
+     * selected `requiredOrderMode` to every pair. Unlisted intermediate tools
+     * are allowed.
      *
      * 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`.
+     * The default `first-occurrence` mode preserves first-occurrence encounter
+     * ordering; overlapping intervals emit a non-failing warning. `happens-before`
+     * requires the first before event to finish before the first after event starts.
+     * `all-occurrences` applies that causal boundary to every occurrence.
      *
      * @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[];
+    /**
+     * Ordering semantics applied to every adjacent pair in `requiredOrder`.
+     * Causal modes fail closed when a required interval boundary is unavailable.
+     *
+     * @defaultValue `"first-occurrence"`
+     * @beta Available through `agent-inspect/checks`.
+     */
+    requiredOrderMode?: "first-occurrence" | "happens-before" | "all-occurrences";
 }
 interface TraceContractLlmRules {
     maxCalls?: number;
@@ -188,17 +198,54 @@ interface TraceContractObservationRules {
     required?: string[];
     failOn?: Array<"failed" | "unknown" | "skipped">;
 }
-interface TraceContractInput {
-    run?: TraceContractRunRules;
-    tools?: TraceContractToolRules;
-    llm?: TraceContractLlmRules;
-    observations?: TraceContractObservationRules;
+/**
+ * One deterministic alternate path. Branch contracts are one level only —
+ * nested `alternatives` are rejected.
+ *
+ * @experimental
+ */
+interface TraceContractAlternativeBranch {
+    /** Unique branch id within `alternatives.anyOf`. */
+    id: string;
+    description?: string;
+    /** Branch body: run/tools/llm/observations only (no nested alternatives). */
+    contract: TraceContractBody;
+}
+/**
+ * Bounded alternative valid paths for legitimate shortcuts (GitHub #309).
+ *
+ * @experimental
+ */
+interface TraceContractAlternatives {
+    /**
+     * One level of named branches. The overall contract passes when the base
+     * rules pass and **at least one** complete branch passes.
+     */
+    anyOf: TraceContractAlternativeBranch[];
 }
-interface TraceContract {
+/** Contract body without alternatives (base or branch). */
+type TraceContractBody = {
     run?: TraceContractRunRules;
     tools?: TraceContractToolRules;
     llm?: TraceContractLlmRules;
     observations?: TraceContractObservationRules;
+};
+interface TraceContractInput extends TraceContractBody {
+    alternatives?: TraceContractAlternatives;
+}
+interface TraceContract extends TraceContractBody {
+    alternatives?: TraceContractAlternatives;
+}
+/**
+ * Lint diagnostic for brittle or invalid TraceContract shapes.
+ *
+ * @experimental
+ */
+interface TraceContractLintDiagnostic {
+    code: string;
+    severity: "error" | "warning" | "info";
+    message: string;
+    path?: string;
 }
 /**
  * Define a normalized trace contract object.
@@ -209,6 +256,9 @@ declare function defineTraceContract(input: TraceContractInput): TraceContract;
 /**
  * Evaluate a trace contract against an opened trace read result.
  *
+ * Base rules always apply. When `alternatives.anyOf` is present, at least one
+ * complete branch must also pass.
+ *
  * @experimental
  */
 declare function evaluateTraceContract(input: TraceCheckInput, contract: TraceContract, options?: {
@@ -222,5 +272,17 @@ declare function evaluateTraceContract(input: TraceCheckInput, contract: TraceCo
 declare function evaluateTraceContractRead(read: TraceReadResult, contract: TraceContract, options?: {
     runId?: string;
 }): TraceCheckResult;
+/**
+ * Lint a TraceContract for invalid or brittle shapes (does not evaluate a trace).
+ *
+ * @experimental
+ */
+declare function lintTraceContract(contract: TraceContract): TraceContractLintDiagnostic[];
+/**
+ * Explain a TraceContract as short human-readable lines (does not evaluate a trace).
+ *
+ * @experimental
+ */
+declare function explainTraceContract(contract: TraceContract): string[];
 
-export { type DerivedFailureConfidence, type DerivedFailureFact, type DerivedFailureRole, type FailureRoleCounts, LogicalProjectionDiagnostic, LogicalTraceEvent, type SemanticParitySummary, TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractInput, type TraceContractLlmRules, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractToolRules, type TraceFacts, buildTraceFacts, defineTraceContract, deriveFailureFacts, evaluateTraceContract, evaluateTraceContractRead, summarizeSemanticParity };
+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 };

package/packages/core/dist/checks.d.ts

@@ -1,5 +1,5 @@
-import { L as LogicalTraceEvent, a as LogicalProjectionDiagnostic, T as TraceCheckInput, b as TraceCheckResult } from './index-DKwuGSe-.js';
-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-DKwuGSe-.js';
+import { L as LogicalTraceEvent, a as LogicalProjectionDiagnostic, T as TraceCheckInput, b as TraceCheckResult } from './index-Bg9ZdsdS.js';
+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';
 export { PROGRAMMATIC_DIAGNOSTIC_SPECS, ProgrammaticDiagnosticCode, ProgrammaticDiagnosticSpec, formatProgrammaticDiagnostic } from './readers.js';
 import { a as TraceReadResult } from './index-AMAGuO_i.js';
 import { P as PersistedInspectEvent } from './persisted-inspect-event-BVucFVrP.js';
@@ -146,7 +146,8 @@ 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).
+     * `alternatives.anyOf` or `observations.required` when a legitimate path may
+     * skip the tool.
      *
      * @see docs/TRACE-CONTRACTS.md
      */
@@ -159,25 +160,34 @@ interface TraceContractToolRules {
     allowed?: string[];
     maxCalls?: number;
     /**
-     * Required tool order as adjacent first-occurrence pairs (start/encounter order).
+     * Required tool order expanded into adjacent pairs.
      *
      * `[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.
+     * selected `requiredOrderMode` to every pair. Unlisted intermediate tools
+     * are allowed.
      *
      * 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`.
+     * The default `first-occurrence` mode preserves first-occurrence encounter
+     * ordering; overlapping intervals emit a non-failing warning. `happens-before`
+     * requires the first before event to finish before the first after event starts.
+     * `all-occurrences` applies that causal boundary to every occurrence.
      *
      * @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[];
+    /**
+     * Ordering semantics applied to every adjacent pair in `requiredOrder`.
+     * Causal modes fail closed when a required interval boundary is unavailable.
+     *
+     * @defaultValue `"first-occurrence"`
+     * @beta Available through `agent-inspect/checks`.
+     */
+    requiredOrderMode?: "first-occurrence" | "happens-before" | "all-occurrences";
 }
 interface TraceContractLlmRules {
     maxCalls?: number;
@@ -188,17 +198,54 @@ interface TraceContractObservationRules {
     required?: string[];
     failOn?: Array<"failed" | "unknown" | "skipped">;
 }
-interface TraceContractInput {
-    run?: TraceContractRunRules;
-    tools?: TraceContractToolRules;
-    llm?: TraceContractLlmRules;
-    observations?: TraceContractObservationRules;
+/**
+ * One deterministic alternate path. Branch contracts are one level only —
+ * nested `alternatives` are rejected.
+ *
+ * @experimental
+ */
+interface TraceContractAlternativeBranch {
+    /** Unique branch id within `alternatives.anyOf`. */
+    id: string;
+    description?: string;
+    /** Branch body: run/tools/llm/observations only (no nested alternatives). */
+    contract: TraceContractBody;
+}
+/**
+ * Bounded alternative valid paths for legitimate shortcuts (GitHub #309).
+ *
+ * @experimental
+ */
+interface TraceContractAlternatives {
+    /**
+     * One level of named branches. The overall contract passes when the base
+     * rules pass and **at least one** complete branch passes.
+     */
+    anyOf: TraceContractAlternativeBranch[];
 }
-interface TraceContract {
+/** Contract body without alternatives (base or branch). */
+type TraceContractBody = {
     run?: TraceContractRunRules;
     tools?: TraceContractToolRules;
     llm?: TraceContractLlmRules;
     observations?: TraceContractObservationRules;
+};
+interface TraceContractInput extends TraceContractBody {
+    alternatives?: TraceContractAlternatives;
+}
+interface TraceContract extends TraceContractBody {
+    alternatives?: TraceContractAlternatives;
+}
+/**
+ * Lint diagnostic for brittle or invalid TraceContract shapes.
+ *
+ * @experimental
+ */
+interface TraceContractLintDiagnostic {
+    code: string;
+    severity: "error" | "warning" | "info";
+    message: string;
+    path?: string;
 }
 /**
  * Define a normalized trace contract object.
@@ -209,6 +256,9 @@ declare function defineTraceContract(input: TraceContractInput): TraceContract;
 /**
  * Evaluate a trace contract against an opened trace read result.
  *
+ * Base rules always apply. When `alternatives.anyOf` is present, at least one
+ * complete branch must also pass.
+ *
  * @experimental
  */
 declare function evaluateTraceContract(input: TraceCheckInput, contract: TraceContract, options?: {
@@ -222,5 +272,17 @@ declare function evaluateTraceContract(input: TraceCheckInput, contract: TraceCo
 declare function evaluateTraceContractRead(read: TraceReadResult, contract: TraceContract, options?: {
     runId?: string;
 }): TraceCheckResult;
+/**
+ * Lint a TraceContract for invalid or brittle shapes (does not evaluate a trace).
+ *
+ * @experimental
+ */
+declare function lintTraceContract(contract: TraceContract): TraceContractLintDiagnostic[];
+/**
+ * Explain a TraceContract as short human-readable lines (does not evaluate a trace).
+ *
+ * @experimental
+ */
+declare function explainTraceContract(contract: TraceContract): string[];
 
-export { type DerivedFailureConfidence, type DerivedFailureFact, type DerivedFailureRole, type FailureRoleCounts, LogicalProjectionDiagnostic, LogicalTraceEvent, type SemanticParitySummary, TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractInput, type TraceContractLlmRules, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractToolRules, type TraceFacts, buildTraceFacts, defineTraceContract, deriveFailureFacts, evaluateTraceContract, evaluateTraceContractRead, summarizeSemanticParity };
+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 };

package/packages/core/dist/checks.mjs

@@ -1,4 +1,4 @@
-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, projectLogicalEvents, resolveCanonicalToolName, runTraceChecks, summarizeSemanticParity } from './chunk-6LP2J5CA.mjs';
+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';
 import './chunk-3XS5O4JI.mjs';
 import './chunk-U25RHRSU.mjs';
 import './chunk-VU6O5QAH.mjs';