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