Expand description
§Temporal Computational Lead via Sublinear Local Solvers
A Rust implementation of sublinear-time algorithms for diagonally dominant linear systems that enable temporal computational lead - computing predictions before network messages arrive through model-based inference.
Based on recent 2025 research in asymmetric diagonally dominant systems.
Re-exports§
pub use core::Matrix;pub use core::Vector;pub use core::SparseMatrix;pub use core::Complexity;pub use physics::Distance;pub use physics::SpeedOfLight;pub use physics::TemporalAdvantage;pub use predictor::TemporalPredictor;pub use predictor::PredictionResult;pub use predictor::DominanceParameters;pub use solver::SublinearSolver;pub use solver::SolverMethod;pub use solver::SolverResult;pub use validation::ProofValidator;pub use validation::TheoremProver;
Modules§
- core
- Core mathematical structures for FTL information system
- physics
- Physical constants and temporal calculations for FTL information theory
- predictor
- Temporal computational lead predictor using sublinear local solvers
- solver
- Sublinear-time solver implementation for FTL predictions
- validation
- Mathematical validation and proof system for temporal computational lead