rea-agents
    Preparing search index...

    Variable ELECTRON_TOOL_CONTRACTSConst

    ELECTRON_TOOL_CONTRACTS: readonly [
        {
            annotations: DerivedToolAnnotations;
            description: "List Electron file:// page targets from an approved user-owned loopback CDP endpoint. Every path is canonicalized and must remain contained by an approved filesystem root, including after symlink resolution.";
            effects: ToolEffects;
            examples: readonly [
                {
                    input: {
                        allowed_file_roots: ["/Applications/Example.app/Contents/Resources"];
                        approved: true;
                        cdp_endpoint: "http://127.0.0.1:9223";
                        limit: 100;
                        offset: 0;
                    };
                    title: "List approved Electron file pages";
                },
            ];
            inputSchema: ZodObject<
                {
                    allowed_file_roots: ZodPipe<
                        ZodArray<ZodString>,
                        ZodTransform<string[], string[]>,
                    >;
                    approved: ZodLiteral<true>;
                    cdp_endpoint: ZodPipe<ZodString, ZodTransform<string, string>>;
                    limit: ZodDefault<ZodNumber>;
                    offset: ZodDefault<ZodNumber>;
                },
                $strip,
            >;
            kind: "electron-provider";
            name: "list_electron_targets";
            outputSchema: ZodObject<
                {
                    evidence_id: ZodString;
                    evidence_uri: ZodString;
                    result: ZodType<unknown, unknown, $ZodTypeInternals<unknown, unknown>>;
                },
                $strict,
            >;
            title: string;
        },
        {
            annotations: DerivedToolAnnotations;
            description: "Passively inspect one approved Electron file page through CDP. Returns root-confined frames, DOM structure, resource paths, and scripts without evaluating renderer JavaScript or invoking Electron APIs; script contents require separate approval.";
            effects: ToolEffects;
            examples: readonly [
                {
                    input: {
                        allowed_file_roots: ["/Applications/Example.app/Contents/Resources"];
                        approved: true;
                        cdp_endpoint: "http://127.0.0.1:9223";
                        include_script_sources: false;
                        limits: {
                            max_dom_nodes: 2000;
                            max_frames: 200;
                            max_resources: 2000;
                            max_script_source_bytes: 1048576;
                            max_scripts: 500;
                            max_total_script_source_bytes: 4194304;
                            max_workers: 500;
                        };
                        observation_ms: 100;
                        source_capture_approved: false;
                        target_id: "TARGET_ID_FROM_LIST_ELECTRON_TARGETS";
                    };
                    title: "Inspect an approved Electron page";
                },
            ];
            inputSchema: ZodObject<
                {
                    allowed_file_roots: ZodPipe<
                        ZodArray<ZodString>,
                        ZodTransform<string[], string[]>,
                    >;
                    approved: ZodLiteral<true>;
                    cdp_endpoint: ZodPipe<ZodString, ZodTransform<string, string>>;
                    include_script_sources: ZodDefault<ZodBoolean>;
                    limits: ZodDefault<
                        ZodObject<
                            {
                                max_dom_nodes: ZodDefault<ZodNumber>;
                                max_frames: ZodDefault<ZodNumber>;
                                max_resources: ZodDefault<ZodNumber>;
                                max_script_source_bytes: ZodDefault<ZodNumber>;
                                max_scripts: ZodDefault<ZodNumber>;
                                max_total_script_source_bytes: ZodDefault<ZodNumber>;
                                max_workers: ZodDefault<ZodNumber>;
                            },
                            $strip,
                        >,
                    >;
                    observation_ms: ZodDefault<ZodNumber>;
                    source_capture_approved: ZodDefault<ZodBoolean>;
                    target_id: ZodString;
                },
                $strip,
            >;
            kind: "electron-provider";
            name: "inspect_electron_page";
            outputSchema: ZodObject<
                {
                    evidence_id: ZodString;
                    evidence_uri: ZodString;
                    result: ZodType<unknown, unknown, $ZodTypeInternals<unknown, unknown>>;
                },
                $strict,
            >;
            title: string;
        },
        {
            annotations: DerivedToolAnnotations;
            description: "Statically reconstruct one approved local ASAR or extracted JavaScript application without executing it. The default summary returns architecture/security counts, top evidence-backed findings, unknowns, and paged graph resource URIs; request detail=full only when the complete graph must be returned immediately. Identical inputs are deterministic, so do not repeat the call or reread full Evidence without a specific missing detail.";
            effects: ToolEffects;
            examples: readonly [
                {
                    input: {
                        approved: true;
                        detail: "summary";
                        format: "auto";
                        input_path: "/Applications/Example.app/Contents/Resources/app.asar";
                        source_map_read_approved: false;
                    };
                    title: "Analyze one approved local Electron application";
                },
            ];
            inputSchema: ZodObject<
                {
                    approved: ZodLiteral<true>;
                    detail: ZodDefault<ZodEnum<{ full: "full"; summary: "summary" }>>;
                    format: ZodDefault<
                        ZodEnum<{ asar: "asar"; auto: "auto"; directory: "directory" }>,
                    >;
                    input_path: ZodString;
                    limits: ZodDefault<
                        ZodObject<
                            {
                                max_artifact_entry_bytes: ZodDefault<ZodNumber>;
                                max_ast_nodes: ZodDefault<ZodNumber>;
                                max_compression_ratio: ZodDefault<ZodNumber>;
                                max_depth: ZodDefault<ZodNumber>;
                                max_entries: ZodDefault<ZodNumber>;
                                max_findings: ZodDefault<ZodNumber>;
                                max_modules: ZodDefault<ZodNumber>;
                                max_parse_milliseconds: ZodDefault<ZodNumber>;
                                max_path_bytes: ZodDefault<ZodNumber>;
                                max_source_map_sources: ZodDefault<ZodNumber>;
                                max_text_file_bytes: ZodDefault<ZodNumber>;
                                max_text_files: ZodDefault<ZodNumber>;
                                max_total_artifact_bytes: ZodDefault<ZodNumber>;
                                max_total_text_bytes: ZodDefault<ZodNumber>;
                            },
                            $strict,
                        >,
                    >;
                    source_map_read_approved: ZodDefault<ZodBoolean>;
                },
                $strict,
            >;
            kind: "electron-provider";
            name: "analyze_javascript_application";
            outputSchema: ZodObject<
                {
                    evidence_id: ZodString;
                    evidence_uri: ZodString;
                    result: ZodType<unknown, unknown, $ZodTypeInternals<unknown, unknown>>;
                },
                $strict,
            >;
            title: string;
        },
        {
            annotations: DerivedToolAnnotations;
            description: "Reconcile verified static JavaScript application graphs with existing passive web or Electron CDP Evidence. Exact captured-source digests take priority over caller-declared file/URL mappings; target, frame, script, and worker ambiguity remains explicit, and source-map authority stays separate.";
            effects: ToolEffects;
            examples: readonly [
                {
                    input: {
                        runtime_observations: (
                            | {
                                analysis_profile: {
                                    digest: string;
                                    parameters: Record<string, JSONType>;
                                    provider: { id: string; name: string; version: string };
                                    provider_profile_schema_version: number;
                                    schema_version: 1;
                                };
                                authority: | "shipped-artifact"
                                | "controlled-replay"
                                | "historical-reference"
                                | "external-service"
                                | "analyst-inference";
                                confidence: "observed"
                                | "derived"
                                | "inferred";
                                environment:
                                    | {
                                        architecture: string;
                                        id: string;
                                        isolation: (...)
                                        | (...)
                                        | (...)
                                        | (...);
                                        platform: string;
                                    }
                                    | null;
                                evidence_id: string;
                                evidence_links: string[];
                                limitations: string[];
                                locations: (
                                    | { address: ...; kind: ... }
                                    | { end: ...; kind: ...; start: ... }
                                    | { kind: ...; path: ... }
                                    | { kind: ...; offset: ... }
                                    | { end: ...; kind: ...; start: ... }
                                )[];
                                normalized_result: JSONType;
                                operation: string;
                                parameters: Record<string, JSONType>;
                                predicate_type: string;
                                provider: { id: string; name: string; version: string | null };
                                raw_result: JSONType;
                                schema_version: 2;
                                subject:
                                    | {
                                        architecture: (...)
                                        | (...)
                                        | (...)
                                        | (...)
                                        | (...);
                                        digest: { sha256: ... };
                                        format:
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...);
                                        local_path: string;
                                        name: string;
                                    }
                                    | null;
                            }
                            | {
                                authority: | "shipped-artifact"
                                | "controlled-replay"
                                | "historical-reference"
                                | "external-service"
                                | "analyst-inference";
                                confidence: "observed"
                                | "derived"
                                | "inferred";
                                environment:
                                    | {
                                        architecture: string;
                                        id: string;
                                        isolation: (...)
                                        | (...)
                                        | (...)
                                        | (...);
                                        platform: string;
                                    }
                                    | null;
                                evidence_id: string;
                                evidence_links: string[];
                                limitations: string[];
                                locations: (
                                    | { address: ...; kind: ... }
                                    | { end: ...; kind: ...; start: ... }
                                    | { kind: ...; path: ... }
                                    | { kind: ...; offset: ... }
                                    | { end: ...; kind: ...; start: ... }
                                )[];
                                normalized_result: JSONType;
                                operation: string;
                                parameters: Record<string, JSONType>;
                                predicate_type: string;
                                provider: { id: string; name: string; version: string | null };
                                raw_result: JSONType;
                                schema_version: 2;
                                subject:
                                    | {
                                        architecture: (...)
                                        | (...)
                                        | (...)
                                        | (...)
                                        | (...);
                                        digest: { sha256: ... };
                                        format:
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...)
                                            | (...);
                                        local_path: string;
                                        name: string;
                                    }
                                    | null;
                            }
                        )[];
                        static_layers: {
                            analysis: | {
                                analysis_profile: {
                                    digest: string;
                                    parameters: Record<(...), (...)>;
                                    provider: { id: ...; name: ...; version: ... };
                                    provider_profile_schema_version: number;
                                    schema_version: 1;
                                };
                                authority: | "shipped-artifact"
                                | "controlled-replay"
                                | "historical-reference"
                                | "external-service"
                                | "analyst-inference";
                                confidence: "observed"
                                | "derived"
                                | "inferred";
                                environment:
                                    | { architecture: ...; id: ...; isolation: ...; platform: ... }
                                    | null;
                                evidence_id: string;
                                evidence_links: string[];
                                limitations: string[];
                                locations: ((...) | (...) | (...) | (...) | (...))[];
                                normalized_result: JSONType;
                                operation: string;
                                parameters: Record<string, JSONType>;
                                predicate_type: string;
                                provider: { id: string; name: string; version: (...) | (...) };
                                raw_result: JSONType;
                                schema_version: 2;
                                subject:
                                    | {
                                        architecture: ...;
                                        digest: ...;
                                        format: ...;
                                        local_path: ...;
                                        name: ...;
                                    }
                                    | null;
                            }
                            | {
                                authority: | "shipped-artifact"
                                | "controlled-replay"
                                | "historical-reference"
                                | "external-service"
                                | "analyst-inference";
                                confidence: "observed"
                                | "derived"
                                | "inferred";
                                environment:
                                    | { architecture: ...; id: ...; isolation: ...; platform: ... }
                                    | null;
                                evidence_id: string;
                                evidence_links: string[];
                                limitations: string[];
                                locations: ((...) | (...) | (...) | (...) | (...))[];
                                normalized_result: JSONType;
                                operation: string;
                                parameters: Record<string, JSONType>;
                                predicate_type: string;
                                provider: { id: string; name: string; version: (...) | (...) };
                                raw_result: JSONType;
                                schema_version: 2;
                                subject:
                                    | {
                                        architecture: ...;
                                        digest: ...;
                                        format: ...;
                                        local_path: ...;
                                        name: ...;
                                    }
                                    | null;
                            };
                            role: string;
                        }[];
                    };
                    title: "Reconcile one passive Electron capture";
                },
            ];
            inputSchema: ZodObject<
                {
                    limits: ZodDefault<
                        ZodObject<
                            {
                                max_reconciliation_items: ZodDefault<ZodNumber>;
                                max_runtime_entities: ZodDefault<ZodNumber>;
                                max_static_load_states: ZodDefault<ZodNumber>;
                            },
                            $strict,
                        >,
                    >;
                    runtime_observations: ZodArray<
                        ZodObject<
                            {
                                analysis_profile: ZodOptional<
                                    ZodObject<
                                        {
                                            digest: ZodString;
                                            parameters: ZodRecord<(...), (...)>;
                                            provider: ZodObject<(...), (...)>;
                                            provider_profile_schema_version: ZodNumber;
                                            schema_version: ZodLiteral<(...)>;
                                        },
                                        $strip,
                                    >,
                                >;
                                authority: ZodEnum<
                                    {
                                        "analyst-inference": "analyst-inference";
                                        "controlled-replay": "controlled-replay";
                                        "external-service": "external-service";
                                        "historical-reference": "historical-reference";
                                        "shipped-artifact": "shipped-artifact";
                                    },
                                >;
                                confidence: ZodEnum<
                                    {
                                        derived: "derived";
                                        inferred: "inferred";
                                        observed: "observed";
                                    },
                                >;
                                environment: ZodNullable<
                                    ZodObject<
                                        {
                                            architecture: ZodString;
                                            id: ZodString;
                                            isolation: ZodEnum<(...)>;
                                            platform: ZodString;
                                        },
                                        $strip,
                                    >,
                                >;
                                evidence_id: ZodString;
                                evidence_links: ZodArray<ZodString>;
                                limitations: ZodArray<ZodString>;
                                locations: ZodArray<
                                    ZodDiscriminatedUnion<
                                        [
                                            ZodObject<(...), (...)>,
                                            ZodObject<(...), (...)>,
                                            ZodObject<(...), (...)>,
                                            ZodObject<(...), (...)>,
                                            ZodObject<(...), (...)>,
                                        ],
                                        "kind",
                                    >,
                                >;
                                normalized_result: ZodJSONSchema;
                                operation: ZodString;
                                parameters: ZodRecord<ZodString, ZodJSONSchema>;
                                predicate_type: ZodString;
                                provider: ZodObject<
                                    {
                                        id: ZodString;
                                        name: ZodString;
                                        version: ZodNullable<ZodString>;
                                    },
                                    $strip,
                                >;
                                raw_result: ZodNullable<ZodJSONSchema>;
                                schema_version: ZodLiteral<2>;
                                subject: ZodNullable<
                                    ZodObject<
                                        {
                                            architecture: ZodNullable<(...)>;
                                            digest: ZodObject<(...), (...)>;
                                            format: ZodEnum<(...)>;
                                            local_path: ZodString;
                                            name: ZodString;
                                        },
                                        $strip,
                                    >,
                                >;
                            },
                            $strict,
                        >,
                    >;
                    static_layers: ZodArray<
                        ZodObject<
                            {
                                analysis: ZodObject<
                                    {
                                        analysis_profile: ZodOptional<ZodObject<(...), (...)>>;
                                        authority: ZodEnum<
                                            {
                                                "analyst-inference": ...;
                                                "controlled-replay": ...;
                                                "external-service": ...;
                                                "historical-reference": ...;
                                                "shipped-artifact": ...;
                                            },
                                        >;
                                        confidence: ZodEnum<{ derived: ...; inferred: ...; observed: ... }>;
                                        environment: ZodNullable<ZodObject<(...), (...)>>;
                                        evidence_id: ZodString;
                                        evidence_links: ZodArray<ZodString>;
                                        limitations: ZodArray<ZodString>;
                                        locations: ZodArray<ZodDiscriminatedUnion<(...), (...)>>;
                                        normalized_result: ZodJSONSchema;
                                        operation: ZodString;
                                        parameters: ZodRecord<ZodString, ZodJSONSchema>;
                                        predicate_type: ZodString;
                                        provider: ZodObject<{ id: ...; name: ...; version: ... }, $strip>;
                                        raw_result: ZodNullable<ZodJSONSchema>;
                                        schema_version: ZodLiteral<2>;
                                        subject: ZodNullable<ZodObject<(...), (...)>>;
                                    },
                                    $strict,
                                >;
                                role: ZodEnum<
                                    { application: "application"; assets: "assets"; cache: "cache" },
                                >;
                                runtime_mappings: ZodDefault<
                                    ZodArray<ZodDiscriminatedUnion<[(...), (...)], "kind">>,
                                >;
                            },
                            $strict,
                        >,
                    >;
                },
                $strict,
            >;
            kind: "electron-provider";
            name: "reconcile_javascript_runtime";
            outputSchema: ZodObject<
                {
                    evidence_id: ZodString;
                    evidence_uri: ZodString;
                    result: ZodType<unknown, unknown, $ZodTypeInternals<unknown, unknown>>;
                },
                $strict,
            >;
            title: string;
        },
    ] = ...

    Root-confined Electron file-page discovery and inspection contracts.