@buaa_smat/hometrans 0.1.12 → 0.1.14

package/skills/hmos-fix-build-errors/references/known-patterns.md

@@ -1,157 +1,157 @@
-# Known Compile Error Patterns
-
-> **This file is auto-maintained by `a2h-retrospect`.**
-> Manual edits are allowed but may be overwritten when retrospect detects updated patterns.
-> Last updated: 2026-03-27
-
----
-
-## Pattern Index
-
-| # | Error Code / Type | Frequency | Short Description |
-|---|-------------------|-----------|-------------------|
-| 1 | arkts-identifiers-as-prop-names | 85 | ValuesBucket computed property name |
-| 2 | type mismatch (EventData) | 16 | EventData double type cast |
-| 3 | arkts-no-untyped-obj-literals | 9 | Untyped object literal |
-| 4 | type mismatch (promptAction) | 8 | promptAction button color type |
-| 5 | type error (@Prop) | 3 | @Prop naming conflict |
-
----
-
-## 1. ValuesBucket Computed Property Name
-
-- **Date**: 2026-03-27
-- **Error code**: `arkts-identifiers-as-prop-names`
-- **Frequency**: 85 occurrences
-- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
-
-**Error code**:
-```typescript
-const bucket: ValuesBucket = {
-  [ColumnName.TITLE]: title,   // ERROR: computed property name not allowed
-  [ColumnName.URL]: url,
-};
-```
-
-**Correct code**:
-```typescript
-const bucket: ValuesBucket = {};
-bucket[ColumnName.TITLE] = title;
-bucket[ColumnName.URL] = url;
-```
-
-**Rule**: ArkTS forbids computed property names (`[expr]: value`) in object literals. Build the object first, then assign properties via bracket notation.
-
----
-
-## 2. EventData Double Type Cast
-
-- **Date**: 2026-03-27
-- **Error code**: type mismatch
-- **Frequency**: 16 occurrences
-- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
-
-**Error code**:
-```typescript
-emitter.on({ eventId: 1 }, (data: emitter.EventData) => {
-  const value = data.data?.['key'] as string;  // ERROR: data.data is optional Record, direct cast fails
-});
-```
-
-**Correct code**:
-```typescript
-emitter.on({ eventId: 1 }, (data: emitter.EventData) => {
-  const raw = data.data as Record<string, Object>;
-  const value = raw['key'] as string;
-});
-```
-
-**Rule**: `EventData.data` is typed `Record<string, Object> | undefined`. Access requires two steps: (1) cast to `Record<string, Object>`, (2) cast the extracted value to the target type.
-
----
-
-## 3. Untyped Object Literal
-
-- **Date**: 2026-03-27
-- **Error code**: `arkts-no-untyped-obj-literals`
-- **Frequency**: 9 occurrences
-- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
-
-**Error code**:
-```typescript
-const options = {
-  title: 'Hello',
-  message: 'World',
-};  // ERROR: object literal without explicit type annotation
-```
-
-**Correct code**:
-```typescript
-interface DialogOptions {
-  title: string;
-  message: string;
-}
-const options: DialogOptions = {
-  title: 'Hello',
-  message: 'World',
-};
-```
-
-**Rule**: ArkTS requires all object literals to have an explicit type. Define an `interface` or `class` and annotate the variable.
-
----
-
-## 4. promptAction Button Color Type
-
-- **Date**: 2026-03-27
-- **Error code**: type mismatch
-- **Frequency**: 8 occurrences
-- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
-
-**Error code**:
-```typescript
-promptAction.showDialog({
-  buttons: [
-    { text: 'OK', color: '#ff0000' }   // ERROR: color expects ResourceColor, not string
-  ]
-});
-```
-
-**Correct code**:
-```typescript
-promptAction.showDialog({
-  buttons: [
-    { text: 'OK', color: Color.Red }
-  ]
-});
-// Or use $r('app.color.xxx') for resource reference
-```
-
-**Rule**: `promptAction.showDialog` button `color` property expects `ResourceColor` type (Color enum or `$r()` resource reference), not a raw hex string.
-
----
-
-## 5. @Prop Naming Conflict
-
-- **Date**: 2026-03-27
-- **Error code**: type error
-- **Frequency**: 3 occurrences
-- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
-
-**Error code**:
-```typescript
-@Component
-struct MyComponent {
-  @Prop title: string = '';   // ERROR: 'title' conflicts with built-in component property
-}
-```
-
-**Correct code**:
-```typescript
-@Component
-struct MyComponent {
-  @Prop itemTitle: string = '';   // Renamed to avoid conflict
-}
-```
-
-**Rule**: Certain property names (`title`, `content`, `action`, etc.) conflict with built-in component attributes. Prefix with a domain-specific qualifier (e.g., `itemTitle`, `feedTitle`).
+# Known Compile Error Patterns
+
+> **This file is auto-maintained by `a2h-retrospect`.**
+> Manual edits are allowed but may be overwritten when retrospect detects updated patterns.
+> Last updated: 2026-03-27
+
+---
+
+## Pattern Index
+
+| # | Error Code / Type | Frequency | Short Description |
+|---|-------------------|-----------|-------------------|
+| 1 | arkts-identifiers-as-prop-names | 85 | ValuesBucket computed property name |
+| 2 | type mismatch (EventData) | 16 | EventData double type cast |
+| 3 | arkts-no-untyped-obj-literals | 9 | Untyped object literal |
+| 4 | type mismatch (promptAction) | 8 | promptAction button color type |
+| 5 | type error (@Prop) | 3 | @Prop naming conflict |
+
+---
+
+## 1. ValuesBucket Computed Property Name
+
+- **Date**: 2026-03-27
+- **Error code**: `arkts-identifiers-as-prop-names`
+- **Frequency**: 85 occurrences
+- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
+
+**Error code**:
+```typescript
+const bucket: ValuesBucket = {
+  [ColumnName.TITLE]: title,   // ERROR: computed property name not allowed
+  [ColumnName.URL]: url,
+};
+```
+
+**Correct code**:
+```typescript
+const bucket: ValuesBucket = {};
+bucket[ColumnName.TITLE] = title;
+bucket[ColumnName.URL] = url;
+```
+
+**Rule**: ArkTS forbids computed property names (`[expr]: value`) in object literals. Build the object first, then assign properties via bracket notation.
+
+---
+
+## 2. EventData Double Type Cast
+
+- **Date**: 2026-03-27
+- **Error code**: type mismatch
+- **Frequency**: 16 occurrences
+- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
+
+**Error code**:
+```typescript
+emitter.on({ eventId: 1 }, (data: emitter.EventData) => {
+  const value = data.data?.['key'] as string;  // ERROR: data.data is optional Record, direct cast fails
+});
+```
+
+**Correct code**:
+```typescript
+emitter.on({ eventId: 1 }, (data: emitter.EventData) => {
+  const raw = data.data as Record<string, Object>;
+  const value = raw['key'] as string;
+});
+```
+
+**Rule**: `EventData.data` is typed `Record<string, Object> | undefined`. Access requires two steps: (1) cast to `Record<string, Object>`, (2) cast the extracted value to the target type.
+
+---
+
+## 3. Untyped Object Literal
+
+- **Date**: 2026-03-27
+- **Error code**: `arkts-no-untyped-obj-literals`
+- **Frequency**: 9 occurrences
+- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
+
+**Error code**:
+```typescript
+const options = {
+  title: 'Hello',
+  message: 'World',
+};  // ERROR: object literal without explicit type annotation
+```
+
+**Correct code**:
+```typescript
+interface DialogOptions {
+  title: string;
+  message: string;
+}
+const options: DialogOptions = {
+  title: 'Hello',
+  message: 'World',
+};
+```
+
+**Rule**: ArkTS requires all object literals to have an explicit type. Define an `interface` or `class` and annotate the variable.
+
+---
+
+## 4. promptAction Button Color Type
+
+- **Date**: 2026-03-27
+- **Error code**: type mismatch
+- **Frequency**: 8 occurrences
+- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
+
+**Error code**:
+```typescript
+promptAction.showDialog({
+  buttons: [
+    { text: 'OK', color: '#ff0000' }   // ERROR: color expects ResourceColor, not string
+  ]
+});
+```
+
+**Correct code**:
+```typescript
+promptAction.showDialog({
+  buttons: [
+    { text: 'OK', color: Color.Red }
+  ]
+});
+// Or use $r('app.color.xxx') for resource reference
+```
+
+**Rule**: `promptAction.showDialog` button `color` property expects `ResourceColor` type (Color enum or `$r()` resource reference), not a raw hex string.
+
+---
+
+## 5. @Prop Naming Conflict
+
+- **Date**: 2026-03-27
+- **Error code**: type error
+- **Frequency**: 3 occurrences
+- **Source**: AntennaPod V1 migration (a2h-retrospect-report-2026-03-27)
+
+**Error code**:
+```typescript
+@Component
+struct MyComponent {
+  @Prop title: string = '';   // ERROR: 'title' conflicts with built-in component property
+}
+```
+
+**Correct code**:
+```typescript
+@Component
+struct MyComponent {
+  @Prop itemTitle: string = '';   // Renamed to avoid conflict
+}
+```
+
+**Rule**: Certain property names (`title`, `content`, `action`, etc.) conflict with built-in component attributes. Prefix with a domain-specific qualifier (e.g., `itemTitle`, `feedTitle`).

