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.
Reminder overlay elides long messages while typing (text is still saved in full)
Reported by mindesbunister · filed Sep 21, 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
System details
n2585 (Arch Linux), Omarchy 4.0.4-1, Quickshell. shell/plugins/reminders/ReminderFlow.qml is byte-identical to upstream quattro.
What's wrong?
In the reminder dialog (omarchy reminder -i, or Super+Ctrl+R) the message shown while typing is cut off once it gets longer than the card. Past roughly the card width you only see the beginning plus "…", so you cannot read the message you are about to submit.
Typed: Dies ist ein sehr langer Reminder-Text der ueber die Kartenbreite hinausgeht und komplett sichtbar sein sollte
- Reminder overlay showed:
Dies ist ein sehr langer R…(see attached before-truncated.png) - The confirmation toast in the top-right showed the full text, so nothing is lost — the reminder is saved and fires in full; only the typing display is truncated.
Steps to recreate
omarchy reminder -i- enter minutes, press Enter
- type a message longer than the card width
- compare the overlay against the top-right confirmation toast (or with
omarchy reminder show)
Cause
shell/plugins/reminders/ReminderFlow.qml: keystrokes are not a real text input — they are accumulated via keyCatcher Keys.onPressed into root.filterText and rendered as a single-line `Text`:
Text {
...
elide: Text.ElideRight // no wrapMode
}inside a card whose cardHeight is fixed to about one line (contentMargin * 2 + headerHeight). Long messages therefore elide; the backend stores and toasts the full string, so this is a display-only bug.
Fix direction (your call)
- smallest:
elide: Text.ElideLeft— keeps the card one line, shows the tail while typing - larger:
wrapMode: Text.Wrap(dropelide), let the card grow with the text height up to the screen, and keep the tail visible on overflow - alternative/longer term: a real
TextEdit(cf. #12338, which does this for the menu search line)
Happy to send a PR for whichever direction you prefer.
Related but different: #12338 (menu search as a real text input), #8176 (numpad keys in the menu/reminder catcher).
View raw text
## System details
n2585 (Arch Linux), Omarchy 4.0.4-1, Quickshell. `shell/plugins/reminders/ReminderFlow.qml` is byte-identical to upstream `quattro`.
## What's wrong?
In the reminder dialog (`omarchy reminder -i`, or Super+Ctrl+R) the message shown while typing is cut off once it gets longer than the card. Past roughly the card width you only see the beginning plus "…", so you cannot read the message you are about to submit.
Typed: `Dies ist ein sehr langer Reminder-Text der ueber die Kartenbreite hinausgeht und komplett sichtbar sein sollte`
- Reminder overlay showed: `Dies ist ein sehr langer R…` (see attached before-truncated.png)
- The confirmation toast in the top-right showed the full text, so nothing is lost — the reminder is saved and fires in full; only the typing display is truncated.
### Steps to recreate
1. `omarchy reminder -i`
2. enter minutes, press Enter
3. type a message longer than the card width
4. compare the overlay against the top-right confirmation toast (or with `omarchy reminder show`)
### Cause
`shell/plugins/reminders/ReminderFlow.qml`: keystrokes are not a real text input — they are accumulated via `keyCatcher` `Keys.onPressed` into `root.filterText` and rendered as a **single-line `Text`**:
```qml
Text {
...
elide: Text.ElideRight // no wrapMode
}
```
inside a card whose `cardHeight` is fixed to about one line (`contentMargin * 2 + headerHeight`). Long messages therefore elide; the backend stores and toasts the full string, so this is a display-only bug.
### Fix direction (your call)
- smallest: `elide: Text.ElideLeft` — keeps the card one line, shows the tail while typing
- larger: `wrapMode: Text.Wrap` (drop `elide`), let the card grow with the text height up to the screen, and keep the tail visible on overflow
- alternative/longer term: a real `TextEdit` (cf. #12338, which does this for the menu search line)
Happy to send a PR for whichever direction you prefer.
Related but different: #12338 (menu search as a real text input), #8176 (numpad keys in the menu/reminder catcher).
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:01 UTC