@harmonyos-arkts/d2h 0.1.10 → 0.1.12

package/skills/d2h-hypium-forge/scripts/scan_features.py

@@ -1,255 +1,255 @@
-#!/usr/bin/env python3
-"""
-scan_features.py — 扫描鸿蒙工程，产出功能场景矩阵（features.json + features.md）。
-
-场景矩阵模型（覆盖度评估的基础）:
-  页面（路由可达） × 交互点（可操作控件/事件） × 状态（数据/条件分支）
-
-输出 features.json:
-{
-  "project_dir": "...",
-  "bundle": "hm.xxx",
-  "pages": [
-    {
-      "page": "Index", "path": "pages/Index", "file": "...",
-      "nav_in": ["入口"] ,            # 如何到达（入口/router.pushUrl 链）
-      "interactions": [                # 交互点（含已有 ID）
-        {"kind": "click", "target": "id_or_text", "desc": "设置按钮", "has_id": true}
-      ],
-      "states": [                      # 可区分状态（条件渲染/数据驱动）
-        {"name": "列表为空", "evidence": "if (!items.length)", "line": 42}
-      ],
-      "data_sources": ["mock", "http", "preferences"]
-    }
-  ],
-  "permissions": ["ohos.permission.INTERNET", ...],   # 需预授/确认的权限
-  "has_login": true|false,                            # 登录页检测
-  "nav_graph": {"pages/Index": ["pages/Settings", ...]}  # 静态跳转图
-}
-
-用法: scan_features.py <harmony_project_dir> [--out features.json]
-"""
-import argparse
-import json
-import os
-import re
-import sys
-
-# 登录页特征
-LOGIN_HINTS = ['登录', 'login', 'Login', 'signin', 'SignIn', '账号', '密码', 'password', '手机号']
-# 数据源特征
-DATA_HINTS = {
-    'http': re.compile(r'https?://|@ohos\.net\.http|axios|rcp'),
-    'preferences': re.compile(r'@ohos\.data\.preferences|preferences\.getPreferences'),
-    'mock': re.compile(r'\bmock\b|MockData|EMOJI_DATA|SAMPLE_', re.I),
-    'db': re.compile(r'@ohos\.data\.relationalStore|relationalStore'),
-}
-# 交互控件（组件级）
-INTERACTIVE_COMPONENTS = ('Button', 'TextInput', 'TextArea', 'Toggle', 'Slider',
-                          'Radio', 'Checkbox', 'Select', 'Search', 'Stepper',
-                          'Rating', 'DatePicker', 'TextPicker', 'TimePicker',
-                          'Image', 'Hyperlink', 'Navigator')
-# 非组件关键词（生命周期/builder/容器等误判源）
-NON_COMPONENT = re.compile(r'^(onPageShow|onBackPress|aboutToAppear|aboutToDisappear|'
-                           r'\w*[Bb]uilder|TabContent|ForEach|LazyForEach|Repeat|'
-                           r'Navigation|NavDestination|if|else|while|for|struct|class|build)\b')
-# 风险权限（需用户确认/无法预授）
-RISKY_PERMS = {'ohos.permission.USER_AUTH', 'ohos.permission.MANAGE_FINGERPRINT'}
-
-
-def read(p):
-    try:
-        return open(p, encoding='utf-8', errors='ignore').read()
-    except OSError:
-        return ''
-
-
-def find_pages(root):
-    """定位入口模块与页面集。"""
-    # 找含 UIAbility+loadContent 的模块（entry 或自定义）
-    modules = []
-    for cand in sorted(os.listdir(root)):
-        mdir = os.path.join(root, cand)
-        if os.path.isdir(mdir) and os.path.isdir(os.path.join(mdir, 'src', 'main')):
-            modules.append(cand)
-        elif os.path.isdir(mdir) and cand not in ('oh_modules', '.hypium_forge', 'AppScope', 'hvigor', 'build', 'doc'):
-            # 二级模块容器（features/commons 下可能有独立模块）
-            for sub in sorted(os.listdir(mdir)):
-                sdir = os.path.join(mdir, sub)
-                if os.path.isdir(os.path.join(sdir, 'src', 'main')):
-                    modules.append(f'{cand}/{sub}')
-
-    pages = {}
-    nav_graph = {}
-    entry_module, entry_page = None, None
-    for m in modules:
-        mdir = os.path.join(root, m, 'src', 'main')
-        # Ability 的 loadContent
-        for dp, _d, files in os.walk(os.path.join(mdir, 'ets')):
-            for f in files:
-                if f.endswith('.ets'):
-                    src = read(os.path.join(dp, f))
-                    mm = re.search(r"loadContent\(\s*'([^']+)'", src)
-                    if mm and entry_page is None:
-                        entry_module, entry_page = m, mm.group(1)
-        # 路由表（可能多个）
-        for dp, _d, files in os.walk(os.path.join(mdir, 'resources')):
-            for f in files:
-                if f.endswith('_pages.json'):
-                    try:
-                        routes = json.load(open(os.path.join(dp, f))).get('src', [])
-                    except (OSError, json.JSONDecodeError):
-                        routes = []
-                    for r in routes:
-                        pages.setdefault((m, r), None)
-        # @Entry 页面兜底（覆盖路由表留下的 None 值）
-        ets_root = os.path.join(mdir, 'ets')
-        for dp, _d, files in os.walk(ets_root):
-            for f in files:
-                if f.endswith('.ets') and '@Entry' in read(os.path.join(dp, f)):
-                    rel = os.path.relpath(os.path.join(dp, f), ets_root)[:-4]
-                    if pages.get((m, rel)) is None:
-                        pages[(m, rel)] = os.path.join(dp, f)
-    return modules, pages, entry_module, entry_page
-
-
-def scan_page(file_path):
-    """单页扫描：交互点/状态/数据源/跳转。"""
-    src = read(file_path)
-    lines = src.split('\n')
-    interactions, states, navs = [], [], []
-    data_sources = [k for k, rx in DATA_HINTS.items() if rx.search(src)]
-
-    # 组件构造 + 邻近 .id()/文本
-    for i, ln in enumerate(lines):
-        m = re.match(r'^\s*(\w+)\s*(?:\(\s*(?:{[^}]*})?\s*\)?\s*(?:\{\s*)?)$', ln) or \
-            re.match(r'^\s*(Button|Text|Image|Toggle|TextInput)\s*\(', ln)
-        if not m or NON_COMPONENT.match(m.group(1)):
-            continue
-        comp = m.group(1)
-        # 向后 15 行找 .id / 文本内容 / onClick
-        after = '\n'.join(lines[i:min(len(lines), i + 15)])
-        idm = re.search(r"\.id\(\s*'([^']+)'", after)
-        txtm = re.search(r"(?:Text|Button)\s*\(\s*(?:this\.)?[\w.]*?'([^']{1,24})'", '\n'.join(lines[max(0,i-1):i+6]))
-        onclick = bool(re.search(r'\.on[A-Z]\w*\(', after))
-        if comp in INTERACTIVE_COMPONENTS or onclick:
-            target = idm.group(1) if idm else (txtm.group(1) if txtm else None)
-            if comp == 'Image' and not onclick:
-                continue
-            # 纯容器按行号定位且无文本无 id —— 噪声，剔除
-            if not target and comp in ('Column', 'Row', 'Stack', 'Flex', 'ListItem', 'List', 'Grid', 'Refresh', 'TabContent'):
-                continue
-            interactions.append({
-                'kind': 'click' if comp != 'TextInput' else 'input',
-                'target': target or f'line{i+1}:{comp}',
-                'desc': (txtm.group(1) if txtm else comp),
-                'has_id': bool(idm), 'line': i + 1, 'type': comp
-            })
-        # router 跳转
-        for nm in re.finditer(r"router\.(?:pushUrl|replaceUrl)\(\s*{\s*url:\s*'([^']+)'", after):
-            navs.append(nm.group(1))
-
-    # 条件状态（if 分支）
-    for i, ln in enumerate(lines):
-        if re.match(r'^\s*if\s*\(', ln):
-            cond = ln.strip()
-            states.append({'name': cond[:60], 'evidence': cond, 'line': i + 1})
-    return interactions, states[:20], navs, data_sources
-
-
-def main():
-    ap = argparse.ArgumentParser()
-    ap.add_argument('harmony')
-    ap.add_argument('--out', default=None)
-    args = ap.parse_args()
-    root = args.harmony
-
-    app_json5 = os.path.join(root, 'AppScope', 'app.json5')
-    bundle = ''
-    m = re.search(r'"bundleName"\s*:\s*"([^"]+)"', read(app_json5))
-    if m:
-        bundle = m.group(1)
-
-    modules, pages, entry_module, entry_page = find_pages(root)
-    if not pages:
-        print('错误: 未找到任何页面（路由表或 @Entry）', file=sys.stderr)
-        sys.exit(1)
-
-    # 权限（各模块 module.json5）
-    perms = []
-    for mdir in modules:
-        mj = os.path.join(root, mdir, 'src', 'main', 'module.json5')
-        perms += re.findall(r'"name"\s*:\s*"(ohos\.permission\.[\w.]+)"', read(mj))
-    perms = sorted(set(perms))
-
-    # 登录检测
-    has_login = False
-    for (mname, route), f in pages.items():
-        src = read(f) if f else ''
-        if any(h in src for h in LOGIN_HINTS):
-            # 有登录字样的页面
-            if re.search(r'登录|login|Login', src):
-                has_login = True
-
-    result = {'project_dir': os.path.abspath(root), 'bundle': bundle,
-              'entry': {'module': entry_module, 'page': entry_page},
-              'pages': [], 'permissions': perms, 'has_login': has_login,
-              'nav_graph': {}}
-
-    n_int = n_state = 0
-    for (mname, route), f in sorted(pages.items()):
-        if not f:
-            continue
-        interactions, states, navs, data_sources = scan_page(f)
-        result['pages'].append({
-            'page': os.path.basename(route), 'path': route, 'module': mname,
-            'file': os.path.abspath(f),
-            'nav_in': ['entry'] if route == entry_page else ['router:见 nav_graph'],
-            'interactions': interactions, 'states': states,
-            'data_sources': data_sources
-        })
-        result['nav_graph'][route] = sorted(set(navs))
-        n_int += len(interactions)
-        n_state += len(states)
-
-    # ── 深扫：多模块架构的真实 UI 在 features/commons 的 @Component 组件里 ──
-    seen_files = {p['file'] for p in result['pages']}
-    for m in modules:
-        ets_root = os.path.join(root, m, 'src', 'main', 'ets')
-        if not os.path.isdir(ets_root):
-            continue
-        for dp, _d, files in os.walk(ets_root):
-            for f in files:
-                if not f.endswith('.ets'):
-                    continue
-                fp = os.path.join(dp, f)
-                if fp in seen_files:
-                    continue
-                src = read(fp)
-                # 含 build() 的组件（@Component/@ComponentV2 struct）才算 UI 单元
-                if '@Component' in src and re.search(r'\bbuild\s*\(\s*\)', src):
-                    interactions, states, navs, data_sources = scan_page(fp)
-                    if not interactions and not states:
-                        continue
-                    rel = os.path.relpath(fp, os.path.join(root, m, 'src', 'main', 'ets'))[:-4]
-                    result['pages'].append({
-                        'page': os.path.splitext(f)[0], 'path': f'comp:{m}/{rel}',
-                        'module': m, 'file': os.path.abspath(fp),
-                        'nav_in': ['builder/comp'], 'interactions': interactions,
-                        'states': states, 'data_sources': data_sources
-                    })
-                    n_int += len(interactions)
-                    n_state += len(states)
-
-    payload = json.dumps(result, indent=2, ensure_ascii=False)
-    if args.out:
-        os.makedirs(os.path.dirname(os.path.abspath(args.out)), exist_ok=True)
-        open(args.out, 'w', encoding='utf-8').write(payload)
-        print(f'扫描完成: {len(result["pages"])} 页面 / {n_int} 交互点 / {n_state} 状态 / '
-              f'{len(perms)} 权限 / 登录页={"有" if has_login else "无"} → {args.out}')
-    else:
-        print(payload)
-
-
-if __name__ == '__main__':
-    main()
+#!/usr/bin/env python3
+"""
+scan_features.py — 扫描鸿蒙工程，产出功能场景矩阵（features.json + features.md）。
+
+场景矩阵模型（覆盖度评估的基础）:
+  页面（路由可达） × 交互点（可操作控件/事件） × 状态（数据/条件分支）
+
+输出 features.json:
+{
+  "project_dir": "...",
+  "bundle": "hm.xxx",
+  "pages": [
+    {
+      "page": "Index", "path": "pages/Index", "file": "...",
+      "nav_in": ["入口"] ,            # 如何到达（入口/router.pushUrl 链）
+      "interactions": [                # 交互点（含已有 ID）
+        {"kind": "click", "target": "id_or_text", "desc": "设置按钮", "has_id": true}
+      ],
+      "states": [                      # 可区分状态（条件渲染/数据驱动）
+        {"name": "列表为空", "evidence": "if (!items.length)", "line": 42}
+      ],
+      "data_sources": ["mock", "http", "preferences"]
+    }
+  ],
+  "permissions": ["ohos.permission.INTERNET", ...],   # 需预授/确认的权限
+  "has_login": true|false,                            # 登录页检测
+  "nav_graph": {"pages/Index": ["pages/Settings", ...]}  # 静态跳转图
+}
+
+用法: scan_features.py <harmony_project_dir> [--out features.json]
+"""
+import argparse
+import json
+import os
+import re
+import sys
+
+# 登录页特征
+LOGIN_HINTS = ['登录', 'login', 'Login', 'signin', 'SignIn', '账号', '密码', 'password', '手机号']
+# 数据源特征
+DATA_HINTS = {
+    'http': re.compile(r'https?://|@ohos\.net\.http|axios|rcp'),
+    'preferences': re.compile(r'@ohos\.data\.preferences|preferences\.getPreferences'),
+    'mock': re.compile(r'\bmock\b|MockData|EMOJI_DATA|SAMPLE_', re.I),
+    'db': re.compile(r'@ohos\.data\.relationalStore|relationalStore'),
+}
+# 交互控件（组件级）
+INTERACTIVE_COMPONENTS = ('Button', 'TextInput', 'TextArea', 'Toggle', 'Slider',
+                          'Radio', 'Checkbox', 'Select', 'Search', 'Stepper',
+                          'Rating', 'DatePicker', 'TextPicker', 'TimePicker',
+                          'Image', 'Hyperlink', 'Navigator')
+# 非组件关键词（生命周期/builder/容器等误判源）
+NON_COMPONENT = re.compile(r'^(onPageShow|onBackPress|aboutToAppear|aboutToDisappear|'
+                           r'\w*[Bb]uilder|TabContent|ForEach|LazyForEach|Repeat|'
+                           r'Navigation|NavDestination|if|else|while|for|struct|class|build)\b')
+# 风险权限（需用户确认/无法预授）
+RISKY_PERMS = {'ohos.permission.USER_AUTH', 'ohos.permission.MANAGE_FINGERPRINT'}
+
+
+def read(p):
+    try:
+        return open(p, encoding='utf-8', errors='ignore').read()
+    except OSError:
+        return ''
+
+
+def find_pages(root):
+    """定位入口模块与页面集。"""
+    # 找含 UIAbility+loadContent 的模块（entry 或自定义）
+    modules = []
+    for cand in sorted(os.listdir(root)):
+        mdir = os.path.join(root, cand)
+        if os.path.isdir(mdir) and os.path.isdir(os.path.join(mdir, 'src', 'main')):
+            modules.append(cand)
+        elif os.path.isdir(mdir) and cand not in ('oh_modules', '.hypium_forge', 'AppScope', 'hvigor', 'build', 'doc'):
+            # 二级模块容器（features/commons 下可能有独立模块）
+            for sub in sorted(os.listdir(mdir)):
+                sdir = os.path.join(mdir, sub)
+                if os.path.isdir(os.path.join(sdir, 'src', 'main')):
+                    modules.append(f'{cand}/{sub}')
+
+    pages = {}
+    nav_graph = {}
+    entry_module, entry_page = None, None
+    for m in modules:
+        mdir = os.path.join(root, m, 'src', 'main')
+        # Ability 的 loadContent
+        for dp, _d, files in os.walk(os.path.join(mdir, 'ets')):
+            for f in files:
+                if f.endswith('.ets'):
+                    src = read(os.path.join(dp, f))
+                    mm = re.search(r"loadContent\(\s*'([^']+)'", src)
+                    if mm and entry_page is None:
+                        entry_module, entry_page = m, mm.group(1)
+        # 路由表（可能多个）
+        for dp, _d, files in os.walk(os.path.join(mdir, 'resources')):
+            for f in files:
+                if f.endswith('_pages.json'):
+                    try:
+                        routes = json.load(open(os.path.join(dp, f))).get('src', [])
+                    except (OSError, json.JSONDecodeError):
+                        routes = []
+                    for r in routes:
+                        pages.setdefault((m, r), None)
+        # @Entry 页面兜底（覆盖路由表留下的 None 值）
+        ets_root = os.path.join(mdir, 'ets')
+        for dp, _d, files in os.walk(ets_root):
+            for f in files:
+                if f.endswith('.ets') and '@Entry' in read(os.path.join(dp, f)):
+                    rel = os.path.relpath(os.path.join(dp, f), ets_root)[:-4]
+                    if pages.get((m, rel)) is None:
+                        pages[(m, rel)] = os.path.join(dp, f)
+    return modules, pages, entry_module, entry_page
+
+
+def scan_page(file_path):
+    """单页扫描：交互点/状态/数据源/跳转。"""
+    src = read(file_path)
+    lines = src.split('\n')
+    interactions, states, navs = [], [], []
+    data_sources = [k for k, rx in DATA_HINTS.items() if rx.search(src)]
+
+    # 组件构造 + 邻近 .id()/文本
+    for i, ln in enumerate(lines):
+        m = re.match(r'^\s*(\w+)\s*(?:\(\s*(?:{[^}]*})?\s*\)?\s*(?:\{\s*)?)$', ln) or \
+            re.match(r'^\s*(Button|Text|Image|Toggle|TextInput)\s*\(', ln)
+        if not m or NON_COMPONENT.match(m.group(1)):
+            continue
+        comp = m.group(1)
+        # 向后 15 行找 .id / 文本内容 / onClick
+        after = '\n'.join(lines[i:min(len(lines), i + 15)])
+        idm = re.search(r"\.id\(\s*'([^']+)'", after)
+        txtm = re.search(r"(?:Text|Button)\s*\(\s*(?:this\.)?[\w.]*?'([^']{1,24})'", '\n'.join(lines[max(0,i-1):i+6]))
+        onclick = bool(re.search(r'\.on[A-Z]\w*\(', after))
+        if comp in INTERACTIVE_COMPONENTS or onclick:
+            target = idm.group(1) if idm else (txtm.group(1) if txtm else None)
+            if comp == 'Image' and not onclick:
+                continue
+            # 纯容器按行号定位且无文本无 id —— 噪声，剔除
+            if not target and comp in ('Column', 'Row', 'Stack', 'Flex', 'ListItem', 'List', 'Grid', 'Refresh', 'TabContent'):
+                continue
+            interactions.append({
+                'kind': 'click' if comp != 'TextInput' else 'input',
+                'target': target or f'line{i+1}:{comp}',
+                'desc': (txtm.group(1) if txtm else comp),
+                'has_id': bool(idm), 'line': i + 1, 'type': comp
+            })
+        # router 跳转
+        for nm in re.finditer(r"router\.(?:pushUrl|replaceUrl)\(\s*{\s*url:\s*'([^']+)'", after):
+            navs.append(nm.group(1))
+
+    # 条件状态（if 分支）
+    for i, ln in enumerate(lines):
+        if re.match(r'^\s*if\s*\(', ln):
+            cond = ln.strip()
+            states.append({'name': cond[:60], 'evidence': cond, 'line': i + 1})
+    return interactions, states[:20], navs, data_sources
+
+
+def main():
+    ap = argparse.ArgumentParser()
+    ap.add_argument('harmony')
+    ap.add_argument('--out', default=None)
+    args = ap.parse_args()
+    root = args.harmony
+
+    app_json5 = os.path.join(root, 'AppScope', 'app.json5')
+    bundle = ''
+    m = re.search(r'"bundleName"\s*:\s*"([^"]+)"', read(app_json5))
+    if m:
+        bundle = m.group(1)
+
+    modules, pages, entry_module, entry_page = find_pages(root)
+    if not pages:
+        print('错误: 未找到任何页面（路由表或 @Entry）', file=sys.stderr)
+        sys.exit(1)
+
+    # 权限（各模块 module.json5）
+    perms = []
+    for mdir in modules:
+        mj = os.path.join(root, mdir, 'src', 'main', 'module.json5')
+        perms += re.findall(r'"name"\s*:\s*"(ohos\.permission\.[\w.]+)"', read(mj))
+    perms = sorted(set(perms))
+
+    # 登录检测
+    has_login = False
+    for (mname, route), f in pages.items():
+        src = read(f) if f else ''
+        if any(h in src for h in LOGIN_HINTS):
+            # 有登录字样的页面
+            if re.search(r'登录|login|Login', src):
+                has_login = True
+
+    result = {'project_dir': os.path.abspath(root), 'bundle': bundle,
+              'entry': {'module': entry_module, 'page': entry_page},
+              'pages': [], 'permissions': perms, 'has_login': has_login,
+              'nav_graph': {}}
+
+    n_int = n_state = 0
+    for (mname, route), f in sorted(pages.items()):
+        if not f:
+            continue
+        interactions, states, navs, data_sources = scan_page(f)
+        result['pages'].append({
+            'page': os.path.basename(route), 'path': route, 'module': mname,
+            'file': os.path.abspath(f),
+            'nav_in': ['entry'] if route == entry_page else ['router:见 nav_graph'],
+            'interactions': interactions, 'states': states,
+            'data_sources': data_sources
+        })
+        result['nav_graph'][route] = sorted(set(navs))
+        n_int += len(interactions)
+        n_state += len(states)
+
+    # ── 深扫：多模块架构的真实 UI 在 features/commons 的 @Component 组件里 ──
+    seen_files = {p['file'] for p in result['pages']}
+    for m in modules:
+        ets_root = os.path.join(root, m, 'src', 'main', 'ets')
+        if not os.path.isdir(ets_root):
+            continue
+        for dp, _d, files in os.walk(ets_root):
+            for f in files:
+                if not f.endswith('.ets'):
+                    continue
+                fp = os.path.join(dp, f)
+                if fp in seen_files:
+                    continue
+                src = read(fp)
+                # 含 build() 的组件（@Component/@ComponentV2 struct）才算 UI 单元
+                if '@Component' in src and re.search(r'\bbuild\s*\(\s*\)', src):
+                    interactions, states, navs, data_sources = scan_page(fp)
+                    if not interactions and not states:
+                        continue
+                    rel = os.path.relpath(fp, os.path.join(root, m, 'src', 'main', 'ets'))[:-4]
+                    result['pages'].append({
+                        'page': os.path.splitext(f)[0], 'path': f'comp:{m}/{rel}',
+                        'module': m, 'file': os.path.abspath(fp),
+                        'nav_in': ['builder/comp'], 'interactions': interactions,
+                        'states': states, 'data_sources': data_sources
+                    })
+                    n_int += len(interactions)
+                    n_state += len(states)
+
+    payload = json.dumps(result, indent=2, ensure_ascii=False)
+    if args.out:
+        os.makedirs(os.path.dirname(os.path.abspath(args.out)), exist_ok=True)
+        open(args.out, 'w', encoding='utf-8').write(payload)
+        print(f'扫描完成: {len(result["pages"])} 页面 / {n_int} 交互点 / {n_state} 状态 / '
+              f'{len(perms)} 权限 / 登录页={"有" if has_login else "无"} → {args.out}')
+    else:
+        print(payload)
+
+
+if __name__ == '__main__':
+    main()

