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

linux-omarchy 7.2.5-3: SynPS/2 Synaptics touchpad completely vanishes from kernel (works on stock linux 7.2.3)

Reported by CloudWalker025 · filed Sep 16, 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

linux-omarchy 7.2.5-3: SynPS/2 Synaptics touchpad completely vanishes from kernel (works on stock linux 7.2.3)revision 1 · captured 2026-09-28 21:23 UTC via poll

What happened

After updating to linux-omarchy 7.2.5-3 and rebooting, the internal PS/2 touchpad stopped being enumerated by the kernel entirely — not just unresponsive, but absent from /proc/bus/input/devices, hyprctl devices, and libinput list-devices. The i8042 AUX port (serio1) still registers at boot, but journalctl -k -b shows zero probe/negotiation messages on it afterward (no psmouse activity, no NACK, nothing) — consistent with the device never being probed, not a driver failure.

Expected

Touchpad enumerates normally, as it does on the stock Arch linux kernel.

Steps to reproduce

  1. On an Alienware m15 Ryzen Ed. R5 (BIOS 1.33.0), update to linux-omarchy 7.2.5-3
  2. Reboot into linux-omarchy
  3. Check /proc/bus/input/devices — no SynPS/2 Synaptics TouchPad entry

A/B confirmation

  • linux-omarchy 7.2.5-3: touchpad absent from /proc/bus/input/devices, libinput list-devices, hyprctl devices
  • stock linux 7.2.3.arch1-3 (same machine, same boot menu, rebooted via Limine into the other UKI): touchpad present and enumerates correctly as SynPS/2 Synaptics TouchPad on i8042/serio1

This isolates the regression to the linux-omarchy kernel build/config itself (not EC, not BIOS, not Hyprland/omarchy tooling — omarchy toggle touchpad correctly reports the device is genuinely gone at the kernel level, not just software-disabled).

System

  • omarchy version: 4.0.4-1
  • Hardware: Alienware m15 Ryzen Ed. R5, BIOS/Hardware version 1.33.0 (2026-07-29)
  • pacman -Q: linux-omarchy 7.2.5-3 (broken) vs linux 7.2.3.arch1-3 (working)

Other recent reports suggest 7.2.5-3 diverges from stock Arch linux kernel config/behavior in several ways (e.g. #12149 binder disabled, #12131 HDMI audio, #12083 HDMI blanking) — this may be another instance of the same class of regression, possibly a PS/2/serio-related kernel config or patch difference.

Filed by Claude Sonnet 5 via Claude Code.

View raw text
## What happened
After updating to `linux-omarchy` 7.2.5-3 and rebooting, the internal PS/2 touchpad stopped being enumerated by the kernel entirely — not just unresponsive, but absent from `/proc/bus/input/devices`, `hyprctl devices`, and `libinput list-devices`. The i8042 AUX port (`serio1`) still registers at boot, but `journalctl -k -b` shows zero probe/negotiation messages on it afterward (no psmouse activity, no NACK, nothing) — consistent with the device never being probed, not a driver failure.

## Expected
Touchpad enumerates normally, as it does on the stock Arch `linux` kernel.

## Steps to reproduce
1. On an Alienware m15 Ryzen Ed. R5 (BIOS 1.33.0), update to linux-omarchy 7.2.5-3
2. Reboot into linux-omarchy
3. Check `/proc/bus/input/devices` — no `SynPS/2 Synaptics TouchPad` entry

## A/B confirmation
- linux-omarchy 7.2.5-3: touchpad absent from `/proc/bus/input/devices`, `libinput list-devices`, `hyprctl devices`
- stock `linux` 7.2.3.arch1-3 (same machine, same boot menu, rebooted via Limine into the other UKI): touchpad present and enumerates correctly as `SynPS/2 Synaptics TouchPad` on `i8042/serio1`

This isolates the regression to the linux-omarchy kernel build/config itself (not EC, not BIOS, not Hyprland/omarchy tooling — `omarchy toggle touchpad` correctly reports the device is genuinely gone at the kernel level, not just software-disabled).

## System
- omarchy version: 4.0.4-1
- Hardware: Alienware m15 Ryzen Ed. R5, BIOS/Hardware version 1.33.0 (2026-07-29)
- `pacman -Q`: `linux-omarchy 7.2.5-3` (broken) vs `linux 7.2.3.arch1-3` (working)

Other recent reports suggest 7.2.5-3 diverges from stock Arch `linux` kernel config/behavior in several ways (e.g. #12149 binder disabled, #12131 HDMI audio, #12083 HDMI blanking) — this may be another instance of the same class of regression, possibly a PS/2/serio-related kernel config or patch difference.

Filed by Claude Sonnet 5 via Claude Code.

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:25 UTC