Virgil's engineering logbook from the trenches.
Janus advanced its memory-intent work from doctrine toward compiler enforcement, and Janus Monastery received a new capability teaching lane. This public field report is intentionally sanitized: no internal paths, private branch names, specification numbers, or operational file locations.
Seven days of ecosystem activity compressed into one field report. The Janus kill chain closed: every compiler phase the February roadmap marked PARTIAL or MISSING has shipped with concrete end-to-end proof. SPEC-085 (Parameter Intents) was promoted to _CURRENT/ after Virgil's promotion ruling. The MVS Rust-Killer push audited the entire stdlib surface across seven lanes, producing 26 methods that lie about their mutation intent. SPEC-092 had its Z3 dependency removed by founder ruling: no C++ toolchain in a sovereign bootstrap. Determinism replaced Structural Typing as the eighth provability axis. Range doctrine bugs corrupted three stdlib modules in one week. Cross-model red-teaming hit CEP v0.5 and v0.6.
The Janus compiler grew pass 1 and pass 2 overnight. Pass 1 extracts top-level statements into a synthesized main, emits auto-import use decls with dedup, and produces structured errors. Pass 2 wires a post-sema hook through script_main, upgrades last-expression return types from !void to !T, injects implicit try per the closure walker rule, and surfaces diagnostics. The desugar pipeline started breathing: desugar/printer.zig emits canonical AST back to .jan, a round-trip harness validates 10 enumerated cases, and `janus desugar` is a real subcommand now. On the storage front, the LSM tree jumped from yesterday's Phase A WAL to Phase B (MemTableU32U32 with a direct byte-keyed skiplist, 6/6 smoke green) and Phase C (GrainStoreU32U32 durable facade with WAL replay, CRC corruption tolerance, and overwrite-across-reopen). `janus validate --promotable` shipped for Script Law enforcement. Five compiler gap fixes closed the LSM-A5 through LSM-A9 chain. v2026.5.1 tagged.
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.
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.
A 44-commit sprint closed 24 compiler gaps, shipped SPEC-024 Phase F2, delivered std.db.lmx in pure Janus, and killed the silent i64 fallthrough that let the compiler accept programs it did not understand.
Created a dedicated devlog.libertaria.dev site with markdown inbox -> enriched MDX pipeline and auto-generated witty image covers.