Variable reconstructionCoverageWorkspaceSchemaConst
reconstructionCoverageWorkspaceSchema: ZodObject<
{
artifacts: ZodArray<
ZodObject<
{
artifact_id: ZodString;
artifact_sha256: ZodString;
environment_sha256: ZodString;
evidence_ids: ZodArray<ZodString>;
version: ZodString;
},
$strict,
>,
>;
boundaries: ZodArray<
ZodObject<
{
allowed_dispositions: ZodArray<
ZodEnum<{ external: "external"; "non-goal": "non-goal" }>,
>;
allowed_unknown_ids: ZodArray<ZodString>;
boundary_id: ZodString;
required_claim_ids: ZodArray<ZodString>;
required_package_proof_kinds: ZodArray<
ZodEnum<
{
"authority-independence": "authority-independence";
build: "build";
"clean-install": "clean-install";
"package-contents": "package-contents";
"runtime-routing": "runtime-routing";
},
>,
>;
required_surface_ids: ZodArray<ZodString>;
title: ZodString;
},
$strict,
>,
>;
claims: ZodArray<
ZodObject<
{
claim_id: ZodString;
kind: ZodString;
required_authority: ZodEnum<
{
"controlled-replay": "controlled-replay";
external: "external";
"live-observation": "live-observation";
"shipped-artifact": "shipped-artifact";
},
>;
required_dimensions: ZodArray<ZodString>;
surface_ids: ZodArray<ZodString>;
title: ZodString;
},
$strict,
>,
>;
contradictions: ZodArray<
ZodObject<
{
claim_ids: ZodArray<ZodString>;
contradiction_id: ZodString;
evidence_ids: ZodArray<ZodString>;
status: ZodEnum<{ active: "active"; resolved: "resolved" }>;
surface_ids: ZodArray<ZodString>;
},
$strict,
>,
>;
evidence_bundle: ZodObject<
{
artifacts: ZodArray<
ZodObject<
{
architecture: ZodNullable<
ZodEnum<
{ arm: "arm"; arm64: "arm64"; x86: "x86"; x86_64: "x86_64" },
>,
>;
digest: ZodObject<{ sha256: ZodString }, $strip>;
format: ZodEnum<
{
"analysis-database": "analysis-database";
"android-manifest": "android-manifest";
"android-resources": "android-resources";
apk: "apk";
asar: "asar";
dex: "dex";
directory: "directory";
dmg: "dmg";
elf: "elf";
entitlements: "entitlements";
file: "file";
hopper: "hopper";
ipa: "ipa";
javascript: "javascript";
"javascript-bundle": "javascript-bundle";
"jvm-class": "jvm-class";
"mach-o": "mach-o";
"mach-o-universal": "mach-o-universal";
pe: "pe";
pkg: "pkg";
plist: "plist";
"source-map": "source-map";
unknown: "unknown";
webassembly: "webassembly";
zip: "zip";
},
>;
},
$strip,
>,
>;
bundle_version: ZodLiteral<2>;
captures: ZodArray<
ZodObject<
{ evidence_id: ZodString; predicate_type: ZodString },
$strip,
>,
>;
environments: ZodArray<
ZodObject<
{
architecture: ZodString;
id: ZodString;
isolation: ZodEnum<
{
container: "container";
none: "none";
process: "process";
"virtual-machine": "virtual-machine";
},
>;
platform: ZodString;
},
$strip,
>,
>;
providers: ZodArray<
ZodObject<
{ id: ZodString; name: ZodString; version: ZodNullable<ZodString> },
$strip,
>,
>;
records: ZodArray<
ZodUnion<
readonly [
ZodObject<
{
analysis_profile: ZodObject<
{
digest: ...;
parameters: ...;
provider: ...;
provider_profile_schema_version: ...;
schema_version: ...;
},
$strip,
>;
authority: ZodEnum<
{
"analyst-inference": ...;
"controlled-replay": ...;
"external-service": ...;
"historical-reference": ...;
"shipped-artifact": ...;
},
>;
confidence: ZodEnum<{ derived: ...; inferred: ...; observed: ... }>;
environment: ZodNullable<ZodObject<(...), (...)>>;
evidence_id: ZodString;
evidence_links: ZodArray<ZodString>;
limitations: ZodArray<ZodString>;
locations: ZodArray<ZodDiscriminatedUnion<(...), (...)>>;
normalized_result: ZodJSONSchema;
operation: ZodString;
parameters: ZodRecord<ZodString, ZodJSONSchema>;
predicate_type: ZodString;
provider: ZodObject<{ id: ...; name: ...; version: ... }, $strip>;
raw_result: ZodNullable<ZodJSONSchema>;
schema_version: ZodLiteral<2>;
subject: ZodNullable<ZodObject<(...), (...)>>;
},
$strict,
>,
ZodObject<
{
authority: ZodEnum<
{
"analyst-inference": ...;
"controlled-replay": ...;
"external-service": ...;
"historical-reference": ...;
"shipped-artifact": ...;
},
>;
confidence: ZodEnum<{ derived: ...; inferred: ...; observed: ... }>;
environment: ZodNullable<ZodObject<(...), (...)>>;
evidence_id: ZodString;
evidence_links: ZodArray<ZodString>;
limitations: ZodArray<ZodString>;
locations: ZodArray<ZodDiscriminatedUnion<(...), (...)>>;
normalized_result: ZodJSONSchema;
operation: ZodString;
parameters: ZodRecord<ZodString, ZodJSONSchema>;
predicate_type: ZodString;
provider: ZodObject<{ id: ...; name: ...; version: ... }, $strip>;
raw_result: ZodNullable<ZodJSONSchema>;
schema_version: ZodLiteral<2>;
subject: ZodNullable<ZodObject<(...), (...)>>;
},
$strict,
>,
],
>,
>;
scenarios: ZodArray<
ZodObject<
{
authority: ZodLiteral<"controlled-replay">;
evidence_id: ZodString;
operation: ZodString;
},
$strip,
>,
>;
unknowns: ZodArray<
ZodObject<
{
contradicting_evidence_ids: ZodArray<ZodString>;
domain: ZodString;
mutation_evidence_ids: ZodArray<ZodString>;
previous_revision_digest: ZodNullable<ZodString>;
question: ZodString;
recommended_probes: ZodArray<
ZodObject<{ operation: ZodString; rationale: ZodString }, $strip>,
>;
registry_version: ZodLiteral<1>;
relationships: ZodArray<
ZodObject<
{ type: ZodEnum<(...)>; unknown_id: ZodString },
$strip,
>,
>;
required_authority: ZodNullable<
ZodEnum<
{
"analyst-inference": "analyst-inference";
"controlled-replay": "controlled-replay";
"external-service": "external-service";
"historical-reference": "historical-reference";
"shipped-artifact": "shipped-artifact";
},
>,
>;
required_confidence: ZodEnum<
{
derived: "derived";
inferred: "inferred";
observed: "observed";
},
>;
required_environment: ZodNullable<
ZodObject<
{
architecture: ZodNullable<(...)>;
id: ZodNullable<(...)>;
isolation: ZodNullable<(...)>;
platform: ZodNullable<(...)>;
},
$strip,
>,
>;
resolution: ZodNullable<
ZodDiscriminatedUnion<
[ZodObject<(...), (...)>, ZodObject<(...), (...)>],
"disposition",
>,
>;
revision: ZodNumber;
revision_digest: ZodString;
scope_digest: ZodNullable<ZodString>;
severity: ZodEnum<
{
critical: "critical";
high: "high";
low: "low";
medium: "medium";
},
>;
status: ZodEnum<
{
blocked: "blocked";
contradicted: "contradicted";
investigating: "investigating";
open: "open";
resolved: "resolved";
},
>;
supporting_evidence_ids: ZodArray<ZodString>;
unknown_id: ZodString;
},
$strip,
>,
>;
},
$strip,
>;
name: ZodString;
owners: ZodArray<
ZodObject<
{
ownership: ZodDiscriminatedUnion<
[
ZodObject<
{
authority_route: ZodEnum<
{ detected: ...; none: ...; unknown: ... },
>;
disposition: ZodLiteral<"implemented">;
owner_export: ZodNullable<ZodString>;
owner_path: ZodString;
owner_sha256: ZodString;
package_state: ZodEnum<
{ distributed: ...; missing: ...; unknown: ... },
>;
path_state: ZodEnum<{ missing: ...; present: ...; unknown: ... }>;
},
$strict,
>,
ZodObject<
{
disposition: ZodEnum<{ external: ...; "non-goal": ... }>;
rationale: ZodString;
},
$strict,
>,
],
"disposition",
>;
surface_id: ZodString;
},
$strict,
>,
>;
package_proofs: ZodArray<
ZodObject<
{
artifact_sha256s: ZodArray<ZodString>;
evidence_ids: ZodArray<ZodString>;
kind: ZodEnum<
{
"authority-independence": "authority-independence";
build: "build";
"clean-install": "clean-install";
"package-contents": "package-contents";
"runtime-routing": "runtime-routing";
},
>;
proof_id: ZodString;
status: ZodEnum<
{
fail: "fail";
pass: "pass";
skipped: "skipped";
unknown: "unknown";
unsupported: "unsupported";
},
>;
},
$strict,
>,
>;
previous_revision_sha256: ZodNullable<ZodString>;
residual_unknown_ids: ZodArray<ZodString>;
revision: ZodNumber;
revision_sha256: ZodString;
schema_version: ZodLiteral<1>;
surfaces: ZodArray<
ZodObject<
{
artifact_id: ZodString;
authority: ZodEnum<
{
derived: "derived";
external: "external";
historical: "historical";
inferred: "inferred";
observed: "observed";
},
>;
dependency_surface_ids: ZodArray<ZodString>;
evidence_ids: ZodArray<ZodString>;
family: ZodString;
location: ZodString;
occurrence_id: ZodNullable<ZodString>;
surface_id: ZodString;
},
$strict,
>,
>;
verifier_contracts: ZodArray<
ZodObject<
{
authority: ZodEnum<
{
"controlled-replay": "controlled-replay";
external: "external";
"live-observation": "live-observation";
"shipped-artifact": "shipped-artifact";
},
>;
claim_ids: ZodArray<ZodString>;
contract_sha256: ZodString;
dimensions: ZodArray<ZodString>;
max_age_ms: ZodNumber;
minimum_repeats: ZodNumber;
normalization_removes_dimensions: ZodLiteral<false>;
normalization_sha256: ZodString;
verifier_id: ZodString;
},
$strict,
>,
>;
verifier_results: ZodArray<
ZodObject<
{
artifact_sha256s: ZodArray<ZodString>;
contract_sha256: ZodString;
covered_claim_ids: ZodArray<ZodString>;
covered_dimensions: ZodArray<ZodString>;
evidence_ids: ZodArray<ZodString>;
normalization_sha256: ZodString;
observed_at: ZodString;
owner_sha256s: ZodArray<ZodString>;
repeats: ZodNumber;
status: ZodEnum<
{
fail: "fail";
pass: "pass";
skipped: "skipped";
truncated: "truncated";
unknown: "unknown";
unsupported: "unsupported";
},
>;
verifier_id: ZodString;
},
$strict,
>,
>;
workspace_id: ZodString;
},
$strict,
> = ...