homegraph 1.6.0 → 1.6.2

package/CHANGELOG.md

@@ -10,6 +10,34 @@ and adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 ## [Unreleased]
 
 
+## [1.6.2] - 2026-10-19
+
+### New Features
+
+- **iCode support** in the installer. `homegraph install --target icode` wires the MCP server into iCode agent profiles (`~/.chrys/agents/` on macOS/Linux, `%APPDATA%\chrys\agents\` on Windows). The target is global-only. It edits existing profiles in place and, when the iCode runtime is found, writes shadow profiles for the built-in agents. If the runtime is missing, install still updates existing profiles and prints manual guidance. `HOMEGRAPH_ICODE_NO_BUILTINS=1` skips shadows. No instructions file is written (Spec 0057).
+
+### Improvements
+
+- `homegraph_explore` no longer stops after 2 calls on a long-lived MCP connection. Another explore within 10 seconds of the previous result is refused; a later call, including a different question, is allowed. The tool description, initialize instructions, and explore footer state that wait (Spec 0058).
+- MCP initialize / `homegraph_explore` description: drop bash-first and "HomeGraph is optional" wording that conflicted with DevEco Code's graph-first product prompt; existing-code tasks open with `homegraph_explore` alone. Tool list, budgets, and evidence caveats unchanged.
+- MCP under Bun skips the Node/V8 `--liftoff-only` relaunch (those flags do not apply), so product hosts can spawn `homegraph.js` with the host Bun binary (Spec 0052).
+- MCP product hosts that prefix tools with the server name (e.g. DevEco Code) can set `HOMEGRAPH_MCP_SHORT_TOOL_NAMES=1` so tools/list exposes short names (`explore`, `project`) and tools/call still accepts both short and `homegraph_*` forms — avoiding a doubled `homegraph_homegraph_*` name after the host prefix. Unset by default; Cursor/Claude keep canonical `homegraph_*` names.
+
+### Fixes
+
+- C/C++: a call no longer binds another file's `static` function when a definition with external linkage exists. A C definition compiled only under a feature flag nothing in the project sets yields to the definition the default build compiles (Spec 0056).
+- Windows: a file the daemon only read no longer shows up as edited. Watcher events whose size and modification time still match the index are ignored, so an NTFS last-access update does not mark the file pending sync (Spec 0055).
+- C/C++: a header whose only C++ signal is `struct Derived : Base` is indexed as C++. A call that names a function-like macro visible at that line is not linked to a same-named function, and the include walk that decides this is bounded so a deep guard graph cannot blow the heap (Spec 0054).
+- MCP `homegraph_explore` call budget shown to agents is **2** on every repo size, matching the session hard cap. Output sizing tiers are unchanged. Heuristic edges store `synthesized_by`, and ArkTS cross-file call cleanup deletes that channel by column instead of a JSON text match. Explore and Partial replies no longer tell the agent to call `homegraph_node`. Name search still tries FTS first, including Chinese literals (Spec 0053).
+- MCP tools/list: when a session has no default project, `projectPath` is already marked `required` in the schema — its property description no longer says "Omit to use this session's default project", so agents are not told the field is both required and optional.
+
+## [1.6.1] - 2026-09-28
+
+### Improvements
+
+- MCP default tools/list is now the product slim pair — `homegraph_explore`, `homegraph_project` — so tool schemas stop dominating host context. Full catalog via `HOMEGRAPH_MCP_TOOLS=all` (or `*`) or an explicit comma list (e.g. add `arkui_migrate` when needed). MCP initialize instructions and the explore tool description match the slim surface (no pointers to tools hidden by default) (Spec 0051).
+- ArkTS explore can bundle verified render/navigation scope, used imports and types, explicit module exports and local dependency configuration with the located source. Attached SDK modules provide bounded method/parameter signatures, while control summaries distinguish icon appearance, click guards and direct enabled bindings. Whole-group budgets and source fingerprints preserve evidence boundaries; optional local pack audit supports error analysis. No additional model call or mandatory tool (Spec 0050).
+
 ## [1.6.0] - 2026-09-23
 
 ### Improvements
@@ -38,6 +66,7 @@ and adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ### Improvements
 
+- ArkTS explore can retain grounded page/literal/object targets and report request evidence separately from source completeness. Verified joint targets improve candidate ordering; a scoped enabled-binding check distinguishes actual modifiers from appearance-only controls while keeping runtime behavior unverified. Results honor source fingerprints and pack budgets, with independent target/behavior switches. Existing precise relationship and resource routes remain available (Spec 0049).
 - Bump `arkanalyzer` to **1.0.94**.
 - Harmony projects with a root `build-profile.json5` now default to **serial indexing** after ArkAnalyzer: one parse worker and no resolve/synthesis worker pool. On SceneBoard-scale repos this cut peak process-tree PrivateMemory from ~8.5GB to ~3.8GB with only ~6% more wall clock. Opt out with `HOMEGRAPH_HARMONY_SERIAL=0`; force on with `=1`. Explicit `CODEGRAPH_PARSE_WORKERS` still overrides parse concurrency (Spec 0037).
 - MCP product index readiness is now five short states (`empty` / `fast` / `full` / `dirty` / `syncing`): tool replies use a one-line `HomeGraph status=…` footer (or that line alone when the tool cannot answer yet). Pending edits surface as `dirty` with path list instead of the long stale banner; write locks stay `syncing`. MCP initialize includes a one-line status glossary (Spec 0035).
@@ -274,3 +303,5 @@ and adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 [1.5.8]: https://github.com/fujiaxin-coder/homegraph/releases/tag/v1.5.8
 [1.5.10]: https://github.com/fujiaxin-coder/homegraph/releases/tag/v1.5.10
 [1.6.0]: https://github.com/fujiaxin-coder/homegraph/releases/tag/v1.6.0
+[1.6.1]: https://github.com/fujiaxin-coder/homegraph/releases/tag/v1.6.1
+[1.6.2]: https://github.com/fujiaxin-coder/homegraph/releases/tag/v1.6.2

package/README.md

@@ -171,29 +171,76 @@ homegraph serve mcp             # 启动 MCP 服务（一般由 Agent 自动拉
 
 Agent 侧工具名前缀为 `homegraph_`。
 
-**暴露规则：** 默认注册全部工具。索引文件数 **少于 500** 的小项目会自动收缩为三个核心工具（`explore` / `search` / `node`）。可通过环境变量 `HOMEGRAPH_MCP_TOOLS`（逗号分隔短名，如 `explore,node`）自定义暴露列表。
+### 默认暴露（下载即用）
 
-**跨项目查询：** 所有工具均支持可选参数 `projectPath`（绝对路径），用于在 monorepo 中查询子项目，或当 MCP 服务器根目录没有索引时指定目标项目。
+未设置 `HOMEGRAPH_MCP_TOOLS` 时，`tools/list` **只注册下面 2 个工具**（为压缩宿主上下文；Spec 0051）。刚升级后若发现以前能用的 `homegraph_node` / `search` / `arkui_migrate` 等「不见了」，不是卸载坏了，而是默认不再暴露——实现仍在，按下方「如何打开更多工具」恢复即可。
+
+| 工具 | 用途 |
+|------|------|
+| `homegraph_project` | 工程/模块地图与 Harmony skeleton、资源**路径**导航（无符号正文、无调用图） |
+| `homegraph_explore` | 通用结构探索：相关符号源码、调用路径、usage/依赖/NAPI 关系、route/resource/capability 等图证据 |
 
-**图谱数据源（`--sources` / `HOMEGRAPH_SOURCES`）：** 控制 MCP 查询是否使用工程索引、OHOS SDK API 库，或两者。取值 `both`（默认）| `project` | `sdk` | `none`。CLI 优先于环境变量。评测示例：`homegraph serve mcp --path <app> --sources sdk`。`homegraph_status` 会打印当前模式。
+### 默认不暴露（需配置才进 tools/list）
+
+下列工具 **handler 仍在**，默认不出现在 `tools/list`；未配置时直接调用会返回 `disabled via HOMEGRAPH_MCP_TOOLS`。
 
 | 工具 | 用途 |
 |------|------|
-| `homegraph_usages` | **精确用法清单首选**：查询一个已命名 API、成员、常量或字段在哪里被引用 |
-| `homegraph_modules` | **模块拓扑首选**：查询已命名模块之间的依赖关系或循环依赖 |
-| `homegraph_native` | **Native 边界首选**：查询已命名路径或类型的 NAPI/native 导出和注册位置 |
-| `homegraph_explore` | **通用结构探索**：一次调用返回相关符号的源码、调用路径与影响范围；窄清单问题优先使用上面三个专用工具 |
-| `homegraph_search` | 按名称快速搜索符号（仅返回位置，不含源码） |
-| `homegraph_node` | 读取单个符号或整个文件的源码（带行号）及调用关系；可替代 Read 读文件 |
+| `homegraph_usages` | 精确用法清单：已命名 API / 成员 / 常量 / 字段的引用位置 |
+| `homegraph_modules` | 模块拓扑：已命名模块之间的依赖或循环依赖 |
+| `homegraph_native` | Native 边界：NAPI / native 导出与注册位置 |
+| `homegraph_search` | 按名称快速搜索符号（仅位置，不含源码） |
+| `homegraph_node` | 读取单个符号或整个文件的源码（带行号）及调用关系 |
 | `homegraph_callers` / `homegraph_callees` | 查看调用方 / 被调用方 |
 | `homegraph_impact` | 变更影响分析（重构前使用） |
 | `homegraph_diff_impact` | 传入 unified diff（或 hunks），返回与变更行相交的符号及调用/影响证据包（代码审查用） |
 | `homegraph_arkui_migrate` | 一次返回 ArkUI 组件迁移/状态语义快照（装饰器、状态字段、Provide/Consume 等） |
 | `homegraph_files` | 已索引的文件树（支持 glob 过滤、按语言分组） |
 | `homegraph_status` | 索引健康状态（调试用；含 WAL 大小等） |
-| `homegraph_spec_match` | 将新需求描述与 Commit4Spec 知识图谱做全文匹配，返回相似历史Spec及关联提交与代码片段 |
-| `homegraph_spec_find` | 根据文件路径反向查找关联的Spec |
-| `homegraph_spec_trace` | 根据代码符号追溯回关联的Spec |
+| `homegraph_spec_match` | 将新需求描述与 Commit4Spec 知识图谱做全文匹配 |
+| `homegraph_spec_find` | 根据文件路径反向查找关联的 Spec |
+| `homegraph_spec_trace` | 根据代码符号追溯回关联的 Spec |
+
+默认两件套下：用法/依赖/NAPI 类问题优先用 `homegraph_explore`；读已知路径用宿主 Read/Grep；ArkUI 迁移请显式打开 `arkui_migrate`（或 `all`）。
+
+### 如何打开更多 / 全部 MCP 工具
+
+在 **MCP 服务配置的 `environment` 字段**里设置（与 `HOMEGRAPH_NO_DAEMON` 同级）。这是注入给 HomeGraph MCP **进程**的环境变量；**不要**指望只在 Windows「系统属性 → 环境变量」里添加——MCP 子进程通常读不到系统/用户变量。
+
+**打开全部工具：**
+
+```json
+{
+  "mcpServers": {
+    "homegraph": {
+      "command": "homegraph",
+      "args": ["serve", "mcp"],
+      "environment": {
+        "HOMEGRAPH_NO_DAEMON": "1",
+        "HOMEGRAPH_MCP_TOOLS": "all"
+      }
+    }
+  }
+}
+```
+
+`HOMEGRAPH_MCP_TOOLS=*` 与 `all` 等价。
+
+**只打开需要的子集（更省上下文）：**
+
+```json
+"environment": {
+  "HOMEGRAPH_MCP_TOOLS": "explore,project,node,search,arkui_migrate"
+}
+```
+
+短名即可（`node` ≡ `homegraph_node`），逗号分隔。改完后**重启对应 Agent / MCP 服务**使配置生效。
+
+**小仓注意：** 仅当设为 `all` / `*` 且索引文件数 **少于 500** 时，仍可能再裁到历史 TINY 核心集（`explore` / `search` / `node` / `diff_impact` / `project`）。小仓也要 `usages` / `arkui_migrate` 等时，请用**显式逗号列表**，不要只靠 `all`。
+
+**跨项目查询：** 所有工具均支持可选参数 `projectPath`（绝对路径），用于在 monorepo 中查询子项目，或当 MCP 服务器根目录没有索引时指定目标项目。
+
+**图谱数据源（`--sources` / `HOMEGRAPH_SOURCES`）：** 控制 MCP 查询是否使用工程索引、OHOS SDK API 库，或两者。取值 `both`（默认）| `project` | `sdk` | `none`。CLI 优先于环境变量。评测示例：`homegraph serve mcp --path <app> --sources sdk`。`homegraph_status`（需先暴露该工具）会打印当前模式。
 
 ### 查询规划（实验性）
 
@@ -333,13 +380,16 @@ npm run cli
     "homegraph": {
       "type": "stdio",
       "command": "homegraph",
-      "args": ["serve", "mcp"]
+      "args": ["serve", "mcp"],
+      "environment": {
+        "HOMEGRAPH_MCP_TOOLS": "all"
+      }
     }
   }
 }
 ```
 
-Cursor 等项目级配置写入 `./.cursor/mcp.json`，格式相同。推荐使用 `homegraph install` 自动完成。
+不设 `HOMEGRAPH_MCP_TOOLS` 时默认只暴露 `explore` + `project`；需要全量或子集时按上一节「如何打开更多 / 全部 MCP 工具」配置。Cursor 等项目级配置写入 `./.cursor/mcp.json`，格式相同。推荐使用 `homegraph install` 自动完成。
 
 ---
 

package/dist/bin/homegraph.js

@@ -1917,7 +1917,7 @@ function main() {
      */
     program
         .command('install')
-        .description('Install homegraph MCP server into one or more agents (Claude Code, Cursor, Codex CLI, opencode, DevEco Code, CodeBuddy, Hermes Agent)')
+        .description('Install homegraph MCP server into one or more agents (Claude Code, Cursor, Codex CLI, opencode, DevEco Code, CodeBuddy, Hermes Agent, iCode)')
         .option('-t, --target <ids>', 'Target agent(s): comma-separated ids, or "auto"|"all"|"none". Default: prompt')
         .option('-l, --location <where>', 'Install location: "global" or "local". Default: prompt')
         .option('-y, --yes', 'Non-interactive: defaults to --location=global --target=auto, auto-allow on')
@@ -1976,7 +1976,7 @@ function main() {
      */
     program
         .command('uninstall')
-        .description('Remove homegraph from your agents (Claude Code, Cursor, Codex CLI, opencode, DevEco Code, CodeBuddy, Hermes Agent)')
+        .description('Remove homegraph from your agents (Claude Code, Cursor, Codex CLI, opencode, DevEco Code, CodeBuddy, Hermes Agent, iCode)')
         .option('-t, --target <ids>', 'Target agent(s): comma-separated ids, or "all". Default: all')
         .option('-l, --location <where>', 'Uninstall location: "global" or "local". Default: prompt')
         .option('-y, --yes', 'Non-interactive: defaults to --location=global --target=all')

package/dist/db/index.js

@@ -329,6 +329,7 @@ class DatabaseConnection {
         'idx_edges_source_kind',
         'idx_edges_target_kind',
         'idx_edges_provenance',
+        'idx_edges_synthesized_by',
     ];
     /**
      * Enter bulk-edge-load mode: drop the non-unique edge indexes so the mass

package/dist/db/migrations.d.ts

@@ -7,7 +7,7 @@ import { SqliteDatabase } from './sqlite-adapter';
 /**
  * Current schema version
  */
-export declare const CURRENT_SCHEMA_VERSION = 11;
+export declare const CURRENT_SCHEMA_VERSION = 12;
 /**
  * Migration definition
  */
@@ -16,6 +16,11 @@ interface Migration {
     description: string;
     up: (db: SqliteDatabase) => void;
 }
+/**
+ * Copy `metadata.synthesizedBy` onto `edges.synthesized_by` when the column is empty.
+ * Channel deletes read the column, not JSON text (Spec 0053).
+ */
+export declare function backfillEdgeSynthesizedBy(db: SqliteDatabase): void;
 /**
  * Get the current schema version from the database
  */

package/dist/db/migrations.js

@@ -6,6 +6,7 @@
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.CURRENT_SCHEMA_VERSION = void 0;
+exports.backfillEdgeSynthesizedBy = backfillEdgeSynthesizedBy;
 exports.getCurrentVersion = getCurrentVersion;
 exports.runMigrations = runMigrations;
 exports.needsMigration = needsMigration;
@@ -14,7 +15,7 @@ exports.getMigrationHistory = getMigrationHistory;
 /**
  * Current schema version
  */
-exports.CURRENT_SCHEMA_VERSION = 11;
+exports.CURRENT_SCHEMA_VERSION = 12;
 /**
  * All migrations in order
  *
@@ -175,7 +176,31 @@ const migrations = [
       `);
         },
     },
+    {
+        version: 12,
+        description: 'Add edges.synthesized_by and backfill from metadata.synthesizedBy (Spec 0053)',
+        up: (db) => {
+            const cols = db.prepare('PRAGMA table_info(edges)').all();
+            if (!cols.some((c) => c.name === 'synthesized_by')) {
+                db.exec('ALTER TABLE edges ADD COLUMN synthesized_by TEXT');
+            }
+            backfillEdgeSynthesizedBy(db);
+            db.exec('CREATE INDEX IF NOT EXISTS idx_edges_synthesized_by ON edges(synthesized_by) WHERE synthesized_by IS NOT NULL');
+        },
+    },
 ];
+/**
+ * Copy `metadata.synthesizedBy` onto `edges.synthesized_by` when the column is empty.
+ * Channel deletes read the column, not JSON text (Spec 0053).
+ */
+function backfillEdgeSynthesizedBy(db) {
+    db.exec(`
+    UPDATE edges
+    SET synthesized_by = json_extract(metadata, '$.synthesizedBy')
+    WHERE (synthesized_by IS NULL OR synthesized_by = '')
+      AND json_extract(metadata, '$.synthesizedBy') IS NOT NULL
+  `);
+}
 /**
  * Get the current schema version from the database
  */

package/dist/db/queries.d.ts

@@ -5,6 +5,11 @@
  */
 import { SqliteDatabase } from './sqlite-adapter';
 import { Node, Edge, FileRecord, UnresolvedReference, NodeKind, EdgeKind, Language, GraphStats, SearchOptions, SearchResult } from '../types';
+/**
+ * Convert database row to Edge object
+ */
+/** Channel name stored on `edges.synthesized_by` (Spec 0053). */
+export declare function edgeSynthesizedBy(edge: Edge): string | null;
 /**
  * Query builder for the knowledge graph database
  */
@@ -46,6 +51,10 @@ export declare class QueryBuilder {
     /** Attach a versioned OHOS API db for federated symbol lookup. */
     attachOhosApiDb(dbPath: string | null): void;
     getOhosApiDbPath(): string | null;
+    /** Exact imported SDK module only. No cross-module bare-name fallback.
+     * A missing/oversized/ambiguous module returns no claim of signature coverage.
+     */
+    getOhosApiModuleNodes(specifier: string): Node[];
     private hasOhosApiAttached;
     private mapOhosApiNodeRow;
     /** Set the normalized project-name tokens used to down-weight non-discriminative

package/dist/db/queries.js

@@ -39,6 +39,7 @@ var __importStar = (this && this.__importStar) || (function () {
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.QueryBuilder = void 0;
+exports.edgeSynthesizedBy = edgeSynthesizedBy;
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
 const utils_1 = require("../utils");
@@ -110,6 +111,11 @@ function rowToNode(row) {
 /**
  * Convert database row to Edge object
  */
+/** Channel name stored on `edges.synthesized_by` (Spec 0053). */
+function edgeSynthesizedBy(edge) {
+    const value = edge.metadata?.synthesizedBy;
+    return typeof value === 'string' && value.trim() ? value.trim() : null;
+}
 function rowToEdge(row) {
     return {
         source: row.source,
@@ -247,6 +253,21 @@ class QueryBuilder {
     getOhosApiDbPath() {
         return this.ohosApiDbPath;
     }
+    /** Exact imported SDK module only. No cross-module bare-name fallback.
+     * A missing/oversized/ambiguous module returns no claim of signature coverage.
+     */
+    getOhosApiModuleNodes(specifier) {
+        if (!this.ohosApiDbPath || !/^@(ohos|hms|kit)\.[A-Za-z0-9_.]+$/.test(specifier))
+            return [];
+        const stem = specifier.startsWith('@kit.') ? specifier.slice(5) : specifier;
+        const escaped = stem.replace(/[\\%_]/g, c => `\\${c}`);
+        const rows = this.db.prepare(`SELECT * FROM ohos_api.nodes WHERE
+      file_path = ? OR file_path = ? OR file_path LIKE ? ESCAPE '\\' OR file_path LIKE ? ESCAPE '\\'
+      ORDER BY file_path, start_line LIMIT 257`).all(`${stem}.d.ts`, `${stem}.d.ets`, `%/${escaped}.d.ts`, `%/${escaped}.d.ets`);
+        if (rows.length > 256 || new Set(rows.map(row => row.file_path)).size !== 1)
+            return [];
+        return rows.map(row => this.mapOhosApiNodeRow(row));
+    }
     hasOhosApiAttached() {
         return this.ohosApiDbPath != null;
     }
@@ -368,9 +389,10 @@ class QueryBuilder {
                         edge.line ?? null,
                         edge.column ?? null,
                         edge.provenance ?? null,
+                        edgeSynthesizedBy(edge),
                     ]);
                 }
-                this.runBatched('insertEdges', 'INSERT OR IGNORE INTO edges (source, target, kind, metadata, line, col, provenance) VALUES ', '(?,?,?,?,?,?,?)', rows);
+                this.runBatched('insertEdges', 'INSERT OR IGNORE INTO edges (source, target, kind, metadata, line, col, provenance, synthesized_by) VALUES ', '(?,?,?,?,?,?,?,?)', rows);
             }
             if (bundle.refs.length > 0)
                 this.insertUnresolvedRefsBatch(bundle.refs);
@@ -979,11 +1001,13 @@ class QueryBuilder {
                 return [];
             return this.mergeOhosApiTextSearch(text, { kinds, languages, limit }, []);
         }
-        // First try FTS5 with prefix matching
+        // First try FTS5 with prefix matching. Chinese literals (for example
+        // string.json values in docstring) are real FTS tokens — do not skip them.
         let results = text
             ? this.searchNodesFTS(text, { kinds, languages, limit, offset })
             // Over-fetch by 5× when running filter-only (no text). The
-            // post-scoring path: + name: filters can be very selective, so      // a smaller multiplier risks returning fewer than `limit`
+            // post-scoring path: name: filters can be very selective, so
+            // a smaller multiplier risks returning fewer than `limit`
             // results despite the DB having plenty of matches.
             : this.searchAllByFilters({ kinds, languages, limit: limit * 5 });
         // If no FTS results, try LIKE-based substring search
@@ -1482,8 +1506,8 @@ class QueryBuilder {
     insertEdge(edge) {
         if (!this.stmts.insertEdge) {
             this.stmts.insertEdge = this.db.prepare(`
-        INSERT OR IGNORE INTO edges (source, target, kind, metadata, line, col, provenance)
-        VALUES (@source, @target, @kind, @metadata, @line, @col, @provenance)
+        INSERT OR IGNORE INTO edges (source, target, kind, metadata, line, col, provenance, synthesized_by)
+        VALUES (@source, @target, @kind, @metadata, @line, @col, @provenance, @synthesizedBy)
       `);
         }
         this.stmts.insertEdge.run({
@@ -1494,6 +1518,7 @@ class QueryBuilder {
             line: edge.line ?? null,
             col: edge.column ?? null,
             provenance: edge.provenance ?? null,
+            synthesizedBy: edgeSynthesizedBy(edge),
         });
     }
     /**
@@ -1698,8 +1723,8 @@ class QueryBuilder {
             .prepare(`DELETE FROM edges
          WHERE kind = 'calls'
            AND provenance = 'heuristic'
-           AND metadata LIKE '%"synthesizedBy":"arkanalyzer"%'
-           AND metadata LIKE '%"sourceFile"%'`)
+           AND synthesized_by = 'arkanalyzer'
+           AND json_extract(metadata, '$.sourceFile') IS NOT NULL`)
             .run();
         return result.changes;
     }

package/dist/db/schema.sql

@@ -52,6 +52,9 @@ CREATE TABLE IF NOT EXISTS edges (
     line INTEGER,
     col INTEGER,
     provenance TEXT DEFAULT NULL,
+    -- Channel of a heuristic edge (`metadata.synthesizedBy`). Written on insert
+    -- so re-index can delete by channel without matching JSON text (Spec 0053).
+    synthesized_by TEXT,
     FOREIGN KEY (source) REFERENCES nodes(id) ON DELETE CASCADE,
     FOREIGN KEY (target) REFERENCES nodes(id) ON DELETE CASCADE
 );
@@ -192,6 +195,7 @@ CREATE INDEX IF NOT EXISTS idx_unresolved_from_name ON unresolved_refs(from_node
 CREATE INDEX IF NOT EXISTS idx_unresolved_status ON unresolved_refs(status);
 CREATE INDEX IF NOT EXISTS idx_unresolved_failed_tail ON unresolved_refs(name_tail) WHERE status = 'failed';
 CREATE INDEX IF NOT EXISTS idx_edges_provenance ON edges(provenance);
+CREATE INDEX IF NOT EXISTS idx_edges_synthesized_by ON edges(synthesized_by) WHERE synthesized_by IS NOT NULL;
 
 -- Project metadata for version/provenance tracking
 CREATE TABLE IF NOT EXISTS project_metadata (

package/dist/extraction/grammars.js

@@ -529,7 +529,8 @@ function looksLikeCpp(source) {
     // routed through the C extractor (which extracts no classes), and its class
     // definition silently vanishes. The two-token shape (`<KW> <MACRO> <Name>`
     // before a `[:{]`) never occurs in valid C, so this can't misclassify C headers.
-    return /\bnamespace\b|\bclass\s+\w+\s*[:{]|\b(?:class|struct)\s+[A-Z][A-Z0-9_]+\s+\w+\s*(?:final\s*)?[:{]|\btemplate\s*<|\b(?:public|private|protected)\s*:|\bvirtual\b|\busing\s+(?:namespace\b|\w+\s*=)/.test(sample);
+    // `struct Derived : Base` is C++. A plain `struct Point {` stays C.
+    return /\bnamespace\b|\bclass\s+\w+\s*[:{]|\bstruct\s+\w+\s*:|\b(?:class|struct)\s+[A-Z][A-Z0-9_]+\s+\w+\s*(?:final\s*)?[:{]|\btemplate\s*<|\b(?:public|private|protected)\s*:|\bvirtual\b|\busing\s+(?:namespace\b|\w+\s*=)/.test(sample);
 }
 /**
  * Heuristic: does a .h file contain Objective-C constructs?

package/dist/extraction/languages/c-cpp.d.ts

@@ -102,6 +102,14 @@ export declare function blankMetalAttributes(source: string): string;
  * ALL-CAPS call that isn't markup only loses that one annotation, never a whole
  * class.
  */
+/**
+ * Mask C++ raw string literals (`R"delim(...)delim"`) so later blankers do not
+ * treat their contents as code. Offsets stay aligned with the original source.
+ */
+export declare function maskCppRawStrings(source: string): {
+    source: string;
+    restore: (blanked: string) => string;
+};
 export declare function blankCppAnnotationMacroCalls(source: string): string;
 export declare function blankCppApiPrefixMacros(source: string): string;
 export declare function blankCppInlineAnnotationMacros(source: string): string;

package/dist/extraction/languages/c-cpp.js

@@ -7,6 +7,7 @@ exports.blankCppExportMacros = blankCppExportMacros;
 exports.blankCppInlineMacros = blankCppInlineMacros;
 exports.recoverMangledCppName = recoverMangledCppName;
 exports.blankMetalAttributes = blankMetalAttributes;
+exports.maskCppRawStrings = maskCppRawStrings;
 exports.blankCppAnnotationMacroCalls = blankCppAnnotationMacroCalls;
 exports.blankCppApiPrefixMacros = blankCppApiPrefixMacros;
 exports.blankCppInlineAnnotationMacros = blankCppInlineAnnotationMacros;
@@ -493,6 +494,49 @@ function blankMetalAttributes(source) {
  * ALL-CAPS call that isn't markup only loses that one annotation, never a whole
  * class.
  */
+/**
+ * Mask C++ raw string literals (`R"delim(...)delim"`) so later blankers do not
+ * treat their contents as code. Offsets stay aligned with the original source.
+ */
+function maskCppRawStrings(source) {
+    const unchanged = { source, restore: (blanked) => blanked };
+    if (source.indexOf('R"') === -1)
+        return unchanged;
+    const re = /\/\/[^\r\n]*|\/\*[\s\S]*?(?:\*\/|$)|\b(?:u8|[LuU])?R"([^ \t\v\f\r\n()\\]{0,16})\(|"(?:\\[\s\S]|[^"\\])*(?:"|$)|(?<!\w)(?:u8|[LuU])?'(?:\\[\s\S]|[^'\\])*(?:'|$)/g;
+    const spans = [];
+    const parts = [];
+    let last = 0;
+    let m;
+    while ((m = re.exec(source)) !== null) {
+        if (m[1] === undefined)
+            continue;
+        const closer = `)${m[1]}"`;
+        const close = source.indexOf(closer, re.lastIndex);
+        const end = close < 0 ? source.length : close + closer.length;
+        spans.push({ start: m.index, end });
+        parts.push(source.slice(last, m.index), source.slice(m.index, end).replace(/[^\r\n]/g, '\0'));
+        last = re.lastIndex = end;
+    }
+    if (spans.length === 0)
+        return unchanged;
+    parts.push(source.slice(last));
+    const masked = parts.join('');
+    return {
+        source: masked,
+        restore(blanked) {
+            if (blanked === masked || blanked.length !== source.length)
+                return source;
+            const chars = blanked.split('');
+            for (const { start, end } of spans) {
+                for (let i = start; i < end; i++) {
+                    if (chars[i] === '\0')
+                        chars[i] = source[i];
+                }
+            }
+            return chars.join('');
+        },
+    };
+}
 function blankCppAnnotationMacroCalls(source) {
     if (!/^[ \t]*[A-Z][A-Z0-9_]{2,}\s*\(/m.test(source))
         return source;

package/dist/extraction/wasm-runtime-flags.d.ts

@@ -44,5 +44,9 @@ export declare function buildRelaunchArgv(scriptPath: string, scriptArgs: readon
  * On spawn failure, returns so the caller runs in-process anyway — risking the
  * OOM is still better than refusing to start.
  */
+/** Bun is not V8 — `--liftoff-only` / `--max-old-space-size` relaunch does not apply. */
+export declare function isBunRuntime(g?: {
+    Bun?: unknown;
+}): boolean;
 export declare function relaunchWithWasmRuntimeFlagsIfNeeded(scriptPath: string): void;
 //# sourceMappingURL=wasm-runtime-flags.d.ts.map

package/dist/extraction/wasm-runtime-flags.js

@@ -6,6 +6,7 @@ exports.maxOldSpaceSizeFlag = maxOldSpaceSizeFlag;
 exports.processHasWasmRuntimeFlags = processHasWasmRuntimeFlags;
 exports.processHasRequiredRuntimeFlags = processHasRequiredRuntimeFlags;
 exports.buildRelaunchArgv = buildRelaunchArgv;
+exports.isBunRuntime = isBunRuntime;
 exports.relaunchWithWasmRuntimeFlagsIfNeeded = relaunchWithWasmRuntimeFlagsIfNeeded;
 /**
  * WASM runtime flags — workaround for the V8 turboshaft WASM Zone OOM.
@@ -134,6 +135,10 @@ function buildRelaunchArgv(scriptPath, scriptArgs, execArgv = process.execArgv)
  * On spawn failure, returns so the caller runs in-process anyway — risking the
  * OOM is still better than refusing to start.
  */
+/** Bun is not V8 — `--liftoff-only` / `--max-old-space-size` relaunch does not apply. */
+function isBunRuntime(g = globalThis) {
+    return typeof g.Bun !== 'undefined';
+}
 function relaunchWithWasmRuntimeFlagsIfNeeded(scriptPath) {
     if (processHasRequiredRuntimeFlags())
         return;
@@ -141,6 +146,10 @@ function relaunchWithWasmRuntimeFlagsIfNeeded(scriptPath) {
         return;
     if (process.env.HOMEGRAPH_NO_RELAUNCH)
         return;
+    // Product hosts (e.g. DevEco Code) spawn MCP under Bun; V8 flags would be
+    // ignored or break relaunch. Stay in-process.
+    if (isBunRuntime())
+        return;
     const argv = buildRelaunchArgv(scriptPath, process.argv.slice(2));
     const result = (0, child_process_1.spawnSync)(process.execPath, argv, {
         stdio: 'inherit',

package/dist/graph/evidence-paths.d.ts

@@ -53,6 +53,8 @@ export declare function isEvidencePathNode(n: Node): boolean;
 export declare function completeEvidencePathCandidates(query: string, nodes: Node[], lookup: (qualifiedName: string, limit: number) => Node[], plan?: QueryPlan): Node[];
 /** Resolve only actual candidate identities; a bare homonym never selects the first hit. */
 export declare function resolveEvidencePathGoal(query: string, nodes: Node[], focusIds: Set<string>, plan?: QueryPlan): EvidencePathGoal;
+/** Framework-labelled static UI wiring; never treat an arbitrary reference as rendering. */
+export declare function isArkuiScopeEdge(edge: Edge): boolean;
 export declare function evidenceEdgeCost(edge: Edge, goal: EvidencePathGoal): number | null;
 export declare function evidenceEdgeKey(edge: Edge): string;
 /** One bounded search per request. Each orientation follows directed edges throughout. */

package/dist/graph/evidence-paths.js

@@ -4,6 +4,7 @@ exports.EVIDENCE_PATH_LIMITS = void 0;
 exports.isEvidencePathNode = isEvidencePathNode;
 exports.completeEvidencePathCandidates = completeEvidencePathCandidates;
 exports.resolveEvidencePathGoal = resolveEvidencePathGoal;
+exports.isArkuiScopeEdge = isArkuiScopeEdge;
 exports.evidenceEdgeCost = evidenceEdgeCost;
 exports.evidenceEdgeKey = evidenceEdgeKey;
 exports.searchEvidencePaths = searchEvidencePaths;
@@ -108,11 +109,18 @@ function edgeSemantics(edge) {
         || ['callback', 'event-emitter', 'closure-collection', 'fn-pointer-dispatch', 'arkui-emitter', 'arkui-common-event', 'arkui-taskpool'].includes(String(by));
     return { state, event };
 }
+/** Framework-labelled static UI wiring; never treat an arbitrary reference as rendering. */
+function isArkuiScopeEdge(edge) {
+    const by = edge.metadata?.synthesizedBy;
+    return (edge.kind === 'references' || edge.kind === 'calls' || edge.kind === 'contains') && ((by === 'viewtree' && ['child-component', 'builder', 'builder-param'].includes(String(edge.metadata?.via)))
+        || (by === 'arkui-ownership' && edge.metadata?.via === 'build') || by === 'arkui-child' || by === 'arkui-named-nav' || by === 'arkts-route-map' || by === 'arkui-route');
+}
 function evidenceEdgeCost(edge, goal) {
     const { state, event } = edgeSemantics(edge);
     let relevanceCost;
     if (goal.kind === 'structure') {
-        if (!['extends', 'implements', 'overrides', 'instantiates'].includes(edge.kind))
+        if (!['extends', 'implements', 'overrides', 'instantiates'].includes(edge.kind)
+            && !(process.env.HOMEGRAPH_ARKTS_IMPLEMENTATION_CONTEXT !== '0' && isArkuiScopeEdge(edge)))
             return null;
         relevanceCost = 0;
     }
@@ -143,7 +151,7 @@ function searchEvidencePaths(graph, goal, options = {}) {
     const neighbors = new Map();
     const paths = [];
     const missing = [];
-    const kinds = goal.kind === 'structure' ? ['extends', 'implements', 'overrides', 'instantiates'] : ['calls', 'references'];
+    const kinds = goal.kind === 'structure' ? ['extends', 'implements', 'overrides', 'instantiates', ...(process.env.HOMEGRAPH_ARKTS_IMPLEMENTATION_CONTEXT !== '0' ? ['calls', 'references', 'contains'] : [])] : ['calls', 'references'];
     const alive = () => {
         if (now() - started >= limits.milliseconds) {
             hits.add('time');
@@ -179,7 +187,16 @@ function searchEvidencePaths(graph, goal, options = {}) {
         stats.rowsRead += rows.length;
         if (rows.length > limits.perNode)
             hits.add('neighbors');
-        const valid = rows.slice(0, limits.perNode).filter(e => evidenceEdgeCost(e, goal) !== null
+        const valid = rows.slice(0, limits.perNode).map(e => {
+            if (goal.kind === 'structure' && e.kind === 'contains' && process.env.HOMEGRAPH_ARKTS_IMPLEMENTATION_CONTEXT !== '0') {
+                const from = node(e.source);
+                const to = node(e.target);
+                if (from && ['component', 'struct'].includes(from.kind) && to?.kind === 'method' && to.name === 'build') {
+                    return { ...e, metadata: { ...e.metadata, synthesizedBy: 'arkui-ownership', via: 'build' } };
+                }
+            }
+            return e;
+        }).filter(e => evidenceEdgeCost(e, goal) !== null
             && node(e.source) && node(e.target)).sort((a, b) => evidenceEdgeCost(a, goal) - evidenceEdgeCost(b, goal)
             || evidenceEdgeKey(a).localeCompare(evidenceEdgeKey(b)));
         adjacency.set(key, valid);

package/dist/index.js

@@ -854,7 +854,13 @@ class HomeGraph {
             }
             const filesChanged = result.filesAdded + result.filesModified + result.filesRemoved;
             return { filesChanged, durationMs: result.durationMs };
-        }, options);
+        }, {
+            ...options,
+            indexedFingerprint: options.indexedFingerprint ?? ((rel) => {
+                const rec = this.getFile(rel);
+                return rec ? { size: rec.size, modifiedAt: rec.modifiedAt } : null;
+            }),
+        });
         return this.watcher.start();
     }
     /**