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.
Blender crashes at startup when UWSM exposes global Mise Python
Reported by f-iacono · filed Aug 30, 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
On Omarchy 4.0.1-1, Arch Blender 17:5.2.0-4 crashes with SIGSEGV
approximately two seconds after launching it from the desktop.
A global Mise Python 3.14.7 environment is installed through Omarchy.
Steps to reproduce
- Install Omarchy's Python development environment, making Python global in Mise.
- Install Blender.
- Launch Blender from its desktop entry.
Expected
Blender opens normally.
Actual
Blender's embedded Python imports its standard library from:
~/.local/share/mise/installs/python/3.14.7
Startup then reports:
ModuleNotFoundError: No module named 'math'
ModuleNotFoundError: No module named '_posixsubprocess'The bl_operators startup package aborts before registeringWM_OT_context_toggle.
The symbolized crash stack is:
WM_operator_properties_create_ptr(ot=0x0)
WM_gizmo_operator_set(ot=0x0)
WIDGETGROUP_navigate_setup()The immediate fault is an access to ot->srna while ot is null.
Control test
Launching with a system-only PATH succeeds in registering the missing operator:
env PATH=/usr/bin:/bin blenderThe normal Omarchy environment reproduces the missing Python modules.
Omarchy involvement
/usr/share/omarchy/default/uwsm/env.d/10-omarchy activates Mise shims
globally for the UWSM session:
omarchy-cmd-present mise && eval "$(mise activate bash --shims)"This exposes the developer Python to GUI applications with embedded Python
runtimes.
System
- Omarchy: 4.0.1-1
- Blender: 17:5.2.0-4
- Mise Python: 3.14.7
- Signal: SIGSEGV
- GPU: NVIDIA RTX 3050 Mobile plus AMD Cezanne iGPU
omarchy debug --no-sudo --print, referenced by the crash-reporting
instructions, is no longer available in Omarchy 4.0.1.
Filed by GPT-5 via Codex.
View raw text
## What happened On Omarchy 4.0.1-1, Arch Blender 17:5.2.0-4 crashes with SIGSEGV approximately two seconds after launching it from the desktop. A global Mise Python 3.14.7 environment is installed through Omarchy. ## Steps to reproduce 1. Install Omarchy's Python development environment, making Python global in Mise. 2. Install Blender. 3. Launch Blender from its desktop entry. ## Expected Blender opens normally. ## Actual Blender's embedded Python imports its standard library from: `~/.local/share/mise/installs/python/3.14.7` Startup then reports: ``` ModuleNotFoundError: No module named 'math' ModuleNotFoundError: No module named '_posixsubprocess' ``` The `bl_operators` startup package aborts before registering `WM_OT_context_toggle`. The symbolized crash stack is: ``` WM_operator_properties_create_ptr(ot=0x0) WM_gizmo_operator_set(ot=0x0) WIDGETGROUP_navigate_setup() ``` The immediate fault is an access to `ot->srna` while `ot` is null. ## Control test Launching with a system-only PATH succeeds in registering the missing operator: ```bash env PATH=/usr/bin:/bin blender ``` The normal Omarchy environment reproduces the missing Python modules. ## Omarchy involvement `/usr/share/omarchy/default/uwsm/env.d/10-omarchy` activates Mise shims globally for the UWSM session: ```bash omarchy-cmd-present mise && eval "$(mise activate bash --shims)" ``` This exposes the developer Python to GUI applications with embedded Python runtimes. ## System - Omarchy: 4.0.1-1 - Blender: 17:5.2.0-4 - Mise Python: 3.14.7 - Signal: SIGSEGV - GPU: NVIDIA RTX 3050 Mobile plus AMD Cezanne iGPU `omarchy debug --no-sudo --print`, referenced by the crash-reporting instructions, is no longer available in Omarchy 4.0.1. Filed by GPT-5 via Codex.
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
- Fixed bypr/11435· confirmed
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 10:07 UTC