feat(managed): project static evidence into application graph

2026-07-16 21:16:11 +08:00 · 2026-07-16 21:16:11 +08:00 · 77178bba54
parent 4df42ab616
commit 77178bba54
189 changed files with 2264 additions and 404 deletions
--- a/README.md
+++ b/README.md
@ -322,17 +322,17 @@ REA handles the app analysis in steps 1–5. The agent performs step 6 with its

 ## Tool catalog for investigation

-| Tool family               | Count | Examples                                                                                                                                                                                                    |
-| ------------------------- | ----: | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| Native inspection         |    33 | procedures, pseudocode, assembly, strings, names, segments, callers, callees, xrefs, annotations                                                                                                            |
-| Investigation workflows   |    10 | `binary_overview`, `analyze_function`, `batch_decompile`, `trace_feature`, call graphs, Swift and Objective-C discovery                                                                                     |
-| Native macOS utilities    |     5 | Mach-O metadata, code signatures, plists, architectures, Swift demangling; Hopper-free and provenance-bearing                                                                                               |
-| Artifact graph            |     2 | deterministic directory, ZIP/APK/IPA, and ASAR inventory; explicitly selected extraction into an absent owned tree                                                                                          |
-| Managed PE/CLI            |     7 | PE/CLI identity, metadata members, CIL hashes, P/Invoke/native-boundary declarations and verification, decompiler reconstruction import, token remapping, runtime-correlation plans, and version comparison |
-| Browser observation       |     8 | exact-origin CDP capture, bundle and source-map analysis, WebMCP discovery, session timelines, capture diff, and visual evidence                                                                            |
-| Electron analysis         |     4 | passive root-confined observation, bounded static application mapping, and evidence-backed static/runtime reconciliation                                                                                    |
-| Application workflows     |     3 | bounded cross-layer traces, unique-only version matching, and approved Linux-isolated extracted-module replay                                                                                               |
-| Workspace and observation |    18 | target lifecycle, Evidence v2 bundles, process/artifact/function comparison, evidence-linked residual-unknown lifecycle                                                                                     |
+| Tool family               | Count | Examples                                                                                                                                                                                                                                  |
+| ------------------------- | ----: | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| Native inspection         |    33 | procedures, pseudocode, assembly, strings, names, segments, callers, callees, xrefs, annotations                                                                                                                                          |
+| Investigation workflows   |    10 | `binary_overview`, `analyze_function`, `batch_decompile`, `trace_feature`, call graphs, Swift and Objective-C discovery                                                                                                                   |
+| Native macOS utilities    |     5 | Mach-O metadata, code signatures, plists, architectures, Swift demangling; Hopper-free and provenance-bearing                                                                                                                             |
+| Artifact graph            |     2 | deterministic directory, ZIP/APK/IPA, and ASAR inventory; explicitly selected extraction into an absent owned tree                                                                                                                        |
+| Managed PE/CLI            |     8 | PE/CLI identity, metadata members, CIL hashes, P/Invoke/native-boundary declarations and verification, application-graph projection, decompiler reconstruction import, token remapping, runtime-correlation plans, and version comparison |
+| Browser observation       |     8 | exact-origin CDP capture, bundle and source-map analysis, WebMCP discovery, session timelines, capture diff, and visual evidence                                                                                                          |
+| Electron analysis         |     4 | passive root-confined observation, bounded static application mapping, and evidence-backed static/runtime reconciliation                                                                                                                  |
+| Application workflows     |     3 | bounded cross-layer traces, unique-only version matching, and approved Linux-isolated extracted-module replay                                                                                                                             |
+| Workspace and observation |    18 | target lifecycle, Evidence v2 bundles, process/artifact/function comparison, evidence-linked residual-unknown lifecycle                                                                                                                   |

 The public interface describes what the agent is trying to learn. Providers decide how to answer. macOS utilities handle common semantic inspection without launching Hopper; Hopper handles deeper native analysis; the process harness implements controlled behavioral capture.

@ -348,7 +348,7 @@ REA is already useful for native application, browser, and Electron investigatio
 - Reconstruct bounded static package, entrypoint, Webpack/Rspack module, import, worker, endpoint, storage, source-map, BrowserWindow, preload, contextBridge, IPC, utility-process, and native-add-on structure from an approved local directory or ASAR through `analyze_javascript_application` or `rea analyze-javascript-application`. The AST-only [application service](docs/javascript-artifact-reconstruction.md) never executes bootstrap code, pairs only unique exact literal IPC channels, and reports dynamic or ambiguous channels as unresolved.
 - Reconcile that static graph with existing passive web or Electron Evidence through `reconcile_javascript_runtime` or `rea reconcile-javascript-runtime`. Exact captured bytes outrank caller-declared file/URL mappings; target, frame, script, worker, cache, and asset ambiguity stays explicit, source-map authority stays separate, and a module resident in an observed bundle is never reported as executed. See [JavaScript static/runtime reconciliation](docs/javascript-runtime-reconciliation.md).
 - Trace a literal route, string, API, IPC channel, module, or native export through authenticated application Evidence with explicit traversal bounds, then hand exact native artifact digests and requested exports to retained Ghidra or Hopper Evidence without automatic provider switching. Compare application versions using unique-only digest, source-map, structural, and semantic tiers; duplicate, incomplete, and truncated matches stay unknown. See [cross-layer JavaScript application workflows](docs/javascript-application-workflows.md).
- Classify PE/CLI managed artifacts with `inspect_managed_artifact` / `rea inspect-managed-artifact`, inspect bounded metadata members, signatures, method-body CIL hashes, exception regions, call edges, and field-access anchors with `inspect_managed_members` / `rea inspect-managed-members`, inventory declared ModuleRef/ImplMap/PInvoke and non-IL method boundary indicators with `inspect_managed_native_boundaries` / `rea inspect-managed-native-boundaries`, then compare two authenticated member observations with `compare_managed_members` / `rea compare-managed-members`. The comparison remaps build-local tokens using unique CIL/signature and structural method-shape tiers, never names alone. `import_managed_reconstruction` / `rea import-managed-reconstruction` admits user-supplied decompiler C#/IL/pseudocode as analyst inference only after exact artifact SHA-256, MVID, signature, and normalized IL commitments match. Separately, `plan_managed_runtime_correlation` / `rea plan-managed-runtime-correlation` can admit a default-disabled, permission-gated runtime-correlation plan locked to the same build evidence. These paths never load the assembly, resolve CLR dependencies, execute target code, run a decompiler, or translate managed tokens into native addresses; verified native export/function matching and an actual runtime executor remain future managed-code contracts.
+- Classify PE/CLI managed artifacts with `inspect_managed_artifact` / `rea inspect-managed-artifact`, inspect bounded metadata members, signatures, method-body CIL hashes, exception regions, call edges, and field-access anchors with `inspect_managed_members` / `rea inspect-managed-members`, inventory declared ModuleRef/ImplMap/PInvoke and non-IL method boundary indicators with `inspect_managed_native_boundaries` / `rea inspect-managed-native-boundaries`, then compare two authenticated member observations with `compare_managed_members` / `rea compare-managed-members`. `verify_managed_native_boundaries` / `rea verify-managed-native-boundaries` checks managed P/Invoke declarations against authenticated native export or function Evidence while keeping verified, inferred, contradicted, and unresolved states distinct. The comparison remaps build-local tokens using unique CIL/signature and structural method-shape tiers, never names alone. `project_managed_application_graph` / `rea project-managed-application-graph` projects authenticated managed artifact/member/native-boundary Evidence into the existing application graph for cross-layer feature tracing. `import_managed_reconstruction` / `rea import-managed-reconstruction` admits user-supplied decompiler C#/IL/pseudocode as analyst inference only after exact artifact SHA-256, MVID, signature, and normalized IL commitments match. Separately, `plan_managed_runtime_correlation` / `rea plan-managed-runtime-correlation` can admit a default-disabled, permission-gated runtime-correlation plan locked to the same build evidence. These paths never load the assembly, resolve CLR dependencies, execute target code, run a decompiler, or translate managed tokens into native addresses; native-body bridge mapping and an actual runtime executor remain future managed-code contracts.
 - Traverse content-addressed artifact graphs without extraction; on macOS, read-only DMG traversal additionally requires `native_mount_approved: true` and `REA_ARTIFACT_NATIVE_MOUNT_ENABLED=true`. Materialize only approved occurrences into absent output roots.
 - Build bounded function dossiers with pseudocode, assembly, CFG edges, comments, calls, references, strings, and names.
 - Search and trace features across symbols, strings, metadata, references, and call paths.
--- a/README_ar.md
+++ b/README_ar.md
@ -159,17 +159,17 @@ rea uninstall --purge-data

 ## منصة أدوات التحقيق

-| عائلة الأدوات         | العدد | أمثلة                                                                                                                                                                                       |
-| --------------------- | ----: | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| فحص الملفات التنفيذية |    33 | الدوال، والشيفرة شبه المصدرية، والتعليمات، والسلاسل، والأسماء، والمراجع، والتعليقات                                                                                                         |
-| التحليل المركب        |    10 | النظرة العامة، وفك الترجمة الدفعي، ومخططات الاستدعاء، والمراجع، واكتشاف الأنواع                                                                                                             |
-| أدوات macOS الأصلية   |     5 | بيانات Mach-O والتوقيعات وملفات plist والمعماريات وفك رموز Swift دون تشغيل Hopper                                                                                                           |
-| رسم القطع الأثرية     |     2 | جرد حتمي للدلائل وZIP/APK/IPA وASAR واستخراج معاملاتي محدد صراحة                                                                                                                            |
-| Managed PE/CLI        |     7 | هوية PE/CLI، أعضاء البيانات الوصفية، بصمات CIL، تصريحات P/Invoke/الحدود الأصلية والتحقق منها، استيراد إعادة البناء من فك الترجمة، إعادة ربط الرموز، خطط ترابط وقت التشغيل ومقارنة الإصدارات |
-| مراقبة المتصفح        |     8 | التقاط CDP محدود الأصل وتحليل الحزم وخرائط المصدر واكتشاف WebMCP والفروق والأدلة المرئية                                                                                                    |
-| تحليل Electron        |     4 | مراقبة سلبية ضمن جذور canonical، ورسم ثابت ومحدود للتطبيق، ومطابقة ثابتة/وقت تشغيل قائمة على Evidence                                                                                       |
-| سير عمل التطبيقات     |     3 | تتبع محدود ومقارنة إصدارات فريدة وإعادة تشغيل وحدات معزولة ومعتمدة على Linux                                                                                                                |
-| جلسة الملف التنفيذي   |    18 | فتح الأهداف وحزم الأدلة ومقارنة العمليات والقطع والدوال وسجل المجهولات المتبقية                                                                                                             |
+| عائلة الأدوات         | العدد | أمثلة                                                                                                                                                                                                          |
+| --------------------- | ----: | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| فحص الملفات التنفيذية |    33 | الدوال، والشيفرة شبه المصدرية، والتعليمات، والسلاسل، والأسماء، والمراجع، والتعليقات                                                                                                                            |
+| التحليل المركب        |    10 | النظرة العامة، وفك الترجمة الدفعي، ومخططات الاستدعاء، والمراجع، واكتشاف الأنواع                                                                                                                                |
+| أدوات macOS الأصلية   |     5 | بيانات Mach-O والتوقيعات وملفات plist والمعماريات وفك رموز Swift دون تشغيل Hopper                                                                                                                              |
+| رسم القطع الأثرية     |     2 | جرد حتمي للدلائل وZIP/APK/IPA وASAR واستخراج معاملاتي محدد صراحة                                                                                                                                               |
+| Managed PE/CLI        |     8 | هوية PE/CLI، أعضاء البيانات الوصفية، بصمات CIL، تصريحات P/Invoke/الحدود الأصلية والتحقق منها، إسقاط رسم التطبيق، استيراد إعادة البناء من فك الترجمة، إعادة ربط الرموز، خطط ترابط وقت التشغيل ومقارنة الإصدارات |
+| مراقبة المتصفح        |     8 | التقاط CDP محدود الأصل وتحليل الحزم وخرائط المصدر واكتشاف WebMCP والفروق والأدلة المرئية                                                                                                                       |
+| تحليل Electron        |     4 | مراقبة سلبية ضمن جذور canonical، ورسم ثابت ومحدود للتطبيق، ومطابقة ثابتة/وقت تشغيل قائمة على Evidence                                                                                                          |
+| سير عمل التطبيقات     |     3 | تتبع محدود ومقارنة إصدارات فريدة وإعادة تشغيل وحدات معزولة ومعتمدة على Linux                                                                                                                                   |
+| جلسة الملف التنفيذي   |    18 | فتح الأهداف وحزم الأدلة ومقارنة العمليات والقطع والدوال وسجل المجهولات المتبقية                                                                                                                                |

 ## استخدام REA مع وكلاء برمجة آخرين

