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-2250Yay + fzf aliasesby justbispo· closed — completed at sourceReceived
- R-2249Signal Desktop loses XCompose/fcitx after waking from sleepby dhh· closed — completed at sourceReceived
- R-2248Support for right-click on touchpadby brentdodell· closed — completed at sourceReceived
- R-2247Omarchy installer stuckby Mohamedsayhii· closed — completed at sourceReceived
- R-2246Xorg still needed for some scenariosby ylluminate· closed — completed at sourceReceived
- R-2245ZSH Supportby d4n3sh· closed — completed at sourceReceived
- R-2244feature: add glance as extras for news/feed hub it goes well with omarchyby al3rez· closed — completed at sourceReceived
- R-2243Secret Service API Providerby davidgasquez· closed — completed at sourceReceived
- R-2242Apps 2x scaled with GDK_SCALE set to 1by varo6· closed — completed at sourceReceived
- R-2241first time installed omarchy chrome webapps pop up as floating window, unless you toggle off "Use system title bar"by al3rez· closed — completed at sourceReceived
- R-2240Add theme installerby dhh· closed — completed at sourceenhancementReceived
- R-2239Add support for light themesby dhh· closed — completed at sourceenhancementReceived
- R-2238fr keyboard layoutby Antse· closed — completed at sourceReceived
- R-2237Nvidia Supportby LeAlencar· closed — completed at sourceReceived
| Report | Source | Received | Disclosure | Stage |
|---|---|---|---|---|
R-2250Yay + fzf aliases by justbispo· closed — completed at source | GitHub issueomacom/omarchy#24 | 16 months ago | Public | Received |
R-2249Signal Desktop loses XCompose/fcitx after waking from sleep by dhh· closed — completed at source | GitHub issueomacom/omarchy#23 | 16 months ago | Public | Received |
R-2248Support for right-click on touchpad by brentdodell· closed — completed at source | GitHub issueomacom/omarchy#21 | 16 months ago | Public | Received |
R-2247Omarchy installer stuck by Mohamedsayhii· closed — completed at source | GitHub issueomacom/omarchy#19 | 16 months ago | Public | Received |
R-2246Xorg still needed for some scenarios by ylluminate· closed — completed at source | GitHub issueomacom/omarchy#18 | 16 months ago | Public | Received |
R-2245ZSH Support by d4n3sh· closed — completed at source | GitHub issueomacom/omarchy#16 | 16 months ago | Public | Received |
R-2244feature: add glance as extras for news/feed hub it goes well with omarchy by al3rez· closed — completed at source | GitHub issueomacom/omarchy#14 | 16 months ago | Public | Received |
R-2243Secret Service API Provider by davidgasquez· closed — completed at source | GitHub issueomacom/omarchy#12 | 16 months ago | Public | Received |
R-2242Apps 2x scaled with GDK_SCALE set to 1 by varo6· closed — completed at source | GitHub issueomacom/omarchy#11 | 16 months ago | Public | Received |
R-2241first time installed omarchy chrome webapps pop up as floating window, unless you toggle off "Use system title bar" by al3rez· closed — completed at source | GitHub issueomacom/omarchy#9 | 16 months ago | Public | Received |
R-2240Add theme installer by dhh· closed — completed at sourceenhancement | GitHub issueomacom/omarchy#7 | 16 months ago | Public | Received |
R-2239Add support for light themes by dhh· closed — completed at sourceenhancement | GitHub issueomacom/omarchy#6 | 16 months ago | Public | Received |
R-2238fr keyboard layout by Antse· closed — completed at source | GitHub issueomacom/omarchy#5 | 16 months ago | Public | Received |
R-2237Nvidia Support by LeAlencar· closed — completed at source | GitHub issueomacom/omarchy#4 | 16 months ago | Public | Received |