Language, runtime, and consensus engineering for agents that need persistent state, explicit authority, and verifiable execution. Built by the team behind ALUX.