Struct VerifyIssue 

#[non_exhaustive]
pub struct VerifyIssue {
    pub action_id: String,
    pub severity: String,
    pub message: String,
    pub tier: EvidenceTier,
}

A single verification finding.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

action_id: String

severity: String

message: String

tier: EvidenceTier

Which kind of check produced this finding — see EvidenceTier.

Orthogonal to severity: severity says how bad the situation would be if the finding is right, the tier says how the finding was arrived at. An error from a heuristic and an error from a decision procedure are equally loud and not equally trustworthy.

It is also not the same axis as “does this block execution”. car_engine::is_blocking_issue blocks on state-independence, and two of the three findings it treats as advisory (precondition will fail, not available at this point) are DecisionProcedure findings — exactly decided over a forward model that only sees declared effects. Do not rewire that gate onto this field.

Trait Implementations

impl Clone for VerifyIssue

fn clone(&self) -> VerifyIssue

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VerifyIssue

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

Formats the value using the given formatter.

impl Serialize for VerifyIssue

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.