Module utils 

Utility modules for logging, convergence checks, graph coloring, reordering, and profiling.

Re-exports

pub use convergence::AcceptanceStatus;

pub use convergence::classify_acceptance_status;

pub use diagnostics::DirectVerificationCapability;

pub use diagnostics::format_direct_verification_status;

pub use direct_reference::DirectReferenceComparison;

pub use direct_reference::DirectReferencePolicyInput;

pub use direct_reference::compare_solution_vectors;

pub use direct_reference::direct_reference_policy;

pub use direct_reference::global_direct_reference_policy_allows;

pub use metrics::true_residual_norm;

pub use monitor::Event;

pub use monitor::Monitor;

pub use monitor::NullMonitor;

pub use monitor::TextMonitor;

pub use solver_ladder::AcceptanceContract;

pub use solver_ladder::AttemptRecord;

pub use solver_ladder::FallbackStep;

pub use solver_ladder::SolverTestResult;

pub use solver_ladder::TruthReference;

pub use solver_ladder::classify_acceptance;

pub use solver_ladder::classify_failure;

pub use solver_ladder::execute_fallback_ladder;

pub use solver_ladder::render_attempt_chain;

pub use solver_ladder::solver_reason_code;

pub use verification::DirectReferenceLike;

pub use verification::VerificationStatus;

pub use verification::verification_status_from_direct_reference;

Modules

buffer_pool

coloring

Distance-2 graph coloring utility for block-Jacobi and multicolored preconditioners. See Saad §10.7, §12.4 for background.

conditioning

Matrix conditioning helpers for preconditioner setup.

convergence

Convergence tracking & tolerance checks for iterative solvers.

diagnostics

Structured diagnostics for KSP/PC configuration.

direct_reference

Reusable direct-reference policy and comparison helpers.

invariants

Invariant helpers for cheap runtime validation.

matrix_marketbackend-faer

Matrix Market file format I/O utilities for Kryst.

matrix_screening

Shared CSR matrix diagnostics and repair helpers used by demos.

merge

metrics

monitor

Iteration monitoring and convergence logging for kryst.

partition

Minimal in-crate graph partitioners and helpers for ASM.

permutation

preconditioning_pipelinebackend-faer

profiling

Lightweight profiling utilities for Krylov solvers.

reduction

reorderingbackend-faer

Matrix reordering and scaling for numerical robustness.

solver_ladder

Generic fallback ladder primitives and attempt/result reporting helpers.

solver_policy

verification

Reusable verification-state modeling for optional direct reference checks.