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.
- R-443Lock screen fingerprint sensor only ever runs ONE pam session per lockby slr01· open at sourcebug
+2 also reported· show· hide
R-443 is where this defect is tracked; these reports say the same thing.
- Lock screen keeps fingerprint PAM armed for the whole lock, wedging USB imaging readers R-1029filed Sep 3, 2026Open upstream.
- Lock screen: fingerprint reader disabled by libfprint thermal guard after ~3 min, then 250 ms retry loop R-2143filed Oct 1, 2026Open upstream.
Validated· Reproduced - R-655Lock screen blanks ~5 seconds after resume: suspend-gap guard re-arms the blank timer instead of holding the displayby callumau· open at sourcebugValidated· Reproduced
- R-995lock/authentication surface needs hard resource boundsby vip32· open at sourcebugValidated· Reproduced
- R-1791Quickshell segfaults when typing in the omarchy-menu search box (crash inside QML JIT via displayModel.append)by tk-ls· open at sourcebugValidated· Refuted
- R-2019USB keyboard eject on lock screen bugs laptop keyboardby thebrahman· open at sourcebugValidated· Refuted
| Report | Source | Received | Disclosure | Stage |
|---|---|---|---|---|
R-443Lock screen fingerprint sensor only ever runs ONE pam session per lock by slr01· open at sourcebug +2 also reported· show· hideR-443 is where this defect is tracked; these reports say the same thing.
| GitHub issueomacom/omarchy#12202 | 25 days ago | Public | Validated· Reproduced |
GitHub issueomacom/omarchy#11411 | 30 days ago | Public | Validated· Reproduced | |
R-995lock/authentication surface needs hard resource bounds by vip32· open at sourcebug | GitHub issueomacom/omarchy#10078 | 38 days ago | Public | Validated· Reproduced |
GitHub issueomacom/omarchy#7098 | 57 days ago | Public | Validated· Refuted | |
R-2019USB keyboard eject on lock screen bugs laptop keyboard by thebrahman· open at sourcebug | GitHub issueomacom/omarchy#4576 | 8 months ago | Public | Validated· Refuted |