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

{claude_code_conductor-2.69.0 → claude_code_conductor-2.71.0}/.claude/CLAUDE.md

@@ -82,5 +82,6 @@ C3 は、業務アプリケーション開発で製品としての品質を保
 - **`isolation: worktree`** / **`permissionMode`** / **`tools` 制限** など agent フロントマターの一部キーは Claude Code 仕様。adapter 側では読み替え不能なものは無視される（OpenCode adapter は全 agent に `bash/read/edit/write/websearch` を一律付与する）
 
 - **自律モード**: autonomous-mode は Claude Code 専用。Codex / Cursor / OpenCode では自律宣言は常に無効＝HITL で動作する（モード行の検証は `mode_line.py`・Bash 経由に依存し、他プラットフォームで安全に再現できないため。検証できない → HITL の fail-closed 原則がそのまま正しい挙動になる）。adapter 生成物にも autonomous-mode skill は写像されない。
+- **`.claude/rules/` の自動ロード**は Claude Code の機能。OpenCode では adapter が `AGENTS.md` に rules を埋め込む。**Codex / Cursor の生成物には rules は写像されない**（規律を効かせたい場合は各プラットフォームの規約ファイルへ手動転記する）
 
 レポート（`.claude/reports/`）・state（`.claude/state/`）・memory（`.claude/agent-memory/`）のファイル名と書き込み先は全プラットフォーム共通。adapter 生成物の詳細は `c3 init --platform codex|cursor|opencode` で出力される `AGENTS.md` / `.cursor/rules/c3-core.mdc` / `.opencode/agents/` を参照。

{claude_code_conductor-2.69.0 → claude_code_conductor-2.71.0}/.claude/docs/config-policy.md

@@ -191,7 +191,7 @@ src/c3/migrations/                     SQLite schema migration SQL ファイル
 | 1 | `.claude/hooks/*.py` | ○ | ○ | Claude Code lifecycle hook の実体。配布先で動作する。v2.20.0 で `hooks/schema.sql` を削除し SQLite スキーマは `src/c3/migrations/` に移管 |
 | 2 | `.claude/agents/*.md` | ○ | ○ | ペルソナ定義。配布先で読まれる |
 | 3 | `.claude/skills/*/` | ○ | ○ | オーケストレーション/ユーティリティ skill 定義（`scripts/` / `templates/` 等サブディレクトリ含む）|
-| 4 | `.claude/rules/*.md` | ○ | ○ | C3 配布デフォルトルール（常時注入対象）。**配布元では 0 件**（`.claude/rules/` 直下に `.md` は無く `promoted/` のみ）。利用先が `/setup` で `coding-standards.md` を生成した時点でこのカテゴリが成立する |
+| 4 | `.claude/rules/*.md` | ○ | ○ | C3 配布デフォルトルール（常時注入対象）。配布元は `judgment-principles.md` の 1 件（ほかは `promoted/` のみ）。利用先ではこれに `/setup` 生成の `coding-standards.md` 等が加わる |
 | 5 | `.claude/rules/promoted/*` | ○ | ×（`index.md` は INIT_ONLY） | プロジェクト固有昇格ルール。配布元の `promoted/index.md` は空雛形のみ配布。利用先で `/promote-pattern` が追記する **ユーザー所有領域**。`index.md` は `INIT_ONLY_PATTERNS` で上書きから保護される。昇格ルール本体（`YYYYMMDD-{id}.md`）は template 側に存在しないため `_walk_diff` の走査対象にならず元から無事 |
 | 6 | `.claude/docs/*.md` | △（一部のみ） | ○ | 利用先向けリファレンス。配布対象は `autonomous-mode-onboarding.md` / `config-policy.md`（本ドキュメント）/ `nul-boundary.md` / `parallel-agents-setup.md` / `platform-adapters.md` / `settings.json.md` の 6 ファイル。配布元固有の設計メモ等は `_excludes.py` で個別除外。`taxonomy.md` は tracked（GitHub 公開）だが EXCLUDE 対象のため wheel 非配布（詳細は §7 落とし穴 2 参照）。 |
 | 7 | `.claude/CLAUDE.md` | ○ | ○ | 配布先で常時注入される共通ルール |

claude_code_conductor-2.71.0/.claude/rules/judgment-principles.md