--- a/README_ja.md
+++ b/README_ja.md
@ -149,17 +149,17 @@ REA は手順 1〜5 のバイナリ解析を処理し、手順 6 はエージェ

 ## 調査ツールカタログ

-| ツール群               |  数 | 例                                                                                                                                                                            |
-| ---------------------- | --: | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| バイナリ調査           |  33 | プロシージャ、疑似コード、アセンブリ、文字列、名前、セグメント、callers、callees、xrefs、注釈                                                                                 |
-| 合成解析               |  10 | `binary_overview`, `analyze_function`, `batch_decompile`, `get_call_graph`, `find_xrefs_to_name`, Swift / ObjC 検出                                                           |
-| macOS ネイティブ       |   5 | Mach-O メタデータ、署名、plist、アーキテクチャ、Swift デマングル。Hopper 起動不要                                                                                             |
-| アーティファクトグラフ |   2 | ディレクトリ、ZIP/APK/IPA、ASAR の決定的一覧と明示選択されたトランザクション抽出                                                                                              |
-| Managed PE/CLI         |   7 | PE/CLI 識別、メタデータメンバー、CIL ハッシュ、P/Invoke/ネイティブ境界宣言と検証、逆コンパイル再構成インポート、構造的 token 再マッピング、ランタイム相関計画、バージョン比較 |
-| ブラウザ観察           |   8 | origin 限定 CDP 取得、bundle/source map 解析、WebMCP 検出、セッション、capture diff、視覚証拠                                                                                 |
-| Electron 解析          |   4 | canonical ファイルルート内の受動観察、有界な静的アプリマッピング、Evidence に基づく静的/実行時の照合                                                                          |
-| アプリケーション       |   3 | 有界なクロスレイヤー追跡、一意限定のバージョン比較、承認済み Linux 隔離 extracted-module replay                                                                               |
-| バイナリセッション     |  18 | `open_binary`、`binary_session`、証拠バンドル、プロセス／成果物／関数比較、残余未知レジストリ                                                                                 |
+| ツール群               |  数 | 例                                                                                                                                                                                                        |
+| ---------------------- | --: | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| バイナリ調査           |  33 | プロシージャ、疑似コード、アセンブリ、文字列、名前、セグメント、callers、callees、xrefs、注釈                                                                                                             |
+| 合成解析               |  10 | `binary_overview`, `analyze_function`, `batch_decompile`, `get_call_graph`, `find_xrefs_to_name`, Swift / ObjC 検出                                                                                       |
+| macOS ネイティブ       |   5 | Mach-O メタデータ、署名、plist、アーキテクチャ、Swift デマングル。Hopper 起動不要                                                                                                                         |
+| アーティファクトグラフ |   2 | ディレクトリ、ZIP/APK/IPA、ASAR の決定的一覧と明示選択されたトランザクション抽出                                                                                                                          |
+| Managed PE/CLI         |   8 | PE/CLI 識別、メタデータメンバー、CIL ハッシュ、P/Invoke/ネイティブ境界宣言と検証、アプリケーショングラフ投影、逆コンパイル再構成インポート、構造的 token 再マッピング、ランタイム相関計画、バージョン比較 |
+| ブラウザ観察           |   8 | origin 限定 CDP 取得、bundle/source map 解析、WebMCP 検出、セッション、capture diff、視覚証拠                                                                                                             |
+| Electron 解析          |   4 | canonical ファイルルート内の受動観察、有界な静的アプリマッピング、Evidence に基づく静的/実行時の照合                                                                                                      |
+| アプリケーション       |   3 | 有界なクロスレイヤー追跡、一意限定のバージョン比較、承認済み Linux 隔離 extracted-module replay                                                                                                           |
+| バイナリセッション     |  18 | `open_binary`、`binary_session`、証拠バンドル、プロセス／成果物／関数比較、残余未知レジストリ                                                                                                             |

 ## 他のコーディングエージェントで使う

--- a/README_ko.md
+++ b/README_ko.md
@ -149,17 +149,17 @@ REA는 1–5단계의 바이너리 분석을 처리합니다. 6단계는 에이

 ## 조사 도구 카탈로그

-| 도구 그룹           |  수 | 예시                                                                                                                                                  |
-| ------------------- | --: | ----------------------------------------------------------------------------------------------------------------------------------------------------- |
-| 바이너리 검사       |  33 | 프로시저, 의사 코드, 어셈블리, 문자열, 이름, 세그먼트, callers, callees, xrefs, 주석                                                                  |
-| 합성 분석           |  10 | `binary_overview`, `analyze_function`, `batch_decompile`, `get_call_graph`, `find_xrefs_to_name`, Swift 및 ObjC 탐색                                  |
-| macOS 네이티브 도구 |   5 | Mach-O 메타데이터, 코드 서명, plist, 아키텍처, Swift 디맹글링. Hopper 실행 불필요                                                                     |
-| 아티팩트 그래프     |   2 | 디렉터리, ZIP/APK/IPA, ASAR 결정적 인벤토리와 명시적으로 선택한 트랜잭션 추출                                                                         |
-| Managed PE/CLI      |   7 | PE/CLI ID, 메타데이터 멤버, CIL 해시, P/Invoke/네이티브 경계 선언 및 검증, 디컴파일 재구성 가져오기, 구조적 token 재매핑, 런타임 상관 계획, 버전 비교 |
-| 브라우저 관찰       |   8 | origin 제한 CDP 캡처, bundle/source map 분석, WebMCP 검색, 세션 타임라인, capture diff 및 시각 증거                                                   |
-| Electron 분석       |   4 | canonical 파일 루트 내 수동 관찰, 제한된 정적 앱 매핑, Evidence 기반 정적/런타임 조정                                                                 |
-| 애플리케이션        |   3 | 제한된 교차 계층 추적, 고유 일치 버전 비교, 승인된 Linux 격리 extracted-module replay                                                                 |
-| 바이너리 세션       |  18 | `open_binary`, `binary_session`, 증거 번들, 프로세스·아티팩트·함수 비교, 잔여 미지수 레지스트리                                                       |
+| 도구 그룹           |  수 | 예시                                                                                                                                                                            |
+| ------------------- | --: | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| 바이너리 검사       |  33 | 프로시저, 의사 코드, 어셈블리, 문자열, 이름, 세그먼트, callers, callees, xrefs, 주석                                                                                            |
+| 합성 분석           |  10 | `binary_overview`, `analyze_function`, `batch_decompile`, `get_call_graph`, `find_xrefs_to_name`, Swift 및 ObjC 탐색                                                            |
+| macOS 네이티브 도구 |   5 | Mach-O 메타데이터, 코드 서명, plist, 아키텍처, Swift 디맹글링. Hopper 실행 불필요                                                                                               |
+| 아티팩트 그래프     |   2 | 디렉터리, ZIP/APK/IPA, ASAR 결정적 인벤토리와 명시적으로 선택한 트랜잭션 추출                                                                                                   |
+| Managed PE/CLI      |   8 | PE/CLI ID, 메타데이터 멤버, CIL 해시, P/Invoke/네이티브 경계 선언 및 검증, 애플리케이션 그래프 투영, 디컴파일 재구성 가져오기, 구조적 token 재매핑, 런타임 상관 계획, 버전 비교 |
+| 브라우저 관찰       |   8 | origin 제한 CDP 캡처, bundle/source map 분석, WebMCP 검색, 세션 타임라인, capture diff 및 시각 증거                                                                             |
+| Electron 분석       |   4 | canonical 파일 루트 내 수동 관찰, 제한된 정적 앱 매핑, Evidence 기반 정적/런타임 조정                                                                                           |
+| 애플리케이션        |   3 | 제한된 교차 계층 추적, 고유 일치 버전 비교, 승인된 Linux 격리 extracted-module replay                                                                                           |
+| 바이너리 세션       |  18 | `open_binary`, `binary_session`, 증거 번들, 프로세스·아티팩트·함수 비교, 잔여 미지수 레지스트리                                                                                 |

 ## 다른 코딩 에이전트에서 사용하기

--- a/README_zh.md
+++ b/README_zh.md
@ -149,17 +149,17 @@ REA 负责第 1–5 步中的二进制分析。第 6 步由智能体使用其常

 ## 调查工具目录

