qfai 1.5.4 → 1.5.6

package/README.md

@@ -17,6 +17,10 @@ The agent reads the repository, produces the required artifacts, and iterates un
 
 ## Quick start
 
+> **Windows users:** `qfai init` creates symlinks internally.
+> You must enable **Developer Mode** (Settings → System → For developers → Developer Mode: ON)
+> before running `npx qfai init`, otherwise symlink creation will fail due to insufficient privileges.
+
 ```bash
 # 1) Initialize QFAI assets in your repository
 npx qfai init
@@ -246,7 +250,7 @@ flowchart LR
 - Contracts SSOT: `.qfai/contracts/**`
 - Report outputs (`.qfai/report/**`) are derived artifacts and not SSOT.
 
-## Minimal tutorial (v1.5.4)
+## Minimal tutorial (v1.5.6)
 
 1. `npx qfai init`
 2. Run `/qfai-discussion` to structure scope, open questions, and produce a discussion pack under `.qfai/discussion/discussion-<ts>/`.

package/assets/init/.qfai/assistant/instructions/agent-selection.md

@@ -10,6 +10,11 @@ update_frequency: occasional
 
 Delegate work to specialized roles to reduce blind spots and improve quality.
 
+## Feedback quality rule (all agents)
+
+- Every sub-agent MUST include a concrete alternative or fix proposal when submitting FAIL verdicts or other negative feedback.
+- Negative feedback without a concrete alternative is invalid and triggers re-judgment.
+
 ## Default delegation map
 
 - **Researcher**: collect pre-knowledge (English sources), glossary, risks, and question angles
@@ -34,6 +39,14 @@ Delegate work to specialized roles to reduce blind spots and improve quality.
 - **Runtime Gatekeeper**: runtime evidence and smoke verification
 - **Prototyping Coverage Auditor**: detect missing spec rows and unresolved checks in prototyping coverage evidence
 - **Doc Steward**: doc impact analysis and README/mermaid updates
+- **Devil's Advocate (devils-advocate)**: challenge all assumptions as fundamentally wrong, provide concrete alternatives for every objection
+  - Responsibility: review under the premise that everything is wrong; use nitpicking, reductio ad absurdum, and forced analogy to present a concrete vision of the ideal state
+  - Delegation rule: executes after existing 10 reviewers (11th). FAIL must include alternative proposal. Bare negation FAIL is invalid. 3 consecutive FAILs trigger advisory demotion (current cycle only)
+  - Selection scenario: mandatory in every skill review cycle (can_be_na: false). Purpose: uncover blind spots in design, specs, and requirements
+- **Pattern Doubler (pattern-doubler)**: demand 2x the current ID-bearing pattern count, propose concrete additions with rationale
+  - Responsibility: demand doubling of ID-bearing items (US, AC, BR, EX, TC) by identifying missing perspectives and proposing additions with justification
+  - Delegation rule: executes after devils-advocate (12th). Rationale for each proposed addition is required
+  - Selection scenario: executes in /qfai-sdd review cycles. N/A allowed only when spec pack has no ID-bearing items (can_be_na: true)
 
 ## If subagents are not supported
 

package/assets/init/.qfai/assistant/skills/qfai-atdd/SKILL.md

@@ -31,6 +31,17 @@ QFAI Skill Body (SSOT)
 
 [DRIFT-PROTOCOL:MANDATORY]
 
+## User Questions (AskUserQuestion Protocol)
+
+- When a question to the user is needed (e.g., test scope decisions, runtime environment confirmation),
+  the agent MUST use AskUserQuestion if the tool is available.
+- When AskUserQuestion supports structured choices (radio/multi-select),
+  the agent MUST prefer structured choices over free-text input.
+- If AskUserQuestion is technically unavailable, present the same question as a normal message
+  with explicit numbered choices.
+  The agent SHOULD preserve structured choice semantics (enumerated options, selection constraints).
+  The reason for unavailability MUST be stated.
+
 ## FORMAT SSOT (Mandatory)
 
 - Before writing or editing any `.qfai/**` artifact, read and follow the relevant directory README template and sample.
@@ -120,6 +131,14 @@ Every major artifact in this stage MUST include this fixed table schema:
   - Floors/ratios are signals, not gates.
   - `scenario.feature` and coverage ledgers are optional legacy inputs, not completion gates.
 - Do not declare DONE until Reviewer returns `PASS`.
+- **All reviewers: alternative proposal obligation**:
+  - Every reviewer MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment.
+- **devils-advocate gate**:
+  - devils-advocate FAIL must include a concrete alternative proposal. Bare negation FAIL triggers re-judgment.
+  - 3 consecutive FAILs trigger advisory demotion and allow progression to the next phase.
+- **pattern-doubler gate**:
+  - Each pattern proposed by pattern-doubler must include rationale.
+  - Artifacts with no ID-bearing items (US/AC/BR/EX/TC) are marked N/A.
 
 ### Work order template (copy/paste)
 

package/assets/init/.qfai/assistant/skills/qfai-configure/SKILL.md

@@ -18,6 +18,17 @@ QFAI Skill Body (SSOT)
 
 [DRIFT-PROTOCOL:MANDATORY]
 
+## User Questions (AskUserQuestion Protocol)
+
+- When a question to the user is needed (e.g., configuration decisions, glob pattern confirmation),
+  the agent MUST use AskUserQuestion if the tool is available.
+- When AskUserQuestion supports structured choices (radio/multi-select),
+  the agent MUST prefer structured choices over free-text input.
+- If AskUserQuestion is technically unavailable, present the same question as a normal message
+  with explicit numbered choices.
+  The agent SHOULD preserve structured choice semantics (enumerated options, selection constraints).
+  The reason for unavailability MUST be stated.
+
 ## FORMAT SSOT (Mandatory)
 
 - **Before writing or editing any `.qfai/**` artifact\*\*, read and follow the relevant directory README template and sample:
@@ -92,6 +103,14 @@ Every major artifact in this stage MUST include a `## Work Orders Summary` secti
     - E2E/API/Integration coverage aligns with `steering/test-layers.md` and the project’s plan.
     - Do not use pyramid ratios as a gate; use floors/ratios only as signals. Coverage obligations are the gate.
 - Do not declare DONE or handoff until Reviewer returns `PASS`.
+- **All reviewers: alternative proposal obligation**:
+  - Every reviewer MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment.
+- **devils-advocate gate**:
+  - devils-advocate FAIL must include a concrete alternative proposal. Bare negation FAIL triggers re-judgment.
+  - 3 consecutive FAILs trigger advisory demotion and allow progression to the next phase.
+- **pattern-doubler gate**:
+  - Each pattern proposed by pattern-doubler must include rationale.
+  - Artifacts with no ID-bearing items (US/AC/BR/EX/TC) are marked N/A.
 
 ### Work order template (copy/paste)
 

package/assets/init/.qfai/assistant/skills/qfai-discussion/SKILL.md

@@ -18,6 +18,17 @@ QFAI Skill Body (SSOT)
 
 [DRIFT-PROTOCOL:MANDATORY]
 
+## User Questions (AskUserQuestion Protocol)
+
+- When a question to the user is needed (e.g., Simulation mode approval, scope confirmation),
+  the agent MUST use AskUserQuestion if the tool is available.
+- When AskUserQuestion supports structured choices (radio/multi-select),
+  the agent MUST prefer structured choices over free-text input.
+- If AskUserQuestion is technically unavailable, present the same question as a normal message
+  with explicit numbered choices.
+  The agent SHOULD preserve structured choice semantics (enumerated options, selection constraints).
+  The reason for unavailability MUST be stated.
+
 ## FORMAT SSOT (Mandatory)
 
 - Before writing artifacts, read and follow:
@@ -63,6 +74,14 @@ Every major artifact in this stage MUST include this table schema:
 - Reviewer must check Drift Protocol compliance and alignment with `.qfai/assistant/steering/test-layers.md`.
 - Test volume floors/ratios are not gates; they are risk signals.
 - Do not declare DONE until Reviewer returns `PASS`; otherwise apply `REVISE`.
+- **All reviewers: alternative proposal obligation**:
+  - Every reviewer MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment.
+- **devils-advocate gate**:
+  - devils-advocate FAIL must include a concrete alternative proposal. Bare negation FAIL triggers re-judgment.
+  - 3 consecutive FAILs trigger advisory demotion and allow progression to the next phase.
+- **pattern-doubler gate**:
+  - Each pattern proposed by pattern-doubler must include rationale.
+  - Artifacts with no ID-bearing items (US/AC/BR/EX/TC) are marked N/A.
 
 ## CRITICAL CONSTRAINTS (Read First)
 
@@ -221,6 +240,14 @@ RCP rules:
 - Any `FAIL` requires return/fix/full rerun from the first reviewer.
 - Mark fixed only when all reviewers are `PASS` or valid `N/A`.
 - `summary.json` `target.kind` must be `"discussion"`.
+- Execution order: existing 10 reviewers (1-10) → devils-advocate (11) → pattern-doubler (12).
+- devils-advocate (11th):
+  - `can_be_na: false` — N/A is not allowed.
+  - FAIL must include a concrete alternative. Bare negation FAIL is invalid.
+  - 3 consecutive FAILs trigger advisory demotion (current review cycle only).
+- pattern-doubler (12th):
+  - `can_be_na: true` — N/A is default in discussion phase as ID-bearing items are sparse.
+  - Evaluates Example Seeds count and perspective coverage.
 
 ## RCP Footer Include (MUST)
 

package/assets/init/.qfai/assistant/skills/qfai-discussion/references/rcp_footer.md

@@ -89,3 +89,29 @@
   - 復旧: 1本でよいので、登場人物（ペルソナ）と主要分岐が分かる flowchart を入れる
 - FAIL: pack 名が不正（latest 判定がブレる）
   - 復旧: 不正 pack を `discussion-legacy-*` に退避し、最新 pack を timestamp 命名で作り直す
+
+---
+
+## 拡張レビュアー
+
+### devils-advocate（11番目）
+
+- 役割: 全否定エージェント — 「現状すべてが間違っている」前提でレビューし、あるべき姿を提示する
+- `can_be_na: false` — N/A は許可されない
+- FAIL 判定時は必ず具体的代替案を提示すること。代替案なしの FAIL は無効とし、再判定を要求する
+- 3 回連続 FAIL → アドバイザリー降格（当該レビューサイクル限定）。降格後はブロッキング力が消失し、フィードバックのみ記録する
+- レビュー記録: `R11_devils-advocate.md`
+
+### pattern-doubler（12番目）
+
+- 役割: パターン倍増エージェント — discussion phase では ID 付き項目が少ないため N/A が基本
+- `can_be_na: true` — discussion phase では Example Seeds の数と観点網羅性を評価対象とする
+- N/A でない場合、追加パターンの根拠提示が必須
+- レビュー記録: `R12_pattern-doubler.md`
+
+### 代表的な FAIL と復旧（拡張レビュアー特化）
+
+- FAIL (devils-advocate): 代替案なしの否定のみ
+  - 復旧: 具体的な「あるべき姿」と移行パスを記述させ、再判定する
+- FAIL (devils-advocate, 3回連続): 無限ループ検知
+  - 復旧: アドバイザリー降格を記録し、devils-advocate のフィードバックを advisory として保存。次フェーズに進行する

package/assets/init/.qfai/assistant/skills/qfai-prototyping/SKILL.md

@@ -29,6 +29,17 @@ QFAI Skill Body (SSOT)
 
 [DRIFT-PROTOCOL:MANDATORY]
 
+## User Questions (AskUserQuestion Protocol)
+
+- When a question to the user is needed (e.g., implementation scope decisions, runtime environment confirmation),
+  the agent MUST use AskUserQuestion if the tool is available.
+- When AskUserQuestion supports structured choices (radio/multi-select),
+  the agent MUST prefer structured choices over free-text input.
+- If AskUserQuestion is technically unavailable, present the same question as a normal message
+  with explicit numbered choices.
+  The agent SHOULD preserve structured choice semantics (enumerated options, selection constraints).
+  The reason for unavailability MUST be stated.
+
 Run prototyping as an **all-spec stage**. Scope is fixed to **ALL specs** resolved from `.qfai/specs/spec-*`.
 
 This stage is complete only when all specs pass the minimum runtime contract:
@@ -124,6 +135,14 @@ Every major artifact in this stage MUST include this table:
   - test-layer obligations match `test-layers.md` and plan,
   - floors and ratios are **signals, not gates**.
 - Reviewer returns only `PASS` or `REVISE`.
+- **All reviewers: alternative proposal obligation**:
+  - Every reviewer MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment.
+- **devils-advocate gate**:
+  - devils-advocate FAIL must include a concrete alternative proposal. Bare negation FAIL triggers re-judgment.
+  - 3 consecutive FAILs trigger advisory demotion and allow progression to the next phase.
+- **pattern-doubler gate**:
+  - Each pattern proposed by pattern-doubler must include rationale.
+  - Artifacts with no ID-bearing items (US/AC/BR/EX/TC) are marked N/A.
 
 ### Work order template (copy/paste)
 

package/assets/init/.qfai/assistant/skills/qfai-sdd/SKILL.md

@@ -28,6 +28,17 @@ QFAI Skill Body (SSOT)
 
 [DRIFT-PROTOCOL:MANDATORY]
 
+## User Questions (AskUserQuestion Protocol)
+
+- When a question to the user is needed (e.g., OQ resolution, NFR priority decisions),
+  the agent MUST use AskUserQuestion if the tool is available.
+- When AskUserQuestion supports structured choices (radio/multi-select),
+  the agent MUST prefer structured choices over free-text input.
+- If AskUserQuestion is technically unavailable, present the same question as a normal message
+  with explicit numbered choices.
+  The agent SHOULD preserve structured choice semantics (enumerated options, selection constraints).
+  The reason for unavailability MUST be stated.
+
 ## FORMAT SSOT (Mandatory)
 
 - Before writing or editing any `.qfai/**` artifact, read and follow:
@@ -140,6 +151,14 @@ Every major artifact in this stage MUST include a `## Work Orders Summary` secti
       - `tests/integration/**` -> `QFAI:SPEC-XXXX:TC-YYYY`
       - `tests/api/**` -> `QFAI:CON-API-XXXX` (and no TC annotations)
 - Do not declare DONE or handoff until Reviewer returns `PASS`.
+- **All reviewers: alternative proposal obligation**:
+  - Every reviewer MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment.
+- **devils-advocate gate**:
+  - devils-advocate FAIL must include a concrete alternative proposal. Bare negation FAIL triggers re-judgment.
+  - 3 consecutive FAILs trigger advisory demotion and allow progression to the next phase.
+- **pattern-doubler gate**:
+  - Each pattern proposed by pattern-doubler must include rationale.
+  - Artifacts with no ID-bearing items (US/AC/BR/EX/TC) are marked N/A.
 
 ### Work order template (copy/paste)
 
@@ -183,6 +202,15 @@ Evidence checked:
 - Allowed reviewer verdicts: `PASS`, `FAIL`, `N/A` (`N/A` requires `na_rule` reason).
 - Any `FAIL` triggers return/fix/full-rerun from the first reviewer.
 - `fixed` is forbidden until all reviewers are `PASS` or valid `N/A`.
+- Execution order: existing 10 reviewers (1-10) → devils-advocate (11) → pattern-doubler (12).
+- devils-advocate (11th):
+  - `can_be_na: false` — N/A is not allowed.
+  - FAIL must include a concrete alternative. Bare negation FAIL is invalid.
+  - 3 consecutive FAILs trigger advisory demotion (current review cycle only). Blocking power is lost after demotion.
+- pattern-doubler (12th):
+  - `can_be_na: true` — N/A only when the target artifact has no ID-bearing items.
+  - Sets a 2x target for current ID-bearing items (US, AC, BR, EX, TC) and identifies missing patterns.
+  - Rationale for each proposed addition is required.
 
 ## Stage 0 - Steering completion refresh (mandatory)
 

package/assets/init/.qfai/assistant/skills/qfai-sdd/references/rcp_footer.md

@@ -82,3 +82,32 @@ discussion-pack 等の共通規約ではありません。
   - 復旧: 先に Glossary/Capabilities を補強し、契約を spec に合わせて修正する
 - FAIL: decision/rejected が薄く、なぜそうしたかが追えない
   - 復旧: 代替案A/B/Cと採用基準を書き、Rejected に DO NOT/Temptation を残す
+
+---
+
+## 拡張レビュアー
+
+### devils-advocate（11番目）
+
+- 役割: 全否定エージェント — 「現状すべてが間違っている」前提でレビューし、あるべき姿を提示する
+- `can_be_na: false` — N/A は許可されない
+- FAIL 判定時は必ず具体的代替案を提示すること。代替案なしの FAIL は無効とし、再判定を要求する
+- 3 回連続 FAIL → アドバイザリー降格（当該レビューサイクル限定）。降格後はブロッキング力が消失し、フィードバックのみ記録する
+- レビュー記録: `R11_devils-advocate.md`
+
+### pattern-doubler（12番目）
+
+- 役割: パターン倍増エージェント — ID 付き項目（US, AC, BR, EX, TC）の数を現状の 2 倍にする提案を行う
+- `can_be_na: true` — ID 付き項目のない成果物の場合のみ N/A 可
+- 追加パターンの根拠提示が必須。根拠なしの追加要求は無効
+- カウント対象: US/AC/BR/EX/TC プレフィックスの連番形式 ID を持つ項目のみ
+- レビュー記録: `R12_pattern-doubler.md`
+
+### 代表的な FAIL と復旧（拡張レビュアー特化）
+
+- FAIL (devils-advocate): 代替案なしの否定のみ
+  - 復旧: 具体的な「あるべき姿」と移行パスを記述させ、再判定する
+- FAIL (devils-advocate, 3回連続): 無限ループ検知
+  - 復旧: アドバイザリー降格を記録し、devils-advocate のフィードバックを advisory として保存。次フェーズに進行する
+- FAIL (pattern-doubler): 根拠なしの倍増要求
+  - 復旧: 各追加パターンに「なぜ必要か」（境界値/負例/権限/状態遷移/冪等性）の観点を付与させる

package/assets/init/.qfai/assistant/skills/qfai-tdd-green/SKILL.md

@@ -18,6 +18,17 @@ QFAI Skill Body (SSOT)
 
 [DRIFT-PROTOCOL:MANDATORY]
 
+## User Questions (AskUserQuestion Protocol)
+
+- When a question to the user is needed (e.g., Simulation mode approval),
+  the agent MUST use AskUserQuestion if the tool is available.
+- When AskUserQuestion supports structured choices (radio/multi-select),
+  the agent MUST prefer structured choices over free-text input.
+- If AskUserQuestion is technically unavailable, present the same question as a normal message
+  with explicit numbered choices.
+  The agent SHOULD preserve structured choice semantics (enumerated options, selection constraints).
+  The reason for unavailability MUST be stated.
+
 ## Deprecation Notice (MUST)
 
 - This command is deprecated.
@@ -57,6 +68,14 @@ QFAI Skill Body (SSOT)
 - Reviewer checks Drift Protocol compliance and alignment with `.qfai/assistant/steering/test-layers.md`.
 - Test volume floors/ratios are not gates; they are signals.
 - Completion requires reviewer result `PASS`; otherwise `REVISE`.
+- **All reviewers: alternative proposal obligation**:
+  - Every reviewer MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment.
+- **devils-advocate gate**:
+  - devils-advocate FAIL must include a concrete alternative proposal. Bare negation FAIL triggers re-judgment.
+  - 3 consecutive FAILs trigger advisory demotion and allow progression to the next phase.
+- **pattern-doubler gate**:
+  - Each pattern proposed by pattern-doubler must include rationale.
+  - Artifacts with no ID-bearing items (US/AC/BR/EX/TC) are marked N/A.
 
 ## CRITICAL CONSTRAINTS (Read First)
 

package/assets/init/.qfai/assistant/skills/qfai-tdd-red/SKILL.md

@@ -18,6 +18,17 @@ QFAI Skill Body (SSOT)
 
 [DRIFT-PROTOCOL:MANDATORY]
 
+## User Questions (AskUserQuestion Protocol)
+
+- When a question to the user is needed (e.g., Simulation mode approval),
+  the agent MUST use AskUserQuestion if the tool is available.
+- When AskUserQuestion supports structured choices (radio/multi-select),
+  the agent MUST prefer structured choices over free-text input.
+- If AskUserQuestion is technically unavailable, present the same question as a normal message
+  with explicit numbered choices.
+  The agent SHOULD preserve structured choice semantics (enumerated options, selection constraints).
+  The reason for unavailability MUST be stated.
+
 ## Deprecation Notice (MUST)
 
 - This command is deprecated.
@@ -57,6 +68,14 @@ QFAI Skill Body (SSOT)
 - Reviewer checks Drift Protocol compliance and alignment with `.qfai/assistant/steering/test-layers.md`.
 - Test volume floors/ratios are not gates; they are signals.
 - Completion requires reviewer result `PASS`; otherwise `REVISE`.
+- **All reviewers: alternative proposal obligation**:
+  - Every reviewer MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment.
+- **devils-advocate gate**:
+  - devils-advocate FAIL must include a concrete alternative proposal. Bare negation FAIL triggers re-judgment.
+  - 3 consecutive FAILs trigger advisory demotion and allow progression to the next phase.
+- **pattern-doubler gate**:
+  - Each pattern proposed by pattern-doubler must include rationale.
+  - Artifacts with no ID-bearing items (US/AC/BR/EX/TC) are marked N/A.
 
 ## CRITICAL CONSTRAINTS (Read First)
 

package/assets/init/.qfai/assistant/skills/qfai-tdd-refactor/SKILL.md

@@ -18,6 +18,17 @@ QFAI Skill Body (SSOT)
 
 [DRIFT-PROTOCOL:MANDATORY]
 
+## User Questions (AskUserQuestion Protocol)
+
+- When a question to the user is needed (e.g., Simulation mode approval),
+  the agent MUST use AskUserQuestion if the tool is available.
+- When AskUserQuestion supports structured choices (radio/multi-select),
+  the agent MUST prefer structured choices over free-text input.
+- If AskUserQuestion is technically unavailable, present the same question as a normal message
+  with explicit numbered choices.
+  The agent SHOULD preserve structured choice semantics (enumerated options, selection constraints).
+  The reason for unavailability MUST be stated.
+
 ## Deprecation Notice (MUST)
 
 - This command is deprecated.
@@ -57,6 +68,14 @@ QFAI Skill Body (SSOT)
 - Reviewer checks Drift Protocol compliance and alignment with `.qfai/assistant/steering/test-layers.md`.
 - Test volume floors/ratios are not gates; they are signals.
 - Completion requires reviewer result `PASS`; otherwise `REVISE`.
+- **All reviewers: alternative proposal obligation**:
+  - Every reviewer MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment.
+- **devils-advocate gate**:
+  - devils-advocate FAIL must include a concrete alternative proposal. Bare negation FAIL triggers re-judgment.
+  - 3 consecutive FAILs trigger advisory demotion and allow progression to the next phase.
+- **pattern-doubler gate**:
+  - Each pattern proposed by pattern-doubler must include rationale.
+  - Artifacts with no ID-bearing items (US/AC/BR/EX/TC) are marked N/A.
 
 ## CRITICAL CONSTRAINTS (Read First)
 

package/assets/init/.qfai/assistant/skills/qfai-verify/SKILL.md

@@ -18,6 +18,17 @@ QFAI Skill Body (SSOT)
 
 [DRIFT-PROTOCOL:MANDATORY]
 
+## User Questions (AskUserQuestion Protocol)
+
+- When a question to the user is needed (e.g., gate failure triage, fix approach confirmation),
+  the agent MUST use AskUserQuestion if the tool is available.
+- When AskUserQuestion supports structured choices (radio/multi-select),
+  the agent MUST prefer structured choices over free-text input.
+- If AskUserQuestion is technically unavailable, present the same question as a normal message
+  with explicit numbered choices.
+  The agent SHOULD preserve structured choice semantics (enumerated options, selection constraints).
+  The reason for unavailability MUST be stated.
+
 ## FORMAT SSOT (Mandatory)
 
 - **Before writing or editing any `.qfai/**` artifact\*\*, read and follow the relevant directory README template and sample:
@@ -38,6 +49,12 @@ When unsure, read inputs in this order:
 - P3: `.qfai/specs/<spec-id>/09_delta.md` (Decision Records; if no spec yet, state "not applicable")
 - P4: other artifacts (01_Spec.md, contracts, evidence, optional legacy `scenario.feature` / coverage ledgers)
 
+## Verify Scope Rule (Mandatory)
+
+- `/qfai-verify` MUST always run full-scan verification.
+- Do NOT use Preflight Diff (or any diff-only shortcut) in this skill.
+- Preserve the DR-0007/spec-0011 intent: verify is the safety gate and must not be reduced to incremental checks.
+
 ## Sub-agent Delegation (MANDATORY)
 
 This section is mandatory and overrides any conflicting fallback text in this file.
@@ -92,6 +109,14 @@ Every major artifact in this stage MUST include a `## Work Orders Summary` secti
     - E2E/API/Integration coverage aligns with `steering/test-layers.md` and the project’s plan.
     - Do not use pyramid ratios as a gate; use floors/ratios only as signals. Coverage obligations are the gate.
 - Do not declare DONE or handoff until Reviewer returns `PASS`.
+- **All reviewers: alternative proposal obligation**:
+  - Every reviewer MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment.
+- **devils-advocate gate**:
+  - devils-advocate FAIL must include a concrete alternative proposal. Bare negation FAIL triggers re-judgment.
+  - 3 consecutive FAILs trigger advisory demotion and allow progression to the next phase.
+- **pattern-doubler gate**:
+  - Each pattern proposed by pattern-doubler must include rationale.
+  - Artifacts with no ID-bearing items (US/AC/BR/EX/TC) are marked N/A.
 
 ### Work order template (copy/paste)
 

package/assets/init/.qfai/assistant/steering/review-gate.rules.yml

@@ -28,7 +28,7 @@ optional:
     - Delta
 
 reviewers:
-  minimum: 10
+  minimum: 12
   roster_ssot: .qfai/assistant/steering/review-roster.yml
   required:
     - id: qa-lead
@@ -51,6 +51,10 @@ reviewers:
       role: Design Review Lead
     - id: runtime-gatekeeper
       role: Runtime Gatekeeper
+    - id: devils-advocate
+      role: Devil's Advocate
+    - id: pattern-doubler
+      role: Pattern Doubler
 
 quality_gates:
   validate:
@@ -84,3 +88,28 @@ quality_gates:
       role: Design Review Lead
     - id: runtime-gatekeeper
       role: Runtime Gatekeeper
+    - id: devils-advocate
+      role: Devil's Advocate
+    - id: pattern-doubler
+      role: Pattern Doubler
+
+extended_reviewers:
+  devils-advocate:
+    execution_order: 11
+    can_be_na: false
+    fail_rules:
+      - alternative_required: true
+      - bare_negation_invalid: true
+    escalation:
+      consecutive_fail_limit: 3
+      action: advisory_demotion
+      scope: current_review_cycle
+      effect: non_blocking_feedback_only
+  pattern-doubler:
+    execution_order: 12
+    can_be_na: true
+    na_rule: "Allowed only if target artifact has no ID-bearing spec items (US/AC/BR/EX/TC)."
+    fail_rules:
+      - rationale_required: true
+      - count_target: "2x current ID-bearing items"
+      - count_scope: "US, AC, BR, EX, TC prefixed sequential IDs only"

package/assets/init/.qfai/assistant/steering/review-roster.yml

@@ -1,5 +1,9 @@
 schema_version: "1.0"
 
+feedback_policy:
+  alternative_required: true
+  description: "All reviewers MUST provide a concrete alternative or fix proposal when returning FAIL. Feedback without a concrete alternative is invalid and triggers re-judgment."
+
 roster:
   - id: qa-lead
     name: Quality Lead
@@ -90,3 +94,35 @@ roster:
       - Verify mitigation and rollback assumptions.
     can_be_na: true
     na_rule: "Allowed only if no runtime/operations impact exists."
+
+  - id: devils-advocate
+    name: Devil's Advocate
+    scope: [discuss, require, sdd]
+    must_check:
+      - Challenge every assumption, conclusion, and design decision as if it were fundamentally wrong.
+      - Provide a concrete desired-state alternative for every issue raised; bare negation without an alternative is invalid.
+      - Persist with objections using any rhetorical means (nitpicking, reductio ad absurdum, forced analogy) to surface hidden risks.
+    can_be_na: false
+    na_rule: "N/A is not allowed for this reviewer."
+    behavioral_principles:
+      premise: "Assume the current state is fundamentally incorrect."
+      stance: "Challenge assumptions aggressively and present objections clearly, even under uncertainty."
+      requirement: "When returning FAIL, always provide a concrete alternative proposal."
+    escalation:
+      consecutive_fail_limit: 3
+      demotion: advisory
+      demotion_scope: current_review_cycle
+
+  - id: pattern-doubler
+    name: Pattern Doubler
+    scope: [discuss, require, sdd]
+    must_check:
+      - Count all ID-bearing items (US, AC, BR, EX, TC) in the target spec and demand at least 2x the current count.
+      - Identify missing perspectives (boundary, negative, permission, state-transition, idempotency) and propose concrete additions with rationale.
+      - Persist with demands using any rhetorical means (edge-case invention, combinatorial explosion, analogy) to maximize pattern coverage.
+    can_be_na: true
+    na_rule: "Allowed only if the target artifact contains no ID-bearing spec items (US/AC/BR/EX/TC)."
+    behavioral_principles:
+      premise: "Current pattern coverage is insufficient."
+      stance: "Push clearly for at least 2x pattern coverage and challenge under-specified cases."
+      requirement: "Justify added patterns and set the doubling target from counts of ID-bearing items."

package/dist/cli/index.cjs

@@ -1483,8 +1483,8 @@ var import_promises7 = require("fs/promises");
 var import_node_path8 = __toESM(require("path"), 1);
 var import_node_url2 = require("url");
 async function resolveToolVersion() {
-  if ("1.5.4".length > 0) {
-    return "1.5.4";
+  if ("1.5.6".length > 0) {
+    return "1.5.6";
   }
   try {
     const packagePath = resolvePackageJsonPath();

package/dist/cli/index.mjs

@@ -1460,8 +1460,8 @@ import { readFile as readFile5 } from "fs/promises";
 import path8 from "path";
 import { fileURLToPath as fileURLToPath2 } from "url";
 async function resolveToolVersion() {
-  if ("1.5.4".length > 0) {
-    return "1.5.4";
+  if ("1.5.6".length > 0) {
+    return "1.5.6";
   }
   try {
     const packagePath = resolvePackageJsonPath();

package/dist/index.cjs

@@ -3970,8 +3970,8 @@ var import_promises14 = require("fs/promises");
 var import_node_path14 = __toESM(require("path"), 1);
 var import_node_url = require("url");
 async function resolveToolVersion() {
-  if ("1.5.4".length > 0) {
-    return "1.5.4";
+  if ("1.5.6".length > 0) {
+    return "1.5.6";
   }
   try {
     const packagePath = resolvePackageJsonPath();

package/dist/index.mjs

@@ -3889,8 +3889,8 @@ import { readFile as readFile11 } from "fs/promises";
 import path14 from "path";
 import { fileURLToPath } from "url";
 async function resolveToolVersion() {
-  if ("1.5.4".length > 0) {
-    return "1.5.4";
+  if ("1.5.6".length > 0) {
+    return "1.5.6";
   }
   try {
     const packagePath = resolvePackageJsonPath();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "qfai",
-  "version": "1.5.4",
+  "version": "1.5.6",
   "description": "Quality-first AI-driven development toolkit (SDD × ATDD × TDD).",
   "license": "MIT",
   "repository": {
@@ -50,6 +50,7 @@
   "devDependencies": {
     "@types/jsdom": "^21.1.7",
     "@types/node": "^18.19.41",
+    "qfai": "^1.5.4",
     "tsup": "^8.3.5",
     "typescript": "^5.6.3",
     "vitest": "^2.1.8"