reasonkit-core 0.1.8

//! # ThinkTool Protocol Engine
//!
//! Structured reasoning protocols that transform ad-hoc LLM prompting
//! into auditable, reproducible reasoning chains.
//!
//! ## Core Concept
//!
//! A ThinkTool is a structured reasoning protocol that:
//! 1. Defines a reasoning strategy (expansive, deductive, adversarial, etc.)
//! 2. Structures the thought process into auditable steps
//! 3. Produces verifiable output with confidence scores
//! 4. Maintains provenance of the reasoning chain
//!
//! ## Available ThinkTools (OSS)
//!
//! | Tool | Code | Purpose |
//! |------|------|---------|
//! | GigaThink | `gt` | Expansive creative thinking (10+ perspectives) |
//! | LaserLogic | `ll` | Precision deductive reasoning, fallacy detection |
//! | BedRock | `br` | First principles decomposition |
//! | ProofGuard | `pg` | Multi-source verification |
//! | BrutalHonesty | `bh` | Adversarial self-critique |
//!
//! ## API Documentation
//!
//! For detailed field-level documentation of all ThinkTools, see:
//!
//! - **[THINKTOOLS_API_OVERVIEW.md](THINKTOOLS_API_OVERVIEW.md)** - Core concepts overview
//! - **[GIGATHINK_API.md](modules/GIGATHINK_API.md)** - GigaThink module field-level docs
//! - **[LASERLOGIC_API.md](modules/LASERLOGIC_API.md)** - LaserLogic module field-level docs
//! - **[BEDROCK_API.md](modules/BEDROCK_API.md)** - BedRock module field-level docs
//! - **[PROOF_GUARD_API.md](modules/PROOF_GUARD_API.md)** - ProofGuard module field-level docs
//! - **[BRUTAL_HONESTY_API.md](modules/BRUTAL_HONESTY_API.md)** - BrutalHonesty module field-level docs
//!
//! ## Supported LLM Providers (18+)
//!
//! | Tier | Providers |
//! |------|-----------|
//! | Major Cloud | Anthropic, OpenAI, Google Gemini, Vertex AI, Azure OpenAI, AWS Bedrock |
//! | Specialized | xAI (Grok), Groq, Mistral, DeepSeek, Cohere, Perplexity, Cerebras |
//! | Inference | Together AI, Fireworks AI, Alibaba Qwen |
//! | Aggregation | OpenRouter (300+ models), Cloudflare AI Gateway |
//!
//! ## Quick Start - LLM Clients
//!
//! ```rust,ignore
//! use reasonkit::thinktool::{UnifiedLlmClient, LlmRequest};
//!
//! // Use default provider (Anthropic Claude)
//! let client = UnifiedLlmClient::default_anthropic()?;
//!
//! // Use Groq for ultra-fast inference
//! let groq = UnifiedLlmClient::groq("llama-3.3-70b-versatile")?;
//!
//! // Use xAI Grok
//! let grok = UnifiedLlmClient::grok("grok-2")?;
//!
//! // Use OpenRouter for 300+ models
//! let openrouter = UnifiedLlmClient::openrouter("anthropic/claude-sonnet-4")?;
//!
//! // Make a request
//! let response = client.complete(
//!     LlmRequest::new("Explain quantum computing")
//!         .with_system("You are a physics teacher")
//! ).await?;
//! ```
//!
//! ## Provider Auto-Discovery
//!
//! ```rust,ignore
//! use reasonkit::thinktool::{discover_available_providers, create_available_client};
//!
//! // Find all providers with API keys configured
//! let available = discover_available_providers();
//!
//! // Create client using first available provider
//! let client = create_available_client()?;
//! ```
//!
//! ## Protocol Execution Example
//!
//! ```rust,ignore
//! use reasonkit::thinktool::{ProtocolExecutor, ProtocolInput};
//!
//! #[tokio::main]
//! async fn main() -> anyhow::Result<()> {
//!     let executor = ProtocolExecutor::new()?;
//!
//!     let result = executor.execute(
//!         "gigathink",
//!         ProtocolInput::query("What are the key factors for startup success?")
//!     ).await?;
//!
//!     println!("Confidence: {:.2}", result.confidence);
//!     for perspective in result.perspectives() {
//!         println!("- {}", perspective);
//!     }
//!
//!     Ok(())
//! }
//! ```

pub mod bedrock_tot;
pub mod benchmark;
pub mod budget;
pub mod calibration;
pub mod consistency;
pub mod debate;
pub mod deep_logic;
pub mod deepseek_benchmark;
pub mod edge_cases;
pub mod executor;
pub mod fol;
pub mod llm;
pub mod llm_cli;
pub mod metrics;
#[cfg(feature = "minimax")]
pub mod minimax;
pub mod modules;
pub mod multi_model_validator;
pub mod oscillation;
pub mod prm;
pub mod profiles;
pub mod protocol;
pub mod quality;
pub mod registry;
pub mod self_refine;
pub mod socratic;
pub mod step;
pub mod toml_loader;
pub mod tot;
pub mod toulmin;
pub mod trace;
pub mod triangulation;
pub mod validation;
pub mod validation_executor;
pub mod yaml_loader;

// Compatibility exports (legacy API used by examples and internal modules)
pub mod thinktool_executor;

