#1731 で OpenCode と Pi の /verify を完走できるようにしたが、その後にマージされた #1723 が
成果物パス（readonlyFileReadPaths）付きの呼び出しを aiCaller・Pi・OpenCode で拒否する
チェックを入れた。/verify の結果解釈は常に成果物パスを渡すため、両 provider では
仕様生成と検証の後に失敗していた。

#1728 の合意どおり、OpenCode と Pi はセッション単位の読み取り専用で結果解釈を実行する。
- 3 か所の拒否を外す
- #1723 が拒否に合わせて書き換えたテストを戻し、両 provider の成功経路のテストを復活させる
- CHANGELOG の update-notifier 同梱の項目で、起動失敗の原因の書き方を直す