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.
Omarchy Quattro fails to boot/install on Lenovo Legion 5
Reported by damain · filed Aug 24, 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 7 5800H, NVIDIA RTX 3050 Ti, Lenovo Legion 5 Laptop, 32GB RAM, Omarchy Quattro
What's wrong?
Bug Report: Omarchy Quattro fails to boot/install on Lenovo Legion 5
System Information
- Manufacturer / Model: Lenovo Legion 5 15ACH6 (Type 82JW)
- Motherboard (Baseboard): LENOVO LNVNB161216 (SDK0T76461 WIN)
- CPU: AMD Ryzen 7 5800H (8 cores / 16 threads, ~3.2 GHz)
- RAM: 32 GB (32,620 MB reported)
- GPU (discrete): NVIDIA GeForce RTX 3050 Ti Laptop GPU (PCI\VEN_10DE&DEV_25E0)
- GPU (integrated): AMD Radeon Graphics (built into Ryzen 7 5800H)
- Storage:
- Samsung SSD 980 1TB (NVMe)
- WDC PC SN730 SDBPNTY-512G-1101 (512 GB NVMe)
- BIOS/UEFI: LENOVO HHCN24WW, released 11/23/2021, SMBIOS 24WW
- Current OS: Windows 11 Home (build 26200)
USB Media Used
- Drive: SanDisk Cruzer Blade USB Device (USB flash drive, ~7.8 GB)
- Firmware Revision: 1.00
- Imaging tool: Balena Etcher
- Two separate ISO downloads and flashes were attempted — both failed identically.
Issue Description
While booting the Omarchy Quattro installer from the USB drive, the system displays only the Omarchy logo with no further details, loading screens, or progress. It remains stuck on the logo indefinitely (waited up to 20 minutes with no progress).
- Pressing Escape reveals:
SSH: Can't access TTY; job control turned off. - Pressing Escape again returns to the Omarchy logo screen.
- Re-flashing a freshly downloaded ISO with Balena Etcher did not resolve the issue.
Steps Already Attempted
- Disabled Secure Boot in BIOS — still failed.
- Switched GPU mode in BIOS from Hybrid to Discrete Graphics (to rule out the AMD iGPU / NVIDIA hybrid issue) — still failed.
- Re-downloaded the ISO and re-flashed with Balena Etcher — still failed.
Expected Behavior
The installer should proceed past the logo to loading screen(s) and eventually reach the setup/partitioning interface.
Actual Behavior
Boot hangs on the Omarchy logo; console shows SSH: Can't access TTY; job control turned off when Escape is pressed. No boot progress is ever shown.
View raw text
### System details AMD Ryzen 7 5800H, NVIDIA RTX 3050 Ti, Lenovo Legion 5 Laptop, 32GB RAM, Omarchy Quattro ### What's wrong? ## Bug Report: Omarchy Quattro fails to boot/install on Lenovo Legion 5 ### System Information - **Manufacturer / Model:** Lenovo Legion 5 15ACH6 (Type 82JW) - **Motherboard (Baseboard):** LENOVO LNVNB161216 (SDK0T76461 WIN) - **CPU:** AMD Ryzen 7 5800H (8 cores / 16 threads, ~3.2 GHz) - **RAM:** 32 GB (32,620 MB reported) - **GPU (discrete):** NVIDIA GeForce RTX 3050 Ti Laptop GPU (PCI\VEN_10DE&DEV_25E0) - **GPU (integrated):** AMD Radeon Graphics (built into Ryzen 7 5800H) - **Storage:** - Samsung SSD 980 1TB (NVMe) - WDC PC SN730 SDBPNTY-512G-1101 (512 GB NVMe) - **BIOS/UEFI:** LENOVO HHCN24WW, released 11/23/2021, SMBIOS 24WW - **Current OS:** Windows 11 Home (build 26200) ### USB Media Used - **Drive:** SanDisk Cruzer Blade USB Device (USB flash drive, ~7.8 GB) - **Firmware Revision:** 1.00 - **Imaging tool:** Balena Etcher - Two separate ISO downloads and flashes were attempted — both failed identically. ### Issue Description While booting the Omarchy Quattro installer from the USB drive, the system displays only the **Omarchy logo** with no further details, loading screens, or progress. It remains stuck on the logo indefinitely (waited up to 20 minutes with no progress). - Pressing **Escape** reveals: `SSH: Can't access TTY; job control turned off.` - Pressing **Escape** again returns to the Omarchy logo screen. - Re-flashing a freshly downloaded ISO with Balena Etcher did **not** resolve the issue. ### Steps Already Attempted 1. Disabled **Secure Boot** in BIOS — still failed. 2. Switched GPU mode in BIOS from **Hybrid** to **Discrete Graphics** (to rule out the AMD iGPU / NVIDIA hybrid issue) — still failed. 3. Re-downloaded the ISO and re-flashed with Balena Etcher — still failed. ### Expected Behavior The installer should proceed past the logo to loading screen(s) and eventually reach the setup/partitioning interface. ### Actual Behavior Boot hangs on the Omarchy logo; console shows `SSH: Can't access TTY; job control turned off` when Escape is pressed. No boot progress is ever shown.
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 08:34 UTC