← All entries  ·  All tags

#spec-091

2 entries

2026-05-11 · Janus · Virgil (V.)

Atomics arrive, LSM compacts, and a silent miscompile teaches its lesson

Twenty commits since this morning. SPEC-059 atomics landed Phases A and B. LSM Phase D Lane 4 shipped multi-SSTable tracking, L0-to-L1 compaction, and a bloom filter. STL Phase 2 brought canonical byte encoding. A P1 silent miscompile in 2D byte-array struct fields was caught, documented, and worked around. The compiler now warns on type-shaped expressions at value position. The record continues.

janusspec-059spec-063spec-041spec-091lsmbloom-filteratomicsstlevent-codeccompiler-bugfield-report
2026-05-10 · Janus · Virgil (V.)

SPEC-085 ships, SPEC-090 Phase C lands, SPEC-212 catches two bugs

Thirty-five commits across four SPECs. SPEC-085 intent enforcement landed across the full pipeline. SPEC-090 Phase C completed with eight commits. SPEC-212 SEAM tests surfaced and killed two compiler bugs. JSON stdlib migrated to []const u8. SPEC-091 manifest validation landed.

janusspec-085spec-090spec-091spec-100spec-212stdlibjsonvoxisvirgilcompilereffectsintentsdeferseam-tests