@harmonyos-arkts/d2h 0.1.11 → 0.1.12

package/skills/d2h-utg-static-generate/tests/verify-offline-html.py

@@ -1,60 +1,60 @@
-#!/usr/bin/env python3
-"""Exercise a generated offline UTG in a local Chromium browser; no devices."""
-import argparse
-import json
-from pathlib import Path
-import re
-import subprocess
-import tempfile
-
-
-def main():
-    parser = argparse.ArgumentParser()
-    parser.add_argument('--html', required=True, type=Path)
-    parser.add_argument('--browser', required=True, type=Path)
-    args = parser.parse_args()
-    original = args.html.read_bytes()
-    html = original.decode('utf-8')
-    # Add a test-only self-edge to the in-memory visualization, leaving facts intact.
-    html = html.replace('const REVIEW =', "GRAPH.links.push({...GRAPH.links[0], id:'visual-self-loop', source:GRAPH.nodes[1].id, target:GRAPH.nodes[1].id});\nconst REVIEW =", 1)
-    probe = r"""<script>
-setTimeout(() => {
-  const checks = {};
-  const links = [...document.querySelectorAll('path.link')];
-  checks.distinctPaths = links.length > 1 && new Set(links.map(link => link.getAttribute('d'))).size === links.length;
-  checks.selfLoop = links.some(link => link.getAttribute('d').includes(' C'));
-  checks.logicalEntry = document.getElementById('legend-items').textContent.includes('逻辑入口');
-  document.querySelector('path.link-hit').dispatchEvent(new MouseEvent('click', {bubbles:true}));
-  checks.edgeDetail = document.getElementById('detail-content').style.display !== 'none';
-  checks.edgeEvidence = document.getElementById('detail-content').textContent.includes('appgraph');
-  const filter = document.getElementById('source-filter');
-  for (const source of ['ai-source-review', 'appgraph']) {
-    filter.value = source; filter.dispatchEvent(new Event('change'));
-    checks[source] = [...document.querySelectorAll('g.node')].every(node =>
-      (node.style.display !== 'none') === (node.__data__.provenance === source));
-  }
-  const result = document.createElement('pre'); result.id='utg-qa-result'; result.textContent=JSON.stringify(checks); document.body.appendChild(result);
-}, 1500);
-</script>"""
-    html = html.replace('</body>', probe + '</body>', 1)
-    with tempfile.TemporaryDirectory(prefix='d2h-offline-html-') as directory:
-        folder = Path(directory).resolve()
-        test_html = folder / 'utg.html'
-        test_html.write_text(html, encoding='utf-8')
-        result = subprocess.run([str(args.browser.resolve()), '--headless', '--disable-gpu',
-            '--no-first-run', '--no-default-browser-check', '--disable-background-networking',
-            '--disable-component-update', '--disable-extensions', '--proxy-server=127.0.0.1:9',
-            f'--user-data-dir={folder / "profile"}', '--virtual-time-budget=2500',
-            '--dump-dom', test_html.as_uri()], capture_output=True, timeout=45, check=True)
-        match = re.search(r'<pre id="utg-qa-result">(.*?)</pre>', result.stdout.decode('utf-8', errors='replace'))
-        if not match:
-            raise AssertionError('Offline renderer or browser probe did not execute')
-        checks = json.loads(match.group(1))
-        if not all(checks.values()):
-            raise AssertionError(checks)
-    assert args.html.read_bytes() == original, 'Browser verification must not alter the input HTML'
-    print(json.dumps({'status': 'passed', 'checks': checks}, ensure_ascii=False))
-
-
-if __name__ == '__main__':
-    main()
+#!/usr/bin/env python3
+"""Exercise a generated offline UTG in a local Chromium browser; no devices."""
+import argparse
+import json
+from pathlib import Path
+import re
+import subprocess
+import tempfile
+
+
+def main():
+    parser = argparse.ArgumentParser()
+    parser.add_argument('--html', required=True, type=Path)
+    parser.add_argument('--browser', required=True, type=Path)
+    args = parser.parse_args()
+    original = args.html.read_bytes()
+    html = original.decode('utf-8')
+    # Add a test-only self-edge to the in-memory visualization, leaving facts intact.
+    html = html.replace('const REVIEW =', "GRAPH.links.push({...GRAPH.links[0], id:'visual-self-loop', source:GRAPH.nodes[1].id, target:GRAPH.nodes[1].id});\nconst REVIEW =", 1)
+    probe = r"""<script>
+setTimeout(() => {
+  const checks = {};
+  const links = [...document.querySelectorAll('path.link')];
+  checks.distinctPaths = links.length > 1 && new Set(links.map(link => link.getAttribute('d'))).size === links.length;
+  checks.selfLoop = links.some(link => link.getAttribute('d').includes(' C'));
+  checks.logicalEntry = document.getElementById('legend-items').textContent.includes('逻辑入口');
+  document.querySelector('path.link-hit').dispatchEvent(new MouseEvent('click', {bubbles:true}));
+  checks.edgeDetail = document.getElementById('detail-content').style.display !== 'none';
+  checks.edgeEvidence = document.getElementById('detail-content').textContent.includes('appgraph');
+  const filter = document.getElementById('source-filter');
+  for (const source of ['ai-source-review', 'appgraph']) {
+    filter.value = source; filter.dispatchEvent(new Event('change'));
+    checks[source] = [...document.querySelectorAll('g.node')].every(node =>
+      (node.style.display !== 'none') === (node.__data__.provenance === source));
+  }
+  const result = document.createElement('pre'); result.id='utg-qa-result'; result.textContent=JSON.stringify(checks); document.body.appendChild(result);
+}, 1500);
+</script>"""
+    html = html.replace('</body>', probe + '</body>', 1)
+    with tempfile.TemporaryDirectory(prefix='d2h-offline-html-') as directory:
+        folder = Path(directory).resolve()
+        test_html = folder / 'utg.html'
+        test_html.write_text(html, encoding='utf-8')
+        result = subprocess.run([str(args.browser.resolve()), '--headless', '--disable-gpu',
+            '--no-first-run', '--no-default-browser-check', '--disable-background-networking',
+            '--disable-component-update', '--disable-extensions', '--proxy-server=127.0.0.1:9',
+            f'--user-data-dir={folder / "profile"}', '--virtual-time-budget=2500',
+            '--dump-dom', test_html.as_uri()], capture_output=True, timeout=45, check=True)
+        match = re.search(r'<pre id="utg-qa-result">(.*?)</pre>', result.stdout.decode('utf-8', errors='replace'))
+        if not match:
+            raise AssertionError('Offline renderer or browser probe did not execute')
+        checks = json.loads(match.group(1))
+        if not all(checks.values()):
+            raise AssertionError(checks)
+    assert args.html.read_bytes() == original, 'Browser verification must not alter the input HTML'
+    print(json.dumps({'status': 'passed', 'checks': checks}, ensure_ascii=False))
+
+
+if __name__ == '__main__':
+    main()

