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.
Issues already closed where they were filed (for example on GitHub) with nothing decided here. Kept as history so a new report can be matched to the earliest one; they are not worked, even if an agent left a proposal or a question on one.
- R-4587Agent setup for OpenCode fails on Quattro: mise resolves to deprecated aqua:sst/opencodeby alvarosaavedra· closed — not planned at sourceReceived
- R-4586windows-vm: launch fires xfreerdp3 before the guest is ready because the readiness wait greps stale log linesby DataDave-Dev· closed — completed at sourceReceived
- R-4585Bar stuck in "move bar" mode: press-and-hold on a center widget leaks omarchy-bar-move-ghost for the rest of the sessionby gabriel-gof· closed — completed at sourceReceived
- R-1858SDDM greeter always uses US keyboard layout, ignoring the system layoutby g-desoutter· closed — completed at sourcebugReceived
- R-1861omarchy_hooks.conf replaces HOOKS instead of extending it, dropping lvm2/resume and leaving LVM-on-LUKS roots unbootableby alancaldas84· closed — not planned at sourceReceived
- R-4584valgrind unusable on stable channel: fatal "mandatory redirection" error (memcmp in stripped ld.so, no debug symbols shipped)by beXxou· closed — completed at sourcebugReceived
- R-4583[Quattro] omarchy agent crash <pid> fails when Pi is chosen agentby rholak· closed — completed at sourcebugReceived
- R-1868Jittery scrolling on Dell XPS 13 (Wildcat Lake): Panel Replay stalls frame deliveryby zoan37· closed — completed at sourcebugcompatibilityReceived
- R-4582[Quattro] I'm having to enter my password twice on Quattro rc3 and rc4. Is it normal behavior?by neurorune· closed — completed at sourcebugReceived
- R-4581NuPhy air75 v3 USB Dongle incompatible with Quattro shift key settingby mlabbe· closed — completed at sourcebugReceived
- R-4580[Quattro] Recent update got stuck running migration 1786643346by acrogenesis· closed — completed at sourcebugReceived
- R-4579[Quattro] LocalSend tray item duplicates the built-in Share flowby 0xApotheosis· closed — completed at sourceReceived
- R-4578Install zed fail with errorby mihalikv· closed — completed at sourcebugReceived
- R-4577Upstream qemu update blocks omarchy updateby rholak· closed — completed at sourcebugReceived
- R-4576Copy URL shortcut (Alt+Shift+L) dead after pre-package migration: stale Chromium command registration points at old extension IDby SisyphusOfCorinth· closed — completed at sourceReceived
- R-4575Quickshell AppLibrary causes ~20% CPU usage at idleby sarniva· closed — completed at sourcebugReceived
- R-4574Bluetooth panel leaves discovery running after closing, causing DualSense disconnects in Steam gamesby EmilsValdmanis· closed — completed at sourcebugReceived
- R-4573NVIDIA installs: `kms` hook bundles ~100 MB of unused nouveau GSP firmware into every initramfs/UKIby matjam· closed — completed at sourceReceived
- R-4572Bluetooth panel starts adapter discovery and never stops it, breaking A2DP audio until shell restartby sholden· closed — completed at sourceReceived
- R-4571`--help` is being skipped for bin routes that partially resolve to a fileby EFrMG· closed — completed at sourcebugReceived
- R-4570[Bug] [Quattro] Editing one local plugin reloads every shell pluginby AksharP5· closed — completed at sourceReceived
- R-4569Quattro upgrade leaves legacy wpa_supplicant mask in place; all wifi stuck unavailableby twagner12· closed — completed at sourcebugReceived
- R-4567[Bug] [Quattro]: Interrupted thumbnail generation can permanently hide wallpapersby AksharP5· closed — completed at sourceReceived
- R-4566latest omarchy quattro causes sluggish behavior on panther lake (dell xps 16)by kylebragger· closed — completed at sourcebugReceived
- R-45653.8.4 update halts due to conflicting dependenciesby hglbrg· closed — completed at sourcebugReceived
- R-4564ttfx dumps core on every idle lock: omarchy-system-lock kills the screensaver terminal before the rendererby Kyrunner· closed — completed at sourceFixed
- R-4563omarchy-update: pacman replaces /usr/share/omarchy/shell under the running Quickshell, and the failed hot reload makes the post-update restart abort (FATAL: QPixmap)by shawnyeager· closed — completed at sourceReceived
- R-4562Omarchy update script is looking for latest tagby notliad· closed — completed at sourcebugReceived
- R-4561Shell tests dump core instead of skipping when WAYLAND_DISPLAY is set but the compositor is unreachableby dhh· closed — completed at sourceReceived
- R-4560First boot after Quattro upgrade loops/fails before mounting root with regenerated UKIby 0xHexE· closed — completed at sourcebugReceived
- R-4559perf(bar): stop spawning hyprctl every 10s, gate tray layer, cache workspace modelby markbus-ai· closed — completed at sourceReceived
- R-4558Display mirroring immediately reverts to extended mode via auto-recovery daemonby setiapam· closed — not planned at sourcebugReceived
- R-4557[Bug / Installation]: Archinstall experienced: ERROR: Failed to install packages to new root (btrfs-pros). Broken mirror?by QuentinWach· closed — completed at sourcebugReceived
- R-4556omarchy-shell exits when locking with a screen that has no valid Wayland output — bar disappears and the session is left on "lockscreen app died"by jfbourdeau· closed — completed at sourcebugReceived
- R-4555first animation of ttfx has bad starting offsetby felixzsh· closed — completed at sourcebugReceived
- R-4554Migration 1786279107 fails with a custom clock widgetby franciscoaccabral· closed — completed at sourceReceived
- R-4553USB autosuspend modprobe config is ignored (usbcore built into kernel)by mabster· closed — completed at sourcebugReceived
- R-4552Monitors stay black (0x0) when PC boots with monitors off — never recover on wakeby davidMendezG· closed — completed at sourceReceived
- R-4551Docs list Nautilus and AI Agent CLIs as universal clipboard exceptions — both work nowby ronald2wing· closed — completed at sourcebugReceived
- R-4550Quattro: hyprctl reload fails with a Lua timeout errorby MirasMustimov· closed — completed at sourcebugReceived
- R-4549Quatro, beta 1: lock screen no longer shows the wallpaper immediately (was instant in 3.8)by MirasMustimov· closed — completed at sourcebugReceived
- R-4548Quattro, beta 1: Setup → Direct boot reports Error: No Omarchy UKI found in /boot/EFI/Linux/by MirasMustimov· closed — completed at sourcebugReceived
- R-4547vlc theme syncby saqib33www-collab· closed — completed at sourcebugReceived
- R-4546omarchy-agent-usage-claude: race condition in scan_opencode_usage's write_json crashes during omarchy updateby guirossibrum· closed — completed at sourceReceived
- R-4545Quattro: catppuccin theme sets invalid nvim colorscheme "catppuccin-nvim"by shawnyeager· closed — not planned at sourceReceived
- R-4544Update menu: Omarchy entry icon (U+E900) renders as missing glyphby Robin0315· closed — completed at sourceReceived
- R-4543omarchy-mise-install overwrites symlink targets (breaks existing Grok installs)by JustMrMendez· closed — completed at sourcebugReceived
- R-4542Upgrade Bug: Leftover 10-iwd-backend.conf breaks Wi-Fi on Quattro 4 Beta (migrating from 3.8.4)by rfmyrick· closed — completed at sourcebugReceived
- R-4541Quickshell keyboard shortcuts open panels on the laptop display instead of an external monitorby pomartel· closed — completed at sourcebugReceived
- R-4540Follow up to #6559 - update fix-t2.sh and migrations/1785944594.sh to not use grep -qby twilightresonance86· closed — completed at sourcebugReceived
- R-4539Menu briefly shows options that don't match the current stateby felixzsh· closed — completed at sourcebugReceived
- R-4538Feature Request: Workspace Overview (similar to GNOME Activities / macOS Mission Control)by flaxrora· closed — completed at sourcebugReceived
- R-4537Browsers' native "Set as default" button fails under the Omarchy sessionby felixzsh· closed — completed at sourcebugReceived
- R-4536Wifi password input box fails to re-appear when wifi-menu is closed and re-opened and a wrong password has been enteredby Knutsi· closed — completed at sourcebugReceived
- R-4535Bar hover feedback loop: tray and indicators oscillate when indicators are in the right sectionby fivves· closed — completed at sourceReceived
- R-4534upgrade-to-quattro: install_keyrings uses `pacman -Sy`, so a rebuilt package # loops forever on "corrupted (checksum)"by jfbourdeau· closed — completed at sourcebugReceived
- R-4533upgrade-to-quattro: missing bin/omarchy-done aborts at step 18/30 and leaves # both NetworkManager and iwd enabledby jfbourdeau· closed — completed at sourcebugReceived
- R-4532Issue with the omarchy.keyboard-layout plugin not visually switching layoutby link1183· closed — completed at sourcebugReceived
- R-4531[Quattro Beta] Keymapping SUPER + SHIFT + = double mapped to calc and windows resizeby mikeproctor· closed — completed at sourcebugReceived
- R-4530[quattro only] Update fix-t2.sh to enhance T2 macs compatibilityby twilightresonance86· closed — completed at sourcebugReceived
- R-4529[quattro only] omarchy-hw-display on T2 Mac returns the touchbar display instead of internal displayby twilightresonance86· closed — completed at sourcebugReceived
- R-4528Menu: SUPER+ESCAPE opens an empty "Htop" menu instead of the System menu (resolveRoute matches app .desktop Keywords before literal ids)by craigderington· closed — completed at sourceReceived
- R-4527Nerd symbols offset?by Conorabc· closed — completed at sourcebugReceived
- R-4526"terminal" tag does not get applied properlyby kubos5· closed — completed at sourcebugReceived
- R-4525ethernet not working on quattroby neheb· closed — completed at sourcebugReceived
- R-4524Migration 1785543725 adds WhatsApp Slim to "brave-origin-beta" flags instead of "brave-origin"by akashgagda· closed — completed at sourceReceived
- R-4523(4.0a) Improper Wraping of Long Lines in Aboutby bobrocke· closed — completed at sourcebugReceived
- R-4522Quickshell panels do not dismiss on outside clicks on another monitorby Xclipsen· closed — completed at sourceReceived
- R-4521npx wrappers re-resolve on every launch (~15s); playwright-cli recurses into itself from a project directoryby craigsmitham· closed — completed at sourceReceived
- R-4520Walker autostart service bypasses the GSK_RENDERER=cairo workaround, hard-freezing the desktop on amdgpuby MaciekTW· closed — completed at sourcebugReceived
- R-4519youtube video is not playing in brave sometimesby saqib33www-collab· closed — completed at sourcebugReceived
- R-4518looknfeel.lua: group.groupbar.indicator_height = 0 violates Hyprland's descriptor min (1) — will error once Lua range validation shipsby zicochaos· closed — completed at sourceReceived
- R-4517Password screen loop after update to 3.8.4by v-h-z· closed — completed at sourcebugReceived
- R-4516omarchy-launch-browser launches an empty executable after unsetting BROWSERby alaeddin14· closed — completed at sourcebugReceived
- Received
- R-4514Windows VM installer should not enable boot-time restart by defaultby derekszen· closed — completed at sourceReceived
- R-4513omarchy-toggle-hybrid-gpu hangs indefinitely at `supergfxctl -g` on first run (right after installing supergfxctl)by ki11e6· closed — completed at sourceReceived
- R-4512[Quattro] Sleep monitor keeps the delay inhibitor alive after the lock is secureby SamCod3· closed — completed at sourceReceived
- R-4511Stale hyprlock process after successful unlock silently disables all locking (manual, idle, and before-suspend)by shawnyeager· closed — not planned at sourceReceived
- R-4510Suspend does not work anymore in 3.8.4 (worked in 3.8.2)by hirschnase· closed — completed at sourcebugReceived
- R-4509SUPER + C closes floating TUI windows instead of copying (org.omarchy.* app-ids miss terminal detection)by TheFlngDutchman· closed — completed at sourceReceived
- R-4508hyprctl -j binds produces invalid JSON due to unquoted Lua binding values (jq parse error)by genesshoan· closed — completed at sourcebugFixed
- R-4507Quattro Installs showing before appsby RyanAHayden· closed — completed at sourcebugReceived
- R-4506App launcher shows duplicated apps that accumulate over the session — mergeAppRows is not idempotentby Chispes· closed — not planned at sourceReceived
- R-4505Use sudo for /boot file checks in limine-snapper.shby 2312nimit· closed — completed at sourcebugReceived
- R-4504[Quattro] omarchy.clock keeps weekday and month names in English after changing the system localeby ElMeGGa-14· closed — completed at sourcebugFixed
- R-4503Suspend-on-lid-close from an unlocked session can resume unlocked (regression: before_sleep_cmd no longer uses loginctl lock-session)by shawnyeager· closed — completed at sourceReceived
- R-4502omarchy-mise-install wrappers infinite-loop when mise's PATH hook isn't active (related #3685)by husamemadH· closed — completed at sourceReceived
- R-4501Headless bar widget contract skip exits with status 1by almondsun· closed — completed at sourceReceived
- R-4500menu keybidnings brokenby felixzsh· closed — completed at sourcebugFixed
- R-4499omarchy-toggle-waybar creates inconsistent state on bootby shmall03· closed — completed at sourceReceived
- R-4498Cannot open Telegram after updateby Linar46· closed — completed at sourcebugReceived
- R-4497Bug: Download popups opening on the first workspace instead of the current workspace.by nivedhz· closed — completed at sourcebugReceived
- R-4496Bug: Fresh Omarchy 3.8.3 installation errors on start of Neovim due to missing plugins/theme.luaby martinscerri· closed — completed at sourcebugFixed
- R-4495Default hypridle.conf: screensaver killed ~2s after launch (150s/152s), and update overwrites user-modified hypridle.confby dlsvob· closed — completed at sourceReceived
- R-4494Built-in webcam not working on Acer Nitro laptop, also broken on Ubuntuby abduvaliy-engineer· closed — completed at sourcebugReceived
- R-4493vconsole.conf bundled into initramfs locks out LUKS users with non-Latin keyboard layouts (Hebrew/Greek/Cyrillic)by elpddev· closed — completed at sourceReceived
- R-4492Omarchy still won't install after CPU replacement. Other Linux distributions now work. Looking for ideasby dollebrekel· closed — completed at sourcebugReceived
- R-4491playwright-cli bin clashby edradiark· closed — completed at sourcebugReceived
- R-4490Lockscreen app died after latest updateby francardoso93· closed — completed at sourcebugReceived