pub struct Finding {
pub id: String,
pub verdict: Verdict,
pub why: String,
pub revision: &'static str,
pub substitutions: Vec<Substitution>,
pub conjoined: bool,
pub observed: Option<Observation>,
}Expand description
One published query’s verdict, with the evidence behind it.
Fields§
§id: String§verdict: Verdict§why: StringThe evidence, in the words a maintainer needs to act on it.
revision: &'static strWhat a re-card would do to this query: current (byte-identical to what
this generator writes for this very card — nothing to fix),
superseded (the generator writes a different body now), or dropped
(it would no longer be emitted at all).
substitutions: Vec<Substitution>The terms substituted into the body, each tagged with the card ranking it was drawn from. Two terms from different rankings conjoined in one body is the #172 shape — recorded for every query, so the census is empirical rather than a re-reading of the table.
conjoined: boolTrue when the body conjoins two or more independently-ranked terms.
observed: Option<Observation>What running the query actually did — absent unless --measure ran it.
Kept beside verdict, never merged into it: one is what a card can
prove about a file, the other is what the file did. Where they disagree
the observation wins, and the disagreement is the finding.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Finding
impl RefUnwindSafe for Finding
impl Send for Finding
impl Sync for Finding
impl Unpin for Finding
impl UnsafeUnpin for Finding
impl UnwindSafe for Finding
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more