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.
Inbox
Problems reported from outside the audit — kept verbatim, then checked: is the claim real, what does it touch, can it be reproduced? Validated reports are shown in full; items still under responsible disclosure appear only as a count until they are released.
Every report in every tab.
- R-1216Theme is not applied to Brave Origin Betaby sanjyay· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-1217`omarchy font set` leaves `bold_font`/`italic_font` stale in kitty.conf — bold text renders the old fontby ekollof· open at sourcebug
Out of area
Decided· Out of scope - R-1219Shell lock client dies on resume from suspend, showing Hyprland 'screensaver died' failsafeby MartinNielsen· open at sourcebug
Duplicate ofomarchy-shell lock screen crash-loops (~every 18s) after locking, due to DPMS-off R-1659— where this defect is tracked
+6 duplicate reports here· show· hide
Every defect they describe is already reported in this tab, and this report leads their main one. This tab lists one row per report that brings a defect of its own.
- Idle→lock kills omarchy-shell (fatal Wayland error); DP monitors recover EDID-dead on NVIDIA multi-DP R-1125filed Sep 1, 2026· open upstream
- omarchy-shell crash-loops (fatal Wayland error) after idle-lock DPMS toggle and hibernate resume R-1042filed Sep 2, 2026· open upstream
- omarchy-shell crashes with EGL/Wayland fatal error when locking during suspend — blank 'error page' before lock screen R-746filed Sep 10, 2026· open upstream
- omarchy-shell crashes (exit 255) on resume when FALLBACK monitor is removed, briefly showing Hyprland's lock-crashed screen R-709filed Sep 10, 2026· open upstream
- Idle blank is undone by the idle wake path when the monitor's link flaps, strobing black/lock screen R-392filed Sep 17, 2026· open upstream
- Shell exits with a fatal Wayland error when the monitor wakes while locked (Hyprland FALLBACK output removed) R-2141filed Oct 1, 2026· open upstream
Decided· Duplicate - R-1220Keyboard input dead on the focused window after a long idle lock, workspace switch restores itby alexvcasillas· open at sourcebug
Out of area
Decided· Out of scope - R-1221Screen tearing(or scroll going down and up) on both browsers(chromium and brave) after updateby Linar46· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1223[Bug]: Changing password via Super Menu updater breaks SDDM login due to gkr-pam keyring mismatchby BSBrouwers· open at sourcebug
Out of area
Decided· Out of scope - R-1224omarchy-network-speedtest: samples divided by a nominal 1s that is never measuredby PeriklisTs· open at sourcebug
Out of area
Decided· Out of scope - R-1225omarchy update wedged by unowned kernel-modules-hook leftovers after release-migration kernel downgradeby DrakeMorrison· open at sourcebug
Out of area
Decided· Out of scope - R-1227Failed bar option leaves no bar at all: pluginBarLoader error handler throws ReferenceError before the fallback runsby hshshshs12· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-1228Quattro upgrade rewrites kb_options, replacing grp:alt_shift_toggle with grp:alts_toggle and breaking AltGr on single-layout keyboardsby oslobowl· open at sourcebug
Out of area
Decided· Out of scope - R-1229omarchy-snapshot create fails with - IO Error (subvolume is not a btrfs subvolume)by rofoto· open at sourcebug
Out of area
Decided· Out of scope - R-1230`omarchy-hyprland-monitor-modeless` tests the wrong condition, so an output that is dark but has a valid mode never gets recoveredby mystakai· open at sourcebug
Out of area
Decided· Out of scope - R-1231`omarchy-brightness-display` documents `--monitor` but `off`/`on` ignore it, so a single display cannot be blankedby mystakai· open at sourcebug
Out of area
Decided· Out of scope - R-1232Network panel reports Timeout and 100% packet loss on a healthy link where the network filters outbound ICMPby AronBakes· open at sourcebug
Out of area
Decided· Out of scope - R-1233`omarchy update` hangs on a sudo password prompt even after `omarchy sudo passwordless`by duffmahn· open at sourcebug
Out of area
Decided· Out of scope - R-1234`omarchy theme list` fails silently (exit 0) in non-interactive shells; `theme set` reports a wrong reason — OMARCHY_PATH is only exported by ~/.bashrcby duffmahn· open at sourcebug
Out of area
Decided· Out of scope - R-1235stable-mirror.omarchy.org Arch repo databases stale (~5 days behind)by a-lang· open at sourcebug
Out of area
Decided· Out of scope - R-1236Power Manager Issue on Macbook 12 when upgraded to Quattroby 4ever911· open at sourcebug
Out of area
Decided· Out of scope - R-1239Bar: pointing-hand cursor never appears until the slot's first click (stale mouseX/mouseY in modulePointer cursorShape binding)by JeronimoColon· open at sourcebug
Out of area
Decided· Out of scope - R-1240Default Enter keybindings never match on keyboards that emit KP_Enterby chrishthompson· open at sourcebug
Out of area
Decided· Out of scope - R-1242Screensaver wordmark clipped horizontally at default monitor scale on 1080p displaysby sedulam· open at sourcebug
Out of area
Decided· Out of scope - R-1244BCM43602 (pre-T2 2017 MacBook Pro): feature_disable=0x82000 is not enough — regulatory domain is also requiredby benjarlett· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1245Hyprland 0.56.2 SIGSEGV on resume-from-suspend (lid open) — touch input null deref in CWLSurfaceResource::client()by promiseowolabi· open at source
Out of area
Decided· Out of scope - R-1246Agent windows (org.omarchy.agent) miss the terminal scroll_touchpad rule, making touchpad scrolling ~10x slowerby jr00n· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-12491Password window is not visible when accessing desktop over sunshine/moonlightby spuder· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1250Quattro upgrade silently drops all saved Wi-Fi networks in the iwd → NetworkManager switchby orospakr· open at sourcebug
Out of area
Decided· Out of scope - R-1251omarchy.media bar widget renders blank: marquee leaves the label parked off-screen when the title fitsby TomFoolerrie· open at sourcebug
Out of area
Decided· Out of scope - R-1254Hardware video decode fails to render on external monitor wired to the NVIDIA GPU (hybrid Intel+NVIDIA, Omarchy 4.0.0.alpha "Quattro")by Murillofilho86· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1256keyboard-layout widget switches the wrong device on laptops with vendor WMI/radio-control inputsby sas-blas· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1257Quattro upgrade enables SDDM auto-login on LUKS systems, preventing GNOME Keyring auto-unlockby vikrant0017· open at sourcebug
Out of area
Decided· Out of scope - R-1258bt-agent.service ExecCondition races bluetooth.service from the user manager, skipping the pairing agent for the whole bootby luizbafilho· open at sourcebug
Out of area
Decided· Out of scope - R-1259`omarchy-launch-floating-terminal-with-presentation` drops `BROWSER`: first-agent OAuth browser runs in the terminal's process tree and aborts with SIGTRAPby seanpk· open at sourcebug
Out of area
Decided· Out of scope - R-1260Installer partition resize corrupts BTRFS filesystem, breaks existing OS bootby sylvainobegi· open at sourcebug
Out of area
Decided· Out of scope - R-1261Isolate /var/lib/docker (and other high-churn data dirs) from root Btrfs snapshotsby chapaghetti· open at sourcebugenhancement
Out of area
Decided· Out of scope - R-1262Agents widget attributes Pi/OpenAI usage to Codex after Codex uninstallby Samk13· open at sourcebug
Out of area
Decided· Out of scope - R-1264Brightness issue, screen gets very dim at 100% brightness but is alright at 95%by Techyiola· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1265Installed Omarchy 4.0.1 randomly hard-hangs in VMware Workstation 17.6.4 (live ISO works fine) — kernel 7.1.8-arch1-Watanare-T2-3-t2by ncepuee· open at source
Out of area
Decided· Out of scope - R-1266Command 'omarchy ascii' referenced in manual does not existby Kenny1291· open at sourcebugdocumentation
Out of area
Decided· Out of scope - R-1267Display panel brightness slider does not work with LG UltraGear evo 27GM950B-Bby Murderlon· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1268Last-resort Noto Naskh Arabic rule renders Latin digits in GTK apps as serifby anakinrpi· open at sourcebug
Out of area
Decided· Out of scope - R-1269Quickshell polkit dialog intermittently rejects a correct password ("conversation failed" / "could not identify password")by crazybadger· open at sourcebug
Out of area
Decided· Out of scope - R-1270omarchy dns Custom silently breaks internet when pointed at DNS-over-TLS-only resolvers (e.g. Mullvad)by miquel-b· open at sourceenhancement
Out of area
Decided· Out of scope - R-1271tsl and hsl silently do nothing on a non-numeric pane count instead of printing usageby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-1272ga silently cd's into the existing worktree after `git worktree add` failsby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-1273format-drive builds the wrong partition name for mmcblk/loop devices, leaving the drive wiped but unformattedby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-1274dip kills unrelated processes: pkill -f pattern is unanchored and matches any command lineby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-1275Removing 1Password from app menu leaves native-messaging integrations behindby stappmus· open at sourcebug
Out of area
Decided· Out of scope - R-1276diagnose-crash skill extracts cores to /tmp (tmpfs), spending RAM to diagnose an out-of-memory crashby GekkeTovie· open at sourcebug
Out of area
Decided· Out of scope - R-1277input.numlock_by_default = true mangles letters into digits on Apple keyboards with no numpad (hid-apple keypad emulation)by cheekychops· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1280Light themes render foot colors into [colors-dark], so foot reports dark mode to 996-aware TUIsby rubas· open at sourcebug
Out of area
Decided· Out of scope - R-1282Default Obsidian binding: focus = "^obsidian$" is anchored, so it can never match and SUPER+SHIFT+O never focuses an open windowby muishond· open at sourcebug
Out of area
Decided· Out of scope - R-1283omarchy-launch-browser causes Brave SIGTRAP when man is unavailableby johanthoren· open at sourcebug
Out of area
Decided· Out of scope - R-1284omarchy-notification-wait treats its timeout argument as an attempt count: a crash can block the watcher for 3.5 minutes and then be dropped with no traceby Dandroid-D· open at sourcebug
Out of area
Decided· Out of scope - R-1287Windows VM: RDP guest fills only quarter of client window at 160% scaleby Rowdydangerous· open at sourcebug
Out of area
Decided· Out of scope - R-1288Bluetooth widget's list of available devices jumps to top after scrolling downby mikersays· open at sourcebug
Out of area
Decided· Out of scope - R-1290Tray icons are only tinted when the icon name ends in -symbolicby hayarza· open at sourcebug
Out of area
Decided· Out of scope - R-1292Browser cannot access built-in camera even when libcamera, pipewire-libcamera, and qcam all workby loganwoolf· open at sourcebug
Out of area
Decided· Out of scope - R-1293Omarchy Instant: deploy a signed image instead of installing file by fileby josephjacks· open at sourceenhancement
Out of area
Decided· Out of scope - R-1294Bar centre section is unclickable with an absolute pointing device; relative mouse mode fixes itby novastate· open at sourcebug
Out of area
Decided· Out of scope - R-1295Nautilus space-preview never plays video on NVIDIA (gtkglsink EGL_BAD_CONTEXT); GDK_GL=gles fixes itby danielgccr· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1296Installer omits direct Omarchy UKI UEFI entry; first boot halts in Limine on dual-NVMe/dual-ESP systemby majesticio· open at sourcebug
Out of area
Decided· Out of scope - R-1297Low-battery notification remains after charger is connectedby pixelpush-io· open at sourcebug
Out of area
Decided· Out of scope - R-1298Quattro upgrade leaves legacy broadcom-wl-dkms installed on BCM4350 Macs, disabling brcmfmacby rsharma1157· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1299Focus gets stuck on one window at random - until i unstuck it with a workspace switch with touchpadby jamers99· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-1300Fingerprint setup fails silently on FocalTech FT9366 reader (2808:a658) — migration 1785090473 assumption doesn't hold for this device IDby niels-lammers· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1301omarchy-capture-screenshot kills the compositor: `hyprctl eval` of cursor:no_hardware_cursors faults in hl.config() (SIGABRT)by jeffsidekick· open at sourcebug
Out of area
Decided· Out of scope - R-1302[Quattro] Audio picker cannot switch between HDMI/DP profiles on one GPU cardby ClGratton· open at sourceenhancement
Out of area
Decided· Out of scope - R-1303Workspace indicator stuck showing phantom workspaces after rapid Super+number pressesby mayaanhafeez· open at sourcebug
Out of area
Decided· Out of scope - R-1306Selected state drops the border on ToggleSwitch, MultiSelect and CursorSurfaceby relctx· open at sourcebug
Out of area
Decided· Out of scope - R-1307Dual-GPU AMD: PCI by-path in AQ_DRM_DEVICES silently login-loops SDDM autologinby mowgli42· open at sourceenhancement
Out of area
Decided· Out of scope - R-1308omarchy-update-available has the same unbound $OMARCHY_PATH crash as #8369, and it silently clears the update indicatorby tpatzelt· open at sourcebug
Out of area
Decided· Out of scope - R-1310Default repeat_delay = 250 causes duplicated characters during normal typing (Parallels VM guest)by Crankygeek01-dev· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1311Boot with the lid closed on a dock: logind suspends before the dock is detected, the suspend wedges, and NetworkManager is stranded ASLEEP for the whole sessionby xtr3m3b00t3r· open at sourcebug
Duplicate ofomarchy-sleep-lock.service fails on every suspend/resume: systemd-inhibit 'already running' R-131— where this defect is tracked
+2 duplicate reports here· show· hide
Every defect they describe is already reported in this tab, and this report leads their main one. This tab lists one row per report that brings a defect of its own.
- Legion Pro 7 with RTX 5080 hard-freezes after resume from deep suspend R-1063filed Sep 2, 2026· open upstream
- Desktop becomes unresponsive after S3 resume: NVIDIA 610.57.04 modeset lock blocks Hyprland R-867filed Sep 7, 2026· open upstream
Decided· Duplicate - R-1313Terminal Opens in Fullscreen When Opened While Another Window is in Fullscreenby eds-4d5· open at sourcebug
Out of area
Decided· Out of scope - R-1314[Feature] `omarchy theme from-wallpaper` — generate a theme's colors.toml from a wallpaper imageby gcap0n1· open at sourceenhancement
Out of area
Decided· Out of scope - R-1315omarchy.audio: bar shows the muted glyph for an unmuted Bluetooth sink connected after shell start, and never shows muted for headphone outputsby kaizen-hryy· open at sourcebug
Out of area
Decided· Out of scope - R-1316test/shell fork-bombs the user session: the copy-url migration test's python3 stub and the mise python3 shim invoke each other unboundedlyby robi42· open at sourcebug
Out of area
Decided· Out of scope - R-1317omarchy display text size reports the font size of a terminal that is not installedby Thoroslives· open at sourcebug
Out of area
Decided· Out of scope - R-1318Alienware 17 (Realtek ALC3661): headphone/aux jack never appears in output picker — jack-sense split across mismatched pin, no live PipeWire switchingby HosseinParahi· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1319Quickshell SIGSEGV in QV4::QObjectWrapper::wrap_slowPath when Wi-Fi is toggled off (network panel wifiNetworkObjects use-after-free)by shadoboosan· open at sourcebug
Out of area
Decided· Out of scope - R-1320windows-vm: the documented way to customise the compose loses your changes, on both install and migrationby eerootsus· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1322Plymouth/LUKS unlock prompt has no idle power management on batteryby forcey· open at sourceenhancement
Out of area
Decided· Out of scope - R-1323Brave video/UI stutters and goes transparent under Hyprland — reproducible on AMD-only and AMD+NVIDIA-hybrid setupsby AMXELA-Official· open at sourcebug
Out of area
Decided· Out of scope - R-1324Theme switching can SIGABRT running btop 1.4.7 via SIGUSR2 reloadby moonman36· open at sourcebug
Out of area
Decided· Out of scope - R-1325btop refuses to start from Super+Ctrl+T: the shared 875x600 float is only 80x24 characters at a raised terminal fontby nbeerbower· open at sourcebug
Out of area
Decided· Out of scope - R-1326QT_QPA_PLATFORM=wayland;xcb causes SteamVR vrmonitor to abort on startupby GodNero· open at sourcebug
Out of area
Decided· Out of scope - R-1327Quickshell SIGSEGV in GTK file chooser / gvfs when a plugin FileDialog opensby PanicIsReal· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1329Lock screen alternates black <-> lock UI every ~13.5s on AMD iGPU over HDMIby williavs· open at sourcebugcompatibility
Duplicate ofLock screen wakes in a loop on monitors that drop HDMI hotplug in standby R-2112— where this defect is tracked
Decided· Duplicate - Decided· Out of scope
- R-1331German keyboard layout in live installer uses keymap without umlautsby Witteborn· open at sourcebug
Out of area
Decided· Out of scope - R-1332Theme change can leave one monitor on the old wallpaper, and `background refresh` cannot recover it (multi-GPU, multi-monitor)by nicolasbadano· open at sourcebug
Out of area
Decided· Out of scope - R-1334Dictation bar indicator leaks duplicated voxtype status --follow processesby inyman· open at sourcebug
Out of area
Decided· Out of scope - R-1335Rust install leaves unguarded ~/.profile cargo source that can login-loop UWSMby pkayokay· open at sourcebug
Out of area
Decided· Out of scope - R-1336T2: 22s black lid wake after PR 6562 dropped pcie_ports=compatby Gdsimms· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1337Super+Ctrl+T opens duplicate Activity windows on the same workspaceby AdamMusa· open at sourcebug
Out of area
Decided· Out of scope - R-1338Bar: the centre-section reveal is shell-wide, so one monitor's bar drives every monitor's peekby jrmmhm· open at sourcebug
Out of area
Decided· Out of scope