-| 工具类别       | 数量 | 示例                                                                                                                            |
-| -------------- | ---: | ------------------------------------------------------------------------------------------------------------------------------- |
-| 二进制检查     |   33 | 过程、伪代码、汇编、字符串、名称、段、调用者、被调用者、交叉引用、注释                                                          |
-| 组合分析       |   10 | `binary_overview`, `analyze_function`, `batch_decompile`, `get_call_graph`, `find_xrefs_to_name`、Swift 与 ObjC 发现            |
-| macOS 原生工具 |    5 | Mach-O 元数据、代码签名、plist、架构与 Swift 符号还原，无需启动 Hopper                                                          |
-| 制品图谱       |    2 | 确定性目录、ZIP/APK/IPA 与 ASAR 清单，以及显式选择的事务式提取                                                                  |
-| Managed PE/CLI |    7 | PE/CLI 身份、元数据成员、CIL 哈希、P/Invoke/原生边界声明与验证、反编译重建导入、结构化 token 重映射、运行时关联计划与跨版本比较 |
-| 浏览器观察     |    8 | 精确来源 CDP 抓取、bundle/source map 分析、WebMCP 发现、会话时间线、capture diff 与视觉证据                                     |
-| Electron 分析  |    4 | 限定 canonical 文件根的被动观察、有界静态应用映射，以及基于 Evidence 的静态/运行时对账                                          |
-| 应用工作流     |    3 | 有界跨层追踪、唯一匹配跨版本图比较，以及经批准的 Linux 隔离 extracted-module replay                                             |
-| 二进制会话     |   18 | `open_binary`、`binary_session`、证据包、进程、制品与函数比较、残余未知项注册表                                                 |
+| 工具类别       | 数量 | 示例                                                                                                                                          |
+| -------------- | ---: | --------------------------------------------------------------------------------------------------------------------------------------------- |
+| 二进制检查     |   33 | 过程、伪代码、汇编、字符串、名称、段、调用者、被调用者、交叉引用、注释                                                                        |
+| 组合分析       |   10 | `binary_overview`, `analyze_function`, `batch_decompile`, `get_call_graph`, `find_xrefs_to_name`、Swift 与 ObjC 发现                          |
+| macOS 原生工具 |    5 | Mach-O 元数据、代码签名、plist、架构与 Swift 符号还原，无需启动 Hopper                                                                        |
+| 制品图谱       |    2 | 确定性目录、ZIP/APK/IPA 与 ASAR 清单，以及显式选择的事务式提取                                                                                |
+| Managed PE/CLI |    8 | PE/CLI 身份、元数据成员、CIL 哈希、P/Invoke/原生边界声明与验证、应用图谱投影、反编译重建导入、结构化 token 重映射、运行时关联计划与跨版本比较 |
+| 浏览器观察     |    8 | 精确来源 CDP 抓取、bundle/source map 分析、WebMCP 发现、会话时间线、capture diff 与视觉证据                                                   |
+| Electron 分析  |    4 | 限定 canonical 文件根的被动观察、有界静态应用映射，以及基于 Evidence 的静态/运行时对账                                                        |
+| 应用工作流     |    3 | 有界跨层追踪、唯一匹配跨版本图比较，以及经批准的 Linux 隔离 extracted-module replay                                                           |
+| 二进制会话     |   18 | `open_binary`、`binary_session`、证据包、进程、制品与函数比较、残余未知项注册表                                                               |

 ## 与其他编程智能体一起使用

--- a/docs/adr/0003-managed-code-evidence-and-provider-boundary.md
+++ b/docs/adr/0003-managed-code-evidence-and-provider-boundary.md
@ -22,8 +22,12 @@
  runtime-correlation admission planning is shipped through
  `plan_managed_runtime_correlation` / `rea plan-managed-runtime-correlation`;
  it does not attach, load, debug, reflect, instrument, invoke, or execute
-  target code. Native-body bridge mapping and an actual runtime executor remain
-  future contracts.
+  target code. Managed static graph projection is shipped through
+  `project_managed_application_graph` /
+  `rea project-managed-application-graph`; it projects authenticated managed
+  Evidence into the application graph without changing managed tokens into
+  native addresses. Native-body bridge mapping and an actual runtime executor
+  remain future contracts.

 ## Context

@ -406,6 +410,8 @@ or development-only oracles.
   planned.
 6. Add separately authorized runtime-correlation admission planning. Shipped;
   runtime execution remains planned.
+7. Project authenticated managed static Evidence into the application graph.
+   Shipped.

 Every gate must keep unsupported ReadyToRun, NativeAOT, IL2CPP, mixed-mode, or
 bundle cases explicit rather than broadening claims to make a fixture pass.
--- a/docs/api/assets/hierarchy.js
+++ b/docs/api/assets/hierarchy.js
@ -1 +1 @@
-window.hierarchyData = "eJytmV1vnDgUhv8L1y6LP8CQuzbKtllVmyjTKherKHLAmVhhbNZ40h1V/e+VYSYxwWQM2ZsJEN5zHuxj+/j4Z6SVMm108g8uCAQEw4Ta3zQDWQYxBjjHeQpSmKQIpDSnFOC8QDlAuIAY4ALnOUA5pcUNiDS/r3lphJJtdPIzshbtX8k2PDqJPkpW71rRnmmtdASiRyGr6ASiHERbXUcnUVmztuXtH5XaMCFvuX2vjQey+MFs6gj0r0YnkWmrD9bOh/4BiMoHUVeay+6DUguYpQAXFrsoMkCSpAAkQRiQBNuflAKSUHuV54DABAICUQoITDEgMLNX1P6jgICgjAKCaAEIyrtGQoBgnAAKYY5ufoHIenQ++ItqGq5nfq4jmvOxBCUIEGSREEoAQfbrELHAad6zZamnMy61MqpU9cJOGciP8HYQlHogzmWzNQsJXrQh7ovM4/5ia5b7d8THAWz4eQBOWcPuRC3M7rtkT0zU7K7mC3mmbYXgIezFkyWva14tRnL1IRjYh/FNbLha3E+uOgQhdQP1UqsnUXG94vv5bSaEXx+CQbEH42PFGjN7ZvGpQxDy3EH4pNWPluuLu5brJ7agKSYMBIDAZLCaaCPuWWkuGq6XcPj1IRjInUfPbJPKkp9Lw9damN1MDL9+1swPMb3pwDD1gF3xe67txUKwoT6kfQZr4MHMV7ERc4fuWBviPvN1z59i9oQ6koY4p+5YOZdPvDVi3YXXtdKPbcNm98MbRkKACnfMfJePUv2QV3wtWqPnhqpPHYCAEjTKiZZN5WNtiHs4dr90QfOpQxBQMkJYmHd5xCEAeJyWXvGNMnODcSQNcU6o7+tL3s7dCYy1Ie7TfOR+ZZheFnwvyhDXmfvlp0rei/V20WI11oa4p26u+bf6JCTTu4uGz/U+koY4z91v7/XfmF7zue0+kgY4x4Mxf8n1RrStUPKK/7sVevawnzAQAoLdkX/Fm5rtLmsmV4bNXo986uMI3Tbd2xirUjX82T1Ks4N7IQ3X96x8IWieRZeqFuUufmVlEuPZ1DBlQbhA0FYQMLzpGRGc7DDemndT7u0EcPY42I/zWTP5fpjOSiCKLaw4KNf8zuYD0ii9u+Kt2mqbOTbbQKgfjjyetDW7N3NadOWP7sKhXRm797zmdwfzCyhHNsIaDueYDrctolrzr2wry4cjFA/dRH/rKriO3dtghDydQOD63RB8evBP9BPOcVHc9GRFMVoUPzZNLcpuhRlBeiYnP+GkqYDiTJ6i8VJ92LQGoAwF8avbAP8FdFvl84OoNAsKmXX36q2r4Dp2b0NDphg0wdDguyGWhExBSB8yBSEjsi+cVTVv25B4eQvvtZ2gzqJoxBMSLAOO5+h4dRtQScSDsshBuU9Og6Km6d+9faWNvbYWDHaagy6m95XpQRpwWjX7QkxIm931r96OVbHnUciWENIhzJmti2klZ9K8lsW+ZyH5YuIrSz+Xhi6VPrbCspcp79YpjvcEXoNze5RgCDEgeZrgmx4aeou1teBHk5Qg2t5S2MzVnRj5jxeG/fkOnqMdOtFwKckgAQSjBPYNhxLfsdTB/CmTlaiYOZatzGJ+NrpgBqYIdGtjB5/SwV6+3x2teJdYvjVoXNqBKB7eHR8sNgCnCGYOlJE2Hj+ZO0psA9mW6k4s3yxcz4X1GvDUs5dgd/Nzh22DdVA12DSqFYaHzIwu7kgYj58c7ezuwNctp+7n1uWtOGEhnno+t/vt0mLbsTu8dkd5a86qddBmycX9iz2xValFYw7nBZ81ax5OlTT8PxO7VueiZtk+He8uBmXjQ8X9/wce2w6b37sj7mG+Y3OTU9aYrT5eyXAJPdLY9+xIcP769RuhMS6I"
+window.hierarchyData = "eJytmV1v3CgUhv+Lr6nXBvw1d+0o23ZVbaJMq1ysoojYZILqAS9mkh1V+e8V9kyCYxyDszfN2PV7zgMc4HD4FUghVBus/kEFjgHGKEkAxjjCIM1QHgNUpAiBBKIoAkkRwwTgKM5SAHGRQoCjFKUAFjnMr0Eg6V1NS8UEb4PVr0Bb1H852dFgFXzkpD60rD2TUsgABD8Zr4JVDHMQ7GUdrIKyJm1L2z8qsSOM31D9XRsOZOG92tUB6D8NVoFqqw/azof+BQjKe1ZXkvKuQQnS+AlARZYBVBQpwFFUABxBBHCE9D9JBnCU6V95DnAcxQB3bYwTBHCc6l+Z/o8iBhimGcAwKwCGeQYwiiHACEUggwlOrp9AoD0aDf4imoZKz+YaIp/GYhhBgKFGgjACGOrWQayBk7xnSxPLYFxIoUQp6oWDMpDP8HYQWWaB+MqbvVpI8KJ1cV+kFvfne7XcvyGeB9DhZwFYk4bcspqpww9OHgiryW1NF/JM23LBg8iKx0ta17RajGTqXTCQDeM721GxeJxMtQtCYgbqhRQPrKJyQ4/rmyeEXe+CkSELxseKNMp7ZbGpXRDy3ED4JMVjS+X5bUvlA1nQFRMGHEDiaLCbSMXuSKnOGyqXcNj1LhjQXEfPdJfykn7lim4lUwdPDLvea+WPUXbdgaHMAnZJ76jUPxaCDfUu/TPYA09mvrEd8526Y62L+9Q2PH8y7wV1JHVxnplz5St/oK1i2y68roT82TbEexzeMOICVJhz5gf/ycUjv6Rb1irpG6o2tQMCjOAoJ1q2lI+1Lu7jsfulG5pN7YIAoxHCwrzLInYBQOO09JLuhPINxpHUxTnObK0vaet7EhhrXdwn+cj9RhG5LPhelC6uU7Pla8Hv2Ha/aLMaa13cZ2au+bf4xDiRh/OG+nofSV2c52bbe/13IrfUt99HUgfnaDDnL6jcsbZlgl/Sf/dMek/7CQMuIMic+Ze0qcnhoiZ8o4j3fmRTzyN0x3RrZ2xK0dBn9zBJT+4ZV1TekfKFoHkWXYialYfwlZVJjGdTw5QF4iKLdAUhj657xiyaHDDaqndTHu04cPY4uR3nsyT8/TCdFUcUXVgxUK7orc4HuBLycElbsZc6c2z2jlCPhjyctOU9mkWO4+uedlDw2Sh99ryityfzCyhHNtw6DhUpTAfHFlZt6Tey5+X9DMV9t9DfmAoqQ/PRGWGw7Q4NvhuCTk/+iXFCRYqzYynIsid/bJqald0OM4K0LE52wklTbrWh1JYpdIdWB5ShIHz16HDQjQf79ed7VkniFDLb7tMbU0FlaD66hUxXWZ1AmA2ZeQj/kMFRXMDrnqyAI7IvlFQ1bVuXeHkL77Udp0rVIKnu7bgEy4DjOTpePTr4T5E5UiflMTl1ipqm//bmlTa02low2aEud8dpXxyIstRcmtdVcyzEuPTZbf/pzVgVWl45pEVwcEhfV82ZrotJwT1pXstC27t5Hn3pYasLn0pDF0LO7bDkZcm7MYrjPYHVoPdcxCiNAS6ypNtsu0dbsbZmdDZJcaLtLTmuXPrGyH69MBzPd/DMDuhExyVJrm+qMMZF33EY24rwJ/NrwitWETWXrXgxPxv1X4H1dU63N3bwaZHHo4PVhnaJ5VuTxqQdiMLh0/xk0QE4ReA5UUbacPzGt790B+me6m4s3yxc+8JaDVjq2Yuw9frcYetgHVQNdo1omaIuK6OJOxKG4zezg91d+Jrl1OPaurwXJyyEU+99+1FvLbofu8trc5a36qzaOh2WTNy/yAPZlJI16nRf8FmS5n4tuKL/qdC06ouaZsd0vPsxKBufKu7/P/DYttv63l1xD/MdnZusSaP2cr6SYRJapKHt3UxwPj39BjyALlA="
--- a/docs/api/assets/navigation.js
+++ b/docs/api/assets/navigation.js
--- a/docs/api/assets/search.js
+++ b/docs/api/assets/search.js
--- a/docs/api/classes/application_JavaScriptArtifactGraphAccumulator.JavaScriptArtifactGraphAccumulator.html
+++ b/docs/api/classes/application_JavaScriptArtifactGraphAccumulator.JavaScriptArtifactGraphAccumulator.html
--- a/docs/api/classes/application_PermissionAuthority.PermissionPathError.html
+++ b/docs/api/classes/application_PermissionAuthority.PermissionPathError.html
@ -14,7 +14,7 @@
 <section class="tsd-panel tsd-comment">
 <div class="tsd-comment tsd-typography"><p>Failure to establish a filesystem object's canonical authorization identity.</p>
 </div></section>
