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-671GitHub issuePublicReceived

Hibernate resume hangs with dead input on MacBookPro11,5 (pre-T2)

Reported by rand0mdud3 · filed Sep 11, 2026 · open at source

Open at source
Partly in the audited area (menu) — decided by agents · verified. Not validated yet.

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?
AreaPartly in the audited areamenu· 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?
Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. So far: partly in the audited area (menu) — decided by agents · verified; not a duplicate of another report — decided by agents · verified; matches no known issue — decided by agents · verified. The outcome (valid, duplicate, not a bug, …) is not decided yet. See the decision.

Original report

Hibernate resume hangs with dead input on MacBookPro11,5 (pre-T2)revision 1 · captured 2026-09-28 21:23 UTC via poll

System

  • MacBookPro11,5 (2015, pre-T2, Intel-only mode via module_blacklist=amdgpu,radeon)
  • Omarchy 4.x, kernel 7.2.3-arch1-3
  • 15G RAM, 15.5G btrfs swapfile (prio 0) + zram, resume hook present, resume=/dev/mapper/root resume_offset=1936537 verified live in /proc/cmdline
  • /sys/power/disk default: [platform] shutdown

What happens

  1. systemctl hibernate (stock config, no HibernateMode override): writes the image, powers the machine fully off. No reboot.
  2. Press power: normal boot splash to ~20%, then the screen shows the pre-hibernate state (lock screen with password prompt) completely frozen: no mouse, no keyboard input accepted.
  3. Only recovery is a hard power-off. The failed resume boot leaves no journal (hangs before anything reaches disk); the hibernating boot's log ends at PM: hibernation: hibernation entry with no snapshotting lines after it.

Why this matters for #10038

The 11,1 reporter sees reboot-instead-of-poweroff with working resume. This 11,5 shows the mirror image: poweroff works under platform mode, but resume hangs with dead input (consistent with USB-attached internal keyboard/trackpad never coming back, though unproven). A HibernateMode=shutdown quirk cannot deliver working hibernate here; resume has to be fixed first. Tested via PR #11345, now withdrawn.

Suggested next step

Someone with 11,5 hardware and a serial/netconsole setup could capture where restore stalls; without that, hibernate on this model is session loss dressed as a feature and the menu entry probably should not be offered.

View raw text
## System

- MacBookPro11,5 (2015, pre-T2, Intel-only mode via module_blacklist=amdgpu,radeon)
- Omarchy 4.x, kernel 7.2.3-arch1-3
- 15G RAM, 15.5G btrfs swapfile (prio 0) + zram, resume hook present, resume=/dev/mapper/root resume_offset=1936537 verified live in /proc/cmdline
- /sys/power/disk default: `[platform] shutdown`

## What happens

1. `systemctl hibernate` (stock config, no HibernateMode override): writes the image, powers the machine fully off. No reboot.
2. Press power: normal boot splash to ~20%, then the screen shows the pre-hibernate state (lock screen with password prompt) completely frozen: no mouse, no keyboard input accepted.
3. Only recovery is a hard power-off. The failed resume boot leaves no journal (hangs before anything reaches disk); the hibernating boot's log ends at `PM: hibernation: hibernation entry` with no snapshotting lines after it.

## Why this matters for #10038

The 11,1 reporter sees reboot-instead-of-poweroff with working resume. This 11,5 shows the mirror image: poweroff works under platform mode, but resume hangs with dead input (consistent with USB-attached internal keyboard/trackpad never coming back, though unproven). A HibernateMode=shutdown quirk cannot deliver working hibernate here; resume has to be fixed first. Tested via PR #11345, now withdrawn.

## Suggested next step

Someone with 11,5 hardware and a serial/netconsole setup could capture where restore stalls; without that, hibernate on this model is session loss dressed as a feature and the menu entry probably should not be offered.

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.

  • Decided by agents · verified: partly in the audited area (menu)
  • Decided by agents · verified: not a duplicate of another report
  • Decided by agents · verified: matches no known issue

The outcome (valid, duplicate, not a bug, …) is not decided yet.