Deterministic control for distributed systems.
This repository is the central coordination hub for Lexum.
It is used for:
- discussions
- RFCs
- issue tracking
- design proposals
Lexum is a control-plane programming language where system behavior is defined as executable law.
A .lex file defines what must be true, and the runtime enforces it deterministically.
auth.lex
network.lex
storage.lex
Each file governs a domain of the system.
-
Determinism Same input → same execution → same result
-
Convergence Systems reconcile toward defined goals
-
Authority ".lex" defines non-negotiable system behavior
-
Traceability Execution can be replayed exactly
This repository does not contain the implementation.
Instead, it serves as the place to:
- propose changes (RFCs)
- discuss system design
- report issues
- track roadmap and direction
Implementation repositories will be maintained separately:
- compiler
- runtime
- CLI
- tooling
For documentation and overview:
All changes to Lexum must be proposed through RFCs. Unstructured feature requests will be closed.
We welcome:
- design discussions
- RFC proposals
- critical feedback
Before contributing, ensure you understand the core philosophy:
.lex is not configuration. It is system law.
Status
Early-stage project under active development.
Interfaces and semantics are subject to change.
License
Core repositories are released under the Apache License 2.0.