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

    Variable staticRuntimeCorrelationInputSchemaConst

    staticRuntimeCorrelationInputSchema: ZodObject<
        {
            limit: ZodDefault<ZodNumber>;
            mappings: ZodArray<
                ZodObject<
                    {
                        hypothesis: ZodObject<
                            {
                                expected_pattern: ZodEnum<
                                    {
                                        both_unchanged: "both_unchanged";
                                        cochanged: "cochanged";
                                        runtime_only: "runtime_only";
                                        static_only: "static_only";
                                    },
                                >;
                                statement: ZodString;
                            },
                            $strict,
                        >;
                        runtime: ZodObject<
                            {
                                comparison_evidence_id: ZodString;
                                dimension: ZodEnum<
                                    {
                                        exit: "exit";
                                        filesystem: "filesystem";
                                        process: "process";
                                        protocol: "protocol";
                                        terminal: "terminal";
                                    },
                                >;
                            },
                            $strict,
                        >;
                        side_alignment: ZodEnum<
                            { left_to_left: "left_to_left"; left_to_right: "left_to_right" },
                        >;
                        static: ZodObject<
                            {
                                comparison_evidence_id: ZodString;
                                selector: ZodDiscriminatedUnion<
                                    [
                                        ZodObject<{ kind: ...; logical_path: ... }, $strict>,
                                        ZodObject<{ dimension: ...; kind: ... }, $strict>,
                                    ],
                                    "kind",
                                >;
                            },
                            $strict,
                        >;
                    },
                    $strict,
                >,
            >;
            offset: ZodDefault<ZodNumber>;
            runtime_comparisons: ZodArray<
                ZodObject<
                    {
                        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<
                                        {
                                            container: "container";
                                            none: "none";
                                            process: "process";
                                            "virtual-machine": "virtual-machine";
                                        },
                                    >;
                                    platform: ZodString;
                                },
                                $strip,
                            >,
                        >;
                        evidence_id: ZodString;
                        evidence_links: ZodArray<ZodString>;
                        limitations: ZodArray<ZodString>;
                        locations: ZodArray<
                            ZodDiscriminatedUnion<
                                [
                                    ZodObject<
                                        { address: ZodString; kind: ZodLiteral<(...)> },
                                        $strip,
                                    >,
                                    ZodObject<
                                        { end: ZodString; kind: ZodLiteral<(...)>; start: ZodString },
                                        $strip,
                                    >,
                                    ZodObject<{ kind: ZodLiteral<(...)>; path: ZodString }, $strip>,
                                    ZodObject<{ kind: ZodLiteral<(...)>; offset: ZodNumber }, $strip>,
                                    ZodObject<
                                        { end: ZodNumber; kind: ZodLiteral<(...)>; start: ZodNumber },
                                        $strip,
                                    >,
                                ],
                                "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<
                                        ZodEnum<{ arm: ...; arm64: ...; x86: ...; x86_64: ... }>,
                                    >;
                                    digest: ZodObject<{ sha256: ZodString }, $strip>;
                                    format: ZodEnum<
                                        {
                                            apk: "apk";
                                            asar: "asar";
                                            directory: "directory";
                                            dmg: "dmg";
                                            elf: "elf";
                                            entitlements: "entitlements";
                                            file: "file";
                                            hopper: "hopper";
                                            ipa: "ipa";
                                            javascript: "javascript";
                                            "javascript-bundle": "javascript-bundle";
                                            "mach-o": "mach-o";
                                            "mach-o-universal": "mach-o-universal";
                                            pe: "pe";
                                            pkg: "pkg";
                                            plist: "plist";
                                            "source-map": "source-map";
                                            unknown: "unknown";
                                            zip: "zip";
                                        },
                                    >;
                                    local_path: ZodString;
                                    name: ZodString;
                                },
                                $strip,
                            >,
                        >;
                    },
                    $strip,
                >,
            >;
            static_comparisons: ZodArray<
                ZodObject<
                    {
                        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<
                                        {
                                            container: "container";
                                            none: "none";
                                            process: "process";
                                            "virtual-machine": "virtual-machine";
                                        },
                                    >;
                                    platform: ZodString;
                                },
                                $strip,
                            >,
                        >;
                        evidence_id: ZodString;
                        evidence_links: ZodArray<ZodString>;
                        limitations: ZodArray<ZodString>;
                        locations: ZodArray<
                            ZodDiscriminatedUnion<
                                [
                                    ZodObject<
                                        { address: ZodString; kind: ZodLiteral<(...)> },
                                        $strip,
                                    >,
                                    ZodObject<
                                        { end: ZodString; kind: ZodLiteral<(...)>; start: ZodString },
                                        $strip,
                                    >,
                                    ZodObject<{ kind: ZodLiteral<(...)>; path: ZodString }, $strip>,
                                    ZodObject<{ kind: ZodLiteral<(...)>; offset: ZodNumber }, $strip>,
                                    ZodObject<
                                        { end: ZodNumber; kind: ZodLiteral<(...)>; start: ZodNumber },
                                        $strip,
                                    >,
                                ],
                                "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<
                                        ZodEnum<{ arm: ...; arm64: ...; x86: ...; x86_64: ... }>,
                                    >;
                                    digest: ZodObject<{ sha256: ZodString }, $strip>;
                                    format: ZodEnum<
                                        {
                                            apk: "apk";
                                            asar: "asar";
                                            directory: "directory";
                                            dmg: "dmg";
                                            elf: "elf";
                                            entitlements: "entitlements";
                                            file: "file";
                                            hopper: "hopper";
                                            ipa: "ipa";
                                            javascript: "javascript";
                                            "javascript-bundle": "javascript-bundle";
                                            "mach-o": "mach-o";
                                            "mach-o-universal": "mach-o-universal";
                                            pe: "pe";
                                            pkg: "pkg";
                                            plist: "plist";
                                            "source-map": "source-map";
                                            unknown: "unknown";
                                            zip: "zip";
                                        },
                                    >;
                                    local_path: ZodString;
                                    name: ZodString;
                                },
                                $strip,
                            >,
                        >;
                    },
                    $strip,
                >,
            >;
            unknown_registry_approved: ZodOptional<ZodLiteral<true>>;
        },
        $strict,
    > = ...

    Strict bounded input for explicit static/runtime hypothesis correlation.