[hdknr]

Fixes #286

spec-loop のスクリプトは、終了コード 1（違反）と 2（判定していない・書いていない）を分けると約束している。ところが想定外の例外は、トレースバックになって 1 で終わっていた。この PR で、12 本すべての CLI の入口で想定外の例外を 2 に寄せた。あわせて、捕まえてはいるが原因を取り違えていた箇所を直した。

• 入口: 12 本の __main__ で except Exception を捕まえ、例外の型と文言、「判定していない」を出して 2 で終える。
  • SystemExit・KeyboardInterrupt は寄せない。
  • 共通の関数は置かず、各本に同じ形を写した。テストが -I で単体を写して走らせるため。
• -OO: __doc__ が None でも、引数なしの呼び出しは使い方の誤りとして 2 で止まる（トレースバックにならない）。
• 約束の維持: 2 のときに「前の出力を消す」「書かない」と約束しているスクリプトは、想定外の例外でもその約束を守る。守らない場合は docstring でそう名指しする（merge-versions.py・schedule-to-gantt.py・build-proposal.py など）。
  • merge-versions.py は docs・out を os.path.realpath で辿るようにした。python 3.12 の Path.resolve はリンクの輪で例外を投げるので、出力先の検査を飛ばして印つきの場所を消すことがあった（関門の 1・2 パス目で見つかった）。
• 原因の取り違え:
  • build-proposal.py は、git を起動できない・手書き部分が読めない・出力を書けないを、別々の文言で出す。
  • check-signoff.py は、removed.csv が読めないとき、権限エラーを「UTF-8 として読めない」と言わない。
• テスト: 12 本のテストに試料と変異を足した。試料は 128KB を超えるセル・深い入れ子・読めない手書き部分・-OO の引数なしなど。変異は捕捉を外すと赤になるもの。
• 版: spec-loop 0.26.1 → 0.30.0（終了コードの振る舞いが変わるので minor）。PR check-signoff.py: 照合の範囲を 2 つの承認が見た中身（shared/・requirements/・spec/・removed.csv）に広げる（#375） #479・雛形のフック: 素の URL の中の番号を書き換えない・decision_table の印で決定表を描く（#376） #481・scaffold.py: 中間表現のケースの ref（仕様の中の番号）が原文に在るかを生成と --check で見る（#465） #483・build-proposal.py: 出力の名前で拒むのは前後の空白だけだと文言を直す（#442） #485 も spec-loop の版を上げているので、後からマージする側は main を取り込んで版を上げ直す。

計画と受入基準（I1〜I9）、各パスの採否の表: docs/plans/issue-286.md

不在の周（/dev-loop:cruise 474 --absent）。このリポジトリではマージがサイトを再デプロイするので、不在の線「マージ」が効かない（#476）。PR までで止める。

🤖 Generated with Claude Code

[hdknr]

レビュー結果（dev-loop 手順 6）

直す線: 既定（出所: cruise の確かめた線。台帳 issue-474）

関門

関門	パス	結果
Verifier（dev-loop:dev-loop-verifier・sonnet）	1 パス目	反証 0 件（見てほしい点 3 件）
/code-review（high）	1 パス目	指摘 10 件——直したのは CR2 の 1 件
Verifier	2 パス目	反証 0 件（気づいた点 1 件。P2-1 と同じ）
/code-review	2 パス目	指摘 6 件——直したのは P2-1 の 1 件
Verifier（狭いパス 28fdff4..6abb359）	—	挙動の反証 0 件・テストの穴 1 件（NP-1）

