rea-agents 4.0.1 → 5.0.0

package/dist/cli/androidCommands.js

@@ -0,0 +1,91 @@
+import { z } from "incur";
+import { AnalysisError } from "../domain/analysisErrorBase.js";
+import { AndroidAnalysisService } from "../application/android/AndroidAnalysisService.js";
+import { createAndroidAnalysisProvider } from "../composition/android.js";
+import { CLI_COMMANDS } from "../cliCommandNames.js";
+import { logCliCommand } from "../cliLogging.js";
+import { projectAnalysisError } from "../domain/analysisErrorProjection.js";
+import { withCommandCancellation } from "./commandCancellation.js";
+/** Expose the same explicit APK requests through one-shot CLI commands. */
+export const registerAndroidCommands = (cli, logger, environment) => {
+    const provider = createAndroidAnalysisProvider(environment);
+    const service = new AndroidAnalysisService(provider);
+    const execute = (name, operation, input) => withCommandCancellation((signal) => logCliCommand(logger, name, async () => {
+        const result = await service.execute(operation, input, { signal });
+        try {
+            await provider.close();
+        }
+        catch (cause) {
+            if (cause instanceof AnalysisError)
+                return projectAnalysisError(cause);
+            throw cause;
+        }
+        return result.ok ? result.value : projectAnalysisError(result.error);
+    }));
+    const path = z.string().describe("Local standalone APK path");
+    const className = z.string().describe("Exact fully qualified class name");
+    cli.command(CLI_COMMANDS.inspectAndroidPackage, {
+        description: "Inspect APK declarations and decoded manifest without executing it",
+        args: z.object({ path }),
+        run: ({ args }) => execute(CLI_COMMANDS.inspectAndroidPackage, "inspect_android_package", args),
+    });
+    cli.command(CLI_COMMANDS.searchAndroidClasses, {
+        description: "Search APK class names; empty query inventories all classes",
+        args: z.object({
+            path,
+            query: z
+                .string()
+                .describe("Case-sensitive class-name substring; empty lists all classes"),
+        }),
+        run: ({ args }) => execute(CLI_COMMANDS.searchAndroidClasses, "search_android_classes", args),
+    });
+    cli.command(CLI_COMMANDS.inspectAndroidClass, {
+        description: "Inspect one exact APK class's member inventory",
+        args: z.object({ path, className }),
+        run: ({ args }) => execute(CLI_COMMANDS.inspectAndroidClass, "inspect_android_class", {
+            path: args.path,
+            class_name: args.className,
+        }),
+    });
+    cli.command(CLI_COMMANDS.inspectAndroidMethod, {
+        description: "Decompile one APK method with explicit overload selection",
+        args: z.object({
+            path,
+            className,
+            methodName: z.string().describe("Exact declared method name"),
+        }),
+        options: z.object({
+            overloadIndex: z
+                .number()
+                .int()
+                .nonnegative()
+                .optional()
+                .describe("Explicit zero-based index among same-name methods; required when ambiguous"),
+        }),
+        run: ({ args, options }) => execute(CLI_COMMANDS.inspectAndroidMethod, "inspect_android_method", {
+            path: args.path,
+            class_name: args.className,
+            method_name: args.methodName,
+            ...(options.overloadIndex === undefined
+                ? {}
+                : { overload_index: options.overloadIndex }),
+        }),
+    });
+    cli.command(CLI_COMMANDS.traceAndroidReferences, {
+        description: "Trace incoming APK class or unique-method references",
+        args: z.object({ path, className }),
+        options: z.object({
+            methodName: z
+                .string()
+                .optional()
+                .describe("Unique declared method name; omit for class references"),
+        }),
+        run: ({ args, options }) => execute(CLI_COMMANDS.traceAndroidReferences, "trace_android_references", {
+            path: args.path,
+            class_name: args.className,
+            ...(options.methodName === undefined
+                ? {}
+                : { method_name: options.methodName }),
+        }),
+    });
+};

package/dist/{cliApplicationCommands.js → cli/applicationCommands.js}

@@ -1,20 +1,27 @@
+import { reconstructionCoverageEvaluationInputSchema } from "../domain/reconstructionCoverageInput.js";
 import { Cli, z } from "incur";
