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.
Fixing USB-C/Thunderbolt dock on a ThinkPad T490
Reported by bastnic · filed Aug 14, 2025Closed upstream on 2025-08-22. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
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
Not sure how to share that information, but I was stuck and maybe someone will search for it in issues. Maybe it can be documented in the manual?
Symptom: when I plugged my USB-C/Thunderbolt dock into the T490 (Intel), only the external display worked. Keyboard and mouse didn’t.
Cause: Thunderbolt security blocked the dock’s USB hub until I explicitly authorized it.
Steps I took
- Installed and started the Thunderbolt authorization daemon (`bolt`).
sudo pacman -S --needed bolt
sudo systemctl enable --now bolt- Plugged the dock into the T490’s Thunderbolt port
- Listed Thunderbolt devices and grabbed the dock’s UUID.
The dock shows as connected.
boltctl list- Enrolled the dock so it’s trusted persistently.
(That was the key step that fixed everything.)
sudo boltctl enroll <UUID>- Replugged the dock and verified that keyboard/mouse enumerated.
How I verified it worked
The Keyboard and mouse work \o/.
- The dock shows as authorized:
boltctl list
boltctl info <UUID>- USB devices appear behind xHCI:
lsusb -t- No Thunderbolt authorization errors:
journalctl -u bolt -bView raw text
Not sure how to share that information, but I was stuck and maybe someone will search for it in issues. Maybe it can be documented in the manual? **Symptom:** when I plugged my USB-C/Thunderbolt dock into the T490 (Intel), only the external display worked. Keyboard and mouse didn’t. **Cause:** Thunderbolt security blocked the dock’s USB hub until I explicitly authorized it. ## Steps I took 1. **Installed and started the Thunderbolt authorization daemon (`bolt`).** ```bash sudo pacman -S --needed bolt sudo systemctl enable --now bolt ``` 2. **Plugged the dock into the T490’s Thunderbolt port** 3. **Listed Thunderbolt devices and grabbed the dock’s UUID.** The dock shows as *connected*. ```bash boltctl list ``` 4. **Enrolled the dock so it’s trusted persistently.** (That was the key step that fixed everything.) ```bash sudo boltctl enroll <UUID> ``` 5. **Replugged the dock** and verified that keyboard/mouse enumerated. ## How I verified it worked The Keyboard and mouse work \o/. * The dock shows as *authorized*: ```bash boltctl list boltctl info <UUID> ``` * USB devices appear behind xHCI: ```bash lsusb -t ``` * No Thunderbolt authorization errors: ```bash journalctl -u bolt -b ```
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.