• CR2（1 パス目で直した）: merge-versions.py で、docs が自分を指すリンクのとき、python 3.12 では 2 なのに前の出力が残っていた（docstring は「入力が読めないときは前の出力を消す」）。著者が 3.12 で再現してから直した。
• P2-1（2 パス目で直した）: CR2 の直し方では、出力先の検査より前に消していた。そのため 3.12 では、docs を含む印つきの場所を丸ごと消していた（docstring は「docs/ を含む場所は消さない」）。著者が 3.12 で再現した（keep.txt が消えた）。os.path.realpath で辿るように直し、3.12 でも 3.14 と同じ「docs を含む場所には書かない」で止まる。
• 狭いパスの陽性対照: Verifier が設計した 9 通りの配置で、3.12 と 3.14 の rc・文言・残ったファイルが一致した（docs がリンク・.. を含む・互いを指す 2 本のリンク・存在しないパスなど）。
• 歯止め: python3 scripts/check-all.py 52/52 が緑。test-merge-versions.py は python 3.12 で 66 試料・61 変異、3.14 で 66 試料・60 変異（3.14 では当てていない 1 件——下の P2-4）。
• 生成物: なし（skill-metrics.py --check は緑）

証明できないもの・BLOCKED

なし。

人間に判断してほしいこと（狭いパス・2 パス目の残課題）

1. NP-1（狭いパス）: out_real だけを out.resolve() に戻す変異を、どの試料も殺さない。試料はリンクの輪を docs 側にしか置いていない。挙動は正しく、どちらの形でも rc=2 になる。違うのは文言だけ（「想定外の例外」か「書けない」か）。試料を足すかどうかを決めてほしい。
2. P2-4: python 3.13 以降では、試料「入力が自分を指すリンクでも前の出力を消す」は修正の有無によらず通る。修正を確かめているのは CI（3.12）の変異 1 本だけで、手元の 3.14 で緑でも修正の証拠にならない。
3. P2-6: only_312 は、変異の名前の部分一致（「3.12 でだけ」）で決めている。同じ判定が test-build-proposal.py（spec-loop: build-proposal.py の remove_owned が unlink の失敗で traceback・1 になり、古い出力が残る #440）にも写してある。名前を変えると、黙って当てなくなる。

残課題（1 パス目。既定の線では受入基準を破らないので直していない）

• CR5: schedule-to-gantt.py で前の出力を消せないと、決まりの違反も 2 になり、古い svg が残る。docstring の「消せないときは理由を出して 2」の範囲ではある。ただし文言は「前の出力が残っている」と言わない（著者が 3.12 で走らせて確かめた）。
• CR1: build-proposal.py で手書き部分のディレクトリが読めないと、glob が空を返し、「無い」（1）になる。この周より前からの挙動。
• CR3: CLI から git を起動できないときに出る文言は check-signoff.py のもので、新しい run_git の文言は CLI からは届かない。
• CR4: check-spec-exit.py の rglob は、読めないサブディレクトリを黙って飛ばす。この周より前からの挙動。
• CR6: init-mkdocs.py で想定外の例外が起きると、写したファイルの一覧が出ない。
• CR7: build-proposal.py の残りの except OSError のコメントが不正確。
• CR8: check-signoff.py の新しい文言で、パスが 2 度出る。
• CR9: test-init-mkdocs.py の -OO の試料は何も判別しない。
• CR10: 同じ入口の形を 12 本に写していて、テストはその文言を錨にしている。
• V2: init-mkdocs.py を引数なしで走らせると rc=0 で書く。既存の設計どおり。
• V3: 終了コードの表を持つ SKILL.md は proposal だけ（そこは直した）。
• 計画の訂正（V1）: 計画の「merge-versions.py は権限エラーを UTF-8 と言う」は誤りだった。I6 で実際に直したのは check-signoff.py のほう。
• 実装役の自己申告: KeyboardInterrupt には専用の試料が無い。ただし SystemExit の試料が BaseException への広げすぎを赤にする。build-proposal.py の一時ファイルの読み書きの OSError の文言にも試料が無い。

各行の「示せるか」「破る受入基準」は、計画ファイルの採否の表にある。

この周の起票

0 件。不在の周なので、手順 8 の起票は訊いていない。

マージ

不在の周で、このリポジトリのマージはサイトを再デプロイする。そのため、マージは利用者の判断を待つ（#476）。