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-45GitHub issuePublicReceived

Codex CLI 0.157.1 breaks Super+C universal copy in its terminal UI

Reported by jacob-vincent-mink · filed Sep 27, 2026Closed upstream on 2026-10-07 by its own reporter jacob-vincent-mink. GitHub close reason: completed. Closed by its own reporter — not by itself evidence of a fix.

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

Codex CLI 0.157.1 breaks Super+C universal copy in its terminal UIrevision 1 · captured 2026-09-28 21:23 UTC via poll

_ai;dr_ They hooked copy or something in the newest codex. Ctrl+C works in the TUI by explicit instruction from codex, but Super+C no longer works. Tested both in and out of herdr.

Description

With Codex CLI 0.157.1 focused in a terminal, Omarchy's Super+C universal copy shortcut no longer copies selected text as expected. This behavior was reported by a user on Omarchy 4.0.4-1. I verified Omarchy's key mapping and the installed Codex version, but have not independently reproduced the clipboard failure.

Steps to reproduce

  1. Launch Codex CLI 0.157.1 in an Omarchy terminal.
  2. Select text in the Codex interface.
  3. Press Super+C, then paste into another application.

Expected behavior

The selected Codex text should be placed on the clipboard, as Omarchy's universal copy shortcut promises.

Observed behavior

The user reports that Super+C no longer copies text in Codex 0.157.1. The precise terminal and whether direct Ctrl+Shift+C still works have not yet been confirmed.

Relevant Omarchy behavior

default/hypr/bindings/clipboard.lua maps Super+C to Ctrl+Shift+C for terminal-tagged windows, and to Ctrl+C for other windows. The next diagnostic step is to compare Super+C and direct Ctrl+Shift+C with Codex focused, then repeat in another terminal application. This should locate whether the regression is in terminal tagging, shortcut dispatch, or Codex's text selection behavior.

System details

  • Omarchy package: 4.0.4-1
  • Codex CLI: 0.157.1
  • CPU: Intel Core Ultra X7 358H
  • GPU: Intel Arc B390 (Panther Lake)
  • Kernel: 7.2.5-4-omarchy, x86_64
View raw text
__ai;dr__ They hooked copy or something in the newest codex. Ctrl+C works in the TUI by explicit instruction from codex, but Super+C no longer works. Tested both in and out of herdr.

## Description

With Codex CLI 0.157.1 focused in a terminal, Omarchy's `Super+C` universal copy shortcut no longer copies selected text as expected. This behavior was reported by a user on Omarchy 4.0.4-1. I verified Omarchy's key mapping and the installed Codex version, but have not independently reproduced the clipboard failure.

## Steps to reproduce

1. Launch Codex CLI 0.157.1 in an Omarchy terminal.
2. Select text in the Codex interface.
3. Press `Super+C`, then paste into another application.

## Expected behavior

The selected Codex text should be placed on the clipboard, as Omarchy's universal copy shortcut promises.

## Observed behavior

The user reports that `Super+C` no longer copies text in Codex 0.157.1. The precise terminal and whether direct `Ctrl+Shift+C` still works have not yet been confirmed.

## Relevant Omarchy behavior

`default/hypr/bindings/clipboard.lua` maps `Super+C` to `Ctrl+Shift+C` for terminal-tagged windows, and to `Ctrl+C` for other windows. The next diagnostic step is to compare `Super+C` and direct `Ctrl+Shift+C` with Codex focused, then repeat in another terminal application. This should locate whether the regression is in terminal tagging, shortcut dispatch, or Codex's text selection behavior.

## System details

- Omarchy package: 4.0.4-1
- Codex CLI: 0.157.1
- CPU: Intel Core Ultra X7 358H
- GPU: Intel Arc B390 (Panther Lake)
- Kernel: 7.2.5-4-omarchy, x86_64

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.