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-1699[Bug] Modifier key (Shift) release events dropped with fcitx5-rime — Shift cannot switch Chinese/English (Hyprland 0.56.2 keybinds refactor regression)by jfdnet· open at sourcebug
Out of area
Decided· Out of scope - R-4622Shibumi network panel: clicking Connect on unsaved protected WiFi does nothingby lloydshinee· closed — completed at sourceReceived
- R-1700herdr client aborts (double Rust panic) when its terminal closes: "failed printing to stderr: Input/output error (os error 5)"by perminder-klair· open at sourcebug
Out of area
Decided· Out of scope - R-4621Brave Origin never receives the yt-dlp/Copy URL native messaging hosts: browser_dirs omits its profile, so both extensions load but silently do nothingby mateuspim· closed — completed at sourceReceived
- R-1701External display stays dark after a long suspend in clamshell: nothing re-probes the connector when the dock never re-asserts HPDby paracycle· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1702`omarchy-upgrade-to-quattro` leaves qt6-wayland dependency-marked, so the shell's Wayland platform support shows as a removable orphanby peregrinus879· open at sourcebug
Out of area
Decided· Out of scope - R-1703Internal monitor position cannot be made to stick: clamshell watcher and Display panel scaling both re-apply position = "auto"by skoom21· open at sourcebug
Out of area
Decided· Out of scope - R-4620Omazed fails when installing Zedby Thijzert123· closed — completed at sourcebugReceived
- R-1704Network panel reports NOT CONNECTED with live IP, ping and throughput after NetworkManager restartsby skoom21· open at sourcebug
Out of area
Decided· Out of scope - R-1705Quattro upgrade removes iwd but leaves wifi.backend=iwd in NetworkManager conf.d, leaving Wi-Fi unavailable (incomplete fix for #6612)by skoom21· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1707Quattro: Intel Mac takes long to wake from suspend, workspace frozenby sub0x0ne· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1709SDDM greeter's hyprland.lua does not set monitor scaleby wrnlb666· open at sourcebug
Out of area
Decided· Out of scope - R-1710Quattro iwd→NetworkManager migration: wpa_supplicant roam-thrashes onto AP 6 GHz radio it can't hold (MT7922/mt7921e)by Chosen9115· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1711Iosevka font displays at a very small size on the interface. Besides the text, the icons on the top bar are also very small.by DnBaal· open at sourcebugReceived
- R-4619Quattro: Suspend hard-freezes (s2idle) on ASUS ROG Strix G16 G614FRby PraiseTheDuck· closed — completed at sourcebugReceived
- R-1712DE scaling defaullts to 2 & screensaver overrides scaling settiingby mikl0s· open at sourcebug
Out of area
Decided· Out of scope - R-1713screenrecord --with-webcam: overlay locks to YUYV @5fps instead of MJPG @30fps at 1280x720by ottosilva· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1714Changing default text editor in omarchy menu does not update mimeapps.listby gbaims· open at sourcebug
Out of area
Decided· Out of scope - R-1716Chromium wallet signing windows (Rabby, Phantom) never map under Wayland after 4.0.0by marioxabel· open at sourcebug
Out of area
Decided· Out of scope - R-1717Tray icon vanishes when an app switches its IconName between symbolic and non-symbolic (fcitx5)by chiengyn· open at sourcebug
Out of area
Decided· Out of scope - R-1719Add numpad bindings for workspace navigation on Quattroby Douda· open at sourceenhancement
Out of area
Decided· Out of scope - R-1721webcam picker: Device Caps filter still passes IPU7 raw Bayer node (follow-up to #5722)by danteRub· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1722Bar shows a checkered overlay after an interrupted bar-move gesture — omarchy-bar-move-ghost layer stays stuck openby edvaldo4d5· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- Decided· Out of scope
- R-1725Shell animations run at ~60 fps regardless of monitor refresh rate on NVIDIA (Qt falls back to the basic render loop)by PavelAlennikov· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4618scale = "auto" is not stable across evaluations: 2 at boot, 1.5 after hyprctl reloadby andrei-himself· closed — completed at sourceFixed
- R-1726Network panel never reopens the passphrase prompt for a saved network with a stale passwordby andrei-himself· open at sourcebug
Out of area
Decided· Out of scope - R-1727Dual-boot install fails when the free space is on a different disk than Windows itselfby igor-gorohovsky· open at sourcebug
Out of area
Decided· Out of scope - R-1728Clicking a Chromium web-app notification focuses the browser window, not the sending web appby vmarcinko· open at sourcebug
Out of area
Decided· Out of scope - R-1729Quickshell network panel shows WPA2-Enterprise connection as disconnectedby emredurak01· open at sourcebug
Out of area
Decided· Out of scope - R-1730Quattro migration doesn't update kb_options, trapping Caps Lock ONby jamesgoldswain· open at sourcebug
Out of area
Decided· Out of scope - R-1731Cloned or third-party bar plugin fails to load, leaving no bar and no errorby koenhendriks· open at sourcebug
Out of area
Decided· Out of scope - R-4617omarchy hyprland monitor scaling reverts instantly when monitors.lua has per-monitor rulesby Douda· closed — completed at sourceReceived
- R-1732mise wrappers still exec-loop when mise x falls back to a PATH lookup (residual case of #6349)by pedrosekine· open at sourcebug
Out of area
Decided· Out of scope - R-1733Emoji not sent to clipboardby nightdevil00· open at sourcebugReceived
- R-1734Fingerprint reader fails after suspend: fprintd reports "Cannot run while suspended"by hojner· closed — completed at sourcebugReceived
- R-1735Internal laptop display remains disabled after disconnecting external monitorby tobiasz-p· closed — duplicate at sourcebugduplicateFixed
- R-1736Notification icon for all the web-apps shows chromium logo instead of the installed PWA logo.by RohitKaushal7· open at sourcebug
Out of area
Decided· Out of scope - R-1737Quattro upgrade writes rd.luks.name while mkinitcpio uses encrypt hook, breaking encrypted root bootby gcarre· open at sourcebug
Out of area
Decided· Out of scope - R-1738Agents panel shows the wrong Claude plan (MAX 5X) when the org tier differs from the OAuth credentialsby IgorKramar· closed — completed at sourcebugReceived
- R-4616Screensaver/idle triggers during Firefox video playback — portal Inhibit falls back to unowned org.freedesktop.ScreenSaverby sumitrampal· closed — completed at sourceReceived
- R-1739Sunshine installer configures two autostart paths, causing SIGABRT on port 48010 after loginby mise42· open at sourcebug
Out of area
Decided· Out of scope - R-1740screenrecord: NVENC fallback doesn't trigger on API version mismatch (Pascal/580xx driver)by ricardomillerjr· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4615omarchy-battery-status reads only the first battery on dual-battery laptopsby syntaxboybe· closed — completed at sourceReceived
- R-1741Hardware macro loses Shift when modifier and key use different HID endpoints with Fcitx5by anthonyrussano· closed — duplicate at sourcebugduplicatecompatibilityReceived
- R-1742Calendar weekday labels hardcoded to English instead of using system localeby markbus-ai· open at sourcebug
Out of area
Decided· Out of scope - R-1743Laptop display stays dark after disconnecting from External Displayby omnomburp· open at sourcebug
Out of area
Fixed - R-1744No sound after reboot with headphones plugged in (Dell XPS 16 / sof-soundwire cs42l45)by kafatekactual· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1745Vantablack/White themes: 'Yaru-gray' icon theme unresolvable in 4.0.0 → broken-image placeholdersby pcrisho· open at sourcebug
Out of area
Decided· Out of scope - R-4614Screensaver triggers during fullscreen YouTube video in Zen Browser (works fine in Chromium)by ByronSerrano· closed — completed at sourcebugReceived
- R-1746Notification toasts render on every connected monitor; the notifications plugin has no focused-monitor gateby EduardsSk· open at sourcebug
Out of area
Decided· Out of scope - R-1747Agents panel misses Codex usage from Pi sessions stored under ~/.config/piby crismic· open at sourcebug
Out of area
Decided· Out of scope - R-1748omarchy debug, omarchy debug idle, and omarchy upload log are unreachable — packaging relocates them out of the dispatcher's search pathby WhiskeyTuesday· open at sourcebug
Out of area
Decided· Out of scope - R-1749Screen recording fails silently on the external monitor of a hybrid-GPU laptop, and --fullscreen ignores OMARCHY_SCREENRECORD_USE_PORTALby Literato2· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1750omarchy-font-set: terminal restart notifications never fire — -g consumes the message as a glyphby WhiskeyTuesday· open at sourcebug
Out of area
Decided· Out of scope - R-1751No way to disable the idle lock while keeping the screensaver — and `idle.lock: 0` locks instantly instead of disablingby Alex980102· closed — completed at sourceenhancementReceived
- R-1752Lock screen retries fingerprint auth every 250ms with no backoff, keeping throttled readers permanently disabledby AdamWorley· closed — completed at sourcebugFixed
- R-1753First-agent OAuth browser opens tiled under the 875×600 setup terminalby unleashed-nick· open at sourcebug
Out of area
Decided· Out of scope - R-1754Lock screen fingerprint retry livelocks after resume: overlapping PAM subprocesses collide on exclusive fprintd claimby sross· closed — completed at sourcebugFixed
- R-4613omarchy-update-available false positive when a pre-release tag exists (e.g. v4.0.0-beta3)by sergioacosta-dev· closed — completed at sourceReceived
- R-1755[Quattro] Numlock ignored by Quickshell lock screen and polkit dialog despite correct compositor stateby AharonG298· open at sourcebug
+2 also reported· show· hide
R-1755 is the earliest report of this defect; these reports say the same thing.
- Numeric keypad types nothing in the polkit dialog, lock screen and launcher (Qt ignores NumLock at startup) R-1375filed Aug 27, 2026Open upstream.
- Numpad misbehaves on lock screen after suspend/resume, even though hyprctl devices reports numLock: true everywhere R-348filed Sep 18, 2026Open upstream.
Received - R-1756Popped-out window (SUPER+O) loses centering when moved to another monitorby Eidan78· open at sourcebug
Out of area
Decided· Out of scope - R-1757omarchy-launch-spotify can be hijacked by any window whose title contains 'spotify'by Eidan78· open at sourcebug
Out of area
Decided· Out of scope - R-1758spotify wrapper: flags on a single line in spotify-flags.conf are silently droppedby Eidan78· open at sourcebug
Out of area
Decided· Out of scope - R-1759Quickshell's PluginRegistry.qml leaks inotifywait watchers on every shell reload, eventually exhausting inotify instances system-wideby gardensazurescens· open at sourcebug
Out of area
Decided· Out of scope - R-1760invokeLast IPC returns "none" instead of re-showing the last notification when no toast is on screenby erichsson· open at sourcebug
Out of area
Decided· Out of scope - R-4612Lock screen repeatedly flashes blank due to periodic "no outputs" Wayland glitchby MarcelHuang· closed — completed at sourceReceived
- R-1761Quattro removes playerctl while default Voxtype config requires itby barlevalon· open at sourcebug
Out of area
Decided· Out of scope - R-1762Installer renders left-of-center on ultrawide, possibly when a narrower second monitor is attachedby aastrand· open at sourcebug
Out of area
Decided· Out of scope - R-1763The agents widget can be added to the bar twice, permanentlyby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1764omarchy theme remove rejects the quoted display name its own help text documentsby omarchybot· open at sourcebugFixed
- R-1765Acceptance helper screen_contains reports a failed screenshot as missing contentby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1766./test/all fails three files on a fresh clone, and the sibling-checkout requirement is undocumentedby omarchybot· open at sourcebug
Out of area
Fixed - R-1767test/shell leaks two orphaned inotifywait processes per run, holding the harness's file descriptorsby omarchybot· open at sourcebugFixed
- R-1768137 assertions across seven test files fail with no output at allby omarchybot· open at sourcebugFixed
- R-1769ripgrep is an unchecked test dependency, and without it nine guards report ok instead of failingby omarchybot· open at sourcebugFixed
- R-1770Two test assertions read state they did not produce, so a no-op passesby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1771omarchy bar set <id> <key> '[]' --json always fails: an empty array is dropped before it reaches the shellby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1772SUPER+CTRL+P (Power) is a silent no-op on any machine without a batteryby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1773omarchy plugin clone produces an id the registry always rejects when the user is named omarchyby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1774Hiding the last tray icon removes the tray widget, including the menu that unhides itby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1775Applying a theme with no backgrounds/ blanks the wallpaper and leaves a dangling symlinkby omarchybot· open at sourcebug
Out of area
Fixed - R-1776The White unlock theme paints the SDDM login screen black on blackby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1777omarchy transcode fails with an internal usage message when ~/Pictures and ~/Videos are emptyby omarchybot· open at sourcebugFixed
- R-1778omarchy --help advertises four command groups that contain no commandsby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1779omarchy remove service dropbox and tailscale are committed without the executable bit, and commands --check cannot see itby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1780fix-surface-keyboard.sh resets MODULES instead of appending, stripping NVIDIA early KMS on Surface devicesby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1781fnmode=2 is forced on every install: a no-op for the keyboards it names, and it removes the media keys on Apple keyboardsby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1782Wi-Fi 7 is disabled on every Core Ultra Series 3 laptop and every BE200 card, not just the Dell XPS it targetsby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1783Migration 1781587663 aborts the whole migration queue when omarchy-nvim is not installedby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1784omarchy update silently restores the preinstalled apps the user removedby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-4611Saving a file under ~/.config/omarchy/plugins/ while locked strands the session, and omarchy-restart-shell refuses to helpby omarchybot· closed — completed at sourcebugFixed
- R-1785A theme with no colors.toml applies silently and leaves foot, the default terminal, unable to startby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1786install/user/xcompose.sh overwrites ~/.XCompose and blanks the identity macros on rerunby omarchybot· closed — not planned at sourcebugReceived
- R-1787Migration 1781063758 can truncate a customized hyprland.lua to two linesby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1788omarchy update destroys user binaries in ~/.local/bin at 13 fixed names, including gh and claudeby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1789Malformed shell.json reverts the bar to defaults, and the next click overwrites the user's config with themby omarchybot· open at sourcebug
Out of area
Decided· Out of scope