Crate theory_core 

Theory Core: Neuro-Symbolic Reasoning Engine

This crate provides the foundation for Phase 2A neuro-symbolic integration, combining Lightning Strike’s cognitive architecture with formal constraint satisfaction and SMT solver verification.

Architecture Overview

The theory core follows a modular architecture:

• Constraint IR: Typed intermediate representation for constraints
• Theory Generator: Neural network that maps inputs to constraint IR
• Solver Surrogate: Fast neural approximation of solver results
• SMT Backend: Integration with Z3 and other SMT solvers
• Speculate-Verify: Fast surrogate proposals with solver verification

Re-exports

pub use smt_stub as smt;

pub use constraint::*;

pub use generator::*;

pub use hybrid::*;

pub use ir::*;

pub use learning::*;

pub use lightning_strike::*;

pub use meta_reasoning::*;

pub use optimization::*;

pub use router::*;

pub use smt_stub::*;

pub use surrogate::*;

pub use verify::*;

pub use z3_backend::*;

Modules

constraint

Constraint Utilities and Trait Definitions

display

generator

Theory Generator: Neural Network → Constraint IR

hybrid

Hybrid Reasoning Engine: Neuro-Symbolic Fusion

ir

Constraint Intermediate Representation (IR)

learning

Phase 2B-1: Neural Constraint Learning System

lightning_strike

Phase 3: Lightning Strike Integration

meta_reasoning

Phase 2B-2: Meta-Reasoning Engine

optimization

Phase 2C: Performance Optimization Engine

router

Speculate-Verify Routing Logic

smt_stub

SMT Solver Backend Integration (Stub Implementation)

surrogate

Solver Surrogate: Fast Neural Approximation of SMT Solvers

verify

Verification Utilities for Neuro-Symbolic Systems

z3_backend

Z3 SMT Solver Integration

Structs

NeuroSymbolicEngine

Main neuro-symbolic reasoning engine that combines Lightning Strike cognitive architecture with formal constraint satisfaction.

Enums

ReasoningResult

Result of neuro-symbolic reasoning

ReasoningStrategy

Strategy for reasoning about constraints