@buaa_smat/hometrans 0.1.13 → 0.1.15

package/skills/hmos-spec-generate/SKILL.md

@@ -29,22 +29,22 @@ This skill uses GitNexus as the code-graph backend: the `gitnexus-cli` skill for
 
 ## Expected Input
 
-- `requirement-description-file`: absolute path to a single `.txt` file containing one or more REQ blocks separated by blank lines. Within each block, the first line is the REQ title (often a dash-separated settings path like `Settings-UserInterface-ImmersionMode`), and the remaining lines are the body (behavior, default values, toggles). Required.
-- `android-project-path`: absolute path to the Android project root (must be inside a Git repo). Required.
-- `spec-output-dir`: absolute path to the directory where spec files will be written (will be created if missing). Required.
+- `requirement_description_file`: absolute path to a single `.txt` file containing one or more REQ blocks separated by blank lines. Within each block, the first line is the REQ title (often a dash-separated settings path like `Settings-UserInterface-ImmersionMode`), and the remaining lines are the body (behavior, default values, toggles). Required.
+- `android_project_dir`: absolute path to the Android project root (must be inside a Git repo). Required.
+- `spec_output_dir`: absolute path to the directory where spec files will be written (will be created if missing). Required.
 
 **Caller example**:
 
 ```
-requirement-description-file: C:\proj\reqs\req-batch2-zh.txt
-android-project-path:         C:\proj\SaltPlayer\
-spec-output-dir:              C:\proj\specs-out\
+requirement_description_file: C:\proj\reqs\req-batch2-zh.txt
+android_project_dir:         C:\proj\SaltPlayer\
+spec_output_dir:              C:\proj\specs-out\
 ```
 
 ## Expected Output
 