@@ -0,0 +1,21 @@
+# 判定・検証の判断原則
+
+判定・検証を行う際に守る 3 つの規律。要素は原文の逐語を保持する。
+
+## 1. 安全側に倒す
+
+「現状 0 hit だから実装しない」判断はせず、安全側に倒す。
+
+実例: 2026-08-06 のユーザー裁定で、根拠不足のまま省略した判断 2 件を是正し、件数を見ずに沈黙していた判断をさらに 2 件検出した。
+
+## 2. 到達可能性の判定
+
+到達可能性は「参照 0 件」でなく「発火しうる経路が無い」で判定する（削除・影響判定の規約）。当たるべき経路＝動的ロード / subprocess / 名前写像 / 設定 JSON 登録・monkeypatch 対象の導出タイミング（呼び出し時か import 時か）・ローカル skip テストは「実行されていない」前提で判定・探索ツールの射程を明示する（gitignored 配下は rg で 0 件・grep -rn でヒットし、真偽が道具で反転する）。
+
+実例: 2026-08-13 に同型の誤判定が実働で再演し、CI 5 構成全赤を招いた。
+
+## 3. 機械走査の 3 点申告
+
+機械走査を名乗るときは 3 点を申告する: (a) 走査対象の形式を全部数えて申告（表行・引用ブロック・見出し・本文） (b) 版順の根拠を明示（ファイル名順とは限らない） (c) 検証が測っている性質を書く（「バイト一致」は書き写しの正確さであって拾う版の正しさではない）。
+
+実例: 2026-08-07 の集約・移設作業で「畳む」工程の取り落としを 3 回連続で実測した。

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

@@ -456,6 +456,8 @@ c3 run .claude/skills/dev-workflow/scripts/record_agent_outcome.py \
 
 上流修正の連鎖を経て C-3 に戻ってきた場合、毎回自動再走はしない。AskUserQuestion で再監査の要否を確認する（このブロックに副作用ツールを混在させない）:
 
