/**
 * Trace-method rule evaluator.
 *
 * Implements the formal semantics in atr-method-v1.1.md §8 for the three
 * trace primitives: forbid, require, invariant. Operates on a Trace (DAG
 * of spans, OpenInference / OTel GenAI format).
 *
 * Capability: atr/method/trace (per atr-method-v1.1.md §9).
 *
 * Pure function; no I/O. Engine wires this in via evaluateRule dispatch
 * when detection.method === 'trace'.
 */
import type { ATRRule, ATRTrace } from "./types.js";
export interface TraceEvaluationResult {
    matched: boolean;
    violations: string[];
    matchedPrimitives: ("forbid" | "require" | "invariant")[];
}
/** Top-level trace rule evaluator. Returns matched=true if ANY declared
 *  primitive evaluates to violation. */
export declare function evaluateTraceRule(rule: ATRRule, trace: ATRTrace): TraceEvaluationResult;
//# sourceMappingURL=trace-evaluator.d.ts.map