Skip to content

Roadmap

Current implementation

The library implements 97 semantic operations and 404 type signatures across f32, f64, six integer types, masks and conversions. Bounded fused pipelines, resident storage and Node/browser Worker execution are available. Private ABI v6 and registry fingerprints keep JS and native/Wasm assets synchronized.

Current behavior is defined by the contracts and operation signatures. The verification archive retains dated results and their scope.

Remaining validation

ItemRequired evidence
Kernel organization comparisonCompare handwritten core::arch, a small internal trait/macro layer and pulp for add, signed-zero/NaN-sensitive min, select and a reduction; record correctness, target coverage, compile time, size and throughput, or document a decision to defer the comparison
Remaining native targetsExecute macOS x64, Linux glibc arm64/x64 and Windows x64 checks; retain matching source, binary and log hashes; actually run AVX2
FirefoxComplete static-package, Vite and Worker tests in a working browser environment; previous failures occurred before page assertions
Final candidateRe-run acceptance from the final source checkpoint and the exact combined tarball; old dirty-workspace reports are historical only
Tool coverageRecord where Miri or applicable sanitizers can check pure Rust and where real SIMD/FFI testing is required
Performance trackingAccumulate comparable fixed-machine baselines and noise bounds before setting regression thresholds

The retained candidate report is failed because Firefox could not start. Other native targets were pending. Local successes and CI configuration do not close those gaps. More SIMD coverage is valuable, but declared scalar fallback is supported; all 404 signatures need not be vectorized.

Release decision

Version naming, stable API/maintenance commitments and npm/tag publication are release decisions. Use the candidate workflow to collect matching platform and package evidence. Its fixed stableReady: false field does not encode an API stability or maintenance commitment.

Future candidates

Consider these only after a concrete workload justifies the additional semantics and maintenance cost:

  • Additional measured SIMD kernels for f64, integers, masks and advanced math.
  • Explicitly named relaxed/reordered numerical modes with independent budgets.
  • More conversion pairs or wide integer accumulators with defined output types.
  • Terminal reductions in fused plans and other bounded execution extensions.
  • Additional platforms, AVX-512 or SVE.
  • Multidimensional tensors, arbitrary strides, GPU, autodiff, BLAS, FFT, convolution, complex numbers or f16.

These are not implemented promises or criteria for finishing the current candidate.

Released under the MIT License.