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

//! Declared POWL process model for lsp-max server instances.
//! The declared model is the ΔP — what the server claims it does.
//! wasm4pm checks actual execution against this declaration.

use wasm4pm_compat::powl::Powl;

/// The declared POWL process model for an lsp-max server instance.
/// Holds the structural description of lawful operations the server performs.
#[derive(Debug, Clone, Default)]
pub struct DeclaredPowlModel {
    /// Human-readable name for this model (e.g. "lsp-max-initialize-flow")
    pub name: String,
    /// The declared POWL structure. None until the server registers its process model.
    pub model: Option<Powl>,
    /// Minimum fitness threshold for admission (0.0–1.0)
    pub fitness_threshold: f64,
}

impl DeclaredPowlModel {
    pub fn new(name: impl Into<String>) -> Self {
        DeclaredPowlModel {
            name: name.into(),
            model: None,
            fitness_threshold: 0.8,
        }
    }

    pub fn with_fitness_threshold(mut self, threshold: f64) -> Self {
        self.fitness_threshold = threshold.clamp(0.0, 1.0);
        self
    }
}