Build: Fixed bug in permissions, sped up product-verifier slightly

.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

.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

.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