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.
Super [+Alt] + Space not working
Reported by ghost · filed Oct 20, 2025Closed upstream on 2025-10-20. 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
ASUS ZenBook 14 OLED
What's wrong?
Super + Alt + Space not working.
I get this:
~ ❯ omarchy-menu
make sure 'walker --gapplication-service' is running!
connecting to elephant...
waiting for elephant to start...
connected.
thread 'main' panicked at src/ui/window.rs:970:36:
couldn't get theme: omarchy-default
note: run with RUST_BACKTRACE=1 environment variable to display a backtrace
thread 'main' panicked at library/core/src/panicking.rs:225:5:
panic in a function that cannot unwind
stack backtrace:
0: 0x55db26d47dc2 - <unknown>
1: 0x55db26d6fd53 - <unknown>
2: 0x55db26d44c33 - <unknown>
3: 0x55db26d47c12 - <unknown>
4: 0x55db26d48f93 - <unknown>
5: 0x55db26d48d75 - <unknown>
6: 0x55db26d499a5 - <unknown>
7: 0x55db26d49706 - <unknown>
8: 0x55db26d482b9 - <unknown>
9: 0x55db26d493cd - <unknown>
10: 0x55db26d6db4d - <unknown>
11: 0x55db26d6dbe2 - <unknown>
12: 0x55db26d6dca5 - <unknown>
13: 0x55db26bfa4ff - <unknown>
14: 0x7f4895bb8f4d - <unknown>
15: 0x7f4895bba617 - <unknown>
16: 0x7f4895bba825 - g_main_context_iteration
17: 0x7f4895a6c756 - g_application_run
18: 0x55db26b7e297 - <unknown>
19: 0x55db26ba3625 - <unknown>
20: 0x55db26ba5a56 - <unknown>
21: 0x55db26bcf8fc - <unknown>
22: 0x55db26d3ed90 - <unknown>
23: 0x55db26ba5a14 - <unknown>
24: 0x7f4894a27675 - <unknown>
25: 0x7f4894a27729 - __libc_start_main
26: 0x55db26b51055 - <unknown>
27: 0x0 - <unknown>
thread caused non-unwinding panic. aborting.
/home/ektider/.local/share/omarchy/bin/omarchy-menu: line 469: 9993 Aborted (core dumped) walker -p "Launch…"
~ ✗
View raw text
### System details ASUS ZenBook 14 OLED ### What's wrong? Super + Alt + Space not working. I get this: ~ ❯ omarchy-menu make sure 'walker --gapplication-service' is running! connecting to elephant... waiting for elephant to start... connected. thread 'main' panicked at src/ui/window.rs:970:36: couldn't get theme: omarchy-default note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace thread 'main' panicked at library/core/src/panicking.rs:225:5: panic in a function that cannot unwind stack backtrace: 0: 0x55db26d47dc2 - <unknown> 1: 0x55db26d6fd53 - <unknown> 2: 0x55db26d44c33 - <unknown> 3: 0x55db26d47c12 - <unknown> 4: 0x55db26d48f93 - <unknown> 5: 0x55db26d48d75 - <unknown> 6: 0x55db26d499a5 - <unknown> 7: 0x55db26d49706 - <unknown> 8: 0x55db26d482b9 - <unknown> 9: 0x55db26d493cd - <unknown> 10: 0x55db26d6db4d - <unknown> 11: 0x55db26d6dbe2 - <unknown> 12: 0x55db26d6dca5 - <unknown> 13: 0x55db26bfa4ff - <unknown> 14: 0x7f4895bb8f4d - <unknown> 15: 0x7f4895bba617 - <unknown> 16: 0x7f4895bba825 - g_main_context_iteration 17: 0x7f4895a6c756 - g_application_run 18: 0x55db26b7e297 - <unknown> 19: 0x55db26ba3625 - <unknown> 20: 0x55db26ba5a56 - <unknown> 21: 0x55db26bcf8fc - <unknown> 22: 0x55db26d3ed90 - <unknown> 23: 0x55db26ba5a14 - <unknown> 24: 0x7f4894a27675 - <unknown> 25: 0x7f4894a27729 - __libc_start_main 26: 0x55db26b51055 - <unknown> 27: 0x0 - <unknown> thread caused non-unwinding panic. aborting. /home/ektider/.local/share/omarchy/bin/omarchy-menu: line 469: 9993 Aborted (core dumped) walker -p "Launch…" ~ ✗
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.