#673 [tests][mutants] 変異試験が防御を外したまま kill(-1) などを実行し、利用者の全プロセスを止める

[Kewton]

Refs #673

概要

2026-10-14 に、macOS で cargo mutants が process group の防御（signalable_process_group -> Some(1)）を変異させ、変異した試験の binary が kill(-1, SIGTERM) を実行しました。その結果、利用者のプロセスがすべて止まりました。この PR は、その再発を防ぎます。

変更の要約

• .cargo/mutants.toml（新規）：通常の設定で、signalable_process_group と group_is_signalable を exclude_re で除外します。
• signal の最後の防御：signal を送る関数の中で、kill の直前に、変異の対象にならない assert! を直接書きました。helper には包んでいません。
  • 対象：src/bounded_process.rs、src/bin/gui_server/trial_process.rs、src/planner/runner/acceptance.rs、src/preflight.rs。
  • preflight は、assert! の前で pid <= 1 と自分の pid を bail! で断ります。
• 再帰削除：dir_fd::strict_descendant_real_path(root, target) -> Option<PathBuf> を足しました。削除先が root の真の子孫かを確かめ、確かめた実パスだけを remove_dir_all に渡します。
  • 対象：session_paths、model_probe、pack::supply、os_sandbox。
• 危険な命令の一覧：docs/dev/dangerous-commands.md（新規）を足しました。
  • tests/issue673_dangerous_command_inventory.rs（新規）は、src・tests・build.rs・scripts の signal と再帰削除を grep で拾います。一覧と食い違えば失敗します。
• harness 文書 docs/dev/parallel-dev-harness.md に §3a（mutants の規則）を追加しました。
  • signal・削除・子の session に触る変異は、防御の有無にかかわらず常に隔離環境で流します。
  • Docker の条件：uid 1000、--network none、mount・--privileged・--pid=host・Docker socket なし、木は build の context か docker cp で渡す。
  • --timeout は残ったプロセスを回収しないので、run の後はコンテナごと捨てます（docker rm -f）。
  • 流す前に cargo mutants --list を全件照合します。
• tests/issue502_os_sandbox_write.rs：pager の試験の HOME と Git の設定を、利用者のものから隔離しました。

利用者に見える挙動の変化

• preflight：lsof がポートの持ち主として pid 0・1・自分の pid を返した場合、利用者が kill を選んでも signal は送りません。refusing to signal … の Err で返ります。以前は kill を呼んでいました（pid 1 では EPERM などの Err）。
  • 例：launchd や systemd の socket activation で pid 1 が返る場合。
• 変異のない木では、危険な値は assert! に届く前に Err・bail!・false で返ります。panic はしません。
• harness 文書 docs/dev/parallel-dev-harness.md に §3a を追加しています（開発の手順の変更です）。

検証

• 15 ゲート：commandmate verify passed 15/15。HEAD 1f082ada で、最後の commit の後、clean です。
• cargo deny：ok。
• Linux の確認：cargo-zigbuild clippy --all-targets --target x86_64-unknown-linux-gnu exit 0。
• Cargo.lock：差なし。
• Docker の安全確認（変異なし。uid 1000、--network none、mount なし）：
  • 危険な値の試験（dangerous_value_*）、番兵の試験、gui の試験はすべて pass しました。
  • この image（Node 18、network なし、gui/out の build なし）でだけ失敗する 8 本は skip しました。base の 739c441c でも同じ 8 本が失敗します。host の verify では pass しています。
  • 試験の外に置いた canary（同じ UID、別の session）は生き残りました。
• 二点測定（Docker）：新しい dangerous_value_ の試験は、修正前のコードで FAILED（assert! で panic、signal の送信は 0 件）、修正後で pass です。
• mutants は Docker の中だけで流しました。全組で strace を取り、kill(-1|0|1, …) は 0 件、canary は生存しました。

run	組	本数	caught	missed	timeout	unviable
L-56	A1 signalable_process_group（除外なしの確認用の設定）	7	4	0	3	0
L-56	A2 group_is_signalable（除外なしの確認用の設定）	5	5	0	0	0
L-56	A3 configure_child_session	3	2	1	0	0
L-56	B 変えた行	33	10	14	2	7
L-57	(a) preflight の変えた行	3	3	0	0	0
L-57	(b) B の missed の測り直し（integration の試験を追加）	7	3	3	1	0

• 補足：
  • A1 の timeout 3 本（Some(0)・Some(1)・Some(-1)）は、kill の手前の assert! で panic しました。
  • A3 の missed（delete -）は、setsid() == 1 が真にならないので等価です。
  • missed は、どれも signal を送らない、削除しない、または待ちが変わる向きです。宛先や削除先は広がりません。

レビュー

• H-35（Claude_Sub）：blocker B1。harness §3a が「until the last, non-mutatable defense is in place」で隔離を限っていた点です。「常に隔離環境で流す」に直しました。
  • あわせて、§5 の文書の誤りと、preflight の Err から panic への変化（F6）も直しました。
• H-36（fix-only の再確認）：blocker 0。

後続の論点（この PR では直していません）

• F1：os_sandbox::install_for_test の root が、削除先と独立に決まっていません（試験だけで使う経路）。
• F3 の残り：一覧の照合の単位（関数名と件数）と、tests/**/*.sh の読み込み。
• F4：確かめてから削除するまでの間に、祖先のパスを symlink へ差し替える競合（TOCTOU）。
• session_paths::rollback_unstarted の NotFound の判定の missed 3 本：試験を強化します。
• macOS の dedicated account で mutants を流す場合の、片付けの方法。

🤖 Generated with Claude Code