reasonkit-core 0.1.8

The Reasoning Engine — Auditable Reasoning for Production AI | Rust-Native | Turn Prompts into Protocols
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157

//! Research Integrations (Phase 2, 3 & 4)
//!
//! This module contains integrations with high-impact Rust crates
//! identified through deep ecosystem research (2026-01-18).
//!
//! ## Phase 2 Modules
//!
//! - `llm_orchestration` - LLM agent orchestration (feature: `llm-orchestration`)
//! - `formal_verification` - Z3 SMT solver integration (feature: `formal-verification`)
//! - `caching` - High-performance caching with Moka (feature: `caching`)
//! - `observability` - OpenTelemetry tracing/metrics (feature: `otel`)
//!
//! ## Phase 3 Modules (Architectural Blueprint)
//!
//! - `datalog` - Compile-time deductive reasoning (feature: `datalog`)
//! - `egraph` - Equality saturation for optimization (feature: `egraph`)
//! - `wasm_sandbox` - Secure Wasm tool execution (feature: `wasm-sandbox`)
//! - `tokenization` - Token counting for context management (feature: `tokenization`)
//! - `llm_tracing` - LLM-specific observability (feature: `llm-observability`)
//! - `probabilistic` - Bayesian inference & uncertainty (feature: `probabilistic`)
//!
//! ## Phase 4 Modules (Complete Integration Guide)
//!
//! - `mcp_official` - Official rmcp MCP SDK (feature: `mcp-official`)
//! - `performance` - Performance stack: monoio, mimalloc, rkyv (feature: `performance`)
//! - `audit_crypto` - Cryptographic audit trails (feature: `audit-crypto`)
//! - `graph_execution` - DAG-based workflow execution (feature: `graph-execution`)
//! - `config_enhanced` - Enhanced config with figment (feature: `config-enhanced`)

// ============================================================================
// PHASE 2 MODULES
// ============================================================================

#[cfg(feature = "llm-orchestration")]
pub mod llm_orchestration;

#[cfg(feature = "formal-verification")]
pub mod formal_verification;

#[cfg(feature = "caching")]
pub mod caching;

#[cfg(feature = "otel")]
pub mod observability;

// ============================================================================
// PHASE 3 MODULES (Architectural Blueprint)
// ============================================================================

#[cfg(feature = "datalog")]
pub mod datalog;

#[cfg(feature = "egraph")]
pub mod egraph;

#[cfg(feature = "wasm-sandbox")]
pub mod wasm_sandbox;

#[cfg(feature = "tokenization")]
pub mod tokenization;

#[cfg(feature = "llm-observability")]
pub mod llm_tracing;

#[cfg(feature = "probabilistic")]
pub mod probabilistic;

// ============================================================================
// PHASE 4 MODULES (Complete Integration Guide)
// ============================================================================

#[cfg(feature = "mcp-official")]
pub mod mcp_official;

#[cfg(feature = "performance")]
pub mod performance;

#[cfg(feature = "audit-crypto")]
pub mod audit_crypto;

#[cfg(feature = "graph-execution")]
pub mod graph_execution;

#[cfg(feature = "config-enhanced")]
pub mod config_enhanced;

// ============================================================================
// Re-exports for convenience
// ============================================================================

#[cfg(feature = "llm-orchestration")]
pub use llm_orchestration::*;

#[cfg(feature = "datalog")]
pub use datalog::{BeliefState, PolicyEngine};

#[cfg(feature = "egraph")]
pub use egraph::{CodeOptimizer, EgraphConfig, ExpressionOptimizer};

#[cfg(feature = "wasm-sandbox")]
pub use wasm_sandbox::{Capability, PluginManager, SandboxConfig, WasmSandbox};

#[cfg(feature = "tokenization")]
pub use tokenization::{ContextWindow, TokenBudget, TokenCounter};

#[cfg(feature = "llm-observability")]
pub use llm_tracing::{Span, Trace, TraceBuilder};

#[cfg(feature = "probabilistic")]
pub use probabilistic::{BinaryBelief, ConfidenceInterval, ParticleFilter, UncertainValue};

// Phase 4 re-exports
#[cfg(feature = "mcp-official")]
pub use mcp_official::{McpServerConfig, McpToolBuilder, McpToolDefinition};

#[cfg(feature = "performance")]
pub use performance::{LatencyTracker, PerformanceConfig, ZeroCopyBuffer};

#[cfg(feature = "audit-crypto")]
pub use audit_crypto::{AuditEntry, AuditLog, SignedAuditEntry};

#[cfg(feature = "graph-execution")]
pub use graph_execution::{ExecutionGraph, ExecutionNode, GraphBuilder, NodeState};

#[cfg(feature = "config-enhanced")]
pub use config_enhanced::{ConfigLoader, ConfigProfile, ContentCache};

// ============================================================================
// PHASE 5 MODULES (Production-Grade Integration)
// ============================================================================

#[cfg(feature = "llm-orchestration-multi")]
pub mod llm_multi;

#[cfg(feature = "local-ml")]
pub mod local_ml;

#[cfg(feature = "knowledge-graph")]
pub mod knowledge_graph;

// Phase 5 re-exports
#[cfg(feature = "llm-orchestration-multi")]
pub use llm_multi::{
    ConversationMemory, LlmBackend, Message, MultiLlmConfig, ToolBuilder as LlmToolBuilder,
    ToolCall, ToolDefinition,
};

#[cfg(feature = "local-ml")]
pub use local_ml::{
    cosine_similarity, normalize_embedding, DeviceSelector, EmbeddingResult, GenerationParams,
    LocalMlConfig, ModelType,
};

#[cfg(feature = "knowledge-graph")]
pub use knowledge_graph::{
    KnowledgeGraph, KnowledgeGraphConfig, OntologyBuilder, QueryRow, SparqlResults, Triple,
};