From f5a0e14991360d2d18eecf4da6045f31f995fe7b Mon Sep 17 00:00:00 2001 From: Hare Date: Sat, 15 Aug 2026 21:26:02 +0900 Subject: [PATCH] docs: require root cargo check --- AGENTS.md | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index a55cd23c..07fe5362 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -26,17 +26,26 @@ Workerの状態から純粋に再現可能で、且つ揮発性の無い操作 ```sh cargo test -p --lib cargo test -p --test -cargo check -p -p ``` -完了前には変更内容に応じて、対象crate全体のtest、影響するfeature構成、依存crateのcheckを追加する。通常の差分検証には以下を使う。 +完了前には、workspace rootで必ず`cargo check`を実行する。rootの`cargo check`は +`default-members`に含まれるTUIやServerを含む通常のcompile closureを確認するため、公開型の +変更ごとにLLMがreverse dependencyを推測して`-p`を列挙する運用にはしない。 ```sh +cargo check +cargo test -p cargo fmt --all -- --check git diff --check HEAD ``` -workspace全体、E2E、Nix/Docker buildなどの重い検証は、変更した境界を狭い検証では証明できない場合や明示的に要求された場合に選ぶ。実行した検証が何を証明するのかを意識し、広い検証を形式的に回すだけにしない。 +変更したcrate全体のtestに加え、影響するfeature構成やtest-only targetがある場合は、その検証を +追加する。`cargo check`はtestを実行せず、通常有効でないfeatureまでは確認しないため、semanticな +証明とfeature境界の検証はtargeted test/checkで補う。 + +workspace全体のtest、`--all-targets`、E2E、Nix/Docker buildなどの重い検証は、変更した境界を +通常のroot checkと狭い検証では証明できない場合や、明示的に要求された場合に選ぶ。実行した検証が +何を証明するのかを意識し、広い検証を形式的に回すだけにしない。 ---