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.
Turning off Bluetooth from the panel makes the adapter disappear ("No bluetooth adapter") until Update > Hardware > Bluetooth reload
Reported by SamuelCarriles · filed Sep 3, 2026Closed upstream on 2026-09-04 by its own reporter SamuelCarriles. GitHub close reason: completed. Closed by its own reporter — not by itself 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
Intel Core i7-8750H, NVIDIA Quadro P1000 Mobile, Omarchy 4.0.2-1 (Lenovo ThinkPad P52)
What's wrong?
Disabling Bluetooth from the panel doesn't just turn the radio off, the Bluetooth icon disappears entirely from the top bar. With no icon left to click, the only way back into the panel is the keybinding (Ctrl+Super+B). Once reopened that way, the panel shows "No bluetooth adapter" instead of a way to power it back on, the adapter itself appears to have become undetected, not just powered off.
Steps to reproduce:
1. Open the Bluetooth panel
2. Toggle Bluetooth off
3. Notice the Bluetooth icon disappears from the top bar
4. Reopen the panel via the keybinding (Ctrl+Super+B), since there's no icon left to click
5. Panel shows "No bluetooth adapter" (no toggle to re-enable)
Expected behavior:
The Bluetooth icon should remain in the bar (showing a disabled/off state) so the panel stays reachable by mouse, and the panel should still detect the adapter and offer a way to power it back on, without requiring a manual subsystem reload.
Workaround:
Running Update > Hardware > Bluetooth from the Omarchy menu reloads the subsystem, and both the icon and the adapter reappear correctly.
This is the output of omarchy-debug: https://logs.omarchy.org/9DWOy1
View raw text
### System details Intel Core i7-8750H, NVIDIA Quadro P1000 Mobile, Omarchy 4.0.2-1 (Lenovo ThinkPad P52) ### What's wrong? Disabling Bluetooth from the panel doesn't just turn the radio off, the Bluetooth icon disappears entirely from the top bar. With no icon left to click, the only way back into the panel is the keybinding (Ctrl+Super+B). Once reopened that way, the panel shows "No bluetooth adapter" instead of a way to power it back on, the adapter itself appears to have become undetected, not just powered off. Steps to reproduce: 1. Open the Bluetooth panel 2. Toggle Bluetooth off 3. Notice the Bluetooth icon disappears from the top bar 4. Reopen the panel via the keybinding (Ctrl+Super+B), since there's no icon left to click 5. Panel shows "No bluetooth adapter" (no toggle to re-enable) Expected behavior: The Bluetooth icon should remain in the bar (showing a disabled/off state) so the panel stays reachable by mouse, and the panel should still detect the adapter and offer a way to power it back on, without requiring a manual subsystem reload. Workaround: Running Update > Hardware > Bluetooth from the Omarchy menu reloads the subsystem, and both the icon and the adapter reappear correctly. This is the output of omarchy-debug: https://logs.omarchy.org/9DWOy1
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.