//! Loadable read-only world projection and explanation product.
//!
//! The product receives already observed semantic facts from its caller. It can
//! project, compare, and explain those facts, but has no observation, process,
//! network, clock, random, mutation, or proof-execution port.
pub use ;
pub use ;