Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA 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.
Apple Silicon M1 Pro: built-in HDMI link teardown hangs Hyprland even at 1080p/60
Reported by lo-nau · filed Sep 15, 2026Closed upstream on 2026-10-08 by the bot omarchybot, as not planned.
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?
- Not yet mapped to any requirement or component.
- 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?
- Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.
Original report
What happened
On an Apple MacBook Pro (16-inch, M1 Pro, 2021), connecting a Philips 288E2 over the built-in HDMI port causes the external monitor to show No input and makes Hyprland/Omarchy unresponsive. The failure occurs both on hot-plug and after a cold boot with the monitor already connected.
The kernel initially detects the monitor and its 35 advertised modes. It then repeatedly tears down and recreates the Apple DP-to-HDMI link. apple-drm subsequently reports flip_done timed out / commit wait timed out; Hyprland becomes unresponsive, so a compositor-level DPMS recovery cannot run.
Expected
The HDMI output should stay connected and render normally, or the desktop should recover without hanging the active session.
Environment
- Omarchy
4.0.2-2 linux-asahi 7.1.13.asahi1-1(7.1.13-1-1-ARCH)- Hyprland
0.56.2-3 - Aquamarine
0.15.0-2 - MacBook Pro (16-inch, M1 Pro, 2021); extracted Apple firmware reports 13.5
- Built-in
HDMI-A-1(Apple's internal DP-to-HDMI bridge) - Philips 288E2 (detected as
Philips Consumer Electronics Company PHL 288E2), direct HDMI connection
omarchy debug --no-sudo --print is not available in this Omarchy release, so no debug bundle could be generated.
Reproduction
- Boot with the Philips monitor attached to the built-in HDMI port, or attach it to an active Omarchy session.
- The monitor reports No input shortly after detection; the desktop becomes unresponsive.
The same monitor works from Windows. Replacing the cable, power-cycling the monitor, cold-booting with it connected, and disabling third-party plugins did not change the failure.
1080p/60 fallback also fails
An explicit Hyprland rule was tested:
hl.monitor({ output = "HDMI-A-1", mode = "1920x1080@60", position = "auto", scale = 1 })The rule was applied by the driver, but did not prevent the link failure. The relevant sequence was:
09:03:50 apple-dcp ... dcp_hotplug() connected:1 valid_mode:0 nr_modes:35
09:03:50 apple-dcp ... set_digital_out_mode(...) "1920x1080": 60 ...
09:03:50 apple-dcp ... UnifiedPipeline::mode_set_gated(...): 1920x1080@60 Hz link: 1
09:03:51 apple-dcp ... DP2HDMI HPD irq, connected:0
09:03:53 apple-dcp ... dcp_hotplug() connected:1 valid_mode:0 nr_modes:35
09:04:03 apple-drm ... *ERROR* flip_done timed out
09:04:03 apple-drm ... *ERROR* [CRTC:58:crtc-1] commit wait timed outThe fallback rule was removed after the test.
Related reports
- #8946 describes a separate Apple-Silicon HDMI DPMS/hotplug loop. This report differs because it reproduces immediately at cold boot and persists at forced 1080p/60.
- #11909 has the same Philips display and visible no-input symptom on Intel/i915, but its DPMS reset recovers the output. Here the
apple-dcpfailure hangs Hyprland before that recovery can complete.
View raw text
## What happened
On an Apple MacBook Pro (16-inch, M1 Pro, 2021), connecting a Philips 288E2 over the built-in HDMI port causes the external monitor to show **No input** and makes Hyprland/Omarchy unresponsive. The failure occurs both on hot-plug and after a cold boot with the monitor already connected.
The kernel initially detects the monitor and its 35 advertised modes. It then repeatedly tears down and recreates the Apple DP-to-HDMI link. `apple-drm` subsequently reports `flip_done timed out` / `commit wait timed out`; Hyprland becomes unresponsive, so a compositor-level DPMS recovery cannot run.
## Expected
The HDMI output should stay connected and render normally, or the desktop should recover without hanging the active session.
## Environment
- Omarchy `4.0.2-2`
- `linux-asahi 7.1.13.asahi1-1` (`7.1.13-1-1-ARCH`)
- Hyprland `0.56.2-3`
- Aquamarine `0.15.0-2`
- MacBook Pro (16-inch, M1 Pro, 2021); extracted Apple firmware reports 13.5
- Built-in `HDMI-A-1` (Apple's internal DP-to-HDMI bridge)
- Philips 288E2 (detected as `Philips Consumer Electronics Company PHL 288E2`), direct HDMI connection
`omarchy debug --no-sudo --print` is not available in this Omarchy release, so no debug bundle could be generated.
## Reproduction
1. Boot with the Philips monitor attached to the built-in HDMI port, or attach it to an active Omarchy session.
2. The monitor reports **No input** shortly after detection; the desktop becomes unresponsive.
The same monitor works from Windows. Replacing the cable, power-cycling the monitor, cold-booting with it connected, and disabling third-party plugins did not change the failure.
## 1080p/60 fallback also fails
An explicit Hyprland rule was tested:
```lua
hl.monitor({ output = "HDMI-A-1", mode = "1920x1080@60", position = "auto", scale = 1 })
```
The rule was applied by the driver, but did not prevent the link failure. The relevant sequence was:
```text
09:03:50 apple-dcp ... dcp_hotplug() connected:1 valid_mode:0 nr_modes:35
09:03:50 apple-dcp ... set_digital_out_mode(...) "1920x1080": 60 ...
09:03:50 apple-dcp ... UnifiedPipeline::mode_set_gated(...): 1920x1080@60 Hz link: 1
09:03:51 apple-dcp ... DP2HDMI HPD irq, connected:0
09:03:53 apple-dcp ... dcp_hotplug() connected:1 valid_mode:0 nr_modes:35
09:04:03 apple-drm ... *ERROR* flip_done timed out
09:04:03 apple-drm ... *ERROR* [CRTC:58:crtc-1] commit wait timed out
```
The fallback rule was removed after the test.
## Related reports
- #8946 describes a separate Apple-Silicon HDMI DPMS/hotplug loop. This report differs because it reproduces immediately at cold boot and persists at forced 1080p/60.
- #11909 has the same Philips display and visible no-input symptom on Intel/i915, but its DPMS reset recovers the output. Here the `apple-dcp` failure hangs Hyprland before that recovery can complete.
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.
No decision has been recorded yet.