Struct MeshVerifyReport 

pub struct MeshVerifyReport {
    pub ok: bool,
    pub runtime: Option<String>,
    pub checks: Vec<MeshVerifyCheck>,
    pub peers: Vec<PeerVerdict>,
    pub digest: Option<String>,
}

What mesh verify found: the local checks, every peer’s round, and the state digest afterwards. The digest is what makes the report worth running on two machines — two runtimes that print the same digest have the same sessions, claims, handovers and reviews, and two that do not have something to reconcile, whatever their links say.

ok is the conjunction of everything below it, so a caller may act on the one field and a person may read the rest to find out which part of it was false.

use majordomus_cli::mesh::cooperation::MeshVerifyReport;

let report: MeshVerifyReport = cooperation.verify();
assert_eq!(report.runtime.as_deref(), Some(cooperation.runtime_key()));
assert_eq!(report.digest, Some(cooperation.state().digest), "what a peer is compared to");
assert_eq!(report.ok, report.checks.iter().all(|c| c.ok), "one field for every check");

Fields

ok: bool

Whether every check holds and every round succeeded.

runtime: Option<String>

This runtime.

checks: Vec<MeshVerifyCheck>

The checks, in the order they ran.

peers: Vec<PeerVerdict>

Every linked peer’s verdict.

digest: Option<String>

The state digest after the rounds.

Implementations

impl MeshVerifyReport

pub fn inactive(reason: &str) -> Self

The report of a runtime where cooperation does not run.

Not running is a failing verification rather than an empty one: a person who asked whether the mesh works has been told no, and the single check carries the impact — nothing leaves or reaches this runtime — and the steps that would turn it on.

use majordomus_cli::mesh::cooperation::MeshVerifyReport;

let report = MeshVerifyReport::inactive("cooperation is disabled in the declaration");
assert!(!report.ok, "a mesh that does not run has not been verified");
let check = &report.checks[0];
assert!(check.impact.is_some() && check.remediation.is_some(), "what it costs, and the fix");

Trait Implementations

impl Clone for MeshVerifyReport

fn clone(&self) -> MeshVerifyReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MeshVerifyReport

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MeshVerifyReport

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for MeshVerifyReport

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl Serialize for MeshVerifyReport

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

where __S: Serializer,

Serialize this value into the given Serde serializer.