agent-inspect 6.3.0 → 6.4.1

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

@@ -1,618 +1,59 @@
-import { TraceReadResult, TraceReadWarning } from './readers.cjs';
-import { b as InspectRunTree, c as InspectNode, A as AttributionConfidence } from './inspect-event-IqwOHbGo.cjs';
-import { P as PersistedInspectEvent } from './persisted-inspect-event-Gd-W8vB7.cjs';
-import { b as ObservedOutcomeStatus } from './types-J3Xtuf9x.cjs';
+import { T as TraceCheckInput, a as TraceCheckResult } from './index-DyKk7iR9.cjs';
+export { B as BaselineRegressionRuleOptions, D as DecisionRuleOptions, G as GuardrailRuleOptions, L as LlmUsageRuleOptions, M as MaxStepDurationRuleOptions, O as ObservedOutcomeRuleOptions, R as RetrievalRuleOptions, b as RunDepthRuleOptions, c as RunDurationRuleOptions, d as RunEventCountRuleOptions, e as RunStatusRuleOptions, f as RunTraceChecksOptions, S as SafetyOversizedAttributeRuleOptions, g as SafetyRawContentRuleOptions, h as SafetyRedactionRuleOptions, i as SafetySecretPattern, j as SafetySecretPatternRuleOptions, k as StallDetectionRuleOptions, l as StructureIncompleteRuleOptions, m as StructureOrphanRuleOptions, n as StructureParallelWidthRuleOptions, o as StructureRelationshipRuleOptions, p as ToolFailureRuleOptions, q as ToolOrderingRuleOptions, r as ToolUsageRuleOptions, s as TraceCheckContext, t as TraceCheckDiagnostic, u as TraceCheckDiagnosticCode, v as TraceCheckEvidence, w as TraceCheckFacts, x as TraceCheckFinding, y as TraceCheckFindingStatus, z as TraceCheckRule, A as TraceCheckRuleCategory, C as TraceCheckSeverity, E as TraceCheckStatus, F as TraceCheckSummary, H as TraceSignalRuleOptions, I as createBaselineRegressionRule, J as createDecisionRule, K as createGuardrailRule, N as createLlmUsageRule, P as createMaxStepDurationRule, Q as createObservedOutcomeRule, U as createRequireCompletedRule, V as createRetrievalRule, W as createRunDepthRule, X as createRunDurationRule, Y as createRunEventCountRule, Z as createRunStatusRule, _ as createSafetyOversizedAttributeRule, $ as createSafetyRawContentRule, a0 as createSafetyRedactionRule, a1 as createSafetySecretPatternRule, a2 as createStallDetectionRule, a3 as createStructureCycleRule, a4 as createStructureIncompleteRule, a5 as createStructureOrphanRule, a6 as createStructureParallelWidthRule, a7 as createStructureRelationshipRule, a8 as createToolFailureRule, a9 as createToolOrderingRule, aa as createToolUsageRule, ab as runTraceChecks } from './index-DyKk7iR9.cjs';
+import './readers.cjs';
+import './inspect-event-DVg84S4v.cjs';
+import './persisted-inspect-event-d-mSP8kd.cjs';
+import './types-B562HgN_.cjs';
 
 /**
- * Experimental trace-check finding severity.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-type TraceCheckSeverity = "error" | "warning" | "info";
-/**
- * Experimental trace-check rule category.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-type TraceCheckRuleCategory = "run" | "tool" | "llm" | "structure" | "baseline" | "safety" | "reader";
-/**
- * Experimental trace-check finding status.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-type TraceCheckFindingStatus = "pass" | "fail" | "warning";
-/**
- * Experimental trace-check aggregate status.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-type TraceCheckStatus = "pass" | "fail" | "error";
-/**
- * Experimental stable diagnostic code for check execution and input errors.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-type TraceCheckDiagnosticCode = "AI_CHECK_INVALID_ARGUMENTS" | "AI_CHECK_INVALID_CONFIG" | "AI_CHECK_CONFIG_LOAD_FAILED" | "AI_CHECK_TRACE_UNREADABLE" | "AI_CHECK_UNSUPPORTED_FORMAT" | "AI_CHECK_AMBIGUOUS_FORMAT" | "AI_CHECK_RUN_SELECTION_REQUIRED" | "AI_CHECK_BASELINE_UNREADABLE" | "AI_CHECK_BASELINE_INCOMPATIBLE" | "AI_CHECK_RULE_FAILED" | "AI_CHECK_INTERNAL_ERROR";
-/**
- * Experimental evidence pointing at trace data relevant to a finding.
- *
- * Evidence intentionally identifies runs/events/spans and bounded paths rather
- * than embedding raw prompts, outputs, request bodies, headers, or tool payloads.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface TraceCheckEvidence {
-    runId?: string;
-    eventId?: string;
-    parentId?: string;
-    traceId?: string;
-    spanId?: string;
-    kind?: string;
-    name?: string;
-    status?: string;
-    path?: string;
-}
-/**
- * Experimental finding emitted by a trace-check rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface TraceCheckFinding {
-    ruleId: string;
-    severity: TraceCheckSeverity;
-    status: TraceCheckFindingStatus;
-    message: string;
-    expected?: unknown;
-    actual?: unknown;
-    evidence: TraceCheckEvidence[];
-}
-/**
- * Experimental diagnostic emitted when check execution cannot complete normally.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface TraceCheckDiagnostic {
-    code: TraceCheckDiagnosticCode;
-    message: string;
-    severity: TraceCheckSeverity;
-    ruleId?: string;
-}
-/**
- * Experimental input projection for trace checks.
- *
- * The `read` value must come from `agent-inspect/readers` or an equivalent
- * already-normalized `TraceReadResult`. The checks engine does not read files
- * or reparse source payloads.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface TraceCheckInput {
-    read: TraceReadResult;
-    selectedRun?: InspectRunTree;
-    sourceLabel?: string;
-}
-/**
- * Experimental normalized facts available to trace-check rules.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface TraceCheckFacts {
-    format: string;
-    runs: readonly InspectRunTree[];
-    events: readonly PersistedInspectEvent[];
-    readerWarnings: readonly TraceReadWarning[];
-    unsupportedFields: readonly string[];
-    sourceFiles: readonly string[];
-    nodesByEventId: ReadonlyMap<string, InspectNode>;
-    childrenByParentId: ReadonlyMap<string, readonly InspectNode[]>;
-    rootNodes: readonly InspectNode[];
-}
-/**
- * Experimental rule evaluation context.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface TraceCheckContext extends TraceCheckFacts {
-    selectedRun?: InspectRunTree;
-    sourceLabel?: string;
-}
-/**
- * Experimental trace-check rule definition.
- *
- * Rules are synchronous and pure: they receive normalized facts and return
- * findings without reading files, mutating input, or performing network I/O.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface TraceCheckRule {
-    id: string;
-    category: TraceCheckRuleCategory;
-    defaultSeverity: TraceCheckSeverity;
-    evaluate(context: TraceCheckContext): readonly TraceCheckFinding[];
-}
-/**
- * Experimental options for `runTraceChecks`.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface RunTraceChecksOptions {
-    rules?: readonly TraceCheckRule[];
-    select?: readonly string[];
-    runId?: string;
-}
-/**
- * Experimental options for the built-in run status rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface RunStatusRuleOptions {
-    expected?: "ok" | "error" | "running";
-    allowIncomplete?: boolean;
-}
-/**
- * Experimental options for the built-in run duration rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface RunDurationRuleOptions {
-    maxDurationMs: number;
-}
-/**
- * Experimental options for the built-in max step duration rule.
- */
-interface MaxStepDurationRuleOptions {
-    maxDurationMs: number;
-}
-/**
- * Experimental options for stall detection (running / incomplete events).
- */
-interface StallDetectionRuleOptions {
-    /** When true, events with startedAt but no endedAt also fail. */
-    requireEndedAt?: boolean;
-}
-/**
- * Experimental options for the built-in event count rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface RunEventCountRuleOptions {
-    kind?: PersistedInspectEvent["kind"];
-    min?: number;
-    max?: number;
-}
-/**
- * Experimental options for the built-in run depth rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface RunDepthRuleOptions {
-    maxDepth: number;
-}
-/**
- * Experimental options for the built-in tool usage rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface ToolUsageRuleOptions {
-    required?: readonly string[];
-    forbidden?: readonly string[];
-    allowed?: readonly string[];
-    minCount?: number;
-    maxCount?: number;
-}
-/**
- * Experimental options for the built-in tool ordering rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
+ * @experimental Typed trace contract input. Evolves during v6.5.x.
  */
