test(ledger): ディレクトリ宣言の注釈が既存ファイルを列挙していないことを検査する (検査 C)

[aloekun]

背景

ADR-074 決定 4 の 2026-09-06 追記「ディレクトリ宣言の注釈で既存ファイルを候補として列挙しない」(#480) を、lib-ledger の実台帳検査として機械強制する。

2026-09-05 の run 33983134567 は順位 356 で 2 ターン・0 変更で停止した。09-04 に書き直した注釈が候補ファイルとして staleness.rs を挙げていたが、それは順位 136 の working-copy staleness で本タスクとは無関係だった。同じ形の注釈で 310 は通っているので、原因は判断委譲の文言ではなく列挙したファイルの誤りである。

「正しく列挙せよ」は ADR-075 として既にあり、ADR-074 の筆者自身が破った。そこで規約を「列挙するな」にし (#480)、ここで機械化する — 書く場所を無くせば外れる余地も無くなる。「無関係かどうか」の意味判断は要らず、存在確認だけで決まるので機械化できる。本 ADR の規約が機械へ移った最初の例である。

変更

• target_files: annotations (注釈の中身の抽出、strip_annotations の対) と is_directory_declaration を追加。どちらも #[cfg(test)] で本番ビルドの公開面は増やさない
• annotation_check (新設、#[cfg(test)]): auto lane の行のうちディレクトリ宣言を持つものについて、注釈のバッククォート引用で拡張子を持つものを宣言ディレクトリからの相対パス (および / を含めばリポジトリ相対) として解決し、実在すれば cargo test で落とす
  • 実在しない名前 (順位 426 の「例 facade_reexports.rs」) は列挙ではない
  • ファイル宣言の注釈は対象外 (mod tests の位置などを補う従来の書き方を壊さない)
  • 識別子・ディレクトリ言及は数えない
• deployed_ledger が 800 行に達したため、検査 C は別 module に置き、read_ledger / task_rows / target_file_cells / is_auto_lane / TaskRow を pub(crate) にした
• ADR-074 の帰結 § 欠点 と決定 6 の表に記録

実測

master の台帳 (順位 356 の 09-04 版注釈) に対して本検査は実物を捕まえた:

順位 356: `staleness.rs` → src/hooks-session-start/src/staleness.rs,
          `monthly_review.rs` → ..., `weekly_review/tests.rs` → ...

#480 (2 ファイル宣言) の版では通る。本 PR は #480 のマージ後に rebase 済み。

pre-push security review への対応 (fix step の実装は採らなかった)

SEC-NEW-lib-ledger-annotation_check-L51 (High): 対象ファイル欄の自由記述が失敗メッセージ経由で cargo test 出力に載り、後続 fix agent の信頼境界を破る経路。lib.rs::build_task が本番経路で同じ欄に reject_prompt_frame_escape を課している以上、検査側も揃えるべきという指摘で妥当。

takt の fix step は「違反する名前を found から除外する」形で直したが、それは fail-open — 注釈に枠マーカーを書けば検査 C を素通りできる。task_rows が同じ脅威に採った fail-closed (行を Err にする) と逆向きなので採らず、行を失敗として報告しつつ中身は表示しない row_failure に書き直した。あわせて non-blocking warning の traversal 形の名前 (.. / \ / 先頭 /) は exists に渡さない guard を追加。回帰テスト: 枠マーカー / bidi 制御文字で行が落ち名前が出ないこと、traversal 名で exists が呼ばれないこと。

検証

• cargo test -p lib-ledger 191 passed (実台帳検査 A / B / C を含む)
• cargo clippy -p lib-ledger --all-targets -- -D warnings clean
• takt pre-push-review: security / simplicity とも APPROVE (最終 push、warning なし)

🤖 Generated with Claude Code

Summary by CodeRabbit

• 新機能

  • 自動レーンのディレクトリ宣言について、既存ファイルが注釈に列挙されていないかを自動検査できるようになりました。
  • パスの不正な参照や解析エラーを適切に検出し、安全性を保ちながら検査します。

• ドキュメント

  • 自動レーン検査における新しい検査項目と、その適用範囲・留意点を文書化しました。

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Team

Run ID: ece0b600-71c9-4c28-bf15-27fe31585a47

📥 Commits

Reviewing files that changed from the base of the PR and between 3acb9bd and 91db640.

📒 Files selected for processing (5)

• docs/adr/adr-074-auto-lane-screening-criteria.md
• src/lib-ledger/src/annotation_check.rs
• src/lib-ledger/src/deployed_ledger.rs
• src/lib-ledger/src/lib.rs
• src/lib-ledger/src/target_files.rs

Included review availability: Your plan provides up to 1 included review per hour; 0 remain after this review.

---

📝 Walkthrough

Walkthrough

auto lane のディレクトリ宣言を対象に、注釈内の既存ファイル列挙を検出する lib-ledger 検査 C を追加しました。台帳処理の crate 内公開、注釈解析、境界検証、テスト、ADR を更新しました。

Changes

注釈検査の追加

Layer / File(s)	Summary
ディレクトリ宣言と注釈の解析 src/lib-ledger/src/target_files.rs, src/lib-ledger/src/annotation_check.rs	ディレクトリ宣言の判定と、半角・全角括弧から注釈を抽出するテスト専用関数を追加しました。
台帳処理のテスト連携 src/lib-ledger/src/deployed_ledger.rs, src/lib-ledger/src/lib.rs	台帳の行解析、auto lane 判定、対象ファイル取得を crate 内のテストモジュールから利用可能にしました。
既存ファイル列挙の検査と検証 src/lib-ledger/src/annotation_check.rs, docs/adr/adr-074-auto-lane-screening-criteria.md	auto lane のディレクトリ宣言の注釈を検査し、既存ファイルの列挙、パス traversal、リポジトリ外参照、解析エラーを検証するテストを追加しました。ADR に検査 C を記載しました。

Estimated code review effort: 3 (Moderate) | ~25 minutes

Merge Risk: ⚪ Minimal · up to 91db6

This adds a test-only ledger rule that rejects directory annotations enumerating existing files, with parsing and traversal-safety coverage. No remaining merge-blocking risk is identified.

Sequence Diagram(s)

sequenceDiagram
  participant CargoTest
  participant read_ledger
  participant task_rows
  participant annotation_check
  participant target_files
  CargoTest->>read_ledger: 台帳を読み取る
  read_ledger->>task_rows: 台帳行を解析する
  task_rows->>annotation_check: auto lane 行を渡す
  annotation_check->>target_files: 対象ファイル欄と注釈を解析する
  annotation_check->>CargoTest: 検査結果を返す

Loading

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	タイトルは、ディレクトリ宣言の注釈が既存ファイルを列挙していないことを検査する主要変更を正確かつ簡潔に示しています。
Docstring Coverage	✅ Passed	Docstring coverage is 88.46% which is sufficient. The required threshold is 80.00%. Docstring coverage is scoped to functions touched by this diff. Analyzed 26 functions across 4 files. (1 skipped: 1 …
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches

📝 Generate docstrings

• Create stacked PR
• Commit on current branch

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch test/ledger-annotation-check

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[github-actions]

🤖 PR Monitor 分析 (GitHub Actions バックストップ)

• トリガー: issue_comment (created) / 実行 run
• CI: pending (rust ubuntu-latest / windows-latest とも pending、request は skipping)
• レビュー状況: 未実施 (陽性証拠なし) — reviews API 0 件、インラインコメント 0 件。会話コメントは CodeRabbit の定型 skip 通知 (Review skipped: manual review required for this OSS repository、10 stars 未満のため自動レビュー対象外) のみで証拠に数えない
• Verdict: user_decision

指摘

レビュー指摘は現時点で 0 件 (CodeRabbit は本リポジトリでは自動レビューが行われない設定のため、今後も付かない見込み)。CI 状態と diff 概要のみ記す。

Diff 概要

File	変更
docs/adr/adr-074-auto-lane-screening-criteria.md	ADR-074 決定 4 に「検査 C」の追記 (2 箇所、説明文の更新)
src/lib-ledger/src/annotation_check.rs (新規)	検査 C 本体: ディレクトリ宣言の注釈が既存ファイルを列挙していないか検査する #[cfg(test)] module (約280行、実装 + 単体テスト多数)
src/lib-ledger/src/deployed_ledger.rs	read_ledger / target_file_cells / TaskRow (フィールド含む) / task_rows / is_auto_lane を annotation_check.rs から再利用するため pub(crate) に変更 (ロジック変更なし)
src/lib-ledger/src/lib.rs	annotation_check module 宣言を追加
src/lib-ledger/src/target_files.rs	is_directory_declaration / annotations の 2 関数を追加 (いずれも #[cfg(test)] 限定)

PR title 「検査 C」どおり、既存の検査 A/B (deployed_ledger.rs) と同じパターンで台帳の機械検査を追加するテスト専用変更。本番ビルド (非 test) に含まれる公開面の変更はなし。

次のアクション

• rust (ubuntu-latest / windows-latest) の CI 完了を待ち、新規テスト (annotation_check.rs 内の各 #[test]) がグリーンであることを確認する。
• 本リポジトリでは CodeRabbit の自動レビューが恒常的に skip される設定 (10 stars 未満) のため、人間レビューでの承認が必要 (mergeStateStatus: BLOCKED はこれが一因の可能性がある)。