//! Query and subscription layer (L5) for the ontoref verifiable substrate.
//!
//! Decorates a `TripleStore` with the apply pipeline + subscription dispatch
//! and exposes recursive queries (transitive closure today; richer datalog
//! later). G6 hand-rolls the recursion rather than pulling in `ascent`
//! (plan D3 explicitly allows the pivot); the gate test names are stable so
//! a future swap-in is mechanical.

#![forbid(unsafe_code)]
#![warn(missing_docs)]

pub mod engine;
pub mod error;

pub use engine::{QueryEngine, Subscriber};
pub use error::{Error, Result};
