specrails-core 5.0.0 → 5.1.0

package/templates/codex-skills/batch-implement/SKILL.md

@@ -1,249 +1,63 @@
 ---
 name: batch-implement
-description: "Run the implement pipeline over multiple backlog tickets in one session. Per ticket: spawn architect → spawn developer → spawn reviewer (the same three-phase pipeline $implement runs), then move to the next. Sequential by default; parallel only when the user explicitly opts in AND the tickets are independent. Reports an aggregated verdict at the end. Use when the user invokes `$batch-implement #N #M #K` or `$batch-implement --status todo`."
+description: "Implement the frozen batch in one OpenSpec change and journal, with aggregate verification, review and archive gates."
 license: MIT
-compatibility: "Codex-native. Fully headless / non-interactive. Drives architect/developer/reviewer spawns at the ROOT agent level — does NOT spawn a nested $implement sub-agent per ticket (codex's nested-spawn reliability degrades at depth 2, causing sub-agents to skip phases silently). Sub-agents are full-history forks (no agent_type / model / reasoning_effort)."
+compatibility: "Codex-native root-level role delegation. One aggregate change per run; hosted worktrees stay under host ownership."
 ---
 
-You are the **batch-implement orchestrator**. The user invoked
-you to apply the implement pipeline to multiple tickets in one
-session.
-
-**This skill is fully headless / non-interactive.** Every
-sub-agent invocation must include `--yes` semantics. There is
-no "interactive mode". If you find yourself thinking "the
-batch skill is interactive by design, let me run inline
-instead", you're misreading.
-
-## Why this skill drives the pipeline directly
-
-An earlier design spawned a `$implement` sub-agent per ticket
-that itself spawned architect/developer/reviewer sub-sub-agents.
-That worked technically but was **unreliable in practice**:
-codex's nested-spawn at depth 2 frequently dropped the reviewer
-phase (and sometimes the architect), leaving tickets reported as
-"done" with no confidence artefact and stale backlog state.
-
-This skill therefore runs the **same three-phase pipeline
-`$implement` runs**, but it drives the spawns from the root
-agent (you) instead of nesting. Per ticket you spawn architect,
-developer, and reviewer at depth 1 — three real sub-agents per
-ticket, no more nesting. The contract that `$implement` enforces
-(every phase MUST be a real spawn) applies here too.
-
-## How the user invokes you
-
-- `$batch-implement #1 #2 #3 --yes` — sequential.
-- `$batch-implement --status todo` — every todo ticket, ascending
-  id order.
-- `$batch-implement --status todo --priority high` — combined
-  filter.
-- `$batch-implement #1 #2 --parallel` — opt-in parallel, with a
-  disjoint-file safety check (see Step 2.b).
-
-Default execution mode is sequential.
-
-## Desktop rail execution context
-
-When the working directory is a specrails-desktop isolated rail worktree (path contains `/worktrees/`, typically on a `feat/...` branch), you are the ASSIGNED executor of that rail: implement every ticket sequentially in THIS worktree on THIS branch — the desktop assembles it into a batch PR afterwards, nothing needs to land on the integration branch first. The desktop's own bookkeeping (ticket-ownership rows in its `jobs.sqlite`, state under `~/.specrails/`) describes this very launch — never read those internals, and never stop to ask which process should run the batch.
-
-## Steps
-
-### 0. Bootstrap
-
-1. Confirm `pwd` matches `git rev-parse --show-toplevel`.
-2. Parse argv: collect `#N` tokens + filter flags (`--status`,
-   `--priority`, `--parallel`).
-3. Build the target list:
-   - Explicit ids → use them in given order.
-   - Otherwise filter `.specrails/local-tickets.json` by
-     `--status`/`--priority` and sort numeric id ascending.
-4. If empty target list, reply
-   `"NO-OP: no tickets match the filter"` and end.
-5. **List installed rails** once:
-   `ls .codex/skills/rails/`. Cache the set; you'll reuse it
-   for routing each ticket's developer + reviewer phase.
-6. State (≤4 lines) which tickets you're processing, in what
-   mode, and the available rails.
-
-### 1. Sequential pipeline (default)
-
-For each ticket id in order, run the three-phase pipeline at
-ROOT level (do NOT spawn `$implement` as a sub-agent — drive
-the pipeline yourself):
-
-#### 1.a Architect phase (per ticket)
-
-- `spawn_agent` (full-history, no agent_type / model /
-  reasoning_effort).
-- `send_message`:
-
-  > `$sr-architect`
-  >
-  > Ticket id: `<TICKET_ID>`
-  > Ticket title: `<TICKET_TITLE>`
-  >
-  > Read `jq '.tickets["<TICKET_ID>"]' .specrails/local-tickets.json`
-  > for the full ticket. Follow the `$sr-architect` skill
-  > instructions exactly.
-
-- `wait_agent`. Parse reply for the plan path. `close_agent`.
-- Open the plan + design.md.
-- If the architect returned `BLOCKED: …`, mark this ticket
-  as failed for the batch report and **continue to the next
-  ticket** — do not stop the batch.
-
-#### 1.b Developer phase (per ticket)
-
-One developer rail. Unless a profile routes the ticket to a
-listed `custom-*` developer, spawn `$sr-developer`.
-
-- `spawn_agent`. `send_message`:
-
-  > `$sr-developer`
-  >
-  > Ticket id: `<TICKET_ID>`
-  > Plan: `<PLAN_PATH>`
-  >
-  > Follow the `$sr-developer` skill instructions exactly.
-
-- `wait_agent`. Capture file list. `close_agent`.
-- If `BLOCKED: …` → mark ticket as failed in the batch report
-  and move to next ticket.
-
-#### 1.c Reviewer phase (per ticket)
-
-Spawn the single `$sr-reviewer` — it covers correctness, tests,
-security, and performance. `wait_agent`, then `close_agent`.
-
-Verdict (same matrix as `$implement`):
-
-- `clean` — every reviewer ≥70, no fix/blocked verdicts.
-- `fix needed` — any "fix needed", OR score <70 with no
-  blocked, OR blocked with score 30-69 (recoverable case).
-- `blocked` — blocked with score <30, OR all reviewers blocked.
-
-#### 1.d Optional fix loop (single pass per ticket)
-
-If the verdict is `fix needed`, run ONE follow-up developer
-pass with the reviewer's issues list, then re-run the
-reviewer set. If still `fix needed` or `blocked`, do NOT
-loop again — record the failure in the batch report and
-continue.
-
-#### 1.e Close the ticket (per ticket)
-
-If the final verdict is `clean`:
-- Update `.specrails/local-tickets.json` — set
-  `tickets["<ID>"].status = "done"`, bump `revision`, set
-  `updated_at` to `date -Iseconds`. Preserve every other
-  field.
-
-If the verdict is `fix needed` or `blocked`:
-- Leave status as `todo`. Still bump `revision` and set
-  `updated_at` so the file reflects the run. Record the
-  blocker in the batch report's Follow-up section.
-
-**Important**: only YOU (the root orchestrator) ever writes
-to `.specrails/local-tickets.json`. None of the sub-agents
-(architect, developer, reviewer) should touch it — the rail
-skills already enforce that on their side.
-
-### 2. Parallel pipeline (opt-in via `--parallel`)
-
-When the user passed `--parallel`:
-
-a. **Pre-spawn architect-only pass**. For each ticket, spawn
-   `$sr-architect` in parallel via `spawn_agents_on_csv`
-   (cap at 10 concurrent). Wait for each to produce its
-   `tasks.md` + plan path.
-b. **Disjoint-file check**. Collect every file path mentioned
-   across all `tasks.md` files. If ANY file appears in more
-   than one ticket's list, abort parallel mode for the
-   overlapping tickets — process them sequentially after the
-   non-overlapping batch. State in your reply which tickets
-   were re-routed and why.
-c. For the non-overlapping tickets, run their developer +
-   reviewer phases (and optional fix-loop) in parallel
-   per-ticket. Each ticket is still a sequence
-   internally — only the outer per-ticket processing is
-   concurrent.
-
-The safety net exists because two developer pipelines editing
-the same file would race. If unsure, fall back to sequential.
-
-### 3. Aggregate the batch
-
-For each ticket, collect:
-
-- `ticket_id`
-- `verdict`: `done` | `todo` | `blocked` | `arch_blocked`
-- `score`: overall (or `n/a` if no reviewer ran)
-- `plan_path`, `confidence_path` (omit if `n/a`)
-- `files_changed`: list (or `n/a`)
-- `tests_summary`, `build_summary`
-- Any Follow-up bullets
-
-### 4. Report
-
-Print ONE consolidated summary (≤30 lines for typical
-batches):
-
-```
-batch-implement — <N> tickets attempted
-
-Outcomes:
-  done:    #<id> #<id> ...
-  todo:    #<id> (reason: …) ...
-  blocked: #<id> (reason: …) ...
-
-Per-ticket details:
-  #<id> → <verdict> (score <N>/100)
-    plan:       <path>
-    confidence: <path>
-    files:      <count> (<one path>, +N more)
-    tests:      <pass/fail summary>
-
-Aggregate stats:
-  Files touched: <total unique count>
-  Tests run:     <total>, pass <count>, fail <count>
-  Build:         <count where ran, count ok, count failed>
-
-Follow-up across batch:
-  - <bullet> (#<id>)
-  - ...
-```
-
-If every ticket ended in `done`, also print:
-
-```
-✓ Batch complete: <N>/<N> tickets done.
-```
-
-If some ended in `todo` or `blocked`, finish with the
-re-launch hint:
-
-```
-Re-run with: $batch-implement #<id> [#<id> ...] --yes
-```
-
-## What you must NOT do
-
-- **Do NOT spawn `$implement` as a sub-agent** to handle a
-  ticket. Drive the architect/developer/reviewer pipeline
-  yourself, at depth 1 (root → role-skill). Nested spawning
-  at depth 2 drops phases silently and produces "done"
-  tickets with no confidence artefact.
-- **Do NOT pass `agent_type`, `model`, or `reasoning_effort`**
-  to `spawn_agent` on full-history forks.
-- **Do NOT proceed in parallel mode** without the
-  disjoint-file check.
-- **Do NOT exceed 10 parallel sub-agents** in one fan-out.
-- **Do NOT do speculative work** (sed/find/grep/etc.) while
-  a sub-agent is running. Wait silently for `wait_agent`.
-- **Do NOT touch `.claude/agent-memory/`** — codex projects
-  use `.specrails/agent-memory/`.
-- **Do NOT skip a phase**. Every ticket gets architect →
-  developer → reviewer (+ fix loop if needed). A ticket
-  reported as "done" without a confidence artefact is a
-  contract violation.
+You coordinate one batch run. Explicit #IDs retain their order; filters resolve
+against the shared backlog. Freeze the full ticket descriptions, acceptance criteria
+and repository IDs once. With host context use its complete specs unchanged.
+
+Initialize ONE stable aggregate change slug and journal for the batch. Do not
+initialize another change with the same runId or create child per-ticket journals.
+Resolve source via context.repositories, OpenSpec via context.artifactRoot, and
+backlog via context.backlogPath/backlogRoot; cwd can be an external workspace.
+
+Read the single implement role instructions, but execute the following aggregate
+pipeline DIRECTLY from this root. Do NOT spawn `$implement` as a sub-agent.
+Each role receives the explicit bounded handoff including ALL frozen specs and
+repository paths, aggregate change slug and already completed task groups.
+
+1. Architect: one `$sr-architect` creates and validates one change covering every
+   ticket, grouping tasks by ticket and repository and recording dependency order.
+   Record architect running/done via the helper. Require high/medium design
+   confidence. Missing or low confidence blocks development; never infer a pass.
+2. Developer: one `$sr-developer` applies the task groups sequentially, preserving
+   preceding groups and all repositories. Persist per-group progress in tasks.md
+   before yielding. Scoped checks run per group; the full verification gate runs
+   once for the aggregate candidate through the helper. Only then record developer
+   done. Incomplete groups block downstream review and remain retriable.
+3. Reviewer: one `$sr-reviewer` semantically checks every ticket/criterion and
+   cross-ticket interaction. Include the full receipt and changed-file inventory.
+   Ordinary review does NOT archive. If recoverable findings need changes, invoke
+   developer once with the exact findings and re-review. Missing/ambiguous verdicts
+   and stale receipts never become done; record blocked/failed with a next action.
+4. Archive: after semantic reviewer done and canonical confidence thresholds from
+   implement pass (including security), run `archive-check`. Only success permits
+   `$sr-reviewer` with ARCHIVE_ONLY=true and ARCHIVE_AUTHORIZED=true. Validate the
+   archive exists and active change is absent; record archive done. Failure leaves
+   EVERY batch ticket open.
+5. Delivery/CI: follow implement ownership exactly. Host-owned Git records ship/ci
+   skipped and returns evidence; Core-owned authorized delivery records each selected
+   repository outcome and required CI. Partial delivery keeps the batch incomplete.
+6. Backlog: only Core-owned backlog may close participating tickets at
+   context.backlogPath after required delivery and live-vs-frozen requirements match.
+   Preserve unrelated data and revisions. Host-owned backlog stays untouched.
+
+Before any role, inspect status.resumePhase; reuse every still-valid phase without
+respawning. Use available worker capabilities and capability-aware cleanup from
+implement; never invent close_agent or native model override support.
+
+On a provider turn limit, continue the same role from explicit saved progress;
+never launch a nested coordinator or repeat valid earlier stages. Retry resumes
+this same aggregate change/journal. Two continuations without progress block.
+
+`--parallel` is a preference, not permission to create unmanaged worktrees or
+assume ten available agent slots. The aggregate pipeline is sequential by default;
+keep hosted worktrees in the supplied repositories. Do not claim parallel work
+when it did not run. Do not override models on a full-history fork.
+
+Report one table with every ticket and actual implemented/reviewed outcome, the
+aggregate verification receipt, archive result and outstanding groups. No ticket
+is done until the whole aggregate close succeeds.