Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA 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.
System menu stacks when triggered multiple times or after other menu is open
Reported by JavierBertolino · filed Aug 9, 2025Closed upstream on 2025-08-10 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
At a glance
- 1 · What is claimed?
- Only the report text below — no validator has restated it as checkable claims yet.
- 2 · What does it affect?
- Not yet mapped to any requirement or component.
- 3 · Is it reproducible?
- No validation has been run yet.
- 4 · What remains unclear?
- Not validated yet: no claims, no reproducer.
- 5 · What happens next?
- Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.
Original report
When triggering theSystem menu (which uses Walker) via SUPER + ESC especially while another menu (or the same one) is still open causes multiple Walker instances to stack. This results in:
- The prompt sometimes showing "Go…" instead of "System…".
- Menu item results appearing replicated multiple times when searching for a term
It appears that Walker does not enforce a single-instance UI, so repeated bindd triggers spawn new processes without closing the existing one.
Video evidence
https://github.com/user-attachments/assets/b68a861f-e395-4e75-9f0c-f51487d999df
Environment
<img width="838" height="627" alt="Image" src="https://github.com/user-attachments/assets/863dfd82-c3d7-485b-944c-002455d43f84" />
Steps to reproduce:
1. Open the system menu with SUPER + ESC
2. Press again SUPER + ESC and you will see how the placeholder changes from "System…" to "Go…"
3. Search for a term like "Suspend" and notice how it appears multiple times
View raw text
When triggering theSystem menu (which uses Walker) via SUPER + ESC especially while another menu (or the same one) is still open causes multiple Walker instances to stack. This results in: - The prompt sometimes showing "Go…" instead of "System…". - Menu item results appearing replicated multiple times when searching for a term It appears that Walker does not enforce a single-instance UI, so repeated bindd triggers spawn new processes without closing the existing one. Video evidence https://github.com/user-attachments/assets/b68a861f-e395-4e75-9f0c-f51487d999df Environment <img width="838" height="627" alt="Image" src="https://github.com/user-attachments/assets/863dfd82-c3d7-485b-944c-002455d43f84" /> Steps to reproduce: 1. Open the system menu with SUPER + ESC 2. Press again SUPER + ESC and you will see how the placeholder changes from "System…" to "Go…" 3. Search for a term like "Suspend" and notice how it appears multiple times
- b68a861f-e395-4e75-9f0c-f51487d999df
- 863dfd82-c3d7-485b-944c-002455d43f84
Validation
Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.
Linked
Not linked to any known issue, other report or change yet.
Decision
Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.
No decision has been recorded yet.