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.

Activity

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

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