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-3713GitHub issuePublicReceived
Unable to update fresh Omarchy 3.1.7 installation
Reported by inad9300 · filed Nov 12, 2025Closed upstream on 2025-11-13 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
Received and recorded verbatim. Nothing has been checked yet.
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
Unable to update fresh Omarchy 3.1.7 installationrevision 1 · captured 2026-10-04 11:42 UTC via poll
System details
Omarchy 3.1.7
What's wrong?
I was experiencing this exact same issue with Omarchy 3.0.2. Unable to find a solution, and since my installation was fairly new, I decided to just install Omarchy 3.1.7 from scratch. Unfortunately, the issue has come back to bite me again.
What I observe every time I try to update the system is, the download speed is quite good initially, but eventually the Wi-Fi connection is lost (the update causes this, apparently always at the same point), so it just can't continue.
Here is the output I see:
:: Proceed with installation? [Y/n]
:: Retrieving packages...
1password-beta-8.11.18_34.BETA-34-x86_64.pkg.tar.zst failed to download
nvidia-utils-580.105.08-1-x86_64.pkg.tar.zst failed to download
libreoffice-fresh-25.8.2-5-x86_64.pkg.tar.zst failed to download
omarchy-chromium-142.0.7444.134-10-x86_64.pkg.tar.zst failed to download
typora-1.12.3-1-x86_64.pkg.tar.zst failed to download
Total ( 5/93) 1616.8 MiB 17.0 MiB/s 01:35 [--------------------------------------] 100%
error: failed retrieving file '1password-beta-8.11.18_34.BETA-34-x86_64.pkg.tar.zst' from pkgs.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds
error: failed retrieving file 'nvidia-utils-580.105.08-1-x86_64.pkg.tar.zst' from mirror.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds
error: failed retrieving file 'libreoffice-fresh-25.8.2-5-x86_64.pkg.tar.zst' from mirror.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds
error: failed retrieving file 'omarchy-chromium-142.0.7444.134-10-x86_64.pkg.tar.zst' from pkgs.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds
error: failed retrieving file 'typora-1.12.3-1-x86_64.pkg.tar.zst' from pkgs.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds
warning: too many errors from pkgs.omarchy.org, skipping for the remainder of this transaction
error: failed retrieving file 'nvidia-utils-580.105.08-1-x86_64.pkg.tar.zst' from mirror.rackspace.com : Could not resolve host: mirror.rackspace.com
warning: fatal error from mirror.rackspace.com, skipping for the remainder of this transaction
error: failed retrieving file 'libreoffice-fresh-25.8.2-5-x86_64.pkg.tar.zst' from mirror.rackspace.com : Failed to connect to mirror.rackspace.com port 443 after 2 ms: Could not connect to server
error: failed retrieving file 'nvidia-utils-580.105.08-1-x86_64.pkg.tar.zst' from geo.mirror.pkgbuild.com : Could not resolve host: geo.mirror.pkgbuild.com
warning: fatal error from geo.mirror.pkgbuild.com, skipping for the remainder of this transaction
error: failed retrieving file 'libreoffice-fresh-25.8.2-5-x86_64.pkg.tar.zst' from geo.mirror.pkgbuild.com : Failed to connect to geo.mirror.pkgbuild.com port 443 after 1 ms: Could not connect to server
warning: failed to retrieve some files
error: failed to commit transaction (failed to retrieve some files)
Errors occurred, no packages were upgraded.
Something went wrong during the update!View raw text
### System details Omarchy 3.1.7 ### What's wrong? I was experiencing this exact same issue with Omarchy 3.0.2. Unable to find a solution, and since my installation was fairly new, I decided to just install Omarchy 3.1.7 from scratch. Unfortunately, the issue has come back to bite me again. What I observe every time I try to update the system is, the download speed is quite good initially, but eventually the Wi-Fi connection is lost (the update causes this, apparently always at the same point), so it just can't continue. Here is the output I see: ```sh :: Proceed with installation? [Y/n] :: Retrieving packages... 1password-beta-8.11.18_34.BETA-34-x86_64.pkg.tar.zst failed to download nvidia-utils-580.105.08-1-x86_64.pkg.tar.zst failed to download libreoffice-fresh-25.8.2-5-x86_64.pkg.tar.zst failed to download omarchy-chromium-142.0.7444.134-10-x86_64.pkg.tar.zst failed to download typora-1.12.3-1-x86_64.pkg.tar.zst failed to download Total ( 5/93) 1616.8 MiB 17.0 MiB/s 01:35 [--------------------------------------] 100% error: failed retrieving file '1password-beta-8.11.18_34.BETA-34-x86_64.pkg.tar.zst' from pkgs.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds error: failed retrieving file 'nvidia-utils-580.105.08-1-x86_64.pkg.tar.zst' from mirror.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds error: failed retrieving file 'libreoffice-fresh-25.8.2-5-x86_64.pkg.tar.zst' from mirror.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds error: failed retrieving file 'omarchy-chromium-142.0.7444.134-10-x86_64.pkg.tar.zst' from pkgs.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds error: failed retrieving file 'typora-1.12.3-1-x86_64.pkg.tar.zst' from pkgs.omarchy.org : Operation too slow. Less than 1 bytes/sec transferred the last 10 seconds warning: too many errors from pkgs.omarchy.org, skipping for the remainder of this transaction error: failed retrieving file 'nvidia-utils-580.105.08-1-x86_64.pkg.tar.zst' from mirror.rackspace.com : Could not resolve host: mirror.rackspace.com warning: fatal error from mirror.rackspace.com, skipping for the remainder of this transaction error: failed retrieving file 'libreoffice-fresh-25.8.2-5-x86_64.pkg.tar.zst' from mirror.rackspace.com : Failed to connect to mirror.rackspace.com port 443 after 2 ms: Could not connect to server error: failed retrieving file 'nvidia-utils-580.105.08-1-x86_64.pkg.tar.zst' from geo.mirror.pkgbuild.com : Could not resolve host: geo.mirror.pkgbuild.com warning: fatal error from geo.mirror.pkgbuild.com, skipping for the remainder of this transaction error: failed retrieving file 'libreoffice-fresh-25.8.2-5-x86_64.pkg.tar.zst' from geo.mirror.pkgbuild.com : Failed to connect to geo.mirror.pkgbuild.com port 443 after 1 ms: Could not connect to server warning: failed to retrieve some files error: failed to commit transaction (failed to retrieve some files) Errors occurred, no packages were upgraded. Something went wrong during the update! ```
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.