Proof Portal

Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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.

Inbox
ReportR-1125GitHub issuePublicDecided· Duplicate

Idle→lock kills omarchy-shell (fatal Wayland error); DP monitors recover EDID-dead on NVIDIA multi-DP

Reported by VandrLust · filed Sep 1, 2026 · open at source

Decided: Duplicate — decided by agents · verified 3 days ago.

R-1659 is the earliest report of this defect — filed Aug 19, 2026, open upstream. This report (filed Sep 1, 2026) describes the same defect, so it is folded under it in the inbox.

Decided by agents · verified· Oct 9, 2026

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?
AreaPartly in the audited arealock· 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

Idle→lock kills omarchy-shell (fatal Wayland error); DP monitors recover EDID-dead on NVIDIA multi-DPrevision 1 · captured 2026-09-28 21:24 UTC via poll

System details

Omarchy 4.0.1-1, Quickshell 0.3.1-1, Qt 6.11.2 / qt6-wayland 6.11.2-1, Hyprland 0.56.2-1, nvidia-open-dkms 610.57.04 (GB203 / RTX 5070 Ti, Wayland direct, GSP), linux 7.1.9-arch1-2. Triple monitors: DP-1 LG ultrawide + DP-2/DP-3 dual ASUS VY279HF via DisplayPort. uwsm session.

Related: #7380 (same fatal-error signature on Intel), #8453 (same trigger, EGL abort variant), #9262, #8863.

What's wrong?

Since upgrading to 4.0.1 on Aug 30 (omarchy 4.0.0→4.0.1, quickshell 0.3.0.r20→0.3.1, kernel 7.1.8→7.1.9), every unattended idle→screensaver→lock transition kills omarchy-shell with a fatal Wayland protocol error, and on my NVIDIA triple-DP setup the aftermath is much worse than the flash described in #7380: after the shell relaunches and re-locks, the kernel logs nvidia-modeset: WARNING: GPU:0: Unable to read EDID for the ASUS VY279HF panels, the outputs come back with no valid mode, and the desktop is unusable until reboot. Hyprland itself survives; the shell + monitor link do not.

This did not happen on 4.0.0. First occurrence ever in the journal: Aug 30 14:46, exactly the day of the 4.0.1 upgrade. 8 occurrences total, each pairing shell-fatal + kernel EDID failure within ~1s.

Steps to reproduce

  1. Triple-monitor NVIDIA (GB203) + DP, idle.screensaver=150, idle.lock=300.
  2. Let it sit idle through screensaver → lock.
  3. Kernel logs EDID unreadable; shell relaunches with stranded-lock recovery; monitor link dead until reboot.

Not reproducible manually: explicit dpms off/on and manual omarchy-shell lock lock both complete cleanly — only the unattended idle transition with the shell mid-screensaver handling dies.

Representative timeline (Aug 31 20:54, journalctl)

20:54:30 omarchy-shell[51314]: shell restarting (previous instance mid-lock cycle)
20:54:33 uwsm_hyprland.desktop[1566]: error in client communication (pid 51314)
20:54:33 omarchy-shell[51314]:   WARN: The Wayland connection experienced a fatal error: Invalid argument
20:54:33 omarchy-shell[63787]: Omarchy shell exited with status 255; relaunching.
20:54:36 omarchy-shell[64036]: DEBUG qml: omarchy lock ... lock-stranded: recovering
20:54:36 omarchy-shell[64036]: DEBUG qml: omarchy lock ... lock-pending: screen-stabilizing
20:54:36 omarchy-shell[64036]: DEBUG qml: omarchy lock ... secure=true
20:54:37 kernel: nvidia-modeset: WARNING: GPU:0: Unable to read EDID for display device Asustek Computer Inc VY279HF (DP-5)

