//! CLI module for BLVM Spec Lock
//!
//! Handles command-line interface, file discovery, and verification orchestration

pub mod coverage;
pub mod drift;
pub mod filters;
pub mod formula_checks;
pub mod formula_dep_graph;
pub mod output;
pub mod spec_enrich;
pub mod verify;
