#![cfg_attr(coverage_nightly, coverage(off))]
pub mod daemon;
pub mod mcp_server;
pub mod quality_monitor;
pub mod state_persistence;
pub use daemon::*;
pub use mcp_server::*;
pub use quality_monitor::{
FileQualityMetrics, QualityEvent, QualityMetrics as MonitorQualityMetrics,
QualityMonitorConfig, QualityMonitorEngine,
};
pub use state_persistence::{
AgentState, AgentStatistics, ProjectState, QualityMetrics as PersistentQualityMetrics,
QualitySnapshot, QualityThresholds, StatePersistence,
};
#[cfg_attr(coverage_nightly, coverage(off))]
#[cfg(test)]
mod property_tests {
use proptest::prelude::*;
proptest! {
#[test]
fn basic_property_stability(_input in ".*") {
prop_assert!(true);
}
#[test]
fn module_consistency_check(_x in 0u32..1000) {
prop_assert!(_x < 1001);
}
}
}