agent-inspect 6.30.0 → 6.31.0

package/packages/core/dist/{index-7hG_qggp.d.ts → index-CgOAGuM5.d.ts}

@@ -549,6 +549,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).
  *
@@ -609,6 +658,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.
@@ -941,6 +996,48 @@ interface ToolUsageRuleOptions {
     minCount?: number;
     maxCount?: number;
 }
+/** Kind-aware endpoint for typed step ordering (TOOL / LLM). */
+type StepOrderingKind = "TOOL" | "LLM";
+/**
+ * Named step endpoint with an explicit event kind.
+ *
+ * @experimental Available through `agent-inspect/checks`.
+ */
+interface StepOrderingEndpoint {
+    kind: StepOrderingKind;
+    name: string;
+}
+/**
+ * Experimental options for kind-aware step ordering (cross-kind TOOL↔LLM).
+ *
+ * @experimental Available through `agent-inspect/checks`. Additive changes may ship in minor releases; breaking changes require a future major.
+ */
+interface StepOrderingRuleOptions {
+    before: StepOrderingEndpoint;
+    after: StepOrderingEndpoint;
+    /**
+     * Explicit rule id. Defaults to `step.order`. TraceContract-generated
+     * relations use unique ids such as `contract.step.orderRelation.0`.
+     */
+    id?: string;
+    /**
+     * Ordering semantics. `first-occurrence` preserves first-occurrence encounter
+     * ordering, `happens-before` requires the first before event to finish before
+     * the first after event starts, and `all-occurrences` applies that causal
+     * boundary to every matching occurrence.
+     *
+     * @defaultValue `"first-occurrence"`
+     */
+    mode?: "first-occurrence" | "happens-before" | "all-occurrences";
+    /**
+     * When true, missing endpoints of the declared kind fail (instead of
+     * vacuously passing). Wrong-kind same-name events do not satisfy the
+     * endpoint.
+     *
+     * @defaultValue `false` (compositional low-level default)
+     */
+    requireEndpoints?: boolean;
+}
 /**
  * Experimental options for the built-in tool ordering rule.
  *
@@ -1231,6 +1328,19 @@ declare function createRunDepthRule(options: RunDepthRuleOptions): TraceCheckRul
  * @experimental  Available through `agent-inspect/checks`. Additive changes may ship in minor releases; breaking changes require a future major.
  */
 declare function createToolUsageRule(options: ToolUsageRuleOptions): TraceCheckRule;
+/**
+ * Kind-aware step ordering over finished TOOL / LLM events.
+ *
+ * Low-level default: missing endpoints yield no finding when `requireEndpoints`
+ * is false (compositional). TraceContract `steps.orderRelations` defaults
+ * `requireEndpoints` to true.
+ *
+ * TOOL-only pairs preserve historical `tool.order*` finding codes and messages
+ * used by {@link createToolOrderingRule}.
+ *
+ * @experimental Available through `agent-inspect/checks`.
+ */
+declare function createStepOrderingRule(options: StepOrderingRuleOptions): TraceCheckRule;
 /**
  * Create the experimental built-in tool ordering rule.
  *
@@ -1361,4 +1471,4 @@ declare function createObservedOutcomeRule(options?: ObservedOutcomeRuleOptions)
  */
 declare function runTraceChecks(input: TraceCheckInput, options?: RunTraceChecksOptions): TraceCheckResult;
 
