Proof Portal

Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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.

Inbox
ReportR-5264GitHub issuePublicDecided· Out of scope

Brave Origin: yt-dlp (Alt+Shift+D) and Copy URL (Alt+Shift+L) extensions silently fail — native messaging host not installed

Reported by bru65pag · filed Oct 9, 2026 · open at source

Decided: Out of scope — decided by agents · verified 2 days ago.

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

Brave Origin: yt-dlp (Alt+Shift+D) and Copy URL (Alt+Shift+L) extensions silently fail — native messaging host not installedrevision 1 · captured 2026-10-09 12:22 UTC via poll

What happened

The "Download Video" (yt-dlp, Alt+Shift+D) and "Copy URL" (Alt+Shift+L) extensions load correctly in Brave Origin — the keyboard shortcuts show up and are bound in chrome://extensions/shortcuts — but pressing either does nothing: no download starts, nothing is copied, no notification appears.

Root cause

omarchy-install-chromium-ytdlp and omarchy-install-chromium-copy-url each hard-code a list of browser profile directories to install the native-messaging-host manifest into:

browser_dirs=(
  "$HOME/.config/chromium"
  "$HOME/.config/google-chrome"
  "$HOME/.config/google-chrome-beta"
  "$HOME/.config/google-chrome-unstable"
  "$HOME/.config/BraveSoftware/Brave-Browser"
  "$HOME/.config/BraveSoftware/Brave-Browser-Beta"
  "$HOME/.config/BraveSoftware/Brave-Browser-Nightly"
  "$HOME/.config/microsoft-edge"
  "$HOME/.config/microsoft-edge-dev"
)

$HOME/.config/BraveSoftware/Brave-Origin is missing from both lists, even though omarchy install browser brave-origin is a supported option in omarchy-install-browser and does add the --load-extension=... flags (copy-url, yt-dlp, whatsapp-slim) to ~/.config/brave-origin-flags.conf.

Net effect: the extensions load and register their keyboard shortcuts in Brave Origin, but chrome.runtime.sendNativeMessage(...) has no manifest to resolve, so both commands fail silently (the extension code ignores chrome.runtime.lastError).

Confirmed on disk:

$ ls ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/
(empty)

$ ls ~/.config/BraveSoftware/Brave-Browser/NativeMessagingHosts/
com.omarchy.copy_url.json  com.omarchy.ytdlp.json

Secondary observation (may be a separate/related typo)

The backfill migration migrations/1780517689.sh (adds the yt-dlp --load-extension flag to existing flags files) lists brave-origin-beta but not plain brave-origin:

for conf in chromium chrome google-chrome brave brave-beta brave-nightly brave-origin-beta microsoft-edge-stable; do

This didn't affect my case (my brave-origin-flags.conf already had the extension via a fresh omarchy install browser brave-origin), but it means a pre-existing Brave Origin install that predates the yt-dlp extension would never get backfilled either.

Expected

Both omarchy-install-chromium-ytdlp and omarchy-install-chromium-copy-url should also populate $HOME/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/, and the migration should include brave-origin (not just brave-origin-beta).

Steps to reproduce

  1. omarchy install browser brave-origin
  2. Launch Brave Origin, open any page
  3. Press Alt+Shift+D (or Alt+Shift+L)
  4. Nothing happens. Compare ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/ (empty) against ~/.config/BraveSoftware/Brave-Browser/NativeMessagingHosts/ (has both manifests, if Brave proper is also installed)

Workaround

Manually copy the two native-messaging manifests into the missing directory, substituting __HOST_PATH__ with the real host script path:

mkdir -p ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts
sed "s|__HOST_PATH__|/usr/share/omarchy/bin/omarchy-chromium-ytdlp-host|g" \
  /usr/share/omarchy/default/chromium/native-messaging-hosts/com.omarchy.ytdlp.json \
  > ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/com.omarchy.ytdlp.json
sed "s|__HOST_PATH__|/usr/share/omarchy/bin/omarchy-chromium-copy-url-host|g" \
  /usr/share/omarchy/default/chromium/native-messaging-hosts/com.omarchy.copy_url.json \
  > ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/com.omarchy.copy_url.json

Then fully quit and relaunch Brave Origin.

System details

  • Omarchy: 4.0.4-1
  • Kernel: 7.2.5-3-omarchy
  • Desktop: Hyprland 0.56.2
  • CPU: AMD Ryzen 5 5500U with Radeon Graphics
  • GPU: AMD Lucienne (Vega, amdgpu)
  • Machine: Lenovo IdeaPad Flex 5 14ALC05
  • brave-origin-bin 1:1.96.61-1
