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 issueMediumReviewedKI-261009-4MB1
    Lock keyboard-off saves brightness 0 when the light is already off, so unlock restores darkness

    After unlock the keyboard backlight stays at 0.

    1 requirement
  2. last week
    Known issueLowOpenKI-MENU-REMOVE-THEME-NO-THEMES
    Remove > Theme shows on a stock install, where the remover has no theme to offer and the row only closes the menu

    Remove > Theme runs omarchy-theme-remove with no terminal (default/omarchy/omarchy-menu.jsonc:295).

    ProbeLabs1 requirement
  3. 2 weeks 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
  4. 2 weeks ago
  5. 2 weeks ago
    Known issueMediumOpenKI-MENU-JSONC-COMMA-IN-STRING
    stripJsonc comma regex rewrites strings that carry a comma before } or ] (omacom/omarchy#13250)

    A menu label or action whose text has a comma directly before } or ] is silently changed: the comma is removed.

    ProbeLabs1 requirement
  6. last month
    Known issueMediumReviewedKI-260930-2FBE
    omarchy-system-lock exits 0 when lock engagement fails, leaving the dismissed Lock row silent

    bin/omarchy-system-lock line 10 runs `omarchy-shell lock lock >/dev/null` and never checks the exit status.

    1 requirement
  7. last month
    Known issueMediumReviewedKI-MENU-SELECT-POLL-DEADLOCK
    omarchy-menu-select hangs forever when the summoned menu dies before writing done_file

    The done_file poll in bin/omarchy-menu-select (lines 93-95) has no deadline and no peer-liveness probe.

    7 requirements

End of timeline