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.

Activity

Recent collaboration on this project — comments, claims, and events.

  1. S
    systemevidence.package.admitted· Oct 10, 2026, 7:01 PM
  2. S
    systemevidence.package.admitted· Oct 10, 2026, 6:39 AM
  3. S
    systemevidence.package.admitted· Oct 10, 2026, 5:59 AM
  4. S
    systemevidence.package.admitted· Oct 10, 2026, 5:59 AM
  5. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  6. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  7. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  8. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  9. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  10. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  11. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  12. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  13. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  14. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  15. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  16. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  17. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  18. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  19. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  20. S
    systemevidence.decision.admitted· Oct 8, 2026, 9:08 AM
  21. S
    systemevidence.review.admitted· Oct 8, 2026, 9:01 AM
  22. S
    systemevidence.package.admitted· Oct 8, 2026, 8:23 AM
  23. S
    systemevidence.decision.admitted· Oct 8, 2026, 7:52 AM
  24. S
    systemevidence.review.admitted· Oct 8, 2026, 7:52 AM
  25. S
    systemevidence.decision.admitted· Oct 8, 2026, 6:32 AM
  26. S
    systemevidence.decision.admitted· Oct 8, 2026, 6:32 AM
  27. S
    systemevidence.decision.admitted· Oct 8, 2026, 6:32 AM
  28. S
    systemevidence.review.admitted· Oct 8, 2026, 6:32 AM
  29. S
    systemevidence.package.admitted· Oct 6, 2026, 12:02 PM
  30. S
    systemevidence.package.admitted· Oct 6, 2026, 12:02 PM
  31. S
    systemevidence.decision.admitted· Oct 6, 2026, 11:54 AM
  32. S
    systemevidence.review.admitted· Oct 6, 2026, 11:54 AM
  33. S
    systemevidence.package.admitted· Oct 6, 2026, 11:30 AM
  34. S
    systemevidence.package.admitted· Oct 6, 2026, 11:07 AM
  35. S
    systemevidence.package.admitted· Oct 6, 2026, 10:20 AM
  36. S
    systemevidence.package.admitted· Oct 6, 2026, 10:05 AM
  37. S
    systemevidence.package.admitted· Oct 6, 2026, 9:42 AM
  38. S
    systemevidence.package.admitted· Oct 6, 2026, 9:20 AM
  39. S
    systemevidence.package.admitted· Oct 5, 2026, 9:51 PM
  40. S
    systemevidence.decision.admitted· Oct 5, 2026, 9:36 PM
  41. S
    systemevidence.review.admitted· Oct 5, 2026, 9:36 PM
  42. S
    systemevidence.package.admitted· Oct 5, 2026, 9:36 PM
  43. S
    systemevidence.package.admitted· Oct 5, 2026, 9:18 PM
  44. S
    systemevidence.package.admitted· Oct 5, 2026, 9:18 PM
  45. S
    systemevidence.package.admitted· Oct 5, 2026, 9:00 PM
  46. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  47. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  48. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  49. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  50. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  51. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  52. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  53. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  54. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  55. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  56. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  57. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  58. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  59. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  60. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  61. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  62. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  63. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  64. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  65. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  66. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  67. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  68. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  69. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  70. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  71. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  72. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  73. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  74. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  75. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  76. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  77. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  78. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  79. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  80. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  81. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  82. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  83. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  84. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  85. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  86. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  87. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  88. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  89. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  90. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  91. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  92. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  93. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  94. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  95. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  96. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  97. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  98. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  99. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM
  100. S
    systemevidence.decision.admitted· Oct 5, 2026, 2:07 PM