diff --git a/.opencode/agents/pr-merge-pool-supervisor.md b/.opencode/agents/pr-merge-pool-supervisor.md
index d37d3ed9a..7e2bb9f60 100644
--- a/.opencode/agents/pr-merge-pool-supervisor.md
+++ b/.opencode/agents/pr-merge-pool-supervisor.md
@@ -40,7 +40,7 @@ permission:
     "forgejo-label-manager": allow
   skill:
     "*": deny
-    "auto-agents-systems": allow
+    "auto-agents-system": allow
 ---
 
 # PR Merge Supervisor
diff --git a/.opencode/agents/pr-merge-worker.md b/.opencode/agents/pr-merge-worker.md
index bf239f450..e7df07fe4 100644
--- a/.opencode/agents/pr-merge-worker.md
+++ b/.opencode/agents/pr-merge-worker.md
@@ -38,7 +38,7 @@ permission:
     "forgejo-label-manager": allow
   skill:
     "*": deny
-    "auto-agents-systems": allow
+    "auto-agents-system": allow
 ---
 
 # PR Merge Worker
diff --git a/.opencode/agents/product-verifier.md b/.opencode/agents/product-verifier.md
index ccf88b81b..d1a43692e 100644
--- a/.opencode/agents/product-verifier.md
+++ b/.opencode/agents/product-verifier.md
@@ -61,8 +61,7 @@ You assess overall product completeness. You check all dimensions and return eit
 9. **Documentation** — do README, API docs, and changelogs exist and appear current?
 10. **Blockers** — are there zero issues with the `Blocked` label?
 
-For the static checks (items 4 to 8 above) review the CI status on master if the other points are not passing (to save time). Only manually run these steps on the code locally
-to verify when all other points are satisfied.
+For the static checks (items 4 to 8 above) review the CI status on master as it is reported by Forgejo's CI system, do not run them locally. Also take a fail-fast approach, check the server and once you see at least one of these failing then just declare incomplete and return without checking the other points further.
 
 ## What You Return