Proof Portal
Project overview
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.
ReportR-3982GitHub issuePublicReceived
hyprland.conf error after update to 3.3.1
Reported by evilsocket · filed Jan 8, 2026Closed upstream on 2026-01-08 by its own reporter evilsocket, as a duplicate of #4154 (R-3981). GitHub close reason: completed.
Received and recorded verbatim. Nothing has been checked yet.
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
hyprland.conf error after update to 3.3.1revision 1 · captured 2026-10-04 11:49 UTC via poll
System details
Intel i9, Omarchy 3.3.1
What's wrong?
After updating to 3.3.1 I see this overlay on the screen and the topbar is gone:
<img width="3437" height="376" alt="Image" src="https://github.com/user-attachments/assets/2ae0dad6-cbc8-4e3e-9996-e799170b6c40" />
My hyprland.conf:
# Learn how to configure Hyprland: https://wiki.hyprland.org/Configuring/
# Use defaults Omarchy defaults (but don't edit these directly!)
source = ~/.local/share/omarchy/default/hypr/autostart.conf
source = ~/.local/share/omarchy/default/hypr/bindings/media.conf
source = ~/.local/share/omarchy/default/hypr/bindings/tiling.conf
source = ~/.local/share/omarchy/default/hypr/bindings/utilities.conf
source = ~/.local/share/omarchy/default/hypr/envs.conf
source = ~/.local/share/omarchy/default/hypr/looknfeel.conf
source = ~/.local/share/omarchy/default/hypr/input.conf
source = ~/.local/share/omarchy/default/hypr/windows.conf
source = ~/.config/omarchy/current/theme/hyprland.conf
# Change your own setup in these files (and overwrite any settings from defaults!)
source = ~/.config/hypr/monitors.conf
source = ~/.config/hypr/input.conf
source = ~/.config/hypr/bindings.conf
source = ~/.config/hypr/envs.conf
source = ~/.config/hypr/looknfeel.conf
source = ~/.config/hypr/autostart.conf
# NVIDIA environment variables
env = NVD_BACKEND,direct
env = LIBVA_DRIVER_NAME,nvidia
env = __GLX_VENDOR_LIBRARY_NAME,nvidia
monitor=eDP-1,[email protected],4000x960,2.00
monitor=DP-7,[email protected],128x0,1.00
monitor=DP-5,[email protected],2048x1472,2.00
workspace=1,monitor:DP-5,default:true
general {
gaps_in = 1
gaps_out = 1
snap {
enabled = true
}
}Two main problems:
- ~/.config/omarchy/current/theme/hyprland.conf does not exist:
…/.config/hypr ❯ ls -la ~/.config/omarchy/current/theme/
Permissions Size User Date Modified Name
drwxr-xr-x - evilsocket 8 Jan 15:00 backgrounds
.rw-r--r-- 2.3k evilsocket 22 Nov 2025 btop.theme
.rw-r--r-- 461 evilsocket 8 Jan 15:00 colors.toml
.rw-r--r-- 12 evilsocket 28 Sep 2025 icons.theme
.rw-r--r-- 156 evilsocket 20 Oct 2025 neovim.lua
.rw-r--r-- 454k evilsocket 22 Nov 2025 preview.png
.rw-r--r-- 77 evilsocket 20 Oct 2025 vscode.json
…/.config/hypr ❯ ls -l ~/.config/omarchy/current
Permissions Size User Date Modified Name
lrwxrwxrwx - evilsocket 27 Oct 2025 theme -> /home/evilsocket/.config/omarchy/themes/catppuccinAnd these lines in input.conf:
windowrule = scrolltouchpad 1.5, class:(Alacritty|kitty)
windowrule = scrolltouchpad 0.2, class:com.mitchellh.ghosttyAre somehow not recognized as valid.
If i comment all 3 lines, the error overlay is gone but the topbar won't showup.
View raw text
### System details Intel i9, Omarchy 3.3.1 ### What's wrong? After updating to 3.3.1 I see this overlay on the screen and the topbar is gone: <img width="3437" height="376" alt="Image" src="https://github.com/user-attachments/assets/2ae0dad6-cbc8-4e3e-9996-e799170b6c40" /> My hyprland.conf: ``` # Learn how to configure Hyprland: https://wiki.hyprland.org/Configuring/ # Use defaults Omarchy defaults (but don't edit these directly!) source = ~/.local/share/omarchy/default/hypr/autostart.conf source = ~/.local/share/omarchy/default/hypr/bindings/media.conf source = ~/.local/share/omarchy/default/hypr/bindings/tiling.conf source = ~/.local/share/omarchy/default/hypr/bindings/utilities.conf source = ~/.local/share/omarchy/default/hypr/envs.conf source = ~/.local/share/omarchy/default/hypr/looknfeel.conf source = ~/.local/share/omarchy/default/hypr/input.conf source = ~/.local/share/omarchy/default/hypr/windows.conf source = ~/.config/omarchy/current/theme/hyprland.conf # Change your own setup in these files (and overwrite any settings from defaults!) source = ~/.config/hypr/monitors.conf source = ~/.config/hypr/input.conf source = ~/.config/hypr/bindings.conf source = ~/.config/hypr/envs.conf source = ~/.config/hypr/looknfeel.conf source = ~/.config/hypr/autostart.conf # NVIDIA environment variables env = NVD_BACKEND,direct env = LIBVA_DRIVER_NAME,nvidia env = __GLX_VENDOR_LIBRARY_NAME,nvidia monitor=eDP-1,[email protected],4000x960,2.00 monitor=DP-7,[email protected],128x0,1.00 monitor=DP-5,[email protected],2048x1472,2.00 workspace=1,monitor:DP-5,default:true general { gaps_in = 1 gaps_out = 1 snap { enabled = true } } ``` Two main problems: 1. ~/.config/omarchy/current/theme/hyprland.conf does not exist: ```bash …/.config/hypr ❯ ls -la ~/.config/omarchy/current/theme/ Permissions Size User Date Modified Name drwxr-xr-x - evilsocket 8 Jan 15:00 backgrounds .rw-r--r-- 2.3k evilsocket 22 Nov 2025 btop.theme .rw-r--r-- 461 evilsocket 8 Jan 15:00 colors.toml .rw-r--r-- 12 evilsocket 28 Sep 2025 icons.theme .rw-r--r-- 156 evilsocket 20 Oct 2025 neovim.lua .rw-r--r-- 454k evilsocket 22 Nov 2025 preview.png .rw-r--r-- 77 evilsocket 20 Oct 2025 vscode.json …/.config/hypr ❯ ls -l ~/.config/omarchy/current Permissions Size User Date Modified Name lrwxrwxrwx - evilsocket 27 Oct 2025 theme -> /home/evilsocket/.config/omarchy/themes/catppuccin ``` And these lines in input.conf: ``` windowrule = scrolltouchpad 1.5, class:(Alacritty|kitty) windowrule = scrolltouchpad 0.2, class:com.mitchellh.ghostty ``` Are somehow not recognized as valid. If i comment all 3 lines, the error overlay is gone but the topbar won't showup.
- 2ae0dad6-cbc8-4e3e-9996-e799170b6c40
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
Not linked to any known issue, other report or change yet.
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.