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.
Windows Vm not luanching
Reported by IshmaelCorp · filed Nov 22, 2025Closed upstream on 2025-11-22. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not 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
PC: 20FAS4QP00 (ThinkPad T460s) │ ├: Intel(R) Core(TM) i5-6300U (4) @ 3.00 GHz │ ├: Intel HD Graphics 520 @ 1.00 GHz [Integrated] │ ├: 1600x900 in 14", 60 Hz [Built-in] │ ├: 48.54 GiB / 236.46 GiB (21%) - btrfs │ ├: 4.05 GiB / 7.17 GiB (56%) └ └ : 188.43 MiB / 3.58 GiB (5%) OS: Omarchy 3.1.7 │ ├: master │ ├: Linux 6.17.8-arch1-1 │ ├: Hyprland 0.52.1 (Wayland) │ ├: alacritty 0.16.1 │ ├: 1011 (pacman) │ ├: Nord ●●●●●●●● └ └: alacritty (9pt)
What's wrong?
unable to Luanch Windows VM from the omarchy menu so i tried the omarchy-windows-vm launch
error
~ ❯ omarchy-windows-vm launch
Starting Windows VM...
[+] Running 2/2
✔ Network windows_default Created 0.2s
✔ Container omarchy-windows Started 0.8s
Waiting for Windows VM to be ready...
┌─────────────────────────────────────┐
│ │
│ Connecting to Windows VM │
│ │
│ VM will auto-stop when RDP closes │
│ │
└─────────────────────────────────────┘
[18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: Using /p is insecure
[18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: Passing credentials or secrets via command line might expose these in the process list
[18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: Consider using one of the following (more secure) alternatives:
[18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: - /args-from: pipe in arguments from stdin, file or file descriptor
[18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: - /from-stdin pass the credential via stdin
[18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: - set environment variable FREERDP_ASKPASS to have a gui tool query for credentials
[18:08:28:490] [26891:00006912] [WARN][com.freerdp.client.x11] - [load_map_from_xkbfile]: : keycode: 0x08 -> no RDP scancode found
[18:08:28:490] [26891:00006912] [WARN][com.freerdp.client.x11] - [load_map_from_xkbfile]: ZEHA: keycode: 0x5d -> no RDP scancode found
[VAAPI @ 0x7f0c18024140] Failed to initialise VAAPI connection: -1 (unknown libva error).
[18:08:28:545] [26891:00006912] [ERROR][com.freerdp.codec] - [libavcodec_init]: Could not initialize hardware decoder, falling back to software: Input/output error
[VAAPI @ 0x7f0c1801a980] Failed to initialise VAAPI connection: -1 (unknown libva error).
[18:08:28:591] [26891:00006912] [ERROR][com.freerdp.codec] - [libavcodec_init]: Could not initialize hardware decoder, falling back to software: Input/output error
[18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: *************************************************
[18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: This build is using [experimental] build options:
[18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: * 'WITH_VAAPI=ON'
[18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: *
[18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: [experimental] build options might crash the application
[18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: *************************************************
[18:08:31:683] [26891:00006912] [ERROR][com.freerdp.core.transport] - [transport_read_layer]: BIO_read returned a system error 104: Connection reset by peer
[18:08:31:683] [26891:00006912] [ERROR][com.freerdp.core] - [transport_read_layer]: ERRCONNECT_CONNECT_TRANSPORT_FAILED [0x0002000D]
[VAAPI @ 0x7f0c18061a80] Failed to initialise VAAPI connection: -1 (unknown libva error).
[18:08:31:694] [26891:00006912] [ERROR][com.freerdp.codec] - [libavcodec_init]: Could not initialize hardware decoder, falling back to software: Input/output error
[VAAPI @ 0x7f0c18061ac0] Failed to initialise VAAPI connection: -1 (unknown libva error).
[18:08:31:711] [26891:00006912] [ERROR][com.freerdp.codec] - [libavcodec_init]: Could not initialize hardware decoder, falling back to software: Input/output error
[18:08:34:755] [26891:00006912] [ERROR][com.freerdp.core.transport] - [transport_read_layer]: BIO_read returned a system error 104: Connection reset by peer
[18:08:34:755] [26891:00006912] [ERROR][com.freerdp.core] - [transport_read_layer]: ERRCONNECT_CONNECT_TRANSPORT_FAILED [0x0002000D]
[18:08:34:755] [26891:00006912] [ERROR][com.freerdp.core] - [freerdp_connect]: freerdp_post_connect failed
RDP session closed. Stopping Windows VM...
[+] Running 2/2
✔ Container omarchy-windows Removed 12.3s
✔ Network windows_default Removed 0.1s
Windows VM stopped.
~ ❯
View raw text
### System details PC: 20FAS4QP00 (ThinkPad T460s) │ ├: Intel(R) Core(TM) i5-6300U (4) @ 3.00 GHz │ ├: Intel HD Graphics 520 @ 1.00 GHz [Integrated] │ ├: 1600x900 in 14", 60 Hz [Built-in] │ ├: 48.54 GiB / 236.46 GiB (21%) - btrfs │ ├: 4.05 GiB / 7.17 GiB (56%) └ └ : 188.43 MiB / 3.58 GiB (5%) OS: Omarchy 3.1.7 │ ├: master │ ├: Linux 6.17.8-arch1-1 │ ├: Hyprland 0.52.1 (Wayland) │ ├: alacritty 0.16.1 │ ├: 1011 (pacman) │ ├: Nord ●●●●●●●● └ └: alacritty (9pt) ### What's wrong? unable to Luanch Windows VM from the omarchy menu so i tried the omarchy-windows-vm launch error ~ ❯ omarchy-windows-vm launch Starting Windows VM... [+] Running 2/2 ✔ Network windows_default Created 0.2s ✔ Container omarchy-windows Started 0.8s Waiting for Windows VM to be ready... ┌─────────────────────────────────────┐ │ │ │ Connecting to Windows VM │ │ │ │ VM will auto-stop when RDP closes │ │ │ └─────────────────────────────────────┘ [18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: Using /p is insecure [18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: Passing credentials or secrets via command line might expose these in the process list [18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: Consider using one of the following (more secure) alternatives: [18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: - /args-from: pipe in arguments from stdin, file or file descriptor [18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: - /from-stdin pass the credential via stdin [18:08:28:485] [26891:0000690b] [WARN][com.freerdp.client.common.cmdline] - [warn_credential_args]: - set environment variable FREERDP_ASKPASS to have a gui tool query for credentials [18:08:28:490] [26891:00006912] [WARN][com.freerdp.client.x11] - [load_map_from_xkbfile]: : keycode: 0x08 -> no RDP scancode found [18:08:28:490] [26891:00006912] [WARN][com.freerdp.client.x11] - [load_map_from_xkbfile]: ZEHA: keycode: 0x5d -> no RDP scancode found [VAAPI @ 0x7f0c18024140] Failed to initialise VAAPI connection: -1 (unknown libva error). [18:08:28:545] [26891:00006912] [ERROR][com.freerdp.codec] - [libavcodec_init]: Could not initialize hardware decoder, falling back to software: Input/output error [VAAPI @ 0x7f0c1801a980] Failed to initialise VAAPI connection: -1 (unknown libva error). [18:08:28:591] [26891:00006912] [ERROR][com.freerdp.codec] - [libavcodec_init]: Could not initialize hardware decoder, falling back to software: Input/output error [18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: ************************************************* [18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: This build is using [experimental] build options: [18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: * 'WITH_VAAPI=ON' [18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: * [18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: [experimental] build options might crash the application [18:08:28:594] [26891:00006912] [WARN][com.freerdp.core.rdp] - [log_build_warn][0x55e588f593b0]: ************************************************* [18:08:31:683] [26891:00006912] [ERROR][com.freerdp.core.transport] - [transport_read_layer]: BIO_read returned a system error 104: Connection reset by peer [18:08:31:683] [26891:00006912] [ERROR][com.freerdp.core] - [transport_read_layer]: ERRCONNECT_CONNECT_TRANSPORT_FAILED [0x0002000D] [VAAPI @ 0x7f0c18061a80] Failed to initialise VAAPI connection: -1 (unknown libva error). [18:08:31:694] [26891:00006912] [ERROR][com.freerdp.codec] - [libavcodec_init]: Could not initialize hardware decoder, falling back to software: Input/output error [VAAPI @ 0x7f0c18061ac0] Failed to initialise VAAPI connection: -1 (unknown libva error). [18:08:31:711] [26891:00006912] [ERROR][com.freerdp.codec] - [libavcodec_init]: Could not initialize hardware decoder, falling back to software: Input/output error [18:08:34:755] [26891:00006912] [ERROR][com.freerdp.core.transport] - [transport_read_layer]: BIO_read returned a system error 104: Connection reset by peer [18:08:34:755] [26891:00006912] [ERROR][com.freerdp.core] - [transport_read_layer]: ERRCONNECT_CONNECT_TRANSPORT_FAILED [0x0002000D] [18:08:34:755] [26891:00006912] [ERROR][com.freerdp.core] - [freerdp_connect]: freerdp_post_connect failed RDP session closed. Stopping Windows VM... [+] Running 2/2 ✔ Container omarchy-windows Removed 12.3s ✔ Network windows_default Removed 0.1s Windows VM stopped. ~ ❯
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.