[PR #256] [MERGED] feat(application): add cross-layer graph workflows #1907

Closed
opened 2026-10-16 21:12:23 +00:00 by bsakaguchi · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/256
Author: @N0zoM1z0
Created: 7/16/2026
Status: ✅ Merged
Merged: 7/16/2026
Merged by: @N0zoM1z0

Base: main ← Head: agent/cross-layer-feature-tracing


📝 Commits (2)

  • 5dab60b feat(application): add cross-layer graph workflows
  • 1626954 docs: refresh application workflow API links

📊 Changes

218 files changed (+6783 additions, -325 deletions)

View changed files

📝 .github/pull_request_template.md (+1 -1)
📝 AGENTS.md (+3 -3)
📝 CONTRIBUTING.md (+2 -2)
📝 README.md (+7 -5)
📝 README_ar.md (+4 -3)
📝 README_ja.md (+4 -3)
📝 README_ko.md (+4 -3)
📝 README_zh.md (+4 -3)
📝 docs/api/assets/hierarchy.js (+1 -1)
📝 docs/api/assets/navigation.js (+1 -1)
📝 docs/api/assets/search.js (+1 -1)
📝 docs/api/classes/application_JavaScriptArtifactGraphAccumulator.JavaScriptArtifactGraphAccumulator.html (+8 -8)
📝 docs/api/classes/application_PermissionAuthority.PermissionPathError.html (+1 -1)
📝 docs/api/classes/application_ProcessCaptureError.ProcessCaptureError.html (+1 -1)
📝 docs/api/classes/application_ProjectPermissionStore.ProjectPermissionStoreError.html (+1 -1)
📝 docs/api/classes/domain_permissionPolicy.PermissionGrantError.html (+1 -1)
📝 docs/api/classes/ghidra_GhidraLauncher.GhidraLaunchError.html (+1 -1)
📝 docs/api/classes/ghidra_GhidraSessionError.GhidraSessionError.html (+1 -1)
📝 docs/api/classes/ghidra_protocol.GhidraRemoteError.html (+1 -1)
📝 docs/api/functions/application_CapabilityInventory.buildCapabilityInventory.html (+2 -2)

...and 80 more files

📄 Description

Summary

  • add provider-neutral trace_application_feature and compare_application_versions workflows with MCP/CLI parity
  • preserve static, passive-runtime, native-provider, inferred, unknown, and unavailable authority through bounded traces and change graphs
  • match versions through unique-only digest, source-map, structural, and semantic tiers; ambiguous and incomplete entities remain unknown
  • hand exact native artifact digests and requested exports to retained Ghidra/Hopper Evidence without automatic provider switching
  • retain source and derived Evidence in session bundles/snapshots/workspaces, with optional atomic residual-unknown creation
  • add source-owned two-version fixtures, package verifier, guided-prompt updates, catalog/schema docs, translations, and skill v17

Verification

  • npm run check (initial inventory snapshots exposed expected drift; corrected)
  • npm test — 130 files, 906 tests passed
  • npm run typecheck
  • npm run format:check
  • npm run docs:check
  • npm run knip
  • npm run jscpd
  • npm run scan:todos
  • python ~/.codex/skills/.system/skill-creator/scripts/quick_validate.py skills/rea-analysis
  • npm run verify:application-workflows -- --left <source-owned-v1> --right <source-owned-v2> through the automated verifier test
  • local Notion heterogeneous-artifact benchmark: 6,346 unmatched entities correctly remained unknown under partial graph coverage; this was not treated as a two-release equivalence claim

Contract and behavior changes

  • MCP inventory: 80 → 82 tools
  • CLI inventory: 40 → 42 commands
  • new durable schemas: JavaScript feature trace v1 and application version comparison v1
  • no application execution, browser interaction, fuzzy module pairing, or implicit deep-provider acquisition

Real-provider verification

  • Real Hopper: not performed; this PR does not change Hopper mechanics.
  • Real Ghidra: not performed; native handoff uses exact retained Evidence subject digests and does not launch Ghidra.
  • Real browser: not performed; passive browser provider mechanics are unchanged.

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/morluto/rea/pull/256 **Author:** [@N0zoM1z0](https://github.com/N0zoM1z0) **Created:** 7/16/2026 **Status:** ✅ Merged **Merged:** 7/16/2026 **Merged by:** [@N0zoM1z0](https://github.com/N0zoM1z0) **Base:** `main` ← **Head:** `agent/cross-layer-feature-tracing` --- ### 📝 Commits (2) - [`5dab60b`](https://github.com/morluto/rea/commit/5dab60b96d6cbed8cb3193e37f9545bb827ed1da) feat(application): add cross-layer graph workflows - [`1626954`](https://github.com/morluto/rea/commit/162695483c08a4823182312032d4c1aee05f0317) docs: refresh application workflow API links ### 📊 Changes **218 files changed** (+6783 additions, -325 deletions) <details> <summary>View changed files</summary> 📝 `.github/pull_request_template.md` (+1 -1) 📝 `AGENTS.md` (+3 -3) 📝 `CONTRIBUTING.md` (+2 -2) 📝 `README.md` (+7 -5) 📝 `README_ar.md` (+4 -3) 📝 `README_ja.md` (+4 -3) 📝 `README_ko.md` (+4 -3) 📝 `README_zh.md` (+4 -3) 📝 `docs/api/assets/hierarchy.js` (+1 -1) 📝 `docs/api/assets/navigation.js` (+1 -1) 📝 `docs/api/assets/search.js` (+1 -1) 📝 `docs/api/classes/application_JavaScriptArtifactGraphAccumulator.JavaScriptArtifactGraphAccumulator.html` (+8 -8) 📝 `docs/api/classes/application_PermissionAuthority.PermissionPathError.html` (+1 -1) 📝 `docs/api/classes/application_ProcessCaptureError.ProcessCaptureError.html` (+1 -1) 📝 `docs/api/classes/application_ProjectPermissionStore.ProjectPermissionStoreError.html` (+1 -1) 📝 `docs/api/classes/domain_permissionPolicy.PermissionGrantError.html` (+1 -1) 📝 `docs/api/classes/ghidra_GhidraLauncher.GhidraLaunchError.html` (+1 -1) 📝 `docs/api/classes/ghidra_GhidraSessionError.GhidraSessionError.html` (+1 -1) 📝 `docs/api/classes/ghidra_protocol.GhidraRemoteError.html` (+1 -1) 📝 `docs/api/functions/application_CapabilityInventory.buildCapabilityInventory.html` (+2 -2) _...and 80 more files_ </details> ### 📄 Description ## Summary - add provider-neutral `trace_application_feature` and `compare_application_versions` workflows with MCP/CLI parity - preserve static, passive-runtime, native-provider, inferred, unknown, and unavailable authority through bounded traces and change graphs - match versions through unique-only digest, source-map, structural, and semantic tiers; ambiguous and incomplete entities remain unknown - hand exact native artifact digests and requested exports to retained Ghidra/Hopper Evidence without automatic provider switching - retain source and derived Evidence in session bundles/snapshots/workspaces, with optional atomic residual-unknown creation - add source-owned two-version fixtures, package verifier, guided-prompt updates, catalog/schema docs, translations, and skill v17 ## Verification - `npm run check` (initial inventory snapshots exposed expected drift; corrected) - `npm test` — 130 files, 906 tests passed - `npm run typecheck` - `npm run format:check` - `npm run docs:check` - `npm run knip` - `npm run jscpd` - `npm run scan:todos` - `python ~/.codex/skills/.system/skill-creator/scripts/quick_validate.py skills/rea-analysis` - `npm run verify:application-workflows -- --left <source-owned-v1> --right <source-owned-v2>` through the automated verifier test - local Notion heterogeneous-artifact benchmark: 6,346 unmatched entities correctly remained unknown under partial graph coverage; this was not treated as a two-release equivalence claim ## Contract and behavior changes - MCP inventory: 80 → 82 tools - CLI inventory: 40 → 42 commands - new durable schemas: JavaScript feature trace v1 and application version comparison v1 - no application execution, browser interaction, fuzzy module pairing, or implicit deep-provider acquisition ## Real-provider verification - Real Hopper: not performed; this PR does not change Hopper mechanics. - Real Ghidra: not performed; native handoff uses exact retained Evidence subject digests and does not launch Ghidra. - Real browser: not performed; passive browser provider mechanics are unchanged. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
bsakaguchi 2026-10-16 21:12:23 +00:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
morluto/rea#1907
No description provided.