[hdknr]

Fixes #440

cruise #474 の周（不在の周。/dev-loop:cruise 474 --absent）。

変更

• build-proposal.py の remove_owned が、消せなかった出力を（理由つきで）返す。消せなかったものがあれば印 .build-proposal を残す（次の実行が消せるように）
• main は前の出力を消せなければ、作らずに 2 で止まり、消せなかった出力を名指しする（traceback・1 にならない。照合の 1 と取り違えない）
• write_outputs の書きかけの片付けで消せなくても、2 つ目の例外を逃がさず「書きかけを消せなかった」と名指しして 2
• python3.12 の is_file が辿れない先の symlink で例外を投げるので、is_symlink を先に見る（1 パス目の CR1）
• 回帰テスト: 書けない出力先（mode 555）の --out の親・--out のディレクトリ・書きかけの片付け・一部だけ消せない・辿れない先の symlink の試料と、変異 7 件。この python で当てなかった変異は OK の件数に数えず名指しする（2 パス目の P2-2）
• references/tree.md に 1 文。spec-loop 0.26.0 → 0.26.1（patch）

確かめたこと

• Issue の再現手順（mode 555 の出力先に有効な印と前の出力）を修正前後で当てた: 修正前 exit=1（traceback）→ 修正後 exit=2・2 つを名指し・印と出力が残る（python3.12）
• scripts/test-build-proposal.py: python3.12 OK: 試料 82 件・変異 97 件、python3.14 OK: 試料 82 件・変異 96 件（当てていない 1 件——3.12 でだけ死ぬ変異）
• scripts/check-all.py: 52/52（main を取り込んだ後も）

関門

直す線: 既定（cruise の確かめた線）。

パス	Verifier（sonnet）	/code-review（high）
1 パス目	反証 1 件（V1）	指摘 7 件（CR1〜CR7）
2 パス目	反証 0 件	指摘 7 件（P2-1〜P2-7）
狭いパス（P2-2 の修正）	反証 0 件・所見 1 件	—

直したのは CR1・CR5（1 パス目）、P2-2（2 パス目）。採否の表は docs/plans/issue-440.md の「既知の限界・決着済みの論点」。

残課題（直していない指摘）

いずれも受入基準を破らない、または実物で示せていないもの:

• CR2・V1: 印が読めない（mode 000）・辿れない出力先では、残った前の出力を名指ししない（spec-loop: build-proposal.py が --out の向け先と引数の誤りで、作っていないファイルを消す・古い出力を残す（#397・#398 のまとめ） #405 の「読めない印は消さない」の延長。文面は spec-loop: proposal の SKILL.md と tree.md が、0.25.0 の出力が失敗の経路で残ることを書いていない #441）
• CR3: 片付けで印が読めず何も消さなかったのに「書きかけを消した」と言う
• CR4: 印だけが消せないとき、印を「前に作った出力」と名指しする
• CR6: CLI の試料は I3（印を残す）を判別しない——Path.unlink を差し替えた試料だけが見る
• CR7: main の if left: が Stop の報告の経路を写している
• P2-1: write_outputs の path.exists() が python3.12 で辿れない先の symlink（印に無い手置きのもの）に例外を投げ、traceback・1（想定外の例外は spec-loop: 想定外の例外がトレースバックで 1 になり、1（違反）と 2（検査していない）の区別が崩れる #286）
• P2-3: try が成功の print も包む（stderr が閉じていると消したものを「消せない」にする。走らせていない）
• P2-4: 確かめてから消すまでの間に消えたファイルを「消せない」にする（競合。走らせていない）
• P2-5: 書きかけの片付けで、今回書いたものを「前に作った出力」と名指しする
• P2-6: 一部だけ消せない試料が、残りが消えたこと・名指しの中身を見ない（走らせていない）
• P2-7: 3.12 の lstat が ENAMETOOLONG を投げ、印の名前が長すぎると以後ずっと 2（走らせていない）

人間に判断をお願いするもの（狭いパスの所見）

• OK の行の件数の表示（- len(skipped) と名指し）を壊しても、どのテストも赤にならない——表示を判別する試料が無い

未証明

• root で走らせると mode 555 でも消せるので、試料が判別しない。試料は「消せないこと」を先に確かめ、消せたら問題として返す（緑に化けない）。CI は root でない前提

マージ

不在の cruise はここで止まる。 このリポジトリのマージは GitHub Pages を再デプロイするので、確かめた線 マージ = 関門を通ればマージ が効かない（本番反映。#476 で扱う）。

🤖 Generated with Claude Code