rea-agents 3.0.0 → 3.2.0

package/dist/contracts/javascriptRuntimeReconciliationExample.js

@@ -1,6 +1,8 @@
 import { createEvidence } from "../domain/evidence.js";
 import { createJavaScriptApplicationGraph, createJavaScriptApplicationNode, } from "../domain/javascriptApplicationGraph.js";
 import { createWebTextArtifact } from "../domain/webContentArtifact.js";
+import { createJavaScriptSemanticGraph, createJavaScriptSemanticGraphNode, } from "../domain/javascriptSemanticGraph.js";
+import { JAVASCRIPT_SEMANTIC_RELATION_FAMILIES } from "../domain/javascriptSemanticGraphSchemas.js";
 const applicationSha256 = "1".repeat(64);
 const script = createWebTextArtifact("export const example = true;\n", "text/javascript");
 const inputPath = "/Applications/Example.app/Contents/Resources/app";
@@ -51,29 +53,67 @@ const asset = createJavaScriptApplicationNode({
 });
 const graph = createJavaScriptApplicationGraph({
     schema: "JavaScriptApplicationGraph",
-    schema_version: 1,
     root_node_ids: [asset.node_id],
     nodes: [asset],
     edges: [],
     coverage: completeCoverage,
     limitations: [],
 });
