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-1598GitHub issuePublicDecided· Out of scope

ipu7-camera.sh misdetects Meteor Lake (IPU6) hardware as IPU7, breaking the webcam

Reported by mhbnielsen · filed Aug 21, 2026 · open at source

Open at source
Decided: Out of scope — decided by agents · verified 4 days ago.

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

ipu7-camera.sh misdetects Meteor Lake (IPU6) hardware as IPU7, breaking the webcamrevision 1 · captured 2026-09-28 21:24 UTC via poll

\install/hardware/intel/ipu7-camera.sh\ detects camera hardware solely by ACPI HID \OVTI08F4\ (the \ov08x40\ sensor) and installs \intel-ipu7-camera\ whenever it matches. But \ov08x40\ is also paired with IPU6 on Meteor Lake (Core Ultra 100-series — e.g. HP Spectre x360 14 with Core Ultra 7 155H), not just IPU7 (Lunar/Panther Lake). On my machine the kernel loads \intel_ipu6\ (confirmed via \lsmod\/\dmesg\), but the installer still installed \intel-ipu7-camera\, which only ships the \ipu75xa.so\ CamHAL plugin. \icamerasrc\ then looks for \ipu6epmtl.so\ (correct for this chip) and fails to load any camera HAL, so \v4l2-relayd@ipu7\ produces a virtual \/dev/video50\ with no actual video — the webcam appears present in every app but shows a black/frozen frame.

Suggested fix: detect the IPU generation directly (e.g. \lspci\ for the IPU PCI device, or check which of \intel_ipu6\/\intel_ipu7\ bound) instead of sensor ACPI HID alone, and install \intel-ipu6-camera-hal-git\ + \icamerasrc-git\ (AUR) for IPU6 systems instead of \intel-ipu7-camera\.

Note: \intel-ipu6-camera-hal-git\ currently fails to build on GCC 16 due to upstream \-Werror\ catching newly-flagged \-Wunused-but-set-variable\ warnings — needed a local patch to build. Separately, on my hardware the IPU6 HAL's \ov08x40-uf.xml\ media-graph config requires a nonexistent \"Intel CVS"\ media entity (that chip isn't populated on this laptop), which also needed a local patch to bypass. Neither of those is Omarchy's bug, but worth knowing if you want the install script to also drop a working config for this sensor/platform combo.

Repro: HP Spectre x360 14, Intel Core Ultra 7 155H (Meteor Lake), \ov08x40\ sensor (ACPI HID \OVTI08F4\).

View raw text
\`install/hardware/intel/ipu7-camera.sh\` detects camera hardware solely by ACPI HID \`OVTI08F4\` (the \`ov08x40\` sensor) and installs \`intel-ipu7-camera\` whenever it matches. But \`ov08x40\` is also paired with **IPU6** on Meteor Lake (Core Ultra 100-series — e.g. HP Spectre x360 14 with Core Ultra 7 155H), not just IPU7 (Lunar/Panther Lake). On my machine the kernel loads \`intel_ipu6\` (confirmed via \`lsmod\`/\`dmesg\`), but the installer still installed \`intel-ipu7-camera\`, which only ships the \`ipu75xa.so\` CamHAL plugin. \`icamerasrc\` then looks for \`ipu6epmtl.so\` (correct for this chip) and fails to load any camera HAL, so \`v4l2-relayd@ipu7\` produces a virtual \`/dev/video50\` with no actual video — the webcam appears present in every app but shows a black/frozen frame.

**Suggested fix:** detect the IPU generation directly (e.g. \`lspci\` for the IPU PCI device, or check which of \`intel_ipu6\`/\`intel_ipu7\` bound) instead of sensor ACPI HID alone, and install \`intel-ipu6-camera-hal-git\` + \`icamerasrc-git\` (AUR) for IPU6 systems instead of \`intel-ipu7-camera\`.

Note: \`intel-ipu6-camera-hal-git\` currently fails to build on GCC 16 due to upstream \`-Werror\` catching newly-flagged \`-Wunused-but-set-variable\` warnings — needed a local patch to build. Separately, on my hardware the IPU6 HAL's \`ov08x40-uf.xml\` media-graph config requires a nonexistent \`"Intel CVS"\` media entity (that chip isn't populated on this laptop), which also needed a local patch to bypass. Neither of those is Omarchy's bug, but worth knowing if you want the install script to also drop a working config for this sensor/platform combo.

Repro: HP Spectre x360 14, Intel Core Ultra 7 155H (Meteor Lake), \`ov08x40\` sensor (ACPI HID \`OVTI08F4\`).

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 08:18 UTC