//! Proof Validator — Curry-Howard Isomorphism Checker + WORM Rollback
//!
//! Verifies that self-modification steps preserve extracted invariants.
//! On violation: rollback to last valid WORM checkpoint.

pub mod proof_ir;
pub mod checker;
pub mod validator;
pub mod rollback;
pub mod schema;

pub use proof_ir::{ProofTerm, ProofContext, ProofObligation};
pub use checker::TypeChecker;
pub use validator::ProofValidator;
pub use rollback::RollbackManager;
pub use schema::{ProofEvent, ViolationEvent};