Struct VerificationResult 

pub struct VerificationResult {
    pub syntax_ok: bool,
    pub build_ok: bool,
    pub tests_ok: bool,
    pub lint_ok: bool,
    pub diagnostics_count: usize,
    pub tests_passed: usize,
    pub tests_failed: usize,
    pub summary: String,
    pub raw_output: Option<String>,
    pub degraded: bool,
    pub degraded_reason: Option<String>,
    pub stage_outcomes: Vec<StageOutcome>,
}

PSP-5: Structured verification result from a plugin-driven verifier

Holds the outcome of running syntax checks, build, tests, and lint through the active language plugin’s toolchain.

Fields

syntax_ok: bool

Whether the syntax/type check passed

build_ok: bool

Whether the build succeeded

tests_ok: bool

Whether tests passed

lint_ok: bool

Whether lint passed (only in Strict mode)

diagnostics_count: usize

Number of diagnostics from LSP / compiler

tests_passed: usize

Number of tests passed

tests_failed: usize

Number of tests failed

summary: String

Summary output from verification tools

raw_output: Option<String>

Raw tool output (for correction prompts)

degraded: bool

Whether verification ran in degraded mode (missing tools)

degraded_reason: Option<String>

Reason for degraded mode

stage_outcomes: Vec<StageOutcome>

Per-stage outcomes with sensor status

Implementations

impl VerificationResult

pub fn all_passed(&self) -> bool

Check if all verification stages passed

pub fn degraded(reason: impl Into<String>) -> Self

Create a degraded result when tools are unavailable

pub fn has_degraded_stages(&self) -> bool

Check whether any stage ran with a fallback or unavailable sensor.

When true the caller should NOT treat a passing result as a genuine stability proof — the energy surface was only partially observable.

pub fn degraded_stage_reasons(&self) -> Vec<String>

Collect human-readable descriptions of all degraded stages.

Trait Implementations

impl Clone for VerificationResult

fn clone(&self) -> VerificationResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationResult

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

Formats the value using the given formatter.

impl Default for VerificationResult

fn default() -> VerificationResult

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VerificationResult

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for VerificationResult

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

where __S: Serializer,

Serialize this value into the given Serde serializer.