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.
Helium Browser (at least on Linux, cannot spilt or resize the window in half perfectly)
Reported by Galaxon2710 · filed Jun 7, 2026Closed upstream on 2026-06-07 by its own reporter Galaxon2710. GitHub close reason: completed. Closed by its own reporter — not by itself evidence of a fix.
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
System details
Dell Inc. Inspiron 11 - 3147, Intel® Pentium® N3530 × 4, ZorinOS 18.1 Core
What's wrong?
Hi, I'm currently using Helium Browser on my Linux Machine running ZorinOS 18.1 Core.
After switching from Chrome, i was fell in love with this browser bc of its customizations and certainly, eating less RAM than Chrome.
But today I came across a "bug" that "buggin" me.
So when I try to resize the Helium window, it always uses 2/3 of my screen or desktop (as marked in the screenshots). Which means that I can't use 2 window side by side. I've tried to use the built-in window tiling manager to resize it, but it still didn't work.
I hope that this issue will be fixed in the future, or if there's any way to fix it, please let me know! All help will be appreciated!!
<img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/f65c91c0-e530-45c4-920b-3e15594410e9" />
View raw text
### System details Dell Inc. Inspiron 11 - 3147, Intel® Pentium® N3530 × 4, ZorinOS 18.1 Core ### What's wrong? Hi, I'm currently using Helium Browser on my Linux Machine running ZorinOS 18.1 Core. After switching from Chrome, i was fell in love with this browser bc of its customizations and certainly, eating less RAM than Chrome. But today I came across a "bug" that "buggin" me. So when I try to resize the Helium window, it always uses 2/3 of my screen or desktop (as marked in the screenshots). Which means that I can't use 2 window side by side. I've tried to use the built-in window tiling manager to resize it, but it still didn't work. I hope that this issue will be fixed in the future, or if there's any way to fix it, please let me know! All help will be appreciated!! <img width="1366" height="768" alt="Image" src="https://github.com/user-attachments/assets/f65c91c0-e530-45c4-920b-3e15594410e9" />
- f65c91c0-e530-45c4-920b-3e15594410e9
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.