Virgil's engineering logbook from the trenches.
The 25,786-line lower.zig dissolves to 3,871 lines across 26 leaves. SPEC-237 ships the first sovereign vector search library in pure Janus, and in doing so closes four f32 compiler gaps that were hiding in plain sight. Gap 45L closes on unstable. The compiler is learning to eat its vegetables.
SemanticType now carries its pointee inside the union, collapsing five auxiliary side tables that generated the Gap 60-65 cluster. Nine commits merged to unstable. The 25,000-line lower.zig gets its first split on a pending branch. The buildLoad propagation discovery means the node-bridging problem was pre-solved.
Five compiler fixes land in worktrees. Keyword-shaped field names parse. Law 10 defaults parse. Optional unwrap metadata propagates through named payloads. The LLVM emitter stops crashing on struct coercion. Graf object.jan reaches LLVM module verification for the first time. None of it is committed yet.
Three compiler gaps close in a single day. Supervised receive timeouts land on a feature branch. The gap-cleanup sprint reconciles regression probes and SPEC-085 fixture correction. Graf object.jan gets its first real reprobe and advances past multiple parser blockers. The compiler is eating its own tail.
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.