-export { type TraceContractAlternatives as $, type TraceCheckDiagnostic as A, type BaselineRegressionRuleOptions as B, type ControlStage as C, type DecisionRuleOptions as D, type TraceCheckDiagnosticCode as E, type TraceCheckEvidence as F, type GuardrailRuleOptions as G, type TraceCheckFacts as H, type TraceCheckFinding as I, type TraceCheckFindingStatus as J, type TraceCheckInput as K, type LogicalTraceEvent as L, type MaxStepDurationRuleOptions as M, type TraceCheckResult as N, type ObservedOutcomeRuleOptions as O, type TraceCheckRule as P, type TraceCheckRuleCategory as Q, type RecoverySameArgumentsMode as R, type SafetyFindingCategory as S, type ToolArgumentCheck as T, type TraceCheckRuleExecution as U, type TraceCheckRuleExecutionStatus as V, type TraceCheckSeverity as W, type TraceCheckStatus as X, type TraceCheckSummary as Y, type TraceContract as Z, type TraceContractAlternativeBranch as _, type LogicalProjectionDiagnostic as a, type ActivityEntry as a$, type TraceContractBody as a0, type TraceContractControlRules as a1, type TraceContractInput as a2, type TraceContractLintDiagnostic as a3, type TraceContractLlmRules as a4, type TraceContractObservationProvenance as a5, type TraceContractObservationRules as a6, type TraceContractRecoveryOperation as a7, type TraceContractRecoveryRetryableErrors as a8, type TraceContractRecoverySuccessfulResultDependency as a9, createStructureRelationshipRule as aA, createToolFailureRule as aB, createToolOrderingRule as aC, createToolUsageRule as aD, defineTraceContract as aE, evaluateToolArgumentValue as aF, evaluateTraceContract as aG, evaluateTraceContractRead as aH, explainTraceContract as aI, extractToolArgumentPayload as aJ, lintTraceContract as aK, projectLogicalEvents as aL, resolveCanonicalToolName as aM, resolveJsonPointer as aN, resolveTraceContractScope as aO, runTraceChecks as aP, workflowMetadataForRun as aQ, type SessionWorkflowMetadata as aR, type SessionRunRecord as aS, type EnrichSessionSummaryOptions as aT, type SessionStatus as aU, type SessionSummary as aV, type SessionIndex as aW, type BuildActivitySummaryOptions as aX, type ActivitySummary as aY, type SessionWarning as aZ, type BuildSessionIndexOptions as a_, type TraceContractRetryRules as aa, type TraceContractRunRules as ab, type TraceContractScope as ac, type TraceContractToolRules as ad, type TraceSignalRuleOptions as ae, createBaselineRegressionRule as af, createDecisionRule as ag, createGuardrailRule as ah, createLlmUsageRule as ai, createMaxStepDurationRule as aj, createObservedOutcomeRule as ak, createRequireCompletedRule as al, createRetrievalRule as am, createRunDepthRule as an, createRunDurationRule as ao, createRunEventCountRule as ap, createRunStatusRule as aq, createSafetyOversizedAttributeRule as ar, createSafetyRawContentRule as as, createSafetyRedactionRule as at, createSafetySecretPatternRule as au, createStallDetectionRule as av, createStructureCycleRule as aw, createStructureIncompleteRule as ax, createStructureOrphanRule as ay, createStructureParallelWidthRule as az, type LlmUsageRuleOptions as b, type CriticalPathStep as b0, type HandoffEdge as b1, type RetryLink as b2, SESSION_WORKFLOW_KEYS as b3, type SessionCheckSummary as b4, type SessionConfidence as b5, type SessionEdgeSource as b6, type SessionGroup as b7, type SessionLastError as b8, type SessionWorkflowKey as b9, type RecoverySideEffectClass as c, type RetrievalRuleOptions as d, type RunDepthRuleOptions as e, type RunDurationRuleOptions as f, type RunEventCountRuleOptions as g, type RunStatusRuleOptions as h, type RunTraceChecksOptions as i, type SafetyFindingConfidence as j, type SafetyOversizedAttributeRuleOptions as k, type SafetyRawContentRuleOptions as l, type SafetyRedactionRuleOptions as m, type SafetySecretPattern as n, type SafetySecretPatternRuleOptions as o, type StallDetectionRuleOptions as p, type StructureIncompleteRuleOptions as q, type StructureOrphanRuleOptions as r, type StructureParallelWidthRuleOptions as s, type StructureRelationshipRuleOptions as t, type ToolArgumentOccurrence as u, type ToolArgumentOperator as v, type ToolFailureRuleOptions as w, type ToolOrderingRuleOptions as x, type ToolUsageRuleOptions as y, type TraceCheckContext as z };
+export { type TraceCheckSummary as $, type ToolOrderingRuleOptions as A, type BaselineRegressionRuleOptions as B, type ControlStage as C, type DecisionRuleOptions as D, type ToolUsageRuleOptions as E, type TraceCheckContext as F, type GuardrailRuleOptions as G, type TraceCheckDiagnostic as H, type TraceCheckDiagnosticCode as I, type TraceCheckEvidence as J, type TraceCheckFacts as K, type LogicalTraceEvent as L, type MaxStepDurationRuleOptions as M, type TraceCheckFinding as N, type ObservedOutcomeRuleOptions as O, type TraceCheckFindingStatus as P, type TraceCheckInput as Q, type RecoverySameArgumentsMode as R, type SafetyFindingCategory as S, type ToolArgumentCheck as T, type TraceCheckResult as U, type TraceCheckRule as V, type TraceCheckRuleCategory as W, type TraceCheckRuleExecution as X, type TraceCheckRuleExecutionStatus as Y, type TraceCheckSeverity as Z, type TraceCheckStatus as _, type LogicalProjectionDiagnostic as a, type EnrichSessionSummaryOptions as a$, type TraceContract as a0, type TraceContractAlternativeBranch as a1, type TraceContractAlternatives as a2, type TraceContractBody as a3, type TraceContractControlRules as a4, type TraceContractInput as a5, type TraceContractLintDiagnostic as a6, type TraceContractLlmRules as a7, type TraceContractObservationProvenance as a8, type TraceContractObservationRules as a9, createSafetyRedactionRule as aA, createSafetySecretPatternRule as aB, createStallDetectionRule as aC, createStepOrderingRule as aD, createStructureCycleRule as aE, createStructureIncompleteRule as aF, createStructureOrphanRule as aG, createStructureParallelWidthRule as aH, createStructureRelationshipRule as aI, createToolFailureRule as aJ, createToolOrderingRule as aK, createToolUsageRule as aL, defineTraceContract as aM, evaluateToolArgumentValue as aN, evaluateTraceContract as aO, evaluateTraceContractRead as aP, explainTraceContract as aQ, extractToolArgumentPayload as aR, lintTraceContract as aS, projectLogicalEvents as aT, resolveCanonicalToolName as aU, resolveJsonPointer as aV, resolveTraceContractScope as aW, runTraceChecks as aX, workflowMetadataForRun as aY, type SessionWorkflowMetadata as aZ, type SessionRunRecord as a_, type TraceContractRecoveryOperation as aa, type TraceContractRecoveryRetryableErrors as ab, type TraceContractRecoverySuccessfulResultDependency as ac, type TraceContractRetryRules as ad, type TraceContractRunRules as ae, type TraceContractScope as af, type TraceContractStepKind as ag, type TraceContractStepOrderRelation as ah, type TraceContractStepRef as ai, type TraceContractStepRules as aj, type TraceContractToolRules as ak, type TraceSignalRuleOptions as al, createBaselineRegressionRule as am, createDecisionRule as an, createGuardrailRule as ao, createLlmUsageRule as ap, createMaxStepDurationRule as aq, createObservedOutcomeRule as ar, createRequireCompletedRule as as, createRetrievalRule as at, createRunDepthRule as au, createRunDurationRule as av, createRunEventCountRule as aw, createRunStatusRule as ax, createSafetyOversizedAttributeRule as ay, createSafetyRawContentRule as az, type LlmUsageRuleOptions as b, type SessionStatus as b0, type SessionSummary as b1, type SessionIndex as b2, type BuildActivitySummaryOptions as b3, type ActivitySummary as b4, type SessionWarning as b5, type BuildSessionIndexOptions as b6, type ActivityEntry as b7, type CriticalPathStep as b8, type HandoffEdge as b9, type RetryLink as ba, SESSION_WORKFLOW_KEYS as bb, type SessionCheckSummary as bc, type SessionConfidence as bd, type SessionEdgeSource as be, type SessionGroup as bf, type SessionLastError as bg, type SessionWorkflowKey as bh, type RecoverySideEffectClass as c, type RetrievalRuleOptions as d, type RunDepthRuleOptions as e, type RunDurationRuleOptions as f, type RunEventCountRuleOptions as g, type RunStatusRuleOptions as h, type RunTraceChecksOptions as i, type SafetyFindingConfidence as j, type SafetyOversizedAttributeRuleOptions as k, type SafetyRawContentRuleOptions as l, type SafetyRedactionRuleOptions as m, type SafetySecretPattern as n, type SafetySecretPatternRuleOptions as o, type StallDetectionRuleOptions as p, type StepOrderingEndpoint as q, type StepOrderingKind as r, type StepOrderingRuleOptions as s, type StructureIncompleteRuleOptions as t, type StructureOrphanRuleOptions as u, type StructureParallelWidthRuleOptions as v, type StructureRelationshipRuleOptions as w, type ToolArgumentOccurrence as x, type ToolArgumentOperator as y, type ToolFailureRuleOptions as z };

