Proof Portal
Project overview
Omarchy
ProbeLabsviewing a historical runA 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.
Issue Catalogue
The issue catalogue as recorded at the pinned historical run — known issues, defects, trace gaps and failing checks reconstructed from that audit.
Open known issues by severity
1 openAll9
Known Issues1
Problem Reports2
Accepted Risks0
Checks6
Known Issues: Confirmed, current problems in the system — the open failure modes to act on.
1 open known issues
| Kind | Finding | Status | Context | |||
|---|---|---|---|---|---|---|
Medium | Known issue | KI-MENU-SELECT-POLL-DEADLOCK | Reviewed | Inception |