// Re-exports
pub use benchmark::{
    Answer, BenchmarkProblem, BenchmarkResults, BenchmarkRunner, CalibrationMetrics,
    ComparisonReport, ConfidenceBin, EvaluationResult,
};
pub use budget::{BudgetConfig, BudgetParseError, BudgetStrategy, BudgetSummary, BudgetTracker};
pub use calibration::{
    platt_scale, temperature_scale, CalibrationConfig, CalibrationDiagnosis, CalibrationReport,
    CalibrationTracker, CategoryCalibration, ConfidenceAdjuster, ConfidenceBin as CalibrationBin,
    Prediction,
};
pub use consistency::{
    ConsistencyResult, ReasoningPath, SelfConsistencyConfig, SelfConsistencyEngine, VotingMethod,
};
pub use debate::{
    AgentRole, Argument, Claim as DebateClaim, DebateArena, DebateConfig, DebatePrompts,
    DebateResult, DebateStats, DebateVerdict, Evidence, Rebuttal as DebateRebuttal, VerdictType,
};
pub use deep_logic::{
    ConstraintEvaluator, ConstraintType, ConstraintValidationResult, ContradictionDetector,
    ContradictionInfo, DeepLogicValidation, DeepLogicValidator, InferenceEngine, InferenceRule,
    LogicalConstraint, LogicalFact, LogicalOperator, RuleValidationResult, ValidationResult,
};
pub use executor::{
    CliToolConfig, ExecutorConfig, ProtocolExecutor, ProtocolInput, ProtocolOutput,
};
pub use fol::{
    Connective, DetectedFallacy, FolArgument, FolConfig, FolFallacy, FolPrompts, FolResult,
    Formula, PremiseAssessment, Quantifier, SoundnessStatus, Term, ValidityStatus,
};
pub use llm::{
    create_available_client, discover_available_providers, get_provider_info, FinishReason,
    LlmClient, LlmConfig, LlmProvider, LlmRequest, LlmResponse, LlmUsage, ProviderExtra,
    ProviderInfo, UnifiedLlmClient,
};
pub use llm_cli::{ClusterConfig, ClusterResult, EmbeddingConfig, LlmCliClient, PromptResult};
pub use metrics::{
    AggregateStats, ExecutionRecord, ExecutionRecordBuilder, MetricsReport, MetricsTracker,
    StepMetric,
};
pub use modules::{
    BedRock, BrutalHonesty, GigaThink, LaserLogic, ProofGuard, ThinkToolContext, ThinkToolModule,
    ThinkToolModuleConfig, ThinkToolOutput,
};
pub use oscillation::{
    ConvergentCriterion, ConvergentPhase, CriterionScore, DivergentDimension, DivergentPhase, Idea,
    OscillationConfig, OscillationMetrics, OscillationPrompts, OscillationResult,
};
pub use prm::{
    IssueType, PrmConfig, PrmMetrics, PrmReranker, PrmResult, ScoreAggregation, Severity,
    StepIssue, StepParser, StepScore, VerificationPrompts, VerificationStrategy,
};
pub use profiles::{ProfileRegistry, ProfileRetrievalConfig, RaptorConfig, ReasoningProfile};
pub use protocol::{Protocol, ProtocolStep, ReasoningStrategy, StepAction};
pub use quality::{
    MetricRecord, QualityDashboard, QualityGrade, QualityMetric, QualityReport, QualityScore,
    QualityTargets, TargetViolation, Trend,
};
pub use registry::ProtocolRegistry;
pub use self_refine::{
    DimensionFeedback, FeedbackDimension, IterationFeedback, RefineConfig, RefineIteration,
    RefinePrompts, RefineResult, StopReason,
};

// Legacy aliases
pub use crate::evaluation::Profile;
pub use multi_model_validator::{
    ModelValidationResult, MultiModelValidationPerformance, MultiModelValidationResult,
    MultiModelValidator, MultiModelValidatorConfig,
};
pub use socratic::{
    AnswerType, Aporia, QuestionCategory, SocraticConfig, SocraticPrompts, SocraticQuestion,
    SocraticResult,
};
pub use step::{OutputFormat, StepResult};
pub use thinktool_executor::ThinkToolExecutor;
pub use tot::{
    parse_thoughts, SearchStrategy, ThoughtNode, ThoughtPrompts, ThoughtState, ToTConfig,
    ToTResult, ToTStats, TreeOfThoughts,
};
pub use toulmin::{
    ArgumentBuilder, ArgumentError, ArgumentEvaluation, ArgumentIssue, Backing, BackingType, Claim,
    ClaimType, EvidenceType, Ground, IssueSeverity as ToulminIssueSeverity, Qualifier, Rebuttal,
    RebuttalSeverity, Scope, ToulminArgument, ToulminComponent, ToulminPrompts, Warrant,
    WarrantType,
};
pub use trace::{ExecutionStatus, ExecutionTrace, StepStatus, StepTrace};
pub use triangulation::{
    Source, SourceTier, SourceType, Stance, TriangulationConfig, TriangulationIssue,
    TriangulationIssueType, TriangulationPrompts, TriangulationResult, Triangulator,
    VerificationConfidence, VerificationRecommendation,
};
pub use validation::{
    ComplianceResult, ComplianceStatus, ComplianceViolation, DeepSeekValidationConfig,
    DeepSeekValidationEngine, DeepSeekValidationResult, DetectedBias, MethodologyStatus,
    RegulatoryStatus, StatisticalResult, ValidationCategory, ValidationFinding,
    ValidationPerformance, ValidationVerdict,
};
pub use validation_executor::{
    ValidatingProtocolExecutor, ValidationExecutorConfig, ValidationLevel,
};