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 1e43373Oct 4, 2026, 10:47 PMquattro-proofBack to current

Requirements Explorer

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

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