//! Runtime fault taxonomy and coverage lane (WOR-1416).
//!
//! MCP servers fail at runtime in recurring families: protocol-lifecycle slips,
//! tool-invocation crashes, schema gaps, state leaks, provider-integration
//! breaks, security lapses, timeouts, and unenforced configuration. This module
//! models those families as a versioned taxonomy (mirroring the compliance
//! registry) and answers one question for a suite: which fault families did it
//! actually exercise?
//!
//! The taxonomy is the source of truth in `registry.yml`, embedded at build
//! time so the lane works without the repo checked out. [`coverage`] joins it
//! against the set of probes a run exercised to mark each family covered,
//! partially covered, uncovered, or not applicable.

mod coverage;
mod registry;

pub use coverage::{
    coverage, CoverageStatus, FamilyCoverage, FaultCoverageReport, FaultLeafCoverage,
};
pub use registry::{FaultCategory, FaultEntry, FaultTaxonomy, KNOWN_PROBES, KNOWN_SCOPES};
