Variable reconstructionVerificationInputSchemaConst
reconstructionVerificationInputSchema: ZodObject<
{
coverage: ZodOptional<
ZodObject<
{
boundary_id: ZodString;
revision: ZodNumber;
revision_sha256: ZodString;
workspace_id: ZodString;
},
$strict,
>,
>;
limit: ZodDefault<ZodNumber>;
offset: ZodDefault<ZodNumber>;
specification: ZodObject<
{
claims: ZodArray<
ZodDiscriminatedUnion<
[
ZodObject<
{
claim_id: ZodString;
comparison_evidence_id: ZodString;
dimension: ZodEnum<
{
exit: ...;
filesystem: ...;
interaction: ...;
overall: ...;
process: ...;
protocol: ...;
shim: ...;
terminal: ...;
},
>;
kind: ZodLiteral<"behavioral">;
title: ZodString;
},
$strip,
>,
ZodObject<
{
claim_id: ZodString;
comparison_evidence_id: ZodString;
dimension: ZodEnum<
{
assembly: ...;
calls: ...;
cfg: ...;
comments: ...;
identity: ...;
overall: ...;
pseudocode: ...;
references: ...;
strings_names: ...;
},
>;
kind: ZodLiteral<"structural-function">;
title: ZodString;
},
$strip,
>,
ZodObject<
{
claim_id: ZodString;
comparison_evidence_id: ZodString;
dimension: ZodLiteral<"overall">;
kind: ZodLiteral<"structural-artifact">;
title: ZodString;
},
$strip,
>,
],
"kind",
>,
>;
name: ZodString;
schema_version: ZodLiteral<1>;
},
$strip,
>;
unknown_registry_approved: ZodOptional<ZodLiteral<true>>;
},
$strict,
> = ...
Bounded reconstruction-verification input.