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

MacBookPro12,1 (2015): CS4208 woofers silent; Air pin map + ACP 4.0 dead analog

Reported by TRIBUSeric · filed Sep 17, 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

MacBookPro12,1 (2015): CS4208 woofers silent; Air pin map + ACP 4.0 dead analogrevision 1 · captured 2026-09-28 21:23 UTC via poll

Summary

On a 2015 13\" MacBook Pro (MacBookPro12,1) running Omarchy 4.0.4 / kernel 7.2.5-3-omarchy, internal tweeters work and internal woofers do not. Sound is thin/tinny. This is the same class of hardware quirk Omarchy already ships for other machines (e.g. install/hardware/lenovo/fix-yoga-pro7-bass-speakers.sh).

Hardware

  • DMI: MacBookPro12,1
  • Codec: Cirrus Logic CS4208 (0x10134208), subsystem 0x106b7b00
  • HDA controller: Intel Wildcat Point-LP 8086:9ca0, PCI subsystem `8086:7270`
  • Four drivers: L/R tweeters (DAC 0x03 → pin 0x12) and L/R woofers (DAC 0x04 → pin 0x13)

Root cause (kernel)

snd-hda-codec-cs420x matches PCI ID 8086:7270 as MacBook Air 7,2 and applies the MBA6 pin table, which sets pin 0x13 to 0x500000f0 (disabled). Tweeters-only is why it sounds tinny.

The same driver table has MacBookPro 12,1 → CS4208_MBP11 keyed on codec SSID 106b:7b00, but snd_hda_pick_fixup() uses PCI lookup, so MBA6 wins.

BIOS pin for the woofers is 0x13 0x90100112.

What we tried (isolated)

SetupResult
Stock analog-stereo (MBA6 pins)Tweeters only. Works, tinny.
Enable pin 0x13 (0x90100112 or 0x90100140), analog-stereo, Bass Speaker 100%Mixer/DAC 0x04 looks active (D0, unmuted, stream assigned). No audible bass. 200 Hz with tweeters muted: silence. 4 kHz: tweeters work.
output:analog-surround-40 (api.alsa.path=surround40:1), Master up, no pin reconfigBoth DACs look active. Complete silence (even tweeters). Not a PipeWire crash; converters were running.
aplay -D hw:PCH,0 4-channel, energy only on ch2/ch3 (woofers)PipeWire stopped. User reported a possible faint low tone. Worth treating hw: 4ch as a different path from ACP surround40.

GPIO0 (speaker EAPD) is on whenever tweeters work. Enabling GPIO1 as well did not make muted-tweeter 200 Hz audible.

Suggested Omarchy workaround

Same pattern as the Yoga bass-speaker install hook: match MacBookPro12,1 and ship:

  1. HDA firmware patch restoring pin 0x13 (woofers present in mixer).
  2. Do not select ACP analog-surround-40 on this codec — it is analog-silent even when DACs look busy.
  3. Stay on analog-stereo for tweeters until a working 4ch `hw:` (not surround40) path is proven.
  4. Optional: document that macOS-style crossover/EQ is still missing.

Happy to turn this into install/hardware/apple/fix-mbp12-speakers.sh if you want the hook.

Upstream

The durable fix is in sound/hda/codecs/cirrus/cs420x.c: cs4208_mac_fixup_tbl should match codec SSID 106b:7b00 for MacBookPro 12,1 instead of letting PCI 8086:7270 select MBA6. Extra DAC analog bring-up for pin 0x13 may still be required; exposing Bass Speaker / 4.0 is not enough on 7.2.

System

  • Omarchy 4.0.4-1
  • linux-omarchy 7.2.5-3
  • PipeWire 1.6.x, analog-stereo default
View raw text
## Summary

On a 2015 13\" MacBook Pro (`MacBookPro12,1`) running Omarchy 4.0.4 / kernel `7.2.5-3-omarchy`, internal **tweeters work** and internal **woofers do not**. Sound is thin/tinny. This is the same class of hardware quirk Omarchy already ships for other machines (e.g. `install/hardware/lenovo/fix-yoga-pro7-bass-speakers.sh`).

## Hardware

- DMI: `MacBookPro12,1`
- Codec: Cirrus Logic CS4208 (`0x10134208`), subsystem `0x106b7b00`
- HDA controller: Intel Wildcat Point-LP `8086:9ca0`, **PCI subsystem `8086:7270`**
- Four drivers: L/R tweeters (DAC `0x03` → pin `0x12`) and L/R woofers (DAC `0x04` → pin `0x13`)

## Root cause (kernel)

`snd-hda-codec-cs420x` matches PCI ID `8086:7270` as **MacBook Air 7,2** and applies the **MBA6 pin table**, which sets pin `0x13` to `0x500000f0` (disabled). Tweeters-only is why it sounds tinny.

The same driver table has `MacBookPro 12,1` → `CS4208_MBP11` keyed on **codec SSID** `106b:7b00`, but `snd_hda_pick_fixup()` uses **PCI** lookup, so MBA6 wins.

BIOS pin for the woofers is `0x13 0x90100112`.

## What we tried (isolated)

| Setup | Result |
|---|---|
| Stock analog-stereo (MBA6 pins) | Tweeters only. Works, tinny. |
| Enable pin `0x13` (`0x90100112` or `0x90100140`), analog-stereo, Bass Speaker 100% | Mixer/DAC `0x04` looks active (D0, unmuted, stream assigned). **No audible bass.** 200 Hz with tweeters muted: silence. 4 kHz: tweeters work. |
| `output:analog-surround-40` (`api.alsa.path=surround40:1`), Master up, no pin reconfig | Both DACs look active. **Complete silence** (even tweeters). Not a PipeWire crash; converters were running. |
| `aplay -D hw:PCH,0` 4-channel, energy only on ch2/ch3 (woofers) | PipeWire stopped. User reported a **possible faint low tone**. Worth treating `hw:` 4ch as a different path from ACP `surround40`. |

GPIO0 (speaker EAPD) is on whenever tweeters work. Enabling GPIO1 as well did not make muted-tweeter 200 Hz audible.

## Suggested Omarchy workaround

Same pattern as the Yoga bass-speaker install hook: match `MacBookPro12,1` and ship:

1. HDA firmware patch restoring pin `0x13` (woofers present in mixer).
2. **Do not** select ACP `analog-surround-40` on this codec — it is analog-silent even when DACs look busy.
3. Stay on analog-stereo for tweeters until a working 4ch **`hw:`** (not `surround40`) path is proven.
4. Optional: document that macOS-style crossover/EQ is still missing.

Happy to turn this into `install/hardware/apple/fix-mbp12-speakers.sh` if you want the hook.

## Upstream

The durable fix is in `sound/hda/codecs/cirrus/cs420x.c`: `cs4208_mac_fixup_tbl` should match **codec SSID** `106b:7b00` for MacBookPro 12,1 instead of letting PCI `8086:7270` select MBA6. Extra DAC analog bring-up for pin `0x13` may still be required; exposing Bass Speaker / 4.0 is not enough on 7.2.

## System

- Omarchy 4.0.4-1
- `linux-omarchy` 7.2.5-3
- PipeWire 1.6.x, analog-stereo default

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 14:43 UTC