reasonkit-core 0.1.8

//! # Formal Verification Framework for ThinkTool Algorithms
//!
//! A comprehensive framework for verifying mathematical reasoning and algorithmic correctness
//! using GLM-4.6's strong mathematical reasoning capabilities (claimed 91.0% AIME performance).
//!
//! ## Architecture
//!
//! This framework provides:
//! - **Proof Generation**: Generate formal mathematical proofs from algorithm execution
//! - **Proof Verification**: Validate proof correctness using theorem provers
//! - **Confidence Scoring**: Quantify verification confidence with multiple metrics
//! - **Multi-Model Validation**: Cross-validate proofs using multiple AI models (CONS-008)
//!
//! ## Usage
//!
//! ```rust,ignore
//! use reasonkit_core::verification::{ProofGenerator, ProofVerifier, ConfidenceScorer};
//!
//! // Create verification components
//! let generator = ProofGenerator::new(glm46_config)?;
//! let verifier = ProofVerifier::new();
//! let scorer = ConfidenceScorer::new();
//!
//! // Generate proof from algorithm execution
//! let proof = generator.generate_from_execution(algorithm_trace).await?;
//!
//! // Verify proof
//! let verification = verifier.verify(&proof).await?;
//!
//! // Score confidence
//! let confidence = scorer.score(&verification);
//! if confidence >= 0.90 {
//!     // Accept without human review
//! } else if confidence >= 0.75 {
//!     // Accept with annotation
//! } else {
//!     // Flag for human review
//! }
//! ```

pub mod confidence_scorer;
pub mod proof_generator;
pub mod proof_parser;
pub mod proof_verifier;
pub mod types;

pub use confidence_scorer::ConfidenceScorer;
pub use proof_generator::{ExpansiveProofGenerator, ProofGenerator, ProofVariant};
pub use proof_parser::{ProofFormat, ProofParser};
pub use proof_verifier::{
    DeductiveVerifier, ProofGuardValidator, ProofValidator, ValidationReport, VerificationResult,
};
pub use types::*;

use crate::error::Result;

#[cfg(test)]
mod tests;