rea-agents 3.1.0 → 3.2.0

package/dist/cli/coreAnalysisCommands.js

@@ -14,20 +14,83 @@ export const registerCoreAnalysisCommands = (cli, logger) => {
     registerSearchCommand(cli, logger);
     registerXrefsCommand(cli, logger);
     registerTraceCommand(cli, logger);
+    registerNativeUiActionCommand(cli, logger);
+    registerNativeDispatchMetadataCommand(cli, logger);
+};
+const registerNativeDispatchMetadataCommand = (cli, logger) => {
+    cli.command(CLI_COMMANDS.inspectNativeDispatchMetadata, {
+        description: "Inspect typed Objective-C and Swift dispatch metadata",
+        args: z.object({
+            path: z.string().describe("Target path used to bind the result evidence"),
+        }),
+        options: z.object({
+            maxRecords: z
+                .number()
+                .int()
+                .min(1)
+                .max(20_000)
+                .default(5_000)
+                .describe("Maximum symbol records to inspect"),
+            snapshot: z
+                .string()
+                .min(1)
+                .optional()
+                .describe("Load or update the local analysis snapshot"),
+            provider: providerSelectionOption,
+        }),
+        alias: { maxRecords: "max-records" },
+        run: async ({ args, options }) => logCliCommand(logger, "inspect-native-dispatch-metadata", () => runDirectAnalysis(args.path, "inspect_native_dispatch_metadata", { max_records: options.maxRecords }, directAnalysisOptions(logger, options.snapshot, options.provider))),
+    });
+};
+const registerNativeUiActionCommand = (cli, logger) => {
+    cli.command(CLI_COMMANDS.traceNativeUiAction, {
+        description: "Trace a compiled UI action selector to its native handler and direct callees",
+        args: z.object({
+            path: z.string().describe("Target path used to bind the result evidence"),
+            action: z
+                .string()
+                .min(1)
+                .describe("A unique compiled UI action selector or interface object ID"),
+        }),
+        options: z.object({
+            maxDepth: z
+                .number()
+                .int()
+                .min(0)
+                .max(32)
+                .default(8)
+                .describe("Maximum relationship depth"),
+            maxNodes: z
+                .number()
+                .int()
+                .min(1)
+                .max(2_000)
+                .default(250)
+                .describe("Maximum returned graph nodes"),
+            maxEdges: z
+                .number()
+                .int()
+                .min(1)
+                .max(5_000)
+                .default(500)
+                .describe("Maximum returned graph edges"),
+            provider: providerSelectionOption,
+        }),
+        alias: {
+            maxDepth: "max-depth",
+            maxNodes: "max-nodes",
+            maxEdges: "max-edges",
+        },
+        run: async ({ args, options }) => logCliCommand(logger, "trace-native-ui-action", () => runDirectAnalysis(args.path, "trace_native_ui_action", {
+            action: args.action,
+            max_depth: options.maxDepth,
+            max_nodes: options.maxNodes,
+            max_edges: options.maxEdges,
+        }, directAnalysisOptions(logger, undefined, options.provider))),
+    });
 };
 const registerCoreCommands = (cli, logger) => {
     const overviewOptions = z.object({
-        detail: z
-            .enum(["concise", "detailed"])
-            .default("concise")
-            .describe("Overview detail level"),
-        limit: z
-            .number()
-            .int()
-            .min(1)
-            .max(50)
-            .default(10)
-            .describe("Maximum overview items to return"),
         snapshot: z
             .string()
             .min(1)
@@ -35,18 +98,12 @@ const registerCoreCommands = (cli, logger) => {
             .describe("Load and update a local analysis snapshot"),
         provider: providerSelectionOption,
     });
-    const analyzeOptions = overviewOptions.extend({
-        approved: z
-            .boolean()
-            .default(false)
-            .describe("Approve static analysis when the path is a JavaScript directory or ASAR"),
-    });
     cli.command(CLI_COMMANDS.analyze, {
         description: "Get an overview of an app",
         args: z.object({
             path: z.string().describe("App, program, or analysis database path"),
         }),
-        options: analyzeOptions,
+        options: overviewOptions,
         run: ({ args, options }) => logCliCommand(logger, "analyze", () => runRoutedOverview(args.path, options, logger)),
     });
     cli.command(CLI_COMMANDS.inspect, {
@@ -55,7 +112,7 @@ const registerCoreCommands = (cli, logger) => {
             path: z.string().describe("App, program, or analysis database path"),
         }),
         options: overviewOptions,
-        run: ({ args, options }) => logCliCommand(logger, "inspect", () => runDirectAnalysis(args.path, "binary_overview", { detail: options.detail, limit: options.limit }, directAnalysisOptions(logger, options.snapshot, options.provider))),
+        run: ({ args, options }) => logCliCommand(logger, "inspect", () => runDirectAnalysis(args.path, "binary_overview", {}, directAnalysisOptions(logger, options.snapshot, options.provider))),
     });
     cli.command(CLI_COMMANDS.decompile, {
         description: "Read one part of an app as code",
@@ -80,9 +137,8 @@ const runRoutedOverview = async (path, options, logger) => {
         (await isJavaScriptApplicationPath(path)))
         return runCliJavaScriptApplicationAnalysis({
             input_path: resolve(path),
-            approved: options.approved,
         });
-    return runDirectAnalysis(path, "binary_overview", { detail: options.detail, limit: options.limit }, directAnalysisOptions(logger, options.snapshot, options.provider));
+    return runDirectAnalysis(path, "binary_overview", {}, directAnalysisOptions(logger, options.snapshot, options.provider));
 };
 const isJavaScriptApplicationPath = async (path) => {
     const lower = path.toLowerCase();
@@ -117,7 +173,7 @@ const registerXrefsCommand = (cli, logger) => {
 };
 const registerTraceCommand = (cli, logger) => {
     cli.command(CLI_COMMANDS.trace, {
-        description: "Trace a bounded literal feature through analyzed references",
+        description: "Trace a literal feature through analyzed references",
         args: z.object({
             path: z.string().describe("App or program path"),
             query: z.string().min(1).describe("Literal feature query"),
@@ -127,20 +183,6 @@ const registerTraceCommand = (cli, logger) => {
                 .boolean()
                 .default(false)
                 .describe("Match the query with exact letter case"),
-            limit: z
-                .number()
-                .int()
-                .min(1)
-                .max(100)
-                .default(20)
-                .describe("Maximum matching roots to examine"),
-            maxOperations: z
-                .number()
-                .int()
-                .min(1)
-                .max(100)
-                .default(20)
-                .describe("Maximum analysis operations in the trace"),
             snapshot: z
                 .string()
                 .min(1)
@@ -150,49 +192,21 @@ const registerTraceCommand = (cli, logger) => {
         }),
         alias: {
             caseSensitive: "case-sensitive",
-            maxOperations: "max-operations",
         },
         run: ({ args, options }) => logCliCommand(logger, "trace", () => runDirectAnalysis(args.path, "trace_feature", {
             query: args.query,
             case_sensitive: options.caseSensitive,
-            limit: options.limit,
-            max_operations: options.maxOperations,
         }, directAnalysisOptions(logger, options.snapshot, options.provider))),
     });
 };
 const registerFunctionCommand = (cli, logger) => {
     cli.command(CLI_COMMANDS.function, {
-        description: "Analyze one bounded function with evidence",
+        description: "Analyze one complete function with evidence",
         args: z.object({
             path: z.string().describe("App or program path"),
             address: z.string().describe("Procedure name or address"),
         }),
         options: z.object({
-            includeAssembly: z
-                .boolean()
-                .default(false)
-                .describe("Include bounded assembly instructions"),
-            limit: z
-                .number()
-                .int()
-                .min(1)
-                .max(500)
-                .default(100)
-                .describe("Maximum referenced items to return"),
-            maxPseudocodeChars: z
-                .number()
-                .int()
-                .min(1)
-                .max(100_000)
-                .default(20_000)
-                .describe("Maximum pseudocode characters to return"),
-            maxInstructions: z
-                .number()
-                .int()
-                .min(1)
-                .max(5_000)
-                .default(500)
-                .describe("Maximum assembly instructions to return"),
             snapshot: z
                 .string()
                 .min(1)
@@ -200,18 +214,7 @@ const registerFunctionCommand = (cli, logger) => {
                 .describe("Load and update a local analysis snapshot"),
             provider: providerSelectionOption,
         }),
-        alias: {
-            includeAssembly: "include-assembly",
-            maxPseudocodeChars: "max-pseudocode-chars",
-            maxInstructions: "max-instructions",
-        },
-        run: ({ args, options }) => logCliCommand(logger, "function", () => runDirectAnalysis(args.path, "analyze_function", {
-            procedure: args.address,
-            include_assembly: options.includeAssembly,
-            limit: options.limit,
-            max_pseudocode_chars: options.maxPseudocodeChars,
-            max_instructions: options.maxInstructions,
-        }, directAnalysisOptions(logger, options.snapshot, options.provider))),
+        run: ({ args, options }) => logCliCommand(logger, "function", () => runDirectAnalysis(args.path, "analyze_function", { procedure: args.address }, directAnalysisOptions(logger, options.snapshot, options.provider))),
     });
 };
 const registerNativeApiCommand = (cli, logger) => {
@@ -222,20 +225,6 @@ const registerNativeApiCommand = (cli, logger) => {
             address: z.string().describe("Procedure name or address"),
         }),
         options: z.object({
-            maxPseudocodeChars: z
-                .number()
-                .int()
-                .min(1)
-                .max(100_000)
-                .default(20_000)
-                .describe("Maximum pseudocode characters to inspect"),
-            maxInstructions: z
-                .number()
-                .int()
-                .min(1)
-                .max(5_000)
-                .default(500)
-                .describe("Maximum assembly instructions to inspect"),
             snapshot: z
                 .string()
                 .min(1)
@@ -243,39 +232,17 @@ const registerNativeApiCommand = (cli, logger) => {
                 .describe("Load and update a local analysis snapshot"),
             provider: providerSelectionOption,
         }),
-        alias: {
-            maxPseudocodeChars: "max-pseudocode-chars",
-            maxInstructions: "max-instructions",
-        },
-        run: ({ args, options }) => logCliCommand(logger, "inspect-native-api", () => runDirectAnalysis(args.path, "inspect_native_api", {
-            procedure: args.address,
-            max_pseudocode_chars: options.maxPseudocodeChars,
-            max_instructions: options.maxInstructions,
-        }, directAnalysisOptions(logger, options.snapshot, options.provider))),
+        run: ({ args, options }) => logCliCommand(logger, "inspect-native-api", () => runDirectAnalysis(args.path, "inspect_native_api", { procedure: args.address }, directAnalysisOptions(logger, options.snapshot, options.provider))),
     });
 };
 const registerInstructionsCommand = (cli, logger) => {
     cli.command(CLI_COMMANDS.instructions, {
-        description: "Read one bounded raw-instruction window without decompiling",
+        description: "Read every raw instruction without decompiling",
         args: z.object({
             path: z.string().describe("App or program path"),
             address: z.string().describe("Procedure name or address"),
         }),
         options: z.object({
-            offset: z
-                .number()
-                .int()
-                .min(0)
-                .max(100_000)
-                .default(0)
-                .describe("Zero-based instruction offset"),
-            limit: z
-                .number()
-                .int()
-                .min(1)
-                .max(500)
-                .default(64)
-                .describe("Maximum raw instructions to return"),
             snapshot: z
                 .string()
                 .min(1)
@@ -285,14 +252,12 @@ const registerInstructionsCommand = (cli, logger) => {
         }),
         run: ({ args, options }) => logCliCommand(logger, CLI_COMMANDS.instructions, () => runDirectAnalysis(args.path, "read_function_instructions", {
             procedure: args.address,
-            offset: options.offset,
-            limit: options.limit,
         }, directAnalysisOptions(logger, options.snapshot, options.provider))),
     });
 };
 const registerSearchCommand = (cli, logger) => {
     cli.command(CLI_COMMANDS.search, {
-        description: "Search bounded analyzed strings or procedure names",
+        description: "Search every analyzed string or procedure name",
         args: z.object({
             path: z.string().describe("App or program path"),
             pattern: z.string().min(1).describe("Literal text or regex pattern"),
@@ -310,19 +275,6 @@ const registerSearchCommand = (cli, logger) => {
                 .boolean()
                 .default(false)
                 .describe("Match the pattern with exact letter case"),
-            offset: z
-                .number()
-                .int()
-                .min(0)
-                .default(0)
-                .describe("Zero-based matching-item offset"),
-            limit: z
-                .number()
-                .int()
-                .min(1)
-                .max(100)
-                .default(100)
-                .describe("Maximum matching items to return"),
             snapshot: z
                 .string()
                 .min(1)
@@ -335,8 +287,6 @@ const registerSearchCommand = (cli, logger) => {
             pattern: args.pattern,
             mode: options.mode,
             case_sensitive: options.caseSensitive,
-            offset: options.offset,
-            limit: options.limit,
         }, directAnalysisOptions(logger, options.snapshot, options.provider))),
     });
 };

package/dist/cli/javascriptApplicationAnalysis.js

@@ -1,16 +1,8 @@
 import { analyzeJavaScriptApplication } from "../application/JavaScriptApplicationService.js";
-import { loadConfiguredPermissionAuthority } from "../application/PermissionConfiguration.js";
-import { parseConfig } from "../config.js";
 import { projectAnalysisError } from "../domain/errors.js";
 /** Execute the shared one-shot CLI boundary for static JavaScript analysis. */
 export const runCliJavaScriptApplicationAnalysis = async (input) => {
-    const config = parseConfig(process.env);
-    if (!config.ok)
-        return cliError(config.error);
-    const authority = await loadConfiguredPermissionAuthority(config.value);
-    if (!authority.ok)
-        return cliError(authority.error);
-    const result = await analyzeJavaScriptApplication(authority.value, input);
+    const result = await analyzeJavaScriptApplication(input);
     return result.ok ? result.value : cliError(result.error);
 };
 const cliError = (error) => ({

package/dist/cli/managedCommands.js

@@ -1,5 +1,5 @@
 import { z } from "incur";
-import { compareManagedMemberPaths, } from "../application/ManagedMemberComparisonService.js";
+import { compareManagedMemberPaths } from "../application/ManagedMemberComparisonService.js";
 import { verifyManagedNativeBoundariesEvidence } from "../application/ManagedNativeVerificationService.js";
 import { importManagedReconstructionEvidence } from "../application/ManagedReconstructionService.js";
 import { planManagedRuntimeCorrelationEvidence } from "../application/ManagedRuntimeCorrelationService.js";
@@ -11,44 +11,6 @@ import { projectAnalysisError } from "../domain/errors.js";
 import { CLI_COMMANDS } from "../cliCommandNames.js";
 import { logCliCommand } from "../cliLogging.js";
 import { registerProjectManagedApplicationGraph } from "./managedProjectGraphCommand.js";
-const managedOffset = (subject) => z.number().int().min(0).default(0).describe(`Zero-based ${subject} offset`);
-const managedLimit = (subject, maximum, fallback) => z
-    .number()
-    .int()
-    .min(1)
-    .max(maximum)
-    .default(fallback)
-    .describe(`Maximum ${subject} to return`);
-const managedInspectionLimits = {
-    maxFileBytes: z
-        .number()
-        .int()
-        .min(4_096)
-        .max(1_073_741_824)
-        .default(268_435_456)
-        .describe("Maximum managed artifact file size accepted for inspection"),
-    maxMetadataBytes: z
-        .number()
-        .int()
-        .min(256)
-        .max(268_435_456)
-        .default(67_108_864)
-        .describe("Maximum CLI metadata region size accepted for inspection"),
-    maxTableRows: z
-        .number()
-        .int()
-        .min(1)
-        .max(1_000_000)
-        .default(100_000)
-        .describe("Maximum rows accepted in any CLI metadata table"),
-    maxHeapItemBytes: z
-        .number()
-        .int()
-        .min(1)
-        .max(16_777_216)
-        .default(1_048_576)
-        .describe("Maximum bytes accepted for one CLI metadata heap item"),
-};
 export const registerManagedCommands = (cli, logger) => {
     registerInspectManagedArtifact(cli, logger);
     registerInspectManagedMembers(cli, logger);
@@ -65,39 +27,7 @@ const registerInspectManagedArtifact = (cli, logger) => {
         args: z.object({
             path: z.string().describe("Managed PE executable or assembly path"),
         }),
-        options: z.object({
-            referenceOffset: managedOffset("assembly-reference"),
-            referenceLimit: managedLimit("assembly references", 500, 100),
-            resourceOffset: managedOffset("manifest-resource"),
-            resourceLimit: managedLimit("manifest resources", 500, 100),
-            attributeOffset: managedOffset("assembly-attribute"),
-            attributeLimit: managedLimit("assembly attributes", 500, 100),
-            ...managedInspectionLimits,
-        }),
-        alias: {
-            referenceOffset: "reference-offset",
-            referenceLimit: "reference-limit",
-            resourceOffset: "resource-offset",
-            resourceLimit: "resource-limit",
-            attributeOffset: "attribute-offset",
-            attributeLimit: "attribute-limit",
-            maxFileBytes: "max-file-bytes",
-            maxMetadataBytes: "max-metadata-bytes",
-            maxTableRows: "max-table-rows",
-            maxHeapItemBytes: "max-heap-item-bytes",
-        },
-        run: ({ args, options }) => logCliCommand(logger, "inspect-managed-artifact", () => runProviderAnalysis(args.path, "inspect_managed_artifact", {
-            reference_offset: options.referenceOffset,
-            reference_limit: options.referenceLimit,
-            resource_offset: options.resourceOffset,
-            resource_limit: options.resourceLimit,
-            attribute_offset: options.attributeOffset,
-            attribute_limit: options.attributeLimit,
-            max_file_bytes: options.maxFileBytes,
-            max_metadata_bytes: options.maxMetadataBytes,
-            max_table_rows: options.maxTableRows,
-            max_heap_item_bytes: options.maxHeapItemBytes,
-        }, logger)),
+        run: ({ args }) => logCliCommand(logger, "inspect-managed-artifact", () => runProviderAnalysis(args.path, "inspect_managed_artifact", {}, logger)),
     });
 };
 const registerInspectManagedMembers = (cli, logger) => {
@@ -106,78 +36,7 @@ const registerInspectManagedMembers = (cli, logger) => {
         args: z.object({
             path: z.string().describe("Managed PE executable or assembly path"),
         }),
-        options: z.object({
-            typeOffset: managedOffset("type definition"),
-            typeLimit: managedLimit("type definitions", 500, 100),
-            methodOffset: managedOffset("method definition"),
-            methodLimit: managedLimit("method definitions", 500, 100),
-            fieldOffset: managedOffset("field definition"),
-            fieldLimit: managedLimit("field definitions", 500, 100),
-            memberRefOffset: managedOffset("member reference"),
-            memberRefLimit: managedLimit("member references", 500, 100),
-            edgeOffset: managedOffset("member edge"),
-            edgeLimit: managedLimit("member edges", 1_000, 250),
-            instructionAnchorLimit: z
-                .number()
-                .int()
-                .min(0)
-                .max(500)
-                .default(100)
-                .describe("Maximum CIL instruction anchors per method"),
-            ...managedInspectionLimits,
-            maxMethodBodyBytes: z
-                .number()
-                .int()
-                .min(1)
-                .max(16_777_216)
-                .default(1_048_576)
-                .describe("Maximum CIL method body size accepted for inspection"),
-            maxMethodInstructions: z
-                .number()
-                .int()
-                .min(1)
-                .max(100_000)
-                .default(10_000)
-                .describe("Maximum decoded CIL instructions per method"),
-        }),
-        alias: {
-            typeOffset: "type-offset",
-            typeLimit: "type-limit",
-            methodOffset: "method-offset",
-            methodLimit: "method-limit",
-            fieldOffset: "field-offset",
-            fieldLimit: "field-limit",
-            memberRefOffset: "member-ref-offset",
-            memberRefLimit: "member-ref-limit",
-            edgeOffset: "edge-offset",
-            edgeLimit: "edge-limit",
-            instructionAnchorLimit: "instruction-anchor-limit",
-            maxFileBytes: "max-file-bytes",
-            maxMetadataBytes: "max-metadata-bytes",
-            maxTableRows: "max-table-rows",
-            maxHeapItemBytes: "max-heap-item-bytes",
-            maxMethodBodyBytes: "max-method-body-bytes",
-            maxMethodInstructions: "max-method-instructions",
-        },
-        run: ({ args, options }) => logCliCommand(logger, "inspect-managed-members", () => runProviderAnalysis(args.path, "inspect_managed_members", {
-            type_offset: options.typeOffset,
-            type_limit: options.typeLimit,
-            method_offset: options.methodOffset,
-            method_limit: options.methodLimit,
-            field_offset: options.fieldOffset,
-            field_limit: options.fieldLimit,
-            member_ref_offset: options.memberRefOffset,
-            member_ref_limit: options.memberRefLimit,
-            edge_offset: options.edgeOffset,
-            edge_limit: options.edgeLimit,
-            instruction_anchor_limit: options.instructionAnchorLimit,
-            max_file_bytes: options.maxFileBytes,
-            max_metadata_bytes: options.maxMetadataBytes,
-            max_table_rows: options.maxTableRows,
-            max_heap_item_bytes: options.maxHeapItemBytes,
-            max_method_body_bytes: options.maxMethodBodyBytes,
-            max_method_instructions: options.maxMethodInstructions,
-        }, logger)),
+        run: ({ args }) => logCliCommand(logger, "inspect-managed-members", () => runProviderAnalysis(args.path, "inspect_managed_members", {}, logger)),
     });
 };
 const registerInspectManagedNativeBoundaries = (cli, logger) => {
@@ -186,39 +45,7 @@ const registerInspectManagedNativeBoundaries = (cli, logger) => {
         args: z.object({
             path: z.string().describe("Managed PE executable or assembly path"),
         }),
-        options: z.object({
-            moduleRefOffset: managedOffset("module reference"),
-            moduleRefLimit: managedLimit("module references", 500, 100),
-            importOffset: managedOffset("platform import"),
-            importLimit: managedLimit("platform imports", 500, 100),
-            implementationOffset: managedOffset("native implementation"),
-            implementationLimit: managedLimit("native implementations", 500, 100),
-            ...managedInspectionLimits,
-        }),
-        alias: {
-            moduleRefOffset: "module-ref-offset",
-            moduleRefLimit: "module-ref-limit",
-            importOffset: "import-offset",
-            importLimit: "import-limit",
-            implementationOffset: "implementation-offset",
-            implementationLimit: "implementation-limit",
-            maxFileBytes: "max-file-bytes",
-            maxMetadataBytes: "max-metadata-bytes",
-            maxTableRows: "max-table-rows",
-            maxHeapItemBytes: "max-heap-item-bytes",
-        },
-        run: ({ args, options }) => logCliCommand(logger, "inspect-managed-native-boundaries", () => runProviderAnalysis(args.path, "inspect_managed_native_boundaries", {
-            module_ref_offset: options.moduleRefOffset,
-            module_ref_limit: options.moduleRefLimit,
-            import_offset: options.importOffset,
-            import_limit: options.importLimit,
-            implementation_offset: options.implementationOffset,
-            implementation_limit: options.implementationLimit,
-            max_file_bytes: options.maxFileBytes,
-            max_metadata_bytes: options.maxMetadataBytes,
-            max_table_rows: options.maxTableRows,
-            max_heap_item_bytes: options.maxHeapItemBytes,
-        }, logger)),
+        run: ({ args }) => logCliCommand(logger, "inspect-managed-native-boundaries", () => runProviderAnalysis(args.path, "inspect_managed_native_boundaries", {}, logger)),
     });
 };
 const compareManagedMemberArgs = z.object({
@@ -229,83 +56,10 @@ const registerCompareManagedMembers = (cli, logger) => {
     cli.command(CLI_COMMANDS.compareManagedMembers, {
         description: "Compare two managed PE/CLI member inventories without name-based matching",
         args: compareManagedMemberArgs,
-        options: z.object({
-            maxMethodMatches: z
-                .number()
-                .int()
-                .min(1)
-                .max(50_000)
-                .default(10_000)
-                .describe("Maximum exact method matches to return"),
-            maxFieldMatches: z
-                .number()
-                .int()
-                .min(0)
-                .max(50_000)
-                .default(5_000)
-                .describe("Maximum exact field matches to return"),
-            maxCandidates: z
-                .number()
-                .int()
-                .min(1)
-                .max(500)
-                .default(50)
-                .describe("Maximum ambiguous candidates per unmatched member"),
-            typeLimit: managedLimit("type definitions per artifact", 500, 500),
-            methodLimit: managedLimit("method definitions per artifact", 500, 500),
-            fieldLimit: managedLimit("field definitions per artifact", 500, 500),
-            memberRefLimit: managedLimit("member references per artifact", 500, 500),
-            edgeLimit: managedLimit("member edges per artifact", 1_000, 1_000),
-            instructionAnchorLimit: z
-                .number()
-                .int()
-                .min(0)
-                .max(500)
-                .default(500)
-                .describe("Maximum CIL instruction anchors per compared method"),
-            ...managedInspectionLimits,
-            maxMethodBodyBytes: z
-                .number()
-                .int()
-                .min(1)
-                .max(16_777_216)
-                .default(1_048_576)
-                .describe("Maximum CIL method body size accepted for comparison"),
-            maxMethodInstructions: z
-                .number()
-                .int()
-                .min(1)
-                .max(100_000)
-                .default(100_000)
-                .describe("Maximum decoded CIL instructions per compared method"),
-        }),
-        alias: {
-            maxMethodMatches: "max-method-matches",
-            maxFieldMatches: "max-field-matches",
-            maxCandidates: "max-candidates",
-            typeLimit: "type-limit",
-            methodLimit: "method-limit",
-            fieldLimit: "field-limit",
-            memberRefLimit: "member-ref-limit",
-            edgeLimit: "edge-limit",
-            instructionAnchorLimit: "instruction-anchor-limit",
-            maxFileBytes: "max-file-bytes",
-            maxMetadataBytes: "max-metadata-bytes",
-            maxTableRows: "max-table-rows",
-            maxHeapItemBytes: "max-heap-item-bytes",
-            maxMethodBodyBytes: "max-method-body-bytes",
-            maxMethodInstructions: "max-method-instructions",
-        },
-        run: ({ args, options }) => logCliCommand(logger, "compare-managed-members", async () => {
+        run: ({ args }) => logCliCommand(logger, "compare-managed-members", async () => {
             const result = await compareManagedMemberPaths({
                 leftPath: args.leftPath,
                 rightPath: args.rightPath,
-                comparisonLimits: {
-                    max_method_matches: options.maxMethodMatches,
-                    max_field_matches: options.maxFieldMatches,
-                    max_candidates: options.maxCandidates,
-                },
-                memberLimits: buildMemberLimits(options),
             });
             return result.ok
                 ? result.value
@@ -316,25 +70,6 @@ const registerCompareManagedMembers = (cli, logger) => {
         }),
     });
 };
-const buildMemberLimits = (options) => ({
-    maxFileBytes: options.maxFileBytes,
-    typeOffset: 0,
-    typeLimit: options.typeLimit,
-    methodOffset: 0,
-    methodLimit: options.methodLimit,
-    fieldOffset: 0,
-    fieldLimit: options.fieldLimit,
-    memberRefOffset: 0,
-    memberRefLimit: options.memberRefLimit,
-    edgeOffset: 0,
-    edgeLimit: options.edgeLimit,
-    instructionAnchorLimit: options.instructionAnchorLimit,
-    maxMetadataBytes: options.maxMetadataBytes,
-    maxTableRows: options.maxTableRows,
-    maxHeapItemBytes: options.maxHeapItemBytes,
-    maxMethodBodyBytes: options.maxMethodBodyBytes,
-    maxMethodInstructions: options.maxMethodInstructions,
-});
 const registerImportManagedReconstruction = (cli, logger) => {
     cli.command(CLI_COMMANDS.importManagedReconstruction, {
         description: "Import decompiler-produced managed reconstruction against exact static member evidence",