lex-runtime 0.9.4

Effect handler runtime + capability policy for Lex.
docs.rs failed to build lex-runtime-0.9.4
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: lex-runtime-0.9.3

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.