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.
Wifi adapter not detecting
Reported by Sabadon · filed Oct 7, 2025Closed upstream on 2025-10-11 by its own reporter Sabadon. 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
Thinkpad T14s gen 3 Ryezn 5 PRO 6650u, Omarchy v3.0.2
What's wrong?
Network controller:
MEDIATEK Corp. MT7922 802.11ax PCI Express Wireless Network Adapter
Problem:
When I click the Wi-Fi icon in the top bar, nothing happens. When I try to open Impala, I get the error "No adapter found."
The iwd service is running.
When I run lspci -k I see that the driver is there:
01:00.0 Network controller: MEDIATEK Corp. MT7922 802.11ax PCI Express Wireless Network Adapter
Subsystem: Lenovo Device e0c7
Kernel driver in use: mt7921e
Kernel modules: mt7921eThe logs from sudo journalctl -k | grep -i mt7921e only show the following information:
kernel: mt7921e 0000:01:00.0: enabling device (0000 -> 0002)
kernel: mt7921e 0000:01:00.0: ASIC revision: 79220010
kernel: mt7921e 0000:01:00.0: HW/SW Version: 0x8a108a10, Build Time: 20250903123148a
kernel: mt7921e 0000:01:00.0: WM Firmware Version: ____000000, Build Time: 20250903123243
kernel: mt7921e 0000:01:00.0: Message 0004005c (seq 12) timeout
kernel: mt7921e 0000:01:00.0: HW/SW Version: 0x8a108a10, Build Time: 20250903123148a
kernel: mt7921e 0000:01:00.0: WM Firmware Version: ____000000, Build Time: 20250903123243
kernel: mt7921e 0000:01:00.0: Message 0004005c (seq 11) timeout
kernel: mt7921e 0000:01:00.0: HW/SW Version: 0x8a108a10, Build Time: 20250903123148a
kernel: mt7921e 0000:01:00.0: WM Firmware Version: ____000000, Build Time: 20250903123243Firmware files are present in /lib/firmware/mediatek
View raw text
### System details
Thinkpad T14s gen 3 Ryezn 5 PRO 6650u, Omarchy v3.0.2
### What's wrong?
**Network controller:**
MEDIATEK Corp. MT7922 802.11ax PCI Express Wireless Network Adapter
**Problem:**
When I click the Wi-Fi icon in the top bar, nothing happens. When I try to open Impala, I get the error "No adapter found."
The iwd service is running.
When I run `lspci -k` I see that the driver is there:
```
01:00.0 Network controller: MEDIATEK Corp. MT7922 802.11ax PCI Express Wireless Network Adapter
Subsystem: Lenovo Device e0c7
Kernel driver in use: mt7921e
Kernel modules: mt7921e
```
The logs from `sudo journalctl -k | grep -i mt7921e` only show the following information:
```
kernel: mt7921e 0000:01:00.0: enabling device (0000 -> 0002)
kernel: mt7921e 0000:01:00.0: ASIC revision: 79220010
kernel: mt7921e 0000:01:00.0: HW/SW Version: 0x8a108a10, Build Time: 20250903123148a
kernel: mt7921e 0000:01:00.0: WM Firmware Version: ____000000, Build Time: 20250903123243
kernel: mt7921e 0000:01:00.0: Message 0004005c (seq 12) timeout
kernel: mt7921e 0000:01:00.0: HW/SW Version: 0x8a108a10, Build Time: 20250903123148a
kernel: mt7921e 0000:01:00.0: WM Firmware Version: ____000000, Build Time: 20250903123243
kernel: mt7921e 0000:01:00.0: Message 0004005c (seq 11) timeout
kernel: mt7921e 0000:01:00.0: HW/SW Version: 0x8a108a10, Build Time: 20250903123148a
kernel: mt7921e 0000:01:00.0: WM Firmware Version: ____000000, Build Time: 20250903123243
```
Firmware files are present in /lib/firmware/mediatekValidation
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.