package/skills/d2h-utg-static-generate/tests/verify-produced-fixture.py

@@ -1,131 +1,131 @@
-"""Explicit local AppGraph CLI -> UTG integration; never clones or updates repositories."""
-import argparse
-import hashlib
-import json
-import shutil
-import subprocess
-import sys
-import tempfile
-from pathlib import Path
-
-
-def sha(path):
-    return hashlib.sha256(path.read_bytes()).hexdigest()
-
-
-def main():
-    parser = argparse.ArgumentParser(description=__doc__)
-    parser.add_argument('--appgraph-repo', required=True, type=Path)
-    args = parser.parse_args()
-    repo = args.appgraph_repo.resolve()
-    cli = repo / 'dist/appgraph/cli.js'
-    fixture = repo / '__tests__/appgraph/interaction-fixtures'
-    if not cli.is_file() or not fixture.is_dir():
-        raise RuntimeError('explicit AppGraph checkout must be built and contain the alignment fixture')
-    commit = subprocess.check_output(['git', '-C', str(repo), 'rev-parse', 'HEAD'], text=True).strip()
-    generate = Path(__file__).resolve().parents[1] / 'scripts/generate.py'
-    with tempfile.TemporaryDirectory(prefix='d2h-produced-fixture-') as temporary:
-        folder = Path(temporary)
-        source = folder / 'interaction-fixtures'
-        shutil.copytree(fixture, source, ignore=shutil.ignore_patterns('.codegraph*', '.migration', '.appgraph', 'build'))
-        source_files = [p for p in source.rglob('*') if p.is_file()]
-        source_before = {str(p.relative_to(source)): sha(p) for p in source_files}
-        graph_file = folder / 'app-graph.json'
-        workspace = folder / 'utg'
-        build = ['node', str(cli), 'build', str(source), '--platform', 'android', '--out', str(graph_file)]
-        subprocess.run(build, cwd=repo, check=True, capture_output=True)
-        graph_before = sha(graph_file)
-        graph = json.loads(graph_file.read_text(encoding='utf-8'))
-        interaction = graph['interactionGraph']
-        assert len(interaction['surfaces']) == 4, 'coarse/fine Activity and Compose identities must align'
-        navigation = [t for t in interaction['transitions'] if t['operation'] == 'navigate' and t['resolution'] == 'resolved']
-        assert len(navigation) == 2, 'two controls must retain two transitions without duplicate trace edges'
-        assert len({t['actionRef'] for t in navigation}) == 2
-        assert any(t['operation'] == 'back' and t['target']['kind'] == 'back' for t in interaction['transitions'])
-        assert any(t['operation'] == 'navhost-start' for t in interaction['transitions'])
-        command = [sys.executable, str(generate), '--project-root', str(source), '--appgraph', str(graph_file), '--workspace', str(workspace)]
-        subprocess.run(command, check=True, capture_output=True)
-        outputs = {p.name: sha(p) for p in workspace.iterdir() if p.is_file()}
-        subprocess.run(command + ['--force'], check=True, capture_output=True)
-        assert outputs == {p.name: sha(p) for p in workspace.iterdir() if p.is_file()}, 'derived outputs must be byte deterministic'
-        assert sha(graph_file) == graph_before, 'UTG must not modify AppGraph input'
-        assert source_before == {str(p.relative_to(source)): sha(p) for p in source_files}, 'source files must remain unchanged'
-        utg = json.loads((workspace / 'utg.json').read_text(encoding='utf-8'))
-        plan = json.loads((workspace / 'page.json').read_text(encoding='utf-8'))
-        assert utg['graph']['root'] == 'utg:entry-root'
-        assert len(utg['nodes']) == 5 and len(utg['links']) == 5
-        assert all(link.get('id') and link['status'] == 'static-only' for link in utg['links'])
-        assert plan['summary']['capture_planned'] == 0, 'missing arrival/selectors cannot become executable'
-        capture = generate.parents[2] / 'd2h-utg-ai-generate/scripts/capture_from_page_json.ts'
-        dry_run = subprocess.run(['node', str(capture), '--page-json', str(workspace / 'page.json'),
-                                  '--output-workspace', str(folder / 'captures'), '--dry-run'],
-                                 check=True, capture_output=True, text=True)
-        assert not (folder / 'captures').exists(), 'dry-run must not create runtime artifacts'
-        preview = json.loads(dry_run.stdout)
-        assert preview['selected_count'] == 0 and preview['nodes'] == [], 'capture CLI must agree on the non-executable plan'
-        assert 'boundary_transitions' in (workspace / 'utg.html').read_text(encoding='utf-8')
-        subprocess.run(build, cwd=repo, check=True, capture_output=True)
-        assert sha(graph_file) == graph_before, 'AppGraph repeated analysis must be deterministic'
-        # Coordinate-only edits must not change the interaction identity sets.
-        main_source = source / 'app/src/main/java/fixture/alignment/MainActivity.kt'
-        main_source.write_text('\n\n' + main_source.read_text(encoding='utf-8'), encoding='utf-8')
-        subprocess.run(build, cwd=repo, check=True, capture_output=True)
-        moved = json.loads(graph_file.read_text(encoding='utf-8'))['interactionGraph']
-        for collection in ('surfaces', 'controlBindings', 'entries', 'transitions'):
-            assert {o['id'] for o in interaction[collection]} == {o['id'] for o in moved[collection]}, json.dumps({
-                'collection': collection, 'before': interaction[collection], 'after': moved[collection],
-                'original_screens': [(n['id'], n.get('attrs')) for n in graph['nodes'] if n['kind'] == 'Screen'],
-                'changed_screens': [(n['id'], n.get('attrs')) for n in json.loads(graph_file.read_text(encoding='utf-8'))['nodes'] if n['kind'] == 'Screen'],
-            })
-
-        # Prove AST branch facts survive rule execution, lifting and the UTG consumer.
-        guarded_source = main_source.read_text(encoding='utf-8').replace(
-            'onClick = { nav.navigate("details") }', 'onClick = { if (allowed) nav.navigate("details") }', 1)
-        main_source.write_text(guarded_source, encoding='utf-8')
-        subprocess.run(build, cwd=repo, check=True, capture_output=True)
-        guarded_graph = json.loads(graph_file.read_text(encoding='utf-8'))['interactionGraph']
-        guarded_navigation = [t for t in guarded_graph['transitions']
-                              if t['operation'] == 'navigate' and t['resolution'] == 'resolved']
-        assert len(guarded_navigation) == 2, 'guard reconciliation cannot duplicate or erase navigation facts'
-        assert any(t['conditions'] and t['conditions'][0]['expression'] == 'allowed' for t in guarded_navigation)
-        guarded_workspace = folder / 'utg-guarded'
-        guarded_command = [sys.executable, str(generate), '--project-root', str(source), '--appgraph', str(graph_file), '--workspace', str(guarded_workspace)]
-        subprocess.run(guarded_command, check=True, capture_output=True)
-        guarded_utg = json.loads((guarded_workspace / 'utg.json').read_text(encoding='utf-8'))
-        assert any(link.get('guard', {}).get('text') == '(allowed)' for link in guarded_utg['links'] if link.get('guard'))
-
-        # Source-derived overlay facts must become actual interaction and UTG edges.
-        overlay_source = guarded_source.replace('import androidx.compose.material3.Button',
-            'import androidx.compose.material3.Button\nimport androidx.compose.material3.AlertDialog\nimport androidx.compose.material3.ModalBottomSheet')
-        overlay_source = overlay_source.replace('@Composable fun HomePage(nav: NavController) {',
-            '@Composable fun HomePage(nav: NavController) {\n'
-            '  Button(onClick = { if (allowed) uiState = uiState.copy(showDialog = true) }) {}\n'
-            '  Button(onClick = { uiState = uiState.copy(showSheet = true) }) {}\n'
-            '  if (uiState.showDialog) ConfirmDialog()\n'
-            '  if (uiState.showSheet) DetailsBottomSheet()')
-        overlay_source += '\n@Composable fun ConfirmDialog() { AlertDialog(onDismissRequest = {}, confirmButton = {}) }\n'
-        overlay_source += '@Composable fun DetailsBottomSheet() { ModalBottomSheet(onDismissRequest = {}) {} }\n'
-        main_source.write_text(overlay_source, encoding='utf-8')
-        subprocess.run(build, cwd=repo, check=True, capture_output=True)
-        overlay_graph = json.loads(graph_file.read_text(encoding='utf-8'))['interactionGraph']
-        shown = [t for t in overlay_graph['transitions'] if t['operation'] == 'show' and t['resolution'] == 'resolved']
-        overlay_kinds = {surface['id']: surface['kind'] for surface in overlay_graph['surfaces']}
-        assert {'dialog', 'bottom-sheet'} <= {overlay_kinds[t['target']['surfaceId']] for t in shown}
-        assert any(t['conditions'] and t['conditions'][0]['expression'] == 'allowed' for t in shown)
-        overlay_workspace = folder / 'utg-overlays'
-        subprocess.run([sys.executable, str(generate), '--project-root', str(source), '--appgraph', str(graph_file),
-                        '--workspace', str(overlay_workspace)], check=True, capture_output=True)
-        overlay_utg = json.loads((overlay_workspace / 'utg.json').read_text(encoding='utf-8'))
-        assert {t['id'] for t in shown} <= {link['id'] for link in overlay_utg['links']}
-        main_source.write_text('\n\n' + overlay_source, encoding='utf-8')
-        subprocess.run(build, cwd=repo, check=True, capture_output=True)
-        moved_overlays = json.loads(graph_file.read_text(encoding='utf-8'))['interactionGraph']
-        for collection in ('surfaces', 'controlBindings', 'entries', 'transitions'):
-            assert {fact['id'] for fact in overlay_graph[collection]} == {fact['id'] for fact in moved_overlays[collection]}, collection + ' overlay coordinate stability'
-        print(json.dumps({'status': 'passed', 'appgraph_commit': commit, 'appgraph_input_sha256': graph_before,
-                          'surfaces': 4, 'parallel_navigation': 2, 'utg_nodes': 5, 'utg_edges': 5,
-                          'deterministic': True, 'readonly': True, 'coordinate_stability': True, 'guarded_navigation': True, 'overlay_projection': True}))
-
-
-if __name__ == '__main__':
-    main()
+"""Explicit local AppGraph CLI -> UTG integration; never clones or updates repositories."""
+import argparse
+import hashlib
+import json
+import shutil
+import subprocess
+import sys
+import tempfile
+from pathlib import Path
+
+
+def sha(path):
+    return hashlib.sha256(path.read_bytes()).hexdigest()
+
+
+def main():
+    parser = argparse.ArgumentParser(description=__doc__)
+    parser.add_argument('--appgraph-repo', required=True, type=Path)
+    args = parser.parse_args()
+    repo = args.appgraph_repo.resolve()
+    cli = repo / 'dist/appgraph/cli.js'
+    fixture = repo / '__tests__/appgraph/interaction-fixtures'
+    if not cli.is_file() or not fixture.is_dir():
+        raise RuntimeError('explicit AppGraph checkout must be built and contain the alignment fixture')
+    commit = subprocess.check_output(['git', '-C', str(repo), 'rev-parse', 'HEAD'], text=True).strip()
+    generate = Path(__file__).resolve().parents[1] / 'scripts/generate.py'
+    with tempfile.TemporaryDirectory(prefix='d2h-produced-fixture-') as temporary:
+        folder = Path(temporary)
+        source = folder / 'interaction-fixtures'
+        shutil.copytree(fixture, source, ignore=shutil.ignore_patterns('.codegraph*', '.migration', '.appgraph', 'build'))
+        source_files = [p for p in source.rglob('*') if p.is_file()]
+        source_before = {str(p.relative_to(source)): sha(p) for p in source_files}
+        graph_file = folder / 'app-graph.json'
+        workspace = folder / 'utg'
+        build = ['node', str(cli), 'build', str(source), '--platform', 'android', '--out', str(graph_file)]
+        subprocess.run(build, cwd=repo, check=True, capture_output=True)
+        graph_before = sha(graph_file)
+        graph = json.loads(graph_file.read_text(encoding='utf-8'))
+        interaction = graph['interactionGraph']
+        assert len(interaction['surfaces']) == 4, 'coarse/fine Activity and Compose identities must align'
+        navigation = [t for t in interaction['transitions'] if t['operation'] == 'navigate' and t['resolution'] == 'resolved']
+        assert len(navigation) == 2, 'two controls must retain two transitions without duplicate trace edges'
+        assert len({t['actionRef'] for t in navigation}) == 2
+        assert any(t['operation'] == 'back' and t['target']['kind'] == 'back' for t in interaction['transitions'])
+        assert any(t['operation'] == 'navhost-start' for t in interaction['transitions'])
+        command = [sys.executable, str(generate), '--project-root', str(source), '--appgraph', str(graph_file), '--workspace', str(workspace)]
+        subprocess.run(command, check=True, capture_output=True)
+        outputs = {p.name: sha(p) for p in workspace.iterdir() if p.is_file()}
+        subprocess.run(command + ['--force'], check=True, capture_output=True)
+        assert outputs == {p.name: sha(p) for p in workspace.iterdir() if p.is_file()}, 'derived outputs must be byte deterministic'
+        assert sha(graph_file) == graph_before, 'UTG must not modify AppGraph input'
+        assert source_before == {str(p.relative_to(source)): sha(p) for p in source_files}, 'source files must remain unchanged'
+        utg = json.loads((workspace / 'utg.json').read_text(encoding='utf-8'))
+        plan = json.loads((workspace / 'page.json').read_text(encoding='utf-8'))
+        assert utg['graph']['root'] == 'utg:entry-root'
+        assert len(utg['nodes']) == 5 and len(utg['links']) == 5
+        assert all(link.get('id') and link['status'] == 'static-only' for link in utg['links'])
+        assert plan['summary']['capture_planned'] == 0, 'missing arrival/selectors cannot become executable'
+        capture = generate.parents[2] / 'd2h-utg-ai-generate/scripts/capture_from_page_json.ts'
+        dry_run = subprocess.run(['node', str(capture), '--page-json', str(workspace / 'page.json'),
+                                  '--output-workspace', str(folder / 'captures'), '--dry-run'],
+                                 check=True, capture_output=True, text=True)
+        assert not (folder / 'captures').exists(), 'dry-run must not create runtime artifacts'
+        preview = json.loads(dry_run.stdout)
+        assert preview['selected_count'] == 0 and preview['nodes'] == [], 'capture CLI must agree on the non-executable plan'
+        assert 'boundary_transitions' in (workspace / 'utg.html').read_text(encoding='utf-8')
+        subprocess.run(build, cwd=repo, check=True, capture_output=True)
+        assert sha(graph_file) == graph_before, 'AppGraph repeated analysis must be deterministic'
+        # Coordinate-only edits must not change the interaction identity sets.
+        main_source = source / 'app/src/main/java/fixture/alignment/MainActivity.kt'
+        main_source.write_text('\n\n' + main_source.read_text(encoding='utf-8'), encoding='utf-8')
+        subprocess.run(build, cwd=repo, check=True, capture_output=True)
+        moved = json.loads(graph_file.read_text(encoding='utf-8'))['interactionGraph']
+        for collection in ('surfaces', 'controlBindings', 'entries', 'transitions'):
+            assert {o['id'] for o in interaction[collection]} == {o['id'] for o in moved[collection]}, json.dumps({
+                'collection': collection, 'before': interaction[collection], 'after': moved[collection],
+                'original_screens': [(n['id'], n.get('attrs')) for n in graph['nodes'] if n['kind'] == 'Screen'],
+                'changed_screens': [(n['id'], n.get('attrs')) for n in json.loads(graph_file.read_text(encoding='utf-8'))['nodes'] if n['kind'] == 'Screen'],
+            })
+
+        # Prove AST branch facts survive rule execution, lifting and the UTG consumer.
+        guarded_source = main_source.read_text(encoding='utf-8').replace(
+            'onClick = { nav.navigate("details") }', 'onClick = { if (allowed) nav.navigate("details") }', 1)
+        main_source.write_text(guarded_source, encoding='utf-8')
+        subprocess.run(build, cwd=repo, check=True, capture_output=True)
+        guarded_graph = json.loads(graph_file.read_text(encoding='utf-8'))['interactionGraph']
+        guarded_navigation = [t for t in guarded_graph['transitions']
+                              if t['operation'] == 'navigate' and t['resolution'] == 'resolved']
+        assert len(guarded_navigation) == 2, 'guard reconciliation cannot duplicate or erase navigation facts'
+        assert any(t['conditions'] and t['conditions'][0]['expression'] == 'allowed' for t in guarded_navigation)
+        guarded_workspace = folder / 'utg-guarded'
+        guarded_command = [sys.executable, str(generate), '--project-root', str(source), '--appgraph', str(graph_file), '--workspace', str(guarded_workspace)]
+        subprocess.run(guarded_command, check=True, capture_output=True)
+        guarded_utg = json.loads((guarded_workspace / 'utg.json').read_text(encoding='utf-8'))
+        assert any(link.get('guard', {}).get('text') == '(allowed)' for link in guarded_utg['links'] if link.get('guard'))
+
+        # Source-derived overlay facts must become actual interaction and UTG edges.
+        overlay_source = guarded_source.replace('import androidx.compose.material3.Button',
+            'import androidx.compose.material3.Button\nimport androidx.compose.material3.AlertDialog\nimport androidx.compose.material3.ModalBottomSheet')
+        overlay_source = overlay_source.replace('@Composable fun HomePage(nav: NavController) {',
+            '@Composable fun HomePage(nav: NavController) {\n'
+            '  Button(onClick = { if (allowed) uiState = uiState.copy(showDialog = true) }) {}\n'
+            '  Button(onClick = { uiState = uiState.copy(showSheet = true) }) {}\n'
+            '  if (uiState.showDialog) ConfirmDialog()\n'
+            '  if (uiState.showSheet) DetailsBottomSheet()')
+        overlay_source += '\n@Composable fun ConfirmDialog() { AlertDialog(onDismissRequest = {}, confirmButton = {}) }\n'
+        overlay_source += '@Composable fun DetailsBottomSheet() { ModalBottomSheet(onDismissRequest = {}) {} }\n'
+        main_source.write_text(overlay_source, encoding='utf-8')
+        subprocess.run(build, cwd=repo, check=True, capture_output=True)
+        overlay_graph = json.loads(graph_file.read_text(encoding='utf-8'))['interactionGraph']
+        shown = [t for t in overlay_graph['transitions'] if t['operation'] == 'show' and t['resolution'] == 'resolved']
+        overlay_kinds = {surface['id']: surface['kind'] for surface in overlay_graph['surfaces']}
+        assert {'dialog', 'bottom-sheet'} <= {overlay_kinds[t['target']['surfaceId']] for t in shown}
+        assert any(t['conditions'] and t['conditions'][0]['expression'] == 'allowed' for t in shown)
+        overlay_workspace = folder / 'utg-overlays'
+        subprocess.run([sys.executable, str(generate), '--project-root', str(source), '--appgraph', str(graph_file),
+                        '--workspace', str(overlay_workspace)], check=True, capture_output=True)
+        overlay_utg = json.loads((overlay_workspace / 'utg.json').read_text(encoding='utf-8'))
+        assert {t['id'] for t in shown} <= {link['id'] for link in overlay_utg['links']}
+        main_source.write_text('\n\n' + overlay_source, encoding='utf-8')
+        subprocess.run(build, cwd=repo, check=True, capture_output=True)
+        moved_overlays = json.loads(graph_file.read_text(encoding='utf-8'))['interactionGraph']
+        for collection in ('surfaces', 'controlBindings', 'entries', 'transitions'):
+            assert {fact['id'] for fact in overlay_graph[collection]} == {fact['id'] for fact in moved_overlays[collection]}, collection + ' overlay coordinate stability'
+        print(json.dumps({'status': 'passed', 'appgraph_commit': commit, 'appgraph_input_sha256': graph_before,
+                          'surfaces': 4, 'parallel_navigation': 2, 'utg_nodes': 5, 'utg_edges': 5,
+                          'deterministic': True, 'readonly': True, 'coordinate_stability': True, 'guarded_navigation': True, 'overlay_projection': True}))
+
+
+if __name__ == '__main__':
+    main()

