Struct QueryArgs 

pub struct QueryArgs {

    pub query: String,
    pub contract_dir: PathBuf,
    pub regex: bool,
    pub literal: bool,
    pub case_sensitive: bool,
    pub limit: usize,
    pub obligation: Option<String>,
    pub depends_on: Option<String>,
    pub depended_by: Option<String>,
    pub unproven: bool,
    pub min_score: Option<f64>,
    pub min_level: Option<String>,
    pub score: bool,
    pub graph: bool,
    pub paper: bool,
    pub proof_status: bool,
    pub binding_info: bool,
    pub binding_gaps: bool,
    pub diff: bool,
    pub pagerank: bool,
    pub call_sites: bool,
    pub violations: bool,
    pub coverage_map: bool,
    pub project: Option<String>,
    pub include_project: Option<PathBuf>,
    pub all_projects: bool,
    pub tier: Option<u8>,
    pub class: Option<char>,
    pub kind: Option<String>,
    pub rebuild_index: bool,
    pub binding: Option<PathBuf>,
    pub format: String,
    pub exit_code: bool,
}

Arguments for the pv query command — extracted for file health compliance.

Fields

query: String

Search query string

contract_dir: PathBuf

Directory containing contract YAML files

regex: bool

Use regex matching instead of semantic search

literal: bool

Use literal substring matching

case_sensitive: bool

Force case-sensitive matching

limit: usize

Maximum number of results

obligation: Option<String>

Filter by obligation type

depends_on: Option<String>

Filter to contracts depending on this stem

depended_by: Option<String>

Filter to contracts depended on by this stem

unproven: bool

Show only contracts with unproven obligations

min_score: Option<f64>

Minimum score threshold

min_level: Option<String>

Minimum proof level (L1-L5)

score: bool

Include contract scores in output

graph: bool

Include dependency graph info

paper: bool

Include paper references

proof_status: bool

Include proof level (L1-L5)

binding_info: bool

Include binding status per equation

binding_gaps: bool

Show only contracts with unimplemented bindings

diff: bool

Show last git modification date

pagerank: bool

Show dependency pagerank score

call_sites: bool

Show cross-project call sites

violations: bool

Show contract violations in consumer projects

coverage_map: bool

Show cross-project coverage matrix

project: Option<String>

Filter cross-project results to a named project

include_project: Option<PathBuf>

Add an explicit project path to the cross-project scan

all_projects: bool

Force full cross-project scan

tier: Option<u8>

Filter by contract tier (1-7)

class: Option<char>

Filter by kernel equivalence class (A-E)

kind: Option<String>

Filter: kernel|registry|model-family|pattern|schema

rebuild_index: bool

Force rebuild of the contract index

binding: Option<PathBuf>

Path to binding registry YAML

format: String

Output format: text, json, or markdown

exit_code: bool

Exit with status 1 if no results match

Trait Implementations

impl Args for QueryArgs

fn group_id() -> Option<Id>

Report the ArgGroup::id for this set of arguments

fn augment_args<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut

fn augment_args_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut

impl Clone for QueryArgs

fn clone(&self) -> QueryArgs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QueryArgs

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

Formats the value using the given formatter.

impl FromArgMatches for QueryArgs

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.