Proof Portal

Sign in
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-2076GitHub issuePublicDecided· Out of scope

Macbook Pro 2020 WIFI Issues

Reported by trevorputbrese · filed Sep 19, 2025 · open at source

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

Macbook Pro 2020 WIFI Issuesrevision 1 · captured 2026-09-28 21:29 UTC via poll

System details

MacBook Pro (13-inch, 2020, Two Thunderbolt 3 ports)

What's wrong?

After installing Omarchy I am unable to connect to WiFi. When I enter the wifi password in the wifi UI, I get an error that says "Operation Failed" with some additional text I'm unable to read as the error flashes too briefly. I've done some basic troubleshooting with the help of ChatGPT. I suspect this may be a driver issue with BRCM wifi chip. Here's a quick summary of the issue and troubleshooting I've performed:

  1. When I run iwctl the immediate prompt shows NetworkConfigurationEnabled: disabled I've added a main.conf file in /etc/iwd/ with "EnableNetworkConfiguration=true". I then reran iwctl it now shows NetworkConfigurationEnabled: enabled. Oddly, the WIFI UI is no longer showing my networks after making this change. But when I reboot, the wifi UI now shows my networks again.
  1. In the 'iwctl' cli when I run station wlan0 scanI get "Operation Failed".
  1. When I run journalctl -u iwd I do see some errors. I posted a screenshot of the part of the log output below (from the last reboot).
  1. There's no rfkill blocks disabling wifi.
  1. Running dmesg | grep -iE 'wlan|brcm|b43|wl|firmware' shows some interesting errors like "Direct firmware load for brcm/brcm/fmac4377b3. . . . . failed with error -2". I posted another screenshot below showing the dmesg output.

!Image

!Image

View raw text
### System details

MacBook Pro (13-inch, 2020, Two Thunderbolt 3 ports)

### What's wrong?

After installing Omarchy I am unable to connect to WiFi.  When I enter the wifi password in the wifi UI, I get an error that says "Operation Failed" with some additional text I'm unable to read as the error flashes too briefly.   I've done some basic troubleshooting with the help of ChatGPT.  I suspect this may be a driver issue with BRCM wifi chip.  Here's a quick summary of the issue and troubleshooting I've performed:

1.  When I run `iwctl` the immediate prompt shows `NetworkConfigurationEnabled: disabled`  I've added a main.conf file in /etc/iwd/ with "EnableNetworkConfiguration=true".  I then reran `iwctl` it now shows `NetworkConfigurationEnabled: enabled`.   Oddly, the WIFI UI is no longer showing my networks after making this change.  But when I reboot, the wifi UI now shows my networks again.

2.  In the 'iwctl' cli when I run `station wlan0 scan`I get "Operation Failed".  

3.  When I run journalctl -u iwd I do see some errors.  I posted a screenshot of the part of the log output below (from the last reboot).

4.  There's no rfkill blocks disabling wifi.

5.  Running `dmesg | grep -iE 'wlan|brcm|b43|wl|firmware'` shows some interesting errors like "Direct firmware load for brcm/brcm/fmac4377b3. . . . .  failed with error -2".  I posted another screenshot below showing the dmesg output. 

![Image](https://github.com/user-attachments/assets/851c05bb-26f4-47e9-8514-c30470360eea)


![Image](https://github.com/user-attachments/assets/b6120575-abde-449d-9ef1-bdd7851e30ef)
  • Image
  • Image

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-08 23:51 UTC