ggen-core 26.5.19

Core graph-aware code generation engine
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

//! Receipt and Replay: The deterministic proof of consequence

use chrono::{DateTime, Utc};
use serde::{Deserialize, Serialize};

/// A canonical capture of a semantic operation.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct Receipt<L, C, A, E> {
    pub law_id: String,
    pub law_version: String,
    pub field_raw: u8,
    pub selected_condition: C,
    pub admitted_consequence: A,
    pub exit: E,
    pub sequence: u64,
    pub timestamp: DateTime<Utc>,
    pub digest: String,
    _marker: std::marker::PhantomData<L>,
}

/// The result of a replay operation.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub enum Replay<R> {
    Ok(R),
    Mismatch(String),
    LawMismatch { expected: String, actual: String },
}