Proof Portal

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.

Changes & defects

The chronological log of the proof layer — semantic changes (intended units of work) interleaved with the defects found and fixed, newest first.

  1. 2 days ago
    Known issueLowOpenKI-MENU-OPEN-QUADRATIC
    Opening a select menu walks its rows quadratically (omacom/omarchy#10601)

    Opening a long select menu does work that grows with the square of its length, because the menu measures the whole list again after each row is added.

    ProbeLabs1 requirement
  2. 5 days ago

End of timeline