package/packages/core/dist/{index-CQJUNPPe.d.cts → index-EQihlEei.d.cts}

@@ -549,6 +549,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).
  *
@@ -609,6 +658,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.
@@ -941,6 +996,48 @@ interface ToolUsageRuleOptions {
     minCount?: number;
     maxCount?: number;
 }
+/** Kind-aware endpoint for typed step ordering (TOOL / LLM). */
+type StepOrderingKind = "TOOL" | "LLM";
+/**
+ * Named step endpoint with an explicit event kind.
+ *
+ * @experimental Available through `agent-inspect/checks`.
+ */
+interface StepOrderingEndpoint {
+    kind: StepOrderingKind;
+    name: string;
+}
+/**
+ * Experimental options for kind-aware step ordering (cross-kind TOOL↔LLM).
+ *
+ * @experimental Available through `agent-inspect/checks`. Additive changes may ship in minor releases; breaking changes require a future major.
+ */
+interface StepOrderingRuleOptions {
+    before: StepOrderingEndpoint;
+    after: StepOrderingEndpoint;
+    /**
+     * Explicit rule id. Defaults to `step.order`. TraceContract-generated
+     * relations use unique ids such as `contract.step.orderRelation.0`.
+     */
+    id?: string;
+    /**
+     * Ordering semantics. `first-occurrence` preserves first-occurrence encounter
+     * ordering, `happens-before` requires the first before event to finish before
+     * the first after event starts, and `all-occurrences` applies that causal
+     * boundary to every matching occurrence.
+     *
+     * @defaultValue `"first-occurrence"`
+     */
+    mode?: "first-occurrence" | "happens-before" | "all-occurrences";
+    /**
+     * When true, missing endpoints of the declared kind fail (instead of
+     * vacuously passing). Wrong-kind same-name events do not satisfy the
+     * endpoint.
+     *
+     * @defaultValue `false` (compositional low-level default)
+     */
+    requireEndpoints?: boolean;
+}
 /**
  * Experimental options for the built-in tool ordering rule.
  *
@@ -1231,6 +1328,19 @@ declare function createRunDepthRule(options: RunDepthRuleOptions): TraceCheckRul
  * @experimental  Available through `agent-inspect/checks`. Additive changes may ship in minor releases; breaking changes require a future major.
  */
 declare function createToolUsageRule(options: ToolUsageRuleOptions): TraceCheckRule;
