homegraph 1.5.10 → 1.6.1

package/CHANGELOG.md

@@ -10,6 +10,30 @@ and adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 ## [Unreleased]
 
 
+## [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
+
+- MCP auto-init (Spec 0049): empty workspace roots no longer create `.homegraph/` on `--auto-init` / `HOMEGRAPH_AUTO_INIT` (fixes DevEco in-place `devecocli create` hitting `PROJECT_EXISTS` because only an index dir existed). A 60s probe (`HOMEGRAPH_DEFER_PROBE_MS`; `0` = tool-kick only) and the first `homegraph_*` call re-check `isIndexableRoot` (root `build-profile.json5` or any indexable source); once non-empty, the existing fast-map + background full index path runs once. Status footers stay the product empty/fast/full/dirty/syncing lines. Lifecycle logging no longer mkdir's `.homegraph/` just to write `daemon.log`.
+- Harmony locate seams (Spec 0048): index `form_config.json` / `shortcuts_config.json` (plus module.json5 form extensionAbilities and shortcuts/form metadata) as searchable capability nodes — explore may lead with **Capability profiles**, or an explicit no-in-repo form note instead of SDK `.d.ts`. Resource hits can append in-repo `$r('app.string.<key>')` **bound** `.ets` anchors. `homegraph_project` adds a **Module roster** (oh-package + local `file:` deps) and lists capability profile paths separately from rawfile. Explore may prepend **Seam notes** for nearby profiles and empty/log-only stubs.
+- MCP product lifecycle (Spec 0047): main-thread liveness watchdog is **off by default** (enable with `HOMEGRAPH_WATCHDOG=1`; `HOMEGRAPH_NO_WATCHDOG=1` still forces off) so concurrent DevEco init no longer gets false "Main thread unresponsive" kills — file watch / incremental sync unchanged. Shared daemon idle linger defaults to **60s** after the last client disconnects; if auto-init/full index is still in `building_fast`/`indexing`, idle exit waits until that build settles, then starts the 60s linger. While any client is connected the daemon never idle-exits.
+- MCP runtime log (Spec 0046): always-on coarse lifecycle lines (`mcp.start` / `mcp.initialize` / `auto-init.*` / `index.*` / `watcher.degraded`) go to stderr and `.homegraph/daemon.log` (same file daemon stdio already uses); soft-rotate at ~5 MiB to `daemon.log.1`. Set `HOMEGRAPH_DEBUG=1` for per-tool summaries (`tool.<name>` with duration / error / truncated query). No new `logs/` directory; default is not a full request ledger.
+- ArkUI index-time edge synthesis (Spec 0045): `build` / `@Builder` bodies that call another in-repo `@Component` / `@Builder` gain `arkui-child` edges (ambiguous names dropped); literal `pushPathByName` / `replacePathByName` / `pushNamedRoute({ name })` link to indexed `route` nodes as `arkui-named-nav`. Complements existing `arkui-route` (`pushUrl`) and Spec 0039 route_map edges — no query-time synthesis.
+- Explore locate contract (Spec 0044): Chinese/UI **literal witness** files stay in the first pack and rank ahead of Logger/hilog/Toast spines unless the query names those APIs; **Located** / **Partial** / **Miss** banners (Partial next-step → `node`/`usages`/`search`, no same-name Grep); Miss omits source bodies and lists fuzzy paths; filename≠primary-declaration risk note; `homegraph_node` for symbols already on the explore locate list bypasses the Partial depth-fuse cap. Dynamic-edge synthesis (10.3) remains deferred.
+- When an MCP session already has a bound default project (`--path` / opened root), a tool `projectPath` that resolves to a **different** `.homegraph/` index root is soft-pinned: HomeGraph keeps answering from the bound root and prepends a short English notice (not `isError`). Same-root nested paths are unchanged; sessions with no default project still open cross-project indexes (Spec 0043).
+- In-repo locate for explore: `taskContext` no longer enters the lexical/FTS query string (quoted literals from it still merge); PascalCase identifiers (≥8 chars) seed exact file/symbol roots like `Foo.ets`; business-oriented queries default `sourceScope=local` so SDK `.d.ts` stubs do not become roots; MCP trails / used-by / evidence packs hide `@dummyFile` and `%AM*` noise. `homegraph_project` adds a bounded HarmonyOS **resources path inventory** (string.json / rawfile / media dir counts / on-disk modules with zero indexed sources) — paths only, no JSON bodies or edges (Spec 0042).
+- Harmony `resources/**/element/string.json` is indexed as searchable `constant` nodes (key + UI value in FTS). Explore may lead with a short **Resource hits** table and a `$r('app.string.<key>')` Grep hint — **no** graph edges to controls. Color/media/rawfile stay out of scope (Spec 0041).
+- `homegraph_project` on Harmony repos now prints a **skeleton summary**: `bundle` from `app.json5`, a note that modules come from `build-profile.json5`, per-module `route profile:` paths (`route_map` / `router_map` / `main_pages`), and `oh-package` names when present. Still no call edges or profile JSON bodies — use explore for route→page (Spec 0039) and Read to edit. Tool descriptions and MCP initialize instructions spell out project vs explore (Spec 0040).
+- Harmony `route_map.json` / `router_map.json` / `main_pages.json` are indexed (basename allowlist) and linked into the graph as `route` nodes → page / `buildFunction` symbols. Edges carry `synthesizedBy: arkts-route-map` and `registeredAt` pointing at the config file so explore/trails show the JSON wiring site. When an explore query mentions those filenames, replies lead with a short **Registration sources** table — evidence from those profiles, reducing blind re-Read of the JSON (Spec 0039).
+- MCP tool replies that know the indexed project now begin with `HomeGraph project root: \`<absolute>\`` plus a one-line join rule: repo-relative paths below that root should be passed to Read/Grep as-is (or `<root>/<relative>` with `/`), without inventing experiment/result prefixes. MCP initialize instructions mention the same join base. Indexed path storage stays repo-relative (Spec 0038).
+
 ## [1.5.10] - 2026-09-20
 
 ### Fixes
