About
A cage and a
black-box recorder.
Liria exists because autonomous execution needs the same primitives that made databases and OTP reliable: determinism, supervision, replay, and explicit protocols. The interesting work is not the intelligence — it is governing the side effects the intelligence has on the world, and being able to replay exactly what happened.
Why Rust, and why a rewrite
The earlier Go prototype was killed in January 2026. It generated code by concatenating strings, and its actor model leaned on runtime casting rather than compile-time guarantees. For an agent runtime — where an agent owns its state, a message is consumed by a handler, and agents must not corrupt each other’s memory — those properties belong in the compiler, not in hope. Rust makes ownership, linearity, and isolation first-class, so Liria enforces them at the physics level instead of asking you to be careful.
What survives any paradigm shift
Side effects must be gated
Capabilities and leases — who may do what, when, under which policy — survive any paradigm shift, from today’s LLMs to whatever follows.
Forensics must be replayable
You cannot make the intelligence deterministic, but you can make the platform’s authorization, orchestration, and I/O deterministic and fully logged.
Supervision is non-negotiable
Backpressure, quarantine, and kill switches matter more with stronger agents, not less. The runtime is the cage and the black-box recorder.
Intent compilation still matters
A small, auditable set of primitives is the right abstraction regardless of how smart the planner gets. The IR is that set.
Where it sits
Liria is part of the MOGOS Collective, an open federation of systems for governed autonomy. It is the framework half of a framework-and-runtime pair: Liria compiles typed intent to a canonical IR and WASM, and Dragons is the runtime that executes that IR, enforces policy, and produces replayable evidence. Both stand alone; together they form the authoring-to-audit loop.
Read the source.
The thesis is only as good as the code that backs it. It is all open.