lex-runtime 0.11.15

Effect handler runtime + capability policy for Lex.
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
33
34
35
36
37
38

//! M5: effect runtime + sandbox. See spec §7.4 and §8.5.
//!
//! What's here:
//! - `policy::Policy` and `policy::check_program` — the static capability
//!   gate that walks declared effects and rejects programs whose effects
//!   are out of bounds before any code runs.
//! - `handler::DefaultHandler` — the host-side effect handler that the VM
//!   dispatches `EFFECT_CALL` through.
//!
//! What's not here yet (deferred):
//! - WASM-level isolation (`wasmtime` integration). The `--unsafe-no-sandbox`
//!   flag in the spec is operationally implicit for now: native execution
//!   only. We ship the policy/dispatch layer, which is the user-visible
//!   half of §7.4 and what the §7.6 acceptance tests exercise.

pub mod arena;
pub mod arrow;
pub mod builtins;
mod stdlib;
#[cfg(feature = "df")]
pub mod df;
pub mod cli;
pub mod examples;
pub mod policy;
pub mod handler;
#[cfg(feature = "quic")]
pub mod quic;
pub mod ws;
pub mod mcp_client;
pub mod llm;

pub use builtins::{call_pure_builtin, is_pure_call, is_pure_module, try_pure_builtin};
pub use handler::{
    ApprovalSink, CapturedSink, DefaultHandler, IoSink, NullApprovalSink, StdinApprovalSink,
    StdoutSink,
};
pub use policy::{check_program, Policy, PolicyReport, PolicyViolation};
pub use examples::evaluate_examples;