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.
Hyprlock segmentation fault (2025, Arch, iMac 2013)
Reported by tomaslucas · filed Jul 20, 2025Closed upstream on 2025-11-03 by dhh, as not planned.
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
Hi,
I'm experiencing a segmentation fault when launching hyprlock on my system. Here's all the relevant information I could gather. If I launch it using SUPER+Esc, nothing happens; the screen doesn't lock.
System Info:
Distro: Arch Linux (latest as of July 20, 2025)
Kernel: 6.15.7-arch1-1
Hardware: iMac (Late 2013), x86_64
Omarchy: Up to date (omarchy-update reports no local changes)
Hyprlock version: v0.9.0
Problem:
When I run hyprlock --verbose, I get a series of config errors followed by a segmentation fault.
hyprlock --verbose
Hyprlock version v0.9.0
[ERR] Config has errors:
Config error in file /home/tlucas/.config/hypr/hyprlock.conf at line 8: config option <general:disable_loading_bar> does not exist.
Config error in file /home/tlucas/.config/hypr/hyprlock.conf at line 9: config option <general:no_fade_in> does not exist.
Config error in file /home/tlucas/.config/hypr/hyprlock.conf at line 33: config option <input-field:font_size> does not exist.
Config error in file /home/tlucas/.config/hypr/hyprlock.conf at line 36: config option <input-field:placeholder_color> does not exist.
Proceeding ignoring faulty entries
kmsro: driver missing
libEGL warning: egl: failed to create dri2 screen
...
[ERR] [core] Couldn't find a render node
...
Segmentation fault (core dumped)The crash occurs even when I comment out all unsupported config options.
My GPU is the Intel HD Graphics 5000 (built-in to the 2013 iMac), which may be part of the problem—missing render node, kmsro, etc.
The issue appears related to egl and dmabuf initialization (based on logs and eglQueryDmaBufModifiersEXT failing).
Hyprland itself starts normally and works fine, so this seems specific to hyprlock
Aditional commands:
uname -a
Linux omarchy 6.15.7-arch1-1 #1 SMP PREEMPT_DYNAMIC Thu, 17 Jul 2025 21:05:29 +0000 x86_64 GNU/Linux
omarchy-update
No local changes to save
Already up to date.
No stash entries found.
lspci -k | grep -EA3 'VGA|3D|Display'
01:00.0 VGA compatible controller: NVIDIA Corporation GK104M [GeForce GTX 680MX] (rev a1)
Subsystem: Apple Inc. iMac 13,2
Kernel modules: nouveau, nvidia_drm, nvidia
01:00.1 Audio device: NVIDIA Corporation GK104 HDMI Audio Controller (rev a1)
View raw text
Hi, I'm experiencing a segmentation fault when launching hyprlock on my system. Here's all the relevant information I could gather. If I launch it using SUPER+Esc, nothing happens; the screen doesn't lock. **System Info:** Distro: Arch Linux (latest as of July 20, 2025) Kernel: 6.15.7-arch1-1 Hardware: iMac (Late 2013), x86_64 Omarchy: Up to date (omarchy-update reports no local changes) Hyprlock version: v0.9.0 **Problem:** When I run hyprlock --verbose, I get a series of config errors followed by a segmentation fault. ```bash hyprlock --verbose Hyprlock version v0.9.0 [ERR] Config has errors: Config error in file /home/tlucas/.config/hypr/hyprlock.conf at line 8: config option <general:disable_loading_bar> does not exist. Config error in file /home/tlucas/.config/hypr/hyprlock.conf at line 9: config option <general:no_fade_in> does not exist. Config error in file /home/tlucas/.config/hypr/hyprlock.conf at line 33: config option <input-field:font_size> does not exist. Config error in file /home/tlucas/.config/hypr/hyprlock.conf at line 36: config option <input-field:placeholder_color> does not exist. Proceeding ignoring faulty entries kmsro: driver missing libEGL warning: egl: failed to create dri2 screen ... [ERR] [core] Couldn't find a render node ... Segmentation fault (core dumped) ``` The crash occurs even when I comment out all unsupported config options. My GPU is the Intel HD Graphics 5000 (built-in to the 2013 iMac), which may be part of the problem—missing render node, kmsro, etc. The issue appears related to egl and dmabuf initialization (based on logs and eglQueryDmaBufModifiersEXT failing). Hyprland itself starts normally and works fine, so this seems specific to hyprlock **Aditional commands:** uname -a Linux omarchy 6.15.7-arch1-1 #1 SMP PREEMPT_DYNAMIC Thu, 17 Jul 2025 21:05:29 +0000 x86_64 GNU/Linux omarchy-update No local changes to save Already up to date. No stash entries found. lspci -k | grep -EA3 'VGA|3D|Display' 01:00.0 VGA compatible controller: NVIDIA Corporation GK104M [GeForce GTX 680MX] (rev a1) Subsystem: Apple Inc. iMac 13,2 Kernel modules: nouveau, nvidia_drm, nvidia 01:00.1 Audio device: NVIDIA Corporation GK104 HDMI Audio Controller (rev a1)
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.