rea-agents 6.1.0 → 6.2.0

package/dist/contracts/javascript/javascriptExportShapeComparisonExample.js

@@ -0,0 +1,245 @@
+import { createEvidence } from "../../domain/evidence.js";
+import { createWebTextArtifact } from "../../domain/webContentArtifact.js";
+import { analyzeJavaScriptSemantics } from "../../domain/javascript/javascriptSemanticAnalysis.js";
+import { projectJavaScriptExportReturnShapes } from "../../domain/javascript/javascriptExportReturnShapeProjection.js";
+import { completeApplicationCoverage, partialApplicationCoverage, } from "../../domain/javascript/javascriptApplicationEvidenceSchemas.js";
+import { createJavaScriptApplicationGraph, createJavaScriptApplicationNode, } from "../../domain/javascript/javascriptApplicationGraph.js";
+import { createJavaScriptSemanticGraph, createJavaScriptSemanticGraphNode, } from "../../domain/javascript/javascriptSemanticGraph.js";
+import { JAVASCRIPT_SEMANTIC_RELATION_FAMILIES } from "../../domain/javascript/javascriptSemanticGraphSchemas.js";
+import { javascriptApplicationAnalysisResultSchema } from "../../domain/javascript/javascriptApplicationAnalysis.js";
+// Inventory identities/counters captured from real analysis of these two sources.
+// The inline example retains only source-derived export facts, with explicit gaps.
+const captures = {
+    count: {
+        input_path: "/examples/javascript-export-presence/left",
+        root_artifact_sha256: "5005ebc2f35719a2fc014f19a81c669f3a1ab471b7245ef6985a111b6845a747",
+        inventory_manifest_id: "agm_f30ded9a83d43a3980417bbe63dfad569e83386f243c4d6a01af0166372cb9e6",
+        inventory_graph_sha256: "4b8aceaf67e43fd8317ec1f5fd1df5235f8fa402335accf011683e008c6bc62c",
+    },
+    total: {
+        input_path: "/examples/javascript-export-presence/right",
+        root_artifact_sha256: "269ae72a601ad5ac02f1c2dda6ff9accffa2d2e4f4a9e406facee0d5a78a5377",
+        inventory_manifest_id: "agm_d3ceaa1af38fb3474070ca25c0d4644282e5fb7d5824cee3e3a81391481e9fc1",
+        inventory_graph_sha256: "3e9bc926951480c35385efe5650d9d781631bd74c37a523d543b5fbe06b01ce6",
+    },
+};
+const summary = {
+    browser_windows: 0,
+    explicit_web_preferences: 0,
+    preload_entrypoints: 0,
+    context_bridge_apis: 0,
+    exposed_api_members: 0,
+    ipc: {
+        operations: 0,
+        literal_channels: 0,
+        dynamic_channel_operations: 0,
+        renderer_transmissions: 0,
+        renderer_listeners: 0,
+        main_handlers: 0,
+        paired_renderer_transmissions: 0,
+        ambiguous_renderer_transmissions: 0,
+        unpaired_literal_renderer_transmissions: 0,
+    },
+    sender_validation_observations: 0,
+    utility_processes: 0,
+    resolved_utility_entrypoints: 0,
+    native_addon_bindings: 0,
+    resolved_native_addon_bindings: 0,
+};
+const statistics = {
+    relevant_files: 1,
+    nested_asar_containers: 0,
+    text_bytes_read: 60,
+    invalid_utf8_files: 0,
+    parsed_javascript_files: 1,
+    visited_ast_nodes: 12,
+    findings: 1,
+    modules: 0,
+    parse_failures: 0,
+    truncated_scopes: 0,
+};
+const modulePath = "parser.mjs";
+const limitations = [
+    "This example retains export and return-shape facts only; other application and semantic relationships are omitted.",
+];
+const exampleEvidence = (property) => {
+    const metadata = captures[property];
+    const source = `export default () => ({ kind: "results", ${property}: query() });\n`;
+    const artifact = createWebTextArtifact(source, "text/javascript");
+    const ir = analyzeJavaScriptSemantics(source);
+    const link = ir.moduleLinks.find(({ exportedName }) => exportedName === "default");
+    if (link === undefined)
+        throw new Error("Example source must define a default export");
+    const coverage = ir.coverage.status === "complete"
+        ? completeApplicationCoverage()
+        : partialApplicationCoverage([], ir.coverage.omittedCount);
+    const projection = projectJavaScriptExportReturnShapes({
+        ir,
+        link,
+        modulePath,
+        baseCoverage: coverage,
+    });
+    if (projection === null)
+        throw new Error("Example export must retain return shapes");
+    const evidence = {
+        artifact: {
+            available: true,
+            artifact_id: `art_${artifact.sha256}`,
+            sha256: artifact.sha256,
+        },
+        location: {
+            available: true,
+            value: { kind: "source-range", source: modulePath, ...link.location },
+        },
+        extractor: {
+            name: "rea-javascript-artifact-reconstruction",
+            version: "1",
+            operation: "recover-module-export",
+            executable_sha256: null,
+        },
+        coverage,
+        limitations: ir.limitations,
+        evidence_ids: [],
+    };
+    const exported = createJavaScriptApplicationNode({
+        kind: "javascript-module",
+        identity: {
+            strategy: "artifact-local-key",
+            stability: "artifact-version",
+            artifact_sha256: artifact.sha256,
+            namespace: "module-export",
+            key: `${metadata.root_artifact_sha256}:${modulePath}:default`,
+        },
+        observations: [
+            {
+                label: `${modulePath}:default`,
+                properties: {
+                    semantic_role: "export-binding",
+                    module_path: modulePath,
+                    relationship_kind: link.kind,
+                    exported_name: link.exportedName,
+                    local_name: link.localName,
+                    imported_name: link.importedName,
+                    declared_specifier: link.specifier,
+                },
+                evidence: {
+                    ...evidence,
+                    authority: "ast-static-analysis",
+                    state: "observed",
+                    confidence: "exact",
+                },
+            },
+            {
+                label: `${modulePath}:default:return-shapes`,
+                properties: projection.properties,
+                evidence: {
+                    ...evidence,
+                    authority: "static-relationship-inference",
+                    state: "inferred",
+                    confidence: "high",
+                    location: {
+                        available: true,
+                        value: {
+                            kind: "source-range",
+                            source: modulePath,
+                            ...projection.range,
+                        },
+                    },
+                    extractor: {
+                        ...evidence.extractor,
+                        operation: "recover-export-return-shapes",
+                    },
+                    coverage: projection.coverage,
+                    limitations: projection.limitations,
+                },
+            },
+        ],
+    });
+    const graph = createJavaScriptApplicationGraph({
+        schema: "JavaScriptApplicationGraph",
+        root_node_ids: [exported.node_id],
+        nodes: [exported],
+        edges: [],
+        coverage: partialApplicationCoverage([], null),
+        limitations,
+    });
+    const module = createJavaScriptSemanticGraphNode({
+        kind: "module",
+        identity: {
+            artifact_sha256: artifact.sha256,
+            module_path: modulePath,
+            source_range: null,
+            role_key: "example-module",
+        },
+        function_node_id: null,
+        application_node_ids: [exported.node_id],
+        label: modulePath,
+        properties: {},
+        evidence: {
+            ...evidence,
+            authority: "ast-static-analysis",
+            state: "observed",
+            confidence: "exact",
+        },
+    });
+    const semanticGraph = createJavaScriptSemanticGraph({
+        schema: "JavaScriptSemanticRelationGraph",
+        root_artifact_sha256: metadata.root_artifact_sha256,
+        application_graph_id: graph.graph_id,
+        root_node_ids: [module.node_id],
+        nodes: [module],
+        relations: [],
+        fingerprints: [],
+        unknowns: [],
+        coverage: {
+            status: "unknown",
+            truncated: false,
+            omitted_nodes: null,
+            omitted_relations: null,
+            limits: [],
+            families: JAVASCRIPT_SEMANTIC_RELATION_FAMILIES.map((family) => ({
+                family,
+                status: "unknown",
+                retained_relations: 0,
+                omitted_relations: null,
+                unknown_ids: [],
+            })),
+        },
+        limitations,
+    });
+    const result = javascriptApplicationAnalysisResultSchema.parse({
+        ...metadata,
+        format: "directory",
+        graph,
+        semantic_graph: semanticGraph,
+        summary,
+        statistics,
+        limitations,
+    });
+    return createEvidence({
+        path: result.input_path,
+        sha256: result.root_artifact_sha256,
+        format: "directory",
+    }, {
+        id: "rea-javascript-application",
+        name: "REA JavaScript application analyzer",
+        version: "1",
+    }, {
+        predicateType: "rea.javascript-application-analysis",
+        operation: "analyze_javascript_application",
+        parameters: {},
+        result,
+        confidence: "derived",
+        authority: "shipped-artifact",
+        limitations,
+    });
+};
+/** Source-derived tagged exports with known presence and unresolved values. */
+export const JAVASCRIPT_EXPORT_SHAPE_COMPARISON_EXAMPLE = {
+    left: exampleEvidence("count"),
+    right: exampleEvidence("total"),
+    left_module_path: modulePath,
+    left_export_name: "default",
+    right_module_path: modulePath,
+    right_export_name: "default",
+};