View raw text
### What happened

The "Download Video" (yt-dlp, Alt+Shift+D) and "Copy URL" (Alt+Shift+L) extensions load correctly in **Brave Origin** — the keyboard shortcuts show up and are bound in `chrome://extensions/shortcuts` — but pressing either does nothing: no download starts, nothing is copied, no notification appears.

### Root cause

`omarchy-install-chromium-ytdlp` and `omarchy-install-chromium-copy-url` each hard-code a list of browser profile directories to install the native-messaging-host manifest into:

```
browser_dirs=(
  "$HOME/.config/chromium"
  "$HOME/.config/google-chrome"
  "$HOME/.config/google-chrome-beta"
  "$HOME/.config/google-chrome-unstable"
  "$HOME/.config/BraveSoftware/Brave-Browser"
  "$HOME/.config/BraveSoftware/Brave-Browser-Beta"
  "$HOME/.config/BraveSoftware/Brave-Browser-Nightly"
  "$HOME/.config/microsoft-edge"
  "$HOME/.config/microsoft-edge-dev"
)
```

`$HOME/.config/BraveSoftware/Brave-Origin` is missing from both lists, even though `omarchy install browser brave-origin` is a supported option in `omarchy-install-browser` and does add the `--load-extension=...` flags (copy-url, yt-dlp, whatsapp-slim) to `~/.config/brave-origin-flags.conf`.

Net effect: the extensions load and register their keyboard shortcuts in Brave Origin, but `chrome.runtime.sendNativeMessage(...)` has no manifest to resolve, so both commands fail silently (the extension code ignores `chrome.runtime.lastError`).

Confirmed on disk:
```
$ ls ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/
(empty)

$ ls ~/.config/BraveSoftware/Brave-Browser/NativeMessagingHosts/
com.omarchy.copy_url.json  com.omarchy.ytdlp.json
```

### Secondary observation (may be a separate/related typo)

The backfill migration `migrations/1780517689.sh` (adds the yt-dlp `--load-extension` flag to existing flags files) lists `brave-origin-beta` but not plain `brave-origin`:
```
for conf in chromium chrome google-chrome brave brave-beta brave-nightly brave-origin-beta microsoft-edge-stable; do
```
This didn't affect my case (my `brave-origin-flags.conf` already had the extension via a fresh `omarchy install browser brave-origin`), but it means a pre-existing Brave Origin install that predates the yt-dlp extension would never get backfilled either.

### Expected

Both `omarchy-install-chromium-ytdlp` and `omarchy-install-chromium-copy-url` should also populate `$HOME/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/`, and the migration should include `brave-origin` (not just `brave-origin-beta`).

### Steps to reproduce

1. `omarchy install browser brave-origin`
2. Launch Brave Origin, open any page
3. Press `Alt+Shift+D` (or `Alt+Shift+L`)
4. Nothing happens. Compare `~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/` (empty) against `~/.config/BraveSoftware/Brave-Browser/NativeMessagingHosts/` (has both manifests, if Brave proper is also installed)

### Workaround

Manually copy the two native-messaging manifests into the missing directory, substituting `__HOST_PATH__` with the real host script path:
```bash
mkdir -p ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts
sed "s|__HOST_PATH__|/usr/share/omarchy/bin/omarchy-chromium-ytdlp-host|g" \
  /usr/share/omarchy/default/chromium/native-messaging-hosts/com.omarchy.ytdlp.json \
  > ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/com.omarchy.ytdlp.json
sed "s|__HOST_PATH__|/usr/share/omarchy/bin/omarchy-chromium-copy-url-host|g" \
  /usr/share/omarchy/default/chromium/native-messaging-hosts/com.omarchy.copy_url.json \
  > ~/.config/BraveSoftware/Brave-Origin/NativeMessagingHosts/com.omarchy.copy_url.json
```
Then fully quit and relaunch Brave Origin.

### System details

- Omarchy: 4.0.4-1
- Kernel: 7.2.5-3-omarchy
- Desktop: Hyprland 0.56.2
- CPU: AMD Ryzen 5 5500U with Radeon Graphics
- GPU: AMD Lucienne (Vega, amdgpu)
- Machine: Lenovo IdeaPad Flex 5 14ALC05
- `brave-origin-bin` 1:1.96.61-1

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 23:35 UTC