//! Principle registry + matrix generator.
//!
//! The registry is the single source of truth linking spec requirements
//! (MUSTs, SHOULDs, MAYs across P1–P7) to the checks that verify them.
//! `Check::covers()` declares which requirement IDs a check evidences; the
//! matrix generator inverts that mapping to produce coverage artifacts.
// Re-exports used by downstream code + tests.
pub use ;