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-220GitHub issuePublicDecided· Out of scope

Google Meet PiP rule also matches the real meeting window, leaving it pinned and unmaximizable

Reported by GermanGomez182 · filed Sep 21, 2026Closed upstream on 2026-10-12 by the bot omarchybot, as a duplicate (target not recorded).

Decided: Out of scope — decided by agents · verified 3 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

Google Meet PiP rule also matches the real meeting window, leaving it pinned and unmaximizablerevision 1 · captured 2026-09-28 21:23 UTC via poll

Environment

  • Omarchy: 4.0.4-1
  • Kernel: 7.2.5-3-omarchy x86_64
  • Hyprland: 0.56.2 (commit efb5099)
  • CPU: 13th Gen Intel Core i7-1355U
  • GPU: Intel Raptor Lake-P [Iris Xe Graphics]
  • Chromium: 152.0.7977.82
  • Session: Wayland / Hyprland

What happened

default/hypr/apps/pip.lua targets Google Meet's picture-in-picture overlay,
which Chrome titles Meet - <name> rather than "Picture-in-Picture":

-- Google Meet PiP uses the meeting title instead of "Picture-in-Picture".
o.window({ tag = "chromium-based-browser", title = "^Meet - .+" }, {
  tag = "-default-opacity",
  float = true,
  pin = true,
  size = { 600, 338 },
  keep_aspect_ratio = true,
  border_size = 0,
  opacity = "1 1",
  move = { "(monitor_w-window_w-40)", "(monitor_h-window_h-40)" },
})

The pattern ^Meet - .+ also matches the real meeting window, because a
normal browser window is titled Meet - abc-defg-hij - Chromium and the
trailing - Chromium is absorbed by .+.

The meeting window is therefore forced to floating, pinned, and locked to
600x338. Because Hyprland refuses fullscreen on pinned windows, the meeting
cannot be maximized or fullscreened afterwards, and the usual bindings appear
to do nothing.

Expected

Only the actual picture-in-picture overlay should be floated and pinned. The
meeting window itself should tile normally and remain maximizable.

Steps to reproduce

No Google account required. The rule keys purely off the window title, so a
synthetic page with the same title reproduces it exactly:

cat > /tmp/meet-test.html <<'HTML'
<!doctype html><html><head><title>Meet - abc-defg-hij</title></head>
<body>rule test window</body></html>
HTML

chromium --new-window file:///tmp/meet-test.html
hyprctl clients -j | jq '.[] | select(.title|test("Meet - ")) | {title,floating,pinned,size}'

Result:

{
  "title": "Meet - abc-defg-hij - Chromium",
  "floating": true,
  "pinned": true,
  "size": [600, 338]
}

Attempting to fullscreen it reports success but does nothing, since the window
is pinned:

$ hyprctl dispatch "hl.dsp.window.fullscreen({ address = '0x...', mode = 'fullscreen' })"
ok

before: float=true pinned=true fs=0 size=600x338
after:  float=true pinned=true fs=0 size=600x338

Suggested fix

Only the PiP overlay drops the browser name from its title, so the trailing
browser suffix distinguishes the two. Narrowing the original match, or adding a
follow-up rule that re-tiles anything carrying that suffix, both work. I am
running the latter locally:

o.window({
  tag = "chromium-based-browser",
  title = "^Meet - .+ - (Chromium|Google Chrome|Brave|Microsoft.Edge|Vivaldi|Helium)$",
}, {
  tile = true,
})

With that in place the same reproduction gives:

floating=false  pinned=false  size=941x1054
fullscreen  -> fs=2  1920x1080
full width  -> fs=1  1920x1054

and the genuine PiP overlay still floats and pins as intended.

Note: a Meet window opened as an installed web app is unaffected, since its
class (for example chrome-meet.google.com__-Default) does not carry the
chromium-based-browser tag.

View raw text
## Environment

- Omarchy: `4.0.4-1`
- Kernel: `7.2.5-3-omarchy x86_64`
- Hyprland: `0.56.2` (commit `efb5099`)
- CPU: 13th Gen Intel Core i7-1355U
- GPU: Intel Raptor Lake-P [Iris Xe Graphics]
- Chromium: `152.0.7977.82`
- Session: Wayland / Hyprland

## What happened

`default/hypr/apps/pip.lua` targets Google Meet's picture-in-picture overlay,
which Chrome titles `Meet - <name>` rather than "Picture-in-Picture":

```lua
-- Google Meet PiP uses the meeting title instead of "Picture-in-Picture".
o.window({ tag = "chromium-based-browser", title = "^Meet - .+" }, {
  tag = "-default-opacity",
  float = true,
  pin = true,
  size = { 600, 338 },
  keep_aspect_ratio = true,
  border_size = 0,
  opacity = "1 1",
  move = { "(monitor_w-window_w-40)", "(monitor_h-window_h-40)" },
})
```

The pattern `^Meet - .+` also matches the **real meeting window**, because a
normal browser window is titled `Meet - abc-defg-hij - Chromium` and the
trailing ` - Chromium` is absorbed by `.+`.

The meeting window is therefore forced to floating, pinned, and locked to
600x338. Because Hyprland refuses fullscreen on pinned windows, the meeting
cannot be maximized or fullscreened afterwards, and the usual bindings appear
to do nothing.

## Expected

Only the actual picture-in-picture overlay should be floated and pinned. The
meeting window itself should tile normally and remain maximizable.

## Steps to reproduce

No Google account required. The rule keys purely off the window title, so a
synthetic page with the same title reproduces it exactly:

```bash
cat > /tmp/meet-test.html <<'HTML'
<!doctype html><html><head><title>Meet - abc-defg-hij</title></head>
<body>rule test window</body></html>
HTML

chromium --new-window file:///tmp/meet-test.html
hyprctl clients -j | jq '.[] | select(.title|test("Meet - ")) | {title,floating,pinned,size}'
```

Result:

```json
{
  "title": "Meet - abc-defg-hij - Chromium",
  "floating": true,
  "pinned": true,
  "size": [600, 338]
}
```

Attempting to fullscreen it reports success but does nothing, since the window
is pinned:

```
$ hyprctl dispatch "hl.dsp.window.fullscreen({ address = '0x...', mode = 'fullscreen' })"
ok

before: float=true pinned=true fs=0 size=600x338
after:  float=true pinned=true fs=0 size=600x338
```

## Suggested fix

Only the PiP overlay drops the browser name from its title, so the trailing
browser suffix distinguishes the two. Narrowing the original match, or adding a
follow-up rule that re-tiles anything carrying that suffix, both work. I am
running the latter locally:

```lua
o.window({
  tag = "chromium-based-browser",
  title = "^Meet - .+ - (Chromium|Google Chrome|Brave|Microsoft.Edge|Vivaldi|Helium)$",
}, {
  tile = true,
})
```

With that in place the same reproduction gives:

```
floating=false  pinned=false  size=941x1054
fullscreen  -> fs=2  1920x1080
full width  -> fs=1  1920x1054
```

and the genuine PiP overlay still floats and pins as intended.

Note: a Meet window opened as an installed web app is unaffected, since its
class (for example `chrome-meet.google.com__-Default`) does not carry the
`chromium-based-browser` tag.

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 17:02 UTC