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

YouTube videos not rendering correctly after upgrading to Omarchy 4.0.1

Reported by shaikirfandev · filed Aug 27, 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

YouTube videos not rendering correctly after upgrading to Omarchy 4.0.1revision 1 · captured 2026-09-28 21:24 UTC via poll

System details

Omarchy 4.0.1-1 Kernel: 7.1.9-arch1-2 The issue occurs on Omarchy 4.0.1-1. After rolling back to Omarchy 4.0.0-1: Kernel: 7.1.8-arch1-3 YouTube videos render and play correctly. Hardware: NVIDIA GPU Browser: Chromium-based browser

What's wrong?

After upgrading from Omarchy 4.0.0-1 to Omarchy 4.0.1-1, YouTube videos no longer render correctly in the browser. Videos either fail to play or the video content is not rendered/displayed correctly.

I was able to reproduce the issue after upgrading to Omarchy 4.0.1-1.

Steps to reproduce:

  1. Start with Omarchy 4.0.0-1.
  2. Upgrade to Omarchy 4.0.1-1.
  3. Open YouTube in a Chromium-based browser.
  4. Play any YouTube video.
  5. The video does not render/play correctly.

I then rolled back to my Omarchy 4.0.0-1 snapshot using:

omarchy-snapshot restore

I restored snapshot 3, which was:

Omarchy 4.0.0-1
Kernel: 7.1.8-arch1-3

After rebooting into 4.0.0-1, I tested YouTube again and the videos rendered and played correctly.

Therefore:

Omarchy 4.0.0-1 + kernel 7.1.8-arch1-3 → YouTube works correctly

Omarchy 4.0.1-1 + kernel 7.1.9-arch1-2 → YouTube does not render/play correctly

Rolling back to 4.0.0-1 immediately resolves the issue.

This appears to be a regression introduced by the 4.0.1 update or one of the packages updated with it. Possible areas to investigate include the kernel, NVIDIA/Mesa graphics stack, VA-API, FFmpeg, Vulkan, or browser hardware acceleration.

I can also provide the output of omarchy-debug if needed.

View raw text
### System details

Omarchy 4.0.1-1 Kernel: 7.1.9-arch1-2  The issue occurs on Omarchy 4.0.1-1.  After rolling back to Omarchy 4.0.0-1: Kernel: 7.1.8-arch1-3 YouTube videos render and play correctly.  Hardware: NVIDIA GPU Browser: Chromium-based browser

### What's wrong?

After upgrading from Omarchy 4.0.0-1 to Omarchy 4.0.1-1, YouTube videos no longer render correctly in the browser. Videos either fail to play or the video content is not rendered/displayed correctly.

I was able to reproduce the issue after upgrading to Omarchy 4.0.1-1.

Steps to reproduce:

1. Start with Omarchy 4.0.0-1.
2. Upgrade to Omarchy 4.0.1-1.
3. Open YouTube in a Chromium-based browser.
4. Play any YouTube video.
5. The video does not render/play correctly.

I then rolled back to my Omarchy 4.0.0-1 snapshot using:

omarchy-snapshot restore

I restored snapshot 3, which was:

Omarchy 4.0.0-1
Kernel: 7.1.8-arch1-3

After rebooting into 4.0.0-1, I tested YouTube again and the videos rendered and played correctly.

Therefore:

Omarchy 4.0.0-1 + kernel 7.1.8-arch1-3 → YouTube works correctly

Omarchy 4.0.1-1 + kernel 7.1.9-arch1-2 → YouTube does not render/play correctly

Rolling back to 4.0.0-1 immediately resolves the issue.

This appears to be a regression introduced by the 4.0.1 update or one of the packages updated with it. Possible areas to investigate include the kernel, NVIDIA/Mesa graphics stack, VA-API, FFmpeg, Vulkan, or browser hardware acceleration.

I can also provide the output of `omarchy-debug` if needed.

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