Skip to main content

Module calculus

Module calculus 

Source
Expand description

§Calculus Modality

Zero-heap numerical integration and differential equation solving for QualiaDB.

§Architecture

This module operates under strict #![no_std] constraints:

  • No heap allocations (no Vec, String, Box)
  • Stack-bound processing only
  • Memory-mapped I/O via Host-Core split
  • SIMD-accelerated chunked processing

§Usage

§Host-Side (std)

use qualia_core_db::modalities::calculus::host::MmapGridManager;

let manager = MmapGridManager::new("grid_data.bin")?;
let slice = manager.get_slice();

§Core-Side (no_std)

use qualia_core_db::modalities::calculus::{ContinuousGrid, integrate_simpsons_chunked};

let grid = ContinuousGrid::new(slice, 5000)?;
let result = integrate_simpsons_chunked(&grid, 0.001);

§Submodules

  • host: Host-side I/O management (ZeroCopyStreamer, io_uring, IOCP)
  • gpu: GPU integration (DirectStorage, GPUDirect, WebGPU)

Re-exports§

pub use crate::platform::host;
pub use crate::platform::gpu;
pub use crate::platform::hetero_dispatch;
pub use crate::solvers::calculus::ode_solver;
pub use ode_solver::create_ode_step_quin;
pub use ode_solver::extract_ode_state;
pub use ode_solver::pack_ode_state;
pub use ode_solver::BvpSystem;
pub use ode_solver::ChaoitonProfile;
pub use ode_solver::CoupledBoltzmann;
pub use ode_solver::ExponentialDecay;
pub use ode_solver::HarmonicOscillator;
pub use ode_solver::LinearDecayBvp;
pub use ode_solver::OdeSystem;
pub use ode_solver::QuantizationMapper;
pub use ode_solver::Rk4Solver;
pub use ode_solver::ShootingMethod;
pub use ode_solver::StandardModelMasses;
pub use ode_solver::StepSizeAnalyzer;
pub use crate::solvers::calculus::ode_advanced;
pub use crate::solvers::calculus::tensor_provenance;
pub use ode_advanced::bdf1_step;
pub use ode_advanced::bdf2_step;
pub use ode_advanced::hermite_dense_output;
pub use ode_advanced::integrate_bdf;
pub use ode_advanced::integrate_symplectic;
pub use ode_advanced::integrate_with_sensitivity;
pub use ode_advanced::ruth3_step;
pub use ode_advanced::verlet_step;
pub use ode_advanced::yoshida4_step;
pub use ode_advanced::SensitivityResult;
pub use ode_advanced::SymplecticMethod;
pub use ode_advanced::SymplecticResult;
pub use tensor_provenance::TensorProvenance;
pub use tensor_provenance::TensorState;
pub use crate::solvers::calculus::tensor_integrity;
pub use tensor_integrity::commit_state;
pub use tensor_integrity::integrity_root;
pub use tensor_integrity::lineage_commitment;
pub use tensor_integrity::transformation_commitment;
pub use tensor_integrity::verify_lineage;
pub use tensor_integrity::LineageCommitment;
pub use host::DmaBuffer;
pub use host::IoError;
pub use host::DEFAULT_BUFFER_SIZE;
pub use host::PAGE_SIZE;
pub use gpu::GpuError;
pub use gpu::GpuIntegrator;
pub use gpu::PlatformGpuIntegrator;
pub use gpu::WebGpuIntegrator;
pub use hetero_dispatch::plan_fusion;
pub use hetero_dispatch::select_precision;
pub use hetero_dispatch::ComputeBackend;
pub use hetero_dispatch::HeterogeneousDispatcher;
pub use hetero_dispatch::HostCapabilities;
pub use hetero_dispatch::PowerThermalBudget;
pub use hetero_dispatch::Precision;
pub use hetero_dispatch::TensorOp;
pub use hetero_dispatch::TensorOpKind;
pub use hetero_dispatch::ZeroCopyStrategy;
pub use crate::solvers::calculus::grid::*;

Constants§

OP_ADAPTIVE_STEP
OP_GPU_INTEGRATION
OP_RK4_STEP
OP_SIMPSONS_INTEGRATION
OP_TRAPEZOIDAL_INTEGRATION