Proof Portal

Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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.

Inbox
ReportR-799GitHub issuePublicDecided· Out of scope

Wi-Fi becomes unusable while still connected — RTL8723DE / rtw88_8723de

Reported by sudo-WearTherinG · filed Sep 8, 2026 · open at source

Decided: Out of scope — decided by agents · verified 3 days ago.

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?
AreaOutside the audited area· Decided by agents · verified
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?
Decided by agents and verified by a second, independent agent — see the decision.

Original report

Wi-Fi becomes unusable while still connected — RTL8723DE / rtw88_8723derevision 1 · captured 2026-09-28 21:23 UTC via poll

System details

OS: Omarchy 4.0.3-1

What's wrong?

Hi Omarchy team,

I'm having a recurring Wi-Fi issue on Omarchy and would appreciate some help diagnosing it properly.

This is the only significant issue I've experienced with Omarchy so far.

Problem

While using the system, Wi-Fi will randomly become almost completely unusable even though NetworkManager still shows the connection as active.

When this happens:

Internet speed drops significantly.
Ping becomes extremely high.
Connections eventually time out / reach 100% packet loss.
Wi-Fi still appears as connected.
The problem can occur during normal use without any obvious trigger.

A normal restart can also leave Wi-Fi unavailable. However, doing a complete shutdown and then powering the machine back on consistently brings Wi-Fi back.

Hardware / driver

My Wi-Fi adapter is:

Realtek RTL8723DE 802.11b/g/n PCIe Adapter
PCI ID: 10ec:d723

Driver:

rtw88_8723de

Interface:

wlo1

Current healthy connection

When working normally:

Signal: -51 dBm
RX bitrate: 65.0 MBit/s
TX bitrate: 72.2 MBit/s

Router ping is also stable:

20 packets transmitted, 20 received, 0% packet loss
rtt min/avg/max/mdev = 0.823/1.010/2.057/0.248 ms

Internet connectivity is also normal when the problem isn't occurring:

1.1.1.1: 0% packet loss
average ping: ~5.6 ms

Relevant logs

The driver initializes with:

rtw88_8723de 0000:02:00.0: Firmware version 48.0.0, H2C version 0
rtw88_8723de 0000:02:00.0 wlo1: renamed from wlan0

NetworkManager also detects the adapter normally and reports:

driver rtw88_8723de
Wi-Fi hardware radio set enabled

I'm also seeing Omarchy-specific NetworkManager configuration:

/etc/NetworkManager/conf.d/{omarchy-wifi-powersave.conf,wifi-powersave-off.conf}

What I'm looking for

Could someone from the Omarchy/Linux networking side advise me on the proper way to diagnose and fix this?

In particular, I'm wondering whether this is a known issue with:

rtw88_8723de
RTL8723DE firmware
Wi-Fi power management
NetworkManager configuration
suspend/resume or device reset behavior
Omarchy's Wi-Fi configuration

I don't want to randomly change driver or power-management settings without knowing what the intended configuration is.

I'm happy to provide additional logs from the exact moment the Wi-Fi fails if that would help.

Thanks! Omarchy has otherwise been working great for me, so I'd really like to get this one issue figured out.

View raw text
### System details

OS: Omarchy 4.0.3-1

### What's wrong?

Hi Omarchy team,

I'm having a recurring Wi-Fi issue on Omarchy and would appreciate some help diagnosing it properly.

This is the only significant issue I've experienced with Omarchy so far.

Problem

While using the system, Wi-Fi will randomly become almost completely unusable even though NetworkManager still shows the connection as active.

When this happens:

Internet speed drops significantly.
Ping becomes extremely high.
Connections eventually time out / reach 100% packet loss.
Wi-Fi still appears as connected.
The problem can occur during normal use without any obvious trigger.

A normal restart can also leave Wi-Fi unavailable. However, doing a complete shutdown and then powering the machine back on consistently brings Wi-Fi back.

Hardware / driver

My Wi-Fi adapter is:

Realtek RTL8723DE 802.11b/g/n PCIe Adapter
PCI ID: 10ec:d723


Driver:

rtw88_8723de


Interface:

wlo1

Current healthy connection

When working normally:

Signal: -51 dBm
RX bitrate: 65.0 MBit/s
TX bitrate: 72.2 MBit/s


Router ping is also stable:

20 packets transmitted, 20 received, 0% packet loss
rtt min/avg/max/mdev = 0.823/1.010/2.057/0.248 ms


Internet connectivity is also normal when the problem isn't occurring:

1.1.1.1: 0% packet loss
average ping: ~5.6 ms

Relevant logs

The driver initializes with:

rtw88_8723de 0000:02:00.0: Firmware version 48.0.0, H2C version 0
rtw88_8723de 0000:02:00.0 wlo1: renamed from wlan0


NetworkManager also detects the adapter normally and reports:

driver rtw88_8723de
Wi-Fi hardware radio set enabled


I'm also seeing Omarchy-specific NetworkManager configuration:

/etc/NetworkManager/conf.d/{omarchy-wifi-powersave.conf,wifi-powersave-off.conf}

What I'm looking for

Could someone from the Omarchy/Linux networking side advise me on the proper way to diagnose and fix this?

In particular, I'm wondering whether this is a known issue with:

rtw88_8723de
RTL8723DE firmware
Wi-Fi power management
NetworkManager configuration
suspend/resume or device reset behavior
Omarchy's Wi-Fi configuration

I don't want to randomly change driver or power-management settings without knowing what the intended configuration is.

I'm happy to provide additional logs from the exact moment the Wi-Fi fails if that would help.

Thanks! Omarchy has otherwise been working great for me, so I'd really like to get this one issue figured out.

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.

  • Out of scopeDecided by agents · verified · 2026-10-09 11:14 UTC