rea-agents - v2.0.0
    Preparing search index...

    Variable applicationFeatureTraceResultSchemaConst

    applicationFeatureTraceResultSchema: ZodObject<
        {
            coverage: ZodObject<
                {
                    frontier_node_ids: ZodArray<ZodString>;
                    omitted_edges: ZodNumber;
                    omitted_nodes: ZodNumber;
                    omitted_paths: ZodNumber;
                    omitted_seed_matches: ZodNumber;
                    scanned_nodes: ZodNumber;
                    source_graph_status: ZodEnum<
                        {
                            complete: "complete";
                            partial: "partial";
                            unavailable: "unavailable";
                            unknown: "unknown";
                        },
                    >;
                    status: ZodEnum<
                        {
                            "complete-within-source": "complete-within-source";
                            "no-match": "no-match";
                            partial: "partial";
                            truncated: "truncated";
                        },
                    >;
                    total_seed_matches: ZodNumber;
                },
                $strict,
            >;
            direction: ZodEnum<
                { both: "both"; incoming: "incoming"; outgoing: "outgoing" },
            >;
            evidence_links: ZodArray<ZodString>;
            graph: ZodNullable<
                ZodObject<
                    {
                        coverage: ZodObject<
                            {
                                limits: ZodArray<
                                    ZodObject<
                                        { name: ZodString; unit: ZodEnum<(...)>; value: ZodNumber },
                                        $strict,
                                    >,
                                >;
                                omitted_count: ZodNullable<ZodNumber>;
                                status: ZodEnum<
                                    {
                                        complete: "complete";
                                        partial: "partial";
                                        unavailable: "unavailable";
                                        unknown: "unknown";
                                    },
                                >;
                                truncated: ZodBoolean;
                            },
                            $strict,
                        >;
                        edges: ZodArray<
                            ZodObject<
                                {
                                    edge_id: ZodString;
                                    evidence: ZodObject<
                                        {
                                            artifact: ZodDiscriminatedUnion<(...), (...)>;
                                            authority: ZodEnum<(...)>;
                                            confidence: ZodEnum<(...)>;
                                            coverage: ZodObject<(...), (...)>;
                                            evidence_ids: ZodArray<(...)>;
                                            extractor: ZodObject<(...), (...)>;
                                            limitations: ZodArray<(...)>;
                                            location: ZodDiscriminatedUnion<(...), (...)>;
                                            state: ZodEnum<(...)>;
                                        },
                                        $strict,
                                    >;
                                    identifier_strategy: ZodObject<
                                        { stability: ZodLiteral<(...)>; strategy: ZodLiteral<(...)> },
                                        $strict,
                                    >;
                                    properties: ZodRecord<ZodString, ZodJSONSchema>;
                                    relation: ZodEnum<
                                        {
                                            calls: "calls";
                                            changed_from: "changed_from";
                                            contains: "contains";
                                            exposes: "exposes";
                                            handles: "handles";
                                            imports: "imports";
                                            invokes: "invokes";
                                            loads: "loads";
                                            maps_to: "maps_to";
                                            observed_as: "observed_as";
                                            persists_to: "persists_to";
                                            sends: "sends";
                                        },
                                    >;
                                    source_node_id: ZodString;
                                    target_node_id: ZodString;
                                },
                                $strict,
                            >,
                        >;
                        graph_id: ZodString;
                        limitations: ZodArray<ZodString>;
                        nodes: ZodArray<
                            ZodObject<
                                {
                                    identity: ZodDiscriminatedUnion<
                                        [
                                            ZodObject<(...), (...)>,
                                            ZodObject<(...), (...)>,
                                            ZodObject<(...), (...)>,
                                        ],
                                        "strategy",
                                    >;
                                    kind: ZodEnum<
                                        {
                                            artifact: "artifact";
                                            "asar-entry": "asar-entry";
                                            "browser-window": "browser-window";
                                            "context-bridge-api": "context-bridge-api";
                                            "electron-main": "electron-main";
                                            "electron-preload": "electron-preload";
                                            "electron-renderer": "electron-renderer";
                                            "electron-utility": "electron-utility";
                                            endpoint: "endpoint";
                                            frame: "frame";
                                            installer: "installer";
                                            "ipc-channel": "ipc-channel";
                                            "ipc-handler": "ipc-handler";
                                            "javascript-asset": "javascript-asset";
                                            "javascript-chunk": "javascript-chunk";
                                            "javascript-module": "javascript-module";
                                            "managed-assembly": "managed-assembly";
                                            "managed-field": "managed-field";
                                            "managed-method": "managed-method";
                                            "managed-module": "managed-module";
                                            "managed-native-implementation": "managed-native-implementation";
                                            "managed-pinvoke-import": "managed-pinvoke-import";
                                            "managed-type": "managed-type";
                                            "native-addon": "native-addon";
                                            "native-export": "native-export";
                                            package: "package";
                                            "runtime-script-instance": "runtime-script-instance";
                                            "service-worker": "service-worker";
                                            "source-map": "source-map";
                                            "source-module": "source-module";
                                            storage: "storage";
                                            target: "target";
                                            unknown: "unknown";
                                            worker: "worker";
                                        },
                                    >;
                                    node_id: ZodString;
                                    observations: ZodArray<
                                        ZodObject<
                                            {
                                                evidence: ...;
                                                identifier_strategy: ...;
                                                label: ...;
                                                observation_id: ...;
                                                properties: ...;
                                            },
                                            $strict,
                                        >,
                                    >;
                                },
                                $strict,
                            >,
                        >;
                        root_node_ids: ZodArray<ZodString>;
                        schema: ZodLiteral<"JavaScriptApplicationGraph">;
                        schema_version: ZodLiteral<1>;
                    },
                    $strict,
                >,
            >;
            limitations: ZodArray<ZodString>;
            native_handoffs: ZodArray<
                ZodObject<
                    {
                        artifact_path: ZodNullable<ZodString>;
                        artifact_sha256: ZodString;
                        evidence_ids: ZodArray<ZodString>;
                        export_node_ids: ZodArray<ZodString>;
                        native_node_id: ZodString;
                        providers: ZodArray<
                            ZodObject<
                                {
                                    id: ZodString;
                                    name: ZodString;
                                    version: ZodNullable<ZodString>;
                                },
                                $strip,
                            >,
                        >;
                        recommended_tools: ZodArray<
                            ZodEnum<
                                {
                                    analyze_function: "analyze_function";
                                    binary_overview: "binary_overview";
                                    open_binary: "open_binary";
                                    search_procedures: "search_procedures";
                                    xrefs: "xrefs";
                                },
                            >,
                        >;
                        requested_exports: ZodArray<ZodString>;
                        status: ZodEnum<
                            {
                                "evidence-linked": "evidence-linked";
                                "requires-provider-analysis": "requires-provider-analysis";
                            },
                        >;
                    },
                    $strict,
                >,
            >;
            paths: ZodArray<
                ZodObject<
                    {
                        authorities: ZodArray<ZodString>;
                        contains_inference: ZodBoolean;
                        edge_ids: ZodArray<ZodString>;
                        end_kind: ZodString;
                        end_node_id: ZodString;
                        node_ids: ZodArray<ZodString>;
                        path_id: ZodString;
                        start_node_id: ZodString;
                    },
                    $strict,
                >,
            >;
            schema_version: ZodLiteral<1>;
            seed: ZodObject<
                {
                    case_sensitive: ZodDefault<ZodBoolean>;
                    kind: ZodEnum<
                        {
                            api: "api";
                            channel: "channel";
                            module: "module";
                            "native-export": "native-export";
                            "node-id": "node-id";
                            route: "route";
                            string: "string";
                        },
                    >;
                    match: ZodDefault<
                        ZodNullable<ZodEnum<{ contains: "contains"; exact: "exact" }>>,
                    >;
                    value: ZodString;
                },
                $strict,
            >;
            seed_matches: ZodArray<
                ZodObject<
                    {
                        basis: ZodEnum<
                            {
                                identity: "identity";
                                label: "label";
                                "node-id": "node-id";
                                property: "property";
                            },
                        >;
                        field: ZodString;
                        kind: ZodString;
                        node_id: ZodString;
                    },
                    $strict,
                >,
            >;
            source_evidence_id: ZodString;
            source_graph_id: ZodString;
            summary: ZodObject<
                {
                    inferred_facts: ZodNumber;
                    matched_seeds: ZodNumber;
                    native_handoffs: ZodNumber;
                    observed_facts: ZodNumber;
                    terminal_paths: ZodNumber;
                    traced_edges: ZodNumber;
                    traced_nodes: ZodNumber;
                    unavailable_facts: ZodNumber;
                    unknown_facts: ZodNumber;
                },
                $strict,
            >;
            trace_id: ZodString;
        },
        $strict,
    > = ...

    Evidence-preserving bounded subgraph and native-analysis frontiers.