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-3548GitHub issuePublicReceived
key "F0134EE680CAC571" could not be looked up remotely
Reported by yapus · filed Oct 28, 2025Closed upstream on 2026-02-01 by dhh, as a duplicate of #2916 (R-3548). GitHub close reason: completed.
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
key "F0134EE680CAC571" could not be looked up remotelyrevision 1 · captured 2026-10-04 11:42 UTC via poll
System details
Intel 285H, NVIDIA 5080
What's wrong?
sudo pacman -Su
:: Starting full system upgrade...
resolving dependencies...
looking for conflicting packages...
Package (18) Old Version New Version Net Change
omarchy/aether 2.12.2-1 2.13.1-1 0.11 MiB
omarchy/elephant 2.6.1-1 2.7.2-1 0.95 MiB
omarchy/elephant-bluetooth 2.6.1-1 2.7.2-1 1.16 MiB
omarchy/elephant-calc 2.6.1-1 2.7.2-1 1.17 MiB
omarchy/elephant-clipboard 2.6.1-1 2.7.2-1 1.12 MiB
omarchy/elephant-desktopapplications 2.6.1-1 2.7.2-1 1.17 MiB
omarchy/elephant-files 2.6.1-1 2.7.2-1 8.86 MiB
omarchy/elephant-menus 2.6.1-1 2.7.2-1 1.18 MiB
omarchy/elephant-providerlist 2.6.1-1 2.7.2-1 1.33 MiB
omarchy/elephant-runner 2.6.1-1 2.7.2-1 1.18 MiB
omarchy/elephant-symbols 2.6.1-1 2.7.2-1 1.16 MiB
omarchy/elephant-todo 2.6.1-1 2.7.2-1 1.17 MiB
omarchy/elephant-unicode 2.6.1-1 2.7.2-1 1.17 MiB
omarchy/elephant-websearch 2.6.1-1 2.7.2-1 1.18 MiB
omarchy/gpu-screen-recorder r1184.8c42c47-1 r1187.7d4a406-1 0.00 MiB
omarchy/hyprshade 4.0.0-1 0.04 MiB
omarchy/omarchy-nvim 2025.10.14.20251024.060148-1 2025.10.27-1 0.22 MiB
omarchy/walker 2.6.2-1 2.7.0-1 0.01 MiB
Total Installed Size: 288.55 MiB
Net Upgrade Size: 23.18 MiB
:: Proceed with installation? [Y/n]
(18/18) checking keys in keyring [----------------------------------] 100%
downloading required keys...
:: Import PGP key F0134EE680CAC571, "Unknown Packager"? [Y/n]
error: key "F0134EE680CAC571" could not be looked up remotely
error: required key missing from keyring
error: failed to commit transaction (unexpected error)
Errors occurred, no packages were upgraded.View raw text
### System details Intel 285H, NVIDIA 5080 ### What's wrong? ``` sudo pacman -Su :: Starting full system upgrade... resolving dependencies... looking for conflicting packages... Package (18) Old Version New Version Net Change omarchy/aether 2.12.2-1 2.13.1-1 0.11 MiB omarchy/elephant 2.6.1-1 2.7.2-1 0.95 MiB omarchy/elephant-bluetooth 2.6.1-1 2.7.2-1 1.16 MiB omarchy/elephant-calc 2.6.1-1 2.7.2-1 1.17 MiB omarchy/elephant-clipboard 2.6.1-1 2.7.2-1 1.12 MiB omarchy/elephant-desktopapplications 2.6.1-1 2.7.2-1 1.17 MiB omarchy/elephant-files 2.6.1-1 2.7.2-1 8.86 MiB omarchy/elephant-menus 2.6.1-1 2.7.2-1 1.18 MiB omarchy/elephant-providerlist 2.6.1-1 2.7.2-1 1.33 MiB omarchy/elephant-runner 2.6.1-1 2.7.2-1 1.18 MiB omarchy/elephant-symbols 2.6.1-1 2.7.2-1 1.16 MiB omarchy/elephant-todo 2.6.1-1 2.7.2-1 1.17 MiB omarchy/elephant-unicode 2.6.1-1 2.7.2-1 1.17 MiB omarchy/elephant-websearch 2.6.1-1 2.7.2-1 1.18 MiB omarchy/gpu-screen-recorder r1184.8c42c47-1 r1187.7d4a406-1 0.00 MiB omarchy/hyprshade 4.0.0-1 0.04 MiB omarchy/omarchy-nvim 2025.10.14.20251024.060148-1 2025.10.27-1 0.22 MiB omarchy/walker 2.6.2-1 2.7.0-1 0.01 MiB Total Installed Size: 288.55 MiB Net Upgrade Size: 23.18 MiB :: Proceed with installation? [Y/n] (18/18) checking keys in keyring [----------------------------------] 100% downloading required keys... :: Import PGP key F0134EE680CAC571, "Unknown Packager"? [Y/n] error: key "F0134EE680CAC571" could not be looked up remotely error: required key missing from keyring error: failed to commit transaction (unexpected error) Errors occurred, no packages were upgraded. ```
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.