Proof Portal
Project overview
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.
ReportR-685GitHub issuePublicDecided· Out of scope
lutris fails to install if wine is already install
Reported by hegjon · filed Sep 11, 2026 · open at source
Decided: Out of scope — decided by agents · verified 3 days ago.
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
lutris fails to install if wine is already installrevision 1 · captured 2026-09-28 21:23 UTC via poll
System details
Omarchy 4.0.3
What's wrong?
~ ❯ omarchy install gaming lutris
Installing Lutris...
[sudo] password for jonny:
warning: wine-mono-11.3.0-1 is up to date -- skipping
warning: wine-gecko-2.47.4-2 is up to date -- skipping
resolving dependencies...
:: There are 2 providers available for lib32-libgl:
:: Repository multilib
1) lib32-libglvnd
:: Repository hegjon-test
2) lib32-libglvnd
Enter a number (default=1):
:: There are 27 providers available for lib32-vulkan-driver:
:: Repository multilib
1) lib32-nvidia-utils 2) lib32-vulkan-asahi 3) lib32-vulkan-broadcom 4) lib32-vulkan-dzn 5) lib32-vulkan-freedreno
6) lib32-vulkan-gfxstream 7) lib32-vulkan-intel 8) lib32-vulkan-nouveau 9) lib32-vulkan-panfrost 10) lib32-vulkan-powervr
11) lib32-vulkan-radeon 12) lib32-vulkan-swrast 13) lib32-vulkan-virtio
:: Repository omarchy
14) lib32-nvidia-580xx-utils
:: Repository hegjon-test
15) lib32-nvidia-580xx-utils 16) lib32-vulkan-asahi 17) lib32-vulkan-broadcom 18) lib32-vulkan-dzn
19) lib32-vulkan-freedreno 20) lib32-vulkan-gfxstream 21) lib32-vulkan-intel 22) lib32-vulkan-nouveau
23) lib32-vulkan-panfrost 24) lib32-vulkan-powervr 25) lib32-vulkan-radeon 26) lib32-vulkan-swrast 27) lib32-vulkan-virtio
Enter a number (default=1):
looking for conflicting packages...
:: wine-staging-11.17-1 and wine-11.17-1 are in conflict. Remove wine? [y/N]
error: unresolvable package conflicts detected
error: failed to prepare transaction (conflicting dependencies)
:: wine-staging-11.17-1 and wine-11.17-1 are in conflictView raw text
### System details Omarchy 4.0.3 ### What's wrong? ``` ~ ❯ omarchy install gaming lutris Installing Lutris... [sudo] password for jonny: warning: wine-mono-11.3.0-1 is up to date -- skipping warning: wine-gecko-2.47.4-2 is up to date -- skipping resolving dependencies... :: There are 2 providers available for lib32-libgl: :: Repository multilib 1) lib32-libglvnd :: Repository hegjon-test 2) lib32-libglvnd Enter a number (default=1): :: There are 27 providers available for lib32-vulkan-driver: :: Repository multilib 1) lib32-nvidia-utils 2) lib32-vulkan-asahi 3) lib32-vulkan-broadcom 4) lib32-vulkan-dzn 5) lib32-vulkan-freedreno 6) lib32-vulkan-gfxstream 7) lib32-vulkan-intel 8) lib32-vulkan-nouveau 9) lib32-vulkan-panfrost 10) lib32-vulkan-powervr 11) lib32-vulkan-radeon 12) lib32-vulkan-swrast 13) lib32-vulkan-virtio :: Repository omarchy 14) lib32-nvidia-580xx-utils :: Repository hegjon-test 15) lib32-nvidia-580xx-utils 16) lib32-vulkan-asahi 17) lib32-vulkan-broadcom 18) lib32-vulkan-dzn 19) lib32-vulkan-freedreno 20) lib32-vulkan-gfxstream 21) lib32-vulkan-intel 22) lib32-vulkan-nouveau 23) lib32-vulkan-panfrost 24) lib32-vulkan-powervr 25) lib32-vulkan-radeon 26) lib32-vulkan-swrast 27) lib32-vulkan-virtio Enter a number (default=1): looking for conflicting packages... :: wine-staging-11.17-1 and wine-11.17-1 are in conflict. Remove wine? [y/N] error: unresolvable package conflicts detected error: failed to prepare transaction (conflicting dependencies) :: wine-staging-11.17-1 and wine-11.17-1 are in conflict ```
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 11:49 UTC