-interface ToolOrderingRuleOptions {
-    before: string;
-    after: string;
+interface TraceContractRunRules {
+    requireCompleted?: boolean;
+    allowedStatuses?: string[];
+    maxDurationMs?: number;
 }
-/**
- * Experimental options for the built-in tool failure rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface ToolFailureRuleOptions {
-    maxFailures?: number;
-    maxRetries?: number;
+interface TraceContractToolRules {
+    required?: string[];
+    forbidden?: string[];
+    allowed?: string[];
+    maxCalls?: number;
+    requiredOrder?: string[];
 }
-/**
- * Experimental options for the built-in LLM usage rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface LlmUsageRuleOptions {
-    allowedModels?: readonly string[];
-    allowedProviders?: readonly string[];
+interface TraceContractLlmRules {
     maxCalls?: number;
-    maxInputTokens?: number;
-    maxOutputTokens?: number;
     maxTotalTokens?: number;
-    maxCachedTokens?: number;
-    finishReasons?: readonly string[];
-}
-/**
- * Experimental options for the built-in structure incomplete rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface StructureIncompleteRuleOptions {
-    allowRunning?: boolean;
-    requireEndedAtForStarted?: boolean;
-}
-/**
- * Experimental options for the built-in structure orphan rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface StructureOrphanRuleOptions {
-    allowMarkedUnresolved?: boolean;
-}
-/**
- * Experimental options for the built-in structure relationship rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface StructureRelationshipRuleOptions {
-    minConfidence?: AttributionConfidence;
-    requireParentBeforeChild?: boolean;
-    requireTraceParentSpan?: boolean;
-}
-/**
- * Experimental options for the built-in structure parallel-width rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface StructureParallelWidthRuleOptions {
-    maxChildren?: number;
-    maxConcurrent?: number;
-}
-/**
- * Experimental options shared by built-in signal rules.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface TraceSignalRuleOptions {
-    required?: readonly string[];
-    forbidden?: readonly string[];
-    allowed?: readonly string[];
-    minCount?: number;
-    maxCount?: number;
-}
-/**
- * Experimental options for the built-in retrieval signal rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface RetrievalRuleOptions extends TraceSignalRuleOptions {
+    allowedModels?: string[];
 }
-/**
- * Experimental options for the built-in guardrail signal rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface GuardrailRuleOptions extends TraceSignalRuleOptions {
-}
-/**
- * Experimental options for the built-in decision signal rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface DecisionRuleOptions extends TraceSignalRuleOptions {
-}
-/**
- * Experimental options for the built-in safety redaction rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface SafetyRedactionRuleOptions {
-    sensitiveKeys?: readonly string[];
-    redactedMarkers?: readonly string[];
-    maxFindings?: number;
-}
-/**
- * Experimental options for the built-in raw content path rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface SafetyRawContentRuleOptions {
-    forbiddenKeys?: readonly string[];
-    includeSummaries?: boolean;
-    maxFindings?: number;
+interface TraceContractObservationRules {
+    required?: string[];
+    failOn?: Array<"failed" | "unknown" | "skipped">;
 }
-/**
- * Experimental secret pattern used by the built-in secret safety rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface SafetySecretPattern {
-    id: string;
-    pattern: RegExp;
-}
-/**
- * Experimental options for the built-in secret pattern safety rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface SafetySecretPatternRuleOptions {
-    patterns?: readonly SafetySecretPattern[];
-    maxStringLength?: number;
-    maxFindings?: number;
+interface TraceContractInput {
+    run?: TraceContractRunRules;
+    tools?: TraceContractToolRules;
+    llm?: TraceContractLlmRules;
+    observations?: TraceContractObservationRules;
 }
-/**
- * Experimental options for the built-in oversized attribute safety rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface SafetyOversizedAttributeRuleOptions {
-    maxStringLength?: number;
-    maxArrayLength?: number;
-    maxObjectKeys?: number;
-    maxSerializedBytes?: number;
-    maxFindings?: number;
+interface TraceContract {
+    run?: TraceContractRunRules;
+    tools?: TraceContractToolRules;
+    llm?: TraceContractLlmRules;
+    observations?: TraceContractObservationRules;
 }
 /**
- * Experimental options for the built-in baseline regression rule.
+ * Define a normalized trace contract object.
  *
- * The baseline must already be normalized through `agent-inspect/readers` or an
- * equivalent `TraceReadResult`; this rule does not read files or parse traces.
- * `durationToleranceMs` defaults to `0`, meaning exact duration comparison.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
+ * @experimental
  */
-interface BaselineRegressionRuleOptions {
-    baseline: TraceCheckInput;
-    baselineRunId?: string;
-    durationToleranceMs?: number;
-    compareFormat?: boolean;
-}
+declare function defineTraceContract(input: TraceContractInput): TraceContract;
 /**
- * Experimental aggregate counts for trace-check results.
+ * Evaluate a trace contract against an opened trace read result.
  *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
+ * @experimental
  */
-interface TraceCheckSummary {
-    passed: number;
-    failed: number;
-    warnings: number;
-    errors: number;
-}
-/**
- * Experimental trace-check result.
- *
- * `status: "fail"` means rules ran and at least one error-severity finding
- * failed. `status: "error"` means execution could not complete because of
- * invalid input, invalid rule selection, or a thrown rule error.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-interface TraceCheckResult {
-    ok: boolean;
-    status: TraceCheckStatus;
-    format: string;
+declare function evaluateTraceContract(input: TraceCheckInput, contract: TraceContract, options?: {
     runId?: string;
-    summary: TraceCheckSummary;
-    findings: TraceCheckFinding[];
-    diagnostics: TraceCheckDiagnostic[];
-}
-/**
- * Create the experimental built-in run status rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createRunStatusRule(options?: RunStatusRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in run duration rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createRunDurationRule(options: RunDurationRuleOptions): TraceCheckRule;
-/**
- * Fail when any step duration exceeds the configured maximum.
- */
-declare function createMaxStepDurationRule(options: MaxStepDurationRuleOptions): TraceCheckRule;
-/**
- * Detect stalled runs: running events and optionally started-but-unended events.
- */
-declare function createStallDetectionRule(options?: StallDetectionRuleOptions): TraceCheckRule;
-/**
- * Require a completed run with no running events.
- */
-declare function createRequireCompletedRule(): TraceCheckRule;
-/**
- * Create the experimental built-in event count rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createRunEventCountRule(options: RunEventCountRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in run depth rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createRunDepthRule(options: RunDepthRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in tool usage rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createToolUsageRule(options: ToolUsageRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in tool ordering rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createToolOrderingRule(options: ToolOrderingRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in tool failure/retry rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createToolFailureRule(options: ToolFailureRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in LLM usage rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createLlmUsageRule(options: LlmUsageRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in structure incomplete rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createStructureIncompleteRule(options?: StructureIncompleteRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in structure orphan rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createStructureOrphanRule(options?: StructureOrphanRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in structure cycle rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createStructureCycleRule(): TraceCheckRule;
-/**
- * Create the experimental built-in structure relationship rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createStructureRelationshipRule(options?: StructureRelationshipRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in structure parallel-width rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createStructureParallelWidthRule(options: StructureParallelWidthRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in retrieval signal rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createRetrievalRule(options: RetrievalRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in guardrail signal rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createGuardrailRule(options: GuardrailRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in decision signal rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createDecisionRule(options: DecisionRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in safety redaction rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createSafetyRedactionRule(options?: SafetyRedactionRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in raw content path safety rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createSafetyRawContentRule(options?: SafetyRawContentRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in secret pattern safety rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createSafetySecretPatternRule(options?: SafetySecretPatternRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in oversized attribute safety rule.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createSafetyOversizedAttributeRule(options: SafetyOversizedAttributeRuleOptions): TraceCheckRule;
-/**
- * Create the experimental built-in baseline regression rule.
- *
- * The rule compares safe structural summaries from a normalized baseline
- * against the candidate context. It intentionally ignores raw prompt/output,
- * request/response body, header, and tool payload text.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function createBaselineRegressionRule(options: BaselineRegressionRuleOptions): TraceCheckRule;
-/**
- * Experimental rule for observed real-world outcomes (v4.4+).
- */
-interface ObservedOutcomeRuleOptions {
-    failOn?: readonly ObservedOutcomeStatus[];
-}
-declare function createObservedOutcomeRule(options?: ObservedOutcomeRuleOptions): TraceCheckRule;
-/**
- * Run experimental deterministic trace checks against normalized reader output.
- *
- * The engine is local-only and pure: it does not discover config files, read
- * trace files, call providers, perform network I/O, or mutate input objects.
- *
- * @experimental Available through `agent-inspect/checks`; the checks API may
- * evolve during the v1.x experimental period.
- */
-declare function runTraceChecks(input: TraceCheckInput, options?: RunTraceChecksOptions): TraceCheckResult;
+}): TraceCheckResult;
 
