Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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.

Inbox
ReportR-3237GitHub issuePublicReceived

Website: ISO download doesn’t indicate CPU architecture

Reported by Else00 · filed Oct 9, 2025Closed upstream on 2025-10-11 by ryanrhughes. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.

Open at source
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

Website: ISO download doesn’t indicate CPU architecturerevision 1 · captured 2026-10-04 11:42 UTC via poll

What do you need?

Issue

The main website offers a single “Download ISO” button, but the CPU architecture is not indicated anywhere.
The file name is omarchy-3.0.2.iso (no -x86_64 / -aarch64 suffix).
The manual search for x86, arm, and aarch64 returns no results.
How is a user supposed to know whether this ISO will install on their computer if the CPU architecture isn’t stated anywhere?

Steps

  1. Open the website and click the ISO button.

<img width="165" height="117" alt="Image" src="https://github.com/user-attachments/assets/385794bd-0bee-46e4-adf4-4b1e1ceb19bc" />

  1. Observe the downloaded file name omarchy-3.0.2.iso (no architecture).
  2. In The Omarchy Manual, search for:
  • x86

<img width="505" height="181" alt="Image" src="https://github.com/user-attachments/assets/e5f4391c-6bc7-4311-abcf-68cb13928ceb" />

  • arm

<img width="491" height="174" alt="Image" src="https://github.com/user-attachments/assets/8f72f895-824d-44d7-bb50-ea9e6e249f6e" />

  • aarch64

<img width="556" height="188" alt="Image" src="https://github.com/user-attachments/assets/ccf833c9-9c28-473a-b87f-80648977721b" />

Actual

  • Architecture is not shown on the page or in the filename.
  • Manual does not mention supported architectures.

Expected

  • The download page labels the architecture (or lets users choose).
  • ISO filenames include an architecture suffix (e.g., -x86_64, -aarch64).
  • Manual documents supported architectures and how to choose.

Suggested fix

  • Add arch-specific download labels/selector on the website.
  • Publish ISOs with arch suffixes.
  • Update the manual with a brief “Supported architectures” section.
View raw text
### What do you need?

### Issue
The main website offers a single “Download ISO” button, but the **CPU architecture is not indicated** anywhere.  
The file name is `omarchy-3.0.2.iso` (no `-x86_64` / `-aarch64` suffix).  
The manual search for `x86`, `arm`, and `aarch64` returns no results.
*How is a user supposed to know whether this ISO will install on their computer if the CPU architecture isn’t stated anywhere?*


### Steps
1. Open the website and click the ISO button. 

<img width="165" height="117" alt="Image" src="https://github.com/user-attachments/assets/385794bd-0bee-46e4-adf4-4b1e1ceb19bc" />

2. Observe the downloaded file name `omarchy-3.0.2.iso` (no architecture).  
3. In **The Omarchy Manual**, search for:
   - `x86` 

<img width="505" height="181" alt="Image" src="https://github.com/user-attachments/assets/e5f4391c-6bc7-4311-abcf-68cb13928ceb" />

   - `arm` 

<img width="491" height="174" alt="Image" src="https://github.com/user-attachments/assets/8f72f895-824d-44d7-bb50-ea9e6e249f6e" />

   - `aarch64` 

<img width="556" height="188" alt="Image" src="https://github.com/user-attachments/assets/ccf833c9-9c28-473a-b87f-80648977721b" />

### Actual
- Architecture is not shown on the page or in the filename.
- Manual does not mention supported architectures.

### Expected
- The download page **labels the architecture** (or lets users choose).
- ISO filenames include an **architecture suffix** (e.g., `-x86_64`, `-aarch64`).
- Manual **documents supported architectures** and how to choose.

### Suggested fix
- Add arch-specific download labels/selector on the website.
- Publish ISOs with arch suffixes.
- Update the manual with a brief “Supported architectures” section.
  • 385794bd-0bee-46e4-adf4-4b1e1ceb19bc
  • e5f4391c-6bc7-4311-abcf-68cb13928ceb
  • 8f72f895-824d-44d7-bb50-ea9e6e249f6e
  • ccf833c9-9c28-473a-b87f-80648977721b

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.