main lava codebase