Releases

Internal cryptographic utilities for the authkestra framework, specifically for strict signature and key verification

Language Server for tatara-lisp / caixa — diagnostics via caixa-lint, formatting via caixa-fmt, hover + goto-def + document-symbol.

Canonical formatter for tatara-lisp / caixa sources.

Manifest types, layout invariants, and version contract for the caixa tatara-lisp package system.

Lock file (deflacre) types, BLAKE3 content + closure hashing for the caixa tatara-lisp package system.

Span-aware Lisp AST for the caixa ecosystem — shared by caixa-fmt, caixa-lint, caixa-lsp. Compatible with tatara-lisp's Sexp.

Backend-independent SIR optimization policy and passes for Celox

Nord palette + blackmatter style overlays for caixa diagnostics, formatter output, LSP semantic tokens, and nvim plugin colors.

Backend-independent Celox simulation runtime contracts

Memory allocation tracking utilities for benchmarks and performance analysis

Policy-bounded linked Rust HTTP Egress Plugin for Lenso backends.

Source-neutral symbolic frontend core for Celox

Utilities for internal use in Folo packages; no stable API surface

Native GPU sampling for ferrotherm: the same WGSL sweep the browser runs, on Vulkan, Metal or DX12. Kept out of the core crate so `ferrotherm` stays std-only with zero dependencies.

Celox WebAssembly code-generation backend

Cloud fabrics for ferrotherm: drives real third-party annealing silicon through the Device trait, starting with Hitachi's CMOS annealing ASIC. Separate crate because it needs a TLS client and the core has no dependencies.

Agent-facing tier for ferrotherm: an HTTP sampling API and a Model Context Protocol server for thermodynamic sampling, annealing and exact verification over Ising graphs. std-only, zero dependencies.

The IPAI-owned path to metal for ferrotherm: pure-Rust FPGA silicon layer — binary-stochastic-neuron LUT fabrics, chip databases, and bitstream emission for the ferrotherm deployment ladder (Alchitry V2, Kria KV260, M.2 Artix, Alveo, AWS F2). Zero dependencies. Selected algorithms ported with permission from Open Interface Engineering's openie-fpga; this crate is fully independent of it.

Generated WebAuthn passkey ceremony and management Capability for Lenso.

Portable HTTP Endpoint Capability contract for Lenso backend Plugins.

Actix Web adapter for the CModel Error Contract

Measured wall power for ferrotherm: turns a run's operation counts into per-operation energy measured on the machine that ran it, instead of borrowed from another vendor's datasheet.

Thermodynamic computing in pure Rust: sparse energy-based models, chromatic block-Gibbs, parallel tempering, thermodynamic linear algebra, stochastic differentiable programs, a variational compiler onto device topologies, exact inference by variable elimination, planted instances with known optima, sampler certificates, and a first-class joules ledger. std-only, zero dependencies, wasm-clean, deterministic by seed.

Foreign data wrappers (DuckDB, Arrow IPC)

macOS filesystem scanning backend for SweepX

Volcano physical operators with row-batch pipelines

Celox Cranelift code-generation backend

SystemVerilog analyzer frontend for Celox

Hash, outer, semi, sort-merge, and cross-paradigm joins

Source-independent symbolic logic tree core for Celox