Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs73 findings · 87 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.

Audit history

Run · ce925cb

Audited Sep 24, 2026, 11:06 PM on quattro.

Verified
78/78 realizable78/78 meet policyverification complete: 0

as of ce925cb · Sep 24, 2026 · quattro

Run context
What was audited, and where.
Branchquattro
Commitce925cb
RecordedSep 24, 2026, 11:06 PM
Tags—
View project as of this runCompare to base branch
Checks
This run's recorded check results. Detail links open the current audit, so they are shown as read-only here.
  • code_mcdc_coveragePasscode-level MC/DC meets configured thresholds (aggregate decisions 39.2%, conditions 42.9%, 27 incomplete functions) (10 ignored decisions)
  • code_mcdc_measurePasscode-level MC/DC evidence available for: bash, js
  • mcdc_coveragePass78 requirements checked, 290 witness rows total, 0 uncovered
  • tests_passPassall tests passed