Struct CheckFinding 

pub struct CheckFinding {
    pub code: String,
    pub section: Option<String>,
    pub message: String,
    pub evidence: Option<String>,
}

A structured finding riding a check record: WHAT failed (or what was observed) in a locatable form, so a failed verdict never forces the author to re-derive the failure from a free-text method note. code is the checker’s own vocabulary (free for callers); the wrapper shape is fixed and refuses unknown keys.

Fields

code: String

The checker’s finding code (hidden-premise, stale-source, …).

section: Option<String>

The section key the finding concerns, when it concerns one.

message: String

One or two sentences a reader can act on.

evidence: Option<String>

What the finding rests on: a quote, a coordinate, a reference.

Implementations

impl CheckFinding

pub const SHAPE: &'static str = "{code: <non-empty>, message: <non-empty>, section?: <key>, evidence?: <text>}"

The shape sentence every refusal names.

pub fn validate(&self) -> Result<(), String>

code and message are required and non-empty; section and evidence, when present, are non-empty too.

pub fn from_json(value: Value) -> Result<Self, String>

Parse and validate a finding from JSON (the CLI’s --finding and batch entries, the MCP param). An unknown key, a missing required key, or an empty value is one typed refusal naming the shape.

Trait Implementations

impl Clone for CheckFinding

fn clone(&self) -> CheckFinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckFinding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CheckFinding

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CheckFinding

impl PartialEq for CheckFinding

fn eq(&self, other: &CheckFinding) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for CheckFinding

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CheckFinding