Struct VerificationReport 

pub struct VerificationReport {
    pub file_id: FileId,
    pub version_count: u64,
    pub structure_valid: bool,
    pub integrity_hash_valid: bool,
    pub hash_chain_valid: bool,
    pub signatures_valid: bool,
    pub is_valid: bool,
    pub errors: Vec<String>,
    pub temporal_warnings: Vec<TemporalWarning>,
}

Detailed verification report for an AION file

Fields

file_id: FileId

File ID

version_count: u64

Number of versions in the file

structure_valid: bool

Whether the file structure is valid

integrity_hash_valid: bool

Whether the file integrity hash matches

hash_chain_valid: bool

Whether the hash chain is intact

signatures_valid: bool

Whether all signatures are valid

is_valid: bool

Overall verification result

errors: Vec<String>

Errors encountered during verification (if any)

temporal_warnings: Vec<TemporalWarning>

Temporal warnings (informational only, do not affect validity)

Implementations

impl VerificationReport

pub const fn new(file_id: FileId, version_count: u64) -> Self

Create a new verification report

pub fn has_temporal_warnings(&self) -> bool

Check if the report has any temporal warnings

pub const fn exit_code(&self) -> ExitCode

Map this verdict to a process exit code.

This is the sole producer of a verify-path exit code in the aion CLI. A valid report maps to std::process::ExitCode::SUCCESS; anything else maps to ExitCode::from(1). Callers must thread this through their return type rather than branching on is_valid and calling std::process::exit by hand — see issue #23.

pub fn mark_valid(&mut self)

Mark all checks as passed

Trait Implementations

impl Clone for VerificationReport

fn clone(&self) -> VerificationReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationReport

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerificationReport

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VerificationReport

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VerificationReport

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VerificationReport

impl StructuralPartialEq for VerificationReport