Struct QueryParams 

pub struct QueryParams {

    pub query: String,
    pub mode: SearchMode,
    pub case_sensitive: bool,
    pub limit: usize,
    pub obligation_filter: Option<String>,
    pub min_score: Option<f64>,
    pub depends_on: Option<String>,
    pub depended_by: Option<String>,
    pub unproven_only: bool,
    pub show_score: bool,
    pub show_graph: bool,
    pub show_paper: bool,
    pub show_proof_status: bool,
    pub show_binding: bool,
    pub binding_path: Option<String>,
    pub binding_gaps_only: bool,
    pub show_diff: bool,
    pub show_pagerank: bool,
    pub show_call_sites: bool,
    pub show_violations: bool,
    pub show_coverage_map: bool,
    pub min_level: Option<String>,
    pub project_filter: Option<String>,
    pub include_project: Option<String>,
    pub all_projects: bool,
    pub tier_filter: Option<u8>,
    pub class_filter: Option<char>,
    pub kind_filter: Option<ContractKind>,
}

Parameters controlling a query.

Fields

query: String

mode: SearchMode

case_sensitive: bool

limit: usize

obligation_filter: Option<String>

min_score: Option<f64>

depends_on: Option<String>

depended_by: Option<String>

unproven_only: bool

show_score: bool

show_graph: bool

show_paper: bool

show_proof_status: bool

show_binding: bool

binding_path: Option<String>

binding_gaps_only: bool

show_diff: bool

show_pagerank: bool

show_call_sites: bool

show_violations: bool

show_coverage_map: bool

min_level: Option<String>

project_filter: Option<String>

Filter cross-project results to a named project (e.g., “aprender”).

include_project: Option<String>

Explicit additional project path to include in cross-project scan.

all_projects: bool

Force cross-project scan even when no cross-project flags are set.

tier_filter: Option<u8>

Filter by contract tier (1-7).

class_filter: Option<char>

Filter by kernel equivalence class (A-E).

kind_filter: Option<ContractKind>

Filter by contract kind (kernel, registry, model-family, pattern, schema).

Trait Implementations

impl Clone for QueryParams

fn clone(&self) -> QueryParams

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QueryParams

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

Formats the value using the given formatter.

impl Default for QueryParams

fn default() -> Self

Returns the “default value” for a type.