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.
Fonts Selection and Apply not working
Reported by nightdevil00 · filed Oct 12, 2025Closed upstream on 2025-10-19 by commit ff3d65993ea7 (closed by dhh). GitHub close reason: completed.
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
Lenovo Thinkbook 15p, i7-10750h, Omarchy 3.0.0-RC - Dev Branch
What's wrong?
Hi,
I noticed that in the dev branch, the Fonts Menu is not invoking the omarchy-fonts-list therefore cannot get to omarchy-font-set. When I select the Style>Fonts> it does nothing. Setting the fonts via terminal shows the following output:
~ ❯ omarchy-font
...current ...list ...set
~ ❯ omarchy-font-current
DejaVu
~ ❯ omarchy-font-set Liberation Mono
~ ❯ 2025/10/12 18:24:00 INFO elephant config="not found. using default config"
2025/10/12 18:24:00 INFO config "runprefix autodetect"="uwsm-app --"
2025/10/12 18:24:00 INFO menus config="not found. using default config"
2025/10/12 18:24:00 INFO calc config="not found. using default config"
2025/10/12 18:24:00 INFO providers loaded=calc
~ ❯ 2025/10/12 18:24:00 INFO clipboard config="not found. using default config"
2025/10/12 18:24:00 INFO clipboard history=21 time=1.095408ms
2025/10/12 18:24:00 INFO providers loaded=clipboard
2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/bluetooth.so err="plugin.Open(\"/etc/xdg/elephant/providers/bluetooth\"): plugin was built with a different version of package internal/godebugs"
2025/10/12 18:24:00 INFO desktopapplications config="not found. using default config"
2025/10/12 18:24:00 INFO files config="not found. using default config"
2025/10/12 18:24:00 INFO providers loaded=menus
2025/10/12 18:24:00 INFO providerlist config="not found. using default config"
2025/10/12 18:24:00 INFO providers loaded=providerlist
2025/10/12 18:24:00 INFO desktopapplications files=114 time=48.037891ms
2025/10/12 18:24:00 INFO desktopapplications watcher_dirs=5
2025/10/12 18:24:00 INFO desktopapplications watcher=started
2025/10/12 18:24:00 INFO desktopapplications "desktop files"=114 time=48.808589ms
2025/10/12 18:24:00 INFO providers loaded=desktopapplications
2025/10/12 18:24:00 INFO runner config="not found. using default config"
2025/10/12 18:24:00 ERROR runner load="stat /home/mihai/.local/bin: no such file or directory"
2025/10/12 18:24:00 ERROR runner load="stat /home/mihai/.local/bin: no such file or directory"
2025/10/12 18:24:00 INFO symbols config="not found. using default config"
2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/unicode.so err="plugin.Open(\"/etc/xdg/elephant/providers/unicode\"): plugin was built with a different version of package internal/godebugs"
2025/10/12 18:24:00 INFO runner executables=3471 time=19.277791ms
2025/10/12 18:24:00 INFO providers loaded=runner
2025/10/12 18:24:00 INFO websearch config="not found. using default config"
2025/10/12 18:24:00 INFO providers loaded=websearch
2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/todo.so err="plugin.Open(\"/etc/xdg/elephant/providers/todo\"): plugin was built with a different version of package internal/godebugs"
2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/bluetooth.so err="plugin.Open(\"/etc/xdg/elephant/providers/bluetooth.so\"): plugin was built with a different version of package internal/godebugs (previous failure)"
2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/unicode.so err="plugin.Open(\"/etc/xdg/elephant/providers/unicode.so\"): plugin was built with a different version of package internal/godebugs (previous failure)"
2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/todo.so err="plugin.Open(\"/etc/xdg/elephant/providers/todo.so\"): plugin was built with a different version of package internal/godebugs (previous failure)"
2025/10/12 18:24:00 INFO elephant startup=304.656826ms
2025/10/12 18:24:00 INFO comm listen=starting
2025/10/12 18:24:00 INFO symbols symbols/emojis=1948 time=44.319454ms
2025/10/12 18:24:00 INFO providers loaded=symbols
2025/10/12 18:24:02 INFO files time=1.410837729s
2025/10/12 18:24:02 INFO providers loaded=files
https://github.com/user-attachments/assets/088d23af-c7c5-4d9e-a9bb-144bed8e53c0
View raw text
### System details Lenovo Thinkbook 15p, i7-10750h, Omarchy 3.0.0-RC - Dev Branch ### What's wrong? Hi, I noticed that in the dev branch, the Fonts Menu is not invoking the omarchy-fonts-list therefore cannot get to omarchy-font-set. When I select the Style>Fonts> it does nothing. Setting the fonts via terminal shows the following output: ~ ❯ omarchy-font ...current ...list ...set ~ ❯ omarchy-font-current DejaVu ~ ❯ omarchy-font-set Liberation Mono ~ ❯ 2025/10/12 18:24:00 INFO elephant config="not found. using default config" 2025/10/12 18:24:00 INFO config "runprefix autodetect"="uwsm-app --" 2025/10/12 18:24:00 INFO menus config="not found. using default config" 2025/10/12 18:24:00 INFO calc config="not found. using default config" 2025/10/12 18:24:00 INFO providers loaded=calc ~ ❯ 2025/10/12 18:24:00 INFO clipboard config="not found. using default config" 2025/10/12 18:24:00 INFO clipboard history=21 time=1.095408ms 2025/10/12 18:24:00 INFO providers loaded=clipboard 2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/bluetooth.so err="plugin.Open(\"/etc/xdg/elephant/providers/bluetooth\"): plugin was built with a different version of package internal/godebugs" 2025/10/12 18:24:00 INFO desktopapplications config="not found. using default config" 2025/10/12 18:24:00 INFO files config="not found. using default config" 2025/10/12 18:24:00 INFO providers loaded=menus 2025/10/12 18:24:00 INFO providerlist config="not found. using default config" 2025/10/12 18:24:00 INFO providers loaded=providerlist 2025/10/12 18:24:00 INFO desktopapplications files=114 time=48.037891ms 2025/10/12 18:24:00 INFO desktopapplications watcher_dirs=5 2025/10/12 18:24:00 INFO desktopapplications watcher=started 2025/10/12 18:24:00 INFO desktopapplications "desktop files"=114 time=48.808589ms 2025/10/12 18:24:00 INFO providers loaded=desktopapplications 2025/10/12 18:24:00 INFO runner config="not found. using default config" 2025/10/12 18:24:00 ERROR runner load="stat /home/mihai/.local/bin: no such file or directory" 2025/10/12 18:24:00 ERROR runner load="stat /home/mihai/.local/bin: no such file or directory" 2025/10/12 18:24:00 INFO symbols config="not found. using default config" 2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/unicode.so err="plugin.Open(\"/etc/xdg/elephant/providers/unicode\"): plugin was built with a different version of package internal/godebugs" 2025/10/12 18:24:00 INFO runner executables=3471 time=19.277791ms 2025/10/12 18:24:00 INFO providers loaded=runner 2025/10/12 18:24:00 INFO websearch config="not found. using default config" 2025/10/12 18:24:00 INFO providers loaded=websearch 2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/todo.so err="plugin.Open(\"/etc/xdg/elephant/providers/todo\"): plugin was built with a different version of package internal/godebugs" 2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/bluetooth.so err="plugin.Open(\"/etc/xdg/elephant/providers/bluetooth.so\"): plugin was built with a different version of package internal/godebugs (previous failure)" 2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/unicode.so err="plugin.Open(\"/etc/xdg/elephant/providers/unicode.so\"): plugin was built with a different version of package internal/godebugs (previous failure)" 2025/10/12 18:24:00 ERROR providers load=/etc/xdg/elephant/providers/todo.so err="plugin.Open(\"/etc/xdg/elephant/providers/todo.so\"): plugin was built with a different version of package internal/godebugs (previous failure)" 2025/10/12 18:24:00 INFO elephant startup=304.656826ms 2025/10/12 18:24:00 INFO comm listen=starting 2025/10/12 18:24:00 INFO symbols symbols/emojis=1948 time=44.319454ms 2025/10/12 18:24:00 INFO providers loaded=symbols 2025/10/12 18:24:02 INFO files time=1.410837729s 2025/10/12 18:24:02 INFO providers loaded=files https://github.com/user-attachments/assets/088d23af-c7c5-4d9e-a9bb-144bed8e53c0
- 088d23af-c7c5-4d9e-a9bb-144bed8e53c0
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.