temporal_lead/
lib.rs

1//! # Temporal Computational Lead via Sublinear Local Solvers
2//!
3//! A Rust implementation of sublinear-time algorithms for diagonally dominant
4//! linear systems that enable temporal computational lead - computing predictions
5//! before network messages arrive through model-based inference.
6//!
7//! Based on recent 2025 research in asymmetric diagonally dominant systems.
8
9pub mod core;
10pub mod physics;
11pub mod solver;
12pub mod predictor;
13pub mod validation;
14
15pub use core::{Matrix, Vector, SparseMatrix, Complexity};
16pub use physics::{Distance, SpeedOfLight, TemporalAdvantage};
17pub use predictor::{TemporalPredictor, PredictionResult, DominanceParameters};
18pub use solver::{SublinearSolver, SolverMethod, SolverResult};
19pub use validation::{ProofValidator, TheoremProver};
20
21use thiserror::Error;
22
23#[derive(Error, Debug)]
24pub enum FTLError {
25    #[error("Matrix operation failed: {0}")]
26    MatrixError(String),
27
28    #[error("Solver convergence failed: {0}")]
29    SolverError(String),
30
31    #[error("Physical constraint violation: {0}")]
32    PhysicsError(String),
33
34    #[error("Validation failed: {0}")]
35    ValidationError(String),
36
37    #[error("IO error: {0}")]
38    IoError(#[from] std::io::Error),
39}
40
41pub type Result<T> = std::result::Result<T, FTLError>;
temporal_lead/lib.rs

temporal_lead/
lib.rs