@@ -21,6 +45,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).
@@ -256,3 +281,5 @@ and adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 [1.5.7]: https://github.com/fujiaxin-coder/homegraph/releases/tag/v1.5.7
 [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

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/db/queries.d.ts

@@ -46,6 +46,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

@@ -247,6 +247,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;
     }

package/dist/extraction/grammars.d.ts

@@ -45,6 +45,25 @@ export declare function isErlangAppFile(filePath: string): boolean;
 export declare function isPlayRoutesFile(filePath: string): boolean;
 /** HarmonyOS module manifest — parsed by the arkts-entry framework extractor. */
 export declare function isArkModuleJson5(filePath: string): boolean;
+/**
+ * Harmony Navigation / pages profile JSON (Spec 0039) — basename allowlist only.
+ * Parsed by arkts-entry; not general `.json` indexing.
+ */
+export declare function isHarmonyRouteProfileJson(filePath: string): boolean;
+/**
+ * Harmony element string resources (Spec 0041) — path allowlist only.
+ * `…/resources/…/element/string.json` (not bare string.json, not color/media).
+ * Indexed as yaml file-level + arkts-entry constants for FTS; no graph edges.
+ */
+export declare function isHarmonyElementStringJson(filePath: string): boolean;
+/**
+ * Harmony capability profiles (Spec 0048) — basename allowlist only.
+ * `form_config.json` (service widgets) and `shortcuts_config.json` (home-screen shortcuts).
+ * Indexed as yaml + arkts-entry constants; no UI call edges.
+ */
+export declare function isHarmonyCapabilityProfileJson(filePath: string): boolean;
+/** Config files that host ArkTS `route` nodes (module manifest + Spec 0039 profiles). */
+export declare function isHarmonyRouteConfigFile(filePath: string): boolean;
 /**
  * Initialize the tree-sitter WASM runtime. Must be called before loading grammars.
  * Does NOT load any grammar WASM files — use loadGrammarsForLanguages() for that.

package/dist/extraction/grammars.js

@@ -46,6 +46,10 @@ exports.isShopifyLiquidJson = isShopifyLiquidJson;
 exports.isErlangAppFile = isErlangAppFile;
 exports.isPlayRoutesFile = isPlayRoutesFile;
 exports.isArkModuleJson5 = isArkModuleJson5;
+exports.isHarmonyRouteProfileJson = isHarmonyRouteProfileJson;
+exports.isHarmonyElementStringJson = isHarmonyElementStringJson;
+exports.isHarmonyCapabilityProfileJson = isHarmonyCapabilityProfileJson;
+exports.isHarmonyRouteConfigFile = isHarmonyRouteConfigFile;
 exports.initGrammars = initGrammars;
 exports.vendoredWasmFilenames = vendoredWasmFilenames;
 exports.readGrammarWasmBytes = readGrammarWasmBytes;
@@ -235,6 +239,12 @@ function isSourceFile(filePath, overrides) {
         return true; // Play `conf/routes` is extensionless
     if (isArkModuleJson5(filePath))
         return true;
+    if (isHarmonyRouteProfileJson(filePath))
+        return true; // Spec 0039
+    if (isHarmonyElementStringJson(filePath))
+        return true; // Spec 0041
+    if (isHarmonyCapabilityProfileJson(filePath))
+        return true; // Spec 0048
     if (isShopifyLiquidJson(filePath))
         return true; // Shopify OS 2.0 JSON templates / section groups
     if (isErlangAppFile(filePath))
@@ -280,6 +290,35 @@ function isPlayRoutesFile(filePath) {
 function isArkModuleJson5(filePath) {
     return filePath.endsWith('module.json5');
 }
+/**
+ * Harmony Navigation / pages profile JSON (Spec 0039) — basename allowlist only.
+ * Parsed by arkts-entry; not general `.json` indexing.
+ */
+function isHarmonyRouteProfileJson(filePath) {
+    const base = filePath.replace(/\\/g, '/').split('/').pop()?.toLowerCase() ?? '';
+    return base === 'route_map.json' || base === 'router_map.json' || base === 'main_pages.json';
+}
+/**
+ * Harmony element string resources (Spec 0041) — path allowlist only.
+ * `…/resources/…/element/string.json` (not bare string.json, not color/media).
+ * Indexed as yaml file-level + arkts-entry constants for FTS; no graph edges.
+ */
+function isHarmonyElementStringJson(filePath) {
+    return /(?:^|\/)resources\/(?:[^/]+\/)*element\/string\.json$/i.test(filePath.replace(/\\/g, '/'));
+}
+/**
+ * Harmony capability profiles (Spec 0048) — basename allowlist only.
+ * `form_config.json` (service widgets) and `shortcuts_config.json` (home-screen shortcuts).
+ * Indexed as yaml + arkts-entry constants; no UI call edges.
+ */
+function isHarmonyCapabilityProfileJson(filePath) {
+    const base = filePath.replace(/\\/g, '/').split('/').pop()?.toLowerCase() ?? '';
+    return base === 'form_config.json' || base === 'shortcuts_config.json';
+}
+/** Config files that host ArkTS `route` nodes (module manifest + Spec 0039 profiles). */
+function isHarmonyRouteConfigFile(filePath) {
+    return isArkModuleJson5(filePath) || isHarmonyRouteProfileJson(filePath);
+}
 /**
  * Caches for loaded grammars and parsers
  */
