Proof Portal

Sign in
Project overview

Omarchy

ProbeLabsviewing a historical run

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

Viewing historical run 89b2c1eSep 29, 2026, 09:42 AMpr/9056Back to current

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 open

Known Issues: Confirmed, current problems in the system — the open failure modes to act on.

1 open known issues

KindFindingStatusContext
Medium
Known issue
omarchy-menu-select hangs forever when the summoned menu dies before writing done_file
KI-MENU-SELECT-POLL-DEADLOCK
Reviewed
Inception
RequirementsThe select payload carries mode=select, prompt, options,…SW-REQ-260922-Q6ZSA summon arriving while a select/input request is still…SW-REQ-260925-XTGG