rea-agents 6.0.0 → 6.2.0

package/dist/application/CallPathTracing.js

@@ -2,9 +2,25 @@ import { projectAnalysisError } from "../domain/analysisErrorProjection.js";
 import {} from "../domain/analysisErrorBase.js";
 import { parseRelatedAddresses } from "../domain/hopperValues.js";
 import { ok } from "../domain/result.js";
+import { resolveProcedureAddress } from "./ProcedureAddressResolution.js";
 /** Trace direct caller/callee relationships until the graph is exhausted or the goal is reached. */
 export const traceCallPath = async (call, input, signal) => {
-    const state = createTraceState(input);
+    const start = await resolveProcedureAddress(call, input.start, signal);
+    if (!start.ok)
+        return start;
+    let goal;
+    if (input.goal !== undefined) {
+        const resolved = await resolveProcedureAddress(call, input.goal, signal);
+        if (!resolved.ok)
+            return resolved;
+        goal = resolved.value;
+    }
+    const resolvedInput = {
+        start: start.value,
+        ...(goal === undefined ? {} : { goal }),
+        direction: input.direction,
+    };
+    const state = createTraceState(resolvedInput);
     while (state.queueIndex < state.queue.length &&
         state.traversalPath.length === 0) {
         const address = state.queue[state.queueIndex++];
@@ -14,7 +30,7 @@ export const traceCallPath = async (call, input, signal) => {
         if (current === undefined)
             continue;
         const found = await expandAddress(call, {
-            input,
+            input: resolvedInput,
             state,
             address,
             current,
@@ -23,7 +39,7 @@ export const traceCallPath = async (call, input, signal) => {
         if (found)
             break;
     }
-    return ok(projectTrace(input, state));
+    return ok(projectTrace(resolvedInput, state));
 };
 const createTraceState = (input) => ({
     visited: new Map([[input.start, { depth: 0, path: [input.start] }]]),

package/dist/application/CapabilityInventory.js

@@ -37,6 +37,21 @@ const ENHANCED_REQUIREMENTS = {
         "resolve_containing_procedure",
     ],
 };
+/** Contract kinds whose operations run on the active session target. */
+const ACTIVE_TARGET_KINDS = new Set([
+    "official-proxy",
+    "enhanced",
+    "native-provider",
+    "artifact-provider",
+]);
+/** Native contracts defined only for an active Mach-O executable. */
+const MACHO_TARGET_OPERATIONS = new Set([
+    "inspect_macho",
+    "list_architectures",
+    "observe_native_calls",
+    "observe_native_ui",
+    "capture_native_ui_scenario",
+]);
 const NAVIGATION_CONTEXT_MODES = [
     {
         name: "current_selection",
@@ -61,6 +76,7 @@ export const buildCapabilityInventory = (sessionStatus, policy, clientFeatures =
             kind: contract.kind,
             targetOpen: status.open,
             targetKind: status.kind,
+            targetFormat: status.format,
             descriptors,
             policy,
         });
@@ -125,6 +141,9 @@ const availabilityFor = (context) => {
     const workflowAvailability = workflowAvailabilityFor(context);
     if (workflowAvailability !== null)
         return workflowAvailability;
+    const hostDecision = hostAvailability(context);
+    if (hostDecision !== null)
+        return hostDecision;
     const targetDecision = targetAvailability(context);
     if (targetDecision !== null)
         return targetDecision;
@@ -219,11 +238,14 @@ const workflowAvailabilityFor = ({ name, kind, policy, }) => {
             };
     }
     if (kind === "android-provider")
-        return policy.androidAnalysisEnabled === true
+        return policy.androidAnalysisAvailability?.status === "available"
             ? { reason: "available", remediation: null }
             : {
-                reason: "provider_missing",
-                remediation: "Set REA_JADX_MCP_JAR to a caller-supplied jadx-headless-mcp 0.7.1 JAR and provide Java on Linux or macOS. Only Linux has real-provider verification.",
+                reason: policy.androidAnalysisAvailability?.code === "unsupported_host"
+                    ? "unsupported_host"
+                    : "provider_missing",
+                remediation: policy.androidAnalysisAvailability?.reason ??
+                    "Set REA_JADX_MCP_JAR to a caller-supplied jadx-headless-mcp 0.7.1 JAR and provide a full JDK on Linux, macOS, or Windows x64 with its matching bundled native controls.",
             };
     const browser = browserProviderAvailability(name, kind, policy);
     if (browser !== null)
@@ -283,8 +305,22 @@ const browserProviderAvailability = (name, kind, policy) => {
             remediation: "Start REA with its browser observation provider available.",
         };
 };
-const targetAvailability = ({ kind, targetKind, targetOpen, }) => {
-    if (!targetOpen && (kind === "official-proxy" || kind === "enhanced"))
+/**
+ * Opening another target cannot make an operation run on an unsupported host.
+ * Composed operations are decided by their requirements, which another
+ * provider may satisfy.
+ */
+const hostAvailability = ({ descriptors, kind, name, }) => {
+    if (kind === "enhanced")
+        return null;
+    const descriptor = descriptors.get(name);
+    return descriptor?.available === false &&
+        descriptor.availability_code === "unsupported_host"
+        ? { reason: "unsupported_host", remediation: descriptor.reason }
+        : null;
+};
+const targetAvailability = ({ name, kind, targetKind, targetFormat, targetOpen, }) => {
+    if (!targetOpen && ACTIVE_TARGET_KINDS.has(kind))
         return {
             reason: "target_required",
             remediation: "Call open_binary with a supported local target.",
@@ -297,6 +333,13 @@ const targetAvailability = ({ kind, targetKind, targetOpen, }) => {
             reason: "target_unsupported",
             remediation: "Inventory or extract a native executable, then call open_binary on that executable.",
         };
+    if (targetOpen &&
+        MACHO_TARGET_OPERATIONS.has(name) &&
+        (targetKind !== "executable" || targetFormat !== "mach-o"))
+        return {
+            reason: "target_unsupported",
+            remediation: "Call open_binary with a Mach-O executable or an app bundle whose main executable is Mach-O.",
+        };
     return null;
 };
 const providerAvailability = ({ descriptors, kind, name, }) => {
@@ -313,12 +356,6 @@ const providerAvailability = ({ descriptors, kind, name, }) => {
             reason: "provider_missing",
             remediation: "Install or configure a provider that declares this operation.",
         };
-    if (!descriptor.available &&
-        descriptor.availability_code === "unsupported_host")
-        return {
-            reason: "unsupported_host",
-            remediation: descriptor.reason,
-        };
     return descriptor.available
         ? { reason: "available", remediation: null }
         : {