package/dist/contracts/javascript/javascriptRuntimeObservationToolContracts.js

@@ -1,5 +1,5 @@
 import { toolContractMetadata } from "../toolEffects.js";
-import { evidenceResultOf } from "../toolOutputSchemas.js";
+import { evidenceResultOf } from "../toolOutputSchemaPrimitives.js";
 import { javascriptRuntimeObservationSchema, javascriptRuntimeTargetListSchema, listJavaScriptRuntimeTargetsInputSchema, observeJavaScriptRuntimeInputSchema, } from "../../domain/javascript/javascriptRuntimeObservation.js";
 const endpoint = "http://127.0.0.1:9229";
 /** Passive Node/Electron V8 Inspector discovery and observation contracts. */

package/dist/contracts/managed/managedToolContracts.js

@@ -1,10 +1,10 @@
 import { z } from "zod";
-import { managedOutputSchemas } from "../toolOutputSchemas.js";
+import { managedOutputSchemas } from "../toolOutputSchemaGroups.js";
 import { toolContractMetadata } from "../toolEffects.js";
 import { requireOutputSchema } from "../toolOutputSchemaPrimitives.js";
 import { isAbsoluteLocalPath, localPathStringSchema, } from "../../domain/localPath.js";
 /** Exact caller boundary for execution-free PE/CLI triage and identity. */
