rea-agents - v2.0.0
    Preparing search index...
    applicationGraphEvidenceSchema: ZodObject<
        {
            artifact: ZodDiscriminatedUnion<
                [
                    ZodObject<
                        {
                            artifact_id: ZodString;
                            available: ZodLiteral<true>;
                            sha256: ZodString;
                        },
                        $strict,
                    >,
                    ZodObject<
                        {
                            available: ZodLiteral<false>;
                            detail: ZodString;
                            reason: ZodEnum<
                                {
                                    "not-applicable": "not-applicable";
                                    "not-approved": "not-approved";
                                    "not-observed": "not-observed";
                                    "provider-unavailable": "provider-unavailable";
                                    truncated: "truncated";
                                    unknown: "unknown";
                                    unresolved: "unresolved";
                                },
                            >;
                        },
                        $strict,
                    >,
                ],
                "available",
            >;
            authority: ZodEnum<
                {
                    "artifact-bytes": "artifact-bytes";
                    "ast-static-analysis": "ast-static-analysis";
                    "controlled-replay": "controlled-replay";
                    "cross-layer-reconciliation": "cross-layer-reconciliation";
                    "cross-version-comparison": "cross-version-comparison";
                    "historical-reference": "historical-reference";
                    "managed-static-analysis": "managed-static-analysis";
                    "native-analysis-provider": "native-analysis-provider";
                    "passive-cdp-runtime": "passive-cdp-runtime";
                    "static-relationship-inference": "static-relationship-inference";
                    unknown: "unknown";
                    "user-assertion": "user-assertion";
                },
            >;
            confidence: ZodEnum<
                {
                    exact: "exact";
                    high: "high";
                    low: "low";
                    medium: "medium";
                    unknown: "unknown";
                },
            >;
            coverage: ZodObject<
                {
                    limits: ZodArray<
                        ZodObject<
                            {
                                name: ZodString;
                                unit: ZodEnum<
                                    {
                                        bytes: "bytes";
                                        characters: "characters";
                                        depth: "depth";
                                        instructions: "instructions";
                                        items: "items";
                                        milliseconds: "milliseconds";
                                        other: "other";
                                    },
                                >;
                                value: ZodNumber;
                            },
                            $strict,
                        >,
                    >;
                    omitted_count: ZodNullable<ZodNumber>;
                    status: ZodEnum<
                        {
                            complete: "complete";
                            partial: "partial";
                            unavailable: "unavailable";
                            unknown: "unknown";
                        },
                    >;
                    truncated: ZodBoolean;
                },
                $strict,
            >;
            evidence_ids: ZodArray<ZodString>;
            extractor: ZodObject<
                {
                    executable_sha256: ZodNullable<ZodString>;
                    name: ZodString;
                    operation: ZodString;
                    version: ZodString;
                },
                $strict,
            >;
            limitations: ZodArray<ZodString>;
            location: ZodDiscriminatedUnion<
                [
                    ZodObject<
                        {
                            available: ZodLiteral<true>;
                            value: ZodDiscriminatedUnion<
                                [
                                    ZodObject<{ kind: ZodLiteral<(...)>; path: ZodString }, $strict>,
                                    ZodObject<
                                        {
                                            end: ZodObject<(...), (...)>;
                                            kind: ZodLiteral<(...)>;
                                            source: ZodString;
                                            start: ZodObject<(...), (...)>;
                                        },
                                        $strict,
                                    >,
                                    ZodObject<
                                        { end: ZodNumber; kind: ZodLiteral<(...)>; start: ZodNumber },
                                        $strict,
                                    >,
                                    ZodObject<{ kind: ZodLiteral<(...)>; url: ZodString }, $strict>,
                                ],
                                "kind",
                            >;
                        },
                        $strict,
                    >,
                    ZodObject<
                        {
                            available: ZodLiteral<false>;
                            detail: ZodString;
                            reason: ZodEnum<
                                {
                                    "not-applicable": "not-applicable";
                                    "not-approved": "not-approved";
                                    "not-observed": "not-observed";
                                    "provider-unavailable": "provider-unavailable";
                                    truncated: "truncated";
                                    unknown: "unknown";
                                    unresolved: "unresolved";
                                },
                            >;
                        },
                        $strict,
                    >,
                ],
                "available",
            >;
            state: ZodEnum<
                {
                    inferred: "inferred";
                    observed: "observed";
                    unavailable: "unavailable";
                    unknown: "unknown";
                },
            >;
        },
        $strict,
    > = ...

    Provenance, authority, uncertainty, and bounds for one graph fact.