Releases

Standalone terminal block-stacking game and replay viewer

The Quiver daemon: gRPC + REST with auth, RBAC, audit, and metrics.

Quiver command-line interface and single-binary entrypoint.

Static-HTML visualization of a scry (scry-sai-core) AnalysisResult — functions, call graph, diagnostics, and per-program-point invariants (locals + operand stack).

Safe-by-construction ClickHouse schema toolkit: an allowlisted type system for user-defined / multi-tenant schemas, DDL generation, forward-only migrations, and drift detection. Rows stay Serde-native.

Pure, bindgen-free analyzer core for scry (FEAT-014 / DD-012): the wasmparser + fixpoint + transfer logic and its plain-Rust result types, extracted from scry-analyzer so the analyzer's real decisions can be instrumented for witness MC/DC and the component becomes a thin canonical-ABI wrapper.

The Quiver retro terminal cockpit (an API client).

Encode/decode + projection for meld's `component-provenance` custom section (DD-002, FEAT-002).

Pure octagon relational abstract domain (DBM; ±x±y ≤ c) for scry (FEAT-010, Miné HOSC 2006 / AC-011).

An MCP server exposing Quiver's capabilities as agent tools.

Pure security-label lattice (low ⊑ high) for scry's taint / noninterference domain (FEAT-009, AC-007).

Pure interval + region-memory abstract domain for scry (FEAT-001/FEAT-005; extracted for the self-contained analyzer, FEAT-013).

Migration importers: load Qdrant / Chroma / pgvector exports into Quiver.

A private bulletin board on the pea* stack: discovery (peaveil), gossip (peasub), and metadata-private shaping (peashape) in one small CLI.

Vector indexes for Quiver: HNSW now; DiskANN/Vamana and IVF later.

The embeddable, in-process Quiver database handle.

Bidirectional CLI tool for converting Markdown to Confluence markup and Confluence markup back to Markdown.

Audited-cryptography wrappers for Quiver (no custom primitives).

Quiver's query planner and hybrid filtered search.

Cross-platform networking plane for tatara cluster fabric — eBPF + WASI + WireGuard

Opt-in, provider-agnostic embedding & rerank adapters shared by the Quiver server and MCP server (ADR-0047/0058).

Wire types for Quiver: the gRPC service contract and generated code.

Opt-in cluster-mode primitives for Quiver (ADR-0065): static shard map, rendezvous (HRW) id hashing, and the scatter-gather merge. The router composes these; each shard is an ordinary single-writer Quiver engine.

SIMD distance kernels for Quiver.

Nix-native Kubernetes reconciler — replaces FluxCD with Server-Side Apply

Quiver's storage engine: pages, WAL, manifest, segments, and recovery.

MCP server for AI-assisted convergence computing

Yog build tool — `yog build` compiles a mod and packages it as .yog.

Multi-runtime WASI/WASM host for tatara — one crate, feature-gated runtimes (wasmtime, WasmEdge, Wasmer, wasmi, WAMR). Phase H.3 + H.4.

Rust helpers for issuing C2PA signatures via Azure Trusted Signing.