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 7916138Sep 29, 2026, 09:44 AMpr/13255Back to current

Requirements Explorer

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

Requirements
81
STK 2 · SYS 14 · SW 65 · INT 0
With implementation
86%
70 of 81
With tests
100%
81 of 81
With docs
0%
0 of 81
Coverage gaps
0
policy-required missing traces
Group by
Expand to
Showing 81 of 81
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
lockSWreviewCITD0
SWWhen the stranded-lock probe exits 0, the shell lock…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
lockSWreviewCITD0
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
lockSWreviewCITD0
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 the target user has no enrolled fingerprint or…SW-REQ-260912-Y0WT
lockSWreviewCITD0
SYSWhen the user locks the session, the system shall engage…SYS-REQ-260912-T0XP
lockSYSreviewCITD0
SWWhen a fingerprint sensor is configured, 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
SWWhile the session is locked and the idle blank timer…SW-REQ-260912-ND55
lockSWreviewCITD0
SWWhen the entered password text is wider than the password…SW-REQ-260912-WBS3
lockSWreviewCITD0
STKUsers reach system actions, settings, and applications…STK-REQ-260922-XTNR
menuSTKdraftC–ITD0
SYSDynamic rows (apps, provider enumerations) replace their…SYS-REQ-260922-0M8A
menuSYSdraftCITD0
SWswapProviderRows drops exactly the rows carrying the re-run…SW-REQ-260922-EFNR
menuSWdraftCITD0
SWmergeAppRows and swapProviderRows return fresh maps that…SW-REQ-260922-Z680
menuSWdraftCITD0
SYSAll when/checked/disabled expressions evaluate in one…SYS-REQ-260922-47T8
menuSYSdraftCITD0
SWOnly the plain $(reader) form is rewritten to the captured…SW-REQ-260922-2JZT
menuSWdraftCITD0
SWA guard batch that exits nonzero or by signal is discarded…SW-REQ-260922-4079
menuSWdraftCITD0
SWApplied guard results drive the viewSW-REQ-260922-JRW1
menuSWdraftCITD0
SWThe generated guard script holds exactly one if-line per…SW-REQ-260922-MQ37
menuSWdraftCITD0
SWThe prelude's omarchy-pkg-present/missing shadows agree…SW-REQ-260922-RGCV
menuSWdraftCITD0
SWA value command shared by several guards (eSW-REQ-260922-W17G
menuSWdraftCITD0
SWWhen no item declares a guard, the guard script is empty…SW-REQ-260922-Y58B
menuSWdraftCITD0
SYSMenu action scripts (plugin picker, share, timezone,…SYS-REQ-260922-6642
menuSYSdraftCITD0
SWBinds Hyprland reports as dispatcher __lua are shown with…SW-REQ-260922-0W96
menuSWdraftCITD0
SWWhen the fast signature (directory path + mtime per image…SW-REQ-260922-43HQ
menuSWdraftCITD0
SWEvery picker row carries the plugin id as tab subtext, so…SW-REQ-260922-4EWA
menuSWdraftCITD0
SWCancelling the timezone picker exits 1 before any…SW-REQ-260922-4VAV
menuSWdraftCITD0
SWDelete with the cursor on an app row opens an uninstall…SW-REQ-260922-8CQ4
menuSWdraftCITD0
SWClipboard mode writes the clipboard to a tempSW-REQ-260922-8ERH
menuSWdraftCITD0
SWA code:N binding shows the keysym resolved from the…SW-REQ-260922-9DMS
menuSWdraftCITD0
SWThe listing matches the requested formats…SW-REQ-260922-HR29
menuSWdraftCITD0
SWA file chooser exit status above 1 sends a critical 'Could…SW-REQ-260922-JREH
menuSWdraftCITD0
SWenable offers disabled pluginsSW-REQ-260922-KRBH
menuSWdraftCITD0
SWWhen the fast signature differs, rows are rebuilt from a…SW-REQ-260922-MH9B
menuSWdraftCITD0
SWWhen no plugin matches the verb, the script sends a 'No…SW-REQ-260922-QMWP
menuSWdraftCITD0
SWA picked timezone is applied with sudo timedatectl…SW-REQ-260922-SWFT
menuSWdraftCITD0
SYSomarchy-menu routes each verb…SYS-REQ-260922-J0AN
menuSYSdraftCITD0
SWopen(payload) dispatches on modeSW-REQ-260922-50RE
menuSWdraftCITD0
SWWhen the rows do not fit, the list height ends mid-rowSW-REQ-260922-B757
menuSWdraftCITD0
SWAn unknown verb prints 'omarchy-menuSW-REQ-260922-SNZG
menuSWdraftCITD0
SWtoggle, summon, close, refresh, and ping each exec the…SW-REQ-260922-T257
menuSWdraftCITD0
SYSActivating a row runs its action, follows its link, or…SYS-REQ-260922-P708
menuSYSdraftCITD0
SWWhen every row is disabled the menu shows no cursor at all…SW-REQ-260922-3JG5
menuSWdraftCITD0
SWDrilling in pushes the previous menu on the navigation stackSW-REQ-260922-DE93
menuSWdraftCITD0
SWA dmenu option may lead with a glyph TAB and trail a…SW-REQ-260922-NM45
menuSWdraftCITD0
SWCursor movement lands on the next selectable row in the…SW-REQ-260922-Z48F
menuSWdraftCITD0
SYSThe default JSONC and the user extension merge into one…SYS-REQ-260922-PPDW
menuSYSdraftCITD0+1
SWUnparseable input (after stripping), non-object JSON, and…SW-REQ-260922-3T3F
menuSWdraftCITD0+1
SWAn entry with action is an action, with target a link,…SW-REQ-260922-46HY
menuSWdraftCITD0
SWA user entry overrides the default per key while keeping…SW-REQ-260922-7NPE
menuSWdraftCITD0
SWFull-line // comments and trailing commas are stripped…SW-REQ-260922-E4J2
menuSWdraftCITD0+1
SWWhen the JSONC stripper sees a comma, it drops the comma…SW-REQ-260927-66FW
menuSWreviewCITD0
SYSA route string (exact id, declared alias, or normalized…SYS-REQ-260922-R8DQ
menuSYSdraftCITD0
SWA route matching no id and no alias resolves to the literal…SW-REQ-260922-74BZ
menuSWdraftCITD0
SWAbsent an exact id, a route equal to a declared alias…SW-REQ-260922-CYB9
menuSWdraftCITD0
SWWhen a route resolves to an action item with a non-empty…SW-REQ-260922-N3RM
menuSWdraftCITD0
SWAn exact id match wins over every aliasSW-REQ-260922-PRNV
menuSWdraftCITD0
SWWhen a route resolves to a link item, the menu opens at the…SW-REQ-260922-XW52
menuSWdraftCITD0
SYSA filter query narrows to visible, selectable rows whose…SYS-REQ-260922-V7W6
menuSYSdraftCITD0
SWA row matches only when every query term appears in its…SW-REQ-260922-DQ9P
menuSWdraftCITD0
SWScores tier exact label, whole-word app name, label prefix,…SW-REQ-260922-SJ7P
menuSWdraftCITD0
SWSearch lists current-menu matches before deeper (drilldown)…SW-REQ-260922-TKDP
menuSWdraftCITD0
SYSA script-driven select/input prompt delivers the picked…SYS-REQ-260922-X6Z5
menuSYSdraftCITD0
SWfinishRequest with no active request or no done file just…SW-REQ-260922-3VTN
menuSWdraftCITD0
SWWhen the done file exists but the selection file is empty…SW-REQ-260922-9ABD
menuSWdraftCITD0
SWWith no prompt, or no options from arguments or stdin, a…SW-REQ-260922-B839
menuSWdraftCITD0
SWfinishRequest with a null selection (Escape/cancel) creates…SW-REQ-260922-C8HX
menuSWdraftCITD0
SWfinishRequest with a selection writes the value to the…SW-REQ-260922-FGZQ
menuSWdraftCITD0
SWOnce the done file exists, a non-empty selection file is…SW-REQ-260922-MP00
menuSWdraftCITD0
SWThe select payload carries mode=select, prompt, options,…SW-REQ-260922-Q6ZS
menuSWdraftCITD1Medium