lsp-max 26.7.3

Law-state LSP runtime: max LSP 3.18 coverage, process-mining conformance, receipt-chain admission
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

use crate::runtime::control_plane::receipts::CryptographicReceipt;

mod admitted_superseded;
mod raw_candidate;
mod refused_quarantined_replayed;

#[cfg(test)]
mod tests;

// Re-exports needed by tests via `use super::*`
#[cfg(test)]
pub(crate) use crate::runtime::control_plane::admission::{
    AdmittedData, CandidateData, GraphAdmissionLaw, RawData, ADMITTED, CANDIDATE, RAW, SUPERSEDED,
};
#[cfg(test)]
pub(crate) use crate::runtime::control_plane::receipts::Blake3Hash;
#[cfg(test)]
pub(crate) use crate::runtime::{Machine, TypestateKernel};
#[cfg(test)]
pub(crate) use ed25519_dalek::Signer;

// ==========================================
// Input payload for CANDIDATE -> ADMITTED
// ==========================================
pub struct CandidateAdmitInput {
    pub store: oxigraph::store::Store,
    pub graph_name: oxigraph::model::GraphName,
    pub receipt: CryptographicReceipt,
}

/// Helper function to convert bytes to hex string (zero-dependency).
pub(super) fn bytes_to_hex(bytes: &[u8]) -> String {
    bytes.iter().map(|b| format!("{:02x}", b)).collect()
}