-<section class="tsd-panel tsd-hierarchy" data-refl="70976">
+<section class="tsd-panel tsd-hierarchy" data-refl="72339">
 <h4>Hierarchy</h4>
 <ul class="tsd-hierarchy">
 <li class="tsd-hierarchy-item"><span class="tsd-signature-type">Error</span>
--- a/docs/api/classes/application_ProcessCaptureError.ProcessCaptureError.html
+++ b/docs/api/classes/application_ProcessCaptureError.ProcessCaptureError.html
@ -14,7 +14,7 @@
 <section class="tsd-panel tsd-comment">
 <div class="tsd-comment tsd-typography"><p>Typed application failure produced by controlled process capture.</p>
 </div></section>
-<section class="tsd-panel tsd-hierarchy" data-refl="71182">
+<section class="tsd-panel tsd-hierarchy" data-refl="72545">
 <h4>Hierarchy (<a href="../hierarchy.html#application/ProcessCaptureError.ProcessCaptureError">View Summary</a>)</h4>
 <ul class="tsd-hierarchy">
 <li class="tsd-hierarchy-item"><a href="domain_errors.AnalysisError.html" class="tsd-signature-type tsd-kind-class">AnalysisError</a>
--- a/docs/api/classes/application_ProjectPermissionStore.ProjectPermissionStoreError.html
+++ b/docs/api/classes/application_ProjectPermissionStore.ProjectPermissionStoreError.html
@ -14,7 +14,7 @@
 <section class="tsd-panel tsd-comment">
 <div class="tsd-comment tsd-typography"><p>Owner-only project policy persistence failure.</p>
 </div></section>
-<section class="tsd-panel tsd-hierarchy" data-refl="72761">
+<section class="tsd-panel tsd-hierarchy" data-refl="74124">
 <h4>Hierarchy</h4>
 <ul class="tsd-hierarchy">
 <li class="tsd-hierarchy-item"><span class="tsd-signature-type">Error</span>
--- a/docs/api/classes/browser_CdpBrowserProvider.CdpBrowserProvider.html
+++ b/docs/api/classes/browser_CdpBrowserProvider.CdpBrowserProvider.html
--- a/docs/api/classes/browser_CdpCaptureCompleteness.CdpCaptureCompleteness.html
+++ b/docs/api/classes/browser_CdpCaptureCompleteness.CdpCaptureCompleteness.html
--- a/docs/api/classes/browser_CdpElectronProvider.CdpElectronProvider.html
+++ b/docs/api/classes/browser_CdpElectronProvider.CdpElectronProvider.html
--- a/docs/api/classes/domain_permissionPolicy.PermissionGrantError.html
+++ b/docs/api/classes/domain_permissionPolicy.PermissionGrantError.html
@ -14,7 +14,7 @@
 <section class="tsd-panel tsd-comment">
 <div class="tsd-comment tsd-typography"><p>A proposed grant exceeds the administrator-owned maximum authority.</p>
 </div></section>
-<section class="tsd-panel tsd-hierarchy" data-refl="23955">
+<section class="tsd-panel tsd-hierarchy" data-refl="25004">
 <h4>Hierarchy</h4>
 <ul class="tsd-hierarchy">
 <li class="tsd-hierarchy-item"><span class="tsd-signature-type">Error</span>
--- a/docs/api/classes/ghidra_GhidraLauncher.GhidraLaunchError.html
+++ b/docs/api/classes/ghidra_GhidraLauncher.GhidraLaunchError.html
@ -14,7 +14,7 @@
 <section class="tsd-panel tsd-comment">
 <div class="tsd-comment tsd-typography"><p>Local launch failure retained as the cause of a provider-neutral error.</p>
 </div></section>
-<section class="tsd-panel tsd-hierarchy" data-refl="38935">
+<section class="tsd-panel tsd-hierarchy" data-refl="40183">
 <h4>Hierarchy</h4>
 <ul class="tsd-hierarchy">
 <li class="tsd-hierarchy-item"><span class="tsd-signature-type">Error</span>
--- a/docs/api/classes/ghidra_GhidraSessionError.GhidraSessionError.html
+++ b/docs/api/classes/ghidra_GhidraSessionError.GhidraSessionError.html
@ -14,7 +14,7 @@
 <section class="tsd-panel tsd-comment">
 <div class="tsd-comment tsd-typography"><p>Provider-owned failure with bounded, token-redacted local diagnostics.</p>
 </div></section>
-<section class="tsd-panel tsd-hierarchy" data-refl="39108">
+<section class="tsd-panel tsd-hierarchy" data-refl="40356">
 <h4>Hierarchy</h4>
 <ul class="tsd-hierarchy">
 <li class="tsd-hierarchy-item"><span class="tsd-signature-type">Error</span>
--- a/docs/api/classes/ghidra_protocol.GhidraRemoteError.html
+++ b/docs/api/classes/ghidra_protocol.GhidraRemoteError.html
@ -14,7 +14,7 @@
 <section class="tsd-panel tsd-comment">
 <div class="tsd-comment tsd-typography"><p>Expected operation failure returned by the authenticated Java bridge.</p>
 </div></section>
-<section class="tsd-panel tsd-hierarchy" data-refl="39188">
+<section class="tsd-panel tsd-hierarchy" data-refl="40436">
 <h4>Hierarchy</h4>
 <ul class="tsd-hierarchy">
 <li class="tsd-hierarchy-item"><span class="tsd-signature-type">Error</span>
--- a/docs/api/functions/application_BrowserObservationService.compareWebCaptureEvidence.html
+++ b/docs/api/functions/application_BrowserObservationService.compareWebCaptureEvidence.html
--- a/docs/api/functions/application_CapabilityInventory.buildCapabilityInventory.html
+++ b/docs/api/functions/application_CapabilityInventory.buildCapabilityInventory.html
--- a/docs/api/functions/application_DirectAnalysis.runProviderAnalysis.html
+++ b/docs/api/functions/application_DirectAnalysis.runProviderAnalysis.html
@ -14,7 +14,7 @@
 <section class="tsd-panel">
 <ul class="tsd-signatures">
 <li class="">
