User Input
$ARGUMENTS
You MUST consider the user input before proceeding (if not empty).
Pre-Execution Checks
Check for extension hooks (before convergence):
Check if .specify/extensions.yml exists in the project root.
If it exists, read it and look for entries under the hooks.before_converge key
If the YAML cannot be parsed or is invalid, skip hook checking silently and continue normally
Filter out hooks where enabled is explicitly false. Treat hooks without an enabled field as enabled by default.
For each remaining hook, do not attempt to interpret or evaluate hook condition expressions:
- If the hook has no
condition field, or it is null/empty, treat the hook as executable
- If the hook defines a non-empty
condition, skip the hook and leave condition evaluation to the HookExecutor implementation
When constructing command invocations from hook command names, replace dots (.) with hyphens (-). For example, speckit.git.commit → /speckit-git-commit.
For each executable hook, output the following based on its optional flag:
Optional hook (optional: true):
## Extension Hooks
**Optional Pre-Hook**: {extension}
Command: `/{command}`
Description: {description}
Prompt: {prompt}
To execute: `/{command}`
Mandatory hook (optional: false):
## Extension Hooks
**Automatic Pre-Hook**: {extension}
Executing: `/{command}`
EXECUTE_COMMAND: {command}
Wait for the result of the hook command before proceeding to the Goal.
After emitting the block above you MUST actually invoke the hook and wait for it to finish before continuing. Run it the same way you would run the command yourself in this agent/session (the invocation may differ from the literal {command} id shown above, e.g. a skills-mode agent runs it as /skill:speckit-... or $speckit-...). Emitting the block alone does not run the hook.
If no hooks are registered or .specify/extensions.yml does not exist, skip silently
Goal
Close the gap between what a feature's specification, plan, and tasks call for and what the
codebase currently implements. Read spec.md, plan.md, and tasks.md as the sole
source of intent (with the constitution as governing constraints), assess the current
state of the code, determine which requirements, acceptance criteria, plan decisions, and
existing tasks are unmet, incomplete, or only partially satisfied, and append each piece
of remaining work as a new, traceable task at the bottom of tasks.md so that
/speckit-implement can complete it. This command MUST run only after
/speckit-implement has run on the current tasks.md, and after /speckit-tasks has produced a complete tasks.md.
This is not a diff tool and does not track changes. It assesses the present state
of the code relative to the feature's artifacts — no git, no branch comparison, no history.
Operating Constraints
APPEND-ONLY, NEVER REWRITE: The command's only write is appending a new
## Phase N: Convergence section to tasks.md. It MUST NOT:
- modify
spec.md or plan.md in any way;
- rewrite, renumber, reorder, or delete any existing task (including tasks from a prior
Convergence phase);
- modify, create, or delete any application code — completing the appended tasks is the
job of
/speckit-implement.
When the codebase already satisfies everything, the command MUST leave tasks.md
byte-for-byte unchanged (no empty Convergence header) and report a clean result.
Constitution Authority: The project constitution (.specify/memory/constitution.md) is
non-negotiable. Code that violates a MUST principle is the highest-severity finding and
produces a corresponding remediation task. If the constitution is an unfilled template,
skip constitution checks gracefully rather than failing.
Execution Steps
1. Initialize Convergence Context
Run .specify/scripts/bash/check-prerequisites.sh --json --require-tasks --include-tasks once from repo root and parse JSON for FEATURE_DIR and AVAILABLE_DOCS. Derive absolute paths:
- SPEC = FEATURE_DIR/spec.md
- PLAN = FEATURE_DIR/plan.md
- TASKS = FEATURE_DIR/tasks.md
- CONSTITUTION =
.specify/memory/constitution.md (if present)
If spec.md, plan.md, or tasks.md is missing, STOP with a clear, actionable message naming the
prerequisite command to run (/speckit-specify for a missing spec, /speckit-plan for a missing plan,
/speckit-tasks for missing tasks). Do not produce partial output.
For single quotes in args like "I'm Groot", use escape syntax: e.g 'I'''m Groot' (or double-quote if possible: "I'm Groot").
2. Load Artifacts (Progressive Disclosure)
Load only the minimal necessary context from each artifact:
From spec.md:
- Functional Requirements (FR-###)
- Success Criteria (SC-###) — include only items requiring buildable work; exclude
post-launch outcome metrics and business KPIs
- User Stories and their Acceptance Scenarios
- Edge Cases (if present)
From plan.md:
- Architecture/stack choices and technical decisions
- Data Model references
- Phases and named touch-points (files/components the plan says will be created or edited)
- Technical constraints
From tasks.md:
- Task IDs (to compute the next ID and next phase number)
- Descriptions, phase grouping, and referenced file paths
From constitution (if not an unfilled template):
- Principle names and MUST/SHOULD normative statements
3. Build the Intent Inventory
Create an internal model (do not echo raw artifacts):
- Requirements inventory: one stable key per FR-### / SC-### / user-story acceptance
scenario (e.g.
US1/AC2), plus the plan decisions and constitution principles that
impose buildable obligations.
- Code-scope map: from the file paths named in
plan.md and tasks.md, plus a keyword
search for the concepts each requirement describes, derive the set of source files and
components in scope for assessment. Bound the assessment to these — do not infer
scope beyond what the artifacts define.
4. Assess the Codebase and Classify Findings
For each item in the intent inventory, inspect the current code in scope and produce a
Finding only where there is a gap. Classify every finding by gap type:
missing: the required work is absent from the code entirely.
partial: the work exists but does not yet fully satisfy the requirement /
acceptance criterion / plan decision.
contradicts: the code does something that conflicts with stated intent or a
constitution MUST principle.
unrequested: the code contains work not called for by the spec, plan, or tasks
(surfaced for awareness — converge does not delete code, it only appends a task to
review/justify or remove it).
Each Finding records: a stable id, the source-ref it traces to, the gap-type, a
severity, and a short human-readable description with the evidence (the file/area observed).
Edge cases:
- Little or no code yet: treat the entire specified scope as
missing remaining work
rather than failing.
- Nothing remains: produce zero findings and follow the converged branch in Step 7.
5. Assign Severity
- CRITICAL: violates a constitution MUST principle, or a
missing/contradicts gap
that blocks baseline functionality of a P1 user story.
- HIGH: a
missing or partial gap on a core functional requirement or acceptance
criterion.
- MEDIUM: a
partial gap on a secondary requirement, or an unrequested addition with
unclear justification.
- LOW: minor partial gaps, polish, or low-risk
unrequested additions.
6. Present the In-Session Findings Summary
Before appending anything, output a compact, severity-graded summary (no file writes yet):
Convergence Findings
| ID |
Gap Type |
Severity |
Source |
Evidence |
Remaining Work |
| F1 |
missing |
HIGH |
FR-008 |
Example: no append-only guard detected in path/to/module.py when writing tasks.md |
Add append-only enforcement |
Summary metrics:
- Requirements / acceptance criteria checked
- Plan decisions checked
- Constitution principles checked (or "skipped — template")
- Findings by gap type (missing / partial / contradicts / unrequested)
- Findings by severity
7. Append Convergence Tasks (or report converged)
If there are one or more actionable findings (tasks_appended outcome):
Append to the end of tasks.md, per the append contract:
Scan all existing task IDs; let M be the maximum. Determine the next phase number N
(highest existing phase + 1).
Write a single new section header ## Phase N: Convergence.
Emit one checklist item per actionable finding, ordered CRITICAL/HIGH first, assigning
zero-padded IDs T{M+1:03d}, T{M+2:03d}, …:
- [ ] T042 <imperative description> per <source-ref> (<gap-type>)
<source-ref> traces the task to its origin: e.g. FR-003, SC-002,
US1/AC2, plan: storage decision, Constitution II.
<gap-type> is one of missing, partial, contradicts, unrequested.
Constitution-violation tasks MUST be emitted first and described as
CRITICAL.
Never reuse or renumber existing IDs. If a prior Convergence phase exists, add a new,
separately-numbered one below it — do not touch the old one.
If there are no actionable findings (converged outcome):
- Do not modify
tasks.md at all — no empty phase header.
- Report: "✅ Converged — the implementation satisfies the spec, plan, and tasks."
- Include the summary counts of what was checked.
8. Provide Next Actions (Handoff)
- On
tasks_appended: state how many tasks were appended under which phase, and recommend
running /speckit-implement to complete them; note that a follow-up converge
run will find fewer or no remaining items.
- On
converged: recommend proceeding to review / opening a PR. No further implement pass
is needed for this feature's specified scope.
9. Check for extension hooks
After producing the result, check if .specify/extensions.yml exists in the project root.
If it exists, read it and look for entries under the hooks.after_converge key
If the YAML cannot be parsed or is invalid, skip hook checking silently and continue normally
Filter out hooks where enabled is explicitly false. Treat hooks without an enabled field as enabled by default.
For each remaining hook, do not attempt to interpret or evaluate hook condition expressions:
- If the hook has no
condition field, or it is null/empty, treat the hook as executable
- If the hook defines a non-empty
condition, skip the hook and leave condition evaluation to the HookExecutor implementation
Report the convergence outcome (converged or tasks_appended) in-session before listing
any hooks, so users can decide whether to run optional follow-up commands.
When constructing command invocations from hook command names, replace dots (.) with hyphens (-). For example, speckit.git.commit → /speckit-git-commit.
For each executable hook, output the following based on its optional flag:
Optional hook (optional: true):
## Extension Hooks
**Optional Hook**: {extension}
Command: `/{command}`
Description: {description}
Prompt: {prompt}
To execute: `/{command}`
Mandatory hook (optional: false):
## Extension Hooks
**Automatic Hook**: {extension}
Executing: `/{command}`
EXECUTE_COMMAND: {command}
After emitting the block above you MUST actually invoke the hook and wait for it to finish before continuing. Run it the same way you would run the command yourself in this agent/session (the invocation may differ from the literal {command} id shown above, e.g. a skills-mode agent runs it as /skill:speckit-... or $speckit-...). Emitting the block alone does not run the hook.
If no hooks are registered or .specify/extensions.yml does not exist, skip silently
1---2name: speckit-converge3description: Assess the current codebase against the feature's spec, plan, and tasks, then append any remaining unbuilt work as new tasks to tasks.md so implement can complete it.4---5
6## User Input
7
8```text
9$ARGUMENTS
10```
11
12You **MUST** consider the user input before proceeding (if not empty).
13
14## Pre-Execution Checks
15
16**Check for extension hooks (before convergence)**:
17
18- Check if `.specify/extensions.yml` exists in the project root.
19- If it exists, read it and look for entries under the `hooks.before_converge` key
20- If the YAML cannot be parsed or is invalid, skip hook checking silently and continue normally
21- Filter out hooks where `enabled` is explicitly `false`. Treat hooks without an `enabled` field as enabled by default.
22- For each remaining hook, do **not** attempt to interpret or evaluate hook `condition` expressions:
23 - If the hook has no `condition` field, or it is null/empty, treat the hook as executable
24 - If the hook defines a non-empty `condition`, skip the hook and leave condition evaluation to the HookExecutor implementation
25- When constructing command invocations from hook command names, replace dots (`.`) with hyphens (`-`). For example, `speckit.git.commit` → `/speckit-git-commit`.
26- For each executable hook, output the following based on its `optional` flag:
27 - **Optional hook** (`optional: true`):
28
29 ```text
30 ## Extension Hooks
31
32 **Optional Pre-Hook**: {extension}
33 Command: `/{command}`
34 Description: {description}
35
36 Prompt: {prompt}
37 To execute: `/{command}`
38 ```
39
40 - **Mandatory hook** (`optional: false`):
41
42 ```text
43 ## Extension Hooks
44
45 **Automatic Pre-Hook**: {extension}
46 Executing: `/{command}`
47 EXECUTE_COMMAND: {command}
48
49 Wait for the result of the hook command before proceeding to the Goal.
50 ```
51
52 After emitting the block above you MUST actually invoke the hook and wait for it to finish before continuing. Run it the same way you would run the command yourself in this agent/session (the invocation may differ from the literal `{command}` id shown above, e.g. a skills-mode agent runs it as `/skill:speckit-...` or `$speckit-...`). Emitting the block alone does not run the hook.
53
54- If no hooks are registered or `.specify/extensions.yml` does not exist, skip silently
55
56## Goal
57
58Close the gap between what a feature's specification, plan, and tasks call for and what the
59codebase currently implements. Read `spec.md`, `plan.md`, and `tasks.md` as the **sole
60source of intent** (with the constitution as governing constraints), assess the current
61state of the code, determine which requirements, acceptance criteria, plan decisions, and
62existing tasks are unmet, incomplete, or only partially satisfied, and **append each piece
63of remaining work as a new, traceable task** at the bottom of `tasks.md` so that
64`/speckit-implement` can complete it. This command MUST run only after
65`/speckit-implement` has run on the current `tasks.md`, and after `/speckit-tasks` has produced a complete `tasks.md`.
66
67This is **not** a diff tool and does **not** track changes. It assesses the present state
68of the code relative to the feature's artifacts — no git, no branch comparison, no history.
69
70## Operating Constraints
71
72**APPEND-ONLY, NEVER REWRITE**: The command's **only** write is appending a new
73`## Phase N: Convergence` section to `tasks.md`. It MUST NOT:
74
75- modify `spec.md` or `plan.md` in any way;
76- rewrite, renumber, reorder, or delete any existing task (including tasks from a prior
77 Convergence phase);
78- modify, create, or delete any application code — completing the appended tasks is the
79 job of `/speckit-implement`.
80
81When the codebase already satisfies everything, the command MUST leave `tasks.md`
82**byte-for-byte unchanged** (no empty Convergence header) and report a clean result.
83
84**Constitution Authority**: The project constitution (`.specify/memory/constitution.md`) is
85**non-negotiable**. Code that violates a MUST principle is the highest-severity finding and
86produces a corresponding remediation task. If the constitution is an unfilled template,
87skip constitution checks gracefully rather than failing.
88
89## Execution Steps
90
91### 1. Initialize Convergence Context
92
93Run `.specify/scripts/bash/check-prerequisites.sh --json --require-tasks --include-tasks` once from repo root and parse JSON for FEATURE_DIR and AVAILABLE_DOCS. Derive absolute paths:
94
95- SPEC = FEATURE_DIR/spec.md
96- PLAN = FEATURE_DIR/plan.md
97- TASKS = FEATURE_DIR/tasks.md
98- CONSTITUTION = `.specify/memory/constitution.md` (if present)
99 If `spec.md`, `plan.md`, or `tasks.md` is missing, STOP with a clear, actionable message naming the
100 prerequisite command to run (`/speckit-specify` for a missing spec, `/speckit-plan` for a missing plan,
101 `/speckit-tasks` for missing tasks). Do not produce partial output.
102 For single quotes in args like "I'm Groot", use escape syntax: e.g 'I'''m Groot' (or double-quote if possible: "I'm Groot").
103
104### 2. Load Artifacts (Progressive Disclosure)
105
106Load only the minimal necessary context from each artifact:
107
108**From spec.md:**
109
110- Functional Requirements (FR-###)
111- Success Criteria (SC-###) — include only items requiring buildable work; exclude
112 post-launch outcome metrics and business KPIs
113- User Stories and their Acceptance Scenarios
114- Edge Cases (if present)
115
116**From plan.md:**
117
118- Architecture/stack choices and technical decisions
119- Data Model references
120- Phases and named touch-points (files/components the plan says will be created or edited)
121- Technical constraints
122
123**From tasks.md:**
124
125- Task IDs (to compute the next ID and next phase number)
126- Descriptions, phase grouping, and referenced file paths
127
128**From constitution (if not an unfilled template):**
129
130- Principle names and MUST/SHOULD normative statements
131
132### 3. Build the Intent Inventory
133
134Create an internal model (do not echo raw artifacts):
135
136- **Requirements inventory**: one stable key per FR-### / SC-### / user-story acceptance
137 scenario (e.g. `US1/AC2`), plus the plan decisions and constitution principles that
138 impose buildable obligations.
139- **Code-scope map**: from the file paths named in `plan.md` and `tasks.md`, plus a keyword
140 search for the concepts each requirement describes, derive the set of source files and
141 components in scope for assessment. Bound the assessment to these — do **not** infer
142 scope beyond what the artifacts define.
143
144### 4. Assess the Codebase and Classify Findings
145
146For each item in the intent inventory, inspect the current code in scope and produce a
147`Finding` only where there is a gap. Classify every finding by **gap type**:
148
149- **`missing`**: the required work is absent from the code entirely.
150- **`partial`**: the work exists but does not yet fully satisfy the requirement /
151 acceptance criterion / plan decision.
152- **`contradicts`**: the code does something that conflicts with stated intent or a
153 constitution MUST principle.
154- **`unrequested`**: the code contains work not called for by the spec, plan, or tasks
155 (surfaced for awareness — converge does **not** delete code, it only appends a task to
156 review/justify or remove it).
157
158Each `Finding` records: a stable id, the `source-ref` it traces to, the `gap-type`, a
159severity, and a short human-readable description with the evidence (the file/area observed).
160
161**Edge cases:**
162
163- **Little or no code yet**: treat the entire specified scope as `missing` remaining work
164 rather than failing.
165- **Nothing remains**: produce zero findings and follow the converged branch in Step 7.
166
167### 5. Assign Severity
168
169- **CRITICAL**: violates a constitution MUST principle, or a `missing`/`contradicts` gap
170 that blocks baseline functionality of a P1 user story.
171- **HIGH**: a `missing` or `partial` gap on a core functional requirement or acceptance
172 criterion.
173- **MEDIUM**: a `partial` gap on a secondary requirement, or an `unrequested` addition with
174 unclear justification.
175- **LOW**: minor partial gaps, polish, or low-risk `unrequested` additions.
176
177### 6. Present the In-Session Findings Summary
178
179Before appending anything, output a compact, severity-graded summary (no file writes yet):
180
181## Convergence Findings
182
183| ID | Gap Type | Severity | Source | Evidence | Remaining Work |
184| --- | -------- | -------- | ------ | --------------------------------------------------------------------------------- | --------------------------- |
185| F1 | missing | HIGH | FR-008 | Example: no append-only guard detected in path/to/module.py when writing tasks.md | Add append-only enforcement |
186
187**Summary metrics:**
188
189- Requirements / acceptance criteria checked
190- Plan decisions checked
191- Constitution principles checked (or "skipped — template")
192- Findings by gap type (missing / partial / contradicts / unrequested)
193- Findings by severity
194
195### 7. Append Convergence Tasks (or report converged)
196
197**If there are one or more actionable findings** (`tasks_appended` outcome):
198
199Append to the **end** of `tasks.md`, per the append contract:
200
2011. Scan all existing task IDs; let `M` be the maximum. Determine the next phase number `N`
202 (highest existing phase + 1).
2032. Write a single new section header `## Phase N: Convergence`.
2043. Emit one checklist item per actionable finding, ordered CRITICAL/HIGH first, assigning
205 zero-padded IDs `T{M+1:03d}, T{M+2:03d}, …`:
206
207 ```markdown
208 - [ ] T042 <imperative description> per <source-ref> (<gap-type>)
209 ```
210
211 `<source-ref>` traces the task to its origin: e.g. `FR-003`, `SC-002`,
212 `US1/AC2`, `plan: storage decision`, `Constitution II`.
213
214 `<gap-type>` is one of `missing`, `partial`, `contradicts`, `unrequested`.
215
216 Constitution-violation tasks MUST be emitted first and described as
217 `CRITICAL`.
218
2194. Never reuse or renumber existing IDs. If a prior Convergence phase exists, add a new,
220 separately-numbered one below it — do not touch the old one.
221
222**If there are no actionable findings** (`converged` outcome):
223
224- Do **not** modify `tasks.md` at all — no empty phase header.
225- Report: **"✅ Converged — the implementation satisfies the spec, plan, and tasks."**
226- Include the summary counts of what was checked.
227
228### 8. Provide Next Actions (Handoff)
229
230- On `tasks_appended`: state how many tasks were appended under which phase, and recommend
231 running `/speckit-implement` to complete them; note that a follow-up converge
232 run will find fewer or no remaining items.
233- On `converged`: recommend proceeding to review / opening a PR. No further implement pass
234 is needed for this feature's specified scope.
235
236### 9. Check for extension hooks
237
238After producing the result, check if `.specify/extensions.yml` exists in the project root.
239
240- If it exists, read it and look for entries under the `hooks.after_converge` key
241- If the YAML cannot be parsed or is invalid, skip hook checking silently and continue normally
242- Filter out hooks where `enabled` is explicitly `false`. Treat hooks without an `enabled` field as enabled by default.
243- For each remaining hook, do **not** attempt to interpret or evaluate hook `condition` expressions:
244 - If the hook has no `condition` field, or it is null/empty, treat the hook as executable
245 - If the hook defines a non-empty `condition`, skip the hook and leave condition evaluation to the HookExecutor implementation
246- Report the convergence outcome (`converged` or `tasks_appended`) in-session before listing
247 any hooks, so users can decide whether to run optional follow-up commands.
248- When constructing command invocations from hook command names, replace dots (`.`) with hyphens (`-`). For example, `speckit.git.commit` → `/speckit-git-commit`.
249- For each executable hook, output the following based on its `optional` flag:
250 - **Optional hook** (`optional: true`):
251
252 ```text
253 ## Extension Hooks
254
255 **Optional Hook**: {extension}
256 Command: `/{command}`
257 Description: {description}
258
259 Prompt: {prompt}
260 To execute: `/{command}`
261 ```
262
263 - **Mandatory hook** (`optional: false`):
264
265 ```text
266 ## Extension Hooks
267
268 **Automatic Hook**: {extension}
269 Executing: `/{command}`
270 EXECUTE_COMMAND: {command}
271 ```
272
273 After emitting the block above you MUST actually invoke the hook and wait for it to finish before continuing. Run it the same way you would run the command yourself in this agent/session (the invocation may differ from the literal `{command}` id shown above, e.g. a skills-mode agent runs it as `/skill:speckit-...` or `$speckit-...`). Emitting the block alone does not run the hook.
274
275- If no hooks are registered or `.specify/extensions.yml` does not exist, skip silently