+/**
+ * Kind-aware step ordering over finished TOOL / LLM events.
+ *
+ * Low-level default: missing endpoints yield no finding when `requireEndpoints`
+ * is false (compositional). TraceContract `steps.orderRelations` defaults
+ * `requireEndpoints` to true.
+ *
+ * TOOL-only pairs preserve historical `tool.order*` finding codes and messages
+ * used by {@link createToolOrderingRule}.
+ *
+ * @experimental Available through `agent-inspect/checks`.
+ */
+declare function createStepOrderingRule(options: StepOrderingRuleOptions): TraceCheckRule;
 /**
  * Create the experimental built-in tool ordering rule.
  *
@@ -1361,4 +1471,4 @@ declare function createObservedOutcomeRule(options?: ObservedOutcomeRuleOptions)
  */
 declare function runTraceChecks(input: TraceCheckInput, options?: RunTraceChecksOptions): TraceCheckResult;
 
-export { type TraceContractAlternatives as $, type TraceCheckDiagnostic as A, type BaselineRegressionRuleOptions as B, type ControlStage as C, type DecisionRuleOptions as D, type TraceCheckDiagnosticCode as E, type TraceCheckEvidence as F, type GuardrailRuleOptions as G, type TraceCheckFacts as H, type TraceCheckFinding as I, type TraceCheckFindingStatus as J, type TraceCheckInput as K, type LogicalTraceEvent as L, type MaxStepDurationRuleOptions as M, type TraceCheckResult as N, type ObservedOutcomeRuleOptions as O, type TraceCheckRule as P, type TraceCheckRuleCategory as Q, type RecoverySameArgumentsMode as R, type SafetyFindingCategory as S, type ToolArgumentCheck as T, type TraceCheckRuleExecution as U, type TraceCheckRuleExecutionStatus as V, type TraceCheckSeverity as W, type TraceCheckStatus as X, type TraceCheckSummary as Y, type TraceContract as Z, type TraceContractAlternativeBranch as _, type LogicalProjectionDiagnostic as a, type ActivityEntry as a$, type TraceContractBody as a0, type TraceContractControlRules as a1, type TraceContractInput as a2, type TraceContractLintDiagnostic as a3, type TraceContractLlmRules as a4, type TraceContractObservationProvenance as a5, type TraceContractObservationRules as a6, type TraceContractRecoveryOperation as a7, type TraceContractRecoveryRetryableErrors as a8, type TraceContractRecoverySuccessfulResultDependency as a9, createStructureRelationshipRule as aA, createToolFailureRule as aB, createToolOrderingRule as aC, createToolUsageRule as aD, defineTraceContract as aE, evaluateToolArgumentValue as aF, evaluateTraceContract as aG, evaluateTraceContractRead as aH, explainTraceContract as aI, extractToolArgumentPayload as aJ, lintTraceContract as aK, projectLogicalEvents as aL, resolveCanonicalToolName as aM, resolveJsonPointer as aN, resolveTraceContractScope as aO, runTraceChecks as aP, workflowMetadataForRun as aQ, type SessionWorkflowMetadata as aR, type SessionRunRecord as aS, type EnrichSessionSummaryOptions as aT, type SessionStatus as aU, type SessionSummary as aV, type SessionIndex as aW, type BuildActivitySummaryOptions as aX, type ActivitySummary as aY, type SessionWarning as aZ, type BuildSessionIndexOptions as a_, type TraceContractRetryRules as aa, type TraceContractRunRules as ab, type TraceContractScope as ac, type TraceContractToolRules as ad, type TraceSignalRuleOptions as ae, createBaselineRegressionRule as af, createDecisionRule as ag, createGuardrailRule as ah, createLlmUsageRule as ai, createMaxStepDurationRule as aj, createObservedOutcomeRule as ak, createRequireCompletedRule as al, createRetrievalRule as am, createRunDepthRule as an, createRunDurationRule as ao, createRunEventCountRule as ap, createRunStatusRule as aq, createSafetyOversizedAttributeRule as ar, createSafetyRawContentRule as as, createSafetyRedactionRule as at, createSafetySecretPatternRule as au, createStallDetectionRule as av, createStructureCycleRule as aw, createStructureIncompleteRule as ax, createStructureOrphanRule as ay, createStructureParallelWidthRule as az, type LlmUsageRuleOptions as b, type CriticalPathStep as b0, type HandoffEdge as b1, type RetryLink as b2, SESSION_WORKFLOW_KEYS as b3, type SessionCheckSummary as b4, type SessionConfidence as b5, type SessionEdgeSource as b6, type SessionGroup as b7, type SessionLastError as b8, type SessionWorkflowKey as b9, type RecoverySideEffectClass as c, type RetrievalRuleOptions as d, type RunDepthRuleOptions as e, type RunDurationRuleOptions as f, type RunEventCountRuleOptions as g, type RunStatusRuleOptions as h, type RunTraceChecksOptions as i, type SafetyFindingConfidence as j, type SafetyOversizedAttributeRuleOptions as k, type SafetyRawContentRuleOptions as l, type SafetyRedactionRuleOptions as m, type SafetySecretPattern as n, type SafetySecretPatternRuleOptions as o, type StallDetectionRuleOptions as p, type StructureIncompleteRuleOptions as q, type StructureOrphanRuleOptions as r, type StructureParallelWidthRuleOptions as s, type StructureRelationshipRuleOptions as t, type ToolArgumentOccurrence as u, type ToolArgumentOperator as v, type ToolFailureRuleOptions as w, type ToolOrderingRuleOptions as x, type ToolUsageRuleOptions as y, type TraceCheckContext as z };
+export { type TraceCheckSummary as $, type ToolOrderingRuleOptions as A, type BaselineRegressionRuleOptions as B, type ControlStage as C, type DecisionRuleOptions as D, type ToolUsageRuleOptions as E, type TraceCheckContext as F, type GuardrailRuleOptions as G, type TraceCheckDiagnostic as H, type TraceCheckDiagnosticCode as I, type TraceCheckEvidence as J, type TraceCheckFacts as K, type LogicalTraceEvent as L, type MaxStepDurationRuleOptions as M, type TraceCheckFinding as N, type ObservedOutcomeRuleOptions as O, type TraceCheckFindingStatus as P, type TraceCheckInput as Q, type RecoverySameArgumentsMode as R, type SafetyFindingCategory as S, type ToolArgumentCheck as T, type TraceCheckResult as U, type TraceCheckRule as V, type TraceCheckRuleCategory as W, type TraceCheckRuleExecution as X, type TraceCheckRuleExecutionStatus as Y, type TraceCheckSeverity as Z, type TraceCheckStatus as _, type LogicalProjectionDiagnostic as a, type EnrichSessionSummaryOptions as a$, type TraceContract as a0, type TraceContractAlternativeBranch as a1, type TraceContractAlternatives as a2, type TraceContractBody as a3, type TraceContractControlRules as a4, type TraceContractInput as a5, type TraceContractLintDiagnostic as a6, type TraceContractLlmRules as a7, type TraceContractObservationProvenance as a8, type TraceContractObservationRules as a9, createSafetyRedactionRule as aA, createSafetySecretPatternRule as aB, createStallDetectionRule as aC, createStepOrderingRule as aD, createStructureCycleRule as aE, createStructureIncompleteRule as aF, createStructureOrphanRule as aG, createStructureParallelWidthRule as aH, createStructureRelationshipRule as aI, createToolFailureRule as aJ, createToolOrderingRule as aK, createToolUsageRule as aL, defineTraceContract as aM, evaluateToolArgumentValue as aN, evaluateTraceContract as aO, evaluateTraceContractRead as aP, explainTraceContract as aQ, extractToolArgumentPayload as aR, lintTraceContract as aS, projectLogicalEvents as aT, resolveCanonicalToolName as aU, resolveJsonPointer as aV, resolveTraceContractScope as aW, runTraceChecks as aX, workflowMetadataForRun as aY, type SessionWorkflowMetadata as aZ, type SessionRunRecord as a_, type TraceContractRecoveryOperation as aa, type TraceContractRecoveryRetryableErrors as ab, type TraceContractRecoverySuccessfulResultDependency as ac, type TraceContractRetryRules as ad, type TraceContractRunRules as ae, type TraceContractScope as af, type TraceContractStepKind as ag, type TraceContractStepOrderRelation as ah, type TraceContractStepRef as ai, type TraceContractStepRules as aj, type TraceContractToolRules as ak, type TraceSignalRuleOptions as al, createBaselineRegressionRule as am, createDecisionRule as an, createGuardrailRule as ao, createLlmUsageRule as ap, createMaxStepDurationRule as aq, createObservedOutcomeRule as ar, createRequireCompletedRule as as, createRetrievalRule as at, createRunDepthRule as au, createRunDurationRule as av, createRunEventCountRule as aw, createRunStatusRule as ax, createSafetyOversizedAttributeRule as ay, createSafetyRawContentRule as az, type LlmUsageRuleOptions as b, type SessionStatus as b0, type SessionSummary as b1, type SessionIndex as b2, type BuildActivitySummaryOptions as b3, type ActivitySummary as b4, type SessionWarning as b5, type BuildSessionIndexOptions as b6, type ActivityEntry as b7, type CriticalPathStep as b8, type HandoffEdge as b9, type RetryLink as ba, SESSION_WORKFLOW_KEYS as bb, type SessionCheckSummary as bc, type SessionConfidence as bd, type SessionEdgeSource as be, type SessionGroup as bf, type SessionLastError as bg, type SessionWorkflowKey as bh, type RecoverySideEffectClass as c, type RetrievalRuleOptions as d, type RunDepthRuleOptions as e, type RunDurationRuleOptions as f, type RunEventCountRuleOptions as g, type RunStatusRuleOptions as h, type RunTraceChecksOptions as i, type SafetyFindingConfidence as j, type SafetyOversizedAttributeRuleOptions as k, type SafetyRawContentRuleOptions as l, type SafetyRedactionRuleOptions as m, type SafetySecretPattern as n, type SafetySecretPatternRuleOptions as o, type StallDetectionRuleOptions as p, type StepOrderingEndpoint as q, type StepOrderingKind as r, type StepOrderingRuleOptions as s, type StructureIncompleteRuleOptions as t, type StructureOrphanRuleOptions as u, type StructureParallelWidthRuleOptions as v, type StructureRelationshipRuleOptions as w, type ToolArgumentOccurrence as x, type ToolArgumentOperator as y, type ToolFailureRuleOptions as z };