Struct VerifyArgs 

pub struct VerifyArgs {
    pub binding: String,
    pub budget: Option<usize>,
    pub include: Vec<String>,
    pub full: bool,
    pub fail_on_findings: 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) rather than render a fabricated-complete report in two cases, both per facet: a facet whose medium is non-enumerable, and a facet whose medium claims enumerability but whose own walk yields no artifacts — a sibling facet that walked does not excuse it. Without this flag the capped/sampled loop economics are unchanged.

fail_on_findings: bool

CI-gate mode: exit 6 when the completed run recorded findings, so a pull-request gate can branch on three outcomes without parsing output — 0 completed-and-clean, 6 completed-with-findings, any other nonzero the measurement itself failed. The full report is rendered first, either way. Opt-in by design: without this flag the exit behaviour is byte-for-byte what it has always been, so no existing consumer breaks.

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.