Variable applicationGraphEvidenceSchemaConst
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.