Proof Portal

Sign in
Project overview

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 c0a4a03Oct 2, 2026, 01:01 AMpr/9056Back to current

Requirements Explorer

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

Requirements
89
STK 2 · SYS 15 · SW 72 · INT 0
Meets verification policy
89 / 89
all requirements
With tests
98%
87 of 89
With docs
—
not reconstructible for a historical run
Coverage gaps
0
policy-required missing traces
Group by
Expand to
Showing 89 of 89
RequirementComponentLevelStatusAssuranceFormalizedCoverageFindings
STKThe user shall lock the session on demandSTK-REQ-260912-XJ5D
lockSTKreviewC–?T?0
SYSThe system shall report the compositor session-lock state…SYS-REQ-260912-FRG0
lockSYSreviewC?T?0
SWomarchy-hyprland-session-locked shall exit 0 when any…SW-REQ-260912-EH0K
lockSWreviewC?T?1Low
SWWhen the stranded-lock probe exits 0, the service holds no…SW-REQ-260912-WJYM
lockSWreviewC?T?0
SYSWhile an Omarchy update runs, the system shall hold an…SYS-REQ-260912-H8A5
lockSYSreviewC?T?0
SWomarchy-update-lock held shall exit 0 only when…SW-REQ-260912-0Y70
lockSWreviewC?T?0
SWomarchy-update-lock run shall open the update lock file on…SW-REQ-260912-FVHS
lockSWreviewC?T?0
SYSWhen suspend is imminent, the system shall request the…SYS-REQ-260912-HC86
lockSYSreviewC?T?0
SWomarchy-system-sleep-lock shall derive the wait budget from…SW-REQ-260912-FAWV
lockSWreviewC?T?3Medium
SWomarchy-system-sleep-lock shall request the session lock…SW-REQ-260912-GGGS
lockSWreviewC?T?0
SWWhen the budget expires before the session reports secure,…SW-REQ-260912-H2YF
lockSWreviewC?T?1Low
SYSThe system shall install the PAM password stack for the…SYS-REQ-260912-JW2J
lockSYSreviewC?T?1Medium
SWWhen omarchy-apply-lock runs with EUID 0, it shall replace…SW-REQ-260912-EKJP
lockSWreviewC?T?2High
SWomarchy-apply-lock shall test fingerprint enrollment by…SW-REQ-260912-S154
lockSWreviewC?T?1Medium
SWWhen the target user has no enrolled fingerprint or…SW-REQ-260912-Y0WT
lockSWreviewC?T?2Medium
SYSWhen the user locks the session, the system shall engage…SYS-REQ-260912-T0XP
lockSYSreviewC?T?7High
SWWhen fingerprint authentication is available, the lock view…SW-REQ-260912-41VV
lockSWreviewC?T?0
SWWhen the lock IPC handler receives a lock request and…SW-REQ-260912-J8SX
lockSWreviewC?T?1High
SWWhen the user locks the session and the ttfx screensaver is…SW-REQ-260912-MXQG
lockSWreviewC?T?0
SWWhen the idle blank timer expires during a locked session,…SW-REQ-260912-ND55
lockSWreviewC?T?1Low
SWWhen entered password text exceeds the field width, the…SW-REQ-260912-WBS3
lockSWreviewC?T?0
SYSThe menu Lock row invokes the lock component's CLI entry…SYS-REQ-260927-WC89
menuSYSreviewC?T?1Medium
STKUsers reach system actions, settings, and applications…STK-REQ-260922-XTNR
menuSTKreviewC–?T?0
SYSDynamic rows (apps, provider enumerations) replace their…SYS-REQ-260922-0M8A
menuSYSreviewC?T?0
SWswapProviderRows drops exactly the rows carrying the re-run…SW-REQ-260922-EFNR
menuSWreviewC?T?2Low
SWmergeAppRows and swapProviderRows return fresh maps that…SW-REQ-260922-Z680
menuSWreviewC?T?5Low
SYSAll when/checked/disabled expressions evaluate in one…SYS-REQ-260922-47T8
menuSYSreviewC?T?1Low
SWThe rewrite touches only the plain $(reader) form, mapping…SW-REQ-260922-2JZT
menuSWreviewC?T?0
SWThe menu discards a guard batch that exits nonzero or by…SW-REQ-260922-4079
menuSWreviewC?T?0
SWApplied guard results drive the viewSW-REQ-260922-JRW1
menuSWreviewC?T?0
SWThe generated guard script holds exactly one if-line per…SW-REQ-260922-MQ37
menuSWreviewC?T?2Low
SWThe prelude's omarchy-pkg-present/missing shadows agree…SW-REQ-260922-RGCV
menuSWreviewC?T?0
SWA value command shared by several guards (eSW-REQ-260922-W17G
menuSWreviewC?T?0
SWWhen no item declares a guard, the guard script is empty…SW-REQ-260922-Y58B
menuSWreviewC?T?1Low
SYSMenu action scripts (plugin picker, share, timezone,…SYS-REQ-260922-6642
menuSYSreviewC?T?0
SWBinds Hyprland reports as dispatcher __lua are shown with…SW-REQ-260922-0W96
menuSWreviewC?T?7Medium
SWWhen the fast signature (directory path + mtime per image…SW-REQ-260922-43HQ
menuSWreviewC?T?0
SWEvery picker row carries the plugin id as tab subtextSW-REQ-260922-4EWA
menuSWreviewC?T?0
SWCancelling the timezone picker exits 1 before any…SW-REQ-260922-4VAV
menuSWreviewC?T?0
SWDelete with the cursor on an app row opens an uninstall…SW-REQ-260922-8CQ4
menuSWreviewC?T?1Low
SWClipboard mode writes the clipboard to a tempSW-REQ-260922-8ERH
menuSWreviewC?T?0
SWA code:N binding shows the keysym resolved from the…SW-REQ-260922-9DMS
menuSWreviewC?T?1Low
SWThe listing matches the requested formats…SW-REQ-260922-HR29
menuSWreviewC?T?1Medium
SWA file chooser exit status above 1 sends a critical 'Could…SW-REQ-260922-JREH
menuSWreviewC?T?0
SWenable offers disabled pluginsSW-REQ-260922-KRBH
menuSWreviewC?T?1Medium
SWWhen the fast signature differs, the script rebuilds rows…SW-REQ-260922-MH9B
menuSWreviewC?T?1Medium
SWWhen no plugin matches the verb, the script sends a 'No…SW-REQ-260922-QMWP
menuSWreviewC?T?0
SWThe script applies a picked timezone with sudo timedatectl…SW-REQ-260922-SWFT
menuSWreviewC?T?1Medium
SWA converter that refuses a video records an emptySW-REQ-260929-REJT
menuSWreviewC?T?0
SWThe pipeline detects video paths by extension and…SW-REQ-260929-THMB
menuSWreviewC?T?1Medium
SYSomarchy-menu routes each verb…SYS-REQ-260922-J0AN
menuSYSreviewC?T?0
SWopen(payload) dispatches on modeSW-REQ-260922-50RE
menuSWreviewC?T?5Low
SWWhen the rows do not fit, the list height ends mid-rowSW-REQ-260922-B757
menuSWreviewC?T?3Low
SWAn unknown verb prints 'omarchy-menuSW-REQ-260922-SNZG
menuSWreviewC?T?1Low
SWtoggle, summon, close, refresh, and ping each exec the…SW-REQ-260922-T257
menuSWreviewC?T?2Low
SWAfter the first filter keystroke or submenu move, the card…SW-REQ-260929-DXFJ
menuSWreviewC?T?0
SYSActivating a row runs its action, follows its link, or…SYS-REQ-260922-P708
menuSYSreviewC?T?0
SWWhen no row is selectable, the menu shows no cursor at all…SW-REQ-260922-3JG5
menuSWreviewC?T?0
SWDrilling in pushes the previous menu on the navigation stackSW-REQ-260922-DE93
menuSWreviewC?T?0
SWA dmenu option may lead with a glyph TAB and trail a…SW-REQ-260922-NM45
menuSWreviewC?T?0
SWCursor movement lands on the next selectable row in the…SW-REQ-260922-Z48F
menuSWreviewC?T?1Low
SWRow selection follows the pointer only after it genuinely…SW-REQ-260929-T378
menuSWreviewC?T?0
SYSThe default JSONC and the user extension merge into one…SYS-REQ-260922-PPDW
menuSYSreviewC?T?0
SWUnparseable input (after stripping), non-object JSON, and…SW-REQ-260922-3T3F
menuSWreviewC?T?2Medium
SWAn entry with action is an action, with target a link,…SW-REQ-260922-46HY
menuSWreviewC?T?1Low
SWA user entry overrides the default per key while keeping…SW-REQ-260922-7NPE
menuSWreviewC?T?2Low
SWThe parser strips full-line // comments and trailing commas…SW-REQ-260922-E4J2
menuSWreviewC?T?6Medium
SWThe merged item tree is addressable by idSW-REQ-260929-B8N9
menuSWreviewC?T?0
SYSA route string (exact id, declared alias, or normalized…SYS-REQ-260922-R8DQ
menuSYSreviewC?T?0
SWA route matching no id and no alias resolves to the literal…SW-REQ-260922-74BZ
menuSWreviewC?T?1Low
SWAbsent an exact id, a route equal to a declared alias…SW-REQ-260922-CYB9
menuSWreviewC?T?1Low
SWWhen a route resolves to an action item with a non-empty…SW-REQ-260922-N3RMalso satisfies SYS-REQ-260927-WC89
menuSWreviewC?T?3Low
SWAn exact id match wins over every aliasSW-REQ-260922-PRNV
menuSWreviewC?T?2Low
SWWhen a route resolves to a link item, the menu opens at the…SW-REQ-260922-XW52
menuSWreviewC?T?1Low
SWA menu action may exactly match the bare-summon grammarSW-REQ-260928-8VJQ
menuSWreviewC?T?1Low
SYSA filter query narrows to visible, selectable rows whose…SYS-REQ-260922-V7W6
menuSYSreviewC?T?0
SWA row matches only when every query term appears in its…SW-REQ-260922-DQ9P
menuSWreviewC?T?2Low
SWScores tier exact label, whole-word app name, label prefix,…SW-REQ-260922-SJ7P
menuSWreviewC?T?4Low
SWSearch lists current-menu matches before deeper (drilldown)…SW-REQ-260922-TKDP
menuSWreviewC?T?0
SYSA script-driven select/input prompt delivers the picked…SYS-REQ-260922-X6Z5
menuSYSreviewC?T?1Low
SWfinishRequest with no active request or no done file just…SW-REQ-260922-3VTN
menuSWreviewC?T?1Low
SWWhen the done file exists but the selection file is empty…SW-REQ-260922-9ABD
menuSWreviewC?T?1Medium
SWWith no prompt, or no options from arguments or stdin, a…SW-REQ-260922-B839
menuSWreviewC?T?0
SWfinishRequest with a null selection (Escape/cancel) creates…SW-REQ-260922-C8HX
menuSWreviewC?T?1Low
SWfinishRequest with a selection writes the value to the…SW-REQ-260922-FGZQ
menuSWreviewC?T?3Low
SWOnce the done file exists, the script prints a non-empty…SW-REQ-260922-MP00
menuSWreviewC?T?1Medium
SWThe select payload carries mode=select, prompt, options,…SW-REQ-260922-Q6ZS
menuSWreviewC?T?4Medium
SWA summon can arrive while a select/input request is still…SW-REQ-260925-XTGG
menuSWreviewC?T?0
SWThe menu can issue an answer while the write for an earlier…SW-REQ-261001-C19S
menuSWreviewC?T?0