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.
web page scroll changed in the latest version, very slow.
Reported by realjuangalt · filed Dec 16, 2025 · 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
lenovo laptop
What's wrong?
I had not noticed it before, but since the last update, touch pad scrolling has become too slow. It takes a lot of scrolling to move pages and it varies a lot per page, some are nearly unmovable, others are just sluggish.
It felt fine before, so figuring something change with the last version?
I'll try and optimize it on my end, but given there is variability between websites on how fast scroll is, I'm guessing the issue might be more complicated than changing a config setting somewhere.
View raw text
### System details lenovo laptop ### What's wrong? I had not noticed it before, but since the last update, touch pad scrolling has become too slow. It takes a lot of scrolling to move pages and it varies a lot per page, some are nearly unmovable, others are just sluggish. It felt fine before, so figuring something change with the last version? I'll try and optimize it on my end, but given there is variability between websites on how fast scroll is, I'm guessing the issue might be more complicated than changing a config setting somewhere.
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-08 23:59 UTC