Proof Portal

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

Offline install leaves Intel machines with no VA-API driver

Reported by adnanbwp · filed Aug 26, 2026 · open at source

Decided: Out of scope — decided by agents · verified 4 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

Offline install leaves Intel machines with no VA-API driverrevision 1 · captured 2026-09-28 21:24 UTC via poll

What happened

Installed Omarchy 4.0.1 from the ISO with no network connected. The install finished and
reported success.

Afterwards there was no VA-API driver on the system:

$ vainfo
vainfo: trying display: wayland
vaInitialize failed with error code -1 (unknown libva error), exit

$ pacman -Q | grep -iE "libva|intel-media"

The second command returned nothing. Only mesa, vulkan-intel and vulkan-mesa-implicit-layers
were installed. Nothing failed visibly during the install.

What I expected

Video acceleration installed, or a visible failure if it can't be.

Cause

install/hardware/intel/video-acceleration.sh runs:

omarchy-pkg-add intel-media-driver libvpl vpl-gpu-rt

Those aren't in the ISO's offline mirror. /var/cache/omarchy/mirror/offline/ carries
broadcom-wl, dkms, linux-headers, the NVIDIA modules and so on, but no VA-API drivers.
With no network the call fails, and since the script has no set -e the install carries on
and finishes normally.

So this should hit any offline install on Intel graphics, not only this laptop.

The same pattern caught me earlier on a different machine.
omarchy-install-service-tailscale also has no set -e; its omarchy-pkg-add tailscale
failed offline, and the script's last line still enabled the omarchy.tailscale bar panel.
I ended up with a panel reporting "disconnected" and no tailscale binary anywhere.

Reproduce

  1. Boot the Omarchy ISO on a machine with Intel graphics, no network connected.
  2. Complete the install.
  3. Boot the installed system and run vainfo.

Workaround

Once the repos were synced, the correct driver installed fine:

omarchy update
omarchy pkg add libva-intel-driver
vainfo   # Intel i965 driver for Intel(R) Haswell, 5 H.264 profiles with VAEntrypointVLD

Worth noting that omarchy pkg add fails with "target not found" until omarchy update has
run once, since a fresh offline install has never synced the pacman repos.

Two directions I can see: put the VA-API drivers in the offline mirror, or have the hardware
scripts report failures instead of continuing quietly.

Secondary: driver selection on Haswell

Separate problem in the same file. I read this one rather than observed it, since nothing was
installed on my machine to fail in the first place.

if [[ ${INTEL_GPU,,} =~ (hd\ graphics|uhd\ graphics|xe|iris|arc|panther\ lake) ]]; then
  omarchy-pkg-add intel-media-driver libvpl vpl-gpu-rt
elif [[ ${INTEL_GPU,,} =~ "gma" ]]; then
  omarchy-pkg-add libva-intel-driver
fi

intel-media-driver (iHD) supports Broadwell and newer. The Iris 5100 in this laptop is
Haswell, Gen 7.5, and needs libva-intel-driver (i965) — which only the gma branch
reaches. An online install on Haswell-era Iris or HD Graphics would therefore install a
driver the GPU can't use. That's 2013-2014 Macs plus a good number of other laptops from
those years.

Happy to open that as its own issue, or to test something on this hardware if it helps.

System

  • Omarchy 4.0.1, stable channel, installed 2026-08-26
  • MacBookPro11,1 (MacBook Pro Retina 13-inch, Late 2013)
  • CPU: Intel i5-4258U (Haswell)
  • GPU: Intel Iris 5100 (Gen 7.5)
  • Install: whole disk, LUKS + btrfs, no network present
View raw text
## What happened

Installed Omarchy 4.0.1 from the ISO with no network connected. The install finished and
reported success.

Afterwards there was no VA-API driver on the system:

```
$ vainfo
vainfo: trying display: wayland
vaInitialize failed with error code -1 (unknown libva error), exit

$ pacman -Q | grep -iE "libva|intel-media"
```

The second command returned nothing. Only mesa, vulkan-intel and vulkan-mesa-implicit-layers
were installed. Nothing failed visibly during the install.

## What I expected

Video acceleration installed, or a visible failure if it can't be.

## Cause

`install/hardware/intel/video-acceleration.sh` runs:

```bash
omarchy-pkg-add intel-media-driver libvpl vpl-gpu-rt
```

Those aren't in the ISO's offline mirror. `/var/cache/omarchy/mirror/offline/` carries
`broadcom-wl`, `dkms`, `linux-headers`, the NVIDIA modules and so on, but no VA-API drivers.
With no network the call fails, and since the script has no `set -e` the install carries on
and finishes normally.

So this should hit any offline install on Intel graphics, not only this laptop.

The same pattern caught me earlier on a different machine.
`omarchy-install-service-tailscale` also has no `set -e`; its `omarchy-pkg-add tailscale`
failed offline, and the script's last line still enabled the `omarchy.tailscale` bar panel.
I ended up with a panel reporting "disconnected" and no tailscale binary anywhere.

## Reproduce

1. Boot the Omarchy ISO on a machine with Intel graphics, no network connected.
2. Complete the install.
3. Boot the installed system and run `vainfo`.

## Workaround

Once the repos were synced, the correct driver installed fine:

```bash
omarchy update
omarchy pkg add libva-intel-driver
vainfo   # Intel i965 driver for Intel(R) Haswell, 5 H.264 profiles with VAEntrypointVLD
```

Worth noting that `omarchy pkg add` fails with "target not found" until `omarchy update` has
run once, since a fresh offline install has never synced the pacman repos.

Two directions I can see: put the VA-API drivers in the offline mirror, or have the hardware
scripts report failures instead of continuing quietly.

## Secondary: driver selection on Haswell

Separate problem in the same file. I read this one rather than observed it, since nothing was
installed on my machine to fail in the first place.

```bash
if [[ ${INTEL_GPU,,} =~ (hd\ graphics|uhd\ graphics|xe|iris|arc|panther\ lake) ]]; then
  omarchy-pkg-add intel-media-driver libvpl vpl-gpu-rt
elif [[ ${INTEL_GPU,,} =~ "gma" ]]; then
  omarchy-pkg-add libva-intel-driver
fi
```

`intel-media-driver` (iHD) supports Broadwell and newer. The Iris 5100 in this laptop is
Haswell, Gen 7.5, and needs `libva-intel-driver` (i965) — which only the `gma` branch
reaches. An online install on Haswell-era Iris or HD Graphics would therefore install a
driver the GPU can't use. That's 2013-2014 Macs plus a good number of other laptops from
those years.

Happy to open that as its own issue, or to test something on this hardware if it helps.

## System

- Omarchy 4.0.1, stable channel, installed 2026-08-26
- MacBookPro11,1 (MacBook Pro Retina 13-inch, Late 2013)
- CPU: Intel i5-4258U (Haswell)
- GPU: Intel Iris 5100 (Gen 7.5)
- Install: whole disk, LUKS + btrfs, no network present

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 09:20 UTC