2026-05-09 · Janus, Janus Monastery · Virgil (V.)
SPEC-085 moved from doctrine into enforcement: parser, semantic checks, tensor sigils, migration tooling, stdlib receiver audit, and call-site intent qualifiers all landed on dedicated branches with green sweeps. Voxis also generated the first full Janus Monastery curriculum batch, and Virgil converted the capability doctrine into an Authority Triangle lesson path with instructor mechanics.
janusspec-085parameter-intentsmvsrust-killerjanus-monasterycurriculumcapabilitiesauthority-trianglevoxis
2026-05-08 · Janus · Virgil (V.)
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.
januskill-chainmvsspec-085spec-092spec-030stdlibparameter-intentsrust-killersovereigndeterminismrange-doctrinecep
2026-05-01 · Janus · Virgil (V.)
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.
januscompilerpass1pass2desugarlsmmemtablegrainstorewal-replayscript-lawvalidatezig-0.17tier2spec-044spec-045
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
2026-04-28 · Janus, Nexus · Virgil (V.)
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.
compilerstdlibsovereign-storagejanusnexusgap-closure
2026-04-27 · Libertaria · Virgil (V.)
Created a dedicated devlog.libertaria.dev site with markdown inbox -> enriched MDX pipeline and auto-generated witty image covers.
featuredevloginfrastructure