The inside story of building the largest pure-Rust sovereignty stack
324 posts
OxiH5 0.1.4, the COOLJAPAN Pure-Rust HDF5 reader, adds Virtual Dataset (VDS) resolution, chunked variable-length dataset reads, szip RAW-mode chunk decoding, and soft-link-to-external-link chains, plus a fix for a silently mis-decoded global-heap reference. 486 tests passing across four crates — the sovereign scientific-data layer for the COOLJAPAN ecosystem.
OxiLean 0.1.3 ships oxilean-verify, an independent Lean 4 proof checker with three-bucket verdicts, a 144 KB gzip WASM 'Kernel in a Tab,' a kernel soundness overhaul, and a structural-sharing rewrite cutting full-Init verification from 1h20m to 11m28s — the sovereign theorem-proving layer for the COOLJAPAN ecosystem.
OxiSQL 0.3.3 makes SQLite views first-class, lets compound SELECTs act as FROM-clause subqueries, adds open_from_bytes for WASI/browser use and PostgreSQL logical replication, and fixes a silent b-tree index-corruption bug — the sovereign Pure Rust SQL layer for the COOLJAPAN ecosystem.
OxiTLS 0.2.1 eliminates RUSTSEC-2026-0104 by forking its Pure-Rust CryptoProvider into a webpki-free oxitls-rustcrypto-provider crate, closes an OCSP staple replay bypass, and fixes SCT parsing — 443 tests passing, the sovereign Pure Rust TLS layer for the COOLJAPAN ecosystem.
OxiMedia 0.2.0 ships a real frame-level transcode engine, AV1/VP9/VP8 key-frame decoders verified bit-exact against dav1d, aomdec, and libvpx/libwebp, real CENC/cbcs packager encryption, and a sweep replacing fabricated success with honest errors — the sovereign media layer for the COOLJAPAN ecosystem.
SciRS2 0.6.1 replaces placeholder and silently-wrong code paths with real implementations: genuine model-serving codegen, a critical DLPack SIGBUS fix, honest GPU-dispatch and hardware-detection reporting, and a symbolic-engine soundness fix — plus F-distribution ppf, spatial hamming distance, and new finance facades. Pure Rust, Apache-2.0.
OxiCUDA 0.5.0, the sovereign GPU-compute layer for the COOLJAPAN ecosystem, fixes F64-precision PTX codegen bugs that made ptxas reject elementwise and reduction kernels, closes a mixed-precision GEMM accumulator bug, and hits zero unwrap()/expect() in library code. 38,622 tests, ~1.30M SLoC, 73 crates.
OxiMedia 0.1.9 ships a 100% Pure Rust default build (zero C/C++/Fortran), fixes four real security vulnerabilities (SRT crypto, MP4 DoS, WebRTC DTLS honesty, SQL injection), and launches oximedia-web — four WASM modules downstream of WebCodecs, live in OxiScope and OxiLink. 114 crates, ~2.95M SLOC.
sklears 0.2.0 ships sklears-core::gpu, a real oxicuda-backed CUDA foundation (GpuBackend, GpuArray, GpuMatrixOps) powering on-device GEMM, Cholesky/LU/QR/SVD solves, and HNSW k-NN across 9 downstream crates, plus a wide correctness sweep. 12,721 tests passing, 36 crates, >99% scikit-learn API coverage held.
SplitRS 0.3.5 fixes eight correctness issues found splitting a real sqlite3-parser crate: file-backed mod declarations, --split-impl-blocks cross-chunk calls, bitflags type exports, and grouped-import collisions, resolving E0583, E0624, E0425, and E0252. 608 tests passing, up from 570 in 0.3.4.
CeleRS 0.3.0 eliminates sqlx and reqwest workspace-wide for oxisql/oxihttp-client, swaps mock XOR encryption for real AES-256-GCM/ChaCha20-Poly1305, and fixes chord/chain execution and Kombu middleware that were silent no-ops. 18 crates, 5,676 tests passing. The sovereign task-queue layer for COOLJAPAN.
OxiArc 0.3.6 pairs a security-hardening pass with a 22-auditor, 75-item reference-interop campaign: zstd's FSE fix takes real-frame decode from 0/64 to 64/64, brotli's RFC 7932 rewrite goes 141/172 failures to 608/608, plus LZMA2, bzip2, and SZIP fixes. 2,426 tests passing, Pure Rust.
OxiHuman 0.2.1 is the BodyLab production release: the first real CC0 asset pack (OHPK v1, 38 targets), in-memory browser GLB/VRM/STL/OBJ export, a live three.js demo, and a measurement-fit solver accurate to within 0.66 cm — plus three P0 bugs fixed and 33,569 passing tests.
TenfloweRS 0.2.0 rewires the Python-facing, PyTorch-style implicit autograd system for real: every layer type gets tape-backed .backward()/.grad(), all 9 optimizers perform genuine gradient updates, and a correctness sweep fixes wrong Softmax/BatchNorm/GroupNorm/LayerNorm gradients — 14,536+ tests passing.
OxiRS 0.3.2 extracts NVML, CUDA, GEOS, DuckDB, Kafka, and Pulsar C-FFI into six opt-in publish=false adapter crates, migrates GeoSPARQL's GeoPackage backend off rusqlite onto the Pure-Rust OxiSQL engine, and closes the last transitive zstd-sys dependency with a Pure-Rust zstd shim — 45,034 tests, zero warnings.
OxiEphemeris 0.1.1 adds a full RDF/SKOS/PROV-O astrology vocabulary with a live SPARQL endpoint, new Python and WebAssembly bindings sharing one compute facade with the CLI, and a deeper astrology layer — ayanamshas, dignities, declinations, Arabic Parts, synastry. The sovereign ephemeris layer for COOLJAPAN.
OxiSQL 0.3.2 closes the final C-FFI gap in its --all-features dependency closure with a new Pure-Rust zstd-shim replacing zstd-sys (pulled in by DataFusion's Arrow IPC), and fixes a GROUP BY … HAVING COUNT(*) accumulator-reset bug in the oxisqlite-core query engine. The sovereign SQL layer for the COOLJAPAN ecosystem.
OxiWhisper 0.1.2 adds a full speaker-diarization pipeline (VAD, clustering, RTTM/DER export, optional ECAPA-TDNN embeddings), word-level timestamps, a translation task, and temperature-fallback decoding — the sovereign speech-recognition layer for the COOLJAPAN ecosystem, still zero C or Python.
TrustformeRS 0.2.0 gives CUDA the same device-resident attention pipeline Metal already had, adds batched CUDA matmul and refcounted GPU buffers, fixes a silent CUDA data race, and drops the torch/libtorch backend workspace-wide. The sovereign transformer layer for the COOLJAPAN ecosystem.
TenfloweRS 0.1.2 adds PyTorch-style implicit autograd for Python, real ONNX protobuf import/export, a pure-Rust Blosc codec for Zarr, and a wide honesty-hardening sweep that replaces fabricated results with real computation or honest errors across the framework.
OxiArc 0.3.5 rewrites the -lh4-/-lh5-/-lh6-/-lh7- codec from a private bitstream format into genuine canonical LHA wire format, validated against real third-party .lzh archives and a live lha (Lhasa) CLI oracle. Also fixes a Miri-flagged CRC UB class, three writer resource leaks, and a CLI exit-code bug. 1,878 tests passing, Pure Rust.
OxiCUDA 0.4.1 extends on-device GPU validation into BLAS, DNN, and the driver/memory/launch stack, catching concurrency races that single-threaded testing can't. Plus the first correctness pass across five non-CUDA backends and real driver-backed CUDA Graph capture. 38,612 tests, ~1.28M SLoC, 73 crates.
Spintronics 0.3.2 adds a k·p altermagnet band model with GMR-like spin valves, d-orbital orbitronics, a resonating-valence-bond spin-liquid solver, streaming simulation with binary OVF I/O, and fixes to Hermitian eigenvectors and the Kane-Mele Z2 invariant. 2059 tests, 118 doc tests, 0 warnings.
SplitRS 0.3.4 fixes five correctness issues in --split-nested-mods surfaced by a focused review: E0603 visibility widening for relocated private mods, E0425/E0599 parent-scope glob retention, and E0432/E0659 macro-import ambiguity. 570 tests passing. The AST-based Rust refactoring tool for the COOLJAPAN ecosystem.