Struct AgenticSystemValidationReport 

pub struct AgenticSystemValidationReport { /* private fields */ }

The complete outcome of analysing an agentic system design.

Every defect, not the first one: a design has a dozen kinds of element that can disagree with each other, and an author told about one at a time would need a dozen round trips to get a publishable system.

The resolved pins travel with the report because they are what the analysis was performed against. A report that said “publishable” without saying which published definitions it checked would be an opinion about an unnamed set of documents.

Implementations

impl AgenticSystemValidationReport

pub fn new( findings: impl IntoIterator<Item = AgenticSystemValidationFinding>, resolved_pins: impl IntoIterator<Item = (SystemCeremonyId, DefinitionPin)>, ) -> Self

pub fn findings(&self) -> &[AgenticSystemValidationFinding]

pub const fn resolved_pins(&self) -> &BTreeMap<SystemCeremonyId, DefinitionPin>

pub fn errors(&self) -> impl Iterator<Item = &AgenticSystemValidationFinding>

pub fn warnings(&self) -> impl Iterator<Item = &AgenticSystemValidationFinding>

pub fn first_error(&self) -> Option<&AgenticSystemValidationFinding>

The first blocking finding, in check order.

pub fn is_publishable(&self) -> bool

A design may be published only when no finding blocks it.

pub fn blocking_summary(&self) -> String

Every blocking finding on one line, for an error envelope that has room for a sentence rather than a structure.

Trait Implementations

impl Clone for AgenticSystemValidationReport

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgenticSystemValidationReport

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

Formats the value using the given formatter.

impl Default for AgenticSystemValidationReport

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for AgenticSystemValidationReport

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AgenticSystemValidationReport