Struct VerifyArgs 

pub struct VerifyArgs {
    pub binding: String,
    pub budget: Option<usize>,
    pub include: Vec<String>,
    pub full: bool,
}

Fields

binding: String

The binding id <mem>/<stem> (D3) — e.g. engine/graph.

budget: Option<usize>

Token budget for the tier-1 fidelity report’s heavy content (per-artifact lists). Aggregated counts always ship in addition; heavy lists greedy-fill and drop to ## Hints when they do not fit. Defaults to the house envelope budget.

include: Vec<String>

Force a heavy report section in past the budget (repeatable): uncovered_artifacts | tree_fanout | superseded_findings.

full: bool

Full measurement: walk the entire enumerable source S(D) (the rotating sample scheduler is bypassed), treat the per-run adjudication cap as unlimited, and perform the prepared-hash backfill — the report’s coverage and accuracy figures are computed over everything, with no sampling or truncation caveat. Refuses (typed) when a facet’s medium is non-enumerable rather than render a fabricated-complete report. Without this flag the capped/sampled loop economics are unchanged.

Trait Implementations

impl Args for VerifyArgs

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 Debug for VerifyArgs

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

Formats the value using the given formatter.

impl FromArgMatches for VerifyArgs

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.