theoria. Elixir-native proof and specification kernel inspired by Lean's trusted-kernel architecture.