fixup! SNARK library: document with top-level comments

Author: dannywillems

snark/src/lib.rs

@@ -16,6 +16,7 @@
 //! The crate follows the Mina node's Redux architecture pattern with:
 //! - **State**: [`SnarkState`] - Centralized verification state
 //! - **Actions**: [`SnarkAction`] - Events triggering verification operations
+//! - **Enabling Conditions**: [`redux::EnablingCondition`] - Guards preventing invalid state transitions
 //! - **Reducers**: Pure functions managing state transitions
 //! - **Effects**: Service interactions for actual proof verification
 //!