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.

PR #11851
Requirement · as recorded in PR #11851's evidenceSW-REQ-261005-4MKBAdded by this changeNot in the baseline yet

A picked keybindings menu row for a Lua function bind calls the function through the registry ref Hyprland reports.

component menu · guarantee · assurance level C

Back to the change reviewEvidence package
This change adds this requirement — it isn't in the project's baseline yet, so it has no project requirement page. Shown exactly as the evidence package for PR #11851 records it (evaluated commit 8eb6c64c); it joins the project's requirements once the change is merged and the project is audited again.

What it says

A picked keybindings menu row for a Lua function bind calls the function through the registry ref Hyprland reports. The call happens only when one reported bind, and no other, matches the row and Hyprland did not reload its Lua state after the lookup.

Formal sentence (FRETish)when function_bind_picked the keybindings_menu shall eventually satisfy function_bind_called <=> (one_bind_matches_identity & !lua_state_reloaded)

Where it sits

Parent
SYS-REQ-260922-6642
Satisfies
SYS-REQ-260922-6642
Component
menu
Traces at the evaluated commit
8 implemented by · 1 satisfies · 1 verified by
Fields this change sets
status, priority, category, req_type, fretish, description, formalization_strategy, parent, component, rationale, variables, traces.satisfies, verification.assurance_level, verification.formalization_status

Evidence in this change

Changed as intended — Observed passing · 1 test: 1 passed · 0 failed

Obligations

Kind of evidenceFromObservedTests
Error handlinginherited from SYS-REQ-260922-6642No test linked yet0 · 0✓ 0✗ 0∅

Tests that verify it 1

  • test/shell.d/keybindings-menu-test.shpassed

Code it is traced to

Changed functions
  • bin/omarchy-menu-keybindings:call_lua_function_if_marked
  • bin/omarchy-menu-keybindings:current_lua_function_ref
  • bin/omarchy-menu-keybindings:dispatch_binding
  • bin/omarchy-menu-keybindings:dispatch_lua_function_binding
  • bin/omarchy-menu-keybindings:lua_bind_identity
  • bin/omarchy-menu-keybindings:mark_lua_state
  • bin/omarchy-menu-keybindings:unmark_lua_state
Implemented by
  • bin/omarchy-menu-keybindings
  • bin/omarchy-menu-keybindings:call_lua_function_if_marked
  • bin/omarchy-menu-keybindings:current_lua_function_ref
Changed files (2)
  • bin/omarchy-menu-keybindings
  • test/shell.d/keybindings-menu-test.sh

What to check in review

  • Confirm the new requirement is needed, sits in the right part of the spec, and is labeled with the right kind of rule and concern.
  • Check that parent decomposition and planned implementation/test/doc evidence are intentional before merge.
  • Make sure lifecycle state is merge-ready and not left as unfinished authoring work.

Every fact on this page comes from the evidence package sha256:b653980da737…