Proof Portal

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

QEMU Display Scaling Issue

Reported by rami-shalhoub · filed Oct 17, 2025Closed upstream on 2025-10-18 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.

Open at source

Received and recorded verbatim. Nothing has been checked 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?: 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

QEMU Display Scaling Issuerevision 1 · captured 2026-10-04 11:42 UTC via poll

System details

AMD Ryzen AI 9 HX 370, 64 RAM, omarhcy 3.0.2

What's wrong?

I am using QEMU with virt-manager, and I am having an issue with the screen size, it is so small unless I enabled Display Scaling which results in significant drop in the resolution

I these installed

sudo pacman -S spice-vdagent qemu-guest-agent

and ran the service

sudo systemctl start qemu-guest-agent.service

and still cannot have a lager screen without sacrificing the resolution and I dont have a shared clipboard, and generally the VM is slower than what I would expect

Display Scaling off	Display Scaling on
<img width="2560" height="1600" alt="Image" src="https://github.com/user-attachments/assets/9ce52ce2-6a2a-4301-91fe-6437034f35e6" />	<img width="2560" height="1600" alt="Image" src="https://github.com/user-attachments/assets/c048900f-cb5e-4a5c-84fb-1d80d1b711bf" />

These are the current settings I have for ~/.config/hypr/monitors.conf

I also tested env = GDK_SCALE,2 monitor=, preferred, auto, auto they gave the same results as what is enabled in the previous picture, and i tested env = GDK_SCALE,1.75 monitor=, preferred, auto, 1.666667 and it just made the screen bigger but the scaling still broken (check the next pictures)

Display Scaling off	Display Scaling on
<img width="2560" height="1600" alt="Image" src="https://github.com/user-attachments/assets/59edd814-58c6-4f19-9286-ab9d89a57ee0" />	<img width="2560" height="1600" alt="Image" src="https://github.com/user-attachments/assets/81d4a613-7b11-4efd-95b7-2741a028a15d" />

And in /boot/limine.conf I added at the end of kernel_cmdline video=1920x1080, I tried also video=2560x1600 video=2560x1600x24 video=1920x1080x24 and non of them did anything

View raw text

### System details

AMD Ryzen AI 9 HX 370, 64 RAM, omarhcy 3.0.2

### What's wrong?

I am using QEMU with virt-manager, and I am having an issue with the screen size, it is so small unless I enabled Display Scaling which results in significant drop in the resolution

I these installed 
```
sudo pacman -S spice-vdagent qemu-guest-agent
```
and ran the service
```
sudo systemctl start qemu-guest-agent.service
```
and still cannot have a lager screen without sacrificing the resolution and I dont have a shared clipboard, and generally the VM is slower than what I would expect

| Display Scaling off | Display Scaling on |
|--------|--------|
| <img width="2560" height="1600" alt="Image" src="https://github.com/user-attachments/assets/9ce52ce2-6a2a-4301-91fe-6437034f35e6" />| <img width="2560" height="1600" alt="Image" src="https://github.com/user-attachments/assets/c048900f-cb5e-4a5c-84fb-1d80d1b711bf" /> | 

These are the current settings I have for `~/.config/hypr/monitors.conf`

<img width="1170" height="611" alt="Image" src="https://github.com/user-attachments/assets/0649bb64-6b30-476d-8ab0-1fe5a206149f" />

I also tested `env = GDK_SCALE,2 ` `monitor=, preferred, auto, auto` they gave the same results as what is enabled in the previous picture, and i tested `env = GDK_SCALE,1.75` `monitor=, preferred, auto, 1.666667` and it just made the screen bigger but the scaling still broken (check the next pictures)

| Display Scaling off | Display Scaling on |
|--------|--------|
|<img width="2560" height="1600" alt="Image" src="https://github.com/user-attachments/assets/59edd814-58c6-4f19-9286-ab9d89a57ee0" /> |<img width="2560" height="1600" alt="Image" src="https://github.com/user-attachments/assets/81d4a613-7b11-4efd-95b7-2741a028a15d" />|

And in `/boot/limine.conf` I added at the end of `kernel_cmdline` `video=1920x1080`, I tried also `video=2560x1600` `video=2560x1600x24` `video=1920x1080x24` and non of them did anything

9ce52ce2-6a2a-4301-91fe-6437034f35e6
c048900f-cb5e-4a5c-84fb-1d80d1b711bf
0649bb64-6b30-476d-8ab0-1fe5a206149f
59edd814-58c6-4f19-9286-ab9d89a57ee0
81d4a613-7b11-4efd-95b7-2741a028a15d

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.

Proof

History & reports

Reference