harn-vm 0.10.93

Async bytecode virtual machine for the Harn programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! Prepared-run authority reconciliation.
//!
//! [`PreparedRun`] is the external seam: callers provide a value-free
//! [`RunIntent`] and observed [`HostFacts`], then receive either a ready
//! [`AuthorityLease`], one batched approval request, or actionable blocking
//! diagnostics. Execution consumes the lease through the same canonical
//! evaluators used during preparation and persists terminal authority evidence.

mod contracts;
mod engine;
mod receipt;

pub use contracts::*;
pub use engine::*;
pub use receipt::*;

#[cfg(test)]
mod tests;