//! # sheafsync
//!
//! Motor de consistencia sin coordinación. Modela el estado distribuido como un
//! haz celular sobre el grafo de réplicas (el nervio) y calcula su cohomología
//! `H⁰`/`H¹` para decidir, con demostración, cuándo se puede fundir sin
//! coordinación y cuándo hay una obstrucción localizada.
//!
//! Ver `DESIGN.md` para el diseño completo. Este es el scaffold de M0: la forma
//! de todos los módulos, sin lógica de negocio todavía.
//!
//! Pipeline (§5):
//! `cell` → `nerve` → `sheaf` → `cohomology` → `verdict`, validado por `oracle`.

pub mod cell;
pub mod cohomology;
pub mod error;
pub mod escrow;
pub mod gf2;
pub mod invariant;
pub mod lattice;
pub mod linalg;
pub mod native;
pub mod nerve;
pub mod oracle;
pub mod router;
pub mod sheaf;
pub mod tarski;
pub mod verdict;

pub use error::{Result, SheafError};

#[cfg(test)]
mod tests {
    use crate::linalg::Matrix;

    /// Test dummy de M0: el andamio compila y los tipos básicos existen.
    /// La lógica real (cohomología, cordura topológica) llega en T1.
    #[test]
    fn scaffold_compila() {
        let m = Matrix::zeros(2, 3);
        assert_eq!(m.rows, 2);
        assert_eq!(m.cols, 3);
        assert_eq!(m.data.len(), 6);
    }
}