Struct IntentCriterion 

pub struct IntentCriterion {
    pub id: String,
    pub criterion: String,
    pub evidence: String,
    pub reference: String,
    pub state: IntentEvidenceState,
    pub met: bool,
    pub proof: Option<ProofState>,
    pub reproduce: Option<String>,
}

One criterion with the evidence behind it: what the record declared, what the ledger says about it, whether that meets it, and the command that would produce the evidence again.

use majordomus_cli::evidence::ProofState;
use majordomus_cli::intent::{IntentCriterion, IntentEvidenceState};
let c = IntentCriterion {
    id: "stage-is-derived".into(),
    criterion: "the stage follows the plan".into(),
    evidence: "test".into(),
    reference: "apps/majordomus-cli/tests/intent.rs".into(),
    state: IntentEvidenceState::NotRun,
    met: false,
    proof: Some(ProofState::NotRun),
    reproduce: None,
};
// nothing recorded is not a pass
assert!(!c.met);

Fields

id: String

Unique within the intent.

criterion: String

What is observably true when it is met.

evidence: String

test, claim, command or deployment.

reference: String

What the evidence names, as authored.

state: IntentEvidenceState

Derived: what the evidence says.

met: bool

Derived: the state is current.

proof: Option<ProofState>

Derived: the evidence module’s own verdict behind state, for a test or claim criterion whose reference resolves. A met criterion rests on proven (a pass at this revision) or inputs_unchanged (a pass whose named inputs have not moved since, which is not proof at this revision), and every surface shows which, so met is never the one tick for both.

reproduce: Option<String>

The command that produces the evidence again, when one is known.

Trait Implementations

impl Clone for IntentCriterion

fn clone(&self) -> IntentCriterion

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntentCriterion

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntentCriterion

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for IntentCriterion

impl JsonSchema for IntentCriterion

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 PartialEq for IntentCriterion

fn eq(&self, other: &IntentCriterion) -> 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 IntentCriterion

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 IntentCriterion