intent_runtime/lib.rs
1//! Stateless runtime for IntentLang specifications.
2//!
3//! Evaluates IR expressions against concrete JSON values, enabling
4//! precondition/postcondition checking and invariant verification
5//! at runtime.
6
7mod contract;
8mod error;
9mod eval;
10#[cfg(feature = "server")]
11mod server;
12pub mod test_runner;
13mod value;
14
15pub use contract::{ActionRequest, ActionResult, Violation, ViolationKind, execute_action};
16pub use error::RuntimeError;
17pub use eval::evaluate;
18#[cfg(feature = "server")]
19pub use server::serve;
20pub use test_runner::{TestResult, run_tests};
21pub use value::EvalContext;