Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA proof layer — requirements, tests and verified fixes — for two of Omarchy's subsystems: the application menu (launcher scripts, QML model, JSONC config, search and selection) and the lock screen (lock scripts, QML, PAM authentication). Scope is deliberately limited to those components of omacom/omarchy; the rest of the distribution is not covered.
Bug: Fresh Omarchy 3.8.3 installation errors on start of Neovim due to missing plugins/theme.lua
Reported by martinscerri · filed Jul 19, 2026Closed upstream on 2026-07-20 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
At a glance
- 1 · What is claimed?
- Only the report text below — no validator has restated it as checkable claims yet.
- 2 · What does it affect?
- Not yet mapped to any requirement or component.
- 3 · Is it reproducible?
- No validation has been run yet.
- 4 · What remains unclear?
- Not validated yet: no claims, no reproducer.
- 5 · What happens next?
- Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.
Original report
System details
AMD Ryzen Threadripper 9960X, Intel Arc B580, 128 GB RAM, dual 2 TB NVMe SSDs. Omarchy 3.8.3
What's wrong?
On a completely fresh installation of Omarchy 3.8.3, launching nvim immediately produces the following error:
Failed to load plugins.theme:
cannot open /home/<user>/.config/nvim/lua/plugins/theme.lua:
No such file or directory
This occurs before any user modifications have been made to the Neovim configuration.
Steps to Reproduce
Perform a fresh installation of Omarchy 3.8.3.
Log into the desktop.
Open a terminal.
Run:
nvim
Expected Behaviour
Neovim should launch normally using the default Omarchy configuration.
Actual Behaviour
Neovim errors during startup with:
Failed to load plugins.theme:
cannot open ~/.config/nvim/lua/plugins/theme.lua:
No such file or directory
Additional Information
Version: Omarchy 3.8.3
Installation type: Fresh install
No modifications made to the Neovim configuration before the issue occurred.
The file:
~/.config/nvim/lua/plugins/theme.lua
does not exist immediately after installation.
It appears the installer or first-run setup may not be creating the expected theme.lua file or symbolic link required by the default Neovim configuration.
Impact
Neovim errors but is usable after installation until the missing file or symlink is manually recreated.
Possible Cause
The installation or theme initialization process may be failing to create:
~/.config/nvim/lua/plugins/theme.lua
or the corresponding symlink to the active Omarchy theme.
View raw text
### System details AMD Ryzen Threadripper 9960X, Intel Arc B580, 128 GB RAM, dual 2 TB NVMe SSDs. Omarchy 3.8.3 ### What's wrong? On a completely fresh installation of Omarchy 3.8.3, launching nvim immediately produces the following error: Failed to load plugins.theme: cannot open /home/<user>/.config/nvim/lua/plugins/theme.lua: No such file or directory This occurs before any user modifications have been made to the Neovim configuration. Steps to Reproduce Perform a fresh installation of Omarchy 3.8.3. Log into the desktop. Open a terminal. Run: nvim Expected Behaviour Neovim should launch normally using the default Omarchy configuration. Actual Behaviour Neovim errors during startup with: Failed to load plugins.theme: cannot open ~/.config/nvim/lua/plugins/theme.lua: No such file or directory Additional Information Version: Omarchy 3.8.3 Installation type: Fresh install No modifications made to the Neovim configuration before the issue occurred. The file: ~/.config/nvim/lua/plugins/theme.lua does not exist immediately after installation. It appears the installer or first-run setup may not be creating the expected theme.lua file or symbolic link required by the default Neovim configuration. Impact Neovim errors but is usable after installation until the missing file or symlink is manually recreated. Possible Cause The installation or theme initialization process may be failing to create: ~/.config/nvim/lua/plugins/theme.lua or the corresponding symlink to the active Omarchy theme.
Validation
Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.
Linked
- Fixed bypr/6664· confirmed
- Fixed bypr/10614· confirmed
Decision
Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.
No decision has been recorded yet.