Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs74 findings · 88 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

How this project's proof evolves — run by run, branch by branch, release by release.

109 runsCompare
Latest in stream
Proof
Oct 3
Runs shown
9
pr/12223
Streams
16
branches with runs
Proof status over runs
Each run on pr/12223, newest at the right.
Verification-policy coverage
Requirements meeting policy per run — a run that did not compute coverage is skipped, never drawn as zero.
Branches & releases
Every active stream — last verdict, recency, and how many known issues it tracks compared with the default branch.
Runs
Runs on pr/12223, newest first.
  1. Proof
    Oct 3, 11:45 PMd29af2ano gating issues219 checks
    as of
  2. Proof
    Oct 3, 12:36 PMa8d9ba2no gating issues219 checks
    as of
  3. Proof
    Oct 3, 09:30 AM79edb47no gating issues219 checks
    as of
  4. Proof
    Oct 2, 07:22 PM2a03bbano gating issues219 checks
    as of
  5. Proof
    Oct 2, 07:39 AM969cb60no gating issues219 checks
    as of
  6. Proof
    Oct 2, 07:08 AMc2a614fno gating issues219 checks
    as of
  7. Proof
    Oct 2, 03:41 AMa058df8no gating issues219 checks
    as of
  8. Proof
    Oct 2, 01:16 AM2347e26no gating issues219 checks
    as of
  9. Partial
    Sep 29, 09:31 AM5d4459418 warnings215 checks
    as of