package/skills/hmos-fix-build-errors/references/rdb-entity-pattern.md

@@ -1,131 +1,131 @@
-# RDB Entity 确定性修复 Pattern
-# 适用于: ArkTS 严格模式 + @kit.ArkData relationalStore
-# 触发场景: 迁移 Android RDB 实体类到 ArkTS 时
-# 经验来源: EinkBro 迁移 (2026-03-26)
-
----
-
-## Pattern 1: ValuesBucket 正确用法
-
-### 错误写法 (编译报错)
-```typescript
-import { relationalStore, ValuesBucket } from '@kit.ArkData';
-
-toValuesBucket(): ValuesBucket {
-  const bucket = new ValuesBucket();  // ERROR: 'ValuesBucket' only refers to a type
-  bucket.put('key', value);           // ERROR: ValuesBucket has no .put() method
-  return bucket;
-}
-```
-
-### 正确写法
-```typescript
-type EntityValuesBucket = Record<string, number | string | boolean | Uint8Array | null>;
-
-toValuesBucket(): EntityValuesBucket {
-  const bucket: EntityValuesBucket = {};
-  bucket['key'] = value;
-  return bucket;
-}
-```
-
-**原因**: `ValuesBucket` 在 SDK 中是 type alias (`Record<string, ValueType>`)，不是可实例化的类。
-
----
-
-## Pattern 2: fromResultSet 参数类型 (禁止 any)
-
-### 错误写法 (编译报错)
-```typescript
-// ArkTS 严格模式禁止 any
-static fromResultSet(resultSet: any): EntityName {  // ERROR: arkts-no-any-unknown
-```
-
-### 正确写法
-```typescript
-static fromResultSet(resultSet: Object): EntityName {
-  const rs = resultSet as Record<string, Object>;
-  const colIndex = (name: string): number =>
-    (rs['getColumnIndex'] as Function)(name) as number;
-
-  entity.field = (rs['getLong'] as Function)(colIndex('field_name')) as number;
-  entity.name  = (rs['getString'] as Function)(colIndex('name')) as string;
-  return entity;
-}
-```
-
-**替代方案** (更简洁但运行时开销略高):
-```typescript
-// 使用类型断言避免 any，运行时通过 Record<string, Function> 调用
-static fromResultSet(resultSet: Object): EntityName {
-  const getCol = (name: string): number =>
-    (resultSet as Record<string, Function>)['getColumnIndex'](name) as number;
-  const getLong = (name: string): number =>
-    (resultSet as Record<string, Function>)['getLong'](getCol(name)) as number;
-  const getStr = (name: string): string =>
-    (resultSet as Record<string, Function>)['getString'](getCol(name)) as string;
-
-  const entity = new EntityName();
-  entity.id   = getLong('id');
-  entity.name = getStr('name');
-  return entity;
-}
-```
-
----
-
-## Pattern 3: // @ts-ignore 不可用
-
-### 错误尝试
-```typescript
-// @ts-ignore  // ERROR: Switching off type checks with in-place comments is not allowed
-static fromResultSet(resultSet: any): EntityName {
-```
-
-### 必须用 Pattern 2 替代
-
----
-
-## Pattern 4: toValuesBucket() 返回类型注解
-
-```typescript
-type EntityValuesBucket = Record<string, number | string | boolean | Uint8Array | null>;
-
-toValuesBucket(): EntityValuesBucket {
-  const bucket: EntityValuesBucket = {} as EntityValuesBucket;
-  // ...
-  return bucket;
-}
-```
-
----
-
-## 完整 Entity 模板
-
-```typescript
-type EntityValuesBucket = Record<string, number | string | boolean | Uint8Array | null>;
-
-export class MyEntity {
-  id: number = 0;
-  name: string = '';
-  value: number = 0;
-
-  static fromResultSet(resultSet: Object): MyEntity {
-    const rs = resultSet as Record<string, Object>;
-    const col = (n: string): number => (rs['getColumnIndex'] as Function)(n) as number;
-    const entity = new MyEntity();
-    entity.id   = (rs['getLong']   as Function)(col('id'))   as number;
-    entity.name = (rs['getString'] as Function)(col('name')) as string;
-    entity.value = (rs['getLong']  as Function)(col('value')) as number;
-    return entity;
-  }
-
-  toValuesBucket(): EntityValuesBucket {
-    const bucket: EntityValuesBucket = {} as EntityValuesBucket;
-    if (this.id > 0) { bucket['id'] = this.id; }
-    bucket['name'] = this.name;
-    bucket['value'] = this.value;
-    return bucket;
-  }
-}
-```
+# RDB Entity 确定性修复 Pattern
+# 适用于: ArkTS 严格模式 + @kit.ArkData relationalStore
+# 触发场景: 迁移 Android RDB 实体类到 ArkTS 时
+# 经验来源: EinkBro 迁移 (2026-03-26)
+
+---
+
+## Pattern 1: ValuesBucket 正确用法
+
+### 错误写法 (编译报错)
+```typescript
+import { relationalStore, ValuesBucket } from '@kit.ArkData';
+
+toValuesBucket(): ValuesBucket {
+  const bucket = new ValuesBucket();  // ERROR: 'ValuesBucket' only refers to a type
+  bucket.put('key', value);           // ERROR: ValuesBucket has no .put() method
+  return bucket;
+}
+```
+
+### 正确写法
+```typescript
+type EntityValuesBucket = Record<string, number | string | boolean | Uint8Array | null>;
+
+toValuesBucket(): EntityValuesBucket {
+  const bucket: EntityValuesBucket = {};
+  bucket['key'] = value;
+  return bucket;
+}
+```
+
+**原因**: `ValuesBucket` 在 SDK 中是 type alias (`Record<string, ValueType>`)，不是可实例化的类。
+
+---
+
+## Pattern 2: fromResultSet 参数类型 (禁止 any)
+
+### 错误写法 (编译报错)
+```typescript
+// ArkTS 严格模式禁止 any
+static fromResultSet(resultSet: any): EntityName {  // ERROR: arkts-no-any-unknown
+```
+
+### 正确写法
+```typescript
+static fromResultSet(resultSet: Object): EntityName {
+  const rs = resultSet as Record<string, Object>;
+  const colIndex = (name: string): number =>
+    (rs['getColumnIndex'] as Function)(name) as number;
+
+  entity.field = (rs['getLong'] as Function)(colIndex('field_name')) as number;
+  entity.name  = (rs['getString'] as Function)(colIndex('name')) as string;
+  return entity;
+}
+```
+
+**替代方案** (更简洁但运行时开销略高):
+```typescript
+// 使用类型断言避免 any，运行时通过 Record<string, Function> 调用
+static fromResultSet(resultSet: Object): EntityName {
+  const getCol = (name: string): number =>
+    (resultSet as Record<string, Function>)['getColumnIndex'](name) as number;
+  const getLong = (name: string): number =>
+    (resultSet as Record<string, Function>)['getLong'](getCol(name)) as number;
+  const getStr = (name: string): string =>
+    (resultSet as Record<string, Function>)['getString'](getCol(name)) as string;
+
+  const entity = new EntityName();
+  entity.id   = getLong('id');
+  entity.name = getStr('name');
+  return entity;
+}
+```
+
+---
+
+## Pattern 3: // @ts-ignore 不可用
+
+### 错误尝试
+```typescript
+// @ts-ignore  // ERROR: Switching off type checks with in-place comments is not allowed
+static fromResultSet(resultSet: any): EntityName {
+```
+
+### 必须用 Pattern 2 替代
+
+---
+
+## Pattern 4: toValuesBucket() 返回类型注解
+
+```typescript
+type EntityValuesBucket = Record<string, number | string | boolean | Uint8Array | null>;
+
+toValuesBucket(): EntityValuesBucket {
+  const bucket: EntityValuesBucket = {} as EntityValuesBucket;
+  // ...
+  return bucket;
+}
+```
+
+---
+
+## 完整 Entity 模板
+
+```typescript
+type EntityValuesBucket = Record<string, number | string | boolean | Uint8Array | null>;
+
+export class MyEntity {
+  id: number = 0;
+  name: string = '';
+  value: number = 0;
+
+  static fromResultSet(resultSet: Object): MyEntity {
+    const rs = resultSet as Record<string, Object>;
+    const col = (n: string): number => (rs['getColumnIndex'] as Function)(n) as number;
+    const entity = new MyEntity();
+    entity.id   = (rs['getLong']   as Function)(col('id'))   as number;
+    entity.name = (rs['getString'] as Function)(col('name')) as string;
+    entity.value = (rs['getLong']  as Function)(col('value')) as number;
+    return entity;
+  }
+
+  toValuesBucket(): EntityValuesBucket {
+    const bucket: EntityValuesBucket = {} as EntityValuesBucket;
+    if (this.id > 0) { bucket['id'] = this.id; }
+    bucket['name'] = this.name;
+    bucket['value'] = this.value;
+    return bucket;
+  }
+}
+```