export declare const AGGREGATION_SAFETY_PROOF_VERSION: 1;
export declare const AGENT_RUN_TELEMETRY_VERSION: 1;
export declare const ANALYTICAL_EXECUTION_RECEIPT_VERSION: 1;
export type AnalyticalExecutionRouteV1 = 'certified' | 'semantic' | 'governed_sql' | 'exploratory';
/**
 * Canonical, content-free receipt for one analytical execution. The original
 * artifact and frozen plan are identified by fingerprints; a repair therefore
 * creates another receipt instead of mutating this one.
 *
 * The optional linkage fields are retained for graph-only callers that do not
 * own a warehouse target. ExecutionService callers populate every linkage.
 */
export interface AnalyticalExecutionReceiptV1 {
    version: 1;
    receiptId: string;
    graphId: string;
    graphFingerprint: string;
    planId: string;
    planFingerprint: string;
    snapshotId: string;
    route: AnalyticalExecutionRouteV1;
    trustState: 'certified' | 'governed' | 'review_required';
    subReceipts: Array<{
        nodeId: string;
        receiptFingerprint: string;
    }>;
    outputColumns: string[];
    rowCount: number;
    rowBound: number;
    resultFingerprint: string;
    targetFingerprint?: string;
    parameterFingerprint?: string;
    compiledSqlFingerprints?: string[];
    artifactFingerprint?: string;
    aggregationProofFingerprint?: string;
    providerEgressReceiptFingerprints?: string[];
    telemetryFingerprint?: string;
}
export type AggregationSafetyStatus = 'safe' | 'targeted_repair_available' | 'blocked';
export type AggregationAdditivity = 'additive' | 'semi_additive' | 'non_additive' | 'unknown';
export type AggregationFanoutEvidence = 'proven_absent' | 'possible' | 'present' | 'unknown';
export type AggregationRoundingEvidence = 'none' | 'outer' | 'inner' | 'unknown';
/**
 * Content-free, positive-evidence proof for aggregation policy decisions.
 * Warehouse execution success is deliberately absent: it is diagnostic, never
 * authority for metric/additivity/grain safety.
 */
export interface AggregationSafetyProofV1 {
    version: 1;
    status: AggregationSafetyStatus;
    metricIds: string[];
    metricProvenanceFingerprints: string[];
    nativeGrain: string[];
    requestedGrain: string[];
    additivity: AggregationAdditivity;
    joinCardinalities: string[];
    fanout: AggregationFanoutEvidence;
    rounding: AggregationRoundingEvidence;
    issueCodes: string[];
    correctionCodes: string[];
    sqlFingerprint: string;
    planFingerprint?: string;
    evidenceFingerprint: string;
}
export type AgentRunTelemetryStage = 'snapshot' | 'retrieval' | 'schema' | 'meaning' | 'provider' | 'tools' | 'validation' | 'repair' | 'execution' | 'narration' | 'persistence' | 'total';
export interface AgentRunTelemetryV1 {
    version: 1;
    stageDurationsMs: Partial<Record<AgentRunTelemetryStage, number>>;
    providerRoundTrips: number;
    toolCalls: number;
    sqlExecutions: number;
    repairs: number;
    egressReceipts: number;
    warehouseDurationMs?: number;
    fallbackReason?: string;
}
/** Fail-closed normalizer for durable telemetry. It accepts numbers and codes only. */
export declare function normalizeAgentRunTelemetryV1(value: unknown): AgentRunTelemetryV1 | undefined;
/** Fail-closed normalizer for persisted analytical execution receipts. */
export declare function normalizeAnalyticalExecutionReceiptV1(value: unknown): AnalyticalExecutionReceiptV1 | undefined;
//# sourceMappingURL=execution.d.ts.map