Struct Kernel 

pub struct Kernel { /* private fields */ }

The μ-Kernel: deterministic decision engine

Implementations

impl Kernel

pub fn new() -> Self

Create a new kernel

pub fn update_schema( &mut self, name: impl Into<String>, schema: Value, ) -> DoDResult<()>

Update schema (ΔΣ)

pub fn add_invariant( &mut self, name: impl Into<String>, constraint: impl Into<String>, ) -> DoDResult<()>

Add invariant

pub fn decide( &mut self, observations: Vec<Observation>, tenant_id: &str, ) -> DoDResult<KernelDecision>

Execute decision with timing enforcement

pub fn verify_determinism( &self, original_decision: &KernelDecision, replay_decision: &KernelDecision, ) -> DoDResult<()>

Verify determinism: replay should produce identical hash

pub fn execution_history(&self) -> &BTreeMap<String, KernelDecision>

Get execution history

Trait Implementations

impl Default for Kernel

fn default() -> Self

Returns the “default value” for a type.