-import { compareApplicationVersionsEvidenceValidated, compareJavaScriptExportShapesEvidenceValidated, compareSourceToBundleEvidenceValidated, traceApplicationFeatureEvidenceValidated, } from "./application/JavaScriptApplicationWorkflowService.js";
-import { traceJavaScriptSemanticsEvidenceValidated } from "./application/JavaScriptSemanticTraceService.js";
-import { evaluateReconstructionCoverage, reconstructionCoverageEvaluationInputSchema, } from "./application/ReconstructionCoverageService.js";
-import { buildReconstructionObligationLedgerEvidenceValidated } from "./application/ReconstructionObligationLedgerService.js";
-import { CLI_COMMANDS } from "./cliCommandNames.js";
-import { parseCliJsonInput } from "./cliJsonInput.js";
-import { logCliCommand } from "./cliLogging.js";
-import { AnalysisInputError, projectAnalysisError, } from "./domain/errors.js";
-import { jsonValueSchema } from "./domain/jsonValue.js";
-import { traceApplicationFeatureInputSchema } from "./domain/javascriptFeatureTraceSchemas.js";
-import { traceJavaScriptSemanticsInputSchema } from "./domain/javascriptSemanticTraceSchemas.js";
-import { compareApplicationVersionsInputSchema } from "./domain/javascriptApplicationVersionComparisonSchemas.js";
-import { compareSourceToBundleInputSchema } from "./domain/sourceToBundleComparisonSchemas.js";
-import { compareJavaScriptExportShapesInputSchema } from "./domain/javascriptExportShapeComparisonSchemas.js";
-import { projectInputIssues } from "./domain/inputIssueProjection.js";
-import { reconstructionObligationLedgerInputSchema } from "./domain/reconstructionObligationLedgerSchemas.js";
+import { projectAndroidApplicationEvidence } from "../application/android/AndroidApplicationService.js";
+import { projectAppleApplicationEvidence } from "../application/apple/AppleApplicationService.js";
+import { compareApplicationVersionsEvidenceValidated, compareJavaScriptExportShapesEvidenceValidated, compareSourceToBundleEvidenceValidated, traceApplicationFeatureEvidenceValidated, } from "../application/javascript/JavaScriptApplicationWorkflowService.js";
+import { traceJavaScriptSemanticsEvidenceValidated } from "../application/javascript/JavaScriptSemanticTraceService.js";
+import { evaluateReconstructionCoverage } from "../application/ReconstructionCoverageService.js";
+import { buildReconstructionObligationLedgerEvidenceValidated } from "../application/ReconstructionObligationLedgerService.js";
+import { CLI_COMMANDS } from "../cliCommandNames.js";
+import { parseCliJsonInput } from "../cliJsonInput.js";
+import { logCliCommand } from "../cliLogging.js";
+import { AnalysisInputError } from "../domain/analysisErrorCore.js";
+import { projectAnalysisError } from "../domain/analysisErrorProjection.js";
+import {} from "../domain/analysisErrorBase.js";
+import { androidApplicationProjectionInputSchema } from "../domain/android/androidApplication.js";
+import { appleApplicationProjectionInputSchema } from "../domain/apple/appleApplication.js";
+import { jsonValueSchema } from "../domain/jsonValue.js";
+import { traceApplicationFeatureInputSchema } from "../domain/javascript/javascriptFeatureTraceSchemas.js";
+import { traceJavaScriptSemanticsInputSchema } from "../domain/javascript/javascriptSemanticTraceSchemas.js";
+import { compareApplicationVersionsInputSchema } from "../domain/javascript/javascriptApplicationVersionComparisonSchemas.js";
+import { compareSourceToBundleInputSchema } from "../domain/javascript/sourceToBundleComparisonSchemas.js";
+import { compareJavaScriptExportShapesInputSchema } from "../domain/javascript/javascriptExportShapeComparisonSchemas.js";
+import { projectInputIssues } from "../domain/inputIssueProjection.js";
+import { reconstructionObligationLedgerInputSchema } from "../domain/reconstructionObligationLedgerSchemas.js";
 /** Register CLI equivalents of provider-neutral application graph workflows. */
 export const registerApplicationCommands = (cli, logger) => {
     registerJsonCommand({
@@ -59,6 +66,32 @@ export const registerApplicationCommands = (cli, logger) => {
     });
     registerObligationLedgerCommand(cli, logger);
     registerCoverageCommand(cli, logger);
+    registerJsonCommand({
+        cli,
+        logger,
+        name: CLI_COMMANDS.projectAndroidApplicationGraph,
+        description: "Project authenticated APK inventory Evidence into an Android application graph",
+        inputSchema: androidApplicationProjectionInputSchema,
+        workflow: (input) => {
+            const result = projectAndroidApplicationEvidence(input);
+            return result.ok
+                ? { ok: true, value: jsonValueSchema.parse(result.value) }
+                : result;
+        },
+    });
+    registerJsonCommand({
+        cli,
+        logger,
+        name: CLI_COMMANDS.projectAppleApplicationGraph,
+        description: "Project authenticated IPA or macOS app inventory Evidence into an Apple application graph",
+        inputSchema: appleApplicationProjectionInputSchema,
+        workflow: (input) => {
+            const result = projectAppleApplicationEvidence(input);
+            return result.ok
+                ? { ok: true, value: jsonValueSchema.parse(result.value) }
+                : result;
+        },
+    });
 };
 const registerObligationLedgerCommand = (cli, logger) => registerJsonCommand({
     cli,

package/dist/cli/artifactCommands.js

@@ -1,5 +1,5 @@
 import { z } from "incur";
-import { runProviderAnalysis } from "../application/DirectAnalysis.js";
+import { runProviderAnalysis } from "../composition/directAnalysis.js";
 import { createArtifactExtractionDestination } from "../application/ArtifactExtractionDestination.js";
 import { logCliCommand } from "../cliLogging.js";
 import { CLI_COMMANDS } from "../cliCommandNames.js";

package/dist/{cliBrowserAdvancedCommands.js → cli/browserAdvancedCommands.js}

@@ -1,14 +1,15 @@
 import { Cli, z } from "incur";
-import { browserContext, browserCliError } from "./cliBrowserContext.js";
-import { browserScopeOptions } from "./cliObservationOptions.js";
-import { captureWebScreenshot, compareWebCaptureEvidence, compareWebScreenshotEvidence, discoverWebMcpTools, } from "./application/BrowserObservationService.js";
-import { CdpBrowserProvider } from "./browser/CdpBrowserProvider.js";
-import { logCliCommand } from "./cliLogging.js";
-import { AnalysisInputError } from "./domain/errors.js";
-import { browserCaptureComparisonInputSchema } from "./domain/browserCaptureComparison.js";
-import { discoverWebMcpToolsInputSchema } from "./domain/webMcpDiscovery.js";
-import { captureWebScreenshotInputSchema, compareWebScreenshotsInputSchema, } from "./domain/webScreenshot.js";
-import { CLI_COMMANDS } from "./cliCommandNames.js";
+import { browserContext, browserCliError } from "../cliBrowserContext.js";
+import { browserScopeOptions } from "../cliObservationOptions.js";
+import { captureWebScreenshot, compareWebCaptureEvidence, compareWebScreenshotEvidence, discoverWebMcpTools, } from "../application/BrowserObservationService.js";
+import { CdpBrowserProvider } from "../browser/CdpBrowserProvider.js";
+import { logCliCommand } from "../cliLogging.js";
+import { AnalysisInputError, } from "../domain/analysisErrorCore.js";
+import { browserCaptureComparisonInputSchema } from "../domain/browserCaptureComparison.js";
+import { discoverWebMcpToolsInputSchema } from "../domain/webMcpDiscovery.js";
+import { captureWebScreenshotInputSchema, compareWebScreenshotsInputSchema, } from "../domain/webScreenshot.js";
+import { safeParseJson } from "../domain/safeJson.js";
+import { CLI_COMMANDS } from "../cliCommandNames.js";
 /** Register WebMCP, capture-diff, and screenshot CLI equivalents. */
 export const registerAdvancedBrowserCommands = (cli, logger) => {
     registerWebMcp(cli, logger);
@@ -61,18 +62,31 @@ const registerCaptureDiff = (cli, logger) => {
                 .describe("Recorded literal normalization policy for browser scenarios"),
         }),
         run: ({ args, options }) => logCliCommand(logger, "compare-web-captures", async () => {
-            const before = parseJson(args.beforeJson);
-            const after = parseJson(args.afterJson);
+            const before = safeParseJson(args.beforeJson);
+            const after = safeParseJson(args.afterJson);
+            const normalization = safeParseJson(options.normalizationJson);
+            if (!before.ok)
+                return inputError("compare_web_captures", [
+                    invalidJsonIssue("before"),
+                ]);
+            if (!after.ok)
+                return inputError("compare_web_captures", [
+                    invalidJsonIssue("after"),
+                ]);
+            if (!normalization.ok)
+                return inputError("compare_web_captures", [
+                    invalidJsonIssue("normalization"),
+                ]);
             const scenarioComparison = browserCaptureComparisonInputSchema.safeParse({
-                before_scenario: before,
-                after_scenario: after,
-                normalization: parseJson(options.normalizationJson),
+                before_scenario: before.value,
+                after_scenario: after.value,
+                normalization: normalization.value,
             });
             const parsed = scenarioComparison.success
                 ? scenarioComparison
                 : browserCaptureComparisonInputSchema.safeParse({
-                    before,
-                    after,
+                    before: before.value,
+                    after: after.value,
                 });
             if (!parsed.success)
                 return inputError("compare_web_captures");
@@ -135,11 +149,12 @@ const registerScreenshotDiff = (cli, logger) => {
     });
 };
 const parseJson = (value) => {
-    try {
-        return JSON.parse(value);
-    }
-    catch {
-        return undefined;
-    }
+    const parsed = safeParseJson(value);
+    return parsed.ok ? parsed.value : undefined;
 };
-const inputError = (operation) => browserCliError(new AnalysisInputError(operation));
+const invalidJsonIssue = (field) => ({
+    path: [field],
+    reason: "invalid_format",
+    expected: "JSON",
+});
+const inputError = (operation, issues = []) => browserCliError(new AnalysisInputError(operation, undefined, issues));

package/dist/{cliBrowserCommands.js → cli/browserCommands.js}

@@ -1,13 +1,13 @@
 import { Cli, z } from "incur";
-import { browserContext, browserCliError } from "./cliBrowserContext.js";
-import { analyzeWebBundle, inspectWebPage, listBrowserTargets, observeWebSession, } from "./application/BrowserObservationService.js";
-import { logCliCommand } from "./cliLogging.js";
-import { inspectWebPageInputSchema, listBrowserTargetsInputSchema, } from "./domain/browserObservation.js";
-import { analyzeWebBundleInputSchema } from "./domain/webBundleAnalysis.js";
-import { observeWebSessionInputSchema } from "./domain/browserSession.js";
-import { AnalysisInputError } from "./domain/errors.js";
-import { CLI_COMMANDS } from "./cliCommandNames.js";
-import { browserPageInspectionOptions, browserScopeOptions, observationDuration, } from "./cliObservationOptions.js";
+import { browserContext, browserCliError } from "../cliBrowserContext.js";
+import { analyzeWebBundle, inspectWebPage, listBrowserTargets, observeWebSession, } from "../application/BrowserObservationService.js";
+import { logCliCommand } from "../cliLogging.js";
+import { inspectWebPageInputSchema, listBrowserTargetsInputSchema, } from "../domain/browserObservation.js";
+import { analyzeWebBundleInputSchema } from "../domain/webBundleAnalysis.js";
+import { observeWebSessionInputSchema } from "../domain/browserSession.js";
+import { AnalysisInputError } from "../domain/analysisErrorCore.js";
+import { CLI_COMMANDS } from "../cliCommandNames.js";
+import { browserPageInspectionOptions, browserScopeOptions, observationDuration, } from "../cliObservationOptions.js";
 /** Register CLI equivalents of the passive browser MCP tools. */
 export const registerBrowserCommands = (cli, logger) => {
     registerTargetList(cli, logger);

package/dist/cli/commandCancellation.js

@@ -0,0 +1,24 @@
+/** Translate one-shot CLI interrupts into awaited cleanup and conventional exit codes. */
+export const withCommandCancellation = async (operation, host = process) => {
+    const controller = new AbortController();
+    let exitCode;
+    const interrupt = () => {
+        exitCode ??= 130;
+        controller.abort();
+    };
+    const terminate = () => {
+        exitCode ??= 143;
+        controller.abort();
+    };
+    host.on("SIGINT", interrupt);
+    host.on("SIGTERM", terminate);
+    try {
+        return await operation(controller.signal);
+    }
+    finally {
+        host.off("SIGINT", interrupt);
+        host.off("SIGTERM", terminate);
+        if (exitCode !== undefined)
+            host.exitCode = exitCode;
+    }
+};