Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA 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.
DE scaling defaullts to 2 & screensaver overrides scaling settiing
Reported by mikl0s · filed Aug 17, 2026 · open at source
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
System details
Thinkpad x250
What's wrong?
Just installed Quattro on my Thinkpad x250 which has a 1366x768 and at scale 2x, that is almost unusable, I managed to set scaling to 1x and then Omarchy runs fine on this old Thinkpad. If the screensaver kicks in, when you return scaling is back to 2 - you have to open the settings and save it without editing it and it hot reloads back to 1.
To reproduce: Install Quattro on 768p resolution. Set scaling to 1 - let default screensaver run. Updating and/or rebooting doesn't help.
After setting scaling to 1x
<img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/dd899093-e810-4d3d-bdf7-e0f7a187500c" />
Awesome screensaver
<img width="1342" height="718" alt="Image" src="https://github.com/user-attachments/assets/b481e6b8-05d9-44b6-b070-f2fadec3013d" />
Scale is back to 2x after screensaver
<img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/0bda5744-7628-48c9-83ba-6622e08fcf3b" />
Simple wq on the settings - no change just touching the file
<img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/1cf43331-890c-449f-ba4b-9a869cf093d6" />
Tada.wav
<img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/be2fef2e-8b7d-487d-bdf7-fb380fcb05dc" />
Perhaps sub 1080p resolutions defaults to 1x scaling and the screensaver leaves scaling alone or return it to the value before not the default install value?
View raw text
### System details Thinkpad x250 ### What's wrong? Just installed Quattro on my Thinkpad x250 which has a 1366x768 and at scale 2x, that is almost unusable, I managed to set scaling to 1x and then Omarchy runs fine on this old Thinkpad. If the screensaver kicks in, when you return scaling is back to 2 - you have to open the settings and save it without editing it and it hot reloads back to 1. To reproduce: Install Quattro on 768p resolution. Set scaling to 1 - let default screensaver run. Updating and/or rebooting doesn't help. After setting scaling to 1x <img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/dd899093-e810-4d3d-bdf7-e0f7a187500c" /> Awesome screensaver <img width="1342" height="718" alt="Image" src="https://github.com/user-attachments/assets/b481e6b8-05d9-44b6-b070-f2fadec3013d" /> Scale is back to 2x after screensaver <img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/0bda5744-7628-48c9-83ba-6622e08fcf3b" /> Simple wq on the settings - no change just touching the file <img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/1cf43331-890c-449f-ba4b-9a869cf093d6" /> Tada.wav <img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/be2fef2e-8b7d-487d-bdf7-fb380fcb05dc" /> Perhaps sub 1080p resolutions defaults to 1x scaling and the screensaver leaves scaling alone or return it to the value before not the default install value?
- dd899093-e810-4d3d-bdf7-e0f7a187500c
- b481e6b8-05d9-44b6-b070-f2fadec3013d
- 0bda5744-7628-48c9-83ba-6622e08fcf3b
- 1cf43331-890c-449f-ba4b-9a869cf093d6
- be2fef2e-8b7d-487d-bdf7-fb380fcb05dc
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
- Related PRpr/10747· confirmed
- Related PRpr/7146· confirmed
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 04:36 UTC