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-1113GitHub issuePublicFixed

CJK font fallback always selects Korean variant regardless of locale

Reported by usutani · filed Sep 1, 2026 · open at source

Open at source
Decided: Out of scope — decided by agents · verified 3 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

CJK font fallback always selects Korean variant regardless of localerevision 1 · captured 2026-09-28 21:24 UTC via poll

System details

Omarchy v4.0.2-1, Foot, JetBrainsMono Nerd Font
LANG=en_US.UTF-8 (default)

What's wrong?

CJK characters (e.g., "全", "骨", "円") always render with Korean variant (Noto Sans CJK KR) regardless of the user's locale. The sans-serif fallback chain in 65-nonlatin.conf only includes Noto Sans CJK KR, but not other CJK variants (JP, SC, TC, HK).

Steps to reproduce

  1. Use default settings on Omarchy v4.0.2-1 (LANG=en_US.UTF-8)
  2. Display "全" in Foot terminal → Korean variant
  3. Type "全" in Chrome omnibox input field → Korean variant
View raw text
## System details

```
Omarchy v4.0.2-1, Foot, JetBrainsMono Nerd Font
LANG=en_US.UTF-8 (default)
```

## What's wrong?

CJK characters (e.g., "全", "骨", "円") always render with Korean variant (Noto Sans CJK KR) regardless of the user's locale. The sans-serif fallback chain in 65-nonlatin.conf only includes Noto Sans CJK KR, but not other CJK variants (JP, SC, TC, HK).

### Steps to reproduce

1. Use default settings on Omarchy v4.0.2-1 (LANG=en_US.UTF-8)
2. Display "全" in Foot terminal → Korean variant
3. Type "全" in Chrome omnibox input field → Korean variant

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/9969· 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:25 UTC