The inside story of building the largest pure-Rust sovereignty stack
266 posts
OxiBonsai 0.2.3 ships a two-pass, 109-agent production-hardening audit: a P0 fix for a silent CUDA prefill/decode KV-cache desync, full Metal GPU coverage for Q4_0/Q8_0/K-quant and FP8 batch prefill, real OpenAI-compatible penalties and logprobs, and tokenizer fidelity fixes for CJK/emoji text — 91 confirmed findings closed, 5,158 tests passing. Sub-2-bit Pure Rust sovereign AI inference for the COOLJAPAN ecosystem.
OxiCUDA 0.5.1 adds oxicuda-nvrtc, a pure-Rust runtime loader for NVIDIA's NVRTC CUDA-C-to-PTX JIT compiler, completing the zero-SDK-dependency story alongside oxicuda-driver. Graceful degradation, process-wide caching, and direct PTX handoff to oxicuda-driver. 38,646 tests, ~1.30M SLoC, 74 crates.
OxiH5 0.2.2 ships a 44-agent interop audit against h5py 3.16 and netCDF4-python 1.7.4, fixing 33 conformance defects and closing 9 writer gaps — shuffle/Fletcher32 pipelines, custom fill values, true netCDF coordinate variables. 862 tests passing — the sovereign scientific-data layer for COOLJAPAN.
OxiZ 0.3.0 is a hardening-and-capability wave: a new ground string decision procedure and concrete floating-point model finder lift qf_s and qf_fp from partial to 10/10 on the Z3 parity suite, MBQI SAT certification advances three quantified logics, and a dozen soundness bugs are fixed — 8,119 tests passing, 0 Wrong verdicts across 154 decisive Z3 comparisons. Pure Rust, Apache-2.0.
SciRS2 0.6.2 replaces the C-linked hdf5 crate with pure-Rust oxih5, fixing a critical silent-data-loss bug in compressed HDF5 writes and a self-concealing dataspace-parsing bug along the way. libnuma, tracy-client, and opencl3 are gone from the dependency graph, plus a breaking TLS-provider hardening. Pure Rust, Apache-2.0.
OxiH5 0.2.1 adds DEFLATE compression on write, per-chunk tiling, in-place dataset overwrite, and nested groups — and fixes 9 correctness bugs, including a chunk B-tree defect that made every chunked dataset the writer produced unreadable by libhdf5. 682 tests passing — the sovereign scientific-data layer for COOLJAPAN.
OxiGDAL 0.1.7 is a production-hardening release: 233 verified defects fixed across 69 crates — a GeoTIFF corruption bug, JPEG2000 spec conformance, real FlatGeobuf/HDF5 codecs, an RBAC bypass — plus a blake3/Ed25519 attestation module and three new WASM demos. 76 crates, 16,909 tests. The sovereign geospatial layer for COOLJAPAN.
OxiGDAL is now OxiGeo. Version 0.2.0 is a rename-only release — functionally identical to v0.1.7 — that republishes all 74 crates, the CLI, and the Python/npm/WASM/mobile bindings under the oxigeo name. Old GitHub URLs redirect; v0.1.7 remains the final OxiGDAL release. The sovereign geospatial layer for the COOLJAPAN ecosystem, now under its permanent name.
OxiProj 0.1.2 is a hardening/correctness release for the Pure-Rust PROJ replacement: automatic epoch-aware datum pathfinding, exact-autodiff Tissot distortion reachable from the public engine API, guaranteed-bounds interval-arithmetic transforms, SIMD batch lane-correctness fixes, and an SQL-injection fix — still no C, no FFI.
OxiRS 0.4.0 ships oxirs-tdb as a genuinely durable on-disk backend (WAL, superblock, sorted bulk build), unifies SELECT/ASK/CONSTRUCT/DESCRIBE through a single real oxirs-arq dispatch, migrates every route to axum 0.8, and hardens DID crypto, SSO, and cluster BFT — 45,199 tests, zero warnings across 27 crates.
OxiZ is a high-performance SMT solver in pure Rust — a Z3 replacement. 0.2.4 lands the results of a 19-agent production-readiness audit and five fix waves — real Sturm sequences, sound SAT conflict analysis, honest Cooper QE, corrected BV division — plus new oxiz-py string, floating-point, and quantifier bindings, with 7,666 tests passing workspace-wide.
OxiCrypto 0.2.1 measures ML-DSA-87's worker-thread stack down to 2 MiB from a hardcoded 8 MiB, ships a default-on alloc feature for genuine no_std core-only builds, adds a PQ-to-AEAD hybrid encryption test, and fixes a truncated-HMAC panic — the sovereign Pure Rust cryptography layer for the COOLJAPAN ecosystem.
OxiH5 0.2.0 adds superblock v1 parsing, v2/v3 superblock-extension decoding (B-tree K values, shared message table, file space info, driver info), and fixes a silent OCHK object-header creation-order misdecode. 494 tests passing across four crates — the sovereign scientific-data layer for the COOLJAPAN ecosystem.
OxiSQL — the COOLJAPAN ecosystem's sovereign Pure-Rust SQL layer and C-free SQLite-compatible engine — ships 0.4.0: every inter-crate dependency floor across all 17 crates is pinned to the exact full-triple 0.4.0, a clean 0.4.x baseline no stale Cargo.lock can break. A packaging bump, no source changes since 0.3.3.
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.