-export { type BaselineRegressionRuleOptions, type DecisionRuleOptions, type GuardrailRuleOptions, type LlmUsageRuleOptions, type MaxStepDurationRuleOptions, type ObservedOutcomeRuleOptions, type RetrievalRuleOptions, type RunDepthRuleOptions, type RunDurationRuleOptions, type RunEventCountRuleOptions, type RunStatusRuleOptions, type RunTraceChecksOptions, type SafetyOversizedAttributeRuleOptions, type SafetyRawContentRuleOptions, type SafetyRedactionRuleOptions, type SafetySecretPattern, type SafetySecretPatternRuleOptions, type StallDetectionRuleOptions, type StructureIncompleteRuleOptions, type StructureOrphanRuleOptions, type StructureParallelWidthRuleOptions, type StructureRelationshipRuleOptions, type ToolFailureRuleOptions, type ToolOrderingRuleOptions, type ToolUsageRuleOptions, type TraceCheckContext, type TraceCheckDiagnostic, type TraceCheckDiagnosticCode, type TraceCheckEvidence, type TraceCheckFacts, type TraceCheckFinding, type TraceCheckFindingStatus, type TraceCheckInput, type TraceCheckResult, type TraceCheckRule, type TraceCheckRuleCategory, type TraceCheckSeverity, type TraceCheckStatus, type TraceCheckSummary, type TraceSignalRuleOptions, 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, runTraceChecks };
+export { TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractInput, type TraceContractLlmRules, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractToolRules, defineTraceContract, evaluateTraceContract };