"algo0.9.7.890e — Real Weights I/O, Tensor Engine, Neural Architectures, and Opt-in Backends"
SneppX-ALG v0.9.7.890e is now released. This release turns the
format, kernel, and backend layers from scaffolding into **real, working
implementations** — no stubs, no silent no-ops — and adds CI coverage so the
opt-in backends are actually compiled and tested on every push.
What's New
Phase 1 — Format layer (real weights I/O)
All five serializer front-ends now read and write real bytes:
These feed directly into the tensor engine, so pretrained weights can be loaded
end-to-end.
Phase 2 — Kernel (real computation)
real implementations are actually compiled and linked.
models train on CPU.
Phase 3 — Seven neural architectures (real)
The neural_architecture_layer now ships concrete, differentiable
implementations:
² = D⁻¹Ǟⁿ²(A+I)D⁻¹Ǟⁿ²
Bellman TD update, single-sample SGD backprop)
plus the existing ARC / SER / HSS / NPE / FM modules.
Phase 4 — Security hardening
The S0–S9 security layer was already real. This release fixes two concrete bugs:
signatures (secure-memory pool vs. secure allocator), so the linker dropped one.
The pool API is renamed to SNEPPX_secure_pool_free.
mapping base incorrectly when randomize_layout shifted the usable region,
leaking the first bytes of the mmap / VirtualAlloc region. The pool now
stores and releases the exact raw region.
Phase 5 — Opt-in backends (real reference compute)
Vulkan, TPU, HTTP, and ZK were silent stubs; they are now **real reference
implementations** gated by SNEPPX_BUILD_VULKAN / _TPU / _HTTP / _ZK:
reference-compute path.
device and execute runs a real GEMM on the tensor buffers.
minimal blocking server; Windows links ws2_32 only when enabled.
over the Curve25519 prime (p = 2²55 − 19) with a Fiat-Shamir
challenge hashed via an embedded SHA-256 and a 256-bit bignum. A valid proof
verifies; a tampered proof is rejected.
A new test_backend_full exercises real GEMM (Vulkan / TPU), a ZK prove/verify
round-trip, and HTTP init — it passes 12/12 with the flags on and degrades
gracefully (UNSUPPORTED) without them.
Phase 6 — CI coverage
A new backends job in .github/workflows/ci.yml configures the build with all
four opt-in flags and runs ctest across ubuntu / windows / macOS, so the real
backend code is compiled and exercised in CI (previously the opt-in flags were
only built locally). No external SDKs are required.
Testing
All existing suites stay green: test_tpu_driver (7/7), test_secure_mem
(12/12), test_secure_allocator (3/3), plus the new test_backend_full
(12/12 with backends enabled). 800+ tests pass across the C and Python suites.
cmake -B build -DCMAKE_BUILD_TYPE=Release -DSNEPPX_BUILD_TESTS=ON \
-DSNEPPX_BUILD_VULKAN=ON -DSNEPPX_BUILD_TPU=ON \
-DSNEPPX_BUILD_HTTP=ON -DSNEPPX_BUILD_ZK=ON
cmake --build build --config Release --target test_backend_full
ctest -C Release --output-on-failure
Site Updates
All Arix-Site pages, SEO structured data, and the arix-ui package are updated to
v0.9.7.890e.
Links
See the Docs page for build options and the Packages page
for installation.