Struct CostGateConfig

Source

pub struct CostGateConfig {
    pub min_prefix_len: usize,
    pub min_literal_len: usize,
    pub node_count_threshold: Option<usize>,
}

Expand description

Tunable thresholds for the gate. Defaults match the design’s §B6 / §1.4 numbers. Each threshold is also overridable via the SQRY_COST_GATE_* environment variables consumed at config load (the daemon’s DaemonConfig already plumbs these — see sqry-daemon/src/config.rs::CostGateConfigView for the source of truth, and per B_cost_gate.md §B6 + 00_contracts.md §3.CC-3).

Fields§

§min_prefix_len: usize

Minimum literal-prefix length that disqualifies an anchored regex from “prohibitive”. Default 3 per B_cost_gate.md §1.

§min_literal_len: usize

Minimum Hir::minimum_len that disqualifies a regex when no usable prefix exists. Default 3 per B_cost_gate.md §1.

§node_count_threshold: Option<usize>

Arena-size cap below which prohibitive shapes are allowed without scope coupling. None (or Some(0)) disables the cap entirely — the gate degenerates to a shape-only check. Default Some(50_000) per B_cost_gate.md §1 + §B6.

Struct CostGateConfig Copy item path

Fields§

Implementations§

impl CostGateConfig

pub const DEFAULT_MIN_PREFIX_LEN: usize = 3

pub const DEFAULT_MIN_LITERAL_LEN: usize = 4

pub const DEFAULT_NODE_COUNT_THRESHOLD: usize = 50_000

Trait Implementations§

impl Clone for CostGateConfig

fn clone(&self) -> CostGateConfig

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

impl Copy for CostGateConfig

impl Debug for CostGateConfig

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

impl Default for CostGateConfig

fn default() -> Self

impl Eq for CostGateConfig

impl PartialEq for CostGateConfig

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

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

impl StructuralPartialEq for CostGateConfig

Auto Trait Implementations§

impl Freeze for CostGateConfig

impl RefUnwindSafe for CostGateConfig

impl Send for CostGateConfig

impl Sync for CostGateConfig

impl Unpin for CostGateConfig

impl UnsafeUnpin for CostGateConfig

impl UnwindSafe for CostGateConfig

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<D> OwoColorize for D

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where C: Color,

fn black(&self) -> FgColorDisplay<'_, Black, Self>

fn on_black(&self) -> BgColorDisplay<'_, Black, Self>

fn red(&self) -> FgColorDisplay<'_, Red, Self>

fn on_red(&self) -> BgColorDisplay<'_, Red, Self>

fn green(&self) -> FgColorDisplay<'_, Green, Self>

fn on_green(&self) -> BgColorDisplay<'_, Green, Self>

fn yellow(&self) -> FgColorDisplay<'_, Yellow, Self>

fn on_yellow(&self) -> BgColorDisplay<'_, Yellow, Self>

fn blue(&self) -> FgColorDisplay<'_, Blue, Self>

fn on_blue(&self) -> BgColorDisplay<'_, Blue, Self>

fn magenta(&self) -> FgColorDisplay<'_, Magenta, Self>

fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>

fn purple(&self) -> FgColorDisplay<'_, Magenta, Self>

fn on_purple(&self) -> BgColorDisplay<'_, Magenta, Self>

fn cyan(&self) -> FgColorDisplay<'_, Cyan, Self>

fn on_cyan(&self) -> BgColorDisplay<'_, Cyan, Self>

fn white(&self) -> FgColorDisplay<'_, White, Self>

fn on_white(&self) -> BgColorDisplay<'_, White, Self>

fn default_color(&self) -> FgColorDisplay<'_, Default, Self>

fn on_default_color(&self) -> BgColorDisplay<'_, Default, Self>

fn bright_black(&self) -> FgColorDisplay<'_, BrightBlack, Self>

fn on_bright_black(&self) -> BgColorDisplay<'_, BrightBlack, Self>

fn bright_red(&self) -> FgColorDisplay<'_, BrightRed, Self>

fn on_bright_red(&self) -> BgColorDisplay<'_, BrightRed, Self>

fn bright_green(&self) -> FgColorDisplay<'_, BrightGreen, Self>

Struct CostGateConfig

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>
where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>
where C: Color,

fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,