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 describe the same defect as an earlier report. Each points to the earliest report of that defect, and is folded under it everywhere else.
- R-1571Lock screen visible but keyboard input dead after lid-open resume (reproduces on Quattro, follow-up to #2991)by awt· open at sourcebug
Duplicate of[Quattro] Lock password field can lose focus after suspend resume R-1214— where this defect is tracked
Fixed - R-1610Quickshell lock crashes in PamSubprocess during overlapping fingerprint retriesby prestoncabe· open at sourcebug
Duplicate ofFingerprint unlock rejected on first attempt after resume (Goodix, race with sleep-lock inhibitor) R-830— where this defect is tracked
Decided· Duplicate - R-1655Internal display flashes to 2x scale on lock-screen mouse move / resume (desc: output rules unmatched)by mateusfl· open at sourcebug
Duplicate ofLock screen flickers on every keystroke: each wake re-applies a monitor scale from monitors.lua that the compositor doesn't use, with no backoff R-943— where this defect is tracked
Fixed - R-1678Lock screen re-blanks ~1s after DPMS wake on slow-sync monitor, making unlock blind typingby skinandbones· open at sourcebugcompatibility
Duplicate of[Quattro] Lock screen re-blanks slow DPMS monitors after fixed 5-second wake timeout R-1584— where this defect is tracked
Fixed - R-1684When using mouse on the Emoji Picker, emoji isn't shown anywhereby allanjorch· open at sourcebug
Duplicate ofEmoji picker inserts into the wrong window when the card spans two windows R-1697— the earliest report
Fixed - R-1715overflowing text when search item too longby Sameer292· open at sourcebug
Duplicate ofMenu empty-state text overflows the container on long queries R-1652— where this defect is tracked
Fixed - R-1718Feature request: add an i18n/localization system for Omarchyby Antaneyes· open at sourceenhancement
Duplicate ofOmarchy Spanish Translation R-3492— the earliest report
Decided· Duplicate - R-1720omarchy-sleep-lock.service fails on resume: Restart=always re-runs systemd-inhibit while logind's sleep operation is still in flightby ki11e6· open at sourcebug
Duplicate ofomarchy-sleep-lock.service fails on every suspend/resume: systemd-inhibit 'already running' R-131— where this defect is tracked
Fixed - 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
Fixed - R-2029SUPER (SHIFT) + equal keyboard shortcuts don't resize windows (Belgian keyboard)by sedubois· open at sourcebug
Duplicate ofomarchy-menu-keybindings: code: binds always displayed with US symbol names (xkbcli compile-keymap ignores the active layout) R-1248— where this defect is tracked
Fixed