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.
Brave-Origin missing from native messaging host registration (yt-dlp + copy-url)
Reported by Baniel83 · filed Sep 9, 2026 · open at source
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?
- AreaOutside the audited area· Decided by agents · verified
- 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?
- Decided by agents and verified by a second, independent agent — see the decision.
Original report
Description
omarchy-install-chromium-ytdlp does not register the native messaging host for the Brave-Origin profile directory (~/.config/BraveSoftware/Brave-Origin). This means the yt-dlp download extension (Alt+Shift+D) and Copy URL silently fail when used in Brave-Origin, even though the extensions are correctly loaded via brave-origin-flags.conf.
Root Cause
/usr/share/omarchy/bin/omarchy-install-chromium-ytdlp defines a browser_dirs array that includes BraveSoftware/Brave-Browser, Brave-Browser-Beta, and Brave-Browser-Nightly, but not BraveSoftware/Brave-Origin.
The same omission exists for Copy URL (also uses native messaging via omarchy-chromium-copy-url-host).
Steps to Reproduce
- Install
brave-origin-binfrom AUR - Open Brave-Origin with a YouTube video playing
- Press Alt+Shift+D (or click the extension toolbar icon)
- Nothing happens — no download notification, no OSD
Expected
yt-dlp downloads the video and shows a notification with a thumbnail.
Workaround
Manually create the native messaging host:
mkdir -p ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts
HOST_PATH="/usr/share/omarchy/bin/omarchy-chromium-ytdlp-host"
sed "s|__HOST_PATH__|\$HOST_PATH|g" /usr/share/omarchy/default/chromium/native-messaging-hosts/com.omarchy.ytdlp.json > ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/com.omarchy.ytdlp.jsonSame for Copy URL:
HOST_PATH="/usr/share/omarchy/bin/omarchy-chromium-copy-url-host"
sed "s|__HOST_PATH__|\$HOST_PATH|g" /usr/share/omarchy/default/chromium/native-messaging-hosts/com.omarchy.copy_url.json > ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/com.omarchy.copy_url.jsonSuggested Fix
Add "\$HOME/.config/BraveSoftware/Brave-Origin" to the browser_dirs array in omarchy-install-chromium-ytdlp (and the equivalent installer for copy-url if it exists separately).
System Info
- Omarchy: 4.0.3-1
- Browser: Brave-Origin (AUR
brave-origin-bin) - Profile path:
~/.config/BraveSoftware/Brave-Origin - Flags file:
~/.config/brave-origin-flags.conf(has--load-extension=...yt-dlp...) ✓ - NativeMessagingHosts: missing ✗
View raw text
## Description `omarchy-install-chromium-ytdlp` does not register the native messaging host for the `Brave-Origin` profile directory (`~/.config/BraveSoftware/Brave-Origin`). This means the yt-dlp download extension (Alt+Shift+D) and Copy URL silently fail when used in Brave-Origin, even though the extensions are correctly loaded via `brave-origin-flags.conf`. ## Root Cause `/usr/share/omarchy/bin/omarchy-install-chromium-ytdlp` defines a `browser_dirs` array that includes `BraveSoftware/Brave-Browser`, `Brave-Browser-Beta`, and `Brave-Browser-Nightly`, but not `BraveSoftware/Brave-Origin`. The same omission exists for Copy URL (also uses native messaging via `omarchy-chromium-copy-url-host`). ## Steps to Reproduce 1. Install `brave-origin-bin` from AUR 2. Open Brave-Origin with a YouTube video playing 3. Press Alt+Shift+D (or click the extension toolbar icon) 4. Nothing happens — no download notification, no OSD ## Expected yt-dlp downloads the video and shows a notification with a thumbnail. ## Workaround Manually create the native messaging host: ```bash mkdir -p ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts HOST_PATH="/usr/share/omarchy/bin/omarchy-chromium-ytdlp-host" sed "s|__HOST_PATH__|\$HOST_PATH|g" /usr/share/omarchy/default/chromium/native-messaging-hosts/com.omarchy.ytdlp.json > ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/com.omarchy.ytdlp.json ``` Same for Copy URL: ```bash HOST_PATH="/usr/share/omarchy/bin/omarchy-chromium-copy-url-host" sed "s|__HOST_PATH__|\$HOST_PATH|g" /usr/share/omarchy/default/chromium/native-messaging-hosts/com.omarchy.copy_url.json > ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/com.omarchy.copy_url.json ``` ## Suggested Fix Add `"\$HOME/.config/BraveSoftware/Brave-Origin"` to the `browser_dirs` array in `omarchy-install-chromium-ytdlp` (and the equivalent installer for copy-url if it exists separately). ## System Info - Omarchy: 4.0.3-1 - Browser: Brave-Origin (AUR `brave-origin-bin`) - Profile path: `~/.config/BraveSoftware/Brave-Origin` - Flags file: `~/.config/brave-origin-flags.conf` (has `--load-extension=...yt-dlp...`) ✓ - NativeMessagingHosts: **missing** ✗
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.
- Out of scopeDecided by agents · verified · 2026-10-09 11:19 UTC