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.
ISSUE while Connecting Charger on my HP victus Laptop
Reported by raghavan005 · filed Sep 29, 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
AMD RYZEN 5600h nvdia 3050 latest version of omarchy
What's wrong?
hi the omarchy in my hp system is working fine and smooth while on battery once the power got low to 30 or below it starts to lag previous version it happens only at 5% but now at 30% even i connect charger at 50% above the lag starts its not there in the previous version and i will attach the screen shot of it i majorly use chromium the window animation is smooth but the the app speed is having lag dont know what i done wrong
<img width="454" height="480" alt="Image" src="https://github.com/user-attachments/assets/12aeb88a-041e-4452-9c77-b1b70b7b18c1" />
View raw text
### System details AMD RYZEN 5600h nvdia 3050 latest version of omarchy ### What's wrong? hi the omarchy in my hp system is working fine and smooth while on battery once the power got low to 30 or below it starts to lag previous version it happens only at 5% but now at 30% even i connect charger at 50% above the lag starts its not there in the previous version and i will attach the screen shot of it i majorly use chromium the window animation is smooth but the the app speed is having lag dont know what i done wrong <img width="454" height="480" alt="Image" src="https://github.com/user-attachments/assets/12aeb88a-041e-4452-9c77-b1b70b7b18c1" />
- 12aeb88a-041e-4452-9c77-b1b70b7b18c1
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 20:10 UTC