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.
Adds info about icloud.com to "Exiting the Mac" section
Reported by cannikin · filed Jul 5, 2025Closed upstream on 2025-07-07. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not 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
Per our Discord discussion, here's a quick take on adding info about giving Apple-ensconced folks access to many of their services via iCloud.com!
Not ready to take the leap?
You can still access many Apple services via icloud.com. Once authenticated, you've got access to a dozen various services/apps, including your files stored in iCloud.
Use web2app to create a .desktop file which can then be found with wofi. Or, to create a SUPER shortcut for quick access, take a look at ~/.config/hypr/hyprland.conf and copy one of the existing binds that use $webapp= as the exec.
Dashboardicons doesn't have icons for any of the Apple services (besides a single "icloud" icon), but if you pick a random .png as a placeholder, you can then replace it in ~/.local/share/applications/icons with the real icon that you can get from right-clicking on one at icloud.com and "Save image as...".
- Mail - https://www.icloud.com/mail
- Contacts - https://www.icloud.com/contacts
- Calendar - https://www.icloud.com/calendar
- Photos - https://www.icloud.com/photos
- Drive - https://www.icloud.com/iclouddrive
- Notes - https://www.icloud.com/notes
- Reminders - https://www.icloud.com/reminders
- Invites - https://www.icloud.com/keynote
- Pages - https://www.icloud.com/pages
- Numbers - https://www.icloud.com/numbers
- Keynote - https://www.icloud.com/keynote
- Find My - https://www.icloud.com/find
Note that if you have Advanced Data Protection enabled you'll need to approve access to these apps from an iPhone/iPad/Mac when you haven't used them in a while.
View raw text
Per our Discord discussion, here's a quick take on adding info about giving Apple-ensconced folks access to many of their services via iCloud.com! --- ## Not ready to take the leap? You can still access many Apple services via [icloud.com](https://www.icloud.com/). Once authenticated, you've got access to a dozen various services/apps, including your files stored in iCloud. Use `web2app` to create a .desktop file which can then be found with wofi. Or, to create a SUPER shortcut for quick access, take a look at `~/.config/hypr/hyprland.conf` and copy one of the existing `bind`s that use `$webapp=` as the exec. [Dashboardicons](https://dashboardicons.com/) doesn't have icons for any of the Apple services (besides a single "icloud" icon), but if you pick a random .png as a placeholder, you can then replace it in `~/.local/share/applications/icons` with the real icon that you can get from right-clicking on one at icloud.com and "Save image as...". * **Mail** - https://www.icloud.com/mail * **Contacts** - https://www.icloud.com/contacts * **Calendar** - https://www.icloud.com/calendar * **Photos** - https://www.icloud.com/photos * **Drive** - https://www.icloud.com/iclouddrive * **Notes** - https://www.icloud.com/notes * **Reminders** - https://www.icloud.com/reminders * **Invites** - https://www.icloud.com/keynote * **Pages** - https://www.icloud.com/pages * **Numbers** - https://www.icloud.com/numbers * **Keynote** - https://www.icloud.com/keynote * **Find My** - https://www.icloud.com/find Note that if you have [Advanced Data Protection](https://support.apple.com/en-us/108756) enabled you'll need to approve access to these apps from an iPhone/iPad/Mac when you haven't used them in a while.
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.