rea-agents 6.3.0 → 6.4.0

package/dist/contracts/toolEffects.js

@@ -57,6 +57,7 @@ export const TOOL_EFFECTS = {
         writesFilesystem: true,
         launchesProcess: true,
     }),
+    inspect_pe_resources: evidence,
     inspect_analysis_view: evidence,
     inspect_firmware_regions: effects({
         mutatesSession: true,
@@ -74,6 +75,172 @@ export const TOOL_EFFECTS = {
         launchesProcess: true,
         writesFilesystem: true,
     }),
+    inspect_apktool_client: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+    }),
+    decode_android_resources: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        writesFilesystem: true,
+    }),
+    inspect_jeb_client: effects({
+        mutatesSession: true,
+        accessesNetwork: true,
+    }),
+    open_jeb_project: effects({
+        mutatesSession: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    list_jeb_units: effects({
+        mutatesSession: true,
+        accessesNetwork: true,
+    }),
+    decompile_jeb_item: effects({
+        mutatesSession: true,
+        accessesNetwork: true,
+    }),
+    inspect_adb_client: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+    }),
+    list_adb_devices: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    inspect_adb_device: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    list_adb_packages: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    pull_adb_package: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        writesFilesystem: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    read_adb_logcat: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    inspect_adb_package: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    pull_adb_file: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        writesFilesystem: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    push_adb_file: effects({
+        mutatesTarget: true,
+        mutatesSession: true,
+        launchesProcess: true,
+        writesFilesystem: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    capture_adb_screen: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        writesFilesystem: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    list_adb_processes: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    list_adb_directory: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    list_adb_features: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    list_adb_services: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    inspect_adb_display: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    inspect_adb_window: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    read_adb_setting: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    collect_adb_bugreport: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        writesFilesystem: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    resolve_adb_packages: effects({
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+    }),
+    install_adb_package: effects({
+        mutatesTarget: true,
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    uninstall_adb_package: effects({
+        mutatesTarget: true,
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    start_adb_app: effects({
+        mutatesTarget: true,
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    start_adb_activity: effects({
+        mutatesTarget: true,
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
+    stop_adb_app: effects({
+        mutatesTarget: true,
+        mutatesSession: true,
+        launchesProcess: true,
+        accessesNetwork: true,
+        idempotent: false,
+    }),
     search_android_classes: effects({
         mutatesSession: true,
         launchesProcess: true,

package/dist/contracts/toolOutputSchemaGroups.js

@@ -1,4 +1,6 @@
 import { z } from "zod";
+import { evidenceBundleSummarySchema } from "../domain/evidenceRecordSummary.js";
+import { BINARY_ARCHITECTURES } from "../domain/binaryTargetTypes.js";
 import { nativeFunctionAnnotationsSchema } from "../domain/native/nativeFunctionAnnotations.js";
 import { nativeLoadImageSchema } from "../domain/native/nativeLoadImage.js";
 import { nativeUiResultSchema } from "../domain/native/nativeUiObservation.js";
@@ -305,7 +307,7 @@ export const sessionOutputSchemas = {
         format: targetFormatSchema,
         kind: targetKindSchema,
         sha256: z.string().regex(/^[a-f0-9]{64}$/u),
-        architecture: z.enum(["x86", "x86_64", "arm", "arm64"]).nullable(),
+        architecture: z.enum(BINARY_ARCHITECTURES).nullable(),
     })),
     close_binary: lifecycleResultOf(z.union([
         z.null(),
@@ -340,7 +342,7 @@ export const sessionOutputSchemas = {
                 format: targetFormatSchema,
                 kind: targetKindSchema,
                 sha256: z.string().regex(/^[a-f0-9]{64}$/u),
-                architecture: z.enum(["x86", "x86_64", "arm", "arm64"]).nullable(),
+                architecture: z.enum(BINARY_ARCHITECTURES).nullable(),
             }),
         ]),
     ])),
@@ -350,7 +352,7 @@ export const sessionOutputSchemas = {
         records: z.number().int().min(0),
         unknowns: z.number().int().min(0),
     })),
-    get_evidence_bundle: lifecycleResultOf(evidenceBundleSchema),
+    get_evidence_bundle: lifecycleResultOf(z.union([evidenceBundleSchema, evidenceBundleSummarySchema])),
     get_navigation_context: lifecycleResultOf(z.object({
         document: z.string(),
         address: z.string(),

package/dist/contracts/toolSchemaMetadata.js

@@ -1,5 +1,7 @@
 import { z } from "zod";
+import { advertisedInputExamples } from "./advertisedInputExamples.js";
 import { presentInputJsonSchema } from "./inputSchemaPresentation.js";
+import { digestCanonicalValue } from "../domain/canonicalDigest.js";
 const PROPERTY_DESCRIPTIONS = {
     addresses: "Ordered provider-normalized procedure addresses to analyze.",
     after: "The later or right-hand observation to compare.",
@@ -44,16 +46,87 @@ export const toolInputSchemaWithMetadata = (contract) => withAdvertisedJsonSchem
         ...options,
         libraryOptions: { reused: "ref", ...options.libraryOptions },
     });
+    const examples = advertisedInputExamples(contract);
     return {
         ...presentInputJsonSchema(shared, fallbackPropertyDescription),
-        examples: contract.examples.map(({ input }) => input),
+        ...(examples.length === 0 ? {} : { examples }),
     };
 });
-/** Share repeated output definitions without changing canonical validation. */
-export const toolOutputSchemaWithMetadata = (contract) => withAdvertisedJsonSchema(contract.outputSchema, "output", (project) => (options) => project({
-    ...options,
-    libraryOptions: { reused: "ref", ...options.libraryOptions },
-}));
+/** Share output definitions and content-bound validator identities on the wire. */
+export const toolOutputSchemaWithMetadata = (contract) => withAdvertisedJsonSchema(contract.outputSchema, "output", (project) => (options) => {
+    const shared = project({
+        ...options,
+        libraryOptions: { reused: "ref", ...options.libraryOptions },
+    });
+    // An explicit ID owns the reference base. Relative external references
+    // also depend on that base, so leave those projections unchanged.
+    if ("$id" in shared || hasRelativeSchemaReference(shared))
+        return shared;
+    return {
+        ...shared,
+        $id: `urn:rea:tool-output:sha256:${digestCanonicalValue({ target: options.target, schema: shared }, "Tool output schema")}`,
+    };
+});
+/**
+ * Apply a wire-presentation transform to one schema's advertised input
+ * projection. The wrapper preserves the schema's own parser and standard
+ * metadata, so both Zod registrations and plain standard schemas keep their
+ * canonical validation while only the advertised JSON changes.
+ */
+export const transformAdvertisedInputJsonSchema = (schema, transform) => {
+    const standard = Reflect.get(schema, "~standard");
+    if (!isSchemaRecord(standard))
+        return schema;
+    const jsonSchema = Reflect.get(standard, "jsonSchema");
+    if (!isSchemaRecord(jsonSchema))
+        return schema;
+    const project = Reflect.get(jsonSchema, "input");
+    if (typeof project !== "function")
+        return schema;
+    const byTarget = new Map();
+    const transformedInput = (options) => {
+        const target = Reflect.get(options, "target");
+        if (typeof target === "string") {
+            const cached = byTarget.get(target);
+            if (cached !== undefined)
+                return cached;
+        }
+        const projected = project(options);
+        const transformed = isSchemaRecord(projected)
+            ? transform(projected)
+            : projected;
+        if (typeof target === "string" && isSchemaRecord(transformed))
+            byTarget.set(target, transformed);
+        return transformed;
+    };
+    return {
+        ...schema,
+        "~standard": {
+            ...standard,
+            jsonSchema: { ...jsonSchema, input: transformedInput },
+        },
+    };
+};
+const hasRelativeSchemaReference = (schema) => {
+    const pending = [schema];
+    const visited = new WeakSet();
+    while (pending.length > 0) {
+        const current = pending.pop();
+        if (current === null || typeof current !== "object" || visited.has(current))
+            continue;
+        visited.add(current);
+        for (const [key, value] of Object.entries(current)) {
+            if (["$id", "$ref", "$dynamicRef", "$recursiveRef"].includes(key) &&
+                typeof value === "string" &&
+                !value.startsWith("#") &&
+                !URL.canParse(value))
+                return true;
+            if (value !== null && typeof value === "object")
+                pending.push(value);
+        }
+    }
+    return false;
+};
 const withAdvertisedJsonSchema = (canonical, io, advertise = (project) => project) => {
     // Zod's input projection drops root metadata when a descendant transforms.
     // Preserve the parser and let the SDK own conversion of everything else.
@@ -89,6 +162,7 @@ const memoizeByTarget = (project) => {
         return projected;
     };
 };
+const isSchemaRecord = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
 const fallbackPropertyDescription = (property) => {
     const explicit = Object.hasOwn(PROPERTY_DESCRIPTIONS, property)
         ? PROPERTY_DESCRIPTIONS[property]
@@ -118,5 +192,6 @@ const fallbackPropertyDescription = (property) => {
         return `Local filesystem ${words} selected for this operation.`;
     if (property.startsWith("is_") || property.startsWith("has_"))
         return `Whether ${words}.`;
-    return `Value for ${words}.`;
+    // A generic sentence would only restate the property name in every schema.
+    return undefined;
 };