rea-agents - v2.1.0
    Preparing search index...

    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.