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-1459/usr/share/omarchy/version still reads 4.0.0.alpha after updating to 4.0.1by jwage· open at sourcebug
Out of area
Decided· Out of scope - R-1460`gsr-kms-server` ships with `cap_sys_admin` (root-equivalent capability)by helioryn· open at sourcebug
Out of area
Decided· Out of scope - R-1461omarchy theme set / omarchy update hangs indefinitely in omarchy-theme-set-keyboard-f16 with a Keychron K8 Pro attachedby ykzird· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1462Launching… OSD can remain indefinitely due to unordered show/close IPC callsby brianmsm· open at sourcebug
Out of area
Decided· Out of scope - R-1463Screenshot picker runs with hardware cursors forced on, hiding the pointer on nouveau/vmwgfx while you selectby Chessing234· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1465A bare click in the capture picker snaps to the whole monitor instead of the highlighted windowby Chessing234· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1467omarchy-network-band never matches an SSID with a non-ASCII character: iw escapes it, nmcli does notby Chessing234· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1469Omarchy v4 — Configuration Files Automatically Reverting and Causing AI Coding Tools to Loopby gowdaman-dev· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-4685Super+J (togglesplit) errors on scrolling layout: 'no such layoutmsg for scrolling'by khru· closed — completed at sourceReceived
- R-4684False colros on gtk themesby Mahito994· closed — completed at sourcebugReceived
- R-4683Passwordless sudo expiry is lost on reboot, leaving NOPASSWD activeby lbonvarl· closed — completed at sourceReceived
- R-1471Lid close suspends USB-root Omarchy and tears down the sessionby I-No-oNe· open at source
Out of area
Decided· Out of scope - R-14724.0.1: `shell_succeeds` fix enables NVDEC VAAPI routing on hybrid laptops with Intel-driven displays, corrupting browser videoby SisyphusOfCorinth· open at sourcebug
Out of area
Fixed - R-4682omarchy-update hangs at migration 1787481315 when brave-origin is the daily browser (theme-set-browser blocks on brave that never exits)by sivaxreddy· closed — completed at sourceFixed
- R-1473Notification body is exposed in process command lines (/proc/*/cmdline) — privacy leak + EDR false positivesby Piemme99· open at sourcebug
Out of area
Decided· Out of scope - R-4681Notification body is exposed in process command lines (/proc/*/cmdline) — privacy leak + EDR false positivesby Piemme-theodo· closed — not planned at sourceReceived
- R-1474Emoji doesn't pasteby ESHAYAT102· open at sourcebugReceived
- R-4680Third-party bar plugins: a cloned bar can never load, and user plugin QML does not hot-reloadby epicbagel· closed — completed at sourceReceived
- R-1475Logout from menu doesn't end session — SDDM uses non-uwsm sessionby nightdevil00· open at sourcebug
Out of area
Decided· Out of scope - R-1476omarchy voxtype install has no source-build fallback for pre-AVX2 CPUsby rowan5now· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1477Full-disk install: password set under a non-US keyboard layout can be untypeable at the LUKS boot promptby notwitcheer· open at sourcebug
Out of area
Decided· Out of scope - R-4679ThinkPad T470 boot loop when TPM is visible but unresponsiveby KalenJosifovski· closed — completed at sourceReceived
- R-4678Cloned bar plugin (kind: bar) never renders — required properties not passed by pluginBarLoaderby Orneyfish· closed — completed at sourceReceived
- R-4677windows-vm: legacy compose migration re-encodes the password, breaking RDP after upgradeby WayneKruger· closed — completed at sourceReceived
- R-1478omarchy-powerprofiles-set fails at boot (exit 1): CPU power profile never applied on ACby kshatriya-abhay· open at sourcebug
Out of area
Decided· Out of scope - R-1479Regression: Quickshell workspace indicator shows globally focused workspace on every monitorby NeroSong· open at sourcebug
Out of area
Decided· Out of scope - R-1480Feature: Make omarchy.indicators extensible for third-party indicatorsby burninc0de· open at sourceenhancement
Out of area
Decided· Out of scope - R-1481Numpad digits don't type in Omarchy Menu / Reminder Menu (NumLock keysym desync)by Exp1iots· open at sourcebugReceived
- R-1482Quattro upgrade leaves ~/.XCompose and the Omarchy 3 power udev rules pointing at ~/.local/share/omarchy; removing the compat symlink kills every compose sequenceby fuchsblau· open at sourcebug
Out of area
Decided· Out of scope - R-1483Physical Super+Space shortcut blacks out Intel i915 USB-C display while direct menu IPC worksby cyenxchen· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1484hyprsunset is started unsupervised, so night light stays off for the rest of the session when it diesby samirpokharel· open at sourcebug
Out of area
Decided· Out of scope - R-1485Symbolic tray icons with a dark fill render invisible: MultiEffect.colorization cannot lighten the source (Cryptomator)by relctx· open at sourcebug
Out of area
Fixed - R-1486omarchy-theme-set-browser hangs when brave-origin is running but Brave is not (pgrep -x brave false-positive)by patterninterrupt· open at sourcebug
Out of area
Decided· Out of scope - R-4676Hyprland not allowing loginby kridaydave· closed — completed at sourcebugReceived
- R-1487Keybindings cache key includes volatile "active keymap" state, causing repeated 540ms cold rebuildsby estradanic· open at sourcebug
+1 duplicate report here· KI-MENU-OPEN-QUADRATIC· show· hide
Every defect they describe is already reported in this tab, and this report (KI-MENU-OPEN-QUADRATIC) leads their main one. This tab lists one row per report that brings a defect of its own.
- Menu opens in time quadratic to its row count (231-row keybindings menu spends 111ms in redundant height passes) R-877filed Sep 7, 2026· open upstream
Fixed - Decided· Out of scope
- R-1489System Reset fails with “standard Omarchy Btrfs layout” errorby death366· open at sourcebug
Out of area
Decided· Out of scope - R-1490Suspend breaks NVIDIA 580xx installs: gpu-screen-recorder sets PreserveVideoMemoryAllocations=1 but the required nvidia power services are never enabledby matjam· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1491Brightness slider/keys silently no-op on Apple Silicon: wrong backlight device picked (228600000.dsi.0 instead of apple-panel-bl)by CuraMagis· closed — not planned at sourcebugcompatibilityReceived
- R-1492nwg-displays' multi-line hl.monitor() blocks break internal-panel scale sync (resets to 2)by Ethanxu1· open at sourcebug
Out of area
Fixed - R-1493omarchy-install-and-launch: "Press any key to close" races the app it launches, so the keystroke goes to the new windowby M8SON· open at sourcebug
Out of area
Decided· Out of scope - R-1494mise tool wrappers reset argv[0], so multi-call binaries lose their alternate mode (Claude Code's built-in grep silently finds nothing)by manozzo· open at sourcebug
Out of area
Decided· Out of scope - R-4675SDDM greeter login box breaks on multi-monitor (upstream SDDM bug, affects Omarchy directly)by rpaweb· closed — completed at sourceReceived
- R-4674Wrong password reported by V4 while connecting to wifiby z1spark· closed — completed at sourcebugReceived
- R-1495[Quattro] omarchy-launch-screensaver creates focus-check race condition on 3+ monitor setups causing immediate self-terminationby grhoades· open at sourcebug
Out of area
Fixed - R-4673Omarchy unusable under VMware Workstation with 3D acceleration enabledby cavanaug· closed — completed at sourceReceived
- R-1497Tray icons are unclickable: clicks fall through to the bar's gesture area and toggle transparencyby Carasibana· open at sourcebug
Out of area
Decided· Out of scope - R-1498Omarchy Manual link followingby lucserre· open at sourcebugReceived
- R-4672Default Agent: Gemini entry cannot sign in since Google ended individual access on 2026-06-18by toraxe· closed — completed at sourceFixed
- R-1499T2 Mac: lid close never suspends, brcmfmac PCIe D3 timeout aborts every suspend attemptby nelKorajkic· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4671omarchy-hyprland-monitor-scaling doesn't persist scale on outputs with explicit per-monitor rules in monitors.luaby RonRayReed· closed — completed at sourceFixed
- R-4670Keyboard backlight stays off after unlock (idle-blank restore doesn't fire reliably)by Alkiviadroot· closed — completed at sourceFixed
- R-1500omarchy-usb-autosuspend.conf never applies: usbcore is built into the kernel, so autosuspend stays at the defaultby paracycle· open at sourcebug
Out of area
Decided· Out of scope - R-1501Agents panel says "Sign-in expired" for a routine 8-hour access-token lapse and tells people to re-run `claude auth login`by meibe-ab· closed — completed at sourcebugReceived
- R-1502ssh wrapper sends ESC[?1049l unconditionally, relocating the cursor after every sshby eng1n88r· open at sourcebug
Out of area
Decided· Out of scope - R-1503`omarchy update` lock leaks through AUR daemons (adb), so later updates report one is already runningby kdriedger· open at sourcebugFixed
- R-4669omarchy/grok-bot 0.18.0 is broken; bump to 0.24.0 in omarchy-pkgsby shawnyeager· closed — not planned at sourceReceived
- R-1504Neovim buffers stay stale after agent edits when switching Herdr panesby jlupox· open at sourcebug
Out of area
Decided· Out of scope - R-1505Keyboard layout reverts to en after waking from sleep instead of the default layout (e.g. fr)by ziouf· open at sourcebugReceived
- R-1506[Quattro] Battery discharge nearly doubles after 3.8.x -> 4.0 on AMD/NVIDIA laptop with HDMI monitorby eakbar· open at sourcebug
Out of area
Decided· Out of scope - R-1507Floating maximized window offset by (-30,-2) from monitor origin on multi-monitor mixed-resolution setupby BavariaAnde· open at sourcebug
Out of area
Decided· Out of scope - R-1508btrfs-overlayfs is enabled by default, which makes snapshot rollback impossible: limine-snapper-sync refuses to start inside every snapshot bootby Cloud-Ops-Dev· open at sourcebug
Out of area
Decided· Out of scope - R-4668Zed theme sync still broken on Quattro: omazed package in [omarchy] repo predates the upstream fixby jardahrazdera· closed — not planned at sourceReceived
- R-1509Changing `idle.screensaver` / `idle.lock` in `shell.json` silently kills the idle monitor until the shell is restartedby nmendham· open at sourcebug
Out of area
Decided· Out of scope - R-4667AI Agents panel: Codex tab stuck showing "initialize" (invalid --ask-for-approval value 'untrusted')by eddownes· closed — completed at sourceReceived
- R-4666Omarchy black screenby saqib33www-collab· closed — completed at sourcebugReceived
- R-1510Omarchy Documentation Website - Extremely slow on Edgeby Pinox· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-1511Laptop display never re-enabled after unplugging an external monitor: Hyprland's FALLBACK output is counted as an external displayby HritwikSinghal· open at sourcebug
Out of area
Fixed - R-1512Quickshell SIGSEGV in OpenSSL EVP_MD_free while loading CA certs for HTTPS album art (QQuickPixmapReader)by roehrbacher· open at source
Out of area
Decided· Out of scope - R-1513Bar foreground stuck at ~70% opacity on one monitor after toggling transparency off (multi-monitor)by uMaj35ty· open at sourcebug
Out of area
Decided· Out of scope - R-1514Built-in panel on a DisplayPort connector is routed to DDC/CI, so all-in-ones report FIXED BRIGHTNESS — fix includedby roju· open at sourcebug
Out of area
Decided· Out of scope - R-1515Wi-Fi scans move the password editor while typingby jeremydixon22· open at sourcebug
Out of area
Decided· Out of scope - R-15161Password floating window is left off-screen after a monitor is disabled; relaunch focuses the invisible windowby dougvk· open at sourcebug
Out of area
Decided· Out of scope - R-4665Fix readme 404 linksby lovehumans· closed — completed at sourcebugReceived
- R-4664Cloning a "kind: bar" plugin (omarchy plugin clone omarchy.bar) never rendersby Charlieras262· closed — completed at sourceReceived
- Decided· Out of scope
- R-1518Theme change interrupts/kills running opencode sessions (omarchy-restart-opencode broadcasts SIGUSR2)by ADIBAINS· open at sourcebug
Out of area
Decided· Out of scope - R-4663Codex agent usage collector passes an approval policy codex-cli no longer acceptsby Sir-Earl-Grey· closed — completed at sourceReceived
- R-4662Installer hangs/fails on missing offline packages, local keyring sync, and synaptic touchpad scriptby kridaydave· closed — completed at sourcebugReceived
- R-1519omarchy setup security fingerprint fails instantly on Goodix 27c6:530c/533c/538c readers — no open libfprint driver existsby anupanup2001· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1520omarchy-upgrade-to-quattro leaves archinstall's /EFI/Linux/arch-linux.efi Limine entry in place, so the default boot entry panicsby michaelsahlmann· closed — not planned at sourcebugReceived
- R-1521Omarchy Quattro fails to boot/install on Lenovo Legion 5by damain· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1522Copy URL repair (migration 1786643346) is stamped complete on fresh installs, and its Preferences edit does not persistby PastaJ36· open at sourcebug
Out of area
Decided· Out of scope - R-4661omarchy-hyprland-monitor-scaling persists one shared scale across all displaysby Kashfy· closed — completed at sourceReceived
- R-1523omarchy-drive-info loses the drive model when a nested crypt/LVM layer exists (tail -n1 picks the deepest PKNAME)by ripcitylove· open at sourcebug
Out of area
Decided· Out of scope - R-1524Feature request: Optional GNOME-style multi-monitor workspacesby enriquemorenotent· open at sourceenhancement
Out of area
Decided· Out of scope - R-4660omarchy install service sunshine fails to enable unit on fresh installby benhadden· closed — completed at sourceReceived
- R-1525Hotkeys manual incorrectly lists Backspace for file-manager navigationby daqo· open at sourcedocumentation
Out of area
Decided· Out of scope - R-4659Default display scaling wrong for Apple MacBook Air 2015 A1466 7,2 13" 1440x900 displayby donteiser· closed — completed at sourcebugReceived
- R-1526omarchy-hyprland-workspace-layout-toggle silently no-ops on named workspaces (rule keyed by a reassigned workspace id)by alebak· open at sourcebug
Out of area
Fixed - R-1527Restarting Omarchy Shell reopens tray-resident Spotify and steals focusby legibet· open at sourcebug
Out of area
Decided· Out of scope - R-1528grammar typo in Manual - Navigationby GregM54· closed — completed at sourcebugdocumentationReceived
- R-1529SDDM authenticates empty username ("") after interrupted/resumed install — "User not known to the underlying authentication module"by gtech-pedrol· closed — not planned at sourcebugReceived
- R-1530nvidia.sh fails on Pascal GPUs (MX150): nvidia-580xx-dkms and lib32-nvidia-580xx-utils not foundby gtech-pedrol· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1531Nautilus 50 file chooser is not selected on Hyprland, GTK portal hangs for 25 secondsby GenKerensky· open at sourcebug
Out of area
Decided· Out of scope - R-1532Canceling Windows VM setup leaves launcher in installed stateby AvrumFeldman· open at sourcebugReceived