fix(#158): address bot feedback — correct S8/S10 description, fix §9 prose break

Address MINOR and NIT findings from Sonnet and GPT review of PR #158.

MINOR (Sonnet + GPT): No static invariant for 'no close-PR in worker templates'.
- Add S10 to §6 Safety Invariants table: checks that no worker template contains
  close-PR API calls AND every template contains NEVER-close constraint text.
- Symmetric to S8 (no merge in worker templates) and S9 (no close in dispatch).

NIT (GPT): Enforcement mapping sentence in §8 was ambiguous.
- Rewrite to explicitly map: S1+S9 cover dispatch; S8+S10 cover worker templates.

NIT (Sonnet): The 'all 7 templates contain NEVER-close text' claim is now verified
by S10 (grep-based), not just prose.

Implementation: S10 added to check-invariants.sh + Bug-157-S10 regression tests
added to dispatch.bats (in rodin/workspace). All 11 invariants pass.

CYCLE_STATUS_2026-05-15-1442.md

@@ -0,0 +1,38 @@
+# Dev-Loop Cycle Status — 2026-05-15 14:42 UTC
+
+**Cron ID:** 5342ac81-4bbc-4e4c-a123-347a7788d50c  
+**Cycle:** review-bot-dev-loop (4-hour schedule)  
+**Status:** ✅ **STEADY STATE** — All systems nominal, repo healthy
+
+## Health Check Summary
+
+| Check | Status | Details |
+|-------|--------|---------|
+| Main branch | ✅ Current | HEAD at 8ab45be (synced) |
+| Working tree | ✅ Clean | No uncommitted changes |
+| Test suite | ✅ All pass | 100% pass rate (go test ./...) |
+| Code coverage | ✅ 76.7% | Above baseline target |
+| Open issues | ✅ None | No assigned work |
+| Open PRs | ✅ None | All merged |
+| Remote sync | ✅ On-time | Up-to-date with origin/main |
+
+## Actions This Cycle
+
+- ✅ Fetched origin/main — up-to-date
+- ✅ Ran full test suite — all pass
+- ✅ Calculated code coverage — 76.7%
+- ✅ Checked for new issues/PRs — none found
+- ✅ Verified working tree clean
+
+## Backlog Opportunities
+
+1. **Integration tests** — cmd/review-bot coverage (53.3% → target 80%)
+2. **Performance profiling** — doc-map filtering optimization
+3. **Documentation** — Composite action examples
+
+## Recommendation
+
+**No new assignments.** Repo ready for next feature work. Standing by.
+
+---
+Generated: 2026-05-15 14:42 UTC | Cron: review-bot-dev-loop

docs/dev-loop-spec.md

@@ -231,6 +231,8 @@ These are statically checked by `~/.openclaw/workspace/scripts/test/check-invari
 | S6 | Active WIP does not cause early exit (only sets ACTIVE_WIP flag) |
 | S7 | SPAWN:impl guarded by `ACTIVE_WIP == 0` check |
 | S8 | No merge calls in any worker template |
+| S9 | Zero close-PR API calls in dispatch script (`state=closed` does not appear) |
+| S10 | No close-PR API calls in any worker template; every worker template contains `NEVER close a PR` |
 
 ---
 
@@ -263,9 +265,20 @@ Each worker receives a precise task description with substituted values:
 
 Workers **always** remove the WIP label on completion and reply `NO_REPLY`.
 
+### Worker Absolute Constraints
+
+Every worker template begins with an `⛔ ABSOLUTE CONSTRAINTS` section containing these rules:
+
+- **NEVER close a PR.** Never call `PATCH /pulls/{id}` with `state=closed`. Closing a PR requires human action. "Duplicate", "superseded", or "already done" are never a worker's call.
+- **NEVER merge a PR.** Never call the merge API. Merging requires human approval.
+- **NEVER use the gitea-aweiker token.** All API calls use the gitea-rodin token only.
+- **NEVER act on a PR with active REQUEST_CHANGES.** Fix the findings first.
+
+The first two constraints are statically enforced by `check-invariants.sh`: S1 and S9 cover the dispatch script (no merge, no close); S8 covers worker templates (no merge calls); S10 covers worker templates (no close calls, with NEVER-close text verified present in each). The remaining two constraints (token usage and REQUEST_CHANGES gate) are enforced by runtime logic.
+
 ---
 
-## 9. Fixes for Issues #144 and #145
+## 9. Fixes for Issues #144, #145, and #157
 
 **Issue #144** (autonomous merge):
 The dispatch script contains no merge API calls anywhere. The `~/.openclaw/workspace/scripts/test/check-invariants.sh`
@@ -276,3 +289,13 @@ Rule 2 is the **first** rule evaluated per PR. It cannot be skipped, reasoned pa
 or bypassed. It is checked before CI, before self-review, before handoff. The check
 uses latest-per-reviewer state, so a reviewer who re-approved after REQUEST_CHANGES
 is correctly handled.
+
+**Issue #157** (autonomous PR close):
+Worker templates were missing an explicit constraint against closing PRs. The dispatch
+script never had a close call, but workers could reason their way into calling
+`PATCH /pulls/{id}` with `state=closed`. All worker templates now include
+`NEVER close a PR` in their ABSOLUTE CONSTRAINTS section. Invariant S9 verifies
+the dispatch script contains no close calls. Invariant S10 verifies
+worker templates contain no close calls and each contains the NEVER-close text.
+
+Regression tests in `dispatch.bats` statically verify all of these constraints.