Struct PresentClaim 

pub struct PresentClaim<'a> { /* private fields */ }

Per-claim builder for a possibly-absent (Option-valued) metric. Produced by Verdict::claim_present and the claim_present! macro. On Some(v) every comparator delegates to the value-bound ClaimBuilder, so a present metric behaves EXACTLY like claim!. On None the metric is absent — there is nothing to compare, so every comparator records a LOUD Fail (<name>: metric absent) rather than silently passing. This mirrors the no-guessed-value discipline of MetricId::def returning None for an unregistered key: an absent signal fails the gate, it does not vacuously satisfy it (the hazard of metric.unwrap_or(0.0), where a missing metric becomes a sentinel that can pass a bound).

Implementations

impl<'a> PresentClaim<'a>

pub fn kind(self, kind: DetailKind) -> Self

Override the DetailKind recorded on failure (whether the metric is absent OR present-but-out-of-bound). Mirrors ClaimBuilder::kind.

pub fn because(self, reason: &'a str) -> Self

Attach a rationale appended to the failure message as (reason). Mirrors ClaimBuilder::because.

pub fn at_least(self, floor: f64) -> &'a mut Verdict

Present and >= floor; absent → Fail. See ClaimBuilder::at_least.

pub fn at_most(self, ceiling: f64) -> &'a mut Verdict

Present and <= ceiling; absent → Fail. See ClaimBuilder::at_most.

pub fn lt(self, ceiling: f64) -> &'a mut Verdict

Present and < ceiling; absent → Fail. See ClaimBuilder::lt.

pub fn gt(self, floor: f64) -> &'a mut Verdict

Present and > floor; absent → Fail. See ClaimBuilder::gt.

pub fn between(self, lo: f64, hi: f64) -> &'a mut Verdict

Present and within [lo, hi] (inclusive); absent → Fail. See ClaimBuilder::between.

pub fn near(self, target: f64, tolerance: f64) -> &'a mut Verdict

Present and within tolerance of target; absent → Fail. See ClaimBuilder::near.

pub fn is_finite(self) -> &'a mut Verdict

Present and finite (neither NaN nor ±∞); absent → Fail. See ClaimBuilder::is_finite.