Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs73 findings · 87 requirements

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.

Back to findings
Known issueKI-MENU-KEYBINDINGS-STALE-LUA-CACHE

Warm keybindings cache serves a stale Lua command after the user edits only the command a __lua bind runs

OpenOpenMedium

Medium-severity issue, currently open.

Description

The issue as recorded.

keybindings_cache_key hashes a version literal, keymap lines and hyprctl binds only (bin/omarchy-menu-keybindings:541-546) - never the Lua source the scanner recovered the __lua rows from. A __lua row's arg is empty in hyprctl output, so a command-only edit leaves the hash unchanged. output_binding_records cats the warm cache (line 575), and the menu keeps dispatching the previous command until some other hash input changes.

Affected requirements

The requirement(s) this issue violates — click through to the spec.

SW-REQ-260922-0W96

Severity, explained

Why this is rated the way it is — and the scoring signals behind the rating (each ⓘ explains the term).

MediumRated severity — the impact if this issue is exploited or hit.
why this rating
Risk-rated
risk area
Correctness
Security classification
Not a security surface
CVE surface
None

How it's proven

The reproducer — an actual test that drives the real code and shows the issue happening. Run it yourself, or peek the test and the source it covers.

Known issue reproducedprofileknown_issue_reproducerprovesSW-REQ-260922-0W96
Reproducer test
Run it yourself
./pocs/crs-260930-jvx8-c03.sh
Covers (2)
Last run Sep 30, 2026, 11:02 PM

Reproduction steps

Technical steps for your engineers to confirm the issue by hand.

./pocs/crs-260930-jvx8-c03.sh

What protects you, and the fix

What limits your exposure today, and the planned remediation.

What protects you now

omarchy-menu keybindings --print forces the uncached path

The fix

Fold the Lua config content (or its hash) into keybindings_cache_key so source edits invalidate the cache

Blast radius

If you touch this issue, what else may need re-checking — the requirements it affects and the code and tests that hang off them. Historical view: authored trace links only — automatically derived links aren't reconstructible for past runs.

Tracing blast radius…

Touch this finding and you re-check 1 requirements · 1 code files · 1 tests.

Requirements (1)
SW-REQ-260922-0W96
Code files (1)
  • omarchy-menu-keybindings
Tests (1)
  • keybindings-menu-test.sh

Per-requirement evidence

For each requirement this finding touches: the implementing code, verifying tests, and proof obligations that discharge it.

SW-REQ-260922-0W96
Implementing code (1)
  • bin/omarchy-menu-keybindings
Tests & evidence (1)
  • test/shell.d/keybindings-menu-test.sh

Evidence trail

The raw evidence manifests behind this finding — superseded by the resolved reproducer above, kept here for traceability.

  • proof/evidence/ki-menu-keybindings-stale-lua-cache.yaml

Change history

Every recorded revision of this finding's source file — when it was added, edited, or re-classified, with the diff for each change.

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.

Sign in to discuss this with the proof team.Sign in