Proof Portal
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.
Reports that match a known issue in the audit (or became a new one). The known issue is linked on each report.
- R-5248Lock command silently succeeds without locking when omarchy-lock-password PAM service is missingby cklxx· open at source
Known issueKI-260930-2FBE
Fixed - R-2217Menu: on a non-English desktop, Apps lists names that start with an accented letter after Zby buger· open at source
Known issueKI-MENU-APPS-SORT-LOCALE
Fixed - R-2216Menu: Remove > Theme does nothing when no theme has been installed by handby buger· open at source
Known issueKI-MENU-REMOVE-THEME-NO-THEMES
Fixed - R-2178Menu: a route summoned while the shell starts opens the main menu insteadby buger· open at source· edited (3 revisions)
Known issueKI-MENU-PENDING-INITIAL-MENU-DEAD
Fixed - R-2177Menu: an uninstall confirmation left open stays over the next prompt, and Enter meant for the prompt uninstalls the appby buger· open at source· edited (3 revisions)
Known issueKI-MENU-OPEN-LEAVES-CONFIRM
Fixed - R-28Menu JSONC: an inline `//` comment tail silently empties every entry in that menu fileby buger· open at source· edited (5 revisions)
Known issueKI-MENU-JSONC-INLINE-COMMENT
Fixed - R-29Menu JSONC: a top-level array root is silently read as menu rows with ids "0", "1", …by buger· open at source· edited (5 revisions)bug
Known issueKI-MENU-JSONC-ARRAY-ROOT
Fixed - R-102Menu JSONC: labels containing `, ]` or `, }` are silently corrupted by the trailing-comma stripperby buger· open at source· edited (4 revisions)bug
Known issueKI-MENU-JSONC-COMMA-IN-STRING
Fixed - R-711Menu user extension can't partially override defaults — hidden fields (label/provider/action/aliases) get clobberedby silvioscs· open at sourcebug
Known issueKI-MENU-MERGE-OVERRIDE-WIPES-DEFAULTS
+1 also reported· show· hide
R-711 is the earliest report of this defect; this report says the same thing.
- Menu extension overrides wipe unspecified fields (icon, label, when) instead of merging R-427filed Sep 17, 2026Closed upstream on 2026-10-12 by the bot omarchybot, as a duplicate (target not recorded).
Fixed - R-877Menu opens in time quadratic to its row count (231-row keybindings menu spends 111ms in redundant height passes)by mihb123· open at sourcebug
Known issueKI-MENU-OPEN-QUADRATIC
duplicateofKeybindings cache key includes volatile "active keymap" state, causing repeated 540ms cold rebuilds R-1487· describes KI-MENU-OPEN-QUADRATIC· every defect it describes is already reported
Decided· Duplicate - R-904Session lock silently lost on output re-add: desktop exposed without authentication (and quickshell SIGABRT on the same path)by nikitaprokopov· open at sourcebug
Known issueKI-LOCK-SPONTANEOUS-UNLOCK-FAIL-OPEN
Fixed - R-1368Lock: monitor that drops HPD after DPMS-off comes back lit and never re-blanks (blank timer is one-shot)by bmcswee· open at sourcebug
Known issueKI-LOCK-SCREENS-CHANGE-BLANK-LOST
Fixed - R-1570Superseding a pending omarchy-menu-select leaks a permanent 20 fork/sec busy-wait loopby designgears· open at sourcebug
Known issueKI-MENU-REQUEST-LIFECYCLE
+2 duplicate reports here· KI-MENU-REQUEST-LIFECYCLE, KI-MENU-SELECT-POLL-DEADLOCK· show· hide
Every defect they describe is already reported in this tab, and this report (KI-MENU-REQUEST-LIFECYCLE, KI-MENU-SELECT-POLL-DEADLOCK) leads their main one. This tab lists one row per report that brings a defect of its own.
- Spamming a menu-summoning keybinding (Super+K) leaks orphaned omarchy-menu-select processes R-1237filed Aug 30, 2026· closed upstream as a duplicate
- omarchy-menu-select waiter never exits if the shell drops the menu R-5186filed Oct 7, 2026· open upstream
Fixed - R-1877Keyboard backlight restore fails after lock (brightnessctl saves 0 after Dell stop_timeout)by sotoreynah· open at sourcebugcompatibility
Known issueKI-261009-4MB1
+2 also reported· show· hide
R-1877 is the earliest report of this defect; these reports say the same thing.
- Keyboard backlight stays off after unlock: second `omarchy-brightness-keyboard off` saves 0 as the restore value R-188filed Sep 22, 2026Open upstream.
- Keyboard backlight stays off after unlock: a repeated lock-screen blank saves 0 over the user's level R-2166filed Oct 2, 2026Open upstream.
Decided· Duplicate