Struct VerifyArgs 

pub struct VerifyArgs {
    pub binding: String,
    pub budget: Option<usize>,
    pub include: Vec<String>,
    pub full: bool,
    pub fail_on_findings: bool,
    pub fail_on_inconclusive: bool,
    pub advance: 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.

fail_on_inconclusive: bool

CI-gate mode for blind runs: exit 6 (typed PROJECTION_VERIFY_INCONCLUSIVE) when the completed run’s rollup verdict is inconclusive — no readable change signal, an empty enumerated scope — so a gate cannot go green on a measurement that never happened. Replaces the documented two-step verdict read for opted-in callers. Evaluated after --fail-on-findings (a findings run with both flags exits with the findings code). The full report is rendered first. Opt-in by design: without this flag an inconclusive run keeps its long-standing exit 0.

advance: bool

Advance the <binding>/<facet>#verified baseline, the freshness token the selection loop reads to decide when a verify is due again. Off by default: a bare verify measures without moving the mem’s config, so a gate or a grader that verifies in order to READ leaves that config byte-identical and the next run still sees the binding as unverified. Two writes deliberately do NOT ride this flag, because neither is a freshness claim: the findings store, which is the verify surface’s own state outside the mem, and the prepared-hash backfill onto hash-less anchors, which is measurement machinery. Withhold that backfill and an anchor never leaves recheck, so drift stops being adjudicated at all.

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.