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.
MSI Titan GT77HX: driver packaging and Cooler Boost at 85C
Reported by andyholst · filed Sep 12, 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
Hardware
| Component | Detail |
|---|---|
| Model | MSI Titan GT77HX 13VI |
| CPU | Intel i9-13980HX (24C/32T) |
| dGPU | NVIDIA RTX 4090 Laptop (AD103M, hybrid Optimus) |
| iGPU | Intel UHD (display pipeline through iGPU) |
| Ethernet | Killer E3000 (RTL8125B, 2.5GbE, PCIe) |
| WiFi | Intel Wi-Fi 6E (CNVi, soldered) |
| Storage | Samsung PM9A1 NVMe x2 |
| Card Reader | Realtek RTS5261 |
| Thunderbolt | Maple Ridge 4 |
| EC | MSI Embedded Controller (msi-ec-dkms-git) |
| Boot | Limine (UKI) on Arch Linux |
Problem
Cooler Boost — a binary EC flag for 100% fan duty — is never enabled by Silent or Auto fan curves. The EC keeps fans on a quiet RPM curve even when CPU/GPU exceed 85C. CoolerControl cannot PWM these fans (RPM-only), so it has no way to flip the flag.
Result: thermal throttling under sustained load (rendering, gaming, compile) because the firmware never escalates cooling.
What This Issue Needs
1. Driver Packaging (install/hardware/msi.sh)
Triggered by omarchy-hw-msi (detects MSI laptops via DMI):
| Driver | Package | Why |
|---|---|---|
| EC sysfs | msi-ec-dkms-git | Cooler Boost, fan control, battery thresholds |
| Ethernet | r8125-dkms | Killer E3000 — r8169 has stability bugs, needs blacklist |
| Fan daemon | coolercontrol | Replaces thermald; can't PWM but can trigger Cooler Boost |
| GPU config | nvidia-settings | NVIDIA DPMS, power management |
| Battery thresholds | via msi-ec | Start 60% / end 80% for battery longevity |
Design notes:
- PCI detection reads from OMARCHY_PCI_DEVICES_PATH (sysfs), not lspci — avoids waking suspended GPUs on hybrid laptops (see PR #11259)
- r8169 blacklist is only written when r8125 is already loaded — avoids leaving the system without network
2. Cooler Boost Watcher (Titan GT77HX only)
omarchy-hw-msi-titan gates a dedicated systemd unit:
| Threshold | Action |
|---|---|
| CPU or GPU >= 85C, sustained >30s | Cooler Boost ON (Extreme 100%) |
| Both <= 70C | Cooler Boost OFF (Silent floor) |
| In between | Hysteresis — no change (prevents rapid toggling) |
- A short spike above 85C does not enable Cooler Boost: the temperature must stay at or above 85C for more than 30 seconds (7 consecutive 5s polls). The sustain counter resets on any dip below 85C.
- Verified live on a GT77HX 13VI: first >=85C under 32-thread load at t+13s, flag flipped
off -> onat t+44s (31s sustained), all four EC fans ~2,100 -> ~4,900 RPM; flippedon -> offat the first poll at/under 70C during cooldown.
Polling: 5 seconds (configurable via MSI_COOLER_BOOST_INTERVAL)
Sustain window: 30 seconds (configurable via MSI_COOLER_BOOST_SUSTAIN)
EC path: /sys/devices/platform/msi-ec/cooler_boost
Unit: omarchy-msi-cooler-boost-watch.service
Guard: ConditionPathExists=/sys/devices/platform/msi-ec/cooler_boost
3. MSI Detection Coverage
The omarchy-hw-msi detector covers 14 MSI laptop families:
| Family | Segment |
|---|---|
| Titan | Flagship gaming |
| Stealth | Thin gaming |
| Raider | High-performance gaming |
| Vector | Creator/gaming |
| Crosshair | Budget gaming |
| Summit | Business |
| Creator | Content creation |
| Modern | Mainstream |
| Katana | Budget gaming |
| Cyborg | Budget gaming |
| Pulse | Mid-tier gaming |
| Bravo | AMD gaming |
| Alpha | Entry gaming |
| Prestige | Ultrabook |
Excludes: Desktop boards (MEG, MAG, MPG) that report "Micro-Star International" as vendor but have board names in product_name only, not product_family.
Verification Checklist
Hardware-verified on GT77HX 13VI (the only MSI model available; 2026-09-16):
omarchy-hw-msireturns 0 on MSI Titan (GT77HX 13VI)omarchy-hw-msi-titanreturns 0 on GT77HXr8125-dkmsinstalled,r8169blacklisted,r8125inmodules-load.dcoolercontroldrunning,thermalddisabledomarchy-msi-cooler-boost-watchservice starts aftermulti-user.target(active + enabled)- Watcher flips Cooler Boost ON only after >=85C sustained >30s, OFF at <=70C (verified live: 31s sustained, fans ~2.1k -> ~4.9k RPM)
- All tests pass:
bash test/shell.d/hw-msi-test.sh && bash test/shell.d/msi-cooler-boost-test.sh(45 + 27 assertions)
Covered by stubbed unit tests only — not verifiable on the available hardware (no other MSI/non-MSI machines):
omarchy-hw-msireturns 1 on non-MSI laptops — stubbed DMI tests: ASUS, Dell, Lenovo, HP, Acer, Framework rejected; MSI desktops (MEG/MAG) rejectedomarchy-hw-msi-titanreturns 1 on Stealth/Raider — stubbed DMI testsinstall/hardware/msi.shtriggers only whenomarchy-hw-msipasses — code read + stub tests- Watcher exits cleanly on non-Titan MSI hardware — stubbed DMI test (ASUS); verified it does not touch the EC
r8125behavior on other MSI models — same driver path as this machine, not re-verified on other hardware
Scope Exclusions
- RGB — Cherry MX keyboards on GT77HX are not supported by
msi-perkeyrgb. The tool exits 0 with no effect. RGB must be a separate issue with explicit model support. - Other MSI laptops get driver packaging; only GT77HX gets the Cooler Boost watcher (specific EC layout).
- GRUB — Omarchy uses Limine. No GRUB work in this issue.
Related
- PR #12003 (implementation)
- PR #11259 (sysfs PCI detection pattern)
View raw text
## Hardware | Component | Detail | |-----------|--------| | Model | MSI Titan GT77HX 13VI | | CPU | Intel i9-13980HX (24C/32T) | | dGPU | NVIDIA RTX 4090 Laptop (AD103M, hybrid Optimus) | | iGPU | Intel UHD (display pipeline through iGPU) | | Ethernet | Killer E3000 (RTL8125B, 2.5GbE, PCIe) | | WiFi | Intel Wi-Fi 6E (CNVi, soldered) | | Storage | Samsung PM9A1 NVMe x2 | | Card Reader | Realtek RTS5261 | | Thunderbolt | Maple Ridge 4 | | EC | MSI Embedded Controller (msi-ec-dkms-git) | | Boot | Limine (UKI) on Arch Linux | ## Problem **Cooler Boost** — a binary EC flag for 100% fan duty — is never enabled by Silent or Auto fan curves. The EC keeps fans on a quiet RPM curve even when CPU/GPU exceed 85C. `CoolerControl` cannot PWM these fans (RPM-only), so it has no way to flip the flag. Result: thermal throttling under sustained load (rendering, gaming, compile) because the firmware never escalates cooling. ## What This Issue Needs ### 1. Driver Packaging (`install/hardware/msi.sh`) Triggered by `omarchy-hw-msi` (detects MSI laptops via DMI): | Driver | Package | Why | |--------|---------|-----| | EC sysfs | `msi-ec-dkms-git` | Cooler Boost, fan control, battery thresholds | | Ethernet | `r8125-dkms` | Killer E3000 — r8169 has stability bugs, needs blacklist | | Fan daemon | `coolercontrol` | Replaces `thermald`; can't PWM but can trigger Cooler Boost | | GPU config | `nvidia-settings` | NVIDIA DPMS, power management | | Battery thresholds | via msi-ec | Start 60% / end 80% for battery longevity | **Design notes:** - PCI detection reads from `OMARCHY_PCI_DEVICES_PATH` (sysfs), not `lspci` — avoids waking suspended GPUs on hybrid laptops (see PR #11259) - `r8169` blacklist is only written when `r8125` is already loaded — avoids leaving the system without network ### 2. Cooler Boost Watcher (Titan GT77HX only) `omarchy-hw-msi-titan` gates a dedicated systemd unit: | Threshold | Action | |-----------|--------| | CPU or GPU >= 85C, sustained >30s | Cooler Boost ON (Extreme 100%) | | Both <= 70C | Cooler Boost OFF (Silent floor) | | In between | Hysteresis — no change (prevents rapid toggling) | - A short spike above 85C does **not** enable Cooler Boost: the temperature must stay at or above 85C for more than 30 seconds (7 consecutive 5s polls). The sustain counter resets on any dip below 85C. - Verified live on a GT77HX 13VI: first >=85C under 32-thread load at t+13s, flag flipped `off -> on` at t+44s (31s sustained), all four EC fans ~2,100 -> ~4,900 RPM; flipped `on -> off` at the first poll at/under 70C during cooldown. **Polling:** 5 seconds (configurable via `MSI_COOLER_BOOST_INTERVAL`) **Sustain window:** 30 seconds (configurable via `MSI_COOLER_BOOST_SUSTAIN`) **EC path:** `/sys/devices/platform/msi-ec/cooler_boost` **Unit:** `omarchy-msi-cooler-boost-watch.service` **Guard:** `ConditionPathExists=/sys/devices/platform/msi-ec/cooler_boost` ### 3. MSI Detection Coverage The `omarchy-hw-msi` detector covers 14 MSI laptop families: | Family | Segment | |--------|---------| | Titan | Flagship gaming | | Stealth | Thin gaming | | Raider | High-performance gaming | | Vector | Creator/gaming | | Crosshair | Budget gaming | | Summit | Business | | Creator | Content creation | | Modern | Mainstream | | Katana | Budget gaming | | Cyborg | Budget gaming | | Pulse | Mid-tier gaming | | Bravo | AMD gaming | | Alpha | Entry gaming | | Prestige | Ultrabook | **Excludes:** Desktop boards (MEG, MAG, MPG) that report "Micro-Star International" as vendor but have board names in `product_name` only, not `product_family`. ## Verification Checklist Hardware-verified on GT77HX 13VI (the only MSI model available; 2026-09-16): - [x] `omarchy-hw-msi` returns 0 on MSI Titan (GT77HX 13VI) - [x] `omarchy-hw-msi-titan` returns 0 on GT77HX - [x] `r8125-dkms` installed, `r8169` blacklisted, `r8125` in `modules-load.d` - [x] `coolercontrold` running, `thermald` disabled - [x] `omarchy-msi-cooler-boost-watch` service starts after `multi-user.target` (active + enabled) - [x] Watcher flips Cooler Boost ON only after >=85C sustained >30s, OFF at <=70C (verified live: 31s sustained, fans ~2.1k -> ~4.9k RPM) - [x] All tests pass: `bash test/shell.d/hw-msi-test.sh && bash test/shell.d/msi-cooler-boost-test.sh` (45 + 27 assertions) Covered by stubbed unit tests only — not verifiable on the available hardware (no other MSI/non-MSI machines): - `omarchy-hw-msi` returns 1 on non-MSI laptops — stubbed DMI tests: ASUS, Dell, Lenovo, HP, Acer, Framework rejected; MSI desktops (MEG/MAG) rejected - `omarchy-hw-msi-titan` returns 1 on Stealth/Raider — stubbed DMI tests - `install/hardware/msi.sh` triggers only when `omarchy-hw-msi` passes — code read + stub tests - Watcher exits cleanly on non-Titan MSI hardware — stubbed DMI test (ASUS); verified it does not touch the EC - `r8125` behavior on other MSI models — same driver path as this machine, not re-verified on other hardware ## Scope Exclusions - **RGB** — Cherry MX keyboards on GT77HX are not supported by `msi-perkeyrgb`. The tool exits 0 with no effect. RGB must be a separate issue with explicit model support. - **Other MSI laptops** get driver packaging; only GT77HX gets the Cooler Boost watcher (specific EC layout). - **GRUB** — Omarchy uses Limine. No GRUB work in this issue. ## Related - PR #12003 (implementation) - PR #11259 (sysfs PCI detection pattern)
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 12:21 UTC