package/skills/d2h-hypium-forge/scripts/upgrade_asserts.py

@@ -1,66 +1,66 @@
-#!/usr/bin/env python3
-# -*- coding: utf-8 -*-
-"""upgrade_asserts.py — 存量用例断言批量升级（EXEC-041）。
-
-目标：把「仅 exist」的用例批量升级为值级断言，让存量测试具备发现能力。
-
-升级规则（保守机械，不造新值——只把已有期望变强）：
-  R1  expect:"exist" + 文本型 target（非 snake_case id）→ expect:"equals"（同 target）
-      理由：equals 是 EQUALS 精确匹配，能抓 CONTAINS 命中的前缀污染（❄️Gallery 类）
-  R2  expect:"exist" + key 型 target → 保留（页面锚点合法），但在用例末尾若
-      仍无值级断言，追加 count 断言（target=该 key，value=1，唯一性）
-  R3  absent/checked 等已是值级，不动
-  每次升级在 note 里追加留痕（防驯化审计）。
-
-用法: python3 upgrade_asserts.py [--cases cases.json] [--dry-run]
-"""
-import argparse
-import json
-import re
-
-ID_LIKE = re.compile(r'^(tc_[a-z0-9_]+|[a-z][a-z0-9]*(_[a-z0-9]+)+|line\d+:\w+)$')
-
-
-def upgrade(cases, dry=False):
-    changed = 0
-    for c in cases:
-        has_value = any(s.get('expect') in
-                        ('equals', 'absent', 'text', 'text_contains', 'count',
-                         'below', 'checked', 'unchecked', 'enabled', 'disabled', 'toast')
-                        for s in c.get('steps', []))
-        for s in c.get('steps', []):
-            if s.get('expect') != 'exist':
-                continue
-            t = str(s.get('target', ''))
-            if t and not ID_LIKE.match(t):
-                # R1: 文本期望 → 精确
-                s['expect'] = 'equals'
-                c.setdefault('note', '')
-                c['note'] += f"[断言升级R1 exist→equals: {t[:20]}]"
-                changed += 1
-            elif t and ID_LIKE.match(t):
-                # R2: key 锚点保留，仅当全例无值级时补 count
-                if not has_value and s is c['steps'][-1]:
-                    c['steps'].append({'action': '断言升级R2:控件唯一性', 'target': t,
-                                       'expect': 'count', 'value': '1'})
-                    c['note'] = (c.get('note', '') + f"[断言升级R2 补count: {t[:20]}]")
-                    changed += 1
-    return changed
-
-
-def main():
-    ap = argparse.ArgumentParser()
-    ap.add_argument('--cases', default='cases.json')
-    ap.add_argument('--dry-run', action='store_true')
-    args = ap.parse_args()
-    cases = json.load(open(args.cases, encoding='utf-8'))
-    n = upgrade(cases, args.dry_run)
-    if args.dry_run:
-        print(f'[dry-run] 将升级 {n} 处')
-    else:
-        json.dump(cases, open(args.cases, 'w', encoding='utf-8'), ensure_ascii=False, indent=1)
-        print(f'[written] 升级 {n} 处 → {args.cases}')
-
-
-if __name__ == '__main__':
-    main()
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+"""upgrade_asserts.py — 存量用例断言批量升级（EXEC-041）。
+
+目标：把「仅 exist」的用例批量升级为值级断言，让存量测试具备发现能力。
+
+升级规则（保守机械，不造新值——只把已有期望变强）：
+  R1  expect:"exist" + 文本型 target（非 snake_case id）→ expect:"equals"（同 target）
+      理由：equals 是 EQUALS 精确匹配，能抓 CONTAINS 命中的前缀污染（❄️Gallery 类）
+  R2  expect:"exist" + key 型 target → 保留（页面锚点合法），但在用例末尾若
+      仍无值级断言，追加 count 断言（target=该 key，value=1，唯一性）
+  R3  absent/checked 等已是值级，不动
+  每次升级在 note 里追加留痕（防驯化审计）。
+
+用法: python3 upgrade_asserts.py [--cases cases.json] [--dry-run]
+"""
+import argparse
+import json
+import re
+
+ID_LIKE = re.compile(r'^(tc_[a-z0-9_]+|[a-z][a-z0-9]*(_[a-z0-9]+)+|line\d+:\w+)$')
+
+
+def upgrade(cases, dry=False):
+    changed = 0
+    for c in cases:
+        has_value = any(s.get('expect') in
+                        ('equals', 'absent', 'text', 'text_contains', 'count',
+                         'below', 'checked', 'unchecked', 'enabled', 'disabled', 'toast')
+                        for s in c.get('steps', []))
+        for s in c.get('steps', []):
+            if s.get('expect') != 'exist':
+                continue
+            t = str(s.get('target', ''))
+            if t and not ID_LIKE.match(t):
+                # R1: 文本期望 → 精确
+                s['expect'] = 'equals'
+                c.setdefault('note', '')
+                c['note'] += f"[断言升级R1 exist→equals: {t[:20]}]"
+                changed += 1
+            elif t and ID_LIKE.match(t):
+                # R2: key 锚点保留，仅当全例无值级时补 count
+                if not has_value and s is c['steps'][-1]:
+                    c['steps'].append({'action': '断言升级R2:控件唯一性', 'target': t,
+                                       'expect': 'count', 'value': '1'})
+                    c['note'] = (c.get('note', '') + f"[断言升级R2 补count: {t[:20]}]")
+                    changed += 1
+    return changed
+
+
+def main():
+    ap = argparse.ArgumentParser()
+    ap.add_argument('--cases', default='cases.json')
+    ap.add_argument('--dry-run', action='store_true')
+    args = ap.parse_args()
+    cases = json.load(open(args.cases, encoding='utf-8'))
+    n = upgrade(cases, args.dry_run)
+    if args.dry_run:
+        print(f'[dry-run] 将升级 {n} 处')
+    else:
+        json.dump(cases, open(args.cases, 'w', encoding='utf-8'), ensure_ascii=False, indent=1)
+        print(f'[written] 升级 {n} 处 → {args.cases}')
+
+
+if __name__ == '__main__':
+    main()