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.
Upgrade Bug: Leftover 10-iwd-backend.conf breaks Wi-Fi on Quattro 4 Beta (migrating from 3.8.4)
Reported by rfmyrick · filed Aug 7, 2026Closed upstream on 2026-08-07 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
HP ZBOOK Ultra G1A, RYZEN AI MAX+ Pro 395, Omarchy 3.8.4
What's wrong?
Upgrade Bug: Leftover 10-iwd-backend.conf breaks Wi-Fi on Quattro 4 Beta (migrating from 3.8.4)
Description
After upgrading from Omarchy 3.8.4 to the Quattro 4 Beta, the wireless interface becomes completely unusable. The system moves from the legacy iwd stack to NetworkManager, but a stale configuration fragment drops the Wi-Fi card into an unrecoverable unavailable / DOWN loop.
Root Cause
The upgrade process leaves behind the /etc/NetworkManager/conf.d/10-iwd-backend.conf file from version 3.8.4. This file explicitly instructs NetworkManager to use iwd as its backend. However, because iwd.service is purged or deprecated during the Quattro 4 transition, NetworkManager hangs indefinitely waiting for a missing daemon, rendering the wireless hardware unavailable.
Environment
- Previous OS Version: Omarchy 3.8.4
- Target OS Version: Omarchy Quattro 4 Beta
- Network Manager: NetworkManager (systemd)
- Affected Hardware Example: Intel Wireless (e.g., driver mapping to
wlp193s0)
Steps to Reproduce
- Run the system upgrade from Omarchy 3.8.4 to Quattro 4 Beta.
- Reboot the machine post-upgrade.
- Check network interface status with
ip a(shows wireless link asDOWN). - Check NetworkManager status with
nmcli device status(shows wireless interface asunavailable).
Diagnostic Outputs (Before Fix)
- Running
systemctl status iwdreturns:
Unit iwd.service could not be found.- Running
nmcli device statusshows:
DEVICE TYPE STATE CONNECTION
wlp193s0 wifi unavailable --Proposed Resolution / Fix for the Upgrade Script
The Quattro 4 upgrade cleanup routine needs to explicitly remove or deprecate old backend configuration fragments. Adding a removal step for the stale configuration file solves the deadlock:
# Suggested addition to the post-upgrade/migration script
if [ -f /etc/NetworkManager/conf.d/10-iwd-backend.conf ]; then
rm /etc/NetworkManager/conf.d/10-iwd-backend.conf
fiTemporary Workaround for Users
Manually deleting the file, enabling the default supplicant, and restarting the network stack resolves the issue immediately:
sudo rm /etc/NetworkManager/conf.d/10-iwd-backend.conf
sudo systemctl enable --now wpa_supplicant
sudo systemctl restart NetworkManager
sudo ip link set wlp193s0 upView raw text
### System details
HP ZBOOK Ultra G1A, RYZEN AI MAX+ Pro 395, Omarchy 3.8.4
### What's wrong?
# Upgrade Bug: Leftover `10-iwd-backend.conf` breaks Wi-Fi on Quattro 4 Beta (migrating from 3.8.4)
### Description
After upgrading from Omarchy 3.8.4 to the Quattro 4 Beta, the wireless interface becomes completely unusable. The system moves from the legacy `iwd` stack to `NetworkManager`, but a stale configuration fragment drops the Wi-Fi card into an unrecoverable `unavailable` / `DOWN` loop.
### Root Cause
The upgrade process leaves behind the `/etc/NetworkManager/conf.d/10-iwd-backend.conf` file from version 3.8.4. This file explicitly instructs NetworkManager to use `iwd` as its backend. However, because `iwd.service` is purged or deprecated during the Quattro 4 transition, NetworkManager hangs indefinitely waiting for a missing daemon, rendering the wireless hardware unavailable.
### Environment
* **Previous OS Version:** Omarchy 3.8.4
* **Target OS Version:** Omarchy Quattro 4 Beta
* **Network Manager:** NetworkManager (systemd)
* **Affected Hardware Example:** Intel Wireless (e.g., driver mapping to `wlp193s0`)
### Steps to Reproduce
1. Run the system upgrade from Omarchy 3.8.4 to Quattro 4 Beta.
2. Reboot the machine post-upgrade.
3. Check network interface status with `ip a` (shows wireless link as `DOWN`).
4. Check NetworkManager status with `nmcli device status` (shows wireless interface as `unavailable`).
### Diagnostic Outputs (Before Fix)
* Running `systemctl status iwd` returns:
```text
Unit iwd.service could not be found.
```
* Running `nmcli device status` shows:
```text
DEVICE TYPE STATE CONNECTION
wlp193s0 wifi unavailable --
```
### Proposed Resolution / Fix for the Upgrade Script
The Quattro 4 upgrade cleanup routine needs to explicitly remove or deprecate old backend configuration fragments. Adding a removal step for the stale configuration file solves the deadlock:
```bash
# Suggested addition to the post-upgrade/migration script
if [ -f /etc/NetworkManager/conf.d/10-iwd-backend.conf ]; then
rm /etc/NetworkManager/conf.d/10-iwd-backend.conf
fi
```
### Temporary Workaround for Users
Manually deleting the file, enabling the default supplicant, and restarting the network stack resolves the issue immediately:
```bash
sudo rm /etc/NetworkManager/conf.d/10-iwd-backend.conf
sudo systemctl enable --now wpa_supplicant
sudo systemctl restart NetworkManager
sudo ip link set wlp193s0 up
```
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.