+const semanticNode = createJavaScriptSemanticGraphNode({
+    kind: "module",
+    identity: {
+        artifact_sha256: applicationSha256,
+        module_path: "renderer.js",
+        source_range: null,
+        role_key: "example-module",
+    },
+    function_node_id: null,
+    application_node_ids: [asset.node_id],
+    label: "renderer.js",
+    properties: {},
+    evidence: graphEvidence,
+});
+const semanticGraph = createJavaScriptSemanticGraph({
+    schema: "JavaScriptSemanticRelationGraph",
+    root_artifact_sha256: applicationSha256,
+    application_graph_id: graph.graph_id,
+    root_node_ids: [semanticNode.node_id],
+    nodes: [semanticNode],
+    relations: [],
+    fingerprints: [],
+    unknowns: [],
+    coverage: {
+        status: "unknown",
+        truncated: false,
+        omitted_nodes: 0,
+        omitted_relations: 0,
+        limits: [],
+        families: JAVASCRIPT_SEMANTIC_RELATION_FAMILIES.map((family) => ({
+            family,
+            status: "unknown",
+            retained_relations: 0,
+            omitted_relations: 0,
+            unknown_ids: [],
+        })),
+    },
+    limitations: ["Semantic relations are unavailable in this minimal example."],
+});
 const staticEvidence = createEvidence({ path: inputPath, sha256: applicationSha256, format: "directory" }, {
     id: "rea-javascript-application",
     name: "REA JavaScript application analyzer",
     version: "1",
 }, {
-    predicateType: "rea.javascript-application-analysis/v1",
+    predicateType: "rea.javascript-application-analysis",
     operation: "analyze_javascript_application",
-    parameters: { approved: true, source_map_read_approved: false },
+    parameters: {},
     result: {
-        schema_version: 1,
         input_path: inputPath,
         format: "directory",
         root_artifact_sha256: applicationSha256,
         inventory_manifest_id: `agm_${"2".repeat(64)}`,
         inventory_graph_sha256: "3".repeat(64),
         graph,
+        semantic_graph: semanticGraph,
         summary: {
             browser_windows: 0,
             explicit_web_preferences: 0,
@@ -100,11 +140,7 @@ const staticEvidence = createEvidence({ path: inputPath, sha256: applicationSha2
         statistics: {
             relevant_files: 1,
             nested_asar_containers: 0,
-            text_files_selected: 1,
             text_bytes_read: script.bytes,
-            omitted_text_files: 0,
-            limit_omitted_text_files: 0,
-            policy_filtered_text_files: 0,
             invalid_utf8_files: 0,
             parsed_javascript_files: 1,
             visited_ast_nodes: 1,
@@ -125,17 +161,14 @@ const runtimeEvidence = createEvidence(undefined, {
     name: "REA Electron file-page CDP observation provider",
     version: "1",
 }, {
-    predicateType: "rea.electron-page-inspection/v1",
+    predicateType: "rea.electron-page-inspection",
     operation: "inspect_electron_page",
     parameters: {
         cdp_endpoint: "http://127.0.0.1:9223",
-        allowed_file_roots: [inputPath],
         target_id: "example-target",
         include_script_sources: true,
-        source_capture_approved: true,
     },
     result: {
-        schema_version: 1,
         browser: {
             product: "Electron/example",
             protocol_version: "1.3",

package/dist/contracts/managedToolContracts.js

@@ -1,6 +1,7 @@
 import { z } from "zod";
 import { managedOutputSchemas } from "./toolOutputSchemas.js";
 import { toolContractMetadata } from "./toolEffects.js";
+import { requireOutputSchema } from "./toolOutputSchemaPrimitives.js";
 /** Exact caller boundary for execution-free PE/CLI triage and identity. */
 export const managedArtifactInputSchema = z.object({
     path: z
@@ -8,115 +9,20 @@ export const managedArtifactInputSchema = z.object({
         .min(1)
         .optional()
         .describe("Managed PE/CLI path to open before inspection; omit only when a managed target is already active"),
-    reference_offset: z.number().int().min(0).default(0),
-    reference_limit: z.number().int().min(1).max(500).default(100),
-    resource_offset: z.number().int().min(0).default(0),
-    resource_limit: z.number().int().min(1).max(500).default(100),
-    attribute_offset: z.number().int().min(0).default(0),
-    attribute_limit: z.number().int().min(1).max(500).default(100),
-    max_file_bytes: z
-        .number()
-        .int()
-        .min(4_096)
-        .max(1_073_741_824)
-        .default(268_435_456),
-    max_metadata_bytes: z
-        .number()
-        .int()
-        .min(256)
-        .max(268_435_456)
-        .default(67_108_864),
-    max_table_rows: z.number().int().min(1).max(1_000_000).default(100_000),
-    max_heap_item_bytes: z
-        .number()
-        .int()
-        .min(1)
-        .max(16_777_216)
-        .default(1_048_576),
 });
 /** Exact caller boundary for execution-free metadata/signature/IL inspection. */
-export const managedMemberInputSchema = z.object({
-    type_offset: z.number().int().min(0).default(0),
-    type_limit: z.number().int().min(1).max(500).default(100),
-    method_offset: z.number().int().min(0).default(0),
-    method_limit: z.number().int().min(1).max(500).default(100),
-    field_offset: z.number().int().min(0).default(0),
-    field_limit: z.number().int().min(1).max(500).default(100),
-    member_ref_offset: z.number().int().min(0).default(0),
-    member_ref_limit: z.number().int().min(1).max(500).default(100),
-    edge_offset: z.number().int().min(0).default(0),
-    edge_limit: z.number().int().min(1).max(1_000).default(250),
-    instruction_anchor_limit: z.number().int().min(0).max(500).default(100),
-    max_file_bytes: z
-        .number()
-        .int()
-        .min(4_096)
-        .max(1_073_741_824)
-        .default(268_435_456),
-    max_metadata_bytes: z
-        .number()
-        .int()
-        .min(256)
-        .max(268_435_456)
-        .default(67_108_864),
-    max_table_rows: z.number().int().min(1).max(1_000_000).default(100_000),
-    max_heap_item_bytes: z
-        .number()
-        .int()
-        .min(1)
-        .max(16_777_216)
-        .default(1_048_576),
-    max_method_body_bytes: z
-        .number()
-        .int()
-        .min(1)
-        .max(16_777_216)
-        .default(1_048_576),
-    max_method_instructions: z.number().int().min(1).max(100_000).default(10_000),
-});
+export const managedMemberInputSchema = z.object({});
 /** Exact caller boundary for execution-free managed/native boundary inspection. */
-export const managedNativeBoundaryInputSchema = z.object({
-    module_ref_offset: z.number().int().min(0).default(0),
-    module_ref_limit: z.number().int().min(1).max(500).default(100),
-    import_offset: z.number().int().min(0).default(0),
-    import_limit: z.number().int().min(1).max(500).default(100),
-    implementation_offset: z.number().int().min(0).default(0),
-    implementation_limit: z.number().int().min(1).max(500).default(100),
-    max_file_bytes: z
-        .number()
-        .int()
-        .min(4_096)
-        .max(1_073_741_824)
-        .default(268_435_456),
-    max_metadata_bytes: z
-        .number()
-        .int()
-        .min(256)
-        .max(268_435_456)
-        .default(67_108_864),
-    max_table_rows: z.number().int().min(1).max(1_000_000).default(100_000),
-    max_heap_item_bytes: z
-        .number()
-        .int()
-        .min(1)
-        .max(16_777_216)
-        .default(1_048_576),
-});
-const outputSchema = managedOutputSchemas.inspect_managed_artifact;
-if (outputSchema === undefined)
-    throw new Error("Missing managed output schema for inspect_managed_artifact");
-const memberOutputSchema = managedOutputSchemas.inspect_managed_members;
-if (memberOutputSchema === undefined)
-    throw new Error("Missing managed output schema for inspect_managed_members");
-const nativeBoundaryOutputSchema = managedOutputSchemas.inspect_managed_native_boundaries;
-if (nativeBoundaryOutputSchema === undefined)
-    throw new Error("Missing managed output schema for inspect_managed_native_boundaries");
+export const managedNativeBoundaryInputSchema = z.object({});
+const outputSchema = requireOutputSchema(managedOutputSchemas, "inspect_managed_artifact");
+const memberOutputSchema = requireOutputSchema(managedOutputSchemas, "inspect_managed_members");
+const nativeBoundaryOutputSchema = requireOutputSchema(managedOutputSchemas, "inspect_managed_native_boundaries");
 /** Read-only managed artifact contracts. */
 export const MANAGED_TOOL_CONTRACTS = [
     {
         name: "inspect_managed_artifact",
         ...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 bounded pages and explicit partial or malformed coverage.",
+        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,
         outputSchema,
@@ -130,14 +36,14 @@ export const MANAGED_TOOL_CONTRACTS = [
     {
         name: "inspect_managed_members",
         ...toolContractMetadata("inspect_managed_members"),
-        description: "Inspect bounded PE/CLI metadata members, signatures, raw CIL hashes, limited member-result-v1 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 v1 tuple hash does not resolve them or fully commit control flow.",
+        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,
         outputSchema: memberOutputSchema,
         examples: [
             {
                 title: "Example inspect managed members request",
-                input: { method_limit: 25, edge_limit: 100 },
+                input: {},
             },
         ],
     },
@@ -151,7 +57,7 @@ export const MANAGED_TOOL_CONTRACTS = [
         examples: [
             {
                 title: "Example inspect managed/native boundary request",
-                input: { import_limit: 50, implementation_limit: 50 },
+                input: {},
             },
         ],
     },

package/dist/contracts/managedWorkflowExamples.js

@@ -10,7 +10,6 @@ const NATIVE_EXAMPLE_PROVIDER = {
     version: "1",
 };
 const emptyManagedMembers = (sha256, mvid) => ({
-    schema_version: 1,
     artifact: {
         path: `/examples/${sha256.slice(0, 8)}.dll`,
         sha256,
@@ -36,24 +35,15 @@ const emptyManagedMembers = (sha256, mvid) => ({
         requires_artifact_sha256: sha256,
         requires_mvid: mvid,
     },
-    types: emptyPage(100),
-    fields: emptyPage(100),
-    methods: emptyPage(100),
-    member_refs: emptyPage(100),
-    call_edges: emptyPage(250),
-    field_accesses: emptyPage(250),
+    types: [],
+    fields: [],
+    methods: [],
+    member_refs: [],
+    call_edges: [],
+    field_accesses: [],
     coverage: { state: "complete", issues: [] },
     limitations: [],
 });
-const emptyPage = (limit) => ({
-    items: [],
-    offset: 0,
-    limit,
-    total: 0,
-    returned: 0,
-    dropped: 0,
-    complete: true,
-});
 const evidence = (result) => createEvidence(undefined, MANAGED_STATIC_EXAMPLE_PROVIDER, {
     operation: "inspect_managed_members",
     parameters: {},
@@ -65,82 +55,64 @@ const runtimeMembers = () => {
     const result = emptyManagedMembers("2".repeat(64), "11112222-3333-4444-9555-666677778888");
     return {
         ...result,
-        methods: {
-            ...result.methods,
-            items: [
-                {
-                    token: "0x06000001",
-                    row_offset: 128,
-                    declaring_type_token: "0x02000001",
-                    declaring_type: "Example.Program",
-                    name: "Main",
+        methods: [
+            {
+                token: "0x06000001",
+                row_offset: 128,
+                declaring_type_token: "0x02000001",
+                declaring_type: "Example.Program",
+                name: "Main",
+                rva: 8192,
+                impl_flags: 0,
+                flags: 22,
+                signature: {
+                    raw_length: 3,
+                    raw_sha256: "3".repeat(64),
+                    kind: "method",
+                    parse_status: "decoded",
+                    calling_convention: "default",
+                    generic_parameter_count: 0,
+                    parameter_count: 0,
+                    return_type: "void",
+                    parameter_types: [],
+                    field_type: null,
+                    issue: null,
+                },
+                body: {
+                    status: "present",
+                    header_format: "tiny",
                     rva: 8192,
-                    impl_flags: 0,
-                    flags: 22,
-                    signature: {
-                        raw_length: 3,
-                        raw_sha256: "3".repeat(64),
-                        kind: "method",
-                        parse_status: "decoded",
-                        calling_convention: "default",
-                        generic_parameter_count: 0,
-                        parameter_count: 0,
-                        return_type: "void",
-                        parameter_types: [],
-                        field_type: null,
-                        issue: null,
-                    },
-                    body: {
-                        status: "present",
-                        header_format: "tiny",
-                        rva: 8192,
-                        file_offset: 512,
-                        max_stack: 8,
-                        init_locals: false,
-                        local_var_sig_token: null,
-                        il_size: 1,
-                        il_sha256: "4".repeat(64),
-                        normalized_il_sha256: "5".repeat(64),
-                        instruction_count: 1,
-                        decoded_instruction_count: 1,
-                        truncated_instructions: 0,
-                        opcode_counts: { ret: 1 },
-                        anchors: [],
-                        exception_regions: [],
-                        issue: null,
-                    },
+                    file_offset: 512,
+                    max_stack: 8,
+                    init_locals: false,
+                    local_var_sig_token: null,
+                    il_size: 1,
+                    il_sha256: "4".repeat(64),
+                    normalized_il_sha256: "5".repeat(64),
+                    instruction_count: 1,
+                    decoded_instruction_count: 1,
+                    truncated_instructions: 0,
+                    opcode_counts: { ret: 1 },
+                    anchors: [],
+                    exception_regions: [],
+                    issue: null,
                 },
-            ],
-            total: 1,
-            returned: 1,
-        },
+            },
+        ],
     };
 };
 /** Minimal valid managed member comparison request for public contracts. */
 export const MANAGED_MEMBER_COMPARISON_EXAMPLE = {
     left: evidence(emptyManagedMembers("0".repeat(64), "00112233-4455-6677-8899-aabbccddeeff")),
     right: evidence(emptyManagedMembers("1".repeat(64), "ffeeddcc-bbaa-4988-9766-554433221100")),
-    limits: {
-        max_method_matches: 100,
-        max_field_matches: 50,
-        max_candidates: 25,
-    },
 };
 const runtimeExampleEvidence = evidence(runtimeMembers());
 /** Minimal valid managed application graph projection request. */
 export const MANAGED_APPLICATION_GRAPH_EXAMPLE = {
     managed_members: runtimeExampleEvidence,
-    limits: {
-        max_types: 100,
-        max_methods: 100,
-        max_fields: 100,
-        max_pinvoke_imports: 100,
-        max_native_implementations: 100,
-    },
 };
 const boundaryEvidence = () => {
     const result = {
-        schema_version: 1,
         artifact: {
             path: "/examples/ManagedInterop.exe",
             sha256: "6".repeat(64),
@@ -175,51 +147,35 @@ const boundaryEvidence = () => {
             managed_native_header_rva: 0,
             managed_native_header_size: 0,
         },
-        module_refs: {
-            items: [
-                {
-                    token: "0x1a000001",
-                    row_offset: 256,
-                    name: "nativehelper.dll",
-                },
-            ],
-            offset: 0,
-            limit: 100,
-            total: 1,
-            returned: 1,
-            dropped: 0,
-            complete: true,
-        },
-        pinvoke_imports: {
-            items: [
-                {
-                    token: "0x1c000001",
-                    row_offset: 288,
-                    mapping_flags: 0,
-                    mapping_flags_hex: "0x0000",
-                    member_token: "0x06000001",
-                    member_kind: "method",
-                    member_name: "OpenNative",
-                    import_name: "open_native",
-                    import_scope_token: "0x1a000001",
-                    import_scope_name: "nativehelper.dll",
-                    no_mangle: true,
-                    char_set: "not-specified",
-                    call_convention: "cdecl",
-                    supports_last_error: false,
-                    best_fit: "assembly-default",
-                    throw_on_unmappable_char: "assembly-default",
-                    verification: "managed-declaration-only",
-                },
-            ],
-            offset: 0,
-            limit: 100,
-            total: 1,
-            returned: 1,
-            dropped: 0,
-            complete: true,
-        },
-        native_implementations: emptyPage(100),
+        module_refs: [
+            {
+                token: "0x1a000001",
+                row_offset: 256,
+                name: "nativehelper.dll",
+            },
+        ],
+        pinvoke_imports: [
+            {
+                token: "0x1c000001",
+                row_offset: 288,
+                mapping_flags: 0,
+                mapping_flags_hex: "0x0000",
+                member_token: "0x06000001",
+                member_kind: "method",
+                member_name: "OpenNative",
+                import_name: "open_native",
+                import_scope_token: "0x1a000001",
+                import_scope_name: "nativehelper.dll",
+                no_mangle: true,
+                char_set: "not-specified",
+                call_convention: "cdecl",
+                supports_last_error: false,
+                best_fit: "assembly-default",
+                throw_on_unmappable_char: "assembly-default",
+                verification: "managed-declaration-only",
+            },
+        ],
+        native_implementations: [],
         summary: {
             module_ref_count: 1,
             pinvoke_import_count: 1,
@@ -317,10 +273,6 @@ export const MANAGED_RECONSTRUCTION_IMPORT_EXAMPLE = {
 export const MANAGED_NATIVE_VERIFICATION_EXAMPLE = {
     managed_boundaries: boundaryEvidence(),
     native_observations: [nativeExportEvidence()],
-    limits: {
-        max_native_observations: 20,
-        max_candidates_per_import: 25,
-    },
 };
 /** Minimal valid managed runtime-correlation planning request. */
 export const MANAGED_RUNTIME_CORRELATION_EXAMPLE = {