@harmonyos-arkts/d2h 0.1.11 → 0.1.13

package/skills/d2h-utg-ai-generate/tests/test_pipeline.py

@@ -1,369 +1,369 @@
-#!/usr/bin/env python3
-from __future__ import annotations
-
-import json
-import subprocess
-import sys
-import tempfile
-import unittest
-from pathlib import Path
-
-SKILL = Path(__file__).resolve().parents[1]
-BUILD = SKILL / "scripts" / "build_utg.py"
-VALIDATE = SKILL / "scripts" / "validate_utg.py"
-BUILD_PAGE = SKILL / "scripts" / "build_page_json.py"
-CAPTURE = SKILL / "scripts" / "capture_from_page_json.ts"
-
-
-class PipelineTest(unittest.TestCase):
-    def test_build_and_validate(self) -> None:
-        with tempfile.TemporaryDirectory() as temp:
-            root = Path(temp)
-            project = root / "project"
-            workspace = root / "workspace"
-            project.mkdir()
-            workspace.mkdir()
-            (project / "App.kt").write_text(
-                "fun root() = Unit\nfun openHome() = Unit\nfun openDialog() = Unit\n",
-                encoding="utf-8",
-            )
-            facts = {
-                "schema_version": "d2h-utg-facts/v1",
-                "graph": {
-                    "app": "Demo",
-                    "package": "com.example.demo",
-                    "architecture": "compose",
-                    "root": "MainActivity",
-                    "start_destination": "home",
-                },
-                "nodes": [
-                    {
-                        "id": "MainActivity", "kind": "activity", "label": "Demo",
-                        "declared_at": "App.kt:1", "extra": {"launcher": True},
-                        "expected": {"activity_any": ["com.example.demo"]},
-                    },
-                    {
-                        "id": "home", "kind": "compose-route", "label": "Home",
-                        "declared_at": "App.kt:2", "expected": {"activity_any": ["com.example.demo"]},
-                    },
-                    {
-                        "id": "overlay:Help", "kind": "dialog", "label": "Help",
-                        "declared_at": "App.kt:3", "expected": {"text_any": ["Help"]},
-                    },
-                ],
-                "edges": [
-                    {
-                        "source": "MainActivity", "target": "home",
-                        "mechanism": "navhost-start", "trigger": "App.kt:2",
-                        "args": {"action": "default", "label": "Demo", "label_source": "string"},
-                        "confidence": "high",
-                    },
-                    {
-                        "source": "home", "target": "overlay:Help",
-                        "mechanism": "open-overlay", "trigger": "App.kt:3",
-                        "args": {"action": "tap", "label": "Help", "label_source": "string"},
-                        "confidence": 0.95,
-                    },
-                ],
-                "unresolved": [],
-            }
-            facts_path = workspace / "utg-facts.json"
-            facts_path.write_text(json.dumps(facts), encoding="utf-8")
-            built = subprocess.run(
-                [sys.executable, str(BUILD), "--facts", str(facts_path),
-                 "--project-root", str(project), "--workspace", str(workspace)],
-                check=False, capture_output=True, text=True,
-            )
-            self.assertEqual(built.returncode, 0, built.stderr)
-            checked = subprocess.run(
-                [sys.executable, str(VALIDATE), "--utg", str(workspace / "utg.json"),
-                 "--click-paths", str(workspace / "click_paths.json"),
-                 "--page-json", str(workspace / "page.json"),
-                 "--project-root", str(project)],
-                check=False, capture_output=True, text=True,
-            )
-            self.assertEqual(checked.returncode, 0, checked.stderr)
-            click_paths = json.loads((workspace / "click_paths.json").read_text())
-            self.assertEqual(click_paths["paths"]["overlay:Help"]["depth"], 2)
-            self.assertEqual(click_paths["paths"]["overlay:Help"]["path_text"], "Demo > Help")
-            page_plan = json.loads((workspace / "page.json").read_text())
-            self.assertEqual(page_plan["schema_version"], "d2h-page-plan/v1")
-            self.assertEqual(page_plan["source"]["version_name"], "")
-            self.assertEqual(page_plan["summary"]["capture_planned"], 2)
-            self.assertEqual(
-                [page["node_id"] for page in page_plan["pages"]],
-                ["MainActivity", "home", "overlay:Help"],
-            )
-            self.assertEqual(page_plan["pages"][2]["steps"], click_paths["paths"]["overlay:Help"]["steps"])
-            capture_keys = [page["capture_key"] for page in page_plan["pages"] if page["capture"]]
-            self.assertEqual(len(set(capture_keys)), 2)
-            self.assertFalse(page_plan["pages"][0]["capture"])
-            self.assertEqual(page_plan["pages"][0]["skip_reason"], "container-node:activity")
-            report = json.loads((workspace / "generation-report.json").read_text())
-            self.assertEqual(report["normalizations"], ["edges[0].confidence: 'high' -> 0.9"])
-            self.assertEqual(report["page_plan"]["capture_planned"], 2)
-
-            dry_run = subprocess.run(
-                ["node", str(CAPTURE), "--page-json", str(workspace / "page.json"),
-                 "--output-workspace", str(workspace / "ui_info"), "--dry-run"],
-                check=False, capture_output=True, text=True,
-            )
-            self.assertEqual(dry_run.returncode, 0, dry_run.stderr)
-            preview = json.loads(dry_run.stdout)
-            self.assertEqual(preview["nodes"], ["home", "overlay:Help"])
-
-            mutated = dict(page_plan)
-            mutated["summary"] = dict(page_plan["summary"])
-            mutated["summary"]["capture_planned"] = 99
-            mutated_path = workspace / "page-mutated.json"
-            mutated_path.write_text(json.dumps(mutated), encoding="utf-8")
-            rejected = subprocess.run(
-                ["node", str(CAPTURE), "--page-json", str(mutated_path),
-                 "--output-workspace", str(workspace / "ui_info"), "--dry-run"],
-                check=False, capture_output=True, text=True,
-            )
-            self.assertEqual(rejected.returncode, 2)
-            self.assertIn("not the deterministic plan", rejected.stderr)
-
-            rebuilt = workspace / "page-rebuilt.json"
-            built_page = subprocess.run(
-                [sys.executable, str(BUILD_PAGE), "--utg", str(workspace / "utg.json"),
-                 "--click-paths", str(workspace / "click_paths.json"),
-                 "--output", str(rebuilt), "--project-root", str(project)],
-                check=False, capture_output=True, text=True,
-            )
-            self.assertEqual(built_page.returncode, 0, built_page.stderr)
-            rebuilt_plan = json.loads(rebuilt.read_text())
-            self.assertEqual(rebuilt_plan["pages"], page_plan["pages"])
-
-            # Runtime orchestration contract without a real device: a fake ADB
-            # implements only the commands used by the standalone TS capture.
-            fake_adb = root / "fake-adb.py"
-            fake_adb.write_text(
-                """#!/usr/bin/env python3
-import sys
-from pathlib import Path
-a=sys.argv[1:]
-if len(a)>=2 and a[0]=='-s': a=a[2:]
-state=Path(__file__).with_name('fake-adb-scrolled')
-if a==['devices']:
-    print('List of devices attached\\nfake\\tdevice')
-elif a[:2]==['shell','pm']:
-    print('package:/data/app/demo.apk')
-elif a[:3]==['shell','dumpsys','window']:
-    print('mCurrentFocus=Window{1 u0 com.example.demo/.MainActivity}')
-elif a[:3]==['shell','dumpsys','activity']:
-    print('topResumedActivity=ActivityRecord{1 com.example.demo/.MainActivity}')
-elif a[:3]==['shell','dumpsys','package']:
-    print('versionCode=1 versionName=')
-elif a[:3]==['shell','wm','density']:
-    print('Physical density: 480')
-elif a[:3]==['shell','wm','size']:
-    print('Physical size: 1080x1920')
-elif a[:3]==['shell','uiautomator','dump']:
-    print('UI hierchary dumped')
-elif a[:2]==['shell','cat']:
-    if state.exists():
-        print('<hierarchy><node text="" content-desc="" resource-id="" clickable="true" long-clickable="false" scrollable="true" enabled="true" bounds="[0,0][200,100]"><node text="Help" content-desc="" resource-id="" clickable="false" long-clickable="false" enabled="true" bounds="[10,10][90,90]"/><node text="" content-desc="Help" resource-id="" clickable="false" long-clickable="false" enabled="true" bounds="[100,10][190,90]"/></node></hierarchy>')
-    else:
-        print('<hierarchy><node text="" content-desc="" resource-id="" clickable="false" long-clickable="false" scrollable="true" enabled="true" bounds="[0,0][200,100]"/></hierarchy>')
-elif a[:3]==['shell','input','swipe']:
-    state.write_text('scrolled')
-    print('OK')
-elif a[:2]==['exec-out','screencap']:
-    sys.stdout.buffer.write(b'\\x89PNG\\r\\n\\x1a\\nFAKE')
-else:
-    print('OK')
-""",
-                encoding="utf-8",
-            )
-            fake_adb.chmod(0o755)
-            # Windows cannot execute a Python shebang. Intercept only this
-            # exact fake path in the test process; production ADB is unchanged.
-            hook = root / 'fake-adb-hook.mjs'
-            hook.write_text(
-                "import cp from 'node:child_process';\n"
-                "import { syncBuiltinESMExports } from 'node:module';\n"
-                "const original = cp.spawnSync;\n"
-                f"const fake = {json.dumps(str(fake_adb))};\n"
-                f"const python = {json.dumps(sys.executable)};\n"
-                "cp.spawnSync = (file, args, options) => file === fake "
-                "? original(python, [fake, ...args], options) : original(file, args, options);\n"
-                "syncBuiltinESMExports();\n", encoding='utf-8',
-            )
-            runtime_workspace = workspace / "runtime"
-            captured = subprocess.run(
-                ["node", "--import", hook.as_uri(), str(CAPTURE), "--page-json", str(workspace / "page.json"),
-                 "--output-workspace", str(runtime_workspace),
-                 "--device", "fake", "--adb-path", str(fake_adb), "--settle-ms", "0"],
-                check=False, capture_output=True, text=True,
-            )
-            self.assertEqual(captured.returncode, 0, captured.stderr)
-            capture_report = json.loads((runtime_workspace / "capture-report.json").read_text())
-            self.assertEqual(capture_report["status"], "complete")
-            self.assertEqual(capture_report["summary"]["captured"], 2)
-            self.assertEqual(capture_report["summary"]["failed"], 0)
-            self.assertEqual(capture_report["summary"]["blocked"], 0)
-            self.assertTrue((runtime_workspace / "pages.json").is_file())
-            for result in capture_report["pages"]:
-                if result["status"] != "captured":
-                    continue
-                self.assertTrue(Path(result["screenshot"]).is_file())
-                self.assertTrue(Path(result["view_tree"]).is_file())
-                self.assertTrue(Path(result["metadata"]).is_file())
-                metadata = json.loads(Path(result["metadata"]).read_text())
-                self.assertTrue(metadata["verification"]["ok"])
-                self.assertTrue((runtime_workspace / metadata["screenshot"]).is_file())
-                self.assertTrue((runtime_workspace / metadata["view_xml"]).is_file())
-                if result["node_id"] == "overlay:Help":
-                    self.assertEqual(metadata["replay_trace"][-1]["matched"]["scrolls"], 1)
-
-    def test_rejects_missing_evidence(self) -> None:
-        with tempfile.TemporaryDirectory() as temp:
-            root = Path(temp)
-            project = root / "project"
-            workspace = root / "workspace"
-            project.mkdir()
-            workspace.mkdir()
-            facts = {
-                "schema_version": "d2h-utg-facts/v1",
-                "graph": {"app": "Demo", "architecture": "compose", "root": "root"},
-                "nodes": [
-                    {"id": "root", "kind": "activity", "label": "Root", "declared_at": "Missing.kt:1"}
-                ],
-                "edges": [],
-                "unresolved": [],
-            }
-            facts_path = workspace / "utg-facts.json"
-            facts_path.write_text(json.dumps(facts), encoding="utf-8")
-            built = subprocess.run(
-                [sys.executable, str(BUILD), "--facts", str(facts_path),
-                 "--project-root", str(project), "--workspace", str(workspace)],
-                check=False, capture_output=True, text=True,
-            )
-            self.assertEqual(built.returncode, 2)
-            self.assertIn("source file does not exist", built.stderr)
-
-    def test_rejects_capture_page_without_arrival_rule(self) -> None:
-        with tempfile.TemporaryDirectory() as temp:
-            root = Path(temp)
-            project = root / "project"
-            workspace = root / "workspace"
-            project.mkdir()
-            workspace.mkdir()
-            (project / "App.kt").write_text("root\n", encoding="utf-8")
-            facts = {
-                "schema_version": "d2h-utg-facts/v1",
-                "graph": {
-                    "app": "Demo",
-                    "package": "com.example.demo",
-                    "architecture": "views",
-                    "root": "root",
-                },
-                "nodes": [
-                    {
-                        "id": "root",
-                        "kind": "activity",
-                        "label": "Root",
-                        "declared_at": "App.kt:1",
-                        "expected": {},
-                    }
-                ],
-                "edges": [],
-                "unresolved": [],
-            }
-            facts_path = workspace / "utg-facts.json"
-            facts_path.write_text(json.dumps(facts), encoding="utf-8")
-            built = subprocess.run(
-                [
-                    sys.executable,
-                    str(BUILD),
-                    "--facts",
-                    str(facts_path),
-                    "--project-root",
-                    str(project),
-                    "--workspace",
-                    str(workspace),
-                ],
-                check=False,
-                capture_output=True,
-                text=True,
-            )
-            self.assertEqual(built.returncode, 2)
-            self.assertIn("supported non-empty arrival rule", built.stderr)
-
-    def test_page_plan_keeps_unreachable_and_skips_nav_graph(self) -> None:
-        with tempfile.TemporaryDirectory() as temp:
-            root = Path(temp)
-            project = root / "project"
-            workspace = root / "workspace"
-            project.mkdir()
-            workspace.mkdir()
-            (project / "App.kt").write_text("root\ngraph\nhidden\n", encoding="utf-8")
-            facts = {
-                "schema_version": "d2h-utg-facts/v1",
-                "graph": {"app": "Demo", "package": "com.example.demo", "architecture": "compose", "root": "root"},
-                "nodes": [
-                    {"id": "root", "kind": "activity", "label": "Root", "declared_at": "App.kt:1"},
-                    {"id": "graph", "kind": "nav-graph", "label": "Graph", "declared_at": "App.kt:2"},
-                    {"id": "hidden", "kind": "dialog", "label": "Hidden", "declared_at": "App.kt:3"},
-                ],
-                "edges": [
-                    {"source": "root", "target": "graph", "mechanism": "navhost-start", "trigger": "App.kt:2", "args": {"action": "default"}, "confidence": 1.0}
-                ],
-                "unresolved": [],
-            }
-            facts_path = workspace / "utg-facts.json"
-            facts_path.write_text(json.dumps(facts), encoding="utf-8")
-            built = subprocess.run(
-                [sys.executable, str(BUILD), "--facts", str(facts_path),
-                 "--project-root", str(project), "--workspace", str(workspace)],
-                check=False, capture_output=True, text=True,
-            )
-            self.assertEqual(built.returncode, 0, built.stderr)
-            plan = json.loads((workspace / "page.json").read_text())
-            by_id = {page["node_id"]: page for page in plan["pages"]}
-            self.assertFalse(by_id["root"]["capture"])
-            self.assertEqual(by_id["root"]["skip_reason"], "container-node:activity")
-            self.assertFalse(by_id["graph"]["capture"])
-            self.assertEqual(by_id["graph"]["skip_reason"], "non-capture-kind:nav-graph")
-            self.assertFalse(by_id["hidden"]["reachable"])
-            self.assertEqual(by_id["hidden"]["skip_reason"], "unreachable-from-root")
-
-    def test_click_path_prefers_unguarded_route(self) -> None:
-        with tempfile.TemporaryDirectory() as temp:
-            root = Path(temp)
-            project = root / "project"
-            workspace = root / "workspace"
-            project.mkdir()
-            workspace.mkdir()
-            (project / "App.kt").write_text("root\nmid\ntarget\n", encoding="utf-8")
-            facts = {
-                "schema_version": "d2h-utg-facts/v1",
-                "graph": {"app": "Demo", "package": "com.example.demo", "architecture": "compose", "root": "root"},
-                "nodes": [
-                    {"id": "root", "kind": "activity", "label": "Root", "declared_at": "App.kt:1", "expected": {"activity_any": ["com.example.demo"]}},
-                    {"id": "mid", "kind": "compose-route", "label": "Mid", "declared_at": "App.kt:2", "expected": {"text_any": ["Mid"]}},
-                    {"id": "target", "kind": "compose-route", "label": "Target", "declared_at": "App.kt:3", "expected": {"text_any": ["Target"]}},
-                ],
-                "edges": [
-                    {"source": "root", "target": "target", "mechanism": "guarded-shortcut", "trigger": "App.kt:3", "guard": {"kind": "setting", "text": "optional start"}, "args": {"action": "default", "label": "Target"}, "confidence": 1.0},
-                    {"source": "root", "target": "mid", "mechanism": "tap", "trigger": "App.kt:2", "args": {"action": "tap", "label": "Mid"}, "confidence": 1.0},
-                    {"source": "mid", "target": "target", "mechanism": "tap", "trigger": "App.kt:3", "args": {"action": "tap", "label": "Target"}, "confidence": 1.0},
-                ],
-                "unresolved": [],
-            }
-            facts_path = workspace / "utg-facts.json"
-            facts_path.write_text(json.dumps(facts), encoding="utf-8")
-            built = subprocess.run(
-                [sys.executable, str(BUILD), "--facts", str(facts_path), "--project-root", str(project), "--workspace", str(workspace)],
-                check=False, capture_output=True, text=True,
-            )
-            self.assertEqual(built.returncode, 0, built.stderr)
-            paths = json.loads((workspace / "click_paths.json").read_text())
-            self.assertEqual(paths["paths"]["target"]["depth"], 2)
-            self.assertEqual([step["target_id"] for step in paths["paths"]["target"]["steps"]], ["root", "mid", "target"])
-
-
-if __name__ == "__main__":
-    unittest.main()
+#!/usr/bin/env python3
+from __future__ import annotations
+
+import json
+import subprocess
+import sys
+import tempfile
+import unittest
+from pathlib import Path
+
+SKILL = Path(__file__).resolve().parents[1]
+BUILD = SKILL / "scripts" / "build_utg.py"
+VALIDATE = SKILL / "scripts" / "validate_utg.py"
+BUILD_PAGE = SKILL / "scripts" / "build_page_json.py"
+CAPTURE = SKILL / "scripts" / "capture_from_page_json.ts"
+
+
+class PipelineTest(unittest.TestCase):
+    def test_build_and_validate(self) -> None:
+        with tempfile.TemporaryDirectory() as temp:
+            root = Path(temp)
+            project = root / "project"
+            workspace = root / "workspace"
+            project.mkdir()
+            workspace.mkdir()
+            (project / "App.kt").write_text(
+                "fun root() = Unit\nfun openHome() = Unit\nfun openDialog() = Unit\n",
+                encoding="utf-8",
+            )
+            facts = {
+                "schema_version": "d2h-utg-facts/v1",
+                "graph": {
+                    "app": "Demo",
+                    "package": "com.example.demo",
+                    "architecture": "compose",
+                    "root": "MainActivity",
+                    "start_destination": "home",
+                },
+                "nodes": [
+                    {
+                        "id": "MainActivity", "kind": "activity", "label": "Demo",
+                        "declared_at": "App.kt:1", "extra": {"launcher": True},
+                        "expected": {"activity_any": ["com.example.demo"]},
+                    },
+                    {
+                        "id": "home", "kind": "compose-route", "label": "Home",
+                        "declared_at": "App.kt:2", "expected": {"activity_any": ["com.example.demo"]},
+                    },
+                    {
+                        "id": "overlay:Help", "kind": "dialog", "label": "Help",
+                        "declared_at": "App.kt:3", "expected": {"text_any": ["Help"]},
+                    },
+                ],
+                "edges": [
+                    {
+                        "source": "MainActivity", "target": "home",
+                        "mechanism": "navhost-start", "trigger": "App.kt:2",
+                        "args": {"action": "default", "label": "Demo", "label_source": "string"},
+                        "confidence": "high",
+                    },
+                    {
+                        "source": "home", "target": "overlay:Help",
+                        "mechanism": "open-overlay", "trigger": "App.kt:3",
+                        "args": {"action": "tap", "label": "Help", "label_source": "string"},
+                        "confidence": 0.95,
+                    },
+                ],
+                "unresolved": [],
+            }
+            facts_path = workspace / "utg-facts.json"
+            facts_path.write_text(json.dumps(facts), encoding="utf-8")
+            built = subprocess.run(
+                [sys.executable, str(BUILD), "--facts", str(facts_path),
+                 "--project-root", str(project), "--workspace", str(workspace)],
+                check=False, capture_output=True, text=True,
+            )
+            self.assertEqual(built.returncode, 0, built.stderr)
+            checked = subprocess.run(
+                [sys.executable, str(VALIDATE), "--utg", str(workspace / "utg.json"),
+                 "--click-paths", str(workspace / "click_paths.json"),
+                 "--page-json", str(workspace / "page.json"),
+                 "--project-root", str(project)],
+                check=False, capture_output=True, text=True,
+            )
+            self.assertEqual(checked.returncode, 0, checked.stderr)
+            click_paths = json.loads((workspace / "click_paths.json").read_text())
+            self.assertEqual(click_paths["paths"]["overlay:Help"]["depth"], 2)
+            self.assertEqual(click_paths["paths"]["overlay:Help"]["path_text"], "Demo > Help")
+            page_plan = json.loads((workspace / "page.json").read_text())
+            self.assertEqual(page_plan["schema_version"], "d2h-page-plan/v1")
+            self.assertEqual(page_plan["source"]["version_name"], "")
+            self.assertEqual(page_plan["summary"]["capture_planned"], 2)
+            self.assertEqual(
+                [page["node_id"] for page in page_plan["pages"]],
+                ["MainActivity", "home", "overlay:Help"],
+            )
+            self.assertEqual(page_plan["pages"][2]["steps"], click_paths["paths"]["overlay:Help"]["steps"])
+            capture_keys = [page["capture_key"] for page in page_plan["pages"] if page["capture"]]
+            self.assertEqual(len(set(capture_keys)), 2)
+            self.assertFalse(page_plan["pages"][0]["capture"])
+            self.assertEqual(page_plan["pages"][0]["skip_reason"], "container-node:activity")
+            report = json.loads((workspace / "generation-report.json").read_text())
+            self.assertEqual(report["normalizations"], ["edges[0].confidence: 'high' -> 0.9"])
+            self.assertEqual(report["page_plan"]["capture_planned"], 2)
+
+            dry_run = subprocess.run(
+                ["node", str(CAPTURE), "--page-json", str(workspace / "page.json"),
+                 "--output-workspace", str(workspace / "ui_info"), "--dry-run"],
+                check=False, capture_output=True, text=True,
+            )
+            self.assertEqual(dry_run.returncode, 0, dry_run.stderr)
+            preview = json.loads(dry_run.stdout)
+            self.assertEqual(preview["nodes"], ["home", "overlay:Help"])
+
+            mutated = dict(page_plan)
+            mutated["summary"] = dict(page_plan["summary"])
+            mutated["summary"]["capture_planned"] = 99
+            mutated_path = workspace / "page-mutated.json"
+            mutated_path.write_text(json.dumps(mutated), encoding="utf-8")
+            rejected = subprocess.run(
+                ["node", str(CAPTURE), "--page-json", str(mutated_path),
+                 "--output-workspace", str(workspace / "ui_info"), "--dry-run"],
+                check=False, capture_output=True, text=True,
+            )
+            self.assertEqual(rejected.returncode, 2)
+            self.assertIn("not the deterministic plan", rejected.stderr)
+
+            rebuilt = workspace / "page-rebuilt.json"
+            built_page = subprocess.run(
+                [sys.executable, str(BUILD_PAGE), "--utg", str(workspace / "utg.json"),
+                 "--click-paths", str(workspace / "click_paths.json"),
+                 "--output", str(rebuilt), "--project-root", str(project)],
+                check=False, capture_output=True, text=True,
+            )
+            self.assertEqual(built_page.returncode, 0, built_page.stderr)
+            rebuilt_plan = json.loads(rebuilt.read_text())
+            self.assertEqual(rebuilt_plan["pages"], page_plan["pages"])
+
+            # Runtime orchestration contract without a real device: a fake ADB
+            # implements only the commands used by the standalone TS capture.
+            fake_adb = root / "fake-adb.py"
+            fake_adb.write_text(
+                """#!/usr/bin/env python3
+import sys
+from pathlib import Path
+a=sys.argv[1:]
+if len(a)>=2 and a[0]=='-s': a=a[2:]
+state=Path(__file__).with_name('fake-adb-scrolled')
+if a==['devices']:
+    print('List of devices attached\\nfake\\tdevice')
+elif a[:2]==['shell','pm']:
+    print('package:/data/app/demo.apk')
+elif a[:3]==['shell','dumpsys','window']:
+    print('mCurrentFocus=Window{1 u0 com.example.demo/.MainActivity}')
+elif a[:3]==['shell','dumpsys','activity']:
+    print('topResumedActivity=ActivityRecord{1 com.example.demo/.MainActivity}')
+elif a[:3]==['shell','dumpsys','package']:
+    print('versionCode=1 versionName=')
+elif a[:3]==['shell','wm','density']:
+    print('Physical density: 480')
+elif a[:3]==['shell','wm','size']:
+    print('Physical size: 1080x1920')
+elif a[:3]==['shell','uiautomator','dump']:
+    print('UI hierchary dumped')
+elif a[:2]==['shell','cat']:
+    if state.exists():
+        print('<hierarchy><node text="" content-desc="" resource-id="" clickable="true" long-clickable="false" scrollable="true" enabled="true" bounds="[0,0][200,100]"><node text="Help" content-desc="" resource-id="" clickable="false" long-clickable="false" enabled="true" bounds="[10,10][90,90]"/><node text="" content-desc="Help" resource-id="" clickable="false" long-clickable="false" enabled="true" bounds="[100,10][190,90]"/></node></hierarchy>')
+    else:
+        print('<hierarchy><node text="" content-desc="" resource-id="" clickable="false" long-clickable="false" scrollable="true" enabled="true" bounds="[0,0][200,100]"/></hierarchy>')
+elif a[:3]==['shell','input','swipe']:
+    state.write_text('scrolled')
+    print('OK')
+elif a[:2]==['exec-out','screencap']:
+    sys.stdout.buffer.write(b'\\x89PNG\\r\\n\\x1a\\nFAKE')
+else:
+    print('OK')
+""",
+                encoding="utf-8",
+            )
+            fake_adb.chmod(0o755)
+            # Windows cannot execute a Python shebang. Intercept only this
+            # exact fake path in the test process; production ADB is unchanged.
+            hook = root / 'fake-adb-hook.mjs'
+            hook.write_text(
+                "import cp from 'node:child_process';\n"
+                "import { syncBuiltinESMExports } from 'node:module';\n"
+                "const original = cp.spawnSync;\n"
+                f"const fake = {json.dumps(str(fake_adb))};\n"
+                f"const python = {json.dumps(sys.executable)};\n"
+                "cp.spawnSync = (file, args, options) => file === fake "
+                "? original(python, [fake, ...args], options) : original(file, args, options);\n"
+                "syncBuiltinESMExports();\n", encoding='utf-8',
+            )
+            runtime_workspace = workspace / "runtime"
+            captured = subprocess.run(
+                ["node", "--import", hook.as_uri(), str(CAPTURE), "--page-json", str(workspace / "page.json"),
+                 "--output-workspace", str(runtime_workspace),
+                 "--device", "fake", "--adb-path", str(fake_adb), "--settle-ms", "0"],
+                check=False, capture_output=True, text=True,
+            )
+            self.assertEqual(captured.returncode, 0, captured.stderr)
+            capture_report = json.loads((runtime_workspace / "capture-report.json").read_text())
+            self.assertEqual(capture_report["status"], "complete")
+            self.assertEqual(capture_report["summary"]["captured"], 2)
+            self.assertEqual(capture_report["summary"]["failed"], 0)
+            self.assertEqual(capture_report["summary"]["blocked"], 0)
+            self.assertTrue((runtime_workspace / "pages.json").is_file())
+            for result in capture_report["pages"]:
+                if result["status"] != "captured":
+                    continue
+                self.assertTrue(Path(result["screenshot"]).is_file())
+                self.assertTrue(Path(result["view_tree"]).is_file())
+                self.assertTrue(Path(result["metadata"]).is_file())
+                metadata = json.loads(Path(result["metadata"]).read_text())
+                self.assertTrue(metadata["verification"]["ok"])
+                self.assertTrue((runtime_workspace / metadata["screenshot"]).is_file())
+                self.assertTrue((runtime_workspace / metadata["view_xml"]).is_file())
+                if result["node_id"] == "overlay:Help":
+                    self.assertEqual(metadata["replay_trace"][-1]["matched"]["scrolls"], 1)
+
+    def test_rejects_missing_evidence(self) -> None:
+        with tempfile.TemporaryDirectory() as temp:
+            root = Path(temp)
+            project = root / "project"
+            workspace = root / "workspace"
+            project.mkdir()
+            workspace.mkdir()
+            facts = {
+                "schema_version": "d2h-utg-facts/v1",
+                "graph": {"app": "Demo", "architecture": "compose", "root": "root"},
+                "nodes": [
+                    {"id": "root", "kind": "activity", "label": "Root", "declared_at": "Missing.kt:1"}
+                ],
+                "edges": [],
+                "unresolved": [],
+            }
+            facts_path = workspace / "utg-facts.json"
+            facts_path.write_text(json.dumps(facts), encoding="utf-8")
+            built = subprocess.run(
+                [sys.executable, str(BUILD), "--facts", str(facts_path),
+                 "--project-root", str(project), "--workspace", str(workspace)],
+                check=False, capture_output=True, text=True,
+            )
+            self.assertEqual(built.returncode, 2)
+            self.assertIn("source file does not exist", built.stderr)
+
+    def test_rejects_capture_page_without_arrival_rule(self) -> None:
+        with tempfile.TemporaryDirectory() as temp:
+            root = Path(temp)
+            project = root / "project"
+            workspace = root / "workspace"
+            project.mkdir()
+            workspace.mkdir()
+            (project / "App.kt").write_text("root\n", encoding="utf-8")
+            facts = {
+                "schema_version": "d2h-utg-facts/v1",
+                "graph": {
+                    "app": "Demo",
+                    "package": "com.example.demo",
+                    "architecture": "views",
+                    "root": "root",
+                },
+                "nodes": [
+                    {
+                        "id": "root",
+                        "kind": "activity",
+                        "label": "Root",
+                        "declared_at": "App.kt:1",
+                        "expected": {},
+                    }
+                ],
+                "edges": [],
+                "unresolved": [],
+            }
+            facts_path = workspace / "utg-facts.json"
+            facts_path.write_text(json.dumps(facts), encoding="utf-8")
+            built = subprocess.run(
+                [
+                    sys.executable,
+                    str(BUILD),
+                    "--facts",
+                    str(facts_path),
+                    "--project-root",
+                    str(project),
+                    "--workspace",
+                    str(workspace),
+                ],
+                check=False,
+                capture_output=True,
+                text=True,
+            )
+            self.assertEqual(built.returncode, 2)
+            self.assertIn("supported non-empty arrival rule", built.stderr)
+
+    def test_page_plan_keeps_unreachable_and_skips_nav_graph(self) -> None:
+        with tempfile.TemporaryDirectory() as temp:
+            root = Path(temp)
+            project = root / "project"
+            workspace = root / "workspace"
+            project.mkdir()
+            workspace.mkdir()
+            (project / "App.kt").write_text("root\ngraph\nhidden\n", encoding="utf-8")
+            facts = {
+                "schema_version": "d2h-utg-facts/v1",
+                "graph": {"app": "Demo", "package": "com.example.demo", "architecture": "compose", "root": "root"},
+                "nodes": [
+                    {"id": "root", "kind": "activity", "label": "Root", "declared_at": "App.kt:1"},
+                    {"id": "graph", "kind": "nav-graph", "label": "Graph", "declared_at": "App.kt:2"},
+                    {"id": "hidden", "kind": "dialog", "label": "Hidden", "declared_at": "App.kt:3"},
+                ],
+                "edges": [
+                    {"source": "root", "target": "graph", "mechanism": "navhost-start", "trigger": "App.kt:2", "args": {"action": "default"}, "confidence": 1.0}
+                ],
+                "unresolved": [],
+            }
+            facts_path = workspace / "utg-facts.json"
+            facts_path.write_text(json.dumps(facts), encoding="utf-8")
+            built = subprocess.run(
+                [sys.executable, str(BUILD), "--facts", str(facts_path),
+                 "--project-root", str(project), "--workspace", str(workspace)],
+                check=False, capture_output=True, text=True,
+            )
+            self.assertEqual(built.returncode, 0, built.stderr)
+            plan = json.loads((workspace / "page.json").read_text())
+            by_id = {page["node_id"]: page for page in plan["pages"]}
+            self.assertFalse(by_id["root"]["capture"])
+            self.assertEqual(by_id["root"]["skip_reason"], "container-node:activity")
+            self.assertFalse(by_id["graph"]["capture"])
+            self.assertEqual(by_id["graph"]["skip_reason"], "non-capture-kind:nav-graph")
+            self.assertFalse(by_id["hidden"]["reachable"])
+            self.assertEqual(by_id["hidden"]["skip_reason"], "unreachable-from-root")
+
+    def test_click_path_prefers_unguarded_route(self) -> None:
+        with tempfile.TemporaryDirectory() as temp:
+            root = Path(temp)
+            project = root / "project"
+            workspace = root / "workspace"
+            project.mkdir()
+            workspace.mkdir()
+            (project / "App.kt").write_text("root\nmid\ntarget\n", encoding="utf-8")
+            facts = {
+                "schema_version": "d2h-utg-facts/v1",
+                "graph": {"app": "Demo", "package": "com.example.demo", "architecture": "compose", "root": "root"},
+                "nodes": [
+                    {"id": "root", "kind": "activity", "label": "Root", "declared_at": "App.kt:1", "expected": {"activity_any": ["com.example.demo"]}},
+                    {"id": "mid", "kind": "compose-route", "label": "Mid", "declared_at": "App.kt:2", "expected": {"text_any": ["Mid"]}},
+                    {"id": "target", "kind": "compose-route", "label": "Target", "declared_at": "App.kt:3", "expected": {"text_any": ["Target"]}},
+                ],
+                "edges": [
+                    {"source": "root", "target": "target", "mechanism": "guarded-shortcut", "trigger": "App.kt:3", "guard": {"kind": "setting", "text": "optional start"}, "args": {"action": "default", "label": "Target"}, "confidence": 1.0},
+                    {"source": "root", "target": "mid", "mechanism": "tap", "trigger": "App.kt:2", "args": {"action": "tap", "label": "Mid"}, "confidence": 1.0},
+                    {"source": "mid", "target": "target", "mechanism": "tap", "trigger": "App.kt:3", "args": {"action": "tap", "label": "Target"}, "confidence": 1.0},
+                ],
+                "unresolved": [],
+            }
+            facts_path = workspace / "utg-facts.json"
+            facts_path.write_text(json.dumps(facts), encoding="utf-8")
+            built = subprocess.run(
+                [sys.executable, str(BUILD), "--facts", str(facts_path), "--project-root", str(project), "--workspace", str(workspace)],
+                check=False, capture_output=True, text=True,
+            )
+            self.assertEqual(built.returncode, 0, built.stderr)
+            paths = json.loads((workspace / "click_paths.json").read_text())
+            self.assertEqual(paths["paths"]["target"]["depth"], 2)
+            self.assertEqual([step["target_id"] for step in paths["paths"]["target"]["steps"]], ["root", "mid", "target"])
+
+
+if __name__ == "__main__":
+    unittest.main()