Proof Portal

Omarchy

ProbeLabsviewing a historical run

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.

Viewing historical run 5d44594Sep 29, 2026, 09:31 AMpr/12223Back to current

Requirements Explorer

Every requirement as authored at the pinned historical run, with the analysis results that run recorded.

Requirements

STK 2 · SYS 14 · SW 64 · INT 0

Meets verification policy

80 / 80

all requirements

With tests

98%

78 of 80

With docs

—

not reconstructible for a historical run

Coverage gaps

policy-required missing traces

Level

Group by

Expand to

Showing 80 of 80

Requirement	Component	Level	Status	Assurance	Formalized	Coverage	Findings
STKThe user shall lock the session on demandSTK-REQ-260912-XJ5D	lock	STK	review	C	–	?T?	0
SYSThe system shall report the compositor session-lock state…SYS-REQ-260912-FRG0	lock	SYS	review	C		?T?	0
SWomarchy-hyprland-session-locked shall exit 0 when any…SW-REQ-260912-EH0K	lock	SW	review	C		?T?	0
SWWhen the stranded-lock probe exits 0, the shell lock…SW-REQ-260912-WJYM	lock	SW	review	C		?T?	0
SYSWhile an Omarchy update runs, the system shall hold an…SYS-REQ-260912-H8A5	lock	SYS	review	C		?T?	0
SWomarchy-update-lock held shall exit 0 only when…SW-REQ-260912-0Y70	lock	SW	review	C		?T?	0
SWomarchy-update-lock run shall open the update lock file on…SW-REQ-260912-FVHS	lock	SW	review	C		?T?	0
SYSWhen suspend is imminent, the system shall request the…SYS-REQ-260912-HC86	lock	SYS	review	C		?T?	0
SWomarchy-system-sleep-lock shall derive the wait budget from…SW-REQ-260912-FAWV	lock	SW	review	C		?T?	0
SWomarchy-system-sleep-lock shall request the session lock…SW-REQ-260912-GGGS	lock	SW	review	C		?T?	0
SWWhen the budget expires before the session reports secure,…SW-REQ-260912-H2YF	lock	SW	review	C		?T?	0
SYSThe system shall install the PAM password stack for the…SYS-REQ-260912-JW2J	lock	SYS	review	C		?T?	0
SWWhen omarchy-apply-lock runs with EUID 0, it shall replace…SW-REQ-260912-EKJP	lock	SW	review	C		?T?	0
SWomarchy-apply-lock shall test fingerprint enrollment by…SW-REQ-260912-S154	lock	SW	review	C		?T?	0
SWWhen the target user has no enrolled fingerprint or…SW-REQ-260912-Y0WT	lock	SW	review	C		?T?	0
SYSWhen the user locks the session, the system shall engage…SYS-REQ-260912-T0XP	lock	SYS	review	C		?T?	0
SWWhen a fingerprint sensor is configured, the lock view…SW-REQ-260912-41VV	lock	SW	review	C		?T?	0
SWWhen the lock IPC handler receives a lock request and…SW-REQ-260912-J8SX	lock	SW	review	C		?T?	0
SWWhen the user locks the session and the ttfx screensaver is…SW-REQ-260912-MXQG	lock	SW	review	C		?T?	0
SWWhile the session is locked and the idle blank timer…SW-REQ-260912-ND55	lock	SW	review	C		?T?	0
SWWhen the entered password text is wider than the password…SW-REQ-260912-WBS3	lock	SW	review	C		?T?	0
STKUsers reach system actions, settings, and applications…STK-REQ-260922-XTNR	menu	STK	draft	C	–	?T?	0
SYSDynamic rows (apps, provider enumerations) replace their…SYS-REQ-260922-0M8A	menu	SYS	draft	C		?T?	0
SWswapProviderRows drops exactly the rows carrying the re-run…SW-REQ-260922-EFNR	menu	SW	draft	C		?T?	0
SWmergeAppRows and swapProviderRows return fresh maps that…SW-REQ-260922-Z680	menu	SW	draft	C		?T?	0
SYSAll when/checked/disabled expressions evaluate in one…SYS-REQ-260922-47T8	menu	SYS	draft	C		?T?	0
SWOnly the plain $(reader) form is rewritten to the captured…SW-REQ-260922-2JZT	menu	SW	draft	C		?T?	0
SWA guard batch that exits nonzero or by signal is discarded…SW-REQ-260922-4079	menu	SW	draft	C		?T?	0
SWApplied guard results drive the viewSW-REQ-260922-JRW1	menu	SW	draft	C		?T?	0
SWThe generated guard script holds exactly one if-line per…SW-REQ-260922-MQ37	menu	SW	draft	C		?T?	0
SWThe prelude's omarchy-pkg-present/missing shadows agree…SW-REQ-260922-RGCV	menu	SW	draft	C		?T?	0
SWA value command shared by several guards (eSW-REQ-260922-W17G	menu	SW	draft	C		?T?	0
SWWhen no item declares a guard, the guard script is empty…SW-REQ-260922-Y58B	menu	SW	draft	C		?T?	0
SYSMenu action scripts (plugin picker, share, timezone,…SYS-REQ-260922-6642	menu	SYS	draft	C		?T?	0
SWBinds Hyprland reports as dispatcher __lua are shown with…SW-REQ-260922-0W96	menu	SW	draft	C		?T?	0
SWWhen the fast signature (directory path + mtime per image…SW-REQ-260922-43HQ	menu	SW	draft	C		?T?	0
SWEvery picker row carries the plugin id as tab subtext, so…SW-REQ-260922-4EWA	menu	SW	draft	C		?T?	0
SWCancelling the timezone picker exits 1 before any…SW-REQ-260922-4VAV	menu	SW	draft	C		?T?	0
SWDelete with the cursor on an app row opens an uninstall…SW-REQ-260922-8CQ4	menu	SW	draft	C		?T?	0
SWClipboard mode writes the clipboard to a tempSW-REQ-260922-8ERH	menu	SW	draft	C		?T?	0
SWA code:N binding shows the keysym resolved from the…SW-REQ-260922-9DMS	menu	SW	draft	C		?T?	0
SWThe listing matches the requested formats…SW-REQ-260922-HR29	menu	SW	draft	C		?T?	0
SWA file chooser exit status above 1 sends a critical 'Could…SW-REQ-260922-JREH	menu	SW	draft	C		?T?	0
SWenable offers disabled pluginsSW-REQ-260922-KRBH	menu	SW	draft	C		?T?	0
SWWhen the fast signature differs, rows are rebuilt from a…SW-REQ-260922-MH9B	menu	SW	draft	C		?T?	0
SWWhen no plugin matches the verb, the script sends a 'No…SW-REQ-260922-QMWP	menu	SW	draft	C		?T?	0
SWA picked timezone is applied with sudo timedatectl…SW-REQ-260922-SWFT	menu	SW	draft	C		?T?	0
SYSomarchy-menu routes each verb…SYS-REQ-260922-J0AN	menu	SYS	draft	C		?T?	0
SWopen(payload) dispatches on modeSW-REQ-260922-50RE	menu	SW	draft	C		?T?	0
SWWhen the rows do not fit, the list height ends mid-rowSW-REQ-260922-B757	menu	SW	draft	C		?T?	0
SWAn unknown verb prints 'omarchy-menuSW-REQ-260922-SNZG	menu	SW	draft	C		?T?	0
SWtoggle, summon, close, refresh, and ping each exec the…SW-REQ-260922-T257	menu	SW	draft	C		?T?	0
SYSActivating a row runs its action, follows its link, or…SYS-REQ-260922-P708	menu	SYS	draft	C		?T?	0
SWWhen every row is disabled the menu shows no cursor at all…SW-REQ-260922-3JG5	menu	SW	draft	C		?T?	0
SWDrilling in pushes the previous menu on the navigation stackSW-REQ-260922-DE93	menu	SW	draft	C		?T?	0
SWA dmenu option may lead with a glyph TAB and trail a…SW-REQ-260922-NM45	menu	SW	draft	C		?T?	0
SWCursor movement lands on the next selectable row in the…SW-REQ-260922-Z48F	menu	SW	draft	C		?T?	0
SYSThe default JSONC and the user extension merge into one…SYS-REQ-260922-PPDW	menu	SYS	draft	C		?T?	0
SWUnparseable input (after stripping), non-object JSON, and…SW-REQ-260922-3T3F	menu	SW	draft	C		?T?	0
SWAn entry with action is an action, with target a link,…SW-REQ-260922-46HY	menu	SW	draft	C		?T?	0
SWA user entry overrides the default per key while keeping…SW-REQ-260922-7NPE	menu	SW	draft	C		?T?	0
SWFull-line // comments and trailing commas are stripped…SW-REQ-260922-E4J2	menu	SW	draft	C		?T?	0
SYSA route string (exact id, declared alias, or normalized…SYS-REQ-260922-R8DQ	menu	SYS	draft	C		?T?	0
SWA route matching no id and no alias resolves to the literal…SW-REQ-260922-74BZ	menu	SW	draft	C		?T?	0
SWAbsent an exact id, a route equal to a declared alias…SW-REQ-260922-CYB9	menu	SW	draft	C		?T?	0
SWWhen a route resolves to an action item with a non-empty…SW-REQ-260922-N3RM	menu	SW	draft	C		?T?	0
SWAn exact id match wins over every aliasSW-REQ-260922-PRNV	menu	SW	draft	C		?T?	0
SWWhen a route resolves to a link item, the menu opens at the…SW-REQ-260922-XW52	menu	SW	draft	C		?T?	0
SYSA filter query narrows to visible, selectable rows whose…SYS-REQ-260922-V7W6	menu	SYS	draft	C		?T?	0
SWA row matches only when every query term appears in its…SW-REQ-260922-DQ9P	menu	SW	draft	C		?T?	0
SWScores tier exact label, whole-word app name, label prefix,…SW-REQ-260922-SJ7P	menu	SW	draft	C		?T?	0
SWSearch lists current-menu matches before deeper (drilldown)…SW-REQ-260922-TKDP	menu	SW	draft	C		?T?	0
SYSA script-driven select/input prompt delivers the picked…SYS-REQ-260922-X6Z5	menu	SYS	draft	C		?T?	0
SWfinishRequest with no active request or no done file just…SW-REQ-260922-3VTN	menu	SW	draft	C		?T?	0
SWWhen the done file exists but the selection file is empty…SW-REQ-260922-9ABD	menu	SW	draft	C		?T?	0
SWWith no prompt, or no options from arguments or stdin, a…SW-REQ-260922-B839	menu	SW	draft	C		?T?	0
SWfinishRequest with a null selection (Escape/cancel) creates…SW-REQ-260922-C8HX	menu	SW	draft	C		?T?	0
SWfinishRequest with a selection writes the value to the…SW-REQ-260922-FGZQ	menu	SW	draft	C		?T?	0
SWOnce the done file exists, a non-empty selection file is…SW-REQ-260922-MP00	menu	SW	draft	C		?T?	0
SWThe select payload carries mode=select, prompt, options,…SW-REQ-260922-Q6ZS	menu	SW	draft	C		?T?	1Medium

Proof