package/skills/harmonyos-migration-playbook/SKILL.md

@@ -1,83 +1,83 @@
----
-name: harmonyos-migration-playbook
-description: Diagnose Android-to-HarmonyOS migration failures, check whether verified lessons apply, and return the smallest scoped fix or recommendation for ArkTS compilation, HarmonyOS runtime, UI automation, protocol E2E, and Windows toolchains. Use during implementation, failure recovery, validation, or retrospectives; do not control checkpoints or outer workflow state.
----
-
-# HarmonyOS migration playbook
-
-Use verified experience to shorten diagnosis without replacing current-project evidence.
-
-## Inputs and domain result
-
-Accept the current symptom, in-scope files, SDK/tool versions, relevant logs or managed evidence, and any project lesson candidates. Do not infer success from an earlier project.
-
-Return the same result shape whether called directly or from an orchestrator:
-
-```json
-{
-  "status": "completed | partial | failed",
-  "changedFiles": [],
-  "sourceFiles": [],
-  "evidence": [],
-  "domainChecks": [],
-  "unresolved": [],
-  "verificationRequests": [],
-  "suggestedRemediation": [],
-  "details": {
-    "validatedRootCause": null,
-    "applicability": {},
-    "lessonCandidates": []
-  }
-}
-```
-
-`status` describes diagnosis and any in-scope fix only. `validatedRootCause` requires current-project evidence. Put repository-level build, test, device, or review needs in `verificationRequests`; do not choose the caller's checkpoint or workflow transition.
-
-## Required operating loop
-
-1. Identify the current symptom and task boundary.
-2. Read only the relevant reference below.
-3. Check that the recorded applicability conditions match the current SDK, UI stack, runtime and code path.
-4. Reproduce or inspect evidence before applying a fix. Historical experience is a hypothesis until confirmed in the current project.
-5. If the request authorizes a change, apply the smallest in-scope fix; otherwise return the smallest concrete recommendation.
-6. Perform only domain-local checks available within scope. Return repository-level verification as `verificationRequests` and a reusable `lessonCandidates` entry only when the root cause and fix are supported by current-project evidence.
-
-## Reference routing
-
-- ArkTS compiler errors or language restrictions: read [references/arkts-compile.md](references/arkts-compile.md).
-- Socket, TLS, IME, asynchronous execution, component state or theme problems: read [references/harmony-runtime.md](references/harmony-runtime.md).
-- Emulator interaction, screenshots, `dumpLayout`, input or scrolling failures: read [references/ui-automation.md](references/ui-automation.md).
-- IMAP/SMTP or other protocol-level end-to-end verification: read [references/protocol-e2e.md](references/protocol-e2e.md).
-- Windows, Gradle, SDK, proxy, encoding or background-service process hangs: read [references/windows-environment.md](references/windows-environment.md).
-- DevEco CLI login callback refused (`localhost 拒绝了连接`) or auth gate retries: read [references/windows-environment.md](references/windows-environment.md).
-- Recording or promoting migration experience: read [references/lesson-lifecycle.md](references/lesson-lifecycle.md).
-
-## Evidence levels
-
-- **Platform rule**: supported by the active SDK/compiler behavior or repeatable minimal reproduction.
-- **Reusable pattern**: reproduced in more than one relevant project or independent environment.
-- **Project-validated**: fully proven in one project and useful beyond that project. It may enter the public playbook immediately, but every new project must revalidate it before relying on it.
-- **Candidate observation**: plausible but not yet proven; never use as a completion claim.
-
-Prefer narrower classifications. Public does not mean universal: a project-validated lesson is visible for reuse but remains a hypothesis outside its source project. Record SDK/tool versions when behavior could change.
-
-## Non-negotiable boundaries
-
-- Android source and observable behavior remain authoritative.
-- Do not bypass AppGraph, compilation, tests or device validation merely because an earlier project was slow or unreliable. Diagnose the current failure; any explicit degradation must preserve a visible coverage gap.
-- Do not convert implementation defects into platform limitations or external blockers.
-- Do not claim a lesson is verified from a report, comment, code existence or compile success alone when runtime behavior is relevant.
-- Do not modify the public playbook from every task. First record the lesson in the current project; a reviewed, non-obvious and well-verified single-project lesson may be promoted as `project-validated` under `lesson-lifecycle.md` instead of waiting invisibly for another project.
-- Do not stage or commit files, create a checkpoint, update the migration report, call `complete`, schedule full regression, or decide an outer workflow state. The caller owns those actions.
-
-## Quick triage
-
-```text
-Compile failure       -> ArkTS error code and exact source construct
-Button does nothing   -> reachability, UI tree, callback log, async context
-Socket failure        -> bind/connect/TLS stage and network logs
-Login callback refused-> login process lifecycle (windows-environment.md)
-Input corruption      -> focus, IME state, input command and current value
-Visual mismatch       -> element-by-element layout/style/content comparison
-Repeated task failure -> read project lessons, then verify applicability
-```
+---
+name: harmonyos-migration-playbook
+description: Diagnose Android-to-HarmonyOS migration failures, check whether verified lessons apply, and return the smallest scoped fix or recommendation for ArkTS compilation, HarmonyOS runtime, UI automation, protocol E2E, and Windows toolchains. Use during implementation, failure recovery, validation, or retrospectives; do not control checkpoints or outer workflow state.
+---
+
+# HarmonyOS migration playbook
+
+Use verified experience to shorten diagnosis without replacing current-project evidence.
+
+## Inputs and domain result
+
+Accept the current symptom, in-scope files, SDK/tool versions, relevant logs or managed evidence, and any project lesson candidates. Do not infer success from an earlier project.
+
+Return the same result shape whether called directly or from an orchestrator:
+
+```json
+{
+  "status": "completed | partial | failed",
+  "changedFiles": [],
+  "sourceFiles": [],
+  "evidence": [],
+  "domainChecks": [],
+  "unresolved": [],
+  "verificationRequests": [],
+  "suggestedRemediation": [],
+  "details": {
+    "validatedRootCause": null,
+    "applicability": {},
+    "lessonCandidates": []
+  }
+}
+```
+
+`status` describes diagnosis and any in-scope fix only. `validatedRootCause` requires current-project evidence. Put repository-level build, test, device, or review needs in `verificationRequests`; do not choose the caller's checkpoint or workflow transition.
+
+## Required operating loop
+
+1. Identify the current symptom and task boundary.
+2. Read only the relevant reference below.
+3. Check that the recorded applicability conditions match the current SDK, UI stack, runtime and code path.
+4. Reproduce or inspect evidence before applying a fix. Historical experience is a hypothesis until confirmed in the current project.
+5. If the request authorizes a change, apply the smallest in-scope fix; otherwise return the smallest concrete recommendation.
+6. Perform only domain-local checks available within scope. Return repository-level verification as `verificationRequests` and a reusable `lessonCandidates` entry only when the root cause and fix are supported by current-project evidence.
+
+## Reference routing
+
+- ArkTS compiler errors or language restrictions: read [references/arkts-compile.md](references/arkts-compile.md).
+- Socket, TLS, IME, asynchronous execution, component state or theme problems: read [references/harmony-runtime.md](references/harmony-runtime.md).
+- Emulator interaction, screenshots, `dumpLayout`, input or scrolling failures: read [references/ui-automation.md](references/ui-automation.md).
+- IMAP/SMTP or other protocol-level end-to-end verification: read [references/protocol-e2e.md](references/protocol-e2e.md).
+- Windows, Gradle, SDK, proxy, encoding or background-service process hangs: read [references/windows-environment.md](references/windows-environment.md).
+- DevEco CLI login callback refused (`localhost 拒绝了连接`) or auth gate retries: read [references/windows-environment.md](references/windows-environment.md).
+- Recording or promoting migration experience: read [references/lesson-lifecycle.md](references/lesson-lifecycle.md).
+
+## Evidence levels
+
+- **Platform rule**: supported by the active SDK/compiler behavior or repeatable minimal reproduction.
+- **Reusable pattern**: reproduced in more than one relevant project or independent environment.
+- **Project-validated**: fully proven in one project and useful beyond that project. It may enter the public playbook immediately, but every new project must revalidate it before relying on it.
+- **Candidate observation**: plausible but not yet proven; never use as a completion claim.
+
+Prefer narrower classifications. Public does not mean universal: a project-validated lesson is visible for reuse but remains a hypothesis outside its source project. Record SDK/tool versions when behavior could change.
+
+## Non-negotiable boundaries
+
+- Android source and observable behavior remain authoritative.
+- Do not bypass AppGraph, compilation, tests or device validation merely because an earlier project was slow or unreliable. Diagnose the current failure; any explicit degradation must preserve a visible coverage gap.
+- Do not convert implementation defects into platform limitations or external blockers.
+- Do not claim a lesson is verified from a report, comment, code existence or compile success alone when runtime behavior is relevant.
+- Do not modify the public playbook from every task. First record the lesson in the current project; a reviewed, non-obvious and well-verified single-project lesson may be promoted as `project-validated` under `lesson-lifecycle.md` instead of waiting invisibly for another project.
+- Do not stage or commit files, create a checkpoint, update the migration report, call `complete`, schedule full regression, or decide an outer workflow state. The caller owns those actions.
+
+## Quick triage
+
+```text
+Compile failure       -> ArkTS error code and exact source construct
+Button does nothing   -> reachability, UI tree, callback log, async context
+Socket failure        -> bind/connect/TLS stage and network logs
+Login callback refused-> login process lifecycle (windows-environment.md)
+Input corruption      -> focus, IME state, input command and current value
+Visual mismatch       -> element-by-element layout/style/content comparison
+Repeated task failure -> read project lessons, then verify applicability
+```

package/skills/harmonyos-migration-playbook/agents/openai.yaml

@@ -1,7 +1,7 @@
-interface:
-  display_name: "HarmonyOS Migration Playbook"
-  short_description: "复用经验证的鸿蒙迁移诊断与测试经验"
-  default_prompt: "Use $harmonyos-migration-playbook to diagnose this migration issue and verify that the historical lesson applies here."
-
-policy:
-  allow_implicit_invocation: true
+interface:
+  display_name: "HarmonyOS Migration Playbook"
+  short_description: "复用经验证的鸿蒙迁移诊断与测试经验"
+  default_prompt: "Use $harmonyos-migration-playbook to diagnose this migration issue and verify that the historical lesson applies here."
+
+policy:
+  allow_implicit_invocation: true