@@ -450,8 +489,12 @@ function detectLanguage(filePath, source, overrides) {
         return 'yaml';
     if (isArkModuleJson5(filePath))
         return 'yaml';
-    if (isArkModuleJson5(filePath))
+    if (isHarmonyRouteProfileJson(filePath))
         return 'yaml';
+    if (isHarmonyElementStringJson(filePath))
+        return 'yaml'; // Spec 0041
+    if (isHarmonyCapabilityProfileJson(filePath))
+        return 'yaml'; // Spec 0048
     const ext = filePath.substring(filePath.lastIndexOf('.')).toLowerCase();
     // Shopify OS 2.0 JSON templates / section groups → the Liquid extractor (it
     // links each section `"type"` to its `sections/<type>.liquid`).

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/mcp/arkts-evidence-packs.d.ts

@@ -1,3 +1,6 @@
+import { type SdkModule } from './implementation-context';
+import { type RequestContract } from '../search/request-contract';
+import { type RequestEvidence, type ControlEvidence } from './request-evidence';
 import type HomeGraph from '../index';
 import type { Edge, Node } from '../types';
 import type { ExploreEmission } from './explore-session-state';
@@ -22,6 +25,15 @@ interface EvidencePack {
     sources: string[];
     priority: number;
     gaps: EvidenceGap[];
+    context?: {
+        label: string;
+        notes: string[];
+        sdk?: {
+            module: string;
+            version: string;
+            nodes: Node[];
+        };
+    };
     relation?: RelationEvidence;
     path?: {
         id: string;
@@ -36,6 +48,9 @@ export interface ArktsEvidenceResult {
         version: 1 | 2;
         scope: 'bounded_static_evidence';
         status: 'complete' | 'partial' | 'empty';
+        requestEvidence?: RequestEvidence;
+        controls?: ControlEvidence[];
+        implementationContext?: Array<NonNullable<EvidencePack['context']>>;
         selectedPacks: string[];
         gaps: EvidenceGap[];
         relations: NonNullable<EvidencePack['relation']>[];
@@ -62,6 +77,8 @@ export declare function buildArktsEvidencePacks(graph: Pick<HomeGraph, 'getNode'
     maxChars: number;
     maxFiles?: number;
     pathSearch?: EvidencePathSearch;
+    requestContract?: RequestContract;
+    sdkModule?: (module: string) => SdkModule | undefined;
 }): ArktsEvidenceResult | null;
 export {};
 //# sourceMappingURL=arkts-evidence-packs.d.ts.map