rea-agents 6.1.0 → 6.3.0

package/dist/contracts/javascript/javascriptExportShapeComparisonExample.js

@@ -0,0 +1,248 @@
+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, JavaScriptSemanticEvidenceContextRegistry, } 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",
+        integrity_contradictions: [],
+    },
+    total: {
+        input_path: "/examples/javascript-export-presence/right",
+        root_artifact_sha256: "269ae72a601ad5ac02f1c2dda6ff9accffa2d2e4f4a9e406facee0d5a78a5377",
+        inventory_manifest_id: "agm_d3ceaa1af38fb3474070ca25c0d4644282e5fb7d5824cee3e3a81391481e9fc1",
+        inventory_graph_sha256: "3e9bc926951480c35385efe5650d9d781631bd74c37a523d543b5fbe06b01ce6",
+        integrity_contradictions: [],
+    },
+};
+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,
+};
+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 evidenceContexts = new JavaScriptSemanticEvidenceContextRegistry();
+    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",
+        },
+    }, evidenceContexts);
+    const semanticGraph = createJavaScriptSemanticGraph({
+        schema: "JavaScriptSemanticRelationGraph",
+        root_artifact_sha256: metadata.root_artifact_sha256,
+        application_graph_id: graph.graph_id,
+        root_node_ids: [module.node_id],
+        evidence_contexts: evidenceContexts.contexts,
+        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/javascript/javascriptRuntimeReconciliationExample.js

@@ -1,7 +1,7 @@
 import { createEvidence } from "../../domain/evidence.js";
 import { createJavaScriptApplicationGraph, createJavaScriptApplicationNode, } from "../../domain/javascript/javascriptApplicationGraph.js";
 import { createWebTextArtifact } from "../../domain/webContentArtifact.js";
-import { createJavaScriptSemanticGraph, createJavaScriptSemanticGraphNode, } from "../../domain/javascript/javascriptSemanticGraph.js";
+import { createJavaScriptSemanticGraph, createJavaScriptSemanticGraphNode, JavaScriptSemanticEvidenceContextRegistry, } from "../../domain/javascript/javascriptSemanticGraph.js";
 import { JAVASCRIPT_SEMANTIC_RELATION_FAMILIES } from "../../domain/javascript/javascriptSemanticGraphSchemas.js";
 const applicationSha256 = "1".repeat(64);
 const script = createWebTextArtifact("export const example = true;\n", "text/javascript");
@@ -59,6 +59,7 @@ const graph = createJavaScriptApplicationGraph({
     coverage: completeCoverage,
     limitations: [],
 });
+const evidenceContexts = new JavaScriptSemanticEvidenceContextRegistry();
 const semanticNode = createJavaScriptSemanticGraphNode({
     kind: "module",
     identity: {
@@ -72,12 +73,13 @@ const semanticNode = createJavaScriptSemanticGraphNode({
     label: "renderer.js",
     properties: {},
     evidence: graphEvidence,
-});
+}, evidenceContexts);
 const semanticGraph = createJavaScriptSemanticGraph({
     schema: "JavaScriptSemanticRelationGraph",
     root_artifact_sha256: applicationSha256,
     application_graph_id: graph.graph_id,
     root_node_ids: [semanticNode.node_id],
+    evidence_contexts: evidenceContexts.contexts,
     nodes: [semanticNode],
     relations: [],
     fingerprints: [],
@@ -98,7 +100,8 @@ const semanticGraph = createJavaScriptSemanticGraph({
     },
     limitations: ["Semantic relations are unavailable in this minimal example."],
 });
-const staticEvidence = createEvidence({ path: inputPath, sha256: applicationSha256, format: "directory" }, {
+/** Minimal valid static application Evidence for graph workflow examples. */
+export const JAVASCRIPT_APPLICATION_EVIDENCE_EXAMPLE = createEvidence({ path: inputPath, sha256: applicationSha256, format: "directory" }, {
     id: "rea-javascript-application",
     name: "REA JavaScript application analyzer",
     version: "1",
@@ -112,6 +115,7 @@ const staticEvidence = createEvidence({ path: inputPath, sha256: applicationSha2
         root_artifact_sha256: applicationSha256,
         inventory_manifest_id: `agm_${"2".repeat(64)}`,
         inventory_graph_sha256: "3".repeat(64),
+        integrity_contradictions: [],
         graph,
         semantic_graph: semanticGraph,
         summary: {
@@ -147,15 +151,12 @@ const staticEvidence = createEvidence({ path: inputPath, sha256: applicationSha2
             findings: 0,
             modules: 0,
             parse_failures: 0,
-            truncated_scopes: 0,
         },
         limitations: [],
     },
     confidence: "derived",
     authority: "shipped-artifact",
 });
-/** Minimal valid static application Evidence for graph workflow examples. */
-export const JAVASCRIPT_APPLICATION_EVIDENCE_EXAMPLE = staticEvidence;
 const runtimeEvidence = createEvidence(undefined, {
     id: "rea-cdp-electron",
     name: "REA Electron file-page CDP observation provider",
@@ -215,7 +216,7 @@ const runtimeEvidence = createEvidence(undefined, {
 });
 /** Compact valid Evidence pair used by the public reconciliation contract. */
 export const JAVASCRIPT_RUNTIME_RECONCILIATION_EXAMPLE = {
-    static_layers: [{ analysis: staticEvidence }],
+    static_layers: [{ analysis: JAVASCRIPT_APPLICATION_EVIDENCE_EXAMPLE }],
     runtime_observations: [runtimeEvidence],
 };
 function browserCompleteness() {

package/dist/contracts/managed/managedToolContracts.js

@@ -1,22 +1,18 @@
 import { z } from "zod";
-import { managedOutputSchemas } from "../toolOutputSchemas.js";
+import { isAbsolute } from "node:path";
+import { managedOutputSchemas } from "../toolOutputSchemaGroups.js";
 import { toolContractMetadata } from "../toolEffects.js";
 import { requireOutputSchema } from "../toolOutputSchemaPrimitives.js";
-import { isAbsoluteLocalPath, localPathStringSchema, } from "../../domain/localPath.js";
+import { 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, {
+        .refine(isAbsolute, {
         message: "path must be an absolute local filesystem path (for example /tmp/Example.dll or C:\\Example.dll)",
     })
         .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 +23,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 +37,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 +51,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

@@ -1,20 +1,18 @@
-import { canonicalDigest } from "../domain/comparisonSemantics.js";
+import { digestCanonicalValue } from "../domain/canonicalDigest.js";
 import { createEvidence } from "../domain/evidence.js";
 import { jsonValueSchema } from "../domain/jsonValue.js";
 const inventory = (format, digit) => {
     const sha = digit.repeat(64);
-    const artifactId = `art_${canonicalDigest({ sha256: sha }, "Artifact inventory")}`;
-    const occurrenceId = `occ_${canonicalDigest({ root: artifactId }, "Artifact inventory")}`;
+    const artifactId = `art_${digestCanonicalValue({ sha256: sha }, "Artifact inventory")}`;
+    const occurrenceId = `occ_${digestCanonicalValue({ root: artifactId }, "Artifact inventory")}`;
     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,
@@ -35,7 +35,7 @@ const inventory = (format, digit) => {
             limitations: [],
         },
     ];
-    const graphSha256 = canonicalDigest({
+    const graphSha256 = digestCanonicalValue({
         nodes,
         occurrences,
         edges: [],
@@ -43,7 +43,7 @@ const inventory = (format, digit) => {
     }, "Artifact inventory");
     return jsonValueSchema.parse({
         manifest: {
-            manifest_id: `agm_${canonicalDigest({
+            manifest_id: `agm_${digestCanonicalValue({
                 root_artifact_id: artifactId,
                 graph_sha256: graphSha256,
             }, "Artifact inventory")}`,

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(/^[^\x00]*$/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/sessionLifecycleInputs.js

@@ -1,16 +1,17 @@
+import { isAbsolute } from "node:path";
 import { executableFormatHintSchema } from "../domain/dosCom.js";
-import { isAbsoluteLocalPath, localPathStringSchema, } from "../domain/localPath.js";
+import { localPathStringSchema } from "../domain/localPath.js";
 import { z } from "zod";
 import { analysisProviderSelectorSchema } from "./providerSelection.js";
 /** Caller-supplied analysis snapshot path; must name its destination absolutely. */
 const snapshotPathSchema = localPathStringSchema
-    .refine(isAbsoluteLocalPath, {
+    .refine(isAbsolute, {
     message: "snapshot_path must be an absolute local filesystem path (for example /tmp/rea/analysis.json or C:\\rea\\analysis.json)",
 })
     .describe("Absolute local filesystem path for the analysis snapshot; relative paths are rejected.");
 /** Caller-supplied analysis target path; must name the target absolutely. */
 const binaryTargetPathSchema = localPathStringSchema
-    .refine(isAbsoluteLocalPath, {
+    .refine(isAbsolute, {
     message: "path must be an absolute local filesystem path (for example /tmp/fixture.bin or C:\\analysis\\fixture.bin)",
 })
     .describe("Absolute local filesystem path for the analysis target; relative paths are rejected.");

package/dist/contracts/sessionStatusContract.js

@@ -1,5 +1,6 @@
 import { z } from "zod";
-import { isAbsoluteLocalPath, localPathStringSchema, } from "../domain/localPath.js";
+import { isAbsolute } from "node:path";
+import { localPathStringSchema } from "../domain/localPath.js";
 /** Optional expectations used to compare the live session with its caller. */
 export const binarySessionInputSchema = z.strictObject({
     expected_package_version: z.string().min(1).optional(),
@@ -8,7 +9,7 @@ export const binarySessionInputSchema = z.strictObject({
         .regex(/^[a-f0-9]{64}$/u)
         .optional(),
     expected_server_path: localPathStringSchema
-        .refine(isAbsoluteLocalPath, {
+        .refine(isAbsolute, {
         message: "expected_server_path must be an absolute local filesystem path (for example /opt/rea/dist/main.js)",
     })
         .describe("Absolute local filesystem path expected for the running server; relative paths are rejected.")

package/dist/contracts/sessionToolContracts.js

@@ -1,7 +1,20 @@
 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 { isAbsolute } from "node:path";
+import { localPathStringSchema } from "../domain/localPath.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) => ({
@@ -16,7 +29,7 @@ const session = (name, description, inputSchema) => ({
 /** Session-owned Evidence bundle export options. */
 export const exportEvidenceBundleInputSchema = z.strictObject({
     path: localPathStringSchema
-        .refine(isAbsoluteLocalPath, {
+        .refine(isAbsolute, {
         message: "path must be an absolute local filesystem path (for example /tmp/rea/evidence.json or C:\\rea\\evidence.json)",
     })
         .describe("Absolute local filesystem path for the exported evidence bundle; relative paths are rejected."),

package/dist/contracts/sessionToolSchemas.js

@@ -1,19 +1,8 @@
 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 { isAbsolute } from "node:path";
+import { localPathStringSchema } from "../domain/localPath.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({});
@@ -29,7 +18,7 @@ export const addressContextInputSchema = z.strictObject({
 /** Session-owned Evidence bundle import options. */
 export const importEvidenceBundleInputSchema = z.strictObject({
     path: localPathStringSchema
-        .refine(isAbsoluteLocalPath, {
+        .refine(isAbsolute, {
         message: "path must be an absolute local filesystem path (for example /tmp/evidence.json or C:\\rea\\evidence.json)",
     })
         .describe("Absolute local filesystem path for the evidence bundle to import; relative paths are rejected."),
@@ -53,4 +42,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,