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.
Migration 1781587663 silently fails — remote_clipboard.lua missing from omarchy-nvim package
Reported by JJDizz1L · filed Jun 26, 2026Closed upstream on 2026-07-18 by dhh. 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
Summary
Migration 1781587663.sh (commit 2b95eddf) adds remote clipboard support for Neovim over OSC 52. The tmux half works (terminal feature for *:clipboard is added to tmux.conf). The Neovim half silently fails because the source file it copies — /usr/share/omarchy-nvim/config/lua/config/remote_clipboard.lua — was never shipped in any released omarchy-nvim package.
Evidence
omarchy-nvim 2026.4.23-1installed — the file does not exist at the expected path- The
remote_clipboard.luasource file was later added toomacom-io/omarchy-pkgsatpkgbuilds/omarchy-nvim/lua/config/remote_clipboard.lua(275 lines, full Wayland + headless clipboard provider) - The PKGBUILD was also updated to bake
require("config.remote_clipboard").setup()into the pre-builtoptions.lua, but no package release has shipped this - The migration marker exists at
~/.local/state/omarchy/migrations/1781587663.sh, soomarchy-migrate --pendingwill not re-run it
Impact
Users who installed Omarchy from the ISO or before the package rebuild get:
- No remote_clipboard.lua in their Neovim config
- No require("config.remote_clipboard").setup() in options.lua
- Silent failure — no error is logged because the install command in the migration does not trigger bash -euo pipefail (the source path simply doesn't exist, and the failure is absorbed)
What needs to happen
- Rebuild and release
omarchy-nvimwith the current source that includesremote_clipboard.luaand the baked-in require line - OR either ship
remote_clipboard.luainside the migration itself (self-contained), or update the migration to create the file inline
References
- Migration:
migrations/1781587663.shinbasecamp/omarchy - Source file:
pkgbuilds/omarchy-nvim/lua/config/remote_clipboard.luainomacom-io/omarchy-pkgs
View raw text
## Summary
Migration `1781587663.sh` (commit `2b95eddf`) adds remote clipboard support for Neovim over OSC 52. The tmux half works (terminal feature for `*:clipboard` is added to `tmux.conf`). The Neovim half silently fails because the source file it copies — `/usr/share/omarchy-nvim/config/lua/config/remote_clipboard.lua` — was never shipped in any released `omarchy-nvim` package.
## Evidence
- `omarchy-nvim 2026.4.23-1` installed — the file does not exist at the expected path
- The `remote_clipboard.lua` source file was later added to `omacom-io/omarchy-pkgs` at `pkgbuilds/omarchy-nvim/lua/config/remote_clipboard.lua` (275 lines, full Wayland + headless clipboard provider)
- The PKGBUILD was also updated to bake `require("config.remote_clipboard").setup()` into the pre-built `options.lua`, but no package release has shipped this
- The migration marker exists at `~/.local/state/omarchy/migrations/1781587663.sh`, so `omarchy-migrate --pending` will not re-run it
## Impact
Users who installed Omarchy from the ISO or before the package rebuild get:
- No `remote_clipboard.lua` in their Neovim config
- No `require("config.remote_clipboard").setup()` in `options.lua`
- Silent failure — no error is logged because the `install` command in the migration does not trigger `bash -euo pipefail` (the source path simply doesn't exist, and the failure is absorbed)
## What needs to happen
1. Rebuild and release `omarchy-nvim` with the current source that includes `remote_clipboard.lua` and the baked-in require line
2. OR either ship `remote_clipboard.lua` inside the migration itself (self-contained), or update the migration to create the file inline
## References
- Migration: `migrations/1781587663.sh` in `basecamp/omarchy`
- Source file: `pkgbuilds/omarchy-nvim/lua/config/remote_clipboard.lua` in `omacom-io/omarchy-pkgs`
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.