Enum CostGateError 

pub enum CostGateError {
    QueryTooBroad {
        field: String,
        op: &'static str,
        pattern: String,
        node_count: usize,
        node_limit: usize,
        scope_hint: String,
        min_prefix_len: usize,
        doc_url: &'static str,
    },
}

Verdict the gate returns to the caller.

The MCP boundary (in sqry-mcp/src/server.rs for the standalone path and sqry-daemon/src/mcp_host/error_map.rs for the daemon path) downcasts this and reshapes it into the canonical CC-2 query_too_broad envelope.

Variants

QueryTooBroad

A predicate’s evaluator cost is structurally unbounded over the current snapshot’s arena and the query lacks the scope coupling that would narrow it.

Fields

field: String

Offending predicate’s field name (e.g. name).

op: &'static str

Operator string (":" for Equal, "~=" for Regex).

pattern: String

Offending value/regex pattern, surrounded by /.../ for regexes (matches B_cost_gate.md §5 user-message shape). The raw pattern is RETAINED for the human message but is not echoed into the structured predicate_shape field (cluster-B iter-2 fix — codex review flagged the raw-value leak).

node_count: usize

Snapshot arena size at gate time — surfaces in the envelope as details.estimated_visited_nodes and in the human message as the literal node count.

node_limit: usize

Configured static node-limit threshold (the value the gate compared node_count against). Surfaces as details.limit. Distinct from node_count so the wire envelope reports both the cap and the snapshot size (cluster-B iter-2 fix — codex review flagged the limit = node_count mistake).

scope_hint: String

Comma-joined list of fields that would satisfy coupling. Always derived from SCOPE_FILTER_FIELDS.

min_prefix_len: usize

Threshold the gate compared min_prefix_len against — echoes the active config so MCP clients can render specific recovery suggestions.

doc_url: &'static str

Doc URL for the recovery flow (QUERY_TOO_BROAD_DOC_URL).

Implementations

impl CostGateError

pub fn to_query_too_broad_details(&self) -> Value

Build the canonical CC-2 7-key details payload for the MCP envelope. Source discriminator is hard-wired to "static_estimate" since this error class is the pre-flight path; runtime-budget rejections (cluster-C) construct their own variant with source = "runtime_budget" while reusing the same other six keys (per 00_contracts.md §3.CC-2 “B extends details.source in place”).

Trait Implementations

impl Clone for CostGateError

fn clone(&self) -> CostGateError

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CostGateError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for CostGateError

fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for CostGateError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for CostGateError

fn eq(&self, other: &CostGateError) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CostGateError

impl StructuralPartialEq for CostGateError