+是正起因の欠陥が連続している場合は E-3 の『是正ループの打切条件』を参照する（前提を疑う打切）。
+
 ```json
 {
   "questions": [{
@@ -784,7 +786,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 点）:
 
@@ -1073,6 +1123,9 @@ AskUserQuestion でフィードバックを確認し、対象 reviewer（CR／SR
 2. **保守性指摘の許容条件**: 保守性向上を理由に是正を許容する場合、将来の運用コスト（PR diff 量の増加・触る箇所数）を許容理由に明記する
 3. **先送りルール**: トレードオフで先送りする場合は「トリガー付き起票」のみ許す。具体的な再対応条件を明示する
 4. **機構コスト**: 共通化・新規機構の導入は、その機構自体の保守コストも天秤に載せて判定する
+5. **実行で確かめられる指摘は試作・実データで裏取りしてから翻訳する**: 指摘の真偽・方向が実行で確かめられる場合（組み合わせロジック・件数の主張・走査結果）、対応表や差し戻し指示へ翻訳する前に試作を実データに当てる。自分の是正案も裏取りの対象に含める。読解だけの裁定は「正しいものを欠陥と呼ぶ」「欠陥を正しいと呼ぶ」を同時に起こした実績がある（2026-08-06）
+
+**是正ループの打切条件（E 周回・計画監査サイクル共通）:** 是正が新たな欠陥を生む周回が同一スライス内の監査・レビュー周回で 3 連続したら、周回を重ねず前提そのものを疑う。打切の信号は周回数ではなく「**前提が一度も疑われていない**こと」。前提転換の例: 機械条件による自動判定をやめ、人間への 1 問確認に縮退する（低頻度イベントの例外処理は機械条件で厳密化するより人間の 1 問ゲートに寄せる方が欠陥面が小さい・2026-08-13 実測）。自律運転中に本信号が立った場合は「情報不足の質問」の関所としてユーザーへ停止確認する
 
 ---
 

{claude_code_conductor-2.69.0 → claude_code_conductor-2.71.0}/.claude/skills/dev-workflow/references/reachability-map.md

@@ -5,6 +5,7 @@
 ## 到達経路一覧
 
 表の列構成: 経路（配置方法）、実パス（ファイルパスまたは「—」）、届く role（対象読み手）、条件（前提・性質）
+本表の到達可否は Claude Code を前提とする。OpenCode adapter は `.claude/rules/` **直下**の `.md` と `.claude/CLAUDE.md` を `AGENTS.md` に埋め込む（サブディレクトリと skills は別経路）。Codex / Cursor への到達は `.claude/CLAUDE.md` の Platform Compatibility を参照
 
 | 経路 | 実パス | 届く role | 条件 |
 |---|---|---|---|
@@ -22,6 +23,7 @@
 | plan-design-guidelines.md | .claude/skills/dev-workflow/references/plan-design-guidelines.md | planner（C-2） | フェーズ C 計画作成時に参照・守るべき規約 |
 | record-protocol.md | .claude/skills/dev-workflow/references/record-protocol.md | 親 Claude のみ（記録対象 role である developer/tester/architect/planner の agent 定義からは参照されない） | 各ゲートの record bash ブロック exec 時に Read 指示される。機械適用・帰属判定共通規定含む |
 | c3-omission-declaration.md | .claude/skills/dev-workflow/references/c3-omission-declaration.md | C-2・C-3 担当者 | C-2・C-3 到達時に Read 指示される。C-2 で C-3省略宣言の生成ルール・C-3 ステップ 0 の帰属判定共通規定 |
+| judgment-principles.md | .claude/rules/judgment-principles.md | 全 role | 判定・検証の規律 3 件（rules 再帰自動ロード） |
 
 ## 置き場所デシジョン（3 手順）
 

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

@@ -1,5 +1,76 @@
 # Changelog
 
+## [2.71.0] - 2026-08-14
+
+### 追加
+
+- **判定・検証の判断原則を `.claude/rules/judgment-principles.md` として新設した**（配布物・
+  rules 再帰自動ロードで全 role のコンテキストへ常時注入）。3 規律: ①「現状 0 hit だから
+  実装しない」判断はせず安全側に倒す ②到達可能性は「参照 0 件」でなく「発火しうる経路が
+  無い」で判定する（当たるべき経路＝動的ロード / subprocess / 名前写像 / 設定 JSON 登録・
+  monkeypatch 対象の導出タイミング・ローカル skip テスト・探索ツールの射程明示）
+  ③機械走査を名乗るときの 3 点申告（走査対象形式の全数・版順の根拠・検証が測る性質）。
+  実在検査は reachability-map への行追加により既存テスト（`test_reachability_map.py`）が担保
+- **dev-workflow フェーズ E-3「裁定の判断基準」に第 5 項を追加した**: 実行で確かめられる
+  指摘（組み合わせロジック・件数の主張・走査結果）は試作・実データで裏取りしてから
+  差し戻しへ翻訳する。自分の是正案も裏取りの対象に含める
+- **E-3 に「是正ループの打切条件」を追加した**（E 周回・計画監査サイクル共通）: 是正が
+  新たな欠陥を生む周回が同一スライス内で 3 連続したら、周回を重ねず前提そのものを疑う。
+  打切の信号は周回数ではなく「前提が一度も疑われていない」こと。自律運転中は「情報不足の
+  質問」の関所としてユーザーへ停止確認する。C-3 ステップ 5 からも参照
+- **`docs/cli-reference.md` に未文書化だった CLI 仕様 14 件を追記した**: `c3 init --target` /
+  `--git` / `--no-git` と TTY 同意プロンプト、`c3 update --target` / `--yes` と付随処理 4 点
+  （breaking changes 表示・MAJOR 承認・deletions 削除・checkpoint 更新）、`c3 doctor --quiet`、
+  `c3 tier stats --role`、`c3 recall --target`、`c3 metrics` の入力検証と上限、`c3 ask` の
+  exit code 表、`c3 plan waves` の exit 2、環境変数 `C3_DB_PATH` / `NO_COLOR`、サブコマンド
+  未指定・不正名と argparse 引数検証の exit 2
+
+### 修正
+
+- reachability-map（到達可能性マップ）に表の前提注記を追加した（Claude Code 前提・
+  OpenCode adapter は `.claude/rules/` 直下と `.claude/CLAUDE.md` のみ埋め込む・Codex /
+  Cursor への到達は Platform Compatibility を参照）
+- `.claude/CLAUDE.md` の Platform Compatibility に「Codex / Cursor の生成物には rules は
+  写像されない」の限界告知を追加した
+- `.claude/docs/config-policy.md` の配布判断マトリクス カテゴリ #4（rules）の「配布元では
+  0 件」を実態（`judgment-principles.md` 1 件）へ更新した
+
+### 既知の問題
+
+- `c3 ask` は Windows で stdin を NUL / `/dev/null` へリダイレクトした場合に非対話判定
+  （`sys.stdin.isatty()`）が誤判定となり、`--response` 未指定だと exit 1 にならず対話待ちで
+  ハングする（E-0 実行検証の実測で発見・`docs/cli-reference.md` に注記済み）。非対話実行では
+  常に `--response` を指定すること。コード修正は別スライスで対応予定
+
+## [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.71.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: claude-code-conductor
-Version: 2.69.0
+Version: 2.71.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.71.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.71.0"

claude_code_conductor-2.71.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 問ゲートが未設置）"
+    )