bombay_engine/lib.rs
1//! Actor-independent runtime engine composing Bombay Behavior, Transition,
2//! and Machine Executor.
3//!
4//! # Architecture
5//!
6//! This crate provides the orchestration layer:
7//!
8//! - `BehaviorMachine` (internal) — adapts a `Behavior` to [`bombay_transition::Machine`]
9//! - [`Driver`] — production async executor using
10//! [`bombay_machine_executor::ExclusiveExecutor`] for machine stepping
11//! - [`Environment`] — actor-independent I/O abstraction
12//! - [`RuntimeEffects`], [`RunError`], [`RunExit`] — effect and terminal types
13
14mod behavior_machine;
15mod behavior_machine_tests;
16mod driver;
17mod driver_tests;
18mod environment;
19mod inversion_tests;
20mod property_tests;
21mod run;
22
23pub(crate) use behavior_machine::BehaviorMachine;
24pub use driver::{Driver, RuntimeEffects};
25pub use environment::Environment;
26pub use run::{RunError, RunExit};