Proof Portal
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.
Users reach system actions, settings, and applications through the Omarchy menu; scripts pose picker and input prompts and read back the answer; menu rows reflect current system state (visibility guards, checkmarks, installed-dimmed rows) without stale or contradictory display.
Specification
The requirement exactly as authored — its complete prose text and, where present, the formal FRETish sentence it compiles to.
Users reach system actions, settings, and applications through the Omarchy menu; scripts pose picker and input prompts and read back the answer; menu rows reflect current system state (visibility guards, checkmarks, installed-dimmed rows) without stale or contradictory display.
Rationale & tags
Why this requirement exists, and how it is categorised.
Rationale & tags
Why this requirement exists, and how it is categorised.
The menu is the primary UX surface of omarchy and the #1 churn/bug hotspot (bin/omarchy-menu: 304 commits, 13 bug fixes, 3 cascade episodes); its rows make claims about system state that must not lie.
Verification & provenance
How this requirement was checked: the review trail, edit history, and the machine-analysis status terms (each ⓘ explains what it means).
Review
- Status
- pending
History
- Created
- Sep 22, 2026, 13:33 UTC · Kimi Dogfood · AI agent
- Modified
- Sep 25, 2026, 09:23 UTC · Kimi Upstream Refresh · AI agent
Change history
Every recorded revision of this requirement's source file — newest first, each with its commit message and the diff for that change.
Obligations
What this requirement must witness to be considered satisfied — the required evidence, and the tests that discharge each one.
3 obligations
Browse the catalogueDischarging tests pending a synced audit.
Discharging tests pending a synced audit.
Discharging tests pending a synced audit.
Acceptance criteria
Stakeholder conditions for satisfaction, traced to the derived requirements and evidence that discharge them.
Acceptance criteria
Stakeholder conditions for satisfaction, traced to the derived requirements and evidence that discharge them.
Stakeholder-authored conditions defining when the requirement is satisfied, traced to derived requirements / evidence.
- AC-001verify: test
Opening the menu (omarchy menu toggle) presents the menu UI, routes summon/close verbs to the correct plugin targets, and a pick in a script-driven select or input prompt returns the chosen answer to the calling script.
Derived requirementsNo acceptance-test witness found
- AC-002verify: test
A summon arriving while a script-driven select or input prompt is still awaiting an answer resolves the prior prompt as cancelled - the calling script's done-file poll terminates with no selection (exit 1) - before the new menu opens, so a repeated trigger key or a second caller can never strand a prompt's caller forever.
Derived requirementsAcceptance test
Its place
How this requirement connects — what proves it, what it affects, and what it rests on. Authored links only here; automatically derived links come from the audit index.
Loading graph…
Trace evidence
The concrete artifacts linked to this requirement — implementing code, verifying tests, documents, and the findings raised against it.
No findings affect this requirement
Nothing was flagged against this requirement in the pinned run.
Impact
Blast radius — authored trace links only (automatically derived links come from the audit index and aren't shown here).
Impact
Blast radius — authored trace links only (automatically derived links come from the audit index and aren't shown here).
If you change this
Requirements (59)
- Dynamic rows (apps, provider enumerations) replace their…menu · SYS
- All when/checked/disabled expressions evaluate in one…menu · SYS
- Menu action scripts (plugin picker, share, timezone,…menu · SYS
- omarchy-menu routes each verb…menu · SYS
- Activating a row runs its action, follows its link, or…menu · SYS
- The default JSONC and the user extension merge into one…menu · SYS
- A route string (exact id, declared alias, or normalized…menu · SYS
- A filter query narrows to visible, selectable rows whose…menu · SYS
- A script-driven select/input prompt delivers the picked…menu · SYS
- swapProviderRows drops exactly the rows carrying the re-run…menu · SW
- mergeAppRows and swapProviderRows return fresh maps that…menu · SW
- Only the plain $(reader) form is rewritten to the captured…menu · SW
- A guard batch that exits nonzero or by signal is discarded…menu · SW
- Applied guard results drive the viewmenu · SW
- The generated guard script holds exactly one if-line per…menu · SW
- The prelude's omarchy-pkg-present/missing shadows agree…menu · SW
- A value command shared by several guards (emenu · SW
- When no item declares a guard, the guard script is empty…menu · SW
- Binds Hyprland reports as dispatcher __lua are shown with…menu · SW
- When the fast signature (directory path + mtime per image…menu · SW
- Every picker row carries the plugin id as tab subtext, so…menu · SW
- Cancelling the timezone picker exits 1 before any…menu · SW
- Delete with the cursor on an app row opens an uninstall…menu · SW
- Clipboard mode writes the clipboard to a tempmenu · SW
- A code:N binding shows the keysym resolved from the…menu · SW
- The listing matches the requested formats…menu · SW
- A file chooser exit status above 1 sends a critical 'Could…menu · SW
- enable offers disabled pluginsmenu · SW
- When the fast signature differs, rows are rebuilt from a…menu · SW
- When no plugin matches the verb, the script sends a 'No…menu · SW
- A picked timezone is applied with sudo timedatectl…menu · SW
- open(payload) dispatches on modemenu · SW
- When the rows do not fit, the list height ends mid-rowmenu · SW
- An unknown verb prints 'omarchy-menumenu · SW
- toggle, summon, close, refresh, and ping each exec the…menu · SW
- When every row is disabled the menu shows no cursor at all…menu · SW
- Drilling in pushes the previous menu on the navigation stackmenu · SW
- A dmenu option may lead with a glyph TAB and trail a…menu · SW
- Cursor movement lands on the next selectable row in the…menu · SW
- Unparseable input (after stripping), non-object JSON, and…menu · SW
- An entry with action is an action, with target a link,…menu · SW
- A user entry overrides the default per key while keeping…menu · SW
- Full-line // comments and trailing commas are stripped…menu · SW
- A route matching no id and no alias resolves to the literal…menu · SW
- Absent an exact id, a route equal to a declared alias…menu · SW
- When a route resolves to an action item with a non-empty…menu · SW
- An exact id match wins over every aliasmenu · SW
- When a route resolves to a link item, the menu opens at the…menu · SW
- A row matches only when every query term appears in its…menu · SW
- Scores tier exact label, whole-word app name, label prefix,…menu · SW
- Search lists current-menu matches before deeper (drilldown)…menu · SW
- finishRequest with no active request or no done file just…menu · SW
- When the done file exists but the selection file is empty…menu · SW
- With no prompt, or no options from arguments or stdin, a…menu · SW
- finishRequest with a null selection (Escape/cancel) creates…menu · SW
- finishRequest with a selection writes the value to the…menu · SW
- Once the done file exists, a non-empty selection file is…menu · SW
- The select payload carries mode=select, prompt, options,…menu · SW
- A summon arriving while a select/input request is still…menu · SW
What this rests on
Discussions
Discuss this with the proof team. Nothing changes in your audit automatically — you open a request and a staff member records any outcome inside the thread.