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

BCM43602 WiFi signal extremely weak (-90 dBm) on MacBook Pro 2015-2017

Reported by andyholst · filed Sep 13, 2026 · open at source

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

BCM43602 WiFi signal extremely weak (-90 dBm) on MacBook Pro 2015-2017revision 1 · captured 2026-09-28 21:23 UTC via poll

BCM43602 WiFi signal extremely weak (-90 dBm) on MacBook Pro 2015-2017

Hardware

  • MacBookPro13,3 (2016, 15" Touch Bar) and similar 2015-2017 models
  • Broadcom BCM43602 (PCI ID: 14e4:43ba, rev 02)
  • Omarchy 4.x / kernel 7.2.x

Problem

WiFi signal is extremely weak — -90 dBm at 1 meter from router. The card associates but the signal is unusable past ~1 meter.

$ iw dev wlp3s0 link
signal: -90 dBm
rx bitrate: 54.0 MBit/s
tx bitrate: 36.0 MBit/s

Root Cause

The brcmfmac driver loads a generic NVRAM config that lacks proper power amplifier settings and antenna gain parameters for the MacBook's hinge-antenna design.

What Didn't Fix It

  1. options brcmfmac feature_disable=0x82000 — fixes WPA handshake, NOT signal
  2. options cfg80211 ieee80211_regdom=US — fixes regulatory domain, NOT signal
  3. roamoff=1 — reduces scanning retries, NOT signal
  4. NVRAM config from Andy Holst (Bugzilla #193121) — helps channels, NOT signal

All help with connecting but NOT signal strength.

Solution

Install cristianmiranda's improved NVRAM config which has proper board flags, antenna gain, and power amplifier parameters specific to MacBookPro13,3:

curl -fLO https://gist.githubusercontent.com/cristianmiranda/ba9d64b4324f0803d9422d765de62252/raw/brcmfmac43602-pcie.txt
sed -i "s/^macaddr=.*/macaddr=$(cat /sys/class/net/wlp3s0/address)/" brcmfmac43602-pcie.txt
sudo install -Dm644 brcmfmac43602-pcie.txt /usr/lib/firmware/brcm/brcmfmac43602-pcie.txt
sudo limine-mkinitcpio
sudo reboot

Result

MetricBeforeAfter
Signal-90 dBm-58 dBm
5GHz speedUnusable360 MBit/s

32 dBm improvement — 5GHz now works reliably at full speed.

PR

https://github.com/omacom/omarchy/pull/11620

/cc @adamavenir (existing Broadcom fix in #1022)
/cc @andyholst (Bugzilla #193121 NVRAM config)

View raw text
# BCM43602 WiFi signal extremely weak (-90 dBm) on MacBook Pro 2015-2017

## Hardware

- MacBookPro13,3 (2016, 15" Touch Bar) and similar 2015-2017 models
- Broadcom BCM43602 (PCI ID: 14e4:43ba, rev 02)
- Omarchy 4.x / kernel 7.2.x

## Problem

WiFi signal is extremely weak — **-90 dBm** at 1 meter from router. The card associates but the signal is unusable past ~1 meter.

```
$ iw dev wlp3s0 link
signal: -90 dBm
rx bitrate: 54.0 MBit/s
tx bitrate: 36.0 MBit/s
```

## Root Cause

The `brcmfmac` driver loads a generic NVRAM config that lacks proper power amplifier settings and antenna gain parameters for the MacBook's hinge-antenna design.

## What Didn't Fix It

1. `options brcmfmac feature_disable=0x82000` — fixes WPA handshake, NOT signal
2. `options cfg80211 ieee80211_regdom=US` — fixes regulatory domain, NOT signal
3. `roamoff=1` — reduces scanning retries, NOT signal
4. NVRAM config from Andy Holst (Bugzilla #193121) — helps channels, NOT signal

All help with **connecting** but NOT **signal strength**.

## Solution

Install [cristianmiranda's improved NVRAM config](https://gist.github.com/cristianmiranda/ba9d64b4324f0803d9422d765de62252) which has proper board flags, antenna gain, and power amplifier parameters specific to MacBookPro13,3:

```bash
curl -fLO https://gist.githubusercontent.com/cristianmiranda/ba9d64b4324f0803d9422d765de62252/raw/brcmfmac43602-pcie.txt
sed -i "s/^macaddr=.*/macaddr=$(cat /sys/class/net/wlp3s0/address)/" brcmfmac43602-pcie.txt
sudo install -Dm644 brcmfmac43602-pcie.txt /usr/lib/firmware/brcm/brcmfmac43602-pcie.txt
sudo limine-mkinitcpio
sudo reboot
```

## Result

| Metric | Before | After |
|--------|--------|-------|
| Signal | -90 dBm | -58 dBm |
| 5GHz speed | Unusable | 360 MBit/s |

32 dBm improvement — 5GHz now works reliably at full speed.

## PR

https://github.com/omacom/omarchy/pull/11620

/cc @adamavenir (existing Broadcom fix in #1022)
/cc @andyholst (Bugzilla #193121 NVRAM config)

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 12:30 UTC