Specs Index

This index lists every spec in docs/specs/, ordered from foundational decisions to the ones that build on them. Read top to bottom for the full picture; jump directly to a spec if you already know the area you’re touching.

Crate shape and layering

The decisions everything else sits on top of: how the crate is distributed, how it’s layered internally, and what the core scalar and storage abstractions look like.

• Single Crate with Incremental Feature Flags
• Trait-Based Generic Layered Architecture
• Generic Scalar Type
• Hybrid Memory Allocation Strategy
• Minimal Shared Storage Trait Between Static and Dynamic Types

Cross-cutting conventions

Conventions that apply across every module, independent of which mathematical domain they show up in.

• Per-Module Error Handling with Result
• NaN/Inf Policy

Scalar functions and numerical tolerance

How elementary functions are implemented and how the library decides when a computed value is small enough to treat as zero.

• Public Elementary Scalar Functions, Scoped to Internal Needs
• Elementary Function Precision
• Numerical Tolerance for Approximate-Zero Comparisons
• Auto-Computed Tolerance Defaults

Dense matrix API

• Two-Level Public API for Matrix Operations

Sparse matrix API

Sparse-specific decisions, ordered from the underlying storage representation up to the operations built on it.

• Sparse Index Type (u32)
• Sparse Matrix Public API Shape
• SortedCsrMatrix — Type-Level Column-Sort Invariant
• Sparse Entry Pruning and Explicit Zero Semantics

Krylov subspace methods

• Krylov Basis-Size Const-Generic Convention
• Krylov Tolerance and Convergence Criteria