agent-inspect 6.4.0 → 6.4.1

package/packages/core/dist/index-BblJEdYZ.d.ts

@@ -0,0 +1,618 @@
+import { TraceReadResult, TraceReadWarning } from './readers.js';
+import { a as InspectRunTree, b as InspectNode, A as AttributionConfidence } from './inspect-event-DVg84S4v.js';
+import { P as PersistedInspectEvent } from './persisted-inspect-event-ChE7pGb7.js';
+import { O as ObservedOutcomeStatus } from './types-B562HgN_.js';
+
+/**
+ * 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.
+ */
+interface ToolOrderingRuleOptions {
+    before: string;
+    after: string;
+}
+/**
+ * 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;
+}
+/**
+ * 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[];
+    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 {
+}
+/**
+ * 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;
+}
+/**
+ * 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;
+}
+/**
+ * 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;
+}
+/**
+ * Experimental options for the built-in baseline regression rule.
+ *
+ * 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.
+ */
+interface BaselineRegressionRuleOptions {
+    baseline: TraceCheckInput;
+    baselineRunId?: string;
+    durationToleranceMs?: number;
+    compareFormat?: boolean;
+}
+/**
+ * Experimental aggregate counts for trace-check results.
+ *
+ * @experimental Available through `agent-inspect/checks`; the checks API may
+ * evolve during the v1.x experimental period.
+ */
+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;
+    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;
+
+export { createSafetyRawContentRule as $, type TraceCheckRuleCategory as A, type BaselineRegressionRuleOptions as B, type TraceCheckSeverity as C, type DecisionRuleOptions as D, type TraceCheckStatus as E, type TraceCheckSummary as F, type GuardrailRuleOptions as G, type TraceSignalRuleOptions as H, createBaselineRegressionRule as I, createDecisionRule as J, createGuardrailRule as K, type LlmUsageRuleOptions as L, type MaxStepDurationRuleOptions as M, createLlmUsageRule as N, type ObservedOutcomeRuleOptions as O, createMaxStepDurationRule as P, createObservedOutcomeRule as Q, type RetrievalRuleOptions as R, type SafetyOversizedAttributeRuleOptions as S, type TraceCheckInput as T, createRequireCompletedRule as U, createRetrievalRule as V, createRunDepthRule as W, createRunDurationRule as X, createRunEventCountRule as Y, createRunStatusRule as Z, createSafetyOversizedAttributeRule as _, type TraceCheckResult as a, createSafetyRedactionRule as a0, createSafetySecretPatternRule as a1, createStallDetectionRule as a2, createStructureCycleRule as a3, createStructureIncompleteRule as a4, createStructureOrphanRule as a5, createStructureParallelWidthRule as a6, createStructureRelationshipRule as a7, createToolFailureRule as a8, createToolOrderingRule as a9, createToolUsageRule as aa, runTraceChecks as ab, type RunDepthRuleOptions as b, type RunDurationRuleOptions as c, type RunEventCountRuleOptions as d, type RunStatusRuleOptions as e, type RunTraceChecksOptions as f, type SafetyRawContentRuleOptions as g, type SafetyRedactionRuleOptions as h, type SafetySecretPattern as i, type SafetySecretPatternRuleOptions as j, type StallDetectionRuleOptions as k, type StructureIncompleteRuleOptions as l, type StructureOrphanRuleOptions as m, type StructureParallelWidthRuleOptions as n, type StructureRelationshipRuleOptions as o, type ToolFailureRuleOptions as p, type ToolOrderingRuleOptions as q, type ToolUsageRuleOptions as r, type TraceCheckContext as s, type TraceCheckDiagnostic as t, type TraceCheckDiagnosticCode as u, type TraceCheckEvidence as v, type TraceCheckFacts as w, type TraceCheckFinding as x, type TraceCheckFindingStatus as y, type TraceCheckRule as z };