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.
(dev channel) Failed update: migration 1789433473 USB authorization
Reported by Jon-5 · filed Oct 9, 2026Closed upstream on 2026-10-09 by its own reporter Jon-5. 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
~ ✗ omarchy setup security usb authorization --yes
USB authorization installation is incomplete: /usr/share/omarchy/install/helpers/usb-authorization-policy.sh
~ ✗ omarchy setup security usb authorization --help
Usage:
omarchy setup security usb authorization [--boot] [--yes] [--review-existing]
Ask before new USB devices can access the system
Arguments:
[--boot] [--yes] [--review-existing]
Binary:
omarchy-setup-security-usb-authorization
~ ❯ omarchy setup security usb authorization --review-existing
/home/jon/omarchy/bin/omarchy-setup-security-usb-authorization: line 55: usbguard: command not foundI used yay to install [extra](https://archlinux.org/packages/extra/x86_64/usbguard)[/usbguard](https://archlinux.org/packages/extra/x86_64/usbguard) 1.1.4-11|
Re-running omarchy update still fails. Will try a reboot and retry.
Running migration (1789433473)
Enable approval for newly connected USB devices
USB authorization installation is incomplete: /usr/share/omarchy/install/helpers/usb-authorization-policy.sh
Something went wrong during the update!
Please review the output above carefully, correct the error, and retry the update.
If you need assistance, get help from the community at https://omarchy.org/discord
~ ✗ omarchy setup security usb authorization --review-existing
ERROR: IPC connect: service=usbguard: Connection refusedView raw text
https://github.com/omacom/omarchy/blob/2519fd9a97b78c7906330dbb8abdea49dd039983/migrations/1789433473.sh ```bash ~ ✗ omarchy setup security usb authorization --yes USB authorization installation is incomplete: /usr/share/omarchy/install/helpers/usb-authorization-policy.sh ~ ✗ omarchy setup security usb authorization --help Usage: omarchy setup security usb authorization [--boot] [--yes] [--review-existing] Ask before new USB devices can access the system Arguments: [--boot] [--yes] [--review-existing] Binary: omarchy-setup-security-usb-authorization ~ ❯ omarchy setup security usb authorization --review-existing /home/jon/omarchy/bin/omarchy-setup-security-usb-authorization: line 55: usbguard: command not found ``` I used `yay` to install `[extra](https://archlinux.org/packages/extra/x86_64/usbguard)[/usbguard](https://archlinux.org/packages/extra/x86_64/usbguard) 1.1.4-11`| Re-running `omarchy update` still fails. Will try a reboot and retry. ```bash Running migration (1789433473) Enable approval for newly connected USB devices USB authorization installation is incomplete: /usr/share/omarchy/install/helpers/usb-authorization-policy.sh Something went wrong during the update! Please review the output above carefully, correct the error, and retry the update. If you need assistance, get help from the community at https://omarchy.org/discord ~ ✗ omarchy setup security usb authorization --review-existing ERROR: IPC connect: service=usbguard: Connection refused ```
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
- Fixed bypr/14936· confirmed
- Fixed bypr/14937· confirmed
- Fixed bypr/14938· confirmed
- Fixed bypr/15091· confirmed
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.