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-1586GitHub issuePublicDecided· Out of scope

DHCPv4 received no offer until ipv4.dhcp-client-id was set to none

Reported by pjgeutjens · filed Aug 22, 2026 · open at source

Decided: Out of scope — decided by agents · verified 4 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

DHCPv4 received no offer until ipv4.dhcp-client-id was set to nonerevision 1 · captured 2026-09-28 21:24 UTC via poll

System details

  • Omarchy upgrade: 3.8.5 at commit f4378f0d to 4.0.0-1
  • NetworkManager: 1.58.0-1
  • Kernel: 7.1.8-arch1-3
  • Laptop: HP with Intel Wireless 8265 / 8275 using iwlwifi
  • Router: ISP-provided Telenet modem/router, model unknown
  • Both the 2.4 GHz and 5 GHz Wi-Fi connections showed the same problem

What happened

After upgrading to Quattro, the laptop connected to Wi-Fi and received a global IPv6 address and an IPv6 default route. It received no IPv4 address or IPv4 route.

The same laptop receives IPv4 from an iPhone hotspot. Other devices on the home network also receive IPv4. Changing Omarchy's DNS provider did not fix the missing lease.

The connection profile used automatic IPv4 configuration:

ipv4.method:          auto
ipv4.addresses:       --
ipv4.gateway:         --
ipv4.dhcp-client-id:  --

NetworkManager chose a client ID based on the Wi-Fi MAC address. It repeatedly sent DHCP DISCOVER messages, but received no OFFER:

ipv4.dhcp-client-id: no explicit client-id configured
client-id: set effective 01:[MAC REDACTED]
event: send DISCOVER to 255.255.255.255
event: send DISCOVER to 255.255.255.255
event: send DISCOVER to 255.255.255.255

I then disabled the client ID for the connection:

sudo nmcli connection modify "<connection-name>" ipv4.dhcp-client-id none
sudo nmcli connection up "<connection-name>"

The next DHCP request received a lease:

ipv4.dhcp-client-id: set to "none"
event: send DISCOVER to 255.255.255.255
event: received OFFER of 192.168.0.192 from 192.168.0.1
event: send REQUEST of 192.168.0.192 to 255.255.255.255
event: received ACK of 192.168.0.192 from 192.168.0.1
state changed new lease, address=192.168.0.192

The setting remains active after reconnecting. The laptop currently has 192.168.0.192/24 and an IPv4 default route through 192.168.0.1.

Expected result

NetworkManager obtains an IPv4 lease with the default connection profile.

Actual result

NetworkManager received no DHCP OFFER with its automatically selected client ID. It received a lease on the next activation after ipv4.dhcp-client-id was set to none.

Additional context

I saw the same IPv6-only symptom on another Omarchy laptop on this network, although I did not repeat the client ID test on that machine.

This may depend on the router's DHCP implementation. I am reporting it to Omarchy because it appeared after the Quattro networking migration to NetworkManager. I do not know whether Omarchy should change a migration default or document the workaround. The reproducible result is that the DHCP lease arrived as soon as I disabled the client ID.

View raw text
### System details

- Omarchy upgrade: 3.8.5 at commit `f4378f0d` to 4.0.0-1
- NetworkManager: 1.58.0-1
- Kernel: 7.1.8-arch1-3
- Laptop: HP with Intel Wireless 8265 / 8275 using `iwlwifi`
- Router: ISP-provided Telenet modem/router, model unknown
- Both the 2.4 GHz and 5 GHz Wi-Fi connections showed the same problem

### What happened

After upgrading to Quattro, the laptop connected to Wi-Fi and received a global IPv6 address and an IPv6 default route. It received no IPv4 address or IPv4 route.

The same laptop receives IPv4 from an iPhone hotspot. Other devices on the home network also receive IPv4. Changing Omarchy's DNS provider did not fix the missing lease.

The connection profile used automatic IPv4 configuration:

```text
ipv4.method:          auto
ipv4.addresses:       --
ipv4.gateway:         --
ipv4.dhcp-client-id:  --
```

NetworkManager chose a client ID based on the Wi-Fi MAC address. It repeatedly sent DHCP DISCOVER messages, but received no OFFER:

```text
ipv4.dhcp-client-id: no explicit client-id configured
client-id: set effective 01:[MAC REDACTED]
event: send DISCOVER to 255.255.255.255
event: send DISCOVER to 255.255.255.255
event: send DISCOVER to 255.255.255.255
```

I then disabled the client ID for the connection:

```bash
sudo nmcli connection modify "<connection-name>" ipv4.dhcp-client-id none
sudo nmcli connection up "<connection-name>"
```

The next DHCP request received a lease:

```text
ipv4.dhcp-client-id: set to "none"
event: send DISCOVER to 255.255.255.255
event: received OFFER of 192.168.0.192 from 192.168.0.1
event: send REQUEST of 192.168.0.192 to 255.255.255.255
event: received ACK of 192.168.0.192 from 192.168.0.1
state changed new lease, address=192.168.0.192
```

The setting remains active after reconnecting. The laptop currently has `192.168.0.192/24` and an IPv4 default route through `192.168.0.1`.

### Expected result

NetworkManager obtains an IPv4 lease with the default connection profile.

### Actual result

NetworkManager received no DHCP OFFER with its automatically selected client ID. It received a lease on the next activation after `ipv4.dhcp-client-id` was set to `none`.

### Additional context

I saw the same IPv6-only symptom on another Omarchy laptop on this network, although I did not repeat the client ID test on that machine.

This may depend on the router's DHCP implementation. I am reporting it to Omarchy because it appeared after the [Quattro networking migration to NetworkManager](https://github.com/basecamp/omarchy/pull/6231). I do not know whether Omarchy should change a migration default or document the workaround. The reproducible result is that the DHCP lease arrived as soon as I disabled the client ID.

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 08:22 UTC