-<div class="tsd-signature tsd-anchor-link" id="runprovideranalysis"><span class="tsd-kind-call-signature">runProviderAnalysis</span><span class="tsd-signature-symbol">(</span><br/>    <span class="tsd-kind-parameter">path</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-kind-parameter">tool</span><span class="tsd-signature-symbol">:</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inventory_artifact&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;extract_artifact&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_members&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_native_boundaries&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_macho&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_signature&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_plist&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;list_architectures&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;demangle_swift&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_artifact&quot;</span><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-kind-parameter">arguments_</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">Readonly</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">Record</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">,</span> <a href="../types/domain_jsonValue.JsonValue.html" class="tsd-signature-type tsd-kind-type-alias">JsonValue</a><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-kind-parameter">logger</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">Logger</span><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-kind-parameter">signal</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">AbortSignal</span><span class="tsd-signature-symbol">,</span><br/><span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">Promise</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">JSONType</span><span class="tsd-signature-symbol">&gt;</span><a href="#runprovideranalysis" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></div>
+<div class="tsd-signature tsd-anchor-link" id="runprovideranalysis"><span class="tsd-kind-call-signature">runProviderAnalysis</span><span class="tsd-signature-symbol">(</span><br/>    <span class="tsd-kind-parameter">path</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-kind-parameter">tool</span><span class="tsd-signature-symbol">:</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inventory_artifact&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;extract_artifact&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_members&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_native_boundaries&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_macho&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_artifact&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_signature&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_plist&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;list_architectures&quot;</span><br/>        <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;demangle_swift&quot;</span><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-kind-parameter">arguments_</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">Readonly</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">Record</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">,</span> <a href="../types/domain_jsonValue.JsonValue.html" class="tsd-signature-type tsd-kind-type-alias">JsonValue</a><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-kind-parameter">logger</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">Logger</span><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-kind-parameter">signal</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">AbortSignal</span><span class="tsd-signature-symbol">,</span><br/><span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">Promise</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">JSONType</span><span class="tsd-signature-symbol">&gt;</span><a href="#runprovideranalysis" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></div>
 <div class="tsd-description">
 <div class="tsd-comment tsd-typography"><p>Execute one provider-native semantic operation with atomic provenance.</p>
 </div>
@ -22,7 +22,7 @@
 <h4 class="tsd-parameters-title">Parameters</h4>
 <ul class="tsd-parameter-list">
 <li><span><span class="tsd-kind-parameter">path</span>: <span class="tsd-signature-type">string</span></span></li>
-<li><span><span class="tsd-kind-parameter">tool</span>: <br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inventory_artifact&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;extract_artifact&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_members&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_native_boundaries&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_macho&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_signature&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_plist&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;list_architectures&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;demangle_swift&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_artifact&quot;</span></span></li>
+<li><span><span class="tsd-kind-parameter">tool</span>: <br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inventory_artifact&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;extract_artifact&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_members&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_native_boundaries&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_macho&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_managed_artifact&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_signature&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;inspect_plist&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;list_architectures&quot;</span><br/>    <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;demangle_swift&quot;</span></span></li>
 <li><span><span class="tsd-kind-parameter">arguments_</span>: <span class="tsd-signature-type">Readonly</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">Record</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">,</span> <a href="../types/domain_jsonValue.JsonValue.html" class="tsd-signature-type tsd-kind-type-alias">JsonValue</a><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">&gt;</span></span></li>
 <li><span><span class="tsd-kind-parameter">logger</span>: <span class="tsd-signature-type">Logger</span><span class="tsd-signature-symbol"> = silentLogger</span></span></li>
 <li><span><code class="tsd-tag">Optional</code><span class="tsd-kind-parameter">signal</span>: <span class="tsd-signature-type">AbortSignal</span></span></li></ul></div>
--- a/docs/api/functions/application_Doctor.runDoctor.html
+++ b/docs/api/functions/application_Doctor.runDoctor.html
--- a/docs/api/functions/application_ElectronBoundaryGraphContext.electronFindingSourceNode.html
+++ b/docs/api/functions/application_ElectronBoundaryGraphContext.electronFindingSourceNode.html
--- a/docs/api/functions/application_ElectronEvidence.createElectronEvidence.html
+++ b/docs/api/functions/application_ElectronEvidence.createElectronEvidence.html
--- a/docs/api/functions/application_JavaScriptApplicationEvidence.createJavaScriptApplicationEvidence.html
+++ b/docs/api/functions/application_JavaScriptApplicationEvidence.createJavaScriptApplicationEvidence.html
--- a/docs/api/functions/application_JavaScriptApplicationEvidenceGraph.parseApplicationGraphEvidence.html
+++ b/docs/api/functions/application_JavaScriptApplicationEvidenceGraph.parseApplicationGraphEvidence.html
@ -24,7 +24,7 @@
 <li><span><span class="tsd-kind-parameter">input</span>: <span class="tsd-signature-type">unknown</span></span></li></ul></div>
 <h4 class="tsd-returns-title">Returns <a href="../interfaces/application_JavaScriptApplicationEvidenceGraph.ApplicationGraphEvidenceSource.html" class="tsd-signature-type tsd-kind-interface">ApplicationGraphEvidenceSource</a></h4><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/JavaScriptApplicationEvidenceGraph.ts#L23">src/application/JavaScriptApplicationEvidenceGraph.ts:23</a></li></ul></aside></div></li></ul></section></div>
+<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/JavaScriptApplicationEvidenceGraph.ts#L28">src/application/JavaScriptApplicationEvidenceGraph.ts:28</a></li></ul></aside></div></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">
--- a/docs/api/functions/application_JavaScriptApplicationEvidenceGraph.parseNativeApplicationEvidence.html
+++ b/docs/api/functions/application_JavaScriptApplicationEvidenceGraph.parseNativeApplicationEvidence.html
--- a/docs/api/functions/application_JavaScriptApplicationWorkflowEvidence.createApplicationFeatureTraceEvidence.html
+++ b/docs/api/functions/application_JavaScriptApplicationWorkflowEvidence.createApplicationFeatureTraceEvidence.html
--- a/docs/api/functions/application_JavaScriptApplicationWorkflowEvidence.createApplicationVersionComparisonEvidence.html
+++ b/docs/api/functions/application_JavaScriptApplicationWorkflowEvidence.createApplicationVersionComparisonEvidence.html
--- a/docs/api/functions/application_JavaScriptArtifactGraphBuilder.buildJavaScriptArtifactGraph.html
+++ b/docs/api/functions/application_JavaScriptArtifactGraphBuilder.buildJavaScriptArtifactGraph.html
--- a/docs/api/functions/application_JavaScriptArtifactGraphContext.createElectronRoleNode.html
+++ b/docs/api/functions/application_JavaScriptArtifactGraphContext.createElectronRoleNode.html
--- a/docs/api/functions/application_JavaScriptArtifactGraphContext.sourceNodeFor.html
+++ b/docs/api/functions/application_JavaScriptArtifactGraphContext.sourceNodeFor.html
--- a/docs/api/functions/application_JavaScriptArtifactGraphEvidence.artifactObservationEvidence.html
+++ b/docs/api/functions/application_JavaScriptArtifactGraphEvidence.artifactObservationEvidence.html
--- a/docs/api/functions/application_JavaScriptArtifactGraphEvidence.astObservationEvidence.html
+++ b/docs/api/functions/application_JavaScriptArtifactGraphEvidence.astObservationEvidence.html
--- a/docs/api/functions/application_JavaScriptArtifactGraphEvidence.staticInferenceEvidence.html
+++ b/docs/api/functions/application_JavaScriptArtifactGraphEvidence.staticInferenceEvidence.html
--- a/docs/api/functions/application_JavaScriptArtifactGraphEvidence.unavailableAstEvidence.html
+++ b/docs/api/functions/application_JavaScriptArtifactGraphEvidence.unavailableAstEvidence.html
--- a/docs/api/functions/application_JavaScriptArtifactGraphStructure.addJavaScriptPackageNodes.html
+++ b/docs/api/functions/application_JavaScriptArtifactGraphStructure.addJavaScriptPackageNodes.html
--- a/docs/api/functions/application_JavaScriptArtifactGraphStructure.createJavaScriptArtifactRootNode.html
+++ b/docs/api/functions/application_JavaScriptArtifactGraphStructure.createJavaScriptArtifactRootNode.html
--- a/docs/api/functions/application_JavaScriptRuntimeReconciliationEvidence.createJavaScriptRuntimeReconciliationEvidence.html
+++ b/docs/api/functions/application_JavaScriptRuntimeReconciliationEvidence.createJavaScriptRuntimeReconciliationEvidence.html
--- a/docs/api/functions/application_ManagedApplicationGraphService.projectManagedApplicationGraphEvidence.html
+++ b/docs/api/functions/application_ManagedApplicationGraphService.projectManagedApplicationGraphEvidence.html
--- a/docs/api/functions/browser_CdpElectronInspection.inspectCdpElectronPage.html
+++ b/docs/api/functions/browser_CdpElectronInspection.inspectCdpElectronPage.html
--- a/docs/api/functions/browser_CdpObservationSession.observeCdpSession.html
+++ b/docs/api/functions/browser_CdpObservationSession.observeCdpSession.html
--- a/docs/api/functions/browser_CdpScreenshot.captureCdpScreenshot.html
+++ b/docs/api/functions/browser_CdpScreenshot.captureCdpScreenshot.html
--- a/docs/api/functions/browser_CdpWebMcpDiscovery.discoverWebMcp.html
+++ b/docs/api/functions/browser_CdpWebMcpDiscovery.discoverWebMcp.html
--- a/docs/api/functions/cli.createCli.html
+++ b/docs/api/functions/cli.createCli.html
@ -22,7 +22,7 @@ Analysis commands acquire and close their own sessions; bare <code>mcp</code> an
 </div>
 <h4 class="tsd-returns-title">Returns <span class="tsd-signature-type">Cli</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-symbol">{}</span><span class="tsd-signature-symbol">&gt;</span></h4><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/cli.ts#L55">src/cli.ts:55</a></li></ul></aside></div></li></ul></section></div>
+<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/cli.ts#L56">src/cli.ts:56</a></li></ul></aside></div></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">
--- a/docs/api/functions/contracts_toolEffects.annotationsFromEffects.html
+++ b/docs/api/functions/contracts_toolEffects.annotationsFromEffects.html
@ -24,7 +24,7 @@
 <li><span><span class="tsd-kind-parameter">value</span>: <a href="../interfaces/contracts_toolEffects.ToolEffects.html" class="tsd-signature-type tsd-kind-interface">ToolEffects</a></span></li></ul></div>
 <h4 class="tsd-returns-title">Returns <a href="../interfaces/contracts_toolEffects.DerivedToolAnnotations.html" class="tsd-signature-type tsd-kind-interface">DerivedToolAnnotations</a></h4><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/contracts/toolEffects.ts#L157">src/contracts/toolEffects.ts:157</a></li></ul></aside></div></li></ul></section></div>
+<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/contracts/toolEffects.ts#L158">src/contracts/toolEffects.ts:158</a></li></ul></aside></div></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">
--- a/docs/api/functions/contracts_toolEffects.toolContractMetadata.html
+++ b/docs/api/functions/contracts_toolEffects.toolContractMetadata.html
@ -24,7 +24,7 @@
 <li><span><span class="tsd-kind-parameter">name</span>: <span class="tsd-signature-type">string</span></span></li></ul></div>
 <h4 class="tsd-returns-title">Returns <span class="tsd-signature-symbol">{</span> <span class="tsd-kind-property">annotations</span><span class="tsd-signature-symbol">:</span> <a href="../interfaces/contracts_toolEffects.DerivedToolAnnotations.html" class="tsd-signature-type tsd-kind-interface">DerivedToolAnnotations</a><span class="tsd-signature-symbol">;</span> <span class="tsd-kind-property">effects</span><span class="tsd-signature-symbol">:</span> <a href="../interfaces/contracts_toolEffects.ToolEffects.html" class="tsd-signature-type tsd-kind-interface">ToolEffects</a><span class="tsd-signature-symbol">;</span> <span class="tsd-kind-property">title</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span> <span class="tsd-signature-symbol">}</span></h4><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/contracts/toolEffects.ts#L175">src/contracts/toolEffects.ts:175</a></li></ul></aside></div></li></ul></section></div>
+<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/contracts/toolEffects.ts#L176">src/contracts/toolEffects.ts:176</a></li></ul></aside></div></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">
--- a/docs/api/functions/contracts_toolOutputSchemas.evidenceResultOf.html
+++ b/docs/api/functions/contracts_toolOutputSchemas.evidenceResultOf.html
@ -24,7 +24,7 @@
 <li><span><span class="tsd-kind-parameter">schema</span>: <span class="tsd-signature-type">ZodType</span></span></li></ul></div>
 <h4 class="tsd-returns-title">Returns <span class="tsd-signature-type">ZodObject</span><span class="tsd-signature-symbol">&lt;</span><br/>    <span class="tsd-signature-symbol">{</span><br/>        <span class="tsd-kind-property">evidence_id</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">ZodString</span><span class="tsd-signature-symbol">;</span><br/>        <span class="tsd-kind-property">evidence_uri</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">ZodString</span><span class="tsd-signature-symbol">;</span><br/>        <span class="tsd-kind-property">result</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">ZodType</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">unknown</span><span class="tsd-signature-symbol">,</span> <span class="tsd-signature-type">unknown</span><span class="tsd-signature-symbol">,</span> <span class="tsd-signature-type">$ZodTypeInternals</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">unknown</span><span class="tsd-signature-symbol">,</span> <span class="tsd-signature-type">unknown</span><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">;</span><br/>    <span class="tsd-signature-symbol">}</span><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-signature-type">$strict</span><span class="tsd-signature-symbol">,</span><br/><span class="tsd-signature-symbol">&gt;</span></h4><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/contracts/toolOutputSchemas.ts#L50">src/contracts/toolOutputSchemas.ts:50</a></li></ul></aside></div></li></ul></section></div>
+<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/contracts/toolOutputSchemas.ts#L51">src/contracts/toolOutputSchemas.ts:51</a></li></ul></aside></div></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">
--- a/docs/api/functions/contracts_toolOutputSchemas.requireOutputSchema.html
+++ b/docs/api/functions/contracts_toolOutputSchemas.requireOutputSchema.html
@ -25,7 +25,7 @@
 <li><span><span class="tsd-kind-parameter">name</span>: <span class="tsd-signature-type">string</span></span></li></ul></div>
 <h4 class="tsd-returns-title">Returns <span class="tsd-signature-type">ZodObject</span></h4><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/contracts/toolOutputSchemas.ts#L60">src/contracts/toolOutputSchemas.ts:60</a></li></ul></aside></div></li></ul></section></div>
+<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/contracts/toolOutputSchemas.ts#L61">src/contracts/toolOutputSchemas.ts:61</a></li></ul></aside></div></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">
--- a/docs/api/functions/domain_browserCompleteness.classifyBrowserCompleteness.html
+++ b/docs/api/functions/domain_browserCompleteness.classifyBrowserCompleteness.html
--- a/docs/api/functions/domain_javascriptApplicationGraph.createJavaScriptApplicationEdge.html
+++ b/docs/api/functions/domain_javascriptApplicationGraph.createJavaScriptApplicationEdge.html
--- a/docs/api/functions/domain_javascriptApplicationGraph.createJavaScriptApplicationGraph.html
+++ b/docs/api/functions/domain_javascriptApplicationGraph.createJavaScriptApplicationGraph.html
--- a/docs/api/functions/domain_javascriptApplicationGraph.createJavaScriptApplicationNode.html
+++ b/docs/api/functions/domain_javascriptApplicationGraph.createJavaScriptApplicationNode.html
--- a/docs/api/functions/domain_javascriptApplicationGraph.parseJavaScriptApplicationGraph.html
+++ b/docs/api/functions/domain_javascriptApplicationGraph.parseJavaScriptApplicationGraph.html
--- a/docs/api/functions/domain_javascriptApplicationVersionComparison.compareJavaScriptApplicationVersions.html
+++ b/docs/api/functions/domain_javascriptApplicationVersionComparison.compareJavaScriptApplicationVersions.html
--- a/docs/api/functions/domain_javascriptApplicationVersionKeys.matchJavaScriptApplicationVersions.html
+++ b/docs/api/functions/domain_javascriptApplicationVersionKeys.matchJavaScriptApplicationVersions.html
--- a/docs/api/functions/domain_javascriptFeatureSeed.findApplicationFeatureSeeds.html
+++ b/docs/api/functions/domain_javascriptFeatureSeed.findApplicationFeatureSeeds.html
--- a/docs/api/functions/domain_javascriptFeatureTrace.traceApplicationFeature.html
+++ b/docs/api/functions/domain_javascriptFeatureTrace.traceApplicationFeature.html
--- a/docs/api/functions/domain_javascriptFeatureTraversal.traverseApplicationFeature.html
+++ b/docs/api/functions/domain_javascriptFeatureTraversal.traverseApplicationFeature.html
--- a/docs/api/functions/domain_javascriptNativeHandoff.buildJavaScriptNativeHandoffs.html
+++ b/docs/api/functions/domain_javascriptNativeHandoff.buildJavaScriptNativeHandoffs.html
--- a/docs/api/functions/domain_javascriptRuntimeReconciliation.reconcileJavaScriptRuntime.html
+++ b/docs/api/functions/domain_javascriptRuntimeReconciliation.reconcileJavaScriptRuntime.html
--- a/docs/api/functions/domain_javascriptRuntimeReconciliationResult.createJavaScriptRuntimeReconciliationResult.html
+++ b/docs/api/functions/domain_javascriptRuntimeReconciliationResult.createJavaScriptRuntimeReconciliationResult.html
--- a/docs/api/functions/domain_javascriptRuntimeStaticCandidates.staticNodeWithinRuntimeScope.html
+++ b/docs/api/functions/domain_javascriptRuntimeStaticCandidates.staticNodeWithinRuntimeScope.html
--- a/docs/api/functions/domain_managedApplicationGraph.projectManagedApplicationGraph.html
+++ b/docs/api/functions/domain_managedApplicationGraph.projectManagedApplicationGraph.html
--- a/docs/api/functions/domain_webBundleAnalyzer.analyzeCapturedWebBundle.html
+++ b/docs/api/functions/domain_webBundleAnalyzer.analyzeCapturedWebBundle.html
--- a/docs/api/functions/domain_webCaptureDiff.compareWebCaptures.html
+++ b/docs/api/functions/domain_webCaptureDiff.compareWebCaptures.html
--- a/docs/api/functions/server_registerEvidenceTools.registerEvidenceTools.html
+++ b/docs/api/functions/server_registerEvidenceTools.registerEvidenceTools.html
--- a/docs/api/functions/server_registerManagedWorkflowTools.registerManagedWorkflowTools.html
+++ b/docs/api/functions/server_registerManagedWorkflowTools.registerManagedWorkflowTools.html
@ -25,7 +25,7 @@
 <li><span><span class="tsd-kind-parameter">options</span>: <span class="tsd-signature-type">ManagedWorkflowToolRegistration</span></span></li></ul></div>
 <h4 class="tsd-returns-title">Returns <span class="tsd-signature-type">void</span></h4><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/server/registerManagedWorkflowTools.ts#L41">src/server/registerManagedWorkflowTools.ts:41</a></li></ul></aside></div></li></ul></section></div>
+<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/server/registerManagedWorkflowTools.ts#L43">src/server/registerManagedWorkflowTools.ts:43</a></li></ul></aside></div></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">
--- a/docs/api/hierarchy.html
+++ b/docs/api/hierarchy.html
@ -42,56 +42,56 @@
 <li data-refl="4287" id="domain/errors.BinaryTargetError"><a href="classes/domain_errors.BinaryTargetError.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>BinaryTargetError</a></li>
 <li data-refl="4312" id="domain/errors.PermissionRequiredError"><a href="classes/domain_errors.PermissionRequiredError.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>PermissionRequiredError</a></li>
 <li data-refl="4330" id="domain/errors.ReplayPlanStaleError"><a href="classes/domain_errors.ReplayPlanStaleError.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>ReplayPlanStaleError</a></li>
-<li data-refl="71182" id="application/ProcessCaptureError.ProcessCaptureError"><a href="classes/application_ProcessCaptureError.ProcessCaptureError.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>ProcessCaptureError</a></li></ul></li></ul>
+<li data-refl="72545" id="application/ProcessCaptureError.ProcessCaptureError"><a href="classes/application_ProcessCaptureError.ProcessCaptureError.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>ProcessCaptureError</a></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="43107" id="application/AnalysisProvider.AnalysisOperationPort"><a href="interfaces/application_AnalysisProvider.AnalysisOperationPort.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AnalysisOperationPort</a>
+<li data-refl="44355" id="application/AnalysisProvider.AnalysisOperationPort"><a href="interfaces/application_AnalysisProvider.AnalysisOperationPort.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AnalysisOperationPort</a>
 <ul>
-<li data-refl="43113" id="application/AnalysisProvider.AnalysisClient"><a href="interfaces/application_AnalysisProvider.AnalysisClient.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AnalysisClient</a></li>
-<li data-refl="48503" id="application/BinarySessionPort.BinarySessionPort"><a href="interfaces/application_BinarySessionPort.BinarySessionPort.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>BinarySessionPort</a>
+<li data-refl="44361" id="application/AnalysisProvider.AnalysisClient"><a href="interfaces/application_AnalysisProvider.AnalysisClient.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AnalysisClient</a></li>
+<li data-refl="49751" id="application/BinarySessionPort.BinarySessionPort"><a href="interfaces/application_BinarySessionPort.BinarySessionPort.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>BinarySessionPort</a>
 <ul>
-<li data-refl="45733" id="application/BinarySession.BinarySession"><a href="classes/application_BinarySession.BinarySession.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>BinarySession</a></li></ul></li></ul></li></ul>
+<li data-refl="46981" id="application/BinarySession.BinarySession"><a href="classes/application_BinarySession.BinarySession.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>BinarySession</a></li></ul></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="43156" id="application/AnalysisProvider.AnalysisProvider"><a href="interfaces/application_AnalysisProvider.AnalysisProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AnalysisProvider</a>
+<li data-refl="44404" id="application/AnalysisProvider.AnalysisProvider"><a href="interfaces/application_AnalysisProvider.AnalysisProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AnalysisProvider</a>
 <ul>
-<li data-refl="54614" id="application/CompositeProvider.CompositeProvider"><a href="classes/application_CompositeProvider.CompositeProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>CompositeProvider</a></li>
-<li data-refl="43201" id="application/AnalysisProvider.AnalysisProviderCandidate"><a href="interfaces/application_AnalysisProvider.AnalysisProviderCandidate.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AnalysisProviderCandidate</a>
+<li data-refl="55862" id="application/CompositeProvider.CompositeProvider"><a href="classes/application_CompositeProvider.CompositeProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>CompositeProvider</a></li>
+<li data-refl="44449" id="application/AnalysisProvider.AnalysisProviderCandidate"><a href="interfaces/application_AnalysisProvider.AnalysisProviderCandidate.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AnalysisProviderCandidate</a>
 <ul>
-<li data-refl="38972" id="ghidra/GhidraProvider.GhidraProvider"><a href="classes/ghidra_GhidraProvider.GhidraProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>GhidraProvider</a></li>
-<li data-refl="38528" id="hopper/HopperProvider.HopperProvider"><a href="classes/hopper_HopperProvider.HopperProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>HopperProvider</a></li></ul></li></ul></li></ul>
+<li data-refl="40220" id="ghidra/GhidraProvider.GhidraProvider"><a href="classes/ghidra_GhidraProvider.GhidraProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>GhidraProvider</a></li>
+<li data-refl="39776" id="hopper/HopperProvider.HopperProvider"><a href="classes/hopper_HopperProvider.HopperProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>HopperProvider</a></li></ul></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="66133" id="application/JavaScriptArtifactGraphContext.AstEdgeInput"><a href="interfaces/application_JavaScriptArtifactGraphContext.AstEdgeInput.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AstEdgeInput</a>
+<li data-refl="67381" id="application/JavaScriptArtifactGraphContext.AstEdgeInput"><a href="interfaces/application_JavaScriptArtifactGraphContext.AstEdgeInput.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>AstEdgeInput</a>
 <ul>
-<li data-refl="66399" id="application/JavaScriptArtifactGraphContext.InferenceEdgeInput"><a href="interfaces/application_JavaScriptArtifactGraphContext.InferenceEdgeInput.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>InferenceEdgeInput</a></li></ul></li></ul>
+<li data-refl="67647" id="application/JavaScriptArtifactGraphContext.InferenceEdgeInput"><a href="interfaces/application_JavaScriptArtifactGraphContext.InferenceEdgeInput.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>InferenceEdgeInput</a></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="38385" id="hopper/BridgeLauncher.BridgeLauncher"><a href="interfaces/hopper_BridgeLauncher.BridgeLauncher.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>BridgeLauncher</a>
+<li data-refl="39633" id="hopper/BridgeLauncher.BridgeLauncher"><a href="interfaces/hopper_BridgeLauncher.BridgeLauncher.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>BridgeLauncher</a>
 <ul>
-<li data-refl="38399" id="hopper/BridgeLauncher.HopperApplicationLauncher"><a href="classes/hopper_BridgeLauncher.HopperApplicationLauncher.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>HopperApplicationLauncher</a></li></ul></li></ul>
+<li data-refl="39647" id="hopper/BridgeLauncher.HopperApplicationLauncher"><a href="classes/hopper_BridgeLauncher.HopperApplicationLauncher.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>HopperApplicationLauncher</a></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="51052" id="application/BrowserObservationPort.BrowserObservationPort"><a href="interfaces/application_BrowserObservationPort.BrowserObservationPort.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>BrowserObservationPort</a>
+<li data-refl="52300" id="application/BrowserObservationPort.BrowserObservationPort"><a href="interfaces/application_BrowserObservationPort.BrowserObservationPort.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>BrowserObservationPort</a>
 <ul>
-<li data-refl="39513" id="browser/CdpBrowserProvider.CdpBrowserProvider"><a href="classes/browser_CdpBrowserProvider.CdpBrowserProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>CdpBrowserProvider</a></li></ul></li></ul>
+<li data-refl="40761" id="browser/CdpBrowserProvider.CdpBrowserProvider"><a href="classes/browser_CdpBrowserProvider.CdpBrowserProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>CdpBrowserProvider</a></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="57877" id="application/ElectronObservationPort.ElectronObservationPort"><a href="interfaces/application_ElectronObservationPort.ElectronObservationPort.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>ElectronObservationPort</a>
+<li data-refl="59125" id="application/ElectronObservationPort.ElectronObservationPort"><a href="interfaces/application_ElectronObservationPort.ElectronObservationPort.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>ElectronObservationPort</a>
 <ul>
-<li data-refl="42017" id="browser/CdpElectronProvider.CdpElectronProvider"><a href="classes/browser_CdpElectronProvider.CdpElectronProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>CdpElectronProvider</a></li></ul></li></ul>
+<li data-refl="43265" id="browser/CdpElectronProvider.CdpElectronProvider"><a href="classes/browser_CdpElectronProvider.CdpElectronProvider.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>CdpElectronProvider</a></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="38928" id="ghidra/GhidraLauncher.GhidraLauncher"><a href="interfaces/ghidra_GhidraLauncher.GhidraLauncher.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>GhidraLauncher</a>
+<li data-refl="40176" id="ghidra/GhidraLauncher.GhidraLauncher"><a href="interfaces/ghidra_GhidraLauncher.GhidraLauncher.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>GhidraLauncher</a>
 <ul>
-<li data-refl="38944" id="ghidra/GhidraLauncher.GhidraHeadlessLauncher"><a href="classes/ghidra_GhidraLauncher.GhidraHeadlessLauncher.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>GhidraHeadlessLauncher</a></li></ul></li></ul>
+<li data-refl="40192" id="ghidra/GhidraLauncher.GhidraHeadlessLauncher"><a href="classes/ghidra_GhidraLauncher.GhidraHeadlessLauncher.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Class"><use href="assets/icons.svg#icon-128"></use></svg>GhidraHeadlessLauncher</a></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="23913" id="domain/permissionPolicy.PermissionScope"><a href="interfaces/domain_permissionPolicy.PermissionScope.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>PermissionScope</a>
+<li data-refl="24962" id="domain/permissionPolicy.PermissionScope"><a href="interfaces/domain_permissionPolicy.PermissionScope.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>PermissionScope</a>
 <ul>
-<li data-refl="23921" id="domain/permissionPolicy.PermissionRequest"><a href="interfaces/domain_permissionPolicy.PermissionRequest.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>PermissionRequest</a></li>
-<li data-refl="23931" id="domain/permissionPolicy.PermissionGrant"><a href="interfaces/domain_permissionPolicy.PermissionGrant.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>PermissionGrant</a></li></ul></li></ul>
+<li data-refl="24970" id="domain/permissionPolicy.PermissionRequest"><a href="interfaces/domain_permissionPolicy.PermissionRequest.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>PermissionRequest</a></li>
+<li data-refl="24980" id="domain/permissionPolicy.PermissionGrant"><a href="interfaces/domain_permissionPolicy.PermissionGrant.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>PermissionGrant</a></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="39388" id="process/ProviderProcess.ProviderProcessLaunch"><a href="interfaces/process_ProviderProcess.ProviderProcessLaunch.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>ProviderProcessLaunch</a>
+<li data-refl="40636" id="process/ProviderProcess.ProviderProcessLaunch"><a href="interfaces/process_ProviderProcess.ProviderProcessLaunch.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>ProviderProcessLaunch</a>
 <ul>
-<li data-refl="38378" id="hopper/BridgeLauncher.BridgeLaunch"><a href="interfaces/hopper_BridgeLauncher.BridgeLaunch.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>BridgeLaunch</a></li>
-<li data-refl="38919" id="ghidra/GhidraLauncher.GhidraLaunch"><a href="interfaces/ghidra_GhidraLauncher.GhidraLaunch.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>GhidraLaunch</a></li></ul></li></ul>
+<li data-refl="39626" id="hopper/BridgeLauncher.BridgeLaunch"><a href="interfaces/hopper_BridgeLauncher.BridgeLaunch.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>BridgeLaunch</a></li>
+<li data-refl="40167" id="ghidra/GhidraLauncher.GhidraLaunch"><a href="interfaces/ghidra_GhidraLauncher.GhidraLaunch.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>GhidraLaunch</a></li></ul></li></ul>
 <ul class="tsd-full-hierarchy">
-<li data-refl="28779" id="domain/webInventory.WebInventoryResourceInput"><a href="interfaces/domain_webInventory.WebInventoryResourceInput.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>WebInventoryResourceInput</a>
+<li data-refl="29828" id="domain/webInventory.WebInventoryResourceInput"><a href="interfaces/domain_webInventory.WebInventoryResourceInput.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>WebInventoryResourceInput</a>
 <ul>
-<li data-refl="28792" id="domain/webInventory.StableWebResource"><a href="interfaces/domain_webInventory.StableWebResource.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>StableWebResource</a></li></ul></li></ul></div>
+<li data-refl="29841" id="domain/webInventory.StableWebResource"><a href="interfaces/domain_webInventory.StableWebResource.html"><svg class="tsd-kind-icon" viewBox="0 0 24 24" aria-label="Interface"><use href="assets/icons.svg#icon-256"></use></svg>StableWebResource</a></li></ul></li></ul></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">
--- a/docs/api/index.html
+++ b/docs/api/index.html
--- a/docs/api/interfaces/application_AnalysisProvider.AnalysisClient.html
+++ b/docs/api/interfaces/application_AnalysisProvider.AnalysisClient.html
@ -15,7 +15,7 @@
 <div class="tsd-comment tsd-typography"><p>Provider session bound to exactly one parsed artifact.</p>
 </div></section>
 <div class="tsd-signature"><span class="tsd-signature-keyword">interface</span> <span class="tsd-kind-interface">AnalysisClient</span> <span class="tsd-signature-symbol">{</span><br/>    <a class="tsd-kind-call-signature" href="#close-1">close</a><span class="tsd-signature-symbol">()</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">Promise</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">void</span><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-call-signature" href="#execute-1">execute</a><span class="tsd-signature-symbol">(</span><br/>        <span class="tsd-kind-parameter">operation</span><span class="tsd-signature-symbol">:</span> <a href="../types/application_AnalysisProvider.AnalysisOperation.html" class="tsd-signature-type tsd-kind-type-alias">AnalysisOperation</a><span class="tsd-signature-symbol">,</span><br/>        <span class="tsd-kind-parameter">parameters</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">Readonly</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">Record</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">,</span> <a href="../types/domain_jsonValue.JsonValue.html" class="tsd-signature-type tsd-kind-type-alias">JsonValue</a><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">,</span><br/>        <span class="tsd-kind-parameter">options</span><span class="tsd-signature-symbol">?:</span> <a href="application_AnalysisProvider.ExecutionOptions.html" class="tsd-signature-type tsd-kind-interface">ExecutionOptions</a><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">Promise</span><span class="tsd-signature-symbol">&lt;</span><a href="../types/domain_result.Result.html" class="tsd-signature-type tsd-kind-type-alias">Result</a><span class="tsd-signature-symbol">&lt;</span><a href="application_AnalysisProvider.AnalysisExecution.html" class="tsd-signature-type tsd-kind-interface">AnalysisExecution</a><span class="tsd-signature-symbol">,</span> <a href="../classes/domain_errors.AnalysisError.html" class="tsd-signature-type tsd-kind-class">AnalysisError</a><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">;</span><br/><span class="tsd-signature-symbol">}</span></div>
-<section class="tsd-panel tsd-hierarchy" data-refl="43113">
+<section class="tsd-panel tsd-hierarchy" data-refl="44361">
 <h4>Hierarchy (<a href="../hierarchy.html#application/AnalysisProvider.AnalysisClient">View Summary</a>)</h4>
 <ul class="tsd-hierarchy">
 <li class="tsd-hierarchy-item"><a href="application_AnalysisProvider.AnalysisOperationPort.html" class="tsd-signature-type tsd-kind-interface">AnalysisOperationPort</a>
--- a/docs/api/interfaces/application_AnalysisProvider.AnalysisOperationPort.html
+++ b/docs/api/interfaces/application_AnalysisProvider.AnalysisOperationPort.html
@ -15,7 +15,7 @@
 <div class="tsd-comment tsd-typography"><p>Provider-neutral application capability for one analysis operation.</p>
 </div></section>
 <div class="tsd-signature"><span class="tsd-signature-keyword">interface</span> <span class="tsd-kind-interface">AnalysisOperationPort</span> <span class="tsd-signature-symbol">{</span><br/>    <a class="tsd-kind-call-signature" href="#execute-1">execute</a><span class="tsd-signature-symbol">(</span><br/>        <span class="tsd-kind-parameter">operation</span><span class="tsd-signature-symbol">:</span> <a href="../types/application_AnalysisProvider.AnalysisOperation.html" class="tsd-signature-type tsd-kind-type-alias">AnalysisOperation</a><span class="tsd-signature-symbol">,</span><br/>        <span class="tsd-kind-parameter">parameters</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">Readonly</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">Record</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">,</span> <a href="../types/domain_jsonValue.JsonValue.html" class="tsd-signature-type tsd-kind-type-alias">JsonValue</a><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">,</span><br/>        <span class="tsd-kind-parameter">options</span><span class="tsd-signature-symbol">?:</span> <a href="application_AnalysisProvider.ExecutionOptions.html" class="tsd-signature-type tsd-kind-interface">ExecutionOptions</a><span class="tsd-signature-symbol">,</span><br/>    <span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">Promise</span><span class="tsd-signature-symbol">&lt;</span><a href="../types/domain_result.Result.html" class="tsd-signature-type tsd-kind-type-alias">Result</a><span class="tsd-signature-symbol">&lt;</span><a href="application_AnalysisProvider.AnalysisExecution.html" class="tsd-signature-type tsd-kind-interface">AnalysisExecution</a><span class="tsd-signature-symbol">,</span> <a href="../classes/domain_errors.AnalysisError.html" class="tsd-signature-type tsd-kind-class">AnalysisError</a><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">&gt;</span><span class="tsd-signature-symbol">;</span><br/><span class="tsd-signature-symbol">}</span></div>
-<section class="tsd-panel tsd-hierarchy" data-refl="43107">
+<section class="tsd-panel tsd-hierarchy" data-refl="44355">
 <h4>Hierarchy (<a href="../hierarchy.html#application/AnalysisProvider.AnalysisOperationPort">View Summary</a>)</h4>
 <ul class="tsd-hierarchy">
 <li class="tsd-hierarchy-item"><span class="tsd-hierarchy-target">AnalysisOperationPort</span>
--- a/docs/api/interfaces/application_AnalysisProvider.AnalysisProvider.html
+++ b/docs/api/interfaces/application_AnalysisProvider.AnalysisProvider.html
--- a/docs/api/interfaces/application_AnalysisProvider.AnalysisProviderCandidate.html
+++ b/docs/api/interfaces/application_AnalysisProvider.AnalysisProviderCandidate.html
--- a/docs/api/interfaces/application_BinarySessionPort.BinarySessionPort.html
+++ b/docs/api/interfaces/application_BinarySessionPort.BinarySessionPort.html
--- a/docs/api/interfaces/application_BrowserObservationPort.BrowserObservationPort.html
+++ b/docs/api/interfaces/application_BrowserObservationPort.BrowserObservationPort.html
--- a/docs/api/interfaces/application_ElectronBoundaryGraphContext.ElectronGraphEdgeInput.html
+++ b/docs/api/interfaces/application_ElectronBoundaryGraphContext.ElectronGraphEdgeInput.html
--- a/docs/api/interfaces/application_ElectronObservationPort.ElectronObservationPort.html
+++ b/docs/api/interfaces/application_ElectronObservationPort.ElectronObservationPort.html
--- a/docs/api/interfaces/application_JavaScriptApplicationEvidenceGraph.ApplicationGraphEvidenceSource.html
+++ b/docs/api/interfaces/application_JavaScriptApplicationEvidenceGraph.ApplicationGraphEvidenceSource.html
--- a/docs/api/interfaces/application_JavaScriptArtifactAnalysisTypes.JavaScriptSourceMapObservation.html
+++ b/docs/api/interfaces/application_JavaScriptArtifactAnalysisTypes.JavaScriptSourceMapObservation.html
@ -14,7 +14,7 @@
 <section class="tsd-panel tsd-comment">
 <div class="tsd-comment tsd-typography"><p>Bounded local source-map parse result.</p>
 </div></section>
-<div class="tsd-signature"><span class="tsd-signature-keyword">interface</span> <span class="tsd-kind-interface">JavaScriptSourceMapObservation</span> <span class="tsd-signature-symbol">{</span><br/>    <a class="tsd-kind-property" href="#limitation">limitation</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">null</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#omitted_sources">omitted_sources</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">number</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">null</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#path">path</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#sha256">sha256</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#sources">sources</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-keyword">readonly</span> <a href="application_JavaScriptArtifactAnalysisTypes.JavaScriptSourceMapOriginal.html" class="tsd-signature-type tsd-kind-interface">JavaScriptSourceMapOriginal</a><span class="tsd-signature-symbol">[]</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#status">status</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">&quot;truncated&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;invalid&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;included&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;not-approved&quot;</span><span class="tsd-signature-symbol">;</span><br/><span class="tsd-signature-symbol">}</span></div><aside class="tsd-sources">
+<div class="tsd-signature"><span class="tsd-signature-keyword">interface</span> <span class="tsd-kind-interface">JavaScriptSourceMapObservation</span> <span class="tsd-signature-symbol">{</span><br/>    <a class="tsd-kind-property" href="#limitation">limitation</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">null</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#omitted_sources">omitted_sources</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">number</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">null</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#path">path</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#sha256">sha256</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#sources">sources</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-keyword">readonly</span> <a href="application_JavaScriptArtifactAnalysisTypes.JavaScriptSourceMapOriginal.html" class="tsd-signature-type tsd-kind-interface">JavaScriptSourceMapOriginal</a><span class="tsd-signature-symbol">[]</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#status">status</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">&quot;truncated&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;invalid&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;not-approved&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;included&quot;</span><span class="tsd-signature-symbol">;</span><br/><span class="tsd-signature-symbol">}</span></div><aside class="tsd-sources">
 <ul>
 <li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/JavaScriptArtifactAnalysisTypes.ts#L34">src/application/JavaScriptArtifactAnalysisTypes.ts:34</a></li></ul></aside>
 <section class="tsd-panel-group tsd-index-group">
@ -61,7 +61,7 @@
 <li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/JavaScriptArtifactAnalysisTypes.ts#L38">src/application/JavaScriptArtifactAnalysisTypes.ts:38</a></li></ul></aside></section>
 <section class="tsd-panel tsd-member">
 <h3 class="tsd-anchor-link" id="status"><code class="tsd-tag">Readonly</code><span>status</span><a href="#status" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></h3>
-<div class="tsd-signature"><span class="tsd-kind-property">status</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">&quot;truncated&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;invalid&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;included&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;not-approved&quot;</span></div><aside class="tsd-sources">
+<div class="tsd-signature"><span class="tsd-kind-property">status</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">&quot;truncated&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;invalid&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;not-approved&quot;</span> <span class="tsd-signature-symbol">|</span> <span class="tsd-signature-type">&quot;included&quot;</span></div><aside class="tsd-sources">
 <ul>
 <li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/JavaScriptArtifactAnalysisTypes.ts#L37">src/application/JavaScriptArtifactAnalysisTypes.ts:37</a></li></ul></aside></section></section></details></div>
 <div class="col-sidebar">
--- a/docs/api/interfaces/application_JavaScriptArtifactGraphContext.AstEdgeInput.html
+++ b/docs/api/interfaces/application_JavaScriptArtifactGraphContext.AstEdgeInput.html
--- a/docs/api/interfaces/application_JavaScriptArtifactGraphContext.ContainsEdgeInput.html
+++ b/docs/api/interfaces/application_JavaScriptArtifactGraphContext.ContainsEdgeInput.html
--- a/docs/api/interfaces/application_JavaScriptArtifactGraphContext.InferenceEdgeInput.html
+++ b/docs/api/interfaces/application_JavaScriptArtifactGraphContext.InferenceEdgeInput.html
--- a/docs/api/interfaces/application_JavaScriptArtifactGraphContext.JavaScriptArtifactGraphContext.html
+++ b/docs/api/interfaces/application_JavaScriptArtifactGraphContext.JavaScriptArtifactGraphContext.html
--- a/docs/api/interfaces/application_JavaScriptArtifactGraphContext.RoleAssetLinkInput.html
+++ b/docs/api/interfaces/application_JavaScriptArtifactGraphContext.RoleAssetLinkInput.html
--- a/docs/api/interfaces/application_JavaScriptArtifactGraphContext.UnavailableParseInput.html
+++ b/docs/api/interfaces/application_JavaScriptArtifactGraphContext.UnavailableParseInput.html
--- a/docs/api/interfaces/application_JavaScriptArtifactReconstruction.JavaScriptArtifactReconstructionResult.html
+++ b/docs/api/interfaces/application_JavaScriptArtifactReconstruction.JavaScriptArtifactReconstructionResult.html
--- a/docs/api/interfaces/application_Setup.SetupHost.html
+++ b/docs/api/interfaces/application_Setup.SetupHost.html
--- a/docs/api/interfaces/application_Setup.SetupResult.html
+++ b/docs/api/interfaces/application_Setup.SetupResult.html
--- a/docs/api/interfaces/browser_CdpPageCapture.CapturedPage.html
+++ b/docs/api/interfaces/browser_CdpPageCapture.CapturedPage.html
--- a/docs/api/interfaces/domain_javascriptApplicationChangeGraph.ApplicationChangeGraphProjection.html
+++ b/docs/api/interfaces/domain_javascriptApplicationChangeGraph.ApplicationChangeGraphProjection.html
--- a/docs/api/interfaces/domain_javascriptApplicationVersionComparison.ApplicationVersionComparisonProjectionInput.html
+++ b/docs/api/interfaces/domain_javascriptApplicationVersionComparison.ApplicationVersionComparisonProjectionInput.html
--- a/docs/api/interfaces/domain_javascriptApplicationVersionItems.ApplicationVersionItemProjection.html
+++ b/docs/api/interfaces/domain_javascriptApplicationVersionItems.ApplicationVersionItemProjection.html
--- a/docs/api/interfaces/domain_javascriptApplicationVersionKeys.ApplicationVersionMatchingProjection.html
+++ b/docs/api/interfaces/domain_javascriptApplicationVersionKeys.ApplicationVersionMatchingProjection.html
--- a/docs/api/interfaces/domain_javascriptApplicationVersionKeys.ApplicationVersionNodePair.html
+++ b/docs/api/interfaces/domain_javascriptApplicationVersionKeys.ApplicationVersionNodePair.html
--- a/docs/api/interfaces/domain_javascriptFeatureSeed.ApplicationFeatureSeedMatch.html
+++ b/docs/api/interfaces/domain_javascriptFeatureSeed.ApplicationFeatureSeedMatch.html
--- a/docs/api/interfaces/domain_javascriptFeatureTrace.ApplicationFeatureTraceProjectionInput.html
+++ b/docs/api/interfaces/domain_javascriptFeatureTrace.ApplicationFeatureTraceProjectionInput.html
--- a/docs/api/interfaces/domain_javascriptFeatureTraversal.ApplicationFeatureTraversal.html
+++ b/docs/api/interfaces/domain_javascriptFeatureTraversal.ApplicationFeatureTraversal.html
--- a/Show More
+++ b/Show More