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;
12mod value;
13
14pub use contract::{ActionRequest, ActionResult, Violation, ViolationKind, execute_action};
15pub use error::RuntimeError;
16pub use eval::evaluate;
17#[cfg(feature = "server")]
18pub use server::serve;
19pub use value::EvalContext;