Second variant of the same death, same boot (Aug 31 21:23 — note the EGL errors matching #8453's family):

21:23:04 omarchy-shell[64036]:   WARN qt.qpa.wayland: Could not create EGL surface (EGL error 0x3003)
21:23:04 omarchy-shell[64036]:   WARN qt.qpa.wayland: eglSwapBuffers failed with 0x300d, surface: 0x0
21:23:04 omarchy-shell[64036]:   WARN: The Wayland connection experienced a fatal error: Invalid argument
21:23:05 omarchy-shell[97768]: Omarchy shell exited with status 255; relaunching.
21:23:08 kernel: nvidia-modeset: WARNING: GPU:0: Unable to read EDID for display device Asustek Computer Inc VY279HF (DP-5)

8 shell-fatal + EDID-loss pairs total across Aug 30-31; zero before Aug 30 14:46. Unlike #7380 there is no FALLBACK monitor event in my journal — the outputs themselves lose EDID.

Ruled out

  • Kernel: no panic/oops/Xid in any boot; all reboots were clean shutdowns.
  • NVIDIA suspend plumbing: nvidia-suspend/-resume/-hibernate/-powerd disabled with NVreg_PreserveVideoMemoryAllocations=1 (self-managed, per driver docs).
  • Plain DPMS cycle: clean, no kernel warnings, monitors recover.
  • Session never actually suspends — this is display-DPMS + shell churn only.

Omarchy's own omarchy-hyprland-monitor-watch documents this recovery mode: "Powering the monitor on fires no DRM hotplug... only a reload re-reads the EDID... a compositor that stays silent has gone, taking the session and this loop's reason with it."

System info

  • Omarchy 4.0.1-1, quickshell 0.3.1-1, Hyprland 0.56.2-1 (same commit as #7380)
  • nvidia-open-dkms / nvidia-utils 610.57.04-1, Qt 6.11.2, kernel 7.1.9-arch1-2
  • AMD Ryzen 9 3900X, ASUS RTX 5070 Ti (GB203)

Workaround in place

idle.lock raised in ~/.config/omarchy/shell.json to skip unattended lock until a fix lands (manual lock + manual DPMS are unaffected).

View raw text
### System details

Omarchy 4.0.1-1, Quickshell 0.3.1-1, Qt 6.11.2 / qt6-wayland 6.11.2-1, Hyprland 0.56.2-1, nvidia-open-dkms 610.57.04 (GB203 / RTX 5070 Ti, Wayland direct, GSP), linux 7.1.9-arch1-2. Triple monitors: DP-1 LG ultrawide + DP-2/DP-3 dual ASUS VY279HF via DisplayPort. uwsm session.

Related: #7380 (same fatal-error signature on Intel), #8453 (same trigger, EGL abort variant), #9262, #8863.

### What's wrong?

Since upgrading to 4.0.1 on Aug 30 (omarchy 4.0.0→4.0.1, quickshell 0.3.0.r20→0.3.1, kernel 7.1.8→7.1.9), every *unattended* idle→screensaver→lock transition kills omarchy-shell with a fatal Wayland protocol error, and on my NVIDIA triple-DP setup the aftermath is much worse than the flash described in #7380: after the shell relaunches and re-locks, the kernel logs `nvidia-modeset: WARNING: GPU:0: Unable to read EDID` for the ASUS VY279HF panels, the outputs come back with no valid mode, and the desktop is unusable until reboot. Hyprland itself survives; the shell + monitor link do not.

This did not happen on 4.0.0. First occurrence ever in the journal: Aug 30 14:46, exactly the day of the 4.0.1 upgrade. 8 occurrences total, each pairing shell-fatal + kernel EDID failure within ~1s.

### Steps to reproduce

1. Triple-monitor NVIDIA (GB203) + DP, `idle.screensaver=150`, `idle.lock=300`.
2. Let it sit idle through screensaver → lock.
3. Kernel logs EDID unreadable; shell relaunches with stranded-lock recovery; monitor link dead until reboot.

Not reproducible manually: explicit `dpms off/on` and manual `omarchy-shell lock lock` both complete cleanly — only the unattended idle transition with the shell mid-screensaver handling dies.

### Representative timeline (Aug 31 20:54, journalctl)

```text
20:54:30 omarchy-shell[51314]: shell restarting (previous instance mid-lock cycle)
20:54:33 uwsm_hyprland.desktop[1566]: error in client communication (pid 51314)
20:54:33 omarchy-shell[51314]:   WARN: The Wayland connection experienced a fatal error: Invalid argument
20:54:33 omarchy-shell[63787]: Omarchy shell exited with status 255; relaunching.
20:54:36 omarchy-shell[64036]: DEBUG qml: omarchy lock ... lock-stranded: recovering
20:54:36 omarchy-shell[64036]: DEBUG qml: omarchy lock ... lock-pending: screen-stabilizing
20:54:36 omarchy-shell[64036]: DEBUG qml: omarchy lock ... secure=true
20:54:37 kernel: nvidia-modeset: WARNING: GPU:0: Unable to read EDID for display device Asustek Computer Inc VY279HF (DP-5)
```

Second variant of the same death, same boot (Aug 31 21:23 — note the EGL errors matching #8453's family):

```text
21:23:04 omarchy-shell[64036]:   WARN qt.qpa.wayland: Could not create EGL surface (EGL error 0x3003)
21:23:04 omarchy-shell[64036]:   WARN qt.qpa.wayland: eglSwapBuffers failed with 0x300d, surface: 0x0
21:23:04 omarchy-shell[64036]:   WARN: The Wayland connection experienced a fatal error: Invalid argument
21:23:05 omarchy-shell[97768]: Omarchy shell exited with status 255; relaunching.
21:23:08 kernel: nvidia-modeset: WARNING: GPU:0: Unable to read EDID for display device Asustek Computer Inc VY279HF (DP-5)
```

8 shell-fatal + EDID-loss pairs total across Aug 30-31; zero before Aug 30 14:46. Unlike #7380 there is no FALLBACK monitor event in my journal — the outputs themselves lose EDID.

### Ruled out

- Kernel: no panic/oops/Xid in any boot; all reboots were clean shutdowns.
- NVIDIA suspend plumbing: nvidia-suspend/-resume/-hibernate/-powerd disabled with `NVreg_PreserveVideoMemoryAllocations=1` (self-managed, per driver docs).
- Plain DPMS cycle: clean, no kernel warnings, monitors recover.
- Session never actually suspends — this is display-DPMS + shell churn only.

Omarchy's own `omarchy-hyprland-monitor-watch` documents this recovery mode: "Powering the monitor on fires no DRM hotplug... only a reload re-reads the EDID... a compositor that stays silent has gone, taking the session and this loop's reason with it."

### System info

- Omarchy 4.0.1-1, quickshell 0.3.1-1, Hyprland 0.56.2-1 (same commit as #7380)
- nvidia-open-dkms / nvidia-utils 610.57.04-1, Qt 6.11.2, kernel 7.1.9-arch1-2
- AMD Ryzen 9 3900X, ASUS RTX 5070 Ti (GB203)

### Workaround in place

`idle.lock` raised in `~/.config/omarchy/shell.json` to skip unattended lock until a fix lands (manual lock + manual DPMS are unaffected).

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

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.

  • DuplicateR-1659Decided by agents · verified · 2026-10-09 09:06 UTC