feat: add installable Lingji Android shell

docs/environment.md

@@ -1,7 +1,7 @@
 # 本地开发环境基线
 
 > 状态：已从当前主机实测
-> 最后核验：2026-08-04
+> 最后核验：2026-08-07
 > 适用范围：`D:\OPC\brainwave` 的 Android 开发、构建和设备验证
 
 本文件记录项目当前可用的本地工具链，不是期望环境清单。后续实现必须先使用这里已经确认的能力；需要升级或安装新工具时，应说明原因并在完成后更新本文件。
@@ -39,7 +39,7 @@
 | Node.js / npm | `22.22.1` / `11.12.1` |
 | Google Chrome | `150.0.7871.188`，`C:\Program Files\Google\Chrome\Application\chrome.exe` |
 
-首次环境审计时仓库没有 Gradle Wrapper、`build.gradle*`、`settings.gradle*` 或根 `AGENTS.md`。当前这些仓库级入口已经建立；`app` 暂时是纯 Kotlin/JVM 领域 harness，不是可安装 Android application。
+首次环境审计时仓库没有 Gradle Wrapper、`build.gradle*`、`settings.gradle*` 或根 `AGENTS.md`。当前这些入口和可安装的 Android application 已建立；正式应用名为“灵机”，application ID 为 `net.opcapp.flash`。
 
 Windows 路径可能较长；如果后续依赖缓存或生成代码触发路径长度错误，应优先缩短包/生成目录或评估仓库级长路径配置，并把实际决定写入[决策记录](decisions.md)。
 
@@ -111,23 +111,21 @@ Android Studio 不是当前环境的可用前提。项目必须先支持 PowerSh
 .\gradlew.bat <task>
 ```
 
-不要要求用户安装全局 Gradle。当前缓存已实际证明 Gradle 8.2、Kotlin 1.9.20 与 JUnit 4.13.2 可离线完成领域构建和测试；Compose、Hilt、Room 等 Android 依赖仍未配置或验证，不能据此推断可离线解析。
+不要要求用户安装全局 Gradle。当前缓存已实际证明 Gradle 8.2、AGP 8.2.0、Kotlin 1.9.20、Compose、Hilt、Room、DataStore、Navigation 与 JUnit 可完成 Android debug 构建、lint、单元测试和测试 APK 编译；首次解析已经联网完成，后续离线可用性仍以实际命令为准。
 
 ## 7. 已连接 Android 真机
 
-检测时存在 1 台已授权的物理设备。为避免持久化设备标识，本文件不记录序列号。
+2026-08-07 本轮曾检测到 1 台已授权的物理设备。为避免持久化设备标识，本文件不记录序列号。
 
 | 项目 | 实测值 |
 |---|---|
-| 厂商/型号 | OnePlus `PKG110` |
-| Android | 16 |
-| API Level | 36 |
-| ABI | `arm64-v8a` |
-| 物理分辨率 | `1264 × 2780` |
-| 当前覆盖分辨率 | `1080 × 2376` |
-| 物理/覆盖密度 | `560 / 480 dpi` |
+| 厂商/型号 | Samsung `SM-G9700` |
+| Android | 12 |
+| API Level | 31 |
+| 物理分辨率 | `1080 × 2280` |
+| 物理密度 | `480 dpi` |
 
-当前设备可用于 `adb` 安装、手工验收和 `connectedDebugAndroidTest`。测试脚本不得硬编码序列号；设备可能随时断开，纯 JVM 门禁必须独立可运行。
+该设备满足 `minSdk=26`，可用于 `adb` 安装、手工验收和 `connectedDebugAndroidTest`。测试脚本不得硬编码序列号；设备可能随时断开，环境独立门禁必须单独可运行。本机 `PATH` 还存在 `D:\Portable\adb\adb.exe`，曾运行旧版 ADB server；项目设备命令应显式使用 `$env:ANDROID_HOME\platform-tools\adb.exe`，避免与 SDK Platform Tools 37.0.0 争用 server。ADB server 重启后若接口消失，应先保持手机解锁并重新确认 USB 调试授权，不应把“Windows 能看到 USB 复合设备”误当作 ADB 已连接。
 
 ## 8. 网络与代理状态
 
@@ -146,21 +144,20 @@ Android Studio 不是当前环境的可用前提。项目必须先支持 PowerSh
 2. 使用项目自带 Gradle Wrapper，不依赖全局 `gradle` 或 `kotlinc`。
 3. 首次可构建配置只能依赖已安装的 SDK Platform 34 和 Build Tools 34.0.0；若模板要求更高版本，应先记录差异，再决定调整模板或安装 SDK。
 4. 命令行构建是必须能力，不假设 Android Studio 存在。
-5. 仪器测试优先使用已连接的 API 36、arm64 真机；不假设 Emulator/AVD 存在。
+5. 仪器测试优先使用当前可用的 API 31 三星真机；不假设 Emulator/AVD 或固定设备存在。
 6. 不自动安装系统级工具、SDK 平台或模拟器；确需新增环境能力时，先说明影响。
 7. 发布时的 `targetSdk` 和商店要求是独立发布门禁，不能因为本机只有 Platform 34 就永久锁定；工具链升级后必须更新本文件和相关 ADR。
 8. P-1 原型截图使用现有 Node.js 与 Chrome DevTools 协议生成，不额外安装前端依赖；命令见[移动端交互原型](prototype.md#3-运行方式)。
 
 ## 10. 已知缺口
 
-- 可安装的 Android application 壳尚未创建；正式名称、组织所有的 application ID 与最终 `minSdk` 仍待确认。
 - Android Studio 未安装。
 - Android Emulator、system image 和 AVD 不可用。
 - 本机只确认安装了 Android Platform 34 / Build Tools 34.0.0。
-- Compose、Hilt、Room、DataStore 与 Navigation 的 Maven 依赖尚未完整离线验证。
-- 代理已配置，但外部仓库和 Android CLI 网络连通性尚未验证。
+- `PATH` 中旧便携 ADB 与 SDK ADB 可能争用 server；设备接口消失时需要手机端重新授权或重新连接。
+- 代理已配置；本轮 Maven 依赖下载成功，但不能据此保证未来网络始终可用。
 
-已解除的缺口：Gradle Wrapper、Version Catalog、根 `AGENTS.md`、CI 与可执行的 `verifyLocal` 已建立；`verifyLocal --offline` 已在 JDK 17 上通过。它当前不包含 Android lint、APK 构建或设备测试。
+已解除的缺口：Gradle Wrapper、Version Catalog、根 `AGENTS.md`、CI、正式 Android 身份和 application 壳均已建立；`assembleDebug`、13 个 debug 单元测试、`lintDebug` 与测试 APK 编译已在 JDK 17 上通过。`verifyLocal` 现已包含 Android lint 与 debug APK，设备测试仍按环境单独执行。
 
 这些缺口分别由[实施计划](implementation-plan.md)的 P0 和[质量门禁](quality-gates.md)处理。环境缺口不是跳过验证的理由；无法运行的门禁必须在交付报告中准确说明。