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-5346Every editable text field makes the shell read the entire clipboard on any app's clipboard change (Qt 6.11.2 / QTBUG-149610; unbounded on Wayland)by rmcdavid· open at sourceLinked
- R-2197FocalTech fingerprint reader (2808:a97a): not detected, and lock screen unlock fails after suspendby jddmgt· open at source· edited (2 revisions)Linked
- R-385i18n: an adjudication of the existing proposals, with measurementsby linyiru· open at source· edited (2 revisions)enhancement
duplicateofMenu user extension can't partially override defaults — hidden fields (label/provider/action/aliases) get clobbered R-711· describes KI-MENU-MERGE-OVERRIDE-WIPES-DEFAULTS· every defect it describes is already reported
Linked
| Report | Source | Received | Disclosure | Stage |
|---|---|---|---|---|
GitHub issueomacom/omarchy#15083 | 8 h ago | Public | Linked | |
R-2197FocalTech fingerprint reader (2808:a97a): not detected, and lock screen unlock fails after suspend by jddmgt· open at source· edited (2 revisions) | GitHub issueomacom/omarchy#14089 | 9 days ago | Public | Linked |
R-385i18n: an adjudication of the existing proposals, with measurements by linyiru· open at source· edited (2 revisions)enhancement duplicateofMenu user extension can't partially override defaults — hidden fields (label/provider/action/aliases) get clobbered R-711· describes KI-MENU-MERGE-OVERRIDE-WIPES-DEFAULTS· every defect it describes is already reported | GitHub issueomacom/omarchy#12345 | 24 days ago | Public | Linked |