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-4609Bitwarden menu installation fails after installing Zedby kvechkanov· closed — completed at sourceFixed
- R-1816omarchy-menu-keybindings hangs forever when a user Lua config iterates hl.get_monitors()by e-defix· open at sourcebug
+4 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, 2026Open upstream.
- omarchy-menu-keybindings lua bind scan spins at 100% CPU when user config iterates a mocked hl API R-5154filed Oct 5, 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-1820Menu launcher lost Walker's web-search fallback for no-match queriesby Balmisjutas· open at sourceenhancementFixed
- 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 - Fixed
- R-4602Bar clock always shows weekday/month names in English, ignoring system locale (LANG)by isaac30503· closed — not planned at sourceFixed
- 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-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-1857Quattro upgrade leaves broken app-menu icons and a ghost Alacritty launcherby cempack· open at sourcebugFixed
- R-1866Lock screen auto-focus not workingby Obamium3157· open at sourcebugFixed
- R-4564ttfx dumps core on every idle lock: omarchy-system-lock kills the screensaver terminal before the rendererby Kyrunner· closed — completed at sourceFixed
- R-1882Lock shell dies during normal idle->lock; session permanently locked, reboot requiredby akashgagda· 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
+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.
- Lock screen blanking crashes the shell on single-monitor setups, causing a lock/relaunch loop R-491filed Sep 16, 2026· open upstream
- Lock screen loops shell crash and monitor power-cycle when HDMI output drops after DPMS off R-5178filed Oct 6, 2026· open upstream
Fixed - R-4508hyprctl -j binds produces invalid JSON due to unquoted Lua binding values (jq parse error)by genesshoan· closed — completed at sourcebugFixed
- R-4504[Quattro] omarchy.clock keeps weekday and month names in English after changing the system localeby ElMeGGa-14· closed — completed at sourcebugFixed
- R-4500menu keybidnings brokenby felixzsh· closed — completed at sourcebugFixed
- 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-4474Non-US keyboard layout not applied at LUKS decrypt prompt after 3.8.x updateby Codinger-404· closed — completed at sourcebugFixed
- R-1913No audio on Intel Arrow Lake — sof-firmware not installed, DSP fails to boot (Dummy Output)by hyprcat· open at sourcebugcompatibility
Out of area
Fixed - Fixed
- R-3840Baklight Keyboard Keys stay off after suspendby ElBrodino· closed — completed at sourcebugFixed
- R-3814autostarting mise breaks arch (python) packagesby kromsam· closed — completed at sourcebugFixed
- Fixed
- R-3611Fix: Replace hardcoded 'yay' with 'paru' (or other) in Omarchy scripts to avoid AUR menu breakageby zestfulmouse· closed — completed at sourcedocumentationFixed
- R-3599Open Calendar Invites (ICS) defaultby VDuda· closed — completed at sourceenhancementFixed
- R-3596When will the Odin programming language be supported in Omarchy by default?by joaocarvalhoopen· closed — completed at sourceenhancementFixed
- R-3534Show password toggle on lock screenby RienTheExplorer· closed — completed at sourceenhancementFixed
- R-3504mise python installation breaks AUR packages installationsby Michallote· closed — completed at sourcebugFixed
- R-3492Omarchy Spanish Translationby LucianoMSS· closed — not planned at sourceenhancement
+1 also reported· show· hide
R-3492 is the earliest report of this defect; this report says the same thing.
- Feature request: add an i18n/localization system for Omarchy R-1718filed Aug 17, 2026Open upstream.
Fixed - Fixed
- R-3403Power settings "not found"by jakub-fabia· closed — completed at sourcebugFixed
- R-3302[Proposal]: Add ability to install browsers from the Walker menu.by vaqMAD· closed — completed at sourceenhancementFixed
- R-3106Using vim style navigation in omarchy-menuby eshedruf· closed — not planned at sourceenhancementFixed
- R-3002Add delayed screenshots from the Omarchy Menuby ablzh· closed — completed at sourceenhancementFixed
- R-2978Odin-langby DallinTG· closed — completed at sourceenhancementFixed
- R-2924Caps lock indicator on sign-in screenby bettinson· closed — completed at sourceenhancementFixed
- R-2862Power Profile options are not showingby matheorism· closed — completed at sourcebugFixed
- R-2675Adding Locale options to Omarchy (installer)by kromsam· closed — completed at sourceFixed
- R-2585[SOLVED] screensaver does not work, even after yay commandby sliceking· closed — completed at sourceFixed
- R-2419Add active window-aware, app-specific keybindings lookup tableby giovesch· closed — completed at sourceFixed
- R-2396Add omarchy-setup-davinciby dhh· closed — not planned at sourceFixed