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-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
  2. 4 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
  3. last week
  4. last week
    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
  5. 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
  6. 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