/**
 * Thrown when an argument's structural invariants (beyond what
 * `validateArgument` surfaces) preclude a review-helper operation —
 * for example, two variables binding to the same claim with different
 * versions.
 */
export declare class InvalidArgumentStructureError extends Error {
    constructor(message: string);
}
/**
 * Thrown by `canonicalizeOperatorAssignments` when an expression override
 * references an expression id that does not exist in any premise of the
 * argument.
 */
export declare class UnknownExpressionError extends Error {
    readonly expressionId: string;
    constructor(expressionId: string);
}
/**
 * Reason an expression cannot be voted on:
 * - `"is-not-operator"` — the expression is the `"not"` operator (flipped
 *   by render-time negation, not voted on).
 * - `"not-an-operator-type"` — the expression exists but is a variable or
 *   formula node; only operator expressions carry accept/reject state.
 */
export type TNotOperatorNotDecidableReason = "is-not-operator" | "not-an-operator-type";
/**
 * Thrown by `canonicalizeOperatorAssignments` when an override targets an
 * expression that cannot carry an accept/reject assignment.
 */
export declare class NotOperatorNotDecidableError extends Error {
    readonly expressionId: string;
    readonly reason: TNotOperatorNotDecidableReason;
    constructor(expressionId: string, reason: TNotOperatorNotDecidableReason);
}
//# sourceMappingURL=review-errors.d.ts.map