rea-agents
    Preparing search index...

    Variable reconstructionCoverageCommitInputSchemaConst

    reconstructionCoverageCommitInputSchema: ZodObject<
        {
            approved: ZodLiteral<true>;
            expected_revision: ZodNullable<ZodNumber>;
            workspace: 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<(...)>>;
                                        digest: ZodObject<{ sha256: ... }, $strip>;
                                        format: ZodEnum<
                                            {
                                                "analysis-database": ...;
                                                apk: ...;
                                                asar: ...;
                                                directory: ...;
                                                dmg: ...;
                                                elf: ...;
                                                entitlements: ...;
                                                file: ...;
                                                hopper: ...;
                                                ipa: ...;
                                                javascript: ...;
                                                "javascript-bundle": ...;
                                                "mach-o": ...;
                                                "mach-o-universal": ...;
                                                pe: ...;
                                                pkg: ...;
                                                plist: ...;
                                                "source-map": ...;
                                                unknown: ...;
                                                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: ...;
                                                none: ...;
                                                process: ...;
                                                "virtual-machine": ...;
                                            },
                                        >;
                                        platform: ZodString;
                                    },
                                    $strip,
                                >,
                            >;
                            providers: ZodArray<
                                ZodObject<
                                    {
                                        id: ZodString;
                                        name: ZodString;
                                        version: ZodNullable<ZodString>;
                                    },
                                    $strip,
                                >,
                            >;
                            records: ZodArray<
                                ZodUnion<
                                    readonly [
                                        ZodObject<
                                            {
                                                analysis_profile: ...;
                                                authority: ...;
                                                confidence: ...;
                                                environment: ...;
                                                evidence_id: ...;
                                                evidence_links: ...;
                                                limitations: ...;
                                                locations: ...;
                                                normalized_result: ...;
                                                operation: ...;
                                                parameters: ...;
                                                predicate_type: ...;
                                                provider: ...;
                                                raw_result: ...;
                                                schema_version: ...;
                                                subject: ...;
                                            },
                                            $strict,
                                        >,
                                        ZodObject<
                                            {
                                                authority: ...;
                                                confidence: ...;
                                                environment: ...;
                                                evidence_id: ...;
                                                evidence_links: ...;
                                                limitations: ...;
                                                locations: ...;
                                                normalized_result: ...;
                                                operation: ...;
                                                parameters: ...;
                                                predicate_type: ...;
                                                provider: ...;
                                                raw_result: ...;
                                                schema_version: ...;
                                                subject: ...;
                                            },
                                            $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<(...), (...)>>;
                                        registry_version: ZodLiteral<1>;
                                        relationships: ZodArray<ZodObject<(...), (...)>>;
                                        required_authority: ZodNullable<ZodEnum<(...)>>;
                                        required_confidence: ZodEnum<
                                            { derived: ...; inferred: ...; observed: ... },
                                        >;
                                        required_environment: ZodNullable<ZodObject<(...), (...)>>;
                                        resolution: ZodNullable<ZodDiscriminatedUnion<(...), (...)>>;
                                        revision: ZodNumber;
                                        revision_digest: ZodString;
                                        scope_digest: ZodNullable<ZodString>;
                                        severity: ZodEnum<
                                            { critical: ...; high: ...; low: ...; medium: ... },
                                        >;
                                        status: ZodEnum<
                                            {
                                                blocked: ...;
                                                contradicted: ...;
                                                investigating: ...;
                                                open: ...;
                                                resolved: ...;
                                            },
                                        >;
                                        supporting_evidence_ids: ZodArray<ZodString>;
                                        unknown_id: ZodString;
                                    },
                                    $strip,
                                >,
                            >;
                        },
                        $strip,
                    >;
                    name: ZodString;
                    owners: ZodArray<
                        ZodObject<
                            {
                                ownership: ZodDiscriminatedUnion<
                                    [
                                        ZodObject<
                                            {
                                                authority_route: ...;
                                                disposition: ...;
                                                owner_export: ...;
                                                owner_path: ...;
                                                owner_sha256: ...;
                                                package_state: ...;
                                                path_state: ...;
                                            },
                                            $strict,
                                        >,
                                        ZodObject<{ disposition: ...; rationale: ... }, $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,
            >;
            workspace_path: ZodString;
        },
        $strict,
    > = ...