claude-code-conductor 2.69.0__tar.gz → 2.70.0__tar.gz

{claude_code_conductor-2.69.0 → claude_code_conductor-2.70.0}/.claude/skills/dev-workflow/SKILL.md

@@ -784,7 +784,55 @@ TOKEN は `NEEDS_VERIFY` / `NOT_NEEDED` / `UNKNOWN`。UNKNOWN の場合は `{件
 
 #### NEEDS_VERIFY または UNKNOWN の場合
 
-実行検証が必要。tester エージェントを起動して以下の指示を与える:
+**省略の出口（HITL 専用）**
+
+当該ワークフロー内で既に実行検証を済ませている場合に限り、ユーザーへ 1 問だけ確認して
+実行検証を省略できる出口を置く。省略可否を決めるのはユーザーであり、ここでの LLM の役割は
+「実績の有無を実物の Read で確認して質問を出すか判断する」「証跡を整理して提示する」
+「回答を記録する」の 3 点に限る。機械的な適格判定・鮮度判定は行わない。
+
+- **適用範囲**: 本出口は NEEDS_VERIFY のみを対象とする。UNKNOWN は本出口の対象外とする
+  （検出器が対象を出せていない状態では、検出対象への実行検証の実績を提示できないため）
+- **HITL 専用**: 自律モードでは本出口を適用しない（AskUserQuestion を用いるため構造的にも
+  発生しない）。autonomous-mode skill 側の「例外なく tester を起動する」規定は変更しない
+- **提示条件**: 当該ワークフロー内の test-report に、E-0 の検出対象に対する実行検証の実績
+  （実際に実行したコマンドとその結果の記録）があると確認できた場合に限り、質問を出せる。
+  この確認は必ず test-report の実物を Read して行う。記憶や推測での判断は禁止する
+- **質問**: 証跡（test-report のファイル名・実績が記録されている節（節名は問わない）・検証内容の要旨・
+  E-0 判定の件数）をテキストで提示したうえで、AskUserQuestion を単独ターンで出す
+  （同じツールブロックに副作用のあるツールを混ぜない）。選択肢は「省略する」「実行検証を行う」の 2 択
+- **fail-safe**: 実績が確認できない場合や、判断に迷う場合は従来どおり tester を起動する
+  （質問を出さない側が安全側）。「実行検証を行う」が選ばれた場合も同じく従来どおり起動する
+
+証跡 4 項目（test-report のファイル名・実績が記録されている節・検証内容の要旨・E-0 判定の件数）は
+このツール呼び出しの前にテキストで提示済みであることを前提に、AskUserQuestion は次の形で出す:
+
+```json
+{
+  "questions": [{
+    "question": "実行検証は当該ワークフロー内で実施済みです。上記の証跡で実行検証を省略してよいですか？",
+    "options": [
+      { "label": "省略する", "description": "提示した証跡をもって検証済みとみなし tester を起動せず E-1 へ進む" },
+      { "label": "実行検証を行う", "description": "従来どおり tester を起動して実行検証を行う" }
+    ]
+  }]
+}
+```
+
+「省略する」が選ばれた場合の処理:
+
+1. E-0 判定行を拡張書式で記録する（基本書式はそのまま保ち、末尾に追記するだけ）:
+   `E-0判定: NEEDS_VERIFY {件数} plan-report-{タイムスタンプ} 省略(既検証: {test-report ファイル名} ユーザー承認済)`
+   この拡張書式は HITL 専用であり、自律モードでは基本書式のままとする
+2. セッションファイルの実行検証タスク行を更新する。当該ワークフローの未消費の `- [ ] 実行検証` 行が
+   あれば `- [x] 実行検証（省略・既検証 {ファイル名}）` に Edit する。無ければ（当日 2 本目以降）
+   `- [x] 実行検証（省略・既検証 {ファイル名}・plan-report-{タイムスタンプ}）` を新規に追記し、
+   既存の `[x]` 行は書き換えない
+3. `現在地:` を `現在地: フェーズE code-review中` に Edit する（NOT_NEEDED 経路と同一）
+4. tier-routing 記録は行わない（tester を起動していないため）
+5. 以降の対象ファイル一覧の生成と tester 起動は実行せず、E-1 へ進む
+
+省略の出口が不成立の場合、実行検証が必要。tester エージェントを起動して以下の指示を与える:
 
 **tester への指示**（3 点）:
 

{claude_code_conductor-2.69.0 → claude_code_conductor-2.70.0}/CHANGELOG.md

@@ -1,5 +1,34 @@
 # Changelog
 
+## [2.70.0] - 2026-08-13
+
+### 追加
+
+- **E-0（実行検証判定）に「省略の出口（HITL 専用）」を追加した**。E-0 が NEEDS_VERIFY を
+  返しても、当該ワークフロー内の test-report に検出対象への実行検証の実績があると
+  **実物の Read で確認できた場合に限り**、証跡（test-report のファイル名・実績が記録されて
+  いる節〔節名は問わない〕・検証内容の要旨・E-0 判定の件数）を提示して AskUserQuestion
+  （「省略する」「実行検証を行う」の 2 択）で確認できる。省略可否を決めるのはユーザーであり、
+  LLM の役割は実績確認・証跡提示・回答記録の 3 点に限る（機械的な適格判定・鮮度判定は
+  持たない）。従来はこの状況（修正タスク自身が実行検証を内包しているのに E-0 が重複要求する。
+  実発生 2 回）を定義されていないアドホック裁定で回避していた
+- 省略成立時は E-0 判定行に `省略(既検証: {ファイル名} ユーザー承認済)` の証跡が残る
+  （基本書式は保持・末尾追記のみ。拡張書式は HITL 専用で自律モードは基本書式のまま）
+
+### 変更なし（明示）
+
+- **既定挙動は従来どおり**（破壊的変更なし）。実績が確認できない・判断に迷う場合は質問を
+  出さず従来どおり tester を起動する（fail-safe）。UNKNOWN は対象外。**自律モードでは本出口を
+  適用しない**（autonomous-mode の「例外なく tester を起動する」規定は不変更）
+
+### 内部
+
+- `tests/skills/test_e0_verification_exit.py` を新規追加（P1〜P8 の文言凍結。行頭アンカーに
+  よる節範囲切り出し・UNKNOWN 除外の負の対照・autonomous-mode 側文言の回帰ガードを含む）
+- 設計過程の記録: 当初の自動省略設計（機械的文書条件による LLM 自動判定）は C-3 監査
+  3 サイクル連続で新造欠陥を生み（DC 計 48 件）打切・1 問ゲートへ前提転換した
+  （architecture-report ADR-8）
+
 ## [2.69.0] - 2026-08-13
 
 ### 修正

{claude_code_conductor-2.69.0 → claude_code_conductor-2.70.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: claude-code-conductor
-Version: 2.69.0
+Version: 2.70.0
 Summary: Multi-agent orchestration framework for Claude Code with Codex/Cursor adapters (C3)
 Project-URL: Homepage, https://github.com/satoh-y-0323/claude-code-conductor
 Project-URL: Repository, https://github.com/satoh-y-0323/claude-code-conductor

{claude_code_conductor-2.69.0 → claude_code_conductor-2.70.0}/src/c3/__init__.py

@@ -1,3 +1,3 @@
 """Claude Code Conductor (C3) - multi-agent orchestration framework for Claude Code."""
 
-__version__ = "2.69.0"
+__version__ = "2.70.0"

claude_code_conductor-2.70.0/tests/skills/test_e0_verification_exit.py

@@ -0,0 +1,226 @@
+"""E-0「省略の出口（1 問ゲート）」を凍結する静的テスト。
+
+上流: architecture-report-20260813-183024 §2（出口ブロック仕様）/ §6（検証方針・P1〜P8）。
+
+検査は純テキスト走査（pathlib + 正規表現）のみで行い、subprocess・実行系は使わない。
+
+**節範囲の契約（§6・逸脱禁止）**:
+`re.MULTILINE` の行頭アンカー ``^#### NEEDS_VERIFY または UNKNOWN の場合`` から、
+次の行頭見出し（``^### `` または ``^## ``）の直前までを切り出す。
+``^#### `` は終端にならない（``###``/``##`` の直後に空白を要求するため）。
+非アンカーの見出し検索（インラインの ``## `` に一致する実装）と近傍固定ウィンドウ検索は禁止。
+
+**読み込み契約**: `_skill_helpers.read_skill()` は未登録名に対して空文字列を返す
+fail-silent API のため使わない（空文字列は全ての「不在」assert を素通りさせ、
+負の対照 P6 を空の緑にする）。パスを明示して読み、各テストの冒頭で
+`assert content` の空ガードを置く。`extract_section` / `find_section_range` も
+``## `` 境界専用のため使わない。
+
+**性質と対応表（§6 の定義表と同一）**:
+
+===== ===================================== ==========================
+性質   検査内容                              Red フェーズでの期待
+===== ===================================== ==========================
+P1     節範囲内に A1                         赤（実装前）
+P2     節範囲内に A5                         赤（実装前）
+P3     節範囲内に A6                         赤（実装前）
+P4     autonomous-mode/SKILL.md に既存文言     **緑**（既存文言の凍結）
+P5     節範囲内に A7                         赤（実装前）
+P6     節範囲内に A4 かつ全文に否定文が不在    赤（実装前）
+P7     節範囲内に A3                         赤（実装前）
+P8     節範囲内に ``AskUserQuestion``         赤（実装前）
+===== ===================================== ==========================
+
+P4 は既存文言の**回帰ガード**であり、実装前から緑であることが正しい
+（tester.md の「テストが最初から Pass する場合は修正する」規範は P4 に適用しない。
+architecture-report §7「P4 適用除外文」）。
+
+**検知力の実証（ルール 19）**: 文言凍結型の静的検査のため do-nothing スタブ 2 種は
+原理的に非適用。代替として「実装前の SKILL.md で P1〜P3・P5〜P8 が赤（test-e0exit で実測）・
+実装後に緑へ反転（confirm-e0exit で実測）」の両状態反転をもって双方向の実証とする。
+"""
+
+from __future__ import annotations
+
+import re
+from pathlib import Path
+
+# --------------------------------------------------------------------------
+# 対象パス（明示・fail-silent API を経由しない）
+# --------------------------------------------------------------------------
+
+WORKTREE_ROOT = Path(__file__).resolve().parents[2]
+DEV_WORKFLOW_SKILL_PATH = WORKTREE_ROOT / ".claude" / "skills" / "dev-workflow" / "SKILL.md"
+AUTONOMOUS_MODE_SKILL_PATH = WORKTREE_ROOT / ".claude" / "skills" / "autonomous-mode" / "SKILL.md"
+
+# --------------------------------------------------------------------------
+# 節範囲の契約（§6）
+# --------------------------------------------------------------------------
+
+#: E-0 出口ブロックが属する節の開始見出し（行頭アンカー・逐語）
+SECTION_HEADING = "#### NEEDS_VERIFY または UNKNOWN の場合"
+
+#: 節の終端となる行頭見出し。``### `` / ``## `` のみ（``#### `` は終端にしない）。
+_SECTION_END_RE = re.compile(r"^(?:###|##)\s", re.MULTILINE)
+
+# --------------------------------------------------------------------------
+# 凍結アンカー literal（impl 側 prompt と同一文字列・逐語で含有判定する。
+# 内部に ** ・バッククォート・括弧を挟まない）
+# --------------------------------------------------------------------------
+
+A1_EXIT_BLOCK_TITLE = "省略の出口（HITL 専用）"
+A3_SCOPE_NEEDS_VERIFY_ONLY = "NEEDS_VERIFY のみを対象とする"
+A4_UNKNOWN_OUT_OF_SCOPE = "UNKNOWN は本出口の対象外"
+A5_FAIL_SAFE = "判断に迷う場合は従来どおり tester を起動する"
+A6_NOT_APPLIED_IN_AUTONOMOUS = "自律モードでは本出口を適用しない"
+A7_RECORD_FORMAT = "省略(既検証:"
+
+#: P8 は固有アンカーでなく既存語の節範囲内存在を見る（§6 脚注）
+P8_ASK_USER_QUESTION = "AskUserQuestion"
+
+#: P4: autonomous-mode/SKILL.md 側の既存文言（変更しないことの凍結）
+P4_AUTONOMOUS_FROZEN = "例外なく tester を起動する"
+
+#: P6 の負の対照: SKILL.md 全文に現れてはならない文言
+P6_FORBIDDEN_PHRASE = "UNKNOWN も省略できる"
+
+
+# --------------------------------------------------------------------------
+# ヘルパー
+# --------------------------------------------------------------------------
+
+
+def _read(path: Path) -> str:
+    """指定パスを UTF-8 で読む。存在しなければ空文字列（空ガードで検出させる）。"""
+    if not path.exists():
+        return ""
+    return path.read_text(encoding="utf-8")
+
+
+def _e0_branch_section(content: str) -> str:
+    """``#### NEEDS_VERIFY または UNKNOWN の場合`` 節の本文を切り出す。
+
+    行頭アンカー（`re.MULTILINE`）で見出しを探し、そこから次の行頭 ``### `` /
+    ``## `` 見出しの直前まで（見つからなければ末尾まで）を返す。
+    見出しが存在しなければ空文字列を返す。
+    """
+    head = re.search("^" + re.escape(SECTION_HEADING), content, re.MULTILINE)
+    if head is None:
+        return ""
+    start = head.start()
+    rest_offset = head.end()
+    end_match = _SECTION_END_RE.search(content, rest_offset)
+    end = end_match.start() if end_match else len(content)
+    return content[start:end]
+
+
+def _load_section() -> tuple[str, str]:
+    """(SKILL.md 全文, E-0 分岐節本文) を返す。呼び出し側で空ガードすること。"""
+    content = _read(DEV_WORKFLOW_SKILL_PATH)
+    return content, _e0_branch_section(content)
+
+
+# --------------------------------------------------------------------------
+# P1〜P8
+# --------------------------------------------------------------------------
+
+
+def test_p1_exit_block_exists_in_section() -> None:
+    """P1: 出口の存在 — 節範囲内に A1 が存在する。"""
+    content, section = _load_section()
+    assert content, f"SKILL.md が読めない/空: {DEV_WORKFLOW_SKILL_PATH}"
+    assert section, f"節見出しが見つからない（アンカー破損を疑う）: {SECTION_HEADING}"
+
+    assert A1_EXIT_BLOCK_TITLE in section, (
+        f"E-0 分岐節に出口ブロック見出し {A1_EXIT_BLOCK_TITLE!r} が無い"
+    )
+
+
+def test_p2_fail_safe_in_section() -> None:
+    """P2: fail-safe — 節範囲内に A5 が存在する。"""
+    content, section = _load_section()
+    assert content, f"SKILL.md が読めない/空: {DEV_WORKFLOW_SKILL_PATH}"
+    assert section, f"節見出しが見つからない（アンカー破損を疑う）: {SECTION_HEADING}"
+
+    assert A5_FAIL_SAFE in section, (
+        f"E-0 分岐節に fail-safe 規定 {A5_FAIL_SAFE!r} が無い"
+    )
+
+
+def test_p3_not_applied_in_autonomous_mode() -> None:
+    """P3: 自律不適用 — 節範囲内に A6 が存在する。"""
+    content, section = _load_section()
+    assert content, f"SKILL.md が読めない/空: {DEV_WORKFLOW_SKILL_PATH}"
+    assert section, f"節見出しが見つからない（アンカー破損を疑う）: {SECTION_HEADING}"
+
+    assert A6_NOT_APPLIED_IN_AUTONOMOUS in section, (
+        f"E-0 分岐節に自律モード不適用の規定 {A6_NOT_APPLIED_IN_AUTONOMOUS!r} が無い"
+    )
+
+
+def test_p4_autonomous_mode_skill_wording_frozen() -> None:
+    """P4: autonomous-mode 側の凍結（既存文言の回帰ガード・実装前から緑が正しい）。
+
+    tester.md の「テストが最初から Pass する場合は修正する」規範は本テストに適用しない
+    （architecture-report-20260813-183024 §7「P4 適用除外文」）。
+    """
+    content = _read(AUTONOMOUS_MODE_SKILL_PATH)
+    assert content, f"autonomous-mode/SKILL.md が読めない/空: {AUTONOMOUS_MODE_SKILL_PATH}"
+
+    assert P4_AUTONOMOUS_FROZEN in content, (
+        f"autonomous-mode/SKILL.md の既存規定 {P4_AUTONOMOUS_FROZEN!r} が失われている"
+        "（E-0 出口の追加で自律モード側を変更してはならない）"
+    )
+
+
+def test_p5_record_format_in_section() -> None:
+    """P5: 証跡書式 — 節範囲内に A7 が存在する。"""
+    content, section = _load_section()
+    assert content, f"SKILL.md が読めない/空: {DEV_WORKFLOW_SKILL_PATH}"
+    assert section, f"節見出しが見つからない（アンカー破損を疑う）: {SECTION_HEADING}"
+
+    assert A7_RECORD_FORMAT in section, (
+        f"E-0 分岐節に判定行の拡張書式 {A7_RECORD_FORMAT!r} が無い"
+    )
+
+
+def test_p6_unknown_excluded_with_negative_control() -> None:
+    """P6: UNKNOWN 除外＋負の対照。
+
+    肯定（節範囲内に A4）と否定（SKILL.md 全文に禁止文言が不在）を**同一関数内で
+    同じ content に対して** assert する。分割すると否定側が単独で緑になり
+    （実装前でも禁止文言は不在のため）空の緑になる。
+    """
+    content, section = _load_section()
+    assert content, f"SKILL.md が読めない/空: {DEV_WORKFLOW_SKILL_PATH}"
+    assert section, f"節見出しが見つからない（アンカー破損を疑う）: {SECTION_HEADING}"
+
+    assert A4_UNKNOWN_OUT_OF_SCOPE in section, (
+        f"E-0 分岐節に UNKNOWN 除外の規定 {A4_UNKNOWN_OUT_OF_SCOPE!r} が無い"
+    )
+    assert P6_FORBIDDEN_PHRASE not in content, (
+        f"SKILL.md 全文に禁止文言 {P6_FORBIDDEN_PHRASE!r} が現れている"
+        "（UNKNOWN は本出口の対象外であり省略できない）"
+    )
+
+
+def test_p7_scope_limited_to_needs_verify() -> None:
+    """P7: 適用範囲 — 節範囲内に A3 が存在する。"""
+    content, section = _load_section()
+    assert content, f"SKILL.md が読めない/空: {DEV_WORKFLOW_SKILL_PATH}"
+    assert section, f"節見出しが見つからない（アンカー破損を疑う）: {SECTION_HEADING}"
+
+    assert A3_SCOPE_NEEDS_VERIFY_ONLY in section, (
+        f"E-0 分岐節に適用範囲の規定 {A3_SCOPE_NEEDS_VERIFY_ONLY!r} が無い"
+    )
+
+
+def test_p8_one_question_gate_uses_ask_user_question() -> None:
+    """P8: 1 問ゲートであること — 節範囲内に ``AskUserQuestion`` が存在する。"""
+    content, section = _load_section()
+    assert content, f"SKILL.md が読めない/空: {DEV_WORKFLOW_SKILL_PATH}"
+    assert section, f"節見出しが見つからない（アンカー破損を疑う）: {SECTION_HEADING}"
+
+    assert P8_ASK_USER_QUESTION in section, (
+        f"E-0 分岐節に {P8_ASK_USER_QUESTION!r} が無い（1 問ゲートが未設置）"
+    )