The ratatui-based terminal UI for mandible: tree pane, detail pane, search bar, status bar, and keybinding overlay. Not independently useful outside the…
AI memory-maintenance passes for the rag-rat workspace: the deterministic findings worklist, and the model-driven verify/compact passes over repo memories.
Core of the rusty_erasure ISA-L remake: GF(2^8) arithmetic, coding matrices, DecodePlan and the scalar kernels that are the permanent conformance oracle.…
SIMD kernels for rusty_erasure: x86-64 SSSE3/AVX2 nibble tables and AVX2-GFNI affine transforms, aarch64 NEON, and wasm SIMD128. The workspace's only unsafe…
kukaku (区画) — the split-tree layout algebra: a binary tiling tree generic over what a leaf is, with a refined split ratio and no I/O. Consumed by tear…
Structured JSON reports for Rust verification tooling. Stable, versioned wire format with optional terminal, markdown, SARIF, and JUnit XML rendering.…
Canonical Rigorix contracts (JSON Schemas + conformance fixtures), embedded at build time and consumable by the verifier, clients, and servers — one copy, no…
Pure-Rust clean-room JPEG XL (JXL, ISO/IEC 18181) decoder for the oxideav framework: Modular + VarDCT decode paths, the 18181-2 box file format, and byte-exact…