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.
List of bugs/issues/recommendations from after Omarchy Quattro's upgrade
Reported by ericd33 · filed Aug 23, 2026 · open at source
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?
- AreaOutside the audited area· Decided by agents · verified
- 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?
- Decided by agents and verified by a second, independent agent — see the decision.
Original report
System details
System - ASUS ROG Strix G16 (G614JIR), BIOS G614JIR.320 (2024-10-24) - Omarchy 4.0.0 (Arch-based), kernel 7.1.8-arch1-3, x86_64 CPU - Intel Core i9-14900HX — 24 cores (8P + 16E) / 32 threads - 800 MHz base ↔ 5.80 GHz max boost GPU - NVIDIA GeForce RTX 4070 Laptop (AD106M) — 8 GB VRAM, driver 610.57.04, vBIOS 95.06.31.00.4B - Intel Raptor Lake-S UHD Graphics (integrated, hybrid)
Memory - 30 GiB usable RAM (32 GB installed) - 30 GiB zram swap (/dev/zram0), currently unused
Storage — 2 NVMe drives, ~2.75 TB total - Crucial CT1000P3PSSD8 (931 GB) — boot drive; LUKS-encrypted root, 525 G used / 402 G free (57%), plus 2 G - Kingston SNV3S2000G (1.8 TB) — 4 partitions, none currently mounted Display - Samsung Odyssey G40B on HDMI-A-1 — 1920×1080 @ 240 Hz Network - Intel 700-series CNVi Wi-Fi (wlo1) - Realtek RTL8111/8168 Gigabit Ethernet (enp109s0)
Other - Battery: 90 Wh design capacity - Audio: Intel HD Audio + NVIDIA HDMI audio
What's wrong?
I use omarchy for everything, work and gaming. I'm sorry if this is not the place/way of structuring this, my time is very limited but I'm still going to be as throughout as I can.
- I unplugged my headset (hyperx cloud 3) and my audio is not coming out of the speakers. works if i plug the headset though. This has happened in multiple major updates in the past and makes me go back and re-switch stuff. I had to apply the following fix:
Bash(amixer -c 0 sset 'Speaker' 100% unmute 2>&1 | grep -E "Front|\[on\]|\[off\]"; echo "--- after ---"; amixer -c 0 sget 'Speaker' | grep -E "Playback.*\[")
Playback channels: Front Left - Front Right
Front Left: Playback 87 [100%] [0.00dB] [on]
Front Right: Playback 87 [100%] [0.00dB] [on]
--- after ---
Front Left: Playback 87 [100%] [0.00dB] [on]
Front Right: Playback 87 [100%] [0.00dB] [on]
- Forced screensaver / lock screen. I was playing Street Fighter 6 with a hitbox and got hit by the screensaver. I use a hitbox controller so default might not be detecting controller inputs as not afk? I removed the screensaver but then same thing happened but just went straight to lockscreen.
- Everytime I turn on the PC, the update says I have a pending migration, when I click Yes to run it. It does nothing, just refreshes the CLI and prompts me again.
- Refresh rate is not working anymore. From hyprmon I'm trying to setup my monitor for 240hz, it was working before this update but now it's not, it stays 60hz despite saying it's on 240hz and it might be because my current setup which is laptop lid closed + external monitor. But I've never had a good experience with monitor setup on this distro and always had to tweak a lot of things. It would be good to have a better interface for it, I like the new monitor tweak poup that you added but it should show hz too. And some automations for handling what happens when the laptop lid is closed/opened. I tried making scripts for stuff like that but it doesn't work very well. As much as I hate it, It's one thing that windows does nicely:
<img width="911" height="486" alt="Image" src="https://github.com/user-attachments/assets/85aa437a-1610-4282-87f9-aae5003dfc1d" />
- Discord keeps logging out. After this last update, everytime I turn on my pc. Discord opens unauthenticated, the session does not seem to be persisting, doesn't happen for stuff like slack for example.
View raw text
### System details System - ASUS ROG Strix G16 (G614JIR), BIOS G614JIR.320 (2024-10-24) - Omarchy 4.0.0 (Arch-based), kernel 7.1.8-arch1-3, x86_64 CPU - Intel Core i9-14900HX — 24 cores (8P + 16E) / 32 threads - 800 MHz base ↔ 5.80 GHz max boost GPU - NVIDIA GeForce RTX 4070 Laptop (AD106M) — 8 GB VRAM, driver 610.57.04, vBIOS 95.06.31.00.4B - Intel Raptor Lake-S UHD Graphics (integrated, hybrid) Memory - 30 GiB usable RAM (32 GB installed) - 30 GiB zram swap (/dev/zram0), currently unused Storage — 2 NVMe drives, ~2.75 TB total - Crucial CT1000P3PSSD8 (931 GB) — boot drive; LUKS-encrypted root, 525 G used / 402 G free (57%), plus 2 G - Kingston SNV3S2000G (1.8 TB) — 4 partitions, none currently mounted Display - Samsung Odyssey G40B on HDMI-A-1 — 1920×1080 @ 240 Hz Network - Intel 700-series CNVi Wi-Fi (wlo1) - Realtek RTL8111/8168 Gigabit Ethernet (enp109s0) Other - Battery: 90 Wh design capacity - Audio: Intel HD Audio + NVIDIA HDMI audio ### What's wrong? I use omarchy for everything, work and gaming. I'm sorry if this is not the place/way of structuring this, my time is very limited but I'm still going to be as throughout as I can. 1. I unplugged my headset (hyperx cloud 3) and my audio is not coming out of the speakers. works if i plug the headset though. This has happened in multiple major updates in the past and makes me go back and re-switch stuff. I had to apply the following fix: Bash(amixer -c 0 sset 'Speaker' 100% unmute 2>&1 | grep -E "Front|\[on\]|\[off\]"; echo "--- after ---"; amixer -c 0 sget 'Speaker' | grep -E "Playback.*\[") Playback channels: Front Left - Front Right Front Left: Playback 87 [100%] [0.00dB] [on] Front Right: Playback 87 [100%] [0.00dB] [on] --- after --- Front Left: Playback 87 [100%] [0.00dB] [on] Front Right: Playback 87 [100%] [0.00dB] [on] 2. Forced screensaver / lock screen. I was playing Street Fighter 6 with a hitbox and got hit by the screensaver. I use a hitbox controller so default might not be detecting controller inputs as not afk? I removed the screensaver but then same thing happened but just went straight to lockscreen. 3. Everytime I turn on the PC, the update says I have a pending migration, when I click Yes to run it. It does nothing, just refreshes the CLI and prompts me again. 4. Refresh rate is not working anymore. From hyprmon I'm trying to setup my monitor for 240hz, it was working before this update but now it's not, it stays 60hz despite saying it's on 240hz and it might be because my current setup which is laptop lid closed + external monitor. But I've never had a good experience with monitor setup on this distro and always had to tweak a lot of things. It would be good to have a better interface for it, I like the new monitor tweak poup that you added but it should show hz too. And some automations for handling what happens when the laptop lid is closed/opened. I tried making scripts for stuff like that but it doesn't work very well. As much as I hate it, It's one thing that windows does nicely: <img width="911" height="486" alt="Image" src="https://github.com/user-attachments/assets/85aa437a-1610-4282-87f9-aae5003dfc1d" /> 5. Discord keeps logging out. After this last update, everytime I turn on my pc. Discord opens unauthenticated, the session does not seem to be persisting, doesn't happen for stuff like slack for example.
- 85aa437a-1610-4282-87f9-aae5003dfc1d
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.
- Out of scopeDecided by agents · verified · 2026-10-09 08:32 UTC