-- One markdown spec per REQ block, written to `<spec-output-dir>/<feature>-SPEC.md`. `<feature>` is the ≤ 20-character slug distilled in 3.1 (use the REQ's own language for the slug; ASCII / kebab-case acceptable when shorter).
-- One intermediate code-trace file per REQ block, written to `<spec-output-dir>/.trace/<feature>.md` (same slug). 3.5 synthesis MUST `Read` this file rather than recalling from conversation context.
+- One markdown spec per REQ block, written to `<spec_output_dir>/<feature>-SPEC.md`. `<feature>` is the ≤ 20-character slug distilled in 3.1 (use the REQ's own language for the slug; ASCII / kebab-case acceptable when shorter).
+- One intermediate code-trace file per REQ block, written to `<spec_output_dir>/.trace/<feature>.md` (same slug). 3.5 synthesis MUST `Read` this file rather than recalling from conversation context.
 - Both files overwrite if they already exist.
 
 ---
@@ -108,9 +108,9 @@ Mimic the samples' voice, scenario granularity, and structure — NOT their voca
 
 ### Step 0 — Validate inputs and parse REQ blocks
 
-1. Verify `requirement-description-file` exists and is a file. If not, stop and report.
-2. Verify `android-project-path` exists and is a directory. If not, stop and report.
-3. Ensure `spec-output-dir` exists (create if missing). Ensure `<spec-output-dir>/.trace/` exists (create if missing).
+1. Verify `requirement_description_file` exists and is a file. If not, stop and report.
+2. Verify `android_project_dir` exists and is a directory. If not, stop and report.
+3. Ensure `spec_output_dir` exists (create if missing). Ensure `<spec_output_dir>/.trace/` exists (create if missing).
 4. **Parse the input `.txt`** (UTF-8):
    - Split into REQ blocks by blank lines. Each block: first non-blank line = `title`, remaining non-blank lines = `body`.
    - If a block has empty `body`, mark it for skip with reason `empty body`; do not abort the whole batch.
@@ -125,15 +125,15 @@ Step 0 output: an ordered list of `(title, body, feature)` tuples plus a skip li
 
 ### Step 1 — Confirm the Android project is a Git repo
 
-Run `git rev-parse --is-inside-work-tree` inside `android-project-path`.
+Run `git rev-parse --is-inside-work-tree` inside `android_project_dir`.
 
 - Output is `true` → proceed to Step 2.
 - Otherwise → STOP. Tell the user:
 
-  > `android-project-path` is not a Git repository. GitNexus indexes by Git identity. Please run:
+  > `android_project_dir` is not a Git repository. GitNexus indexes by Git identity. Please run:
   >
   > ```
-  > cd <android-project-path>
+  > cd <android_project_dir>
   > git init && git add . && git commit -m "init"
   > ```
   >
@@ -150,11 +150,11 @@ GitNexus exposes two surfaces:
 
 Procedure:
 
-1. Invoke `gitnexus-cli` skill with `status` against `android-project-path`.
+1. Invoke `gitnexus-cli` skill with `status` against `android_project_dir`.
 2. Decide based on the output:
    - **Not registered** or **stale** → invoke `gitnexus-cli` with `analyze`, wait for completion.
    - **Fresh** → proceed.
-3. Obtain `<repo-id>` via `mcp__gitnexus__list_repos()`; find the entry whose `path` matches `android-project-path`; take its `repo` (or equivalent identifier) field.
+3. Obtain `<repo-id>` via `mcp__gitnexus__list_repos()`; find the entry whose `path` matches `android_project_dir`; take its `repo` (or equivalent identifier) field.
 
 **Hard fail policy** — any of the following stops the skill and surfaces the error to the user; do NOT degrade to `Read` + `Grep`:
 
@@ -206,7 +206,7 @@ Run both paths in parallel within the same turn (emit all mcp calls together); t
 - Path 1 + Path 2 both return zero, before writing `no_recall`.
 - Deviations from `REQ_DESC` exceed five AND touch core behavior (REQ may be stale; confirm before proceeding).
 
-#### 3.3 Trace — Explore code and write `<spec-output-dir>/.trace/<feature>.md`
+#### 3.3 Trace — Explore code and write `<spec_output_dir>/.trace/<feature>.md`
 
 The trace file is the sole machine-readable contract delivered to 3.5. Exploration and writing form a single unit.
 
@@ -231,7 +231,7 @@ The trace file is the sole machine-readable contract delivered to 3.5. Explorati
 - **Application scope / boundary · Exhaustive entry enumeration** — ALL UI paths touching this feature / state, beyond REQ text. For state keys: reverse-lookup writers + lift to UI hosts. For readers: enumerate consumers + non-consumers. One field block per entry; omitted here = scenario omitted in spec.
 - **Consumer list & non-consumers** — who reads this state, plus which UI surfaces explicitly do NOT. Non-consumer claims use the structured field block (`claim` / `closure_layers` / `tools` / `zero_hits`).
 
-**Trace file template** (write to `<spec-output-dir>/.trace/<feature>.md`):
+**Trace file template** (write to `<spec_output_dir>/.trace/<feature>.md`):
 
 ```markdown
 # Code trace · <feature>
@@ -308,7 +308,7 @@ Any check failing → return to 3.3 (rewrite / supplement / fix). Judge converge
 
 #### 3.5 Synthesize — Write the final spec
 
-`Read` the trace from 3.3 / 3.4, then synthesize the spec following `## Principles` and the style references under `references/`. Write to `<spec-output-dir>/<feature>-SPEC.md` (overwrite if exists).
+`Read` the trace from 3.3 / 3.4, then synthesize the spec following `## Principles` and the style references under `references/`. Write to `<spec_output_dir>/<feature>-SPEC.md` (overwrite if exists).
 
 **Synthesis discipline**:
 

package/skills/hmos-spec-generate/references/android-platform-tokens.md

@@ -1,105 +1,105 @@
-# Android Platform Tokens — Strip List
-
-**Read when**: 3.5 Synthesize, for the platform-token strip list (Principle 6).
-
-The spec MUST NOT contain Android platform tokens. During 3.5 synthesis, strip every match from the trace's natural-language behavior text and replace with behavior-level Chinese vocabulary. The trace itself may use these tokens (they live in `file:line` anchors and code-layer notes); only the **final spec** must be platform-token-free.
-
-## Strip list (by category)
-
-### Components
-`Activity`, `Fragment`, `Composable`, `Service`, `ForegroundService`, `BroadcastReceiver`, `ContentProvider`, `Application`, `Worker`, `IntentService`, `JobIntentService`, `JobScheduler`
-
-### IPC / data carriers
-`Intent`, `PendingIntent`, `Bundle`, `Parcelable`, `Messenger`, `AIDL`, `Binder`, `IBinder`
-
-### State / architecture
-`ViewModel`, `LiveData`, `MutableLiveData`, `StateFlow`, `SharedFlow`, `Flow` (when meaning Kotlin Flow), `mutableStateOf`, `ViewBinding`, `DataBinding`, `Repository`, `UseCase`, `Presenter`
-
-### Persistence
-`Room`, `RoomDatabase`, `DAO`, `@Entity`, `DataStore`, `Preferences DataStore`, `Proto DataStore`, `SharedPreferences`, `MMKV`, `SQLiteOpenHelper`, `ContentResolver`
-
-### Lifecycle
-`onCreate`, `onStart`, `onResume`, `onPause`, `onStop`, `onDestroy`, `Lifecycle`, `LifecycleOwner`, `ProcessLifecycleOwner`, `viewLifecycleOwner`, `lifecycleScope`
-
-### UI containers / widgets
-`RecyclerView`, `Adapter`, `ViewHolder`, `ConstraintLayout`, `LinearLayout`, `FrameLayout`, `RelativeLayout`, `ScrollView`, `ListView`, `Spinner`, `ViewPager`, `TabLayout`
-
-### UI feedback
-`Toast`, `Snackbar`, `Dialog`, `AlertDialog`, `BottomSheetDialog`, `ProgressDialog`, `FloatingActionButton`
-
-### Navigation
-`NavController`, `NavGraph`, `NavHostFragment`, `Navigation Component`, `startActivity`, `startActivityForResult`
-
-### Resources / IDs
-`R.id.*`, `R.layout.*`, `R.string.*`, `R.drawable.*`, `R.color.*`, `R.dimen.*`, `R.menu.*`, `R.xml.*`, `R.array.*`, `R.style.*`, `@+id/...`, `@string/...`, `@drawable/...`, `@color/...`
-
-### Coroutines / threading
-`Coroutine`, `suspend`, `CoroutineScope`, `Job`, `viewModelScope`, `withContext`, `Dispatchers.*`, `async`, `await`, `launch`, `Handler`, `Looper`, `HandlerThread`, `AsyncTask`, `Executor`
-
-### Compose (lifecycle / state)
-`@Composable`, `remember`, `derivedStateOf`, `rememberSaveable`, `MutableState`, `LaunchedEffect`, `DisposableEffect`, `SideEffect`, `CompositionLocal`, `produceState`
-
-### Compose Shape
-`CircleShape`, `RoundedCornerShape`, `RectangleShape`, `CutCornerShape`
-
-### Compose Animation
-`LinearEasing`, `FastOutSlowInEasing`, `EaseInOut`, `EaseOut`, `tween`, `spring`, `keyframes`, `infiniteRepeatable`, `animateXxxAsState`, `Animatable`, `AnimationSpec`
-
-### Compose Layout / Modifier
-`ContentScale` (Fit / Crop / FillBounds / Inside / None), `Alignment`, `Arrangement`, `Modifier.clip`, `Modifier.background`, `Modifier.size`, `Modifier.padding`, `Modifier.fillMaxSize`, `Modifier.wrapContentSize`, `Modifier.aspectRatio`, `Modifier.weight`
-
-### Build / Manifest
-`AndroidManifest`, `build.gradle`, `gradle`, `BuildConfig`, `applicationId`, `versionCode`, `minSdkVersion`, `targetSdkVersion`, `compileSdkVersion`, `ProGuard`, `R8`
-
-### DI
-`Hilt`, `Dagger`, `@Inject`, `@Module`, `@Provides`, `@Singleton`, `Koin`, `ServiceLocator`
-
-### System services / media
-`ContextCompat`, `getSystemService`, `NotificationManager`, `NotificationChannel`, `AlarmManager`, `PowerManager`, `ConnectivityManager`, `AudioManager`, `MediaSession`, `MediaPlayer`, `ExoPlayer`, `MediaBrowserServiceCompat`
-
-### Implementation constants (NEVER appear in spec)
-
-- **Hardcoded dimensions** (`8dp`, `48.dp`, `16.sp`, `2.dp`) — strip entirely. Spec describes shape/size semantically: "圆形" / "小圆点" / "歌词字号比正文略大". 不要保留单位 ("8 dp" 也不行).
-- **Hardcoded durations** (`25000ms`, `300L`, `Duration.seconds(2)`) — restate as semantic time: "约 25 秒一圈" / "短暂淡入". 不要写原始数值.
-- **Persistence key literals** (`circle_playback_cover`, `karaoke_mode_compat`, `floating_lyric_enabled`) — NEVER. Describe the user-visible setting, not the storage key.
-
-## Critical: Chinese translations of platform concepts are ALSO forbidden
-
-The strip list above uses English API names. But platform concepts translated into Chinese (e.g. `活动基类` for Activity / `主活动页面` for MainActivity / `媒体会话信息` for MediaSession / `短边模式` for DISPLAY_CUTOUT_MODE / `广播接收器` for BroadcastReceiver / `视图模型` for ViewModel) are STILL platform tokens — restate them in user-facing behavior language per the replacement vocabulary below. Translating a platform concept does NOT make it user-facing.
-
-## Replacement vocabulary (behavior-level Chinese)
-
-| Stripped token | Spec vocabulary |
-|---|---|
-| Activity / Fragment / Composable | 页面 |
-| Dialog / AlertDialog / BottomSheet | 弹窗 / 对话框 |
-| Toast / Snackbar | toast 提示 / 浮动提示 |
-| ViewModel / LiveData / StateFlow / mutableStateOf | 状态 / 状态写入 / 状态刷新 |
-| Room / DAO / DataStore / SharedPreferences / MMKV | 持久化 / 数据库 / 配置存储 |
-| RecyclerView + Adapter / ListView | 列表 / 列表项 |
-| onClick / onLongClick / onTap | 点击 / 长按 |
-| Intent / startActivity / Navigation | 跳转 / 进入<目标页> |
-| BroadcastReceiver / sendBroadcast | 系统事件监听 / 广播 |
-| Service / ForegroundService | 后台服务 / 前台服务 |
-| Coroutine / launch / withContext | 异步 / 异步执行 |
-| MediaPlayer / ExoPlayer / MediaSession | 播放器 / 播放控制 |
-| Notification / NotificationManager / NotificationChannel | 通知 / 通知栏 / 通知分组 |
-| ContentResolver / ContentProvider | 数据访问 / 数据共享 |
-| build.gradle flag / BuildConfig | 编译开关 / 配置项 |
-| ConnectivityManager | 网络状态 / 网络可达性 |
-| AudioManager / audio focus | 音频焦点 / 音频通道 |
-| PowerManager / WakeLock | 屏幕唤醒 / 锁屏唤醒 |
-| CircleShape / RoundedCornerShape / RectangleShape / CutCornerShape | 圆形 / 圆角矩形 / 矩形 / 切角矩形 |
-| LinearEasing / FastOutSlowInEasing / EaseInOut / EaseOut | 线性 / 减速 / 缓入缓出 / 减速出 |
-| tween / spring / keyframes / infiniteRepeatable / Animatable | 持续N秒动画 / 弹性动画 / 关键帧动画 / 循环动画 / 动画对象 |
-| ContentScale.Fit / Crop / FillBounds / Inside / None | 等比缩放适配 / 裁剪填充 / 拉伸填充 / 等比居中 / 不缩放 |
-| Modifier.clip / .size / .padding / .fillMaxSize / .aspectRatio | 裁剪为X形 / 设定尺寸 / 内边距 / 填满父容器 / 宽高比 |
-| Modifier.wrapContentSize / .weight / .background | 内容自适应 / 权重占比 / 背景 |
-| animateXxxAsState | 动画过渡到目标值 |
-
-## Items to keep verbatim (do NOT strip)
-
-- **Business entity names** (歌单, 歌曲, 专辑, 艺术家, 播放页, ...) — these are domain language, not platform tokens.
-- **User-visible resource string content** (toast text, button labels, error messages) — translate the displayed content into the spec; strip the `R.string.xxx` reference but keep the message text.
-- **Standard permission semantics** — describe permissions in user language ("录音权限", "通知权限", "存储访问权限"), NOT by code constant (`RECORD_AUDIO`, `POST_NOTIFICATIONS`, ...).
-- **Persistence key literals** are usually internal — do NOT surface them in the spec unless they appear in user-visible UI (rare). If a key appears in the trace's `interaction` field, describe its behavior, not its name.
+# Android Platform Tokens — Strip List
+
+**Read when**: 3.5 Synthesize, for the platform-token strip list (Principle 6).
+
+The spec MUST NOT contain Android platform tokens. During 3.5 synthesis, strip every match from the trace's natural-language behavior text and replace with behavior-level Chinese vocabulary. The trace itself may use these tokens (they live in `file:line` anchors and code-layer notes); only the **final spec** must be platform-token-free.
+
+## Strip list (by category)
+
+### Components
+`Activity`, `Fragment`, `Composable`, `Service`, `ForegroundService`, `BroadcastReceiver`, `ContentProvider`, `Application`, `Worker`, `IntentService`, `JobIntentService`, `JobScheduler`
+
+### IPC / data carriers
+`Intent`, `PendingIntent`, `Bundle`, `Parcelable`, `Messenger`, `AIDL`, `Binder`, `IBinder`
+
+### State / architecture
+`ViewModel`, `LiveData`, `MutableLiveData`, `StateFlow`, `SharedFlow`, `Flow` (when meaning Kotlin Flow), `mutableStateOf`, `ViewBinding`, `DataBinding`, `Repository`, `UseCase`, `Presenter`
+
+### Persistence
+`Room`, `RoomDatabase`, `DAO`, `@Entity`, `DataStore`, `Preferences DataStore`, `Proto DataStore`, `SharedPreferences`, `MMKV`, `SQLiteOpenHelper`, `ContentResolver`
+
+### Lifecycle
+`onCreate`, `onStart`, `onResume`, `onPause`, `onStop`, `onDestroy`, `Lifecycle`, `LifecycleOwner`, `ProcessLifecycleOwner`, `viewLifecycleOwner`, `lifecycleScope`
+
+### UI containers / widgets
+`RecyclerView`, `Adapter`, `ViewHolder`, `ConstraintLayout`, `LinearLayout`, `FrameLayout`, `RelativeLayout`, `ScrollView`, `ListView`, `Spinner`, `ViewPager`, `TabLayout`
+
+### UI feedback
+`Toast`, `Snackbar`, `Dialog`, `AlertDialog`, `BottomSheetDialog`, `ProgressDialog`, `FloatingActionButton`
+
+### Navigation
+`NavController`, `NavGraph`, `NavHostFragment`, `Navigation Component`, `startActivity`, `startActivityForResult`
+
+### Resources / IDs
+`R.id.*`, `R.layout.*`, `R.string.*`, `R.drawable.*`, `R.color.*`, `R.dimen.*`, `R.menu.*`, `R.xml.*`, `R.array.*`, `R.style.*`, `@+id/...`, `@string/...`, `@drawable/...`, `@color/...`
+
+### Coroutines / threading
+`Coroutine`, `suspend`, `CoroutineScope`, `Job`, `viewModelScope`, `withContext`, `Dispatchers.*`, `async`, `await`, `launch`, `Handler`, `Looper`, `HandlerThread`, `AsyncTask`, `Executor`
+
+### Compose (lifecycle / state)
+`@Composable`, `remember`, `derivedStateOf`, `rememberSaveable`, `MutableState`, `LaunchedEffect`, `DisposableEffect`, `SideEffect`, `CompositionLocal`, `produceState`
+
+### Compose Shape
+`CircleShape`, `RoundedCornerShape`, `RectangleShape`, `CutCornerShape`
+
+### Compose Animation
+`LinearEasing`, `FastOutSlowInEasing`, `EaseInOut`, `EaseOut`, `tween`, `spring`, `keyframes`, `infiniteRepeatable`, `animateXxxAsState`, `Animatable`, `AnimationSpec`
+
+### Compose Layout / Modifier
+`ContentScale` (Fit / Crop / FillBounds / Inside / None), `Alignment`, `Arrangement`, `Modifier.clip`, `Modifier.background`, `Modifier.size`, `Modifier.padding`, `Modifier.fillMaxSize`, `Modifier.wrapContentSize`, `Modifier.aspectRatio`, `Modifier.weight`
+
+### Build / Manifest
+`AndroidManifest`, `build.gradle`, `gradle`, `BuildConfig`, `applicationId`, `versionCode`, `minSdkVersion`, `targetSdkVersion`, `compileSdkVersion`, `ProGuard`, `R8`
+
+### DI
+`Hilt`, `Dagger`, `@Inject`, `@Module`, `@Provides`, `@Singleton`, `Koin`, `ServiceLocator`
+
+### System services / media
+`ContextCompat`, `getSystemService`, `NotificationManager`, `NotificationChannel`, `AlarmManager`, `PowerManager`, `ConnectivityManager`, `AudioManager`, `MediaSession`, `MediaPlayer`, `ExoPlayer`, `MediaBrowserServiceCompat`
+
+### Implementation constants (NEVER appear in spec)
+
+- **Hardcoded dimensions** (`8dp`, `48.dp`, `16.sp`, `2.dp`) — strip entirely. Spec describes shape/size semantically: "圆形" / "小圆点" / "歌词字号比正文略大". 不要保留单位 ("8 dp" 也不行).
+- **Hardcoded durations** (`25000ms`, `300L`, `Duration.seconds(2)`) — restate as semantic time: "约 25 秒一圈" / "短暂淡入". 不要写原始数值.
+- **Persistence key literals** (`circle_playback_cover`, `karaoke_mode_compat`, `floating_lyric_enabled`) — NEVER. Describe the user-visible setting, not the storage key.
+
+## Critical: Chinese translations of platform concepts are ALSO forbidden
+
+The strip list above uses English API names. But platform concepts translated into Chinese (e.g. `活动基类` for Activity / `主活动页面` for MainActivity / `媒体会话信息` for MediaSession / `短边模式` for DISPLAY_CUTOUT_MODE / `广播接收器` for BroadcastReceiver / `视图模型` for ViewModel) are STILL platform tokens — restate them in user-facing behavior language per the replacement vocabulary below. Translating a platform concept does NOT make it user-facing.
+
+## Replacement vocabulary (behavior-level Chinese)
+
+| Stripped token | Spec vocabulary |
+|---|---|
+| Activity / Fragment / Composable | 页面 |
+| Dialog / AlertDialog / BottomSheet | 弹窗 / 对话框 |
+| Toast / Snackbar | toast 提示 / 浮动提示 |
+| ViewModel / LiveData / StateFlow / mutableStateOf | 状态 / 状态写入 / 状态刷新 |
+| Room / DAO / DataStore / SharedPreferences / MMKV | 持久化 / 数据库 / 配置存储 |
+| RecyclerView + Adapter / ListView | 列表 / 列表项 |
+| onClick / onLongClick / onTap | 点击 / 长按 |
+| Intent / startActivity / Navigation | 跳转 / 进入<目标页> |
+| BroadcastReceiver / sendBroadcast | 系统事件监听 / 广播 |
+| Service / ForegroundService | 后台服务 / 前台服务 |
+| Coroutine / launch / withContext | 异步 / 异步执行 |
+| MediaPlayer / ExoPlayer / MediaSession | 播放器 / 播放控制 |
+| Notification / NotificationManager / NotificationChannel | 通知 / 通知栏 / 通知分组 |
+| ContentResolver / ContentProvider | 数据访问 / 数据共享 |
+| build.gradle flag / BuildConfig | 编译开关 / 配置项 |
+| ConnectivityManager | 网络状态 / 网络可达性 |
+| AudioManager / audio focus | 音频焦点 / 音频通道 |
+| PowerManager / WakeLock | 屏幕唤醒 / 锁屏唤醒 |
+| CircleShape / RoundedCornerShape / RectangleShape / CutCornerShape | 圆形 / 圆角矩形 / 矩形 / 切角矩形 |
+| LinearEasing / FastOutSlowInEasing / EaseInOut / EaseOut | 线性 / 减速 / 缓入缓出 / 减速出 |
+| tween / spring / keyframes / infiniteRepeatable / Animatable | 持续N秒动画 / 弹性动画 / 关键帧动画 / 循环动画 / 动画对象 |
+| ContentScale.Fit / Crop / FillBounds / Inside / None | 等比缩放适配 / 裁剪填充 / 拉伸填充 / 等比居中 / 不缩放 |
+| Modifier.clip / .size / .padding / .fillMaxSize / .aspectRatio | 裁剪为X形 / 设定尺寸 / 内边距 / 填满父容器 / 宽高比 |
+| Modifier.wrapContentSize / .weight / .background | 内容自适应 / 权重占比 / 背景 |
+| animateXxxAsState | 动画过渡到目标值 |
+
+## Items to keep verbatim (do NOT strip)
+
+- **Business entity names** (歌单, 歌曲, 专辑, 艺术家, 播放页, ...) — these are domain language, not platform tokens.
+- **User-visible resource string content** (toast text, button labels, error messages) — translate the displayed content into the spec; strip the `R.string.xxx` reference but keep the message text.
+- **Standard permission semantics** — describe permissions in user language ("录音权限", "通知权限", "存储访问权限"), NOT by code constant (`RECORD_AUDIO`, `POST_NOTIFICATIONS`, ...).
+- **Persistence key literals** are usually internal — do NOT surface them in the spec unless they appear in user-visible UI (rare). If a key appears in the trace's `interaction` field, describe its behavior, not its name.

package/skills/hmos-spec-generate/references/spec-sample-1.md

@@ -1,78 +1,78 @@
-# Spec Sample 1 — Boundary-and-happy-path Decomposition
-
-**Style focus**: how to slice one feature into `empty / over-length / valid / cancel` atomic scenarios on a single-entry trigger flow. Mimic the voice, scenario granularity, and structure — NOT the vocabulary or domain.
-
-**Read when**: 3.5 Synthesize.
-
----
-
-# 新建歌单SPEC
-
-创建新歌单
-
-## 场景一
-
-### 场景概述
-
-用户点击创建歌单，但输入的歌单名称为空并且创建歌单
-
-### 场景逻辑步骤
-
-- 1. 用户在"歌单页面"点击"更多菜单"中的"新建歌单按钮"或者用户在"添加到歌单弹窗"中点击"新建歌单按钮"
-- 2. 弹出"新建歌单对话框"
-- 3. 用户在输入框中输入空白歌单名称并点击确定按钮
-- 4. 弹出toast"歌单名称不得为空"并且关闭"新建歌单对话框"
-
-## 场景二
-
-### 场景概述
-
-用户点击创建歌单，但输入的歌单名称超过最大长度并且创建歌单
-
-### 场景逻辑步骤
-
-- 1. 用户在"歌单页面"点击"更多菜单"中的"新建歌单按钮"或者用户在"添加到歌单弹窗"中点击"新建歌单按钮"
-- 2. 弹出"新建歌单对话框"
-- 3. 用户在输入框中输入歌单名称并且歌单名称超过100个字符，然后点击确定按钮
-- 4. 弹出toast"歌单名称过长"并且关闭"新建歌单对话框"
-
-## 场景三
-
-### 场景概述
-
-用户点击创建歌单，输入有效歌单名称并且创建歌单
-
-### 场景逻辑步骤
-
-- 1. 用户在"歌单页面"点击"更多菜单"中的"新建歌单按钮"或者用户在"添加到歌单弹窗"中点击"新建歌单按钮"
-- 2. 弹出"新建歌单对话框"
-- 3. 用户在输入框中输入有效歌单名称，即用户输入到歌单名称不为空并且歌单名称没有超过100个字符，然后点击确定按钮
-- 4. 去除歌单名称首尾空白字符
-- 5. 把新建的歌单数据写入数据库中的歌单数据库表
-- 6. 如果是在"歌单页面"，那么从数据库中读取新建歌单的数据，并且在"歌单页面"创建新建歌单item，实时刷新歌单页面，在歌单页面列表中的第一个位置上显示新建的歌单
-- 7. 如果是在"添加到歌单弹窗"，那么从数据库中读取新建歌单的数据，并且在"添加到歌单弹窗"创建新建歌单item，实时刷新歌单页面，在添加到歌单弹窗列表中的第一个位置上显示新建的歌单
-
-> [偏差] 需求要求歌单名为空时禁用"确定"按钮，但实际代码允许点击后弹出 toast 提示（参见场景一步骤 4）。
-
-## 场景四
-
-### 场景概述
-
-用户点击创建歌单，输入或者不输入歌单名称，然后点击取消按钮
-
-### 场景逻辑步骤
-
-- 1. 用户在"歌单页面"点击"更多菜单"中的"新建歌单按钮"或者用户在"添加到歌单弹窗"中点击"新建歌单按钮"
-- 2. 弹出"新建歌单对话框"
-- 3. 无论用户是否在输入框中输入歌单名称，只要用户点击取消按钮，那么就关闭"新建歌单对话框"，无需执行其他操作
-
-## 场景五
-
-### 场景概述
-
-"新建歌单"功能的作用范围与不作用范围
-
-### 场景逻辑步骤
-
-- 1. **仅作用于** 以下入口: "歌单页面"的"更多菜单 - 新建歌单"按钮; "添加到歌单弹窗"的"新建歌单"按钮
-- 2. **不作用于** 以下位置: "歌单详情页"(无新建入口) / "播放页" / "首页推荐区域" / "搜索结果页" / "我的页面" — 这些位置既不显示新建歌单入口, 也不响应新建歌单事件
+# Spec Sample 1 — Boundary-and-happy-path Decomposition
+
+**Style focus**: how to slice one feature into `empty / over-length / valid / cancel` atomic scenarios on a single-entry trigger flow. Mimic the voice, scenario granularity, and structure — NOT the vocabulary or domain.
+
+**Read when**: 3.5 Synthesize.
+
+---
+
+# 新建歌单SPEC
+
+创建新歌单
+
+## 场景一
+
+### 场景概述
+
+用户点击创建歌单，但输入的歌单名称为空并且创建歌单
+
+### 场景逻辑步骤
+
+- 1. 用户在"歌单页面"点击"更多菜单"中的"新建歌单按钮"或者用户在"添加到歌单弹窗"中点击"新建歌单按钮"
+- 2. 弹出"新建歌单对话框"
+- 3. 用户在输入框中输入空白歌单名称并点击确定按钮
+- 4. 弹出toast"歌单名称不得为空"并且关闭"新建歌单对话框"
+
+## 场景二
+
+### 场景概述
+
+用户点击创建歌单，但输入的歌单名称超过最大长度并且创建歌单
+
+### 场景逻辑步骤
+
+- 1. 用户在"歌单页面"点击"更多菜单"中的"新建歌单按钮"或者用户在"添加到歌单弹窗"中点击"新建歌单按钮"
+- 2. 弹出"新建歌单对话框"
+- 3. 用户在输入框中输入歌单名称并且歌单名称超过100个字符，然后点击确定按钮
+- 4. 弹出toast"歌单名称过长"并且关闭"新建歌单对话框"
+
+## 场景三
+
+### 场景概述
+
+用户点击创建歌单，输入有效歌单名称并且创建歌单
+
+### 场景逻辑步骤
+
+- 1. 用户在"歌单页面"点击"更多菜单"中的"新建歌单按钮"或者用户在"添加到歌单弹窗"中点击"新建歌单按钮"
+- 2. 弹出"新建歌单对话框"
+- 3. 用户在输入框中输入有效歌单名称，即用户输入到歌单名称不为空并且歌单名称没有超过100个字符，然后点击确定按钮
+- 4. 去除歌单名称首尾空白字符
+- 5. 把新建的歌单数据写入数据库中的歌单数据库表
+- 6. 如果是在"歌单页面"，那么从数据库中读取新建歌单的数据，并且在"歌单页面"创建新建歌单item，实时刷新歌单页面，在歌单页面列表中的第一个位置上显示新建的歌单
+- 7. 如果是在"添加到歌单弹窗"，那么从数据库中读取新建歌单的数据，并且在"添加到歌单弹窗"创建新建歌单item，实时刷新歌单页面，在添加到歌单弹窗列表中的第一个位置上显示新建的歌单
+
+> [偏差] 需求要求歌单名为空时禁用"确定"按钮，但实际代码允许点击后弹出 toast 提示（参见场景一步骤 4）。
+
+## 场景四
+
+### 场景概述
+
+用户点击创建歌单，输入或者不输入歌单名称，然后点击取消按钮
+
+### 场景逻辑步骤
+
+- 1. 用户在"歌单页面"点击"更多菜单"中的"新建歌单按钮"或者用户在"添加到歌单弹窗"中点击"新建歌单按钮"
+- 2. 弹出"新建歌单对话框"
+- 3. 无论用户是否在输入框中输入歌单名称，只要用户点击取消按钮，那么就关闭"新建歌单对话框"，无需执行其他操作
+
+## 场景五
+
+### 场景概述
+
+"新建歌单"功能的作用范围与不作用范围
+
+### 场景逻辑步骤
+
+- 1. **仅作用于** 以下入口: "歌单页面"的"更多菜单 - 新建歌单"按钮; "添加到歌单弹窗"的"新建歌单"按钮
+- 2. **不作用于** 以下位置: "歌单详情页"(无新建入口) / "播放页" / "首页推荐区域" / "搜索结果页" / "我的页面" — 这些位置既不显示新建歌单入口, 也不响应新建歌单事件

package/skills/hmos-spec-generate/references/spec-sample-2.md

@@ -1,58 +1,58 @@
-# Spec Sample 2 — Nested Sub-bullet Decomposition
-
-**Style focus**: how to express per-field present/absent fallback rules as nested sub-bullets within a single scenario's flow. Mimic the structure, NOT the vocabulary or domain.
-
-**Read when**: 3.5 Synthesize.
-
----
-
-# 歌曲信息页信息展示与信息更新SPEC
-
-歌曲信息页展示音频信息、出自专辑、参与创作的艺术家，以及播放界面保持屏幕唤醒、沉浸模式内容。
-
-## 场景一
-
-### 场景概述
-
-进入歌曲信息页后，展示当前播放歌曲的信息及相关功能入口
-
-### 场景逻辑步骤
-
-- 1. 在播放页右滑进入歌曲信息页
-- 2. 歌曲信息页读取信息并展示：
-  - 2.1 音频信息展示：
-    - 当当前播放歌曲的音频格式存在时，显示当前播放歌曲的音频格式
-    - 当当前播放歌曲的音频格式缺失时，显示当前播放歌曲的文件扩展名；若文件扩展名也为空，则显示为空白
-    - 当当前播放歌曲的声道数存在时，显示声道数
-    - 当当前播放歌曲的声道数缺失时，隐藏该字段
-    - 当当前播放歌曲的采样率存在时，显示采样率
-    - 当当前播放歌曲的采样率缺失时，隐藏该字段
-    - 当当前播放歌曲的比特率存在时，显示比特率
-    - 当当前播放歌曲的比特率缺失时，显示 0 Kbps
-  - 2.2 出自专辑展示：
-    - 当当前播放歌曲的专辑封面存在时，显示专辑封面
-    - 当当前播放歌曲的专辑封面缺失时，显示默认专辑封面图标
-    - 当当前播放歌曲的专辑标题存在时，显示专辑标题
-    - 当当前播放歌曲的专辑标题缺失时，显示"未知专辑标题"
-    - 当当前播放歌曲的专辑艺术家存在时，显示专辑艺术家
-    - 当当前播放歌曲的专辑艺术家缺失时，显示"未知专辑艺术家"
-  - 2.3 参与创作的艺术家展示：
-    - 当当前播放歌曲的艺术家头像存在时，显示艺术家头像
-    - 当当前播放歌曲的艺术家头像缺失时，显示默认歌曲封面图标
-    - 当当前播放歌曲的艺术家名称存在时，显示艺术家名称
-    - 当当前播放歌曲的艺术家名称缺失时，显示"未知艺术家"
-    - 当当前播放歌曲的艺术家音轨数量（歌曲数量）存在时，显示艺术家音轨数量（歌曲数量）
-    - 当当前播放歌曲的艺术家音轨数量（歌曲数量）缺失时，显示 0
-
-
-## 场景二
-
-### 场景概述
-
-切换播放歌曲后，歌曲信息页面同步刷新
-
-### 场景逻辑步骤
-
-- 1. 在播放页右滑进入歌曲信息页
-- 2. 用户通过上一首、下一首、播放队列切歌或自动切歌等方式切换当前播放歌曲
-- 3. 歌曲信息页中的音频信息、专辑信息、艺术家信息同步刷新为新歌曲对应内容
+# Spec Sample 2 — Nested Sub-bullet Decomposition
+
+**Style focus**: how to express per-field present/absent fallback rules as nested sub-bullets within a single scenario's flow. Mimic the structure, NOT the vocabulary or domain.
+
+**Read when**: 3.5 Synthesize.
+
+---
+
+# 歌曲信息页信息展示与信息更新SPEC
+
+歌曲信息页展示音频信息、出自专辑、参与创作的艺术家，以及播放界面保持屏幕唤醒、沉浸模式内容。
+
+## 场景一
+
+### 场景概述
+
+进入歌曲信息页后，展示当前播放歌曲的信息及相关功能入口
+
+### 场景逻辑步骤
+
+- 1. 在播放页右滑进入歌曲信息页
+- 2. 歌曲信息页读取信息并展示：
+  - 2.1 音频信息展示：
+    - 当当前播放歌曲的音频格式存在时，显示当前播放歌曲的音频格式
+    - 当当前播放歌曲的音频格式缺失时，显示当前播放歌曲的文件扩展名；若文件扩展名也为空，则显示为空白
+    - 当当前播放歌曲的声道数存在时，显示声道数
+    - 当当前播放歌曲的声道数缺失时，隐藏该字段
+    - 当当前播放歌曲的采样率存在时，显示采样率
+    - 当当前播放歌曲的采样率缺失时，隐藏该字段
+    - 当当前播放歌曲的比特率存在时，显示比特率
+    - 当当前播放歌曲的比特率缺失时，显示 0 Kbps
+  - 2.2 出自专辑展示：
+    - 当当前播放歌曲的专辑封面存在时，显示专辑封面
+    - 当当前播放歌曲的专辑封面缺失时，显示默认专辑封面图标
+    - 当当前播放歌曲的专辑标题存在时，显示专辑标题
+    - 当当前播放歌曲的专辑标题缺失时，显示"未知专辑标题"
+    - 当当前播放歌曲的专辑艺术家存在时，显示专辑艺术家
+    - 当当前播放歌曲的专辑艺术家缺失时，显示"未知专辑艺术家"
+  - 2.3 参与创作的艺术家展示：
+    - 当当前播放歌曲的艺术家头像存在时，显示艺术家头像
+    - 当当前播放歌曲的艺术家头像缺失时，显示默认歌曲封面图标
+    - 当当前播放歌曲的艺术家名称存在时，显示艺术家名称
+    - 当当前播放歌曲的艺术家名称缺失时，显示"未知艺术家"
+    - 当当前播放歌曲的艺术家音轨数量（歌曲数量）存在时，显示艺术家音轨数量（歌曲数量）
+    - 当当前播放歌曲的艺术家音轨数量（歌曲数量）缺失时，显示 0
+
+
+## 场景二
+
+### 场景概述
+
+切换播放歌曲后，歌曲信息页面同步刷新
+
+### 场景逻辑步骤
+
+- 1. 在播放页右滑进入歌曲信息页
+- 2. 用户通过上一首、下一首、播放队列切歌或自动切歌等方式切换当前播放歌曲
+- 3. 歌曲信息页中的音频信息、专辑信息、艺术家信息同步刷新为新歌曲对应内容