feat(ledger): 台帳の対象ファイル列を機械可読にし、書式を cargo test で強制する

docs/claude-code-web-tasks.md

@@ -90,6 +90,25 @@
 - **空でよい**。未記入なら従来の `feat: 順位 NNN の無人実装 (nightly-todo)` にフォールバックする。`無人可` が `—` の行は選ばれないので空のままでよい
 - `内容` 列とは**用途が違う**。あちらは agent への依頼文で長くてよい。こちらはタイトル
 
+### 「対象ファイル」列の書き方（2026-08-15 制定、機械強制あり）
+
+この列は**後始末の完了判定に使う機械可読フィールド**である。「宣言された成果物がすべて変更されたか」で完了を判定するため、**書き漏らした成果物はそのまま判定の穴になる**。実際に夜間 PR [#394](https://github.com/aloekun/claude-code-hook-test/pull/394) は lint rule の fixture だけを追加してマージされ、rule 本体が無いまま完了扱いになりかけた。
+
+書式（`lib-ledger` の `parse_target_files` が解釈し、`cargo test` が実台帳の全行を毎回検証する）:
+
+- **成果物はすべてバッククォートで囲む。** 囲みの無い散文（`+ fixtures` 等）は成果物として抽出されず、**欠けていても検証を通過してしまう**ため error にする
+- **リポジトリ相対パスで書く。** `main.rs` のような裸のファイル名はどの crate か決まらないため error。`src/cli-docs-lint/src/main.rs` と書く
+- **複数の成果物は `+` で並べる**
+- **丸括弧（全角・半角とも）の中は注釈**として無視される。行番号・「新規」・関数名などを自由に書いてよい（例: 「（`mod tests`、既存 `xxx` 拡張）」）
+- **`{a,b}` は展開され、展開結果の全てが要求対象になる**（例: `tests/fixtures/incidents/{bad,good}/` は bad/good 両方の変更を要求する）
+- パス区切りは `/`。絶対パス・`..` は不可
+
+例:
+
+```text
+`src/cli-docs-lint/src/adr_consistency.rs`（新規）+ `src/cli-docs-lint/src/main.rs`（CheckMode dispatch 拡張）
+```
+
 ### Batch 1: 純テスト・軽微実装（即着手推奨、◎）
 
 `cargo test` で完結し外部依存・設計判断が最小のもの。工数昇順。
@@ -110,9 +129,9 @@ cargo test で検証完結するが、新規 module / lint rule / 軽微リフ
 | 順位 | Tier | 無人可 | 内容 | 対象ファイル | 工数 | 注意 | PRタイトル |
 |---|---|---|---|---|---|---|---|
 | 340 | T2 | — | `decide.rs` の rate_limit × positive-evidence 複合境界テスト + `main.rs` の rate_limit threading テスト | `src/check-ci-coderabbit/src/{decide,main}.rs` | S | (a) は純関数で容易。(b) は `main.rs` の呼び出し側を I/O 無しでテスト可能にする小さな合成関数抽出リファクタが要る |  |
-| 272 | T1 | — | cli-docs-lint に ADR 重複採番検出 + CLAUDE.md 索引整合チェック（新規 validator module） | `src/cli-docs-lint/src/adr_consistency.rs`（新規）+ `main.rs`（CheckMode dispatch 拡張） | S-M | 中核（validator + fixture test）は cargo test で完結。「pnpm lint:docs 経由の発火確認」は Web 外だが成功条件ではない。CLAUDE.md は docs_dir の親なので TempDir で fake 構造を組む |  |
-| 334 | T1 | — | docs/todo\*.md 本文の順位番号表記を検出する custom lint rule（ADR-033 仕組み化、`paths=["docs/todo*.md"]` scope、table 行除外） | `.claude/custom-lint-rules.toml` + fixtures（216 と同基盤） | M | 検証経路は 216 と同じ cargo test。**regex FP 精緻化**（preamble の「順位 220 以降」等）+ **本文 dogfood cleanup の規模**を着手前に grep 見積り（todo 記載 S だが M 見込み） |  |
-| 179 | T2 | — | rate-limit retry 境界（max_retries=0/1/3）で retry 継続 vs `action_required` 遷移の off-by-one を pin する parameterized テスト | `src/cli-pr-monitor/src/stages/poll/rate_limit.rs`（判定 L52）+ `config.rs`（L143-155） | S-M | **todo の「rstest 使用済」は誤り**（Cargo.lock に不在）。新 dev-dep 追加 or plain 複数 `#[test]` で代替を着手時判断。gh subprocess を踏まない早期 return 経路で構成する |  |
+| 272 | T1 | — | cli-docs-lint に ADR 重複採番検出 + CLAUDE.md 索引整合チェック（新規 validator module） | `src/cli-docs-lint/src/adr_consistency.rs`（新規）+ `src/cli-docs-lint/src/main.rs`（CheckMode dispatch 拡張） | S-M | 中核（validator + fixture test）は cargo test で完結。「pnpm lint:docs 経由の発火確認」は Web 外だが成功条件ではない。CLAUDE.md は docs_dir の親なので TempDir で fake 構造を組む |  |
+| 334 | T1 | — | docs/todo\*.md 本文の順位番号表記を検出する custom lint rule（ADR-033 仕組み化、`paths=["docs/todo*.md"]` scope、table 行除外） | `.claude/custom-lint-rules.toml` + `tests/fixtures/incidents/{bad,good}/`（216 と同基盤） | M | 検証経路は 216 と同じ cargo test。**regex FP 精緻化**（preamble の「順位 220 以降」等）+ **本文 dogfood cleanup の規模**を着手前に grep 見積り（todo 記載 S だが M 見込み） |  |
+| 179 | T2 | — | rate-limit retry 境界（max_retries=0/1/3）で retry 継続 vs `action_required` 遷移の off-by-one を pin する parameterized テスト | `src/cli-pr-monitor/src/stages/poll/rate_limit.rs`（判定 L52）+ `src/cli-pr-monitor/src/config.rs`（L143-155） | S-M | **todo の「rstest 使用済」は誤り**（Cargo.lock に不在）。新 dev-dep 追加 or plain 複数 `#[test]` で代替を着手時判断。gh subprocess を踏まない早期 return 経路で構成する |  |
 
 ### 無人可としなかった 7 件の理由
 

src/lib-ledger/src/deployed_ledger.rs

@@ -0,0 +1,136 @@
+//! 実台帳 (`docs/claude-code-web-tasks.md`) が機械可読の契約を満たすことを固定する検査。
+//!
+//! # なぜ実ファイルを読むのか
+//!
+//! [`super::parse_target_files`] の unit test は合成入力で書式を固定するが、**実際の台帳が
+//! 契約を満たしているか**は別問題である。人間が新しい行を追記したとき、曖昧な書き方
+//! (裸のファイル名 / 引用符の無い成果物) が混ざれば、後続の後始末機構はその順位を
+//! 「検証不能」として扱い続ける。無言で自動化の対象外が増えると「自動化したのに半分手作業」へ寄る。
+//!
+//! そこで **push 時と CI で毎回、実台帳の全行を parse し直す**。書式を外した行を足した時点で
+//! 赤くなるので、書いた人へ即座に返る (`.claude/custom-lint-rules.toml` を実読する
+//! `rule_test_coverage_check` / `orphan_fixture_check` と同じ形)。
+//!
+//! # なぜ統合テストではなくクレート内 `#[cfg(test)]` なのか
+//!
+//! 表の解釈は [`super::split_cells`] と [`super::resolve_target_files_column`] が持つが、
+//! どちらも private である。統合テスト (`tests/`) から使うには公開するしかなく、初版は
+//! 手で再実装して**本体から静かに乖離した** — 末尾エスケープの取りこぼしと、あいまい列を
+//! 黙って先頭採用する差 (SIM-NEW-lib-ledger-deployed_ledger-L53)。#394 型の見逃しを捕まえる
+//! ための検査が、自分の側で見逃す形になっていた。
+//!
+//! かといってテスト都合で `pub` を足すと、本 crate の公開面が恒久的に広がる。ここは夜間ループの
+//! 「何を実装してよいか」を決める入口であり、`Cargo.toml` が依存を足さない理由と同じ論理で
+//! **表面も絞る**。クレート内 `#[cfg(test)]` なら private のまま同じ関数を共有でき、公開面は
+//! 増えない。
+
+use std::collections::BTreeSet;
+use std::path::PathBuf;
+
+fn repo_root() -> PathBuf {
+    PathBuf::from(env!("CARGO_MANIFEST_DIR"))
+        .join("..")
+        .join("..")
+}
+
+fn ledger_path() -> PathBuf {
+    repo_root().join("docs").join("claude-code-web-tasks.md")
+}
+
+fn read_ledger() -> String {
+    let path = ledger_path();
+    std::fs::read_to_string(&path).unwrap_or_else(|e| {
+        panic!(
+            "台帳を読めません ({}): {e} (false-green guard: 読めないまま緑にしない)",
+            path.display()
+        )
+    })
+}
+
+/// 無人可 列を持つ表 (= 選択対象のタスク表) のデータ行から「対象ファイル」セルを取り出す。
+///
+/// セル分解と列解決は本体の関数をそのまま使う。あいまい列は本体と同じくエラーへ倒す —
+/// ここで先頭を黙って採用すると、実際の [`super::select`] がエラーになる台帳を検査だけが
+/// 通してしまう。
+fn target_file_cells(markdown: &str) -> Vec<(u32, String)> {
+    let mut cells = Vec::new();
+    let mut columns: Option<(usize, usize)> = None;
+    for line in markdown.lines() {
+        if !line.trim_start().starts_with('|') {
+            columns = None;
+            continue;
+        }
+        let split = super::split_cells(line);
+        if split.iter().any(|c| c == "無人可") {
+            columns = Some(header_columns_for_check(&split));
+            continue;
+        }
+        let Some((rank_idx, target_idx)) = columns else {
+            continue;
+        };
+        if split.len() <= rank_idx.max(target_idx) {
+            continue;
+        }
+        let Ok(rank) = split[rank_idx].parse::<u32>() else {
+            continue;
+        };
+        cells.push((rank, split[target_idx].clone()));
+    }
+    cells
+}
+
+fn header_columns_for_check(split: &[String]) -> (usize, usize) {
+    let Some(rank) = split.iter().position(|c| c == "順位") else {
+        panic!("無人可 列を持つ表に 順位 列がありません (実台帳の select() も同じ入力で失敗する)")
+    };
+    let target = super::resolve_target_files_column(split).unwrap_or_else(|message| {
+        panic!("対象ファイル 列を解決できません (実台帳の select() も同じ入力で失敗する): {message}")
+    });
+    (rank, target)
+}
+
+#[test]
+fn every_target_files_cell_in_the_deployed_ledger_is_machine_readable() {
+    let markdown = read_ledger();
+    let cells = target_file_cells(&markdown);
+    assert!(
+        !cells.is_empty(),
+        "無人可 列を持つ表からデータ行が 1 件も取れませんでした — false-green guard \
+         (台帳の表構成が変わった可能性)"
+    );
+
+    let mut failures: Vec<String> = Vec::new();
+    for (rank, cell) in &cells {
+        if let Err(message) = super::parse_target_files(cell) {
+            failures.push(format!("順位 {rank}: {message}"));
+        }
+    }
+    assert!(
+        failures.is_empty(),
+        "台帳の「対象ファイル」セルが機械可読の契約を満たしていません ({} 件):\n  - {}\n\n\
+         書式: 注釈 (丸括弧) を除いた本体は、リポジトリ相対パスのバッククォート引用と `+` のみ。\n\
+         成果物はすべてバッククォートで囲み、`main.rs` のような裸のファイル名ではなく\n\
+         `src/<crate>/src/main.rs` と書くこと。",
+        failures.len(),
+        failures.join("\n  - ")
+    );
+}
+
+/// 順位の重複が無いことも同時に固定する。重複したまま後始末が走ると、どちらの行を
+/// 消すべきか決まらない。
+#[test]
+fn deployed_ledger_task_ranks_are_unique() {
+    let markdown = read_ledger();
+    let cells = target_file_cells(&markdown);
+    let mut seen = BTreeSet::new();
+    let mut duplicates = Vec::new();
+    for (rank, _) in &cells {
+        if !seen.insert(*rank) {
+            duplicates.push(*rank);
+        }
+    }
+    assert!(
+        duplicates.is_empty(),
+        "タスク表に重複した順位があります: {duplicates:?}"
+    );
+}

src/lib-ledger/src/lib.rs

@@ -19,10 +19,14 @@
 
 use std::collections::{BTreeMap, BTreeSet};
 
+#[cfg(test)]
+mod deployed_ledger;
 mod screening;
+mod target_files;
 
 use screening::is_bidi_or_invisible_format_char;
 pub use screening::{screen_for_public_output, screen_for_title};
+pub use target_files::parse_target_files;
 
 /// 無人可を表すマーク。台帳の表記と一致させる。
 const MARK_AUTONOMOUS: &str = "✅";