Variable managedNativeVerificationResultSchemaConst

managedNativeVerificationResultSchema: ZodObject<
    {
        algorithm: ZodObject<
            {
                name: ZodLiteral<"rea-managed-native-verification">;
                token_identity: ZodLiteral<"build-local">;
                token_to_address_mapping: ZodLiteral<"not-inferred">;
                version: ZodLiteral<1>;
            },
            $strict,
        >;
        coverage: ZodObject<
            {
                omitted_candidates: ZodNumber;
                omitted_native_observations: ZodNumber;
                status: ZodEnum<
                    {
                        "complete-within-inputs": "complete-within-inputs";
                        partial: "partial";
                        truncated: "truncated";
                    },
                >;
            },
            $strict,
        >;
        evidence_links: ZodArray<ZodString>;
        limitations: ZodArray<ZodString>;
        managed_boundary: ZodObject<
            {
                artifact_path: ZodString;
                artifact_sha256: ZodString;
                coverage_state: ZodEnum<
                    {
                        complete: "complete";
                        partial: "partial";
                        unavailable: "unavailable";
                    },
                >;
                evidence_id: ZodString;
                metadata_status: ZodEnum<
                    {
                        absent: "absent";
                        complete: "complete";
                        malformed: "malformed";
                        partial: "partial";
                    },
                >;
                mvid: ZodNullable<ZodString>;
                native_implementations_total: ZodNumber;
                pinvoke_imports_total: ZodNumber;
            },
            $strict,
        >;
        native_implementations: ZodObject<
            { reason: ZodString; unresolved: ZodNumber },
            $strict,
        >;
        native_observations: ZodObject<
            {
                accepted: ZodNumber;
                symbols: ZodNumber;
                total: ZodNumber;
                truncated: ZodBoolean;
                unsupported: ZodNumber;
            },
            $strict,
        >;
        pinvoke_imports: ZodArray<
            ZodObject<
                {
                    basis: ZodEnum<
                        {
                            "decorated-name-candidate": "decorated-name-candidate";
                            "exact-export-name": "exact-export-name";
                            "exact-function-name": "exact-function-name";
                            "module-mismatch": "module-mismatch";
                            "no-native-candidate": "no-native-candidate";
                            "unsupported-native-evidence": "unsupported-native-evidence";
                        },
                    >;
                    candidates: ZodArray<
                        ZodObject<
                            {
                                address: ZodNullable<ZodString>;
                                evidence_id: ZodString;
                                module_name: ZodNullable<ZodString>;
                                module_path: ZodNullable<ZodString>;
                                name: ZodString;
                                operation: ZodString;
                                source: ZodEnum<
                                    {
                                        "function-dossier": "function-dossier";
                                        "macho-export": "macho-export";
                                    },
                                >;
                            },
                            $strict,
                        >,
                    >;
                    confidence: ZodEnum<
                        { inferred: "inferred"; observed: "observed"; unknown: "unknown" },
                    >;
                    evidence_links: ZodArray<ZodString>;
                    item_id: ZodString;
                    limitations: ZodArray<ZodString>;
                    managed: ZodObject<
                        {
                            call_convention: ZodEnum<
                                {
                                    cdecl: "cdecl";
                                    fastcall: "fastcall";
                                    "not-specified": "not-specified";
                                    stdcall: "stdcall";
                                    thiscall: "thiscall";
                                    unknown: "unknown";
                                    winapi: "winapi";
                                },
                            >;
                            char_set: ZodEnum<
                                {
                                    ansi: "ansi";
                                    auto: "auto";
                                    "not-specified": "not-specified";
                                    unicode: "unicode";
                                    unknown: "unknown";
                                },
                            >;
                            declaration_verification: ZodLiteral<"managed-declaration-only">;
                            import_name: ZodString;
                            import_scope_name: ZodNullable<ZodString>;
                            member_name: ZodNullable<ZodString>;
                            member_token: ZodNullable<ZodString>;
                            no_mangle: ZodBoolean;
                            token: ZodString;
                        },
                        $strict,
                    >;
                    matched_native: ZodNullable<
                        ZodObject<
                            {
                                address: ZodNullable<ZodString>;
                                evidence_id: ZodString;
                                module_name: ZodNullable<ZodString>;
                                module_path: ZodNullable<ZodString>;
                                name: ZodString;
                                operation: ZodString;
                                source: ZodEnum<
                                    {
                                        "function-dossier": "function-dossier";
                                        "macho-export": "macho-export";
                                    },
                                >;
                            },
                            $strict,
                        >,
                    >;
                    status: ZodEnum<
                        {
                            contradicted: "contradicted";
                            inferred: "inferred";
                            unresolved: "unresolved";
                            verified: "verified";
                        },
                    >;
                },
                $strict,
            >,
        >;
        schema_version: ZodLiteral<1>;
        summary: ZodObject<
            {
                contradicted: ZodNumber;
                inferred: ZodNumber;
                native_body_unresolved: ZodNumber;
                unresolved: ZodNumber;
                verified: ZodNumber;
            },
            $strict,
        >;
        verification_id: ZodString;
    },
    $strict,
> = ...