sequant 2.11.0 → 2.13.0

package/dist/marketplace/external_plugins/sequant/skills/qa/SKILL.md

@@ -6,6 +6,7 @@ metadata:
   author: sequant
   version: "1.0"
 allowed-tools:
+  - Bash(npx sequant worktree:*)
   - Bash(npm test:*)
   - Bash(npm run build:*)
   - Bash(git diff:*)
@@ -362,15 +363,64 @@ Include in QA output when branch is stale:
 **QA Phase:** Review code in the feature worktree.
 
 **If orchestrated (SEQUANT_WORKTREE is set):**
-- Use the provided worktree path directly: `cd $SEQUANT_WORKTREE`
-- Skip step 1 below (worktree location provided by orchestrator)
+
+<!-- BEGIN: worktree-existence-guard (#899) -->
+
+**Verify the path before you use it. Never `cd` into it unchecked.** The value
+can name a worktree that was never created, or one belonging to a *different
+repository* — `../worktrees/` is one flat namespace shared by every repo under
+the same parent, and issue numbers are per-repo. A bare `cd` fails silently and
+leaves you reviewing the main checkout while reporting on the feature branch.
+
+```bash
+npx sequant worktree verify "$SEQUANT_WORKTREE" --issue <issue-number> || {
+  echo "❌ HALT: SEQUANT_WORKTREE is not a usable worktree of this repository."
+  exit 1
+}
+cd "$SEQUANT_WORKTREE"
+```
+
+`verify` exits non-zero with one of these named errors. **Every one of them is
+a halt** — report it and stop; do not fall back to reviewing the current
+directory, and do not emit a verdict for a tree you did not actually read:
+
+| Error | Meaning |
+|-------|---------|
+| `SEQUANT_WORKTREE_NOT_FOUND` | Path is empty, an unexpanded glob, or not an existing directory |
+| `SEQUANT_WORKTREE_FOREIGN` | Real directory, but not a worktree of *this* repository (another project's, or stale) |
+| `SEQUANT_WORKTREE_ISSUE_MISMATCH` | A worktree of this repo, but its branch belongs to a different issue |
+
+Once verify passes, skip step 1 below (worktree location provided by orchestrator).
+
+<!-- END: worktree-existence-guard (#899) -->
 
 **If standalone:**
 
+<!-- BEGIN: worktree-standalone-lookup (#899) -->
+
 1. **Locate the worktree:**
-   - The worktree should already exist from the execution phase (`/exec`)
-   - Find the worktree: `git worktree list` or check `../worktrees/feature/` for directories matching the issue number
-   - The worktree path will be: `../worktrees/feature/<issue-number>-<issue-title-slug>/`
+
+   The worktree should already exist from the execution phase (`/exec`).
+   Resolve it through git, not the filesystem:
+
+   ```bash
+   WORKTREE="$(npx sequant worktree resolve <issue-number>)" || {
+     echo "No worktree for #<issue-number> in this repository."
+     # Fall through to the "No Worktree Found" section below.
+   }
+   cd "$WORKTREE"
+   ```
+
+   `sequant worktree resolve` reads `git worktree list` in the current
+   repository — which reports only *this* repo's worktrees — and selects on the
+   **branch** git reports, not the directory name.
+
+   **Do not glob `../worktrees/feature/<issue-number>-*` to find it.** That
+   directory is shared by every sibling repository, so a name match may belong
+   to another project; and a directory slug can drift from its own branch after
+   a rename, so it proves nothing about which branch you would review.
+
+<!-- END: worktree-standalone-lookup (#899) -->
 
 2. **Check implementation status:**
    - Navigate to worktree: `cd <worktree-path>`
@@ -425,7 +475,10 @@ If no feature worktree exists (work was done directly on main):
 
 ```bash
 # 1. Check for worktree (indicates work may have started)
-worktree_path=$(git worktree list | grep -i "<issue-number>" | awk '{print $1}' | head -1 || true)
+# Resolve by branch, not by grepping the printed path (#899/#904): the path
+# line carries the directory slug, so a bare number match is both cross-issue
+# (89 matches 899-...) and slug-based rather than branch-based.
+worktree_path=$(npx sequant worktree resolve "<issue-number>" 2>/dev/null || true)
 
 # 2. Check for commits on feature branch (vs main) — include ALL file types
 commits_exist=$(git log --oneline origin/main..HEAD 2>/dev/null | head -1)
@@ -2349,6 +2402,181 @@ Two classes are explicitly **not** findings. Legitimate imperative *requirements
 
 ---
 
+### 6h. Declared-Evidence Execution (REQUIRED for evidence-bearing ACs)
+
+**Purpose:** For any AC with a declared `Evidence:` clause naming a runnable command, verify that exact command was executed against this diff (or a captured run of it verified) before marking the AC `MET`. Closes the #853 "marked MET by construction" path (#938) — a declared, checkable claim that goes unexecuted is a bug, not a checkbox.
+
+**When to apply:** Any AC whose stored state includes a non-empty `evidence` field naming a backtick-quoted command (i.e., `verificationMethod` resolved to `unit_test` or `integration_test` via declaration, not inference — see `resolveVerificationMethod` in `ac-parser.ts`). Skip entirely when no AC declares a runnable command (cheap short-circuit).
+
+**How to perform:**
+
+```bash
+# Retrieve declared evidence per AC from state.
+npx tsx -e '
+(async () => {
+  const sm = await import("./src/lib/workflow/state-manager.ts");
+  const mgr = new sm.StateManager(process.cwd());
+  const ac = await mgr.getAcceptanceCriteria(<issue-number>);
+  const declared = (ac?.items ?? []).filter(
+    (i) => i.evidence && /`[^`]+`/.test(i.evidence),
+  );
+  console.log(JSON.stringify(declared.map((i) => ({ id: i.id, evidence: i.evidence })), null, 2));
+})();
+'
+```
+
+For each AC returned, **execute the exact backtick-quoted command** — or verify a captured run of it from earlier in this session's tool output — and record its exit code / pass-fail result before marking that AC `MET`. Do not mark a declared-evidence AC `MET` on reasoning alone; that is precisely the #853 gap this section closes.
+
+**Status outcomes:**
+
+| Status | Criteria |
+|--------|----------|
+| **Complete** | Every declared-evidence AC's command was executed (or a captured prior run verified) this QA pass |
+| **Incomplete** | One or more declared-evidence ACs have no executed/verified command |
+| **N/A** | No AC declares evidence with a runnable command |
+
+**AC marking and verdict gating:**
+
+- A declared-evidence AC whose command was NOT executed or verified this pass → AC status = `PENDING` (increments `pending_count`, same mechanism as the Manual Test AC Enforcement in step 3a) — it cannot be marked `MET` on reasoning alone.
+- `declared_evidence_status == "Incomplete"` also floors the verdict directly — see step 4's `Section 6h` branch.
+
+**Output Format:**
+
+```markdown
+### Declared-Evidence Execution
+
+| AC | Evidence | Executed? | Result |
+|----|----------|-----------|--------|
+| AC-N | `npm test -- reset-expiry` | Yes | ✅ 4 passed |
+| AC-M | `npx sequant doctor --help` | No | ⚠️ Not run — AC marked PENDING |
+
+**Status:** Complete / Incomplete / N/A
+```
+
+---
+
+### 6i. Mutation Verification (REQUIRED for gate-test ACs)
+
+**Purpose:** CLAUDE.md's testing rule — "Gate tests ship with a recorded mutation result: delete the thing it asserts, confirm exactly that test fails, restore, and record the result" — was honor-system prose until now: nothing parsed or checked the recorded result, so compliance was invisible (#830, and the same "prose only, and therefore unenforceable" defect class #834 fixed for `/qa`'s own §7 gates). This section promotes that record to a parseable `SEQUANT_MUTATION` PR-body marker and gates on it.
+
+**When to apply:** Any AC whose declared `evidence` text matches the CLAUDE.md gate-test definition — a fixture-exists / section-present / flag-wired assertion (see `isGateTestEvidence` in `ac-parser.ts`). Skip entirely when no AC in the diff is a gate-test AC (cheap short-circuit — mark N/A).
+
+> **Scope note (v1):** gate-test ACs only, not every AC with a declared runnable-command `Evidence:` clause. The population widens after a backtest measures the real authoring burden (#939 AC-5) — see that issue for the human-decision record if this scope is revisited.
+
+**How to perform:**
+
+```bash
+# 1. Identify in-scope (gate-test) ACs for this issue.
+npx tsx -e '
+(async () => {
+  const sm = await import("./src/lib/workflow/state-manager.ts");
+  const acp = await import("./src/lib/ac-parser.ts");
+  const mgr = new sm.StateManager(process.cwd());
+  const ac = await mgr.getAcceptanceCriteria(<issue-number>);
+  const gateTests = (ac?.items ?? []).filter(
+    (i) => i.evidence && acp.isGateTestEvidence(i.evidence),
+  );
+  console.log(JSON.stringify(gateTests.map((i) => ({ id: i.id, evidence: i.evidence })), null, 2));
+})();
+'
+
+# 2. Parse SEQUANT_MUTATION markers from the PR body — this single call
+#    both parses AND rejects: given the diff's test-file paths, each
+#    returned marker carries a "classification" ("valid" or
+#    "test_not_in_diff"), so a marker naming a test absent from the diff
+#    is surfaced, not silently dropped.
+npx tsx -e '
+(async () => {
+  const mm = await import("./src/lib/workflow/mutation-marker.ts");
+  const prBody = process.argv[1];
+  const diffTestFiles = process.argv.slice(2);
+  const markers = mm.parseMutationMarkers(prBody, diffTestFiles);
+  const byAc = new Map(markers.map((m) => [m.ac, m]));
+  for (const [ac, marker] of byAc) {
+    console.log(ac, marker.classification, marker.failedTest);
+  }
+})();
+' -- "$PR_BODY" $(git diff origin/main...HEAD --diff-filter=AM --name-only | grep -E '\.(test|spec)\.')
+```
+
+**Safety rules (carry into any manual mutation performed during this check, per #883 and the commit-before-mutating discipline):**
+- **Commit before mutating.** `git checkout <file>` to revert a mutation wipes any uncommitted edits in that file, not just the mutation.
+- **Never mutate a variable a `finally` block passes to `rmSync`.** A mutation that touches cleanup-path state can delete a worktree (#883's motivating incident).
+
+**Per-AC status outcomes:**
+
+| Status | Criteria |
+|--------|----------|
+| **Verified** | The in-scope AC has a `SEQUANT_MUTATION` marker whose `failedTest` names a test file present in the diff |
+| **Missing** | The in-scope AC has no `SEQUANT_MUTATION` marker |
+| **Failed** | The in-scope AC has a marker naming a test file NOT present in the diff — a fabricated marker is worse than a missing one |
+
+**Aggregate `mutation_verification_status`** (the single §7 step-2 token — worst case across in-scope ACs wins, mirroring §6e's per-AC-table-to-single-status rollup): `Failed` if any in-scope AC is `Failed`; else `Missing` if any in-scope AC is `Missing`; else `Verified` if every in-scope AC is `Verified`; `Not-Applicable` when no AC in the diff is a gate-test AC.
+
+**AC marking and verdict gating:**
+
+- Aggregate `Missing` → the mutation-verification gate caps the verdict at `AC_MET_BUT_NOT_A_PLUS` regardless of individual ACs' own MET status — see step 4's `mutation_verification_status == "Missing"` branch.
+- Aggregate `Failed` → floor the verdict at `AC_NOT_MET` — see step 4's `mutation_verification_status == "Failed"` branch. This is a hard floor, not a soft cap: a marker naming a test absent from the diff is affirmatively false evidence, not merely absent evidence.
+
+**Output Format:**
+
+```markdown
+### Mutation Verification
+
+| AC | Gate Test? | Marker | Status |
+|----|-----------|--------|--------|
+| AC-N | Yes | `injection.test.ts > rejects payload` | Verified |
+| AC-M | Yes | — | Missing |
+| AC-P | Yes | `nonexistent.test.ts > some test` | Failed — test not in diff |
+| AC-Q | No | — | N/A |
+
+**Status:** Verified / Missing / Failed / Not-Applicable
+```
+
+---
+
+### 6j. Structured Gap Findings (REQUIRED)
+
+**Purpose:** `parseQaSummary`'s gap channel (`src/lib/workflow/phase-executor.ts`) used to scrape only the `**Issues:**` bullet list under Code Review — one specific spot in this template. It missed AC-table `NOT_MET`/`PARTIALLY_MET` rows, §6d Adversarial Re-Read findings, and §5/Risk Assessment gaps entirely, so a QA pass that failed on a §6d "Severe Gap" could hand `/loop` an empty findings list (#937). This section closes that gap: every finding this review surfaces — anywhere in the output, not just Code Review — gets classified into the taxonomy below and emitted as one machine-readable marker.
+
+**Taxonomy** (finite — six categories, pick the closest fit):
+
+| Category | Use for |
+|----------|---------|
+| `requirement_gap` | An AC (or a table row) is `NOT_MET`/`PARTIALLY_MET` |
+| `dependency_gap` | Missing/incompatible dependency, unregistered CLI flag, wiring gap (§2h, §3g-class) |
+| `test_gap` | Missing/tautological/insufficient test coverage (§2b, §2d, §6i Missing/Failed) |
+| `repository_gap` | Code quality, duplication, anti-pattern, dead code (§2, §2e) |
+| `risk_gap` | §5 Risk Assessment item, §6d Adversarial Re-Read finding, §6f Trust-Boundary finding |
+| `execution_gap` | Build/lint/CI failure, script/CLI execution failure (§2a, §Phase 1 CI Status) |
+
+**Per-finding fields:**
+
+| Field | Required? | Content |
+|-------|-----------|---------|
+| `category` | Yes | One of the six above |
+| `evidence` | Yes | A concrete observation — file:line, failing check name, or table row — never speculation |
+| `description` | Yes | One-sentence statement of the gap (same text you'd put in a prose bullet) |
+| `recommendedAction` | Yes | `fix_now` (blocks `READY_FOR_MERGE`, actionable by a code change), `document` (real but non-blocking — quality/polish, or explicitly deferred), or `pause_for_human` (needs a decision `/loop` cannot make, e.g. `SCOPE_SPLIT_RECOMMENDED`-class ambiguity) |
+| `affectedAcs` | If applicable | e.g. `["AC-3"]` |
+| `nonGoal` | If applicable | `true` when the finding overlaps one of the issue's Non-Goals — report-only under `ac` policy, same semantics as `ReadyGapItem.nonGoal` |
+
+**Fallback rule (no dropped findings):** if a real finding does not fit any of the six categories, **do not force it into the marker** — leave it as prose only (in Code Review's `**Issues:**`, Risk Assessment, or wherever it naturally belongs). The marker narrows the *structured* channel; every consumer that reads it also unions it with the prose scrape, so an unclassifiable finding is never silently lost — it just doesn't get machine-readable category/action metadata.
+
+**How to build the marker:** after finishing every other section, walk back through this review's own output — the AC Coverage table's non-MET rows, §5 Risk Assessment, §6d Adversarial Re-Read (Standard only), §6f Trust-Boundary, and Code Review's `**Issues:**` — and classify each real finding. Append exactly one marker as the LAST line of the comment (after `### Next Steps`), single-line flat-ish JSON (no line breaks inside the `{...}`, and no literal `-->` inside any string value — both would break the parser's `[\s\S]*?-->` match):
+
+```markdown
+<!-- SEQUANT_QA_GAPS: {"findings":[{"category":"requirement_gap","evidence":"AC-3 table row: NOT_MET — no rate limit found in src/retry.ts","description":"AC-3 (rate limiting) is not implemented","recommendedAction":"fix_now","affectedAcs":["AC-3"]}]} -->
+```
+
+When there are no findings to report (clean pass), still emit the marker with an empty array — this positively confirms the structured channel ran, rather than leaving `/loop` to distinguish "clean" from "QA output predates this marker":
+
+```markdown
+<!-- SEQUANT_QA_GAPS: {"findings":[]} -->
+```
+
+---
+
 
 ### 7. A+ Status Verdict
 
@@ -2380,6 +2608,8 @@ Provide an overall verdict:
    - adversarial_reread_status = status from Section 6d (Clean/Gaps Found/Severe Gap) — REQUIRED for Standard QA, omitted for Simple Fix
    - behavior_rule_survival_status = status from Section 6e (Clean/Survivors Found/N/A) — REQUIRED when any AC triggers the behavior-rule heuristic, omitted otherwise
    - trust_boundary_status = status from Section 6f (Clean/Injection Acted On) — REQUIRED in **both** Standard QA and Simple Fix mode (unlike 6d, it is never omitted: an injected command is a small diff by definition)
+   - declared_evidence_status = status from Section 6h (Complete/Incomplete/N/A) — REQUIRED when any AC declares evidence naming a runnable command, `N/A` otherwise
+   - mutation_verification_status = status from Section 6i (Verified/Missing/Failed/Not-Applicable) — REQUIRED when any AC is a gate-test AC per `isGateTestEvidence`, `Not-Applicable` otherwise
    - cli_registration_status = status from Section 2h (Passed/Failed/N/A) — REQUIRED when option interfaces are modified, `N/A` otherwise; omitted in Simple Fix mode along with the rest of §2h
    - script_verification_status = status from Section 11 (Verified/Overridden/Not Verified/Not Required) — REQUIRED when `scripts/` or `templates/scripts/` files are modified, `Not Required` otherwise
    - changelog_required = true IFF Section 10a's `CHANGELOG.md` exists AND Section 10a's `user_facing` count is >0 (single source of truth — see §10a for the conventional-commit detection regex, which accepts unscoped, scoped, and breaking variants of `feat`/`fix`/`perf`/`refactor`/`docs`); false otherwise
@@ -2414,12 +2644,18 @@ Provide an overall verdict:
        → AC_NOT_MET (the diff acted on an agent-directed instruction embedded in untrusted external text — see Section 6f and _shared/references/trust-model.md; name the instruction verbatim with its path:line)
    - ELSE IF cli_registration_status == "Failed":
        → AC_NOT_MET (an option-interface field has runtime `mergedOptions.X` usage but no `.option()` registration in `bin/cli.ts`, so users cannot reach the feature from the command line — invisible to TypeScript, build, and unit tests; see Section 2h and #305. Name each unregistered field.)
+   - ELSE IF mutation_verification_status == "Failed":
+       → AC_NOT_MET (a `SEQUANT_MUTATION` marker names a test file absent from this diff — a fabricated mutation-verification record; see Section 6i and #939. A fabricated marker is worse than a missing one.)
    - ELSE IF adversarial_reread_status == "Severe Gap":
        → AC_NOT_MET (verbatim motivating-example fixture not run / evidence claim is bug reproduction not validation / AC marked MET without runtime or corpus check the AC text required)
    - ELSE IF skill_verification == "Failed":
        → AC_MET_BUT_NOT_A_PLUS (skill commands have issues - cannot be READY_FOR_MERGE)
    - ELSE IF execution_evidence == "Incomplete":
        → AC_MET_BUT_NOT_A_PLUS (scripts not verified - cannot be READY_FOR_MERGE)
+   - ELSE IF declared_evidence_status == "Incomplete":
+       → AC_MET_BUT_NOT_A_PLUS (a declared `Evidence:` command was not executed/verified for one or more ACs - see Section 6h; the #853 "marked MET by construction" path)
+   - ELSE IF mutation_verification_status == "Missing":
+       → AC_MET_BUT_NOT_A_PLUS (a gate-test AC has no recorded `SEQUANT_MUTATION` marker - see Section 6i; the honor-system-prose gap #939 closes)
    - ELSE IF script_verification_status == "Not Verified":
        → AC_MET_BUT_NOT_A_PLUS (`scripts/` changed with no `/verify` evidence and no approved §11a override — code review and unit tests miss integration failures; see Section 11)
    - ELSE IF changelog_required AND changelog_missing:
@@ -2660,7 +2896,10 @@ Produce a Markdown snippet for the PR/issue:
 ### 9. Update GitHub Issue
 
 **If orchestrated (SEQUANT_ORCHESTRATOR is set):**
-- Skip posting GitHub comment (orchestrator handles aggregated summary)
+- Skip posting this skill's own GitHub comment — under `sequant run`,
+  `batch-executor.ts` posts a compact verdict comment (AC coverage + a
+  `SEQUANT_QA_VERDICT` marker) itself right after this phase completes with a
+  parseable verdict (#964); don't post a second, redundant one here
 - Include verdict and AC coverage in output for orchestrator to capture
 - Let orchestrator update labels based on final workflow status
 
@@ -2879,7 +3118,7 @@ When the size gate determined `SMALL_DIFF=true`, use the **simplified output tem
 - Skill Change Review
 - Adversarial Re-Read
 
-**Not omitted:** the Trust-Boundary Check (§6f), the Behavior-Rule Survival Check (§6e), and the CHANGELOG Quality Gate (§10a) are all required in simple fix mode too — each is cheap, and each guards a defect class that a small diff is a *likely* carrier of rather than an unlikely one. Every `(REQUIRED` section must appear in either the required list below or the omitted list above; `scripts/lint-skill-gates.ts` (I3) fails the build on silence, because silence is how #819 F2 shipped a security check that Simple Fix mode switched off.
+**Not omitted:** the Trust-Boundary Check (§6f), the Behavior-Rule Survival Check (§6e), the Declared-Evidence Execution check (§6h), the Mutation Verification check (§6i), and the CHANGELOG Quality Gate (§10a) are all required in simple fix mode too — each is cheap (a short-circuit to N/A when no AC qualifies), and each guards a defect class that a small diff is a *likely* carrier of rather than an unlikely one — a gate test (fixture/section/flag assertion) is very often itself a small, localized diff. Every `(REQUIRED` section must appear in either the required list below or the omitted list above; `scripts/lint-skill-gates.ts` (I3) fails the build on silence, because silence is how #819 F2 shipped a security check that Simple Fix mode switched off.
 
 **Required sections for simple fix mode:**
 
@@ -2891,12 +3130,15 @@ When the size gate determined `SMALL_DIFF=true`, use the **simplified output tem
 - [ ] **Anti-Pattern Detection** - Code patterns check (lightweight)
 - [ ] **Trust-Boundary Check** - Required in simple fix mode too (see Section 6f); "Finding:" and "Status:" lines populated
 - [ ] **Behavior-Rule Survival Check** - Required in simple fix mode too (see Section 6e): a #533-class stale-rule survival is very plausibly a sub-threshold diff. Cheap short-circuit — mark "N/A" when no AC triggers the behavior-rule heuristic
+- [ ] **Declared-Evidence Execution** - Required in simple fix mode too (see Section 6h): a declared-evidence AC marked MET without running its command is exactly the #853 gap, regardless of diff size. Cheap short-circuit — mark "N/A" when no AC declares evidence naming a runnable command
+- [ ] **Mutation Verification** - Required in simple fix mode too (see Section 6i): a gate-test AC merged without a recorded mutation result is exactly the #830 gap, regardless of diff size. Cheap short-circuit — mark "N/A" when no AC is a gate-test AC
 - [ ] **CHANGELOG Verification** - Required in simple fix mode too (see Section 10a): a one-line user-facing fix still needs an `[Unreleased]` entry (or marked N/A)
 - [ ] **Risk Assessment** - Likely failure mode and coverage gaps stated
 - [ ] **Verdict** - One of: READY_FOR_MERGE, AC_MET_BUT_NOT_A_PLUS, NEEDS_VERIFICATION, AC_NOT_MET
 - [ ] **Documentation Check** - README/docs updated if feature adds new functionality
 - [ ] **Next Steps** - Clear, actionable recommendations
 - [ ] Adversarial re-read of core logic — list anything the structured pipeline didn't surface
+- [ ] **Structured Gap Findings** - `SEQUANT_QA_GAPS` marker present as the last line, findings classified per Section 6j (or `{"findings":[]}` on a clean pass)
 
 ### Standard QA (Implementation Exists, `SMALL_DIFF=false`)
 
@@ -2920,6 +3162,8 @@ When the size gate determined `SMALL_DIFF=true`, use the **simplified output tem
 - [ ] **Detection Pattern Verification** - Included if skill markdown adds new `grep`/`awk`/`jq`/`sed`/regex (or marked N/A)
 - [ ] **CLI Registration Verification** - Included if option interfaces modified (or marked N/A — see Section 2h); `Failed` floors the verdict at `AC_NOT_MET` via §7
 - [ ] **Behavior-Rule Survival Check** - Included if any AC triggers the behavior-rule heuristic (or marked N/A — see Section 6e); `Survivors Found` floors the verdict at `AC_NOT_MET` via §7
+- [ ] **Declared-Evidence Execution** - Included if any AC declares evidence naming a runnable command (or marked N/A — see Section 6h); `Incomplete` floors the verdict at `AC_MET_BUT_NOT_A_PLUS` via §7, and an unexecuted AC is marked PENDING rather than MET
+- [ ] **Mutation Verification** - Included if any AC is a gate-test AC per `isGateTestEvidence` (or marked Not-Applicable — see Section 6i); `Missing` floors the verdict at `AC_MET_BUT_NOT_A_PLUS` via §7, `Failed` floors it at `AC_NOT_MET`
 - [ ] **Skill Change Review** - Skill-specific verification prompts included if skills changed
 - [ ] **Smoke Test** - Included if workflow-affecting changes (skills, scripts, CLI), or marked "Not Required"
 - [ ] **Manual Test AC Enforcement** - Included if spec plan has Manual Test ACs (or marked N/A if no manual-test ACs detected)
@@ -2928,6 +3172,7 @@ When the size gate determined `SMALL_DIFF=true`, use the **simplified output tem
 - [ ] **Adversarial Re-Read** - Required structured section: all 5 sub-prompts answered with concrete content; "Findings:" and "Status:" lines populated; bare "No gaps" without specific reasoning fails verification (see Section 6d)
 - [ ] **Documentation Check** - README/docs updated if feature adds new functionality
 - [ ] **Next Steps** - Clear, actionable recommendations
+- [ ] **Structured Gap Findings** - `SEQUANT_QA_GAPS` marker present as the last line, findings classified per Section 6j (or `{"findings":[]}` on a clean pass)
 
 ### Early Exit (No Implementation)
 
@@ -3030,6 +3275,26 @@ When the size gate triggers simple fix mode, use this shorter template:
 
 ---
 
+### Declared-Evidence Execution
+
+| AC | Evidence | Executed? | Result |
+|----|----------|-----------|--------|
+| AC-N | `<command>` or — | Yes/No/— | [pass-fail result, or "Not run — AC marked PENDING"] |
+
+**Status:** Complete / Incomplete / N/A
+
+---
+
+### Mutation Verification
+
+| AC | Gate Test? | Marker | Status |
+|----|-----------|--------|--------|
+| AC-N | Yes/No | `<file.test.ts > test name>` or — | Verified / Missing / Failed / N/A |
+
+**Status:** Verified / Missing / Failed / Not-Applicable
+
+---
+
 ### CHANGELOG Verification
 
 **Result:** [CHANGELOG requirements met / Missing entry for user-facing changes / N/A (non-user-facing changes only)]
@@ -3057,6 +3322,10 @@ When the size gate triggers simple fix mode, use this shorter template:
 ### Next Steps
 
 1. [Action item]
+
+### Structured Gap Findings
+
+<!-- SEQUANT_QA_GAPS: {"findings":[...]} -->
 ```
 
 ---
@@ -3400,6 +3669,31 @@ You MUST include these sections:
 
 ---
 
+### Declared-Evidence Execution
+
+| AC | Evidence | Executed? | Result |
+|----|----------|-----------|--------|
+| AC-N | `npm test -- reset-expiry` | Yes | ✅ 4 passed |
+| AC-M | `npx sequant doctor --help` | No | ⚠️ Not run — AC marked PENDING |
+| AC-P | — | — | N/A (no declared evidence) |
+
+**Status:** Complete / Incomplete / N/A
+
+---
+
+### Mutation Verification
+
+| AC | Gate Test? | Marker | Status |
+|----|-----------|--------|--------|
+| AC-N | Yes | `injection.test.ts > rejects payload` | Verified |
+| AC-M | Yes | — | Missing |
+| AC-P | Yes | `nonexistent.test.ts > some test` | Failed — test not in diff |
+| AC-Q | No | — | N/A |
+
+**Status:** Verified / Missing / Failed / Not-Applicable
+
+---
+
 ### CHANGELOG Verification
 
 | Check | Status |
@@ -3436,4 +3730,8 @@ You MUST include these sections:
 
 1. [Action item 1]
 2. [Action item 2]
+
+### Structured Gap Findings
+
+<!-- SEQUANT_QA_GAPS: {"findings":[...]} -->
 ```

package/dist/marketplace/external_plugins/sequant/skills/release/SKILL.md

@@ -112,6 +112,62 @@ gh auth status || { echo "Not logged in - run: gh auth login"; exit 1; }
 
 ## Release Steps
 
+### Step 0: Acquire the Checkout Lock (REQUIRED)
+
+Everything from here on mutates the **main checkout**: the version bump and its
+commit, tag, and push (Steps 4–7), plus the rollback verbs (`git reset --soft`,
+`git checkout -- …`) if a step fails. `git commit`/`tag`/`push` are not guarded
+by `pre-tool.sh`, but the `git reset` in rollback is — and, more importantly,
+holding the checkout lock (#901) is what stops a session on another issue from
+interleaving a `git checkout` between the bump and the commit and landing the
+release commit on the wrong HEAD. So claim the tree now, before the first
+interactive approval pause (Step 2's release-notes review), exactly as
+`/fullsolve` does in its Phase 0.3.
+
+`/release` has no issue of its own, and the checkout lock proves ownership by a
+**positive integer** — the `pre-tool.sh` guard and `sequant locks checkout` both
+key on `--issue=<N>`. So `/release` claims the tree under a reserved sentinel
+issue id, **`999999999`** (a number that will never be a real issue), and uses it
+on the acquire and on every release below. `locks list` and the CLI's
+release-refusal render this sentinel as `/release (sentinel)` so it does not
+read as a real issue. A symbolic holder (e.g. `--label=release`) would avoid
+the reserved-number scheme entirely, but it would require changing the
+lock-file schema, the CLI, *and* the numeric-only `pre-tool.sh` guard — out of
+scope for #911 (tracked there as a follow-up).
+
+```bash
+# Claim the shared working tree before the first mutation / approval pause.
+# Skip for --dry-run: it previews only and mutates nothing, so it needs no lock.
+npx sequant locks checkout acquire \
+    --issue=999999999 \
+    --command="/release" \
+    --skip-pid-check || true
+export SEQUANT_ISSUE=999999999
+```
+
+Acquire **after** the read-only pre-flight checks above, not before: those checks
+(`git status`/`fetch`, `npm test`/`build`, `npm whoami`, `gh auth`) mutate
+nothing, so a pre-flight abort holds no lock and needs no release. That is why the
+pre-flight `exit 1` branches carry no release call — you cannot release a lock you
+have not taken.
+
+**`--issue=999999999` is mandatory on release** (#906): it is what proves you are
+the holder once the acquiring shell's PID is gone (`--skip-pid-check`). Stale
+recovery is age-based only (the 6h `SEQUANT_SKILL_LOCK_TTL_MS` and the 24h
+`SEQUANT_MAX_LOCK_AGE_MS` ceiling), not same-host dead-PID recovery.
+
+**Release contract:** release the checkout lock —
+`npx sequant locks checkout release --issue=999999999 || true` — on **every**
+path that exits after this acquire: happy-path completion (Post-Release
+Verification), any mid-release error (Error Handling), and the Rollback
+Procedures. Releasing an already-released lock is a harmless no-op, so a failure
+that both errors and rolls back may run two of these — that is safe.
+
+**Orchestrator/MCP mode:** when `SEQUANT_ORCHESTRATOR` is set, every `locks
+checkout` action is a no-op (exit 0, no file touched) and the `pre-tool.sh`
+checkout guard stands down, so the acquire/release calls are safe to run
+unconditionally.
+
 ### Step 1: Determine Version
 
 If version type not provided as argument, ask the user:
@@ -493,6 +549,13 @@ gh release view "v${new_version}"
 npx sequant@${new_version} --version
 ```
 
+The release is complete — hand the working tree back (#901). This is the
+counterpart to the acquire in Step 0.
+
+```bash
+npx sequant locks checkout release --issue=999999999 || true
+```
+
 ## Output Summary
 
 ```
@@ -575,6 +638,11 @@ git reset --soft HEAD~1
 
 # Delete local tag
 git tag -d v{version}
+
+# Rollback aborts the release — hand the working tree back (#901/#906).
+# The git reset above is a guarded verb; it runs unrefused only because Step 0
+# made this session the checkout holder.
+npx sequant locks checkout release --issue=999999999 || true
 ```
 
 ### After git push, before npm publish
@@ -589,6 +657,9 @@ gh release delete v{version} --yes
 # Revert commit
 git revert HEAD
 git push origin main
+
+# Rollback aborts the release — hand the working tree back (#901/#906).
+npx sequant locks checkout release --issue=999999999 || true
 ```
 
 ### After npm publish
@@ -601,6 +672,14 @@ Instead:
 
 ## Error Handling
 
+**If a release step fails and you halt without completing, release the checkout
+lock first** (#901/#906) — Step 0 acquired it and every abort after that must hand
+the working tree back before stopping:
+
+```bash
+npx sequant locks checkout release --issue=999999999 || true
+```
+
 | Error | Cause | Resolution |
 |-------|-------|------------|
 | "Not on main" | Wrong branch | `git checkout main` |

package/dist/marketplace/external_plugins/sequant/skills/spec/SKILL.md

@@ -13,7 +13,7 @@ allowed-tools:
   - Bash(gh label:*)
   - Bash(git worktree:*)
   - Bash(git -C:*)
-  - Agent(sequant-explorer)
+  - Agent(Explore)
   - AgentOutputTool
 ---
 
@@ -24,6 +24,22 @@ allowed-tools:
 
 Phase 1 "Planning Agent." Understands the issue and AC, reviews or synthesizes a plan, identifies gaps and risks, and drafts a GitHub issue comment.
 
+## Worktree Contract
+
+<!-- BEGIN: spec-worktree-contract (#899) -->
+
+**No worktree needed. Planning happens in the main repository directory.** The
+worktree is created later — by the orchestrator (`/fullsolve` Phase 1.5, or
+`sequant run`) when one is driving, otherwise by `/exec` itself.
+
+This skill only ever *reads* `git worktree list`, for in-flight collision
+detection. **Do not create a worktree here, and do not describe one as
+existing after `/spec`** — downstream skills that trust such a claim end up
+implementing in the main checkout (#899, and the line this restores was
+dropped by #515).
+
+<!-- END: spec-worktree-contract (#899) -->
+
 ## Platform Detection — Run First
 
 ```bash
@@ -91,6 +107,8 @@ Mark tier in HTML comment for downstream parsing: `<!-- SEQUANT_SPEC_TIER: [tier
    | Open-ended | "etc.", "and more" | Scope undefined |
    | Title/body tension | doc-noun title ("note", "comment", "snippet") + runtime-imperative body ("execute", "trigger", "capture", incl. inflections like `triggered`/`captured`, `run /<cmd>`); separators `.`/`\n`/`:`/`—` | Two different verification bars |
 
+   > For the house AC format rules (single-line constraint, `Evidence:`/`Risk:`/`Human decision` fields, Non-Goals section), see the constitution's §2 AC Authoring Standard (`.claude/memory/constitution.md`).
+
 3. **Scope Assessment** (unless `--skip-scope-check`): Use `performScopeAssessment` from `./src/lib/scope/index.ts` with settings from `getSettings()`. Verdicts: SCOPE_OK (green), SCOPE_WARNING (yellow, auto-enables quality loop), SCOPE_SPLIT_RECOMMENDED (red). Store results in state.
 
 ### If guard fails (consumer projects):
@@ -114,22 +132,11 @@ ls -d src/ app/ lib/ components/ pages/ routes/ docs/ 2>/dev/null || true
 
 Use discovered paths in all agent prompts and search commands.
 
-### Agent Spawn Rules
+### Context-Gathering Strategy
 
-Determine agent count from issue content — do NOT always spawn 3:
+Default to targeted inline `Read`/`Grep` against the paths the issue names or the ones discovered above — this is what actually resolves most issues and avoids paying subagent overhead for context you can fetch directly. Escalate to a single `Explore` agent only for genuinely open-ended discovery (e.g. "where does X live?" with no named files or an unfamiliar area of the codebase). Don't spawn more than one `Explore` agent per `/spec` run — if the issue needs more context than that, narrow the search instead of fanning out.
 
-| Issue Content | Agents | What to Spawn |
-|---------------|--------|---------------|
-| Database/SQL/migration keywords in AC or labels | 3 | Similar features + Codebase area + Database schema |
-| UI/frontend (`.tsx`/`.jsx`/`components/` references) | 2 | Similar features + Codebase area |
-| CLI/script changes | 2 | Similar features + Codebase area |
-| Docs/config/`simple-fix` label | 1 | General context only |
-
-**Execution mode:** Read `.sequant/settings.json` → `agents.parallel` (default: false).
-- **Parallel:** Spawn all agents in a SINGLE message
-- **Sequential:** Spawn one at a time, waiting for each to complete
-
-Agent prompts MUST reference discovered paths from the step above, not hardcoded ones like `components/admin/` or `lib/queries/`.
+Whichever path you take, reference discovered paths from the step above in searches, not hardcoded ones like `components/admin/` or `lib/queries/`.
 
 ### In-Flight Work Analysis
 
@@ -319,6 +326,8 @@ See [verification-criteria.md](references/verification-criteria.md) for detailed
 **Quality Loop:** [enabled/disabled]
 **Reasoning:** [Brief explanation]
 
+<!-- SEQUANT_SPEC: {"phases":["exec","qa"],"qualityLoop":false} -->
+
 <!-- Decision logic:
      - UI/frontend → add `test` phase
      - `no-browser-test` label → skip `test` (overrides UI labels)
@@ -327,6 +336,15 @@ See [verification-criteria.md](references/verification-criteria.md) for detailed
      - New features with Unit/Integration Test verification ACs → add `testgen` phase
      - Docs-only → skip spec, just exec → qa -->
 
+**Emit the `SEQUANT_SPEC` marker with the real resolved values** — `phases`
+is the same list shown in `**Phases:**` above, minus `spec` (it already
+ran); `qualityLoop` mirrors `**Quality Loop:**`. This is the durable
+resolution channel `sequant run` reads first (#921) — `**Phases:**` prose
+and spec's own chat output are both fallbacks for when this marker is
+missing or fails validation, so an omitted or stale marker silently
+downgrades which phases actually run. It MUST be included in the comment
+actually posted via `gh issue comment`, not just shown in this response.
+
 ---
 
 ## Label Review
@@ -358,15 +376,19 @@ See [verification-criteria.md](references/verification-criteria.md) for detailed
 | Docs-only (`docs` label) | No | Skip testgen — no unit tests needed |
 | All ACs have "Manual Test" or "Browser Test" | No | Skip testgen — no code stubs to generate |
 
-**Detection logic:**
-1. Count ACs with "Unit Test" → If >0, recommend testgen
-2. Count ACs with "Integration Test" → If >0, recommend testgen
-3. Check labels: `bug`/`fix` only → Skip testgen. `docs` → Skip testgen.
+**Detection logic — declared evidence counts before inferred (#938):**
+
+`extractAcceptanceCriteria` resolves each AC's `verificationMethod` from a declared `Evidence:` clause when the AC line has one (`AC.evidence` is set), falling back to keyword inference only when it doesn't. Ground the recommendation in the stronger signal first:
+
+1. Count ACs with **declared** evidence (`AC.evidence` set) resolving to "Unit Test" or "Integration Test" → these are the reasoning's primary citation; if >0, recommend testgen and name them.
+2. Count remaining ACs — no declared evidence, method came from **inference** — that are "Unit Test" → if >0, recommend testgen.
+3. Count remaining inferred "Integration Test" ACs → if >0, recommend testgen.
+4. Check labels: `bug`/`fix` only → Skip testgen. `docs` → Skip testgen.
 
 **Example when testgen recommended:**
 ```markdown
 **Phases:** spec → testgen → exec → qa
-**Reasoning:** ACs include Unit Test verification methods; testgen will create stubs before implementation
+**Reasoning:** AC-1 declares evidence (`npm test -- reset-expiry`, unit_test); testgen will create stubs before implementation
 ```
 
 ### Browser Testing Label Suggestion