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.
WebApps are not removed using walker 'remove - webapps' feature
Reported by FlameHorizon · filed Sep 12, 2025Closed upstream on 2025-09-14 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
System details
AMD Ryzen 9 7900X, NVIDIA GeForce GTX 970, Omarchy v2.1.2
What's wrong?
Hello,
I wanted to remove X web application using Walker. But application is still available when pressing Super + X.
Repo steps:
- Open walker
- Go to Remove > Web App
- Select (using x key) X application.
- Press enter to confirm.
- Open Walker > Remove > Web App again to confirm that it is no longer on the list
Expected result:
- X Web App is not longer on the system
- Super + X no longer start X Web App.
Actual result:
- X Web App is still functions under Super + X. Even though, it is not on the Web Apps list.
Fastfetch details:
┌──────────────────────Hardware──────────────────────┐
PC: B650M Pro RS
│ ├: AMD Ryzen 9 7900X (24) @ 5.74 GHz
│ ├: NVIDIA GeForce GTX 970 [Discrete]
│ ├: AMD Raphael [Integrated]
│ ├: 2560x1440 in 27", 60 Hz [External]
│ ├: 1080x1920 in 24", 60 Hz [External]
│ ├: 51.11 GiB / 951.85 GiB (5%) - btrfs
│ ├: 2.64 GiB / 61.88 GiB (4%)
└ └ : 0 B / 4.00 GiB (0%)
└────────────────────────────────────────────────────┘
┌──────────────────────Software──────────────────────┐
OS: Omarchy v2.1.2
│ ├: master
│ ├: Linux 6.16.6-arch1-1
│ ├: Hyprland 0.51.0 (Wayland)
│ ├: alacritty 0.15.1
│ ├: 960 (pacman)
│ ├: Everforest ●●●●●●●●
└ └: alacritty (14pt)
└────────────────────────────────────────────────────┘View raw text
### System details AMD Ryzen 9 7900X, NVIDIA GeForce GTX 970, Omarchy v2.1.2 ### What's wrong? Hello, I wanted to remove X web application using Walker. But application is still available when pressing `Super + X`. Repo steps: - Open walker - Go to Remove > Web App - Select (using `x` key) X application. - Press enter to confirm. - Open Walker > Remove > Web App again to confirm that it is no longer on the list Expected result: - X Web App is not longer on the system - `Super + X` no longer start X Web App. Actual result: - X Web App is still functions under `Super + X`. Even though, it is not on the Web Apps list. Fastfetch details: ``` ┌──────────────────────Hardware──────────────────────┐ PC: B650M Pro RS │ ├: AMD Ryzen 9 7900X (24) @ 5.74 GHz │ ├: NVIDIA GeForce GTX 970 [Discrete] │ ├: AMD Raphael [Integrated] │ ├: 2560x1440 in 27", 60 Hz [External] │ ├: 1080x1920 in 24", 60 Hz [External] │ ├: 51.11 GiB / 951.85 GiB (5%) - btrfs │ ├: 2.64 GiB / 61.88 GiB (4%) └ └ : 0 B / 4.00 GiB (0%) └────────────────────────────────────────────────────┘ ┌──────────────────────Software──────────────────────┐ OS: Omarchy v2.1.2 │ ├: master │ ├: Linux 6.16.6-arch1-1 │ ├: Hyprland 0.51.0 (Wayland) │ ├: alacritty 0.15.1 │ ├: 960 (pacman) │ ├: Everforest ●●●●●●●● └ └: alacritty (14pt) └────────────────────────────────────────────────────┘ ```
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.