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.
Omazed fails when installing Zed
Reported by Thijzert123 · filed Aug 17, 2026Closed upstream on 2026-08-21 by its own reporter Thijzert123. GitHub close reason: completed. Closed by its own reporter — not by itself 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
Omarchy Quattro fresh install
What's wrong?
When installing Zed via Menu > Install > Editor > Zed, omazed gets installed, but it shows this error when omazed setup gets executed:
==> Omazed installed successfully!
🚀 To complete setup, run:
omazed setup
This will:
• Set up omarchy hook integration (or systemd fallback)
• Set the Zed theme once on first run
Then change your Omarchy theme and watch Zed follow along!
:: Running post-transaction hooks...
(1/3) Arming ConditionNeedsUpdate...
(2/3) Updating icon theme caches...
(3/3) Updating the desktop file MIME type cache...
[INFO] Setting up Omazed for user: user
[INFO] Removed old omazed hook
[SUCCESS] ✓ Omarchy hook configured
[WARN] Could not determine current Omarchy theme
🌏 Done! Press any key to close... Running omazed setup again still fails with the same error.
View raw text
### System details Omarchy Quattro fresh install ### What's wrong? When installing Zed via Menu > Install > Editor > Zed, `omazed` gets installed, but it shows this error when `omazed setup` gets executed: ``` ==> Omazed installed successfully! 🚀 To complete setup, run: omazed setup This will: • Set up omarchy hook integration (or systemd fallback) • Set the Zed theme once on first run Then change your Omarchy theme and watch Zed follow along! :: Running post-transaction hooks... (1/3) Arming ConditionNeedsUpdate... (2/3) Updating icon theme caches... (3/3) Updating the desktop file MIME type cache... [INFO] Setting up Omazed for user: user [INFO] Removed old omazed hook [SUCCESS] ✓ Omarchy hook configured [WARN] Could not determine current Omarchy theme 🌏 Done! Press any key to close... ``` Running `omazed setup` again still fails with the same error.
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.