wasm4pm-compat 26.6.9

Minimal paper-complete, feature-capped Rust process-evidence crate. Start with compatibility. Graduate to execution.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

use serde::{Deserialize, Serialize};
use std::collections::HashMap;

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq)]
pub struct ResidualFailset {
    pub unreplayable_transitions: Vec<FailedTransition>,
    pub deadlocked_places: Vec<String>,
    pub residual_marking: HashMap<String, u32>,
}

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq)]
pub struct FailedTransition {
    pub transition_id: String,
    pub missing_places: Vec<String>,
}

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq)]
pub struct DiagnosticPayload {
    pub code: String,
    pub message: String,
}

pub trait ComplianceDiagnostic {
    fn diagnostic_payload(&self) -> DiagnosticPayload;
}

impl ComplianceDiagnostic for FailedTransition {
    fn diagnostic_payload(&self) -> DiagnosticPayload {
        DiagnosticPayload {
            code: "W4PM-010-FAIL-UNREPLAYABLE".to_string(),
            message: format!(
                "Transition {} could not be replayed due to missing tokens in places: {:?}",
                self.transition_id, self.missing_places
            ),
        }
    }
}

#[derive(Serialize, Deserialize, Debug, Clone, PartialEq, Eq)]
pub struct VerificationReport {
    pub is_compliant: bool,
    pub failset: Option<ResidualFailset>,
}