Proof Portal

Sign in
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-4754GitHub issuePublicReceived

[Bug] Super+J dispatches unsupported togglesplit in Scrolling workspaces

Reported by robinwibom · filed Aug 30, 2026Closed upstream on 2026-09-20 by bjarneo via an automated message, as a duplicate of #7556 (R-1641). GitHub close reason: completed.

Open at source
Received and recorded verbatim. Nothing has been checked yet.

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

[Bug] Super+J dispatches unsupported togglesplit in Scrolling workspacesrevision 1 · captured 2026-10-04 12:03 UTC via poll

What happened

On a workspace using the Scrolling layout, pressing the default Super+J binding produces a runtime Lua error:

no such layoutmsg for scrolling

The binding remains advertised as Toggle window split, but it cannot perform that action in the active layout.

Steps to reproduce

  1. On a workspace, press Super+L to switch the workspace layout to Scrolling.
  2. Open at least two tiled windows.
  3. Press Super+J.

Expected behavior

The unsupported action should be handled gracefully: either show a clear notification that split toggling is only available in Dwindle, or dispatch an action supported by Scrolling. It should not surface a Lua runtime error.

For Dwindle, the intended behavior is to toggle the split between side-by-side and stacked orientations.

Observations

Omarchy's stock binding is:

o.bind("SUPER + J", "Toggle window split", hl.dsp.layout("togglesplit"))

togglesplit is a Dwindle layout message. Omarchy's Super+L command toggles layouts per workspace, so the global general:layout = dwindle setting does not prevent a workspace from being Scrolling. The keybinding is still installed unchanged in that workspace.

The affected machine had saved workspace layout overrides for workspaces 1 and 3:

~/.local/state/omarchy/workspace-layouts/1.lua -> scrolling
~/.local/state/omarchy/workspace-layouts/3.lua -> scrolling

System

  • Omarchy: 4.0.1-1
  • Hyprland: 0.56.2
  • Kernel: 7.1.9-arch1-2
  • GPU: NVIDIA GeForce RTX 4070, driver 610.57.04
  • Display: HDMI-A-1, 3840x2160

A diagnostic log was generated with omarchy-debug --no-sudo --print; the local file is /tmp/omarchy-debug.log.

View raw text
## What happened

On a workspace using the Scrolling layout, pressing the default `Super+J` binding produces a runtime Lua error:

    no such layoutmsg for scrolling

The binding remains advertised as `Toggle window split`, but it cannot perform that action in the active layout.

## Steps to reproduce

1. On a workspace, press `Super+L` to switch the workspace layout to Scrolling.
2. Open at least two tiled windows.
3. Press `Super+J`.

## Expected behavior

The unsupported action should be handled gracefully: either show a clear notification that split toggling is only available in Dwindle, or dispatch an action supported by Scrolling. It should not surface a Lua runtime error.

For Dwindle, the intended behavior is to toggle the split between side-by-side and stacked orientations.

## Observations

Omarchy's stock binding is:

    o.bind("SUPER + J", "Toggle window split", hl.dsp.layout("togglesplit"))

`togglesplit` is a Dwindle layout message. Omarchy's `Super+L` command toggles layouts per workspace, so the global `general:layout = dwindle` setting does not prevent a workspace from being Scrolling. The keybinding is still installed unchanged in that workspace.

The affected machine had saved workspace layout overrides for workspaces 1 and 3:

    ~/.local/state/omarchy/workspace-layouts/1.lua -> scrolling
    ~/.local/state/omarchy/workspace-layouts/3.lua -> scrolling

## System

- Omarchy: 4.0.1-1
- Hyprland: 0.56.2
- Kernel: 7.1.9-arch1-2
- GPU: NVIDIA GeForce RTX 4070, driver 610.57.04
- Display: HDMI-A-1, 3840x2160

A diagnostic log was generated with `omarchy-debug --no-sudo --print`; the local file is `/tmp/omarchy-debug.log`.

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.