Skip to content
Weltenwanderer
Search
Ctrl
K
Cancel
Codeberg
Select theme
Dark
Light
Auto
Getting Started
Introduction
Installation
Quick Start
Language
Keywords
Decider
Context
Command
Event
State
Type
Match
Constraints
Type Constraints
Value Validation
Business Rule Guards
Postconditions
Rejection Clauses
Validation
Overview
Completeness Checks
Guard & Constraint Checks
Structural Checks
Command-line Interface
Overview
Diagrams
Generate State Machine Diagrams
Code Generation
Overview
Development Tools
Overview
Guides
Event Sourcing Primer
Your First Bounded Context
Why Category Theory? (And Why You Don't Need to Learn It)
Roadmap
Overview
Phase 1: LLM Skill
Skill documentation
✓
Feature proposal template
✓
Phase 2: Grammar & Parser
Langium grammar definition
✓
Parser test suite
✓
LSP integration
✓
Phase 3: Core Validation
Expression grammar
✓
Exhaustiveness check
✓
Evolve totality check
✓
Guard consistency
✓
Error messages with positions
✓
Dead code detection
✓
Terminal state validation
✓
Postcondition verification
✓
Phase 4: Emmett Generator
Emmett code generation
✓
Smart Constructors
✓
Generator snapshot tests
✓
Phase 5: CLI
validate command
✓
generate command
✓
Phase 6: Language Server
Semantic token provider
○
Code actions
○
Code lens
○
Document symbols
○
Folding ranges
○
Document formatting
○
Rename symbol
○
Signature help
○
Workspace symbols
○
VS Code extension
○
Deferred
VS Code extension
◇
Living documentation
◇
Schema evolution
◇
Flow analysis
◇
Event Model construct
◇
DSL mutation testing
◇
Data classification and GDPR compliance
◇
Modular compiler architecture
◇
Source map support
◇
Extended compile targets
◇
Lazy / JIT artifact generation
◇
MCP server
◇
Try-it-online playground
◇
Domain-level debugger
◇
Runtime architecture strategy
◇
Value type factory functions
◇
Additional CLI delivery formats
◇
Project
Development Guide
Compiler Architecture
Testing Strategy
Architecture Decisions
Architecture Decision Records
ADR-001: Langium as Parser and LSP Framework
Accepted
ADR-002: Bun as Runtime, Test Runner, and Workspace Tool
Accepted
ADR-003: Four Constraint Layers
Accepted
ADR-004: Two-Level Verification Architecture
Accepted
ADR-005: Evolve as F-Algebra with Catamorphism Fold
Accepted
ADR-006: Guard Analysis via Galois Connection
Accepted
ADR-007: Validation Error Accumulation via Applicative Functor
Accepted
ADR-008: Rejection Is Not an Event
Accepted
ADR-009: Multi-Event Atomic Application with Left-Fold
Accepted
ADR-010: Unknown Equals Error — Strict Verification
Accepted
ADR-011: Emmett/TypeScript as First Code Generation Target
Accepted
ADR-012: Skip Semantic Validation on Unresolved References
Accepted
ADR-013: Replace ExpressionFragment with Operator-Precedence Expression Grammar
Accepted
ADR-014: AST-to-State-Machine Extraction via Free/Forgetful Adjunction
Accepted
ADR-015: Abstract Interpretation for Guard Satisfiability
Accepted
ADR-016: Rejection Category Keywords
Accepted
ADR-017: Explicit Initial State Declaration
Superseded
ADR-018: Result-Based Decider with Emmett Adapter
Accepted
ADR-019: Language Server as Separate Package
Accepted
ADR-020: Declarative Initial and Terminal Syntax
Proposed
ADR-021: Initial State Property Bindings
Proposed
ADR-022: Two-Stage CLI Compilation
Accepted
ADR-023: Codeberg-centric workflow
Accepted
Codeberg
Select theme
Dark
Light
Auto
LSP integration
Complete
Phase
Grammar & Parser (Phase 2)
Dependencies
Langium grammar definition
Issue
Codeberg Issue #6
Milestone
Phase 2: Grammar & Parser
View on Roadmap
Langium-provided language server with autocomplete, hover, and go-to-definition
In this phase
Langium grammar definition
Parser test suite
References
Installation