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-1790Voxtype does not symlink to voxtype-vulkan on Vulkan enabled systemby sgruendel· open at sourcebug
Out of area
Decided· Out of scope - R-1791Quickshell segfaults when typing in the omarchy-menu search box (crash inside QML JIT via displayModel.append)by tk-ls· open at sourcebugValidated· Refuted
- R-1792Clicking workspaces in BarWidget is sluggish vs keybindsby ohai89· open at sourcebugFixed
- R-1793Quattro: "selection" layer namespace hook steals RETURN/TAB/arrows from any layer-shell client using that namespace (breaks wl-kbptr)by ispentanhouronthis· open at sourcebug
Out of area
Decided· Out of scope - R-1794Multi-window session not fully restored after reboot — close-all does not wait for apps to exitby dpan· open at sourcebug
Out of area
Decided· Out of scope - R-1795Clamshell watcher ignores desc: rules for the internal panel and overwrites its scale every 2sby mkelk· open at sourcebug
Out of area
Fixed - R-1796Menu rebuilds its list in a tight loop (flicker, selection jumps to bottom) when user desktop files override system desktop idsby uMaj35ty· open at sourcebugReceived
- R-1797omarchy-migrate mishandles legacy (git-checkout) installs: wrong OMARCHY_PATH default hides pending migrations, and migration 1785608166 aborts the whole queueby DiegoMirner· open at source
Out of area
Decided· Out of scope - R-1798Right-click on omarchy.active-window closes the focused window with no warningby dpan· open at sourcebug
Out of area
Decided· Out of scope - R-1799Post-update restart compiles new QML on the UI thread; bar and menus are dead until that finishes, and a second restart can lose the processby dpan· open at sourcebug
Out of area
Decided· Out of scope - R-1800Xbox controller installer blacklists xpad, breaking all wired Xbox controllersby mateuspim· open at sourcebug
Out of area
Decided· Out of scope - R-1801[Quattro] Lock screen does not lock — WlSessionLock reverted by compositor after ~4sby arthurr-jpg· open at sourcebugReceived
- R-4610omarchy-shell is not runningby sohanemon· closed — completed at sourcebugReceived
- R-1802Default SUPER+RIGHT mouse resize binding unusable on touchpads (two-finger tap can't be held)by crazymonkyyy· open at sourcebug
Out of area
Decided· Out of scope - R-1803Omarchy Quatro: Not Honoring Transform in Monitor Configby YuseiRun· open at sourcebug
Out of area
Decided· Out of scope - R-1804Live ISO and post-install boot fails on NVIDIA + Realtek hardware without manual nomodeset / modprobe.blacklist editsby Ycaro-Oleg· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-4609Bitwarden menu installation fails after installing Zedby kvechkanov· closed — completed at sourceFixed
- R-1806Quattro: selecting an image in clipboard history copies it but does not paste itby andresreibel· open at sourcebug
Out of area
Decided· Out of scope - R-1807linux-ptl: track C106 iwlwifi firmware validation on XPS 14/16 with Linux 7.2by spencerbull· open at source
Out of area
Decided· Out of scope - R-1808Media bar widget marquee freezes mid-scroll, showing only a few leading charactersby schotime· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1810`omarchy install service sunshine` fails: "Unit sunshine.service does not exist"by janoguerra· open at sourcebug
Out of area
Decided· Out of scope - R-1811Fresh Quattro install ignores installer keyboard layout choice — vconsole.conf gets only KEYMAP, Hyprland falls back to usby Asknorway· open at sourcebug
Out of area
Decided· Out of scope - R-1812NVIDIA 50xx Users - Can't Install - Boots to black screenby TheLinuxITGuy· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4608Screen activates while watching videosby mikeproctor· closed — completed at sourcebugReceived
- R-1813herdr: prompt drawn at row 1 with the previous screen left below it after an SSH session exitsby rubberneck· open at sourcebug
Out of area
Decided· Out of scope - R-1814launch webapp fails when default browser is Firefox (no Chromium installed)by alkevintan· open at sourcebug
Out of area
Decided· Out of scope - R-1815Intermittent 'send_key_state: key not found' on Super+V/C/X clipboard shortcutsby Louis454545· open at sourcebug
Out of area
Decided· Out of scope - R-1816omarchy-menu-keybindings hangs forever when a user Lua config iterates hl.get_monitors()by e-defix· open at sourcebug
+5 also reported· show· hide
R-1816 is the earliest report of this defect; these reports say the same thing.
- Keybindings menu (SUPER+K) hangs forever if hyprland.lua iterates a hyprlua getter R-498filed Sep 16, 2026Closed upstream on 2026-10-12 by the bot omarchybot, as a duplicate (target not recorded).
- omarchy-menu-keybindings: mock 'noop' table causes unbounded infinite loop and 100% CPU when config iterates with ipairs R-474filed Sep 16, 2026Open upstream.
- Super + K hangs and spawns CPU-bound Lua processes when config iterates hl.get_workspaces() R-2151filed Oct 1, 2026Closed upstream on 2026-10-13 by the bot omarchybot, as a duplicate (target not recorded).
- omarchy-menu-keybindings lua bind scan spins at 100% CPU when user config iterates a mocked hl API R-5154filed Oct 5, 2026Open upstream.
- omarchy-menu-keybindings Lua stub makes ipairs infinite (Super+K hang with plugins using hl.get_windows) R-5370filed Oct 12, 2026Open upstream.
Fixed - R-1817omarchy toggle bar on/off has inverted semantics (hides bar on 'on', shows it on 'off')by Amvurguezo· open at sourcebug
Out of area
Fixed - R-1818GDK_SCALE=2 + force_zero_scaling overflows XWayland/Java windows on auto-scaled 1080pby v-t-r-gg· open at sourcebug
Out of area
Decided· Out of scope - R-1819Cannot run Migration (1786643346) because an "browser window is open" according to the migration.by joshuafouch· open at sourcebug
Out of area
Decided· Out of scope - R-1820Menu launcher lost Walker's web-search fallback for no-match queriesby Balmisjutas· open at sourceenhancementFixed
- R-1821[Quattro] Touchpad gets disabled everytime I close the laptop lidby ReetamBG· open at sourcebug
Out of area
Decided· Out of scope - R-1822Full Changelog: https://github.com/basecamp/omarchy/compare/v3.8.5...v4.0.0 does not existby shenxianpeng· open at sourcebugdocumentation
Out of area
Decided· Out of scope - R-1823setup security fingerprint fails on sensors requiring open-fprintd (ThinkPad 06cb:009a)by ItsNotPaths· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1824RTL8852BE Wi-Fi dead after s2idle; rtw89 resume wedges the chipby aquaspy· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1826Shell tests launch visible surfaces on the active Hyprland compositorby wadewegner· open at sourcebugReceived
- R-1827No longer a way to enter password when using luksby zackify· open at sourcebugenhancement
Out of area
Decided· Out of scope - R-1828Linux 7.1 initramfs_async=0 causes ~76-second kernel phase on mixed AMD/NVIDIA systemby biggsjm· open at sourcebug
Out of area
Decided· Out of scope - R-1829Idle cycle restarts during a pending lock and launches a second screensaver into it — new ttfx aborts (isLocked guard passes while lock-pending)by s373nZ· open at sourcebug
Out of area
Fixed - R-1830omarchy-upgrade-to-quattro enables bt-agent.service but orphans bluez-tools (its only source of /usr/bin/bt-agent) — infinite restart loopby lemachinarbo· open at sourcebug
Out of area
Decided· Out of scope - R-1831Weather plugin: Current location icon() overlaps on the current weather stateby JairPB· open at sourcebug
Out of area
Decided· Out of scope - R-1832Quattro clipboard image preview renders oversized and covers the desktopby evo-social-world· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1834Agents bar widget: Claude collector shows 'Waiting for auth' with Vertex/Bedrock auth; no Gemini collectorby Leonslost· open at sourceenhancement
Out of area
Decided· Out of scope - R-4607Quattro (4.0) install fails: fix-synaptic-touchpad.sh psmouse module mismatch + vulkan.sh offline mirror missing filesby ahmedsrea· closed — completed at sourcebugReceived
- R-4606After update to quatro , still see old version desktopby DiegoMirner· closed — completed at sourcebugReceived
- R-1835Plugin hot-reload never picks up changed plugin code (stale QML component cache)by farangkao· open at sourcebug
Out of area
Decided· Out of scope - R-1836`omarchy debug` and four other commands are unreachable inside the Hyprland session: envs.lua prepends an incomplete bin dirby kevinchiha· open at sourcebug
Out of area
Decided· Out of scope - R-1837running low when upgrading to Omarchy Quattro this morning.by 4ever911· open at sourcebug
Out of area
Decided· Out of scope - R-4605Deleting apps doesnt workby Liran-shternberg· closed — completed at sourcebugReceived
- R-1838omarchy-plugin-validate: Regex fails for valid plugin IDs under Turkish localeby Underday· open at sourcebug
Out of area
Decided· Out of scope - R-4604Cloning the bar plugin (omarchy plugin clone omarchy.bar) breaks the bar on every monitorby fallendown· closed — completed at sourceReceived
- R-1839Display panel can't toggle monitors on Hyprland 0.56: `hyprctl keyword` silently no-ops (Lua config)by Baniel83· closed — completed at sourcebugReceived
- R-1840Tailscale widget reports Connected while tailnet DNS is unreachableby z23· open at sourcebug
Out of area
Decided· Out of scope - R-1841omarchy font set resets Foot font size to 9, ignoring omarchy display text sizeby sbalbalosa· open at sourcebug
Out of area
Decided· Out of scope - R-4603Bluetooth widget disappears from shell when turned offby elytraVIII· closed — completed at sourceReceived
- Fixed
- R-1843Quickshell SIGSEGV in QQuickRepeater when PipeWire removes USB audio nodesby sanjyay· closed — completed at sourcebugReceived
- R-1844Fn + F3 keyboard backlight shortcut not working on ASUS ROG Zephyrus G14by CosmicKittu· open at sourcebug
Out of area
Decided· Out of scope - R-1845Invalid mise config.toml keeps getting generatedby TheTrueFerret· open at sourcebug
Out of area
Decided· Out of scope - R-1846Steam idle-inhibit rule matches the client but not steam_app gamesby nicoladen05· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-4602Bar clock always shows weekday/month names in English, ignoring system locale (LANG)by isaac30503· closed — not planned at sourceFixed
- R-1848Quattro update preserves bindings.conf but silently stops loading custom keybindingsby evo-social-world· open at sourcebug
Out of area
Decided· Out of scope - R-4601Bar-kind plugin clones never mount: required properties not initializedby lvkz· closed — not planned at sourceReceived
- R-4600Lock screen can expose password text after failed authenticationby evo-social-world· closed — not planned at sourceReceived
- R-1849Installer: Scroll Lock backlight can lock input on SINO WEALTH 258a:0001 keyboardsby EmpireOperating· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4599Cloned bar plugin never loads: required properties are assigned after instantiationby skuthus· closed — not planned at sourceReceived
- R-1850Screensaver opens as a small floating window and self-terminates after 1s when a bar panel is openby echelonzero· open at sourcebug
Out of area
Decided· Out of scope - R-1851Shell: third-party bar plugins never load — required properties are set after constructionby andrepadez· open at sourcebug
Out of area
Decided· Out of scope - R-4598`o.shell_succeeds()` always returns false inside Hyprland, so NVIDIA env detection never firesby litescript· closed — completed at sourceFixed
- R-4597Clone Plugin from Setup > Plugins fails: "unknown clone option: <id>"by aledx18· closed — completed at sourcebugFixed
- R-1852Quattro upgrade replaces customized monitors.conf with default monitors.lua (auto layout, GDK_SCALE=2) without porting or warningby daventhedude· open at sourcebug
Out of area
Decided· Out of scope - R-4596[Quattro] eDP-1 monitor scaling forces 2x reset on mixed-monitor array with Quickshell navbarby PedroMiguelInacio· closed — completed at sourcebugReceived
- R-4595mise wrappers pollute stdout and break protocol-based toolsby luisrudge· closed — completed at sourceReceived
- R-1853omarchy-remove-browser uninstalls the package with no running-process check, leaving a half-dead browser that dumps core for hoursby seanfreiburg· open at sourceenhancement
Out of area
Decided· Out of scope - R-4594Foot terminal shows syntax error in foot.ini on startupby CosmicKittu· closed — completed at sourcebugReceived
- R-4593Power profile switching fails with amd_pstate on Lenovo LOQ — platform_profile works; possible fallback?by sanjyay· closed — completed at sourcebugReceived
- R-1854Power panel shows 0W discharging when power_now read returns ENODEVby ujo4eva· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4592System does not boot after upgrade to quattroby arrowcircle· closed — completed at sourcebugReceived
- R-4591Filenames are shown incorrectly in the desktop wallpaper pickerby 88srzh· closed — completed at sourcebugReceived
- R-4590Can't upgrade to Quattro. Stuck on 3.8.5 that's not listed on releases page.by zorzysty· closed — not planned at sourcebugReceived
- R-4589Coding Agent out of Date - Gemini --> Antigravityby gthompsongcsc· closed — completed at sourcebugFixed
- R-1855Stranded-lock recovery never completes: requestSessionLock() early-returns on sessionLock.secure, so the session stays on "lockscreen app died" foreverby jfbourdeau· open at sourcebug
+2 also reported· show· hide
R-1855 is the earliest report of this defect; these reports say the same thing.
- _syncServices() destroys keepLoaded services the builtin-defaults window marks disabled — any third-party lock plugin strands the session on resume R-659filed Sep 11, 2026Open upstream.
- Lock service can wedge forever in "lock-pending: screen-stabilizing" when a plugin reload races the stranded-lock retake; restart-shell still refuses in that state R-490filed Sep 16, 2026Open upstream.
Fixed - R-4588Any mise-wrapped tool hits broken aqua attestations: gh wrapper fails on Quattro (affects omarchy-mise-install defaults)by alvarosaavedra· closed — not planned at sourceReceived
- R-4587Agent setup for OpenCode fails on Quattro: mise resolves to deprecated aqua:sst/opencodeby alvarosaavedra· closed — not planned at sourceReceived
- R-1856Battery percent in the top bar shows only BAT0by vcelletti· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1857Quattro upgrade leaves broken app-menu icons and a ghost Alacritty launcherby cempack· open at sourcebugFixed
- 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-1859Quattro Brave Origin stable migration strands the existing Beta browser profileby cempack· open at sourcebug
Out of area
Decided· Out of scope - R-1860Quattro upgrade drops non-US keyboard layout when vconsole.conf only has KEYMAPby cempack· open at sourcebug
Out of area
Decided· Out of scope - 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