-const managedTargetInputSchema = z.strictObject({
+export const managedTargetInputSchema = z.strictObject({
     path: localPathStringSchema
         .refine(isAbsoluteLocalPath, {
         message: "path must be an absolute local filesystem path (for example /tmp/Example.dll or C:\\Example.dll)",
@@ -12,11 +12,6 @@ const managedTargetInputSchema = z.strictObject({
         .describe("Explicit absolute managed PE/CLI path; omit to reuse the previously selected managed target")
         .optional(),
 });
-export const managedArtifactInputSchema = managedTargetInputSchema;
-/** Exact caller boundary for execution-free metadata/signature/IL inspection. */
-export const managedMemberInputSchema = managedTargetInputSchema;
-/** Exact caller boundary for execution-free managed/native boundary inspection. */
-export const managedNativeBoundaryInputSchema = managedTargetInputSchema;
 const outputSchema = requireOutputSchema(managedOutputSchemas, "inspect_managed_artifact");
 const memberOutputSchema = requireOutputSchema(managedOutputSchemas, "inspect_managed_members");
 const nativeBoundaryOutputSchema = requireOutputSchema(managedOutputSchemas, "inspect_managed_native_boundaries");
@@ -27,7 +22,7 @@ export const MANAGED_TOOL_CONTRACTS = [
         ...toolContractMetadata("inspect_managed_artifact"),
         description: "Open and classify an explicit managed PE/CLI path, or inspect the active managed target, then inventory exact assembly/module identity, target framework evidence, references, resources, and custom attributes without loading or executing target code. Returns complete inline inventories when metadata is admitted and explicit partial or malformed coverage otherwise.",
         kind: "managed-provider",
-        inputSchema: managedArtifactInputSchema,
+        inputSchema: managedTargetInputSchema,
         outputSchema,
         examples: [
             {
@@ -41,7 +36,7 @@ export const MANAGED_TOOL_CONTRACTS = [
         ...toolContractMetadata("inspect_managed_members"),
         description: "Inspect PE/CLI metadata members, signatures, raw CIL hashes, decoded-instruction-tuple hashes, separately reported exception regions, call edges, and field-access anchors without loading or executing target code. Metadata tokens are reported as build-local coordinates bound to the artifact SHA-256 and MVID; the tuple hash does not resolve them or fully commit control flow.",
         kind: "managed-provider",
-        inputSchema: managedMemberInputSchema,
+        inputSchema: managedTargetInputSchema,
         outputSchema: memberOutputSchema,
         examples: [
             {
@@ -55,7 +50,7 @@ export const MANAGED_TOOL_CONTRACTS = [
         ...toolContractMetadata("inspect_managed_native_boundaries"),
         description: "Inspect PE/CLI ModuleRef, ImplMap/PInvoke declarations, CLI native-header indicators, and non-IL method implementation flags without loading or executing target code. Results are managed declarations and degraded native-boundary observations, not verified native exports or addresses.",
         kind: "managed-provider",
-        inputSchema: managedNativeBoundaryInputSchema,
+        inputSchema: managedTargetInputSchema,
         outputSchema: nativeBoundaryOutputSchema,
         examples: [
             {

package/dist/contracts/managed/managedWorkflowToolContracts.js

@@ -1,7 +1,7 @@
 import { z } from "zod";
 import { evidenceSchema } from "../../domain/evidence.js";
 import { managedReconstructionImportInputSchema } from "../../domain/managed/managedReconstruction.js";
-import { managedWorkflowOutputSchemas } from "../toolOutputSchemas.js";
+import { managedWorkflowOutputSchemas } from "../toolOutputSchemaGroups.js";
 import { MANAGED_MEMBER_COMPARISON_EXAMPLE, MANAGED_NATIVE_VERIFICATION_EXAMPLE, MANAGED_APPLICATION_GRAPH_EXAMPLE, MANAGED_RECONSTRUCTION_IMPORT_EXAMPLE, } from "./managedWorkflowExamples.js";
 import { toolContractMetadata } from "../toolEffects.js";
 import { requireOutputSchema } from "../toolOutputSchemaPrimitives.js";

package/dist/contracts/mobileApplicationGraphExamples.js

@@ -8,13 +8,11 @@ const inventory = (format, digit) => {
     const nodes = [
         {
             artifact_id: artifactId,
-            kind: "resource",
-            format,
+            format: format === "directory" ? "directory" : "zip",
             sha256: sha,
             size: 1,
             media_type: null,
             architecture: null,
-            executable: false,
             content_state: "materialized",
             limitations: [],
         },
@@ -26,6 +24,8 @@ const inventory = (format, digit) => {
             parent_occurrence_id: null,
             logical_path: ".",
             entry_kind: "file",
+            artifact_kind: "resource",
+            artifact_format: format,
             declared_size: 1,
             compressed_size: null,
             executable: false,

package/dist/contracts/native/binaryDiagnosticsToolContracts.js

@@ -1,7 +1,7 @@
 import { inspectRecordedCrashInputSchema, recordedCrashSchema, } from "../../domain/native/recordedCrash.js";
 import { inspectBinaryLayoutInputSchema, binaryLayoutSchema, } from "../../domain/native/binaryLayout.js";
 import { toolContractMetadata } from "../toolEffects.js";
-import { evidenceResultOf } from "../toolOutputSchemas.js";
+import { evidenceResultOf } from "../toolOutputSchemaPrimitives.js";
 /** Offline binary diagnostics are independent of macOS process/UI providers. */
 export const BINARY_DIAGNOSTICS_TOOL_CONTRACTS = [
     {

package/dist/contracts/native/nativeToolContracts.js

@@ -1,7 +1,7 @@
 import { z } from "zod";
 import { nativeCallObservationInputSchema } from "../../domain/native/nativeCallObservation.js";
 import { nativeUiObservationInputSchema, nativeUiScenarioInputSchema, } from "../../domain/native/nativeUiObservation.js";
-import { nativeOutputSchemas } from "../toolOutputSchemas.js";
+import { nativeOutputSchemas } from "../toolOutputSchemaGroups.js";
 import { jsonValueSchema } from "../../domain/jsonValue.js";
 import { localPathStringSchema } from "../../domain/localPath.js";
 import { toolContractMetadata } from "../toolEffects.js";
@@ -58,7 +58,7 @@ export const swiftSymbolsSchema = z
     .string()
     .min(1)
     .regex(/^[^\n]*$/u, "Each Swift symbol must be one line.")
-    .regex(/^[^\0]*$/u, "Swift symbols cannot contain NUL."))
+    .regex(/^[^\u0000]*$/u, "Swift symbols cannot contain NUL."))
     .min(1);
 /** Provider-neutral semantic operations backed initially by macOS utilities. */
 export const NATIVE_TOOL_CONTRACTS = [

package/dist/contracts/officialToolContracts.js

@@ -1,6 +1,7 @@
 import { z } from "zod";
 import { nativeFunctionAnnotationsInputSchema } from "../domain/native/nativeFunctionAnnotations.js";
-import { officialOutputSchemas, requireOutputSchema, } from "./toolOutputSchemas.js";
+import { officialOutputSchemas } from "./toolOutputSchemaGroups.js";
+import { requireOutputSchema } from "./toolOutputSchemaPrimitives.js";
 import { address, document, examplesFor, optionalAddress, procedure, } from "./toolContractHelpers.js";
 import { toolContractMetadata } from "./toolEffects.js";
 import { nativeDataTypeInputSchema } from "../domain/native/nativeDataType.js";

package/dist/contracts/promptContracts.js

@@ -64,8 +64,8 @@ export const PROMPT_CONTRACTS = [
                 instruction: "Search relevant strings or procedures and analyze the matching procedures; pass names or addresses directly when already known.",
             },
             {
-                tools: ["trace_application_feature"],
-                instruction: "When application-graph Evidence is relevant, trace a route, API, channel, module, string, or native export across layers.",
+                tools: ["inspect_analysis_view", "trace_application_feature"],
+                instruction: "When inspect_binary_layout or analyze_javascript_application Evidence is already retained, call inspect_analysis_view with that evidence_id for a summary, one section/symbol/module, or a stable page. Do not re-run the producer. Use trace_application_feature once a route, API, channel, module, string, or native export seed is known.",
             },
             {
                 tools: [

package/dist/contracts/providerSelection.js

@@ -3,7 +3,7 @@ import { z } from "zod";
 export const analysisProviderIdSchema = z
     .string()
     .min(1)
-    .regex(/^[a-z][a-z0-9-]*$/u)
+    .regex(/^[a-z][a-z0-9\x2d]*$/u)
     .refine((value) => value !== "auto", {
     message: "auto is reserved for provider selection",
 });

package/dist/contracts/sessionToolContracts.js

@@ -1,7 +1,19 @@
 import { z } from "zod";
 import { isAbsoluteLocalPath, localPathStringSchema, } from "../domain/localPath.js";
-import { sessionOutputSchemas, requireOutputSchema, } from "./toolOutputSchemas.js";
-import { addressContextInputSchema, artifactComparisonInputSchema, binarySessionInputSchema, bundleComparisonInputSchema, callPathInputSchema, changedBehaviorInputSchema, closeBinaryInputSchema, functionComparisonInputSchema, importEvidenceBundleInputSchema, listUnknownsInputSchema, navigationContextInputSchema, openBinaryInputSchema, processComparisonInputSchema, processScenarioSchema, reconstructionVerificationInputSchema, recordUnknownInputSchema, getEvidenceBundleInputSchema, staticRuntimeCorrelationInputSchema, updateUnknownInputSchema, verifyUnknownResolutionInputSchema, } from "./sessionToolSchemas.js";
+import { artifactComparisonInputSchema } from "../domain/artifactComparison.js";
+import { bundleComparisonInputSchema } from "../domain/bundleComparison.js";
+import { callPathInputSchema } from "../domain/callPathSchemas.js";
+import { changedBehaviorInputSchema } from "../domain/changedBehavior.js";
+import { functionComparisonInputSchema } from "../domain/functionComparisonSchemas.js";
+import { processScenarioSchema } from "../domain/process/processScenario.js";
+import { recordUnknownInputSchema, updateUnknownInputSchema, } from "../domain/residualUnknown.js";
+import { reconstructionVerificationInputSchema } from "../domain/reconstructionVerificationSchemas.js";
+import { staticRuntimeCorrelationInputSchema } from "../domain/staticRuntimeCorrelation.js";
+import { sessionOutputSchemas } from "./toolOutputSchemaGroups.js";
+import { requireOutputSchema } from "./toolOutputSchemaPrimitives.js";
+import { closeBinaryInputSchema, openBinaryInputSchema, } from "./sessionLifecycleInputs.js";
+import { binarySessionInputSchema } from "./sessionStatusContract.js";
+import { addressContextInputSchema, importEvidenceBundleInputSchema, listUnknownsInputSchema, navigationContextInputSchema, processComparisonInputSchema, getEvidenceBundleInputSchema, verifyUnknownResolutionInputSchema, } from "./sessionToolSchemas.js";
 import { examplesFor } from "./toolContractHelpers.js";
 import { toolContractMetadata } from "./toolEffects.js";
 const session = (name, description, inputSchema) => ({

package/dist/contracts/sessionToolSchemas.js

@@ -1,19 +1,7 @@
 import { z } from "zod";
 import { isAbsoluteLocalPath, localPathStringSchema, } from "../domain/localPath.js";
-import { artifactComparisonInputSchema } from "../domain/artifactComparison.js";
-import { bundleComparisonInputSchema } from "../domain/bundleComparison.js";
-import { callPathInputSchema } from "../domain/callPath.js";
-import { changedBehaviorInputSchema } from "../domain/changedBehavior.js";
-import { functionComparisonInputSchema } from "../domain/functionComparison.js";
-import { processScenarioSchema } from "../domain/process/processCapture.js";
-import { processTraceSpecificationSchema } from "../domain/process/processTraceComparison.js";
-import { recordUnknownInputSchema } from "../domain/residualUnknown.js";
-import { reconstructionVerificationInputSchema } from "../domain/reconstructionVerification.js";
-import { staticRuntimeCorrelationInputSchema } from "../domain/staticRuntimeCorrelation.js";
+import { processTraceSpecificationSchema } from "../domain/process/processTraceSpecification.js";
 import { evidenceSchema } from "../domain/evidence.js";
-import { updateUnknownInputSchema } from "../domain/residualUnknown.js";
-import { openBinaryInputSchema, closeBinaryInputSchema, } from "./sessionLifecycleInputs.js";
-import { binarySessionInputSchema } from "./sessionStatusContract.js";
 import { prefixedDigestSchema } from "./../domain/digests.js";
 /** Return the current canonical Evidence bundle inline. */
 export const getEvidenceBundleInputSchema = z.strictObject({});
@@ -53,4 +41,3 @@ export const listUnknownsInputSchema = z.strictObject({
 export const verifyUnknownResolutionInputSchema = z.strictObject({
     unknown_id: prefixedDigestSchema("unk"),
 });
-export { artifactComparisonInputSchema, binarySessionInputSchema, bundleComparisonInputSchema, callPathInputSchema, changedBehaviorInputSchema, closeBinaryInputSchema, functionComparisonInputSchema, openBinaryInputSchema, processScenarioSchema, reconstructionVerificationInputSchema, recordUnknownInputSchema, staticRuntimeCorrelationInputSchema, updateUnknownInputSchema, };

package/dist/contracts/toolContracts.js

@@ -1,4 +1,5 @@
 import { EVM_TOOL_CONTRACTS } from "./evm/evmToolContracts.js";
+import { ANALYSIS_VIEW_TOOL_CONTRACTS } from "./analysisViewToolContracts.js";
 import { BINARY_DIAGNOSTICS_TOOL_CONTRACTS } from "./native/binaryDiagnosticsToolContracts.js";
 import { NATIVE_TOOL_CONTRACTS } from "./native/nativeToolContracts.js";
 import { ARTIFACT_TOOL_CONTRACTS } from "./artifactToolContracts.js";
@@ -23,6 +24,7 @@ export const TOOL_CONTRACTS = [
     ...ENHANCED_TOOL_CONTRACTS,
     ...NATIVE_TOOL_CONTRACTS,
     ...BINARY_DIAGNOSTICS_TOOL_CONTRACTS,
+    ...ANALYSIS_VIEW_TOOL_CONTRACTS,
     ...ARTIFACT_TOOL_CONTRACTS,
     ...EVM_TOOL_CONTRACTS,
     ...MANAGED_TOOL_CONTRACTS,

package/dist/contracts/toolEffects.js

@@ -57,6 +57,7 @@ export const TOOL_EFFECTS = {
         writesFilesystem: true,
         launchesProcess: true,
     }),
+    inspect_analysis_view: evidence,
     inspect_firmware_regions: effects({
         mutatesSession: true,
         launchesProcess: true,