rea-agents 2.5.0 → 3.1.0

package/dist/server/toolRegistrationOptions.js

@@ -1,182 +1,9 @@
-import { z } from "zod";
-/** Project the public contract fields accepted by MCP tool registration. */
+import { toolInputSchemaWithMetadata } from "../contracts/toolSchemaMetadata.js";
+/** Project the canonical Zod contracts directly into SDK registration. */
 export const toolRegistrationOptions = (contract) => ({
     title: contract.title,
     description: contract.description,
-    inputSchema: advertisedInputSchema(contract.inputSchema),
-    outputSchema: advertisedOutputSchema(contract.outputSchema),
+    inputSchema: toolInputSchemaWithMetadata(contract),
+    outputSchema: contract.outputSchema,
     annotations: contract.annotations,
 });
-/**
- * Advertise the exact Zod contract while leaving validation to REA's adapter.
- * The SDK otherwise converts validation failures to text-only JSON-RPC errors
- * before REA can return its stable structured error envelope.
- */
-const advertisedInputSchema = (schema) => ({
-    "~standard": {
-        version: 1,
-        vendor: "rea",
-        validate: (input) => ({ value: input }),
-        jsonSchema: {
-            input: () => describeProperties(closeObjectSchemas(inputJsonSchema(schema))),
-            output: () => describeProperties(closeObjectSchemas(inputJsonSchema(schema))),
-        },
-    },
-});
-const advertisedOutputSchema = (schema) => {
-    const standard = schema["~standard"];
-    const converter = standard.jsonSchema?.output;
-    if (converter === undefined)
-        throw new TypeError("Tool output schema does not expose Standard JSON Schema");
-    return {
-        "~standard": {
-            ...standard,
-            jsonSchema: {
-                input: () => describeRootProperties(closeObjectSchemas(converter({ target: "draft-2020-12" }))),
-                output: () => describeRootProperties(closeObjectSchemas(converter({ target: "draft-2020-12" }))),
-            },
-        },
-    };
-};
-const inputJsonSchema = (schema) => {
-    const converter = schema["~standard"].jsonSchema?.input;
-    if (converter === undefined)
-        throw new TypeError("Tool input schema does not expose Standard JSON Schema");
-    return converter({ target: "draft-2020-12" });
-};
-/** Close fixed-shape JSON Schema objects while preserving explicit maps. */
-export const closeObjectSchemas = (value) => {
-    const closed = Object.fromEntries(Object.entries(value).map(([key, child]) => [key, closeSchemaValue(child)]));
-    return value.type === "object" &&
-        isObject(value.properties) &&
-        value.additionalProperties === undefined
-        ? { ...closed, additionalProperties: false }
-        : closed;
-};
-const closeSchemaValue = (value) => {
-    if (Array.isArray(value))
-        return value.map(closeSchemaValue);
-    if (!isObject(value))
-        return value;
-    return closeObjectSchemas(value);
-};
-const describeProperties = (value) => Object.fromEntries(Object.entries(value).map(([key, child]) => {
-    if (key !== "properties" || typeof child !== "object" || child === null)
-        return [key, describeValue(child)];
-    return [
-        key,
-        Object.fromEntries(Object.entries(child).map(([property, schema]) => [
-            property,
-            isObject(schema) && typeof schema.description !== "string"
-                ? {
-                    ...describeProperties(schema),
-                    description: fallbackPropertyDescription(property),
-                }
-                : describeValue(schema),
-        ])),
-    ];
-}));
-const describeValue = (value) => {
-    if (Array.isArray(value))
-        return value.map(describeValue);
-    return isObject(value) ? describeProperties(value) : value;
-};
-const describeRootProperties = (value) => {
-    const properties = value.properties;
-    if (!isObject(properties))
-        return { ...value };
-    return {
-        ...value,
-        properties: Object.fromEntries(Object.entries(properties).map(([property, schema]) => [
-            property,
-            isObject(schema) && typeof schema.description !== "string"
-                ? {
-                    ...schema,
-                    description: fallbackPropertyDescription(property),
-                }
-                : schema,
-        ])),
-    };
-};
-const PROPERTY_DESCRIPTIONS = {
-    addresses: "Ordered provider-normalized procedure addresses to analyze.",
-    approved: "Explicit operator approval to perform this operation.",
-    after: "The later or right-hand observation to compare.",
-    before: "The earlier or left-hand observation to compare.",
-    boundary_id: "Exact reconstruction boundary identifier to evaluate.",
-    case_sensitive: "Whether text matching distinguishes uppercase and lowercase.",
-    cdp_endpoint: "Approved literal loopback Chrome DevTools Protocol endpoint.",
-    comment: "Exact analyst comment text to write.",
-    comparisons: "Validated comparison Evidence records to aggregate.",
-    coverage: "Exact reconstruction-coverage commitment to verify.",
-    detail: "Requested response detail level.",
-    direction: "Direction in which to traverse or compare relationships.",
-    document: "Exact provider document or program identity.",
-    error: "Structured, caller-actionable error when the operation fails.",
-    evidence: "Evidence v2 record produced by this operation.",
-    evidence_id: "Stable identifier of the recorded Evidence v2 observation.",
-    evidence_uri: "Session resource URI for the recorded Evidence v2 observation.",
-    executable: "Approved absolute path of the executable to run.",
-    format: "Declared input artifact format.",
-    name: "Exact name used by this operation.",
-    pattern: "Text or bounded pattern used to filter matching results.",
-    phase: "Current plan or execution phase of the operation.",
-    plan: "Content-bound execution plan and its approval commitment.",
-    query: "Non-empty feature or text query to investigate.",
-    question: "Concrete unresolved question to retain for later investigation.",
-    result: "Primary structured result returned by this operation.",
-    left: "Left-hand input used for comparison or differential execution.",
-    limit: "Maximum number of results to return in this page.",
-    limits: "Bounded resource-consumption and result-size limits for this operation.",
-    mode: "Operation mode that selects the requested behavior.",
-    offset: "Zero-based index of the first result to return.",
-    overwrite: "Whether an existing destination may be replaced.",
-    path: "Local filesystem path used by this operation.",
-    provider_id: "Exact deep-analysis provider ID, or automatic selection when omitted.",
-    right: "Right-hand input used for comparison or differential execution.",
-    schema_version: "Version of this structured result schema.",
-    source_evidence: "Evidence records supporting the prepared source transformation.",
-    status: "Current lifecycle or verification status.",
-    summary: "Concise evidence-backed summary of the result.",
-    symbols: "Ordered bounded Swift symbols to demangle.",
-    target_id: "Exact authorized CDP target identifier.",
-    unknown_id: "Exact residual-unknown identifier.",
-    unknown_registry_approved: "Explicit approval to record bounded residual uncertainty in the session registry.",
-    workspace_path: "Approved local path of the persistent investigation workspace.",
-};
-const fallbackPropertyDescription = (property) => {
-    const explicit = PROPERTY_DESCRIPTIONS[property];
-    if (explicit !== undefined)
-        return explicit;
-    const words = property.replaceAll("_", " ");
-    if (property.endsWith("_approved"))
-        return `Explicit operator approval for ${words.slice(0, -9)}.`;
-    if (property.endsWith("_offset"))
-        return `Zero-based index of the first ${words.slice(0, -7)} to return.`;
-    if (property.endsWith("_limit"))
-        return `Maximum number of ${words.slice(0, -6)} entries to return.`;
-    if (property.startsWith("max_"))
-        return `Maximum permitted ${words.slice(4)} for this operation.`;
-    if (property.startsWith("include_"))
-        return `Whether to include ${words.slice(8)} in the result.`;
-    if (property.startsWith("expected_"))
-        return `Expected ${words.slice(9)} used to reject stale or mismatched input.`;
-    if (property.endsWith("_sha256"))
-        return `Exact SHA-256 digest of ${words.slice(0, -7)}.`;
-    if (property.endsWith("_evidence_id"))
-        return `Exact Evidence v2 identifier for the ${words.slice(0, -12)} observation.`;
-    if (property.endsWith("_evidence_ids"))
-        return `Ordered Evidence v2 identifiers for the ${words.slice(0, -13)} observations.`;
-    if (property.endsWith("_path"))
-        return `Local filesystem path for ${words.slice(0, -5)}.`;
-    if (property.endsWith("_uri"))
-        return `Canonical URI for ${words.slice(0, -4)}.`;
-    if (property.endsWith("_bytes"))
-        return `Bounded byte count for ${words.slice(0, -6)}.`;
-    if (property.endsWith("_root") || property.endsWith("_roots"))
-        return `Approved canonical filesystem ${words}.`;
-    if (property.startsWith("is_") || property.startsWith("has_"))
-        return `Whether ${words}.`;
-    return `Value for ${words}.`;
-};
-const isObject = (value) => typeof value === "object" && value !== null && !Array.isArray(value);

package/dist/server/toolResult.js

@@ -1,4 +1,4 @@
-import { AnalysisOutputError, projectAnalysisError, } from "../domain/errors.js";
+import { projectAnalysisError } from "../domain/errors.js";
 /**
  * Translate an application result into MCP text content.
  * Error tags and safe messages remain visible while underlying causes, process
@@ -24,31 +24,23 @@ const errorResult = (error) => {
 const successResult = (value, contract, options) => {
     const candidate = compactEvidence(value, options.evidenceResultProjection) ??
         (contract.kind === "session" ? { result: value } : value);
-    const parsed = contract.outputSchema.safeParse(candidate);
-    if (!parsed.success) {
-        const structuredContent = {
-            error: projectAnalysisError(new AnalysisOutputError(contract.name, "output does not match the tool contract")),
-        };
-        return {
-            content: [
-                {
-                    type: "text",
-                    text: JSON.stringify(structuredContent),
-                },
-            ],
-            structuredContent,
-            isError: true,
-        };
-    }
     return {
         content: [
             {
                 type: "text",
                 text: JSON.stringify(options.evidenceTextProjection === undefined
-                    ? parsed.data
+                    ? candidate
                     : (compactEvidence(value, options.evidenceTextProjection) ??
                         options.evidenceTextProjection)),
             },
+            ...(hasResourceLinks(value, contract, options)
+                ? [
+                    {
+                        type: "text",
+                        text: "Full detail is available through MCP resources/read. Copy the opaque URI exactly. In Codex, call read_mcp_resource.",
+                    },
+                ]
+                : []),
             ...evidenceResourceLinks(value, contract.kind === "session" ||
                 options.evidenceResourcesAvailable === true),
             ...(options.resourceLinks ?? []).map((resource) => ({
@@ -60,6 +52,10 @@ const successResult = (value, contract, options) => {
         structuredContent: candidate,
     };
 };
+const hasResourceLinks = (value, contract, options) => options.resourceLinks !== undefined && options.resourceLinks.length > 0
+    ? true
+    : evidenceResourceLinks(value, contract.kind === "session" ||
+        options.evidenceResourcesAvailable === true).length > 0;
 const compactEvidence = (value, resultProjection) => {
     if (typeof value !== "object" ||
         value === null ||

package/package.json

@@ -1,6 +1,7 @@
 {
   "name": "rea-agents",
-  "version": "2.5.0",
+  "mcpName": "io.github.morluto/rea",
+  "version": "3.1.0",
   "description": "Reverse engineer anything from your terminal or agent with one CLI and MCP server.",
   "license": "MIT",
   "repository": {
@@ -43,6 +44,8 @@
     "bridge/hopper_bridge.py",
     "bridge/ghidra/ReaGhidraBridge.java",
     "scripts/rea.mjs",
+    "scripts/electron-active-hook.cjs",
+    "scripts/electron-active-hook-boundaries.cjs",
     "scripts/hopper-demo-x11.py",
     "scripts/prepack.mjs",
     "scripts/prepare.mjs",
@@ -54,16 +57,21 @@
     "deps:check": "node scripts/check-dependency-install.mjs",
     "metadata:generate": "node scripts/generate-package-metadata.mjs",
     "metadata:check": "node scripts/generate-package-metadata.mjs --check",
-    "prebuild": "npm run deps:check && npm run metadata:check",
+    "mcp-registry:check": "node scripts/verify-mcp-registry-metadata.mjs",
+    "mcp-catalog:generate": "npm run build:cached && node scripts/generate-mcp-tool-catalog.mjs",
+    "mcp-catalog:check": "node scripts/generate-mcp-tool-catalog.mjs --check",
+    "prebuild": "npm run deps:check && npm run metadata:check && node scripts/clean-build-output.mjs",
     "build": "tsc -p tsconfig.build.json",
     "precheck": "npm run deps:check",
     "check": "turbo run typecheck lint format:check knip metadata:check",
     "precheck:fast": "npm run deps:check",
     "check:fast": "turbo run typecheck lint",
+    "precheck:changed": "npm run deps:check",
+    "check:changed": "turbo run typecheck lint && npm run test:changed",
     "precheck:test": "npm run deps:check",
     "check:test": "turbo run typecheck lint format:check knip metadata:check test:run",
     "precheck:pr": "npm run deps:check",
-    "check:pr": "turbo run typecheck lint format:check knip metadata:check test:run docs:check:built",
+    "check:pr": "turbo run typecheck lint format:check knip metadata:check test:run && npm run docs:check",
     "precheck:ci": "npm run deps:check",
     "check:ci": "turbo run typecheck lint format:check knip metadata:check jscpd scan:todos",
     "build:cached": "turbo run build",
@@ -76,32 +84,42 @@
     "jscpd": "jscpd src/ tests/",
     "scan:todos": "node scripts/scan-todos.mjs",
     "start": "node scripts/rea.mjs mcp",
-    "pretest": "npm run build:cached",
-    "test": "vitest run",
-    "test:run": "vitest run",
+    "test": "node scripts/run-exclusive.mjs test npm run test:with-build",
+    "test:with-build": "npm run build:cached && vitest run",
+    "test:run": "node scripts/run-exclusive.mjs test vitest run",
+    "test:local": "node scripts/run-exclusive.mjs test vitest run --changed --passWithNoTests --maxWorkers=1",
     "pretest:fast": "npm run build:cached",
-    "test:fast": "vitest run --project parallel --project subprocess",
+    "test:fast": "vitest run --project domain --project services --project adapters --project composition --project boundary --project mcp-boundary --project conformance",
+    "pretest:boundary": "npm run build:cached",
+    "test:boundary": "vitest run --project boundary --project mcp-boundary --project process-global",
+    "pretest:mcp": "npm run build:cached",
+    "test:mcp": "vitest run --project mcp-boundary",
+    "pretest:acceptance": "npm run build:cached",
+    "test:acceptance": "vitest run --project acceptance",
     "pretest:changed": "npm run build:cached",
-    "test:changed": "vitest run --project parallel --project subprocess --changed",
+    "test:changed": "vitest run --project domain --project services --project adapters --project composition --project boundary --project mcp-boundary --project conformance --project evaluation --changed",
     "pretest:integration": "npm run build:cached",
-    "test:integration": "vitest run --project serial-integration",
+    "test:integration": "vitest run --project boundary --project mcp-boundary --project process-global --project acceptance",
     "pretest:coverage": "npm run build:cached",
     "test:coverage": "vitest run --coverage.enabled --coverage.provider=v8",
     "test:ci": "npm run test:coverage -- --reporter=default --reporter=junit --outputFile.junit=test-results.xml",
     "pretest:ci:shard": "npm run build:cached",
     "test:ci:shard": "npm run test:ci:shard:run",
     "test:ci:shard:run": "vitest run --coverage.enabled --coverage.provider=v8 --coverage.thresholds.lines=0 --coverage.thresholds.functions=0 --coverage.thresholds.branches=0 --coverage.thresholds.statements=0 --reporter=default --reporter=blob",
-    "test:ci:merge": "vitest --merge-reports --coverage.enabled --coverage.provider=v8 --reporter=default --reporter=junit --outputFile.junit=test-results.xml",
+    "test:ci:merge": "vitest --merge-reports --coverage.enabled --coverage.provider=v8",
     "pretest:verbose": "npm run build:cached",
     "test:verbose": "vitest run --reporter=verbose",
     "pretest:watch": "npm run build:cached",
-    "test:watch": "vitest --project parallel --project subprocess --changed",
+    "test:watch": "vitest --project domain --project services --project adapters --project composition --project boundary --project mcp-boundary --project conformance --project evaluation --changed",
+    "pretest:watch:all": "npm run build:cached",
+    "test:watch:all": "vitest --changed",
     "typecheck": "tsc --noEmit",
     "verify:test-temp-hygiene": "npm run build:cached && node scripts/verify-test-temp-hygiene.mjs",
     "verify:hopper": "npm run verify:fixtures && npm run build:cached && node scripts/verify-real-hopper.mjs",
     "verify:ghidra": "npm run build:cached && node scripts/verify-real-ghidra.mjs",
     "verify:ghidra:windows": "npm run build:cached && npm run build:ghidra-windows-fixture && node scripts/verify-real-ghidra-windows.mjs",
     "verify:browser": "npm run build:cached && node scripts/verify-real-browser.mjs",
+    "verify:electron": "npm run build:cached && node scripts/verify-real-electron.mjs",
     "verify:inspector": "npm run build:cached && node scripts/verify-real-javascript-runtime-observation.mjs",
     "verify:javascript-runtime": "npm run build:cached && node scripts/verify-local-javascript-runtime.mjs",
     "verify:application-workflows": "npm run build:cached && node scripts/verify-local-application-workflows.mjs",
@@ -123,9 +141,10 @@
     "evidence:check": "npm run build:cached && node scripts/generate-completion-ledger.mjs --check",
     "docs:api": "typedoc",
     "docs:api:cached": "turbo run docs:api",
-    "docs:generate": "npm run metadata:generate && npm run build:cached && node scripts/generate-skill-metadata.mjs && node scripts/generate-product-catalog.mjs && node scripts/generate-completion-ledger.mjs && npm run docs:api:cached && node scripts/generate-error-schema.mjs",
-    "docs:check": "turbo run docs:check:built",
-    "docs:check:built": "node scripts/generate-package-metadata.mjs --check && node scripts/generate-skill-metadata.mjs --check && node scripts/generate-product-catalog.mjs --check && node scripts/generate-completion-ledger.mjs --check && node scripts/check-doc-facts.mjs && node scripts/generate-error-schema.mjs --check",
+    "docs:generate": "node scripts/run-exclusive.mjs docs npm run docs:generate:unlocked",
+    "docs:generate:unlocked": "npm run metadata:generate && npm run build:cached && node scripts/generate-mcp-tool-catalog.mjs && node scripts/generate-skill-metadata.mjs && node scripts/generate-product-catalog.mjs && node scripts/generate-completion-ledger.mjs && npm run docs:api:cached && node scripts/generate-error-schema.mjs",
+    "docs:check": "node scripts/run-exclusive.mjs docs turbo run docs:check:built",
+    "docs:check:built": "node scripts/generate-package-metadata.mjs --check && node scripts/generate-mcp-tool-catalog.mjs --check && node scripts/generate-skill-metadata.mjs --check && node scripts/generate-product-catalog.mjs --check && node scripts/generate-completion-ledger.mjs --check && node scripts/check-doc-facts.mjs && node scripts/generate-error-schema.mjs --check",
     "docs:error-schema": "npm run build:cached && node scripts/generate-error-schema.mjs",
     "prepack": "node scripts/prepack.mjs",
     "prepare": "node scripts/prepare.mjs"
@@ -144,8 +163,8 @@
     "@electron/asar": "4.2.0",
     "@jridgewell/trace-mapping": "0.3.31",
     "@lydell/node-pty": "1.1.0",
-    "@modelcontextprotocol/client": "2.0.0-beta.4",
-    "@modelcontextprotocol/server": "2.0.0-beta.4",
+    "@modelcontextprotocol/client": "2.0.0",
+    "@modelcontextprotocol/server": "2.0.0",
     "@xterm/addon-serialize": "0.14.0",
     "@xterm/headless": "6.0.0",
     "@zip.js/zip.js": "2.8.26",