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.
dip kills unrelated processes: pkill -f pattern is unanchored and matches any command line
Reported by nocstah · filed Aug 29, 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
What happened
dip <port> can kill processes that are not SSH port forwards — including the shell it was typed in.
Cause
In default/bash/fns/ssh-port-forwarding, dip() runs:
pkill -f "ssh.*-L ${port}:localhost:${port}" && echo "Stopped forwarding port $port" || echo "No forwarding on port $port"pkill -f matches the pattern against the full command line of every process on the system, not just ssh processes. The pattern is unanchored, so any process whose command line happens to contain that text is killed too.
This is easy to hit unintentionally: a shell running a script that mentions the port, an editor with the string in its arguments, or a terminal whose command line includes the forwarding spec will all match.
What was expected
Only the SSH forward for that port is terminated.
Steps to reproduce
# A process that is not ssh but whose command line contains the pattern
bash -c "exec -a 'notssh -L 9000:localhost:9000' sleep 300" &
dip 9000
# -> reports "Stopped forwarding port 9000" and kills the unrelated processI hit this for real while testing: dip matched the shell running the test — whose command line contained the port string — and killed it.
Fix
Anchor the pattern to an actual ssh process:
pkill -f "^([^ ]*/)?ssh .*-L ${port}:localhost:${port}"lip() has the same unanchored pattern and will likewise list unrelated processes; the same anchor applies:
pgrep -af "^([^ ]*/)?ssh .*-L [0-9]+:localhost:[0-9]+"Verified: with the anchor, a decoy process carrying the same text in its command line survives while the real forward is stopped.
System
- Omarchy 4.0.1-1
/usr/share/omarchy/default/bash/fns/ssh-port-forwarding, line 14
View raw text
## What happened
`dip <port>` can kill processes that are not SSH port forwards — including the shell it was typed in.
## Cause
In `default/bash/fns/ssh-port-forwarding`, `dip()` runs:
```bash
pkill -f "ssh.*-L ${port}:localhost:${port}" && echo "Stopped forwarding port $port" || echo "No forwarding on port $port"
```
`pkill -f` matches the pattern against the **full command line of every process on the system**, not just `ssh` processes. The pattern is unanchored, so any process whose command line happens to contain that text is killed too.
This is easy to hit unintentionally: a shell running a script that mentions the port, an editor with the string in its arguments, or a terminal whose command line includes the forwarding spec will all match.
## What was expected
Only the SSH forward for that port is terminated.
## Steps to reproduce
```bash
# A process that is not ssh but whose command line contains the pattern
bash -c "exec -a 'notssh -L 9000:localhost:9000' sleep 300" &
dip 9000
# -> reports "Stopped forwarding port 9000" and kills the unrelated process
```
I hit this for real while testing: `dip` matched the shell running the test — whose command line contained the port string — and killed it.
## Fix
Anchor the pattern to an actual `ssh` process:
```bash
pkill -f "^([^ ]*/)?ssh .*-L ${port}:localhost:${port}"
```
`lip()` has the same unanchored pattern and will likewise list unrelated processes; the same anchor applies:
```bash
pgrep -af "^([^ ]*/)?ssh .*-L [0-9]+:localhost:[0-9]+"
```
Verified: with the anchor, a decoy process carrying the same text in its command line survives while the real forward is stopped.
## System
- Omarchy 4.0.1-1
- `/usr/share/omarchy/default/bash/fns/ssh-port-forwarding`, line 14
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 09:52 UTC