Expand description
Forge Reasoning Tools
Provides cognitive scaffolding for LLM debugging:
- Temporal Checkpointing: Save/restore debugging state
- Knowledge Gap Analysis: Track and prioritize missing information
- Verification Execution: Async check execution with retry and evidence attachment
Re-exports§
pub use checkpoint::AutoTrigger;pub use checkpoint::CheckpointId;pub use checkpoint::CheckpointSummary;pub use checkpoint::CheckpointTrigger;pub use checkpoint::CompactionPolicy;pub use checkpoint::DebugNote;pub use checkpoint::DebugStateSnapshot;pub use checkpoint::SessionId;pub use checkpoint::SessionMetrics;pub use checkpoint::TemporalCheckpoint;pub use checkpoint::TemporalCheckpointManager;pub use checkpoint::VerificationResult;pub use hypothesis::Confidence;pub use hypothesis::ConfidenceError;pub use hypothesis::Hypothesis;pub use hypothesis::HypothesisBoard;pub use hypothesis::HypothesisId;pub use hypothesis::HypothesisStatus;pub use hypothesis::HypothesisStorage;pub use hypothesis::InMemoryHypothesisStorage;pub use hypothesis::Evidence;pub use hypothesis::EvidenceId;pub use hypothesis::EvidenceType;pub use hypothesis::EvidenceMetadata;pub use hypothesis::strength_to_likelihood;pub use belief::BeliefGraph;pub use belief::ReasoningSystem;pub use gaps::KnowledgeGapAnalyzer;pub use gaps::KnowledgeGap;pub use gaps::GapId;pub use gaps::GapCriticality;pub use gaps::GapType;pub use gaps::GapSuggestion;pub use gaps::SuggestedAction;pub use gaps::ScoringConfig;pub use gaps::compute_gap_score;pub use impact::ImpactAnalysisEngine;pub use impact::ConfidenceChange;pub use impact::PropagationConfig;pub use impact::PropagationResult;pub use impact::CascadePreview;pub use impact::PreviewId;pub use impact::PreviewPage;pub use impact::PaginationState;pub use impact::CycleWarning;pub use impact::SnapshotId;pub use impact::BeliefSnapshot;pub use impact::SnapshotStore;pub use export_import::CheckpointExporter;pub use export_import::CheckpointImporter;pub use errors::CheckpointError;pub use errors::ReasoningError;pub use errors::Result;pub use errors::StorageError;pub use storage::create_storage;pub use storage::BackendKind;pub use storage::CheckpointStorage;pub use storage::StorageConfig;pub use storage_sqlitegraph::SqliteGraphStorage;pub use thread_safe::ThreadSafeCheckpointManager;pub use thread_safe::ThreadSafeStorage;pub use verification::VerificationRunner;pub use verification::VerificationCheck;pub use verification::CheckId;pub use verification::CheckResult;pub use verification::CheckStatus;pub use verification::VerificationCommand;pub use verification::PassAction;pub use verification::FailAction;pub use verification::RetryConfig;pub use service::AnnotationSeverity;pub use service::AutoCheckpointConfig;pub use service::CheckpointAnnotation;pub use service::CheckpointCommand;pub use service::CheckpointEvent;pub use service::CheckpointService;pub use service::CommandResult;pub use service::HealthStatus;pub use service::ImportResult;pub use service::ServiceMetrics;pub use service::AnnotatedCheckpoint;pub use service::ValidationReport;pub use websocket::CheckpointWebSocketServer;pub use websocket::WebSocketCommand;pub use websocket::WebSocketConfig;pub use websocket::WebSocketEvent;pub use websocket::WebSocketResponse;
Modules§
- belief
- Belief dependency graph with cycle detection
- checkpoint
- Temporal Checkpointing - Core types and manager
- errors
- Error types for reasoning tools
- export_
import - Export and Import functionality for checkpoints
- gaps
- Knowledge gap analysis system
- hypothesis
- Hypothesis management with Bayesian confidence tracking
- impact
- Impact analysis for confidence propagation with cascade preview
- service
- Integration service for checkpointing
- storage
- Storage abstraction for checkpointing
- storage_
sqlitegraph - SQLiteGraph storage implementation for checkpoints
- thread_
safe - Thread-safe implementations for concurrent checkpointing
- verification
- Verification execution system
- websocket
- WebSocket API server for checkpointing
Constants§
- VERSION
- Version of the reasoning tools crate
Functions§
- init
- Initialize the reasoning tools system