export type UniversalCircuitEntry = "hson" | "json" | "html";
export type UniversalCircuitDirection = "cw" | "ccw";
export type UniversalCircuitVerificationRequest = Readonly<{
    entry: UniversalCircuitEntry;
    source: string;
}>;
export type UniversalCircuitOperationCounts = Readonly<{
    serializations: number;
    parses: number;
    comparisons: number;
    laps: number;
    directions: number;
}>;
export type UniversalCircuitFailure = Readonly<{
    stage: string;
    code: string;
    message: string;
    direction?: UniversalCircuitDirection;
    lap?: number;
    sourceFormat?: UniversalCircuitEntry;
    targetFormat?: UniversalCircuitEntry;
    path?: readonly (string | number)[];
}>;
export type UniversalCircuitProgress = Readonly<{
    stage: "cw-lap-complete" | "ccw-lap-complete" | "comparing";
    completed: number;
    total: number;
    direction?: UniversalCircuitDirection;
    lap?: number;
}>;
export type UniversalCircuitVerificationResult = Readonly<{
    status: "verified" | "failed" | "cancelled";
    entry: UniversalCircuitEntry;
    boundary: "universal-htmlparser2";
    operationCounts: UniversalCircuitOperationCounts;
    durationMs: number;
    failure?: UniversalCircuitFailure;
    baselineHson?: string;
    clockwiseFinalHson?: string;
    counterclockwiseFinalHson?: string;
    finalHtml?: string;
}>;
export type UniversalCircuitVerificationHooks = Readonly<{
    shouldCancel?: () => boolean;
    onProgress?: (progress: UniversalCircuitProgress) => void;
    now?: () => number;
}>;
/**
 * Execute the fixed Phase 2 universal Transform diagnostic policy.
 *
 * This diagnostics-only facade deliberately returns detached strings and scalar
 * evidence rather than exposing the semantic engine's canonical graph records.
 * Cancellation is observed at the engine's existing bounded checkpoints.
 */
export declare function verify_universal_circuit(request: UniversalCircuitVerificationRequest, hooks?: UniversalCircuitVerificationHooks): UniversalCircuitVerificationResult;
//# sourceMappingURL=verify-universal-circuit.d.ts.map