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-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