docs(dev-env): нав-сим (I §16) + мок-облако/OTA (L §12) в моки, после adversarial-ревью (4 находки)

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

docs/dev-environment.md

@@ -43,7 +43,7 @@ L2  Linux dev-VM    systemd · D-Bus · SocketCAN(vcan) · PipeWire · Wayland(s
     (Lima, vz,      ← интегрированный стек; сервисы = systemd-юниты + bubblewrap (как в проде)
      ARM64)
         │
-L3  Симуляция       Vehicle Simulator (vcan) · моки LLM/STT/TTS · фейк-GPS · мок-сеть · fake-камера/аудио/BT · plugin-host-харнесс
+L3  Симуляция       Vehicle Simulator (vcan) · моки LLM/STT/TTS · фейк-GPS · мок-сеть · fake-камера/аудио/BT · plugin-host-харнесс · нав-сим · мок-облако/OTA
         │
 L4  Реальный RK3588  (позже) сборка образа → флеш → путь «VM → железка»
 ```
@@ -89,6 +89,8 @@ ELM327-emulator. **Эталонный тест killer-фичи:** симулят
 - **Аудио** — синтетический медиа-поток, мок BT-A2DP / нав-промпта / TTS / звонка (матрица ducking) — H §12.
 - **BT / телефон** — фейковый BT-стек (паринг + сбой, HFP/A2DP/PBAP, мульти-устройство, SCO-loss), мок-контакты — G §12.
 - **Plugin-host** — тест-харнесс: поднять плагин в bubblewrap + прокси из манифеста (sideload), итерация без полного стека — F.
+- **Навигация** — нав-сим: **тест-регион** (малый PMTiles + Valhalla-тайлы) + **мок-маршрут** (rerouting / maneuver-тайминг / `nav_guidance`-ducking) поверх fake-GPS-трека и мок-сети; краевые: дрейф в каньоне при валидном фиксе → **не** reroute, назначение вне региона, no-route, stale-промпт под звонком — I §16.
+- **Облако / OTA** — **мок-облако/OTA-сервер** (подписанные / битые / **downgrade**-бандлы → тест верификации + anti-rollback и отказа по размеру/хэшу), фейковый **companion-peer** (паринг/синк/конфликты/мульти-peer), **мок-телеметрия-sink** (opt-in-гейт: по умолчанию нулевой egress; дроп буфера на отзыв/reset); поверх мок-сети G (включая `portal`/невалидное-время) — L §12.
 
 ---