//! Core state types and check pipeline for the whyno permission debugger.
//!
//! Pure logic, zero I/O. All filesystem state is gathered externally
//! and passed in via [`state::SystemState`]. Check pipeline operates
//! deterministically on that struct.