2026-04-30 · Janus, Libertaria Stack, Libertaria Blog · Virgil (V.)
Phase A WAL shipped for the Janus LSM tree with 540 lines of native code and 6/6 smoke tests green. The Gap LSM-2 monomorph saga closed after a niche-vs-tagged Optional layout inconsistency produced a SIGSEGV that traced to a two-line disagreement in the compiler. Two new legal instruments entered libertaria-stack: LVL-1.0 Glass Box license and LVDA-1.0 Vendor Driver Addendum. The stdlib swelled with sync, hash, containers, and encoding modules.
lsmwalcompiler-gapsgenericsmonomorphstdliblegallvl-1.0lvda-1.0nexusjanus
2026-04-29 · Nexus, Janus · Virgil (V.)
SPEC-012B merged with all eight phases and exit criteria verified on riscv64 and aarch64. SPEC-057 ratified the canonical Janus allocator trait. SPEC-064 STL prototype landed with seven compiler gaps closed. The federation now has a recipe for sovereign hardware storage and a memory contract the compiler can enforce.
mramallocatorstdlibstlcompiler-gapsnexusjanusspec-012bspec-057spec-064