import { z } from "zod";
import { type RecordCodec } from "./envelope.js";
export declare const scopeRefSchema: z.ZodObject<{
    id: z.ZodString;
    detectorId: z.ZodOptional<z.ZodString>;
    surfaceId: z.ZodOptional<z.ZodString>;
}, z.core.$strict>;
export declare const witnessRefSchema: z.ZodObject<{
    id: z.ZodString;
    artifactRef: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        mediaType: z.ZodString;
        contentHash: z.ZodString;
        redactionState: z.ZodEnum<{
            none: "none";
            partial: "partial";
            full: "full";
        }>;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
        sourceRunId: z.ZodString;
    }, z.core.$strict>>;
}, z.core.$strict>;
export declare const capabilityProfileRefSchema: z.ZodObject<{
    id: z.ZodString;
}, z.core.$strict>;
export declare const coverageReasonSchema: z.ZodEnum<{
    "empty-selection": "empty-selection";
    "unproven-precondition": "unproven-precondition";
    "inert-perturbation": "inert-perturbation";
    "failed-known-bad": "failed-known-bad";
    "unsupported-capability": "unsupported-capability";
    "unreachable-target": "unreachable-target";
    "missing-artifact": "missing-artifact";
}>;
export declare const COVERAGE_OUTCOME_VERSION: "coverage-outcome/v1";
export type JsonObservation = null | boolean | number | string | JsonObservation[] | {
    [key: string]: JsonObservation;
};
export declare const jsonObservationSchema: z.ZodType<JsonObservation>;
export declare const interactionArtifactRefSchema: z.ZodObject<{
    relativePath: z.ZodString;
    contentHash: z.ZodString;
    mediaType: z.ZodString;
    dimensions: z.ZodOptional<z.ZodObject<{
        width: z.ZodNumber;
        height: z.ZodNumber;
    }, z.core.$strict>>;
}, z.core.$strict>;
export type InteractionArtifactRef = z.infer<typeof interactionArtifactRefSchema>;
export declare const interactionCoverageWitnessRefSchema: z.ZodObject<{
    id: z.ZodString;
}, z.core.$strict>;
export declare const interactionControlRefSchema: z.ZodObject<{
    accessibleName: z.ZodString;
    locator: z.ZodString;
}, z.core.$strict>;
export declare const preconditionObligationEvidenceSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    unproven: z.ZodLiteral<"missing-expected">;
    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    locator: z.ZodString;
    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
    witness: z.ZodOptional<z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>>;
    artifact: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        contentHash: z.ZodString;
        mediaType: z.ZodString;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"missing-observed">;
    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    locator: z.ZodString;
    observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
    witness: z.ZodOptional<z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>>;
    artifact: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        contentHash: z.ZodString;
        mediaType: z.ZodString;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"missing-setup">;
    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    locator: z.ZodString;
    observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
    witness: z.ZodOptional<z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>>;
    artifact: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        contentHash: z.ZodString;
        mediaType: z.ZodString;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"missing-locator">;
    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    witness: z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>;
    artifact: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        contentHash: z.ZodString;
        mediaType: z.ZodString;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"missing-witness">;
    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    locator: z.ZodString;
    observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
    artifact: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        contentHash: z.ZodString;
        mediaType: z.ZodString;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"missing-artifact">;
    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    locator: z.ZodString;
    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    witness: z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"missing-expected-and-observed">;
    locator: z.ZodString;
    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
    witness: z.ZodOptional<z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>>;
    artifact: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        contentHash: z.ZodString;
        mediaType: z.ZodString;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"missing-setup-and-locator">;
    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    witness: z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>;
    artifact: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        contentHash: z.ZodString;
        mediaType: z.ZodString;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"missing-locator-and-witness">;
    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    artifact: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        contentHash: z.ZodString;
        mediaType: z.ZodString;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"missing-witness-and-artifact">;
    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    locator: z.ZodString;
    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
}, z.core.$strict>, z.ZodObject<{
    unproven: z.ZodLiteral<"unrecognized-precondition-gap">;
    failedPrecondition: z.ZodString;
    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    locator: z.ZodOptional<z.ZodString>;
    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
    witness: z.ZodOptional<z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>>;
    artifact: z.ZodOptional<z.ZodObject<{
        relativePath: z.ZodString;
        contentHash: z.ZodString;
        mediaType: z.ZodString;
        dimensions: z.ZodOptional<z.ZodObject<{
            width: z.ZodNumber;
            height: z.ZodNumber;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>], "unproven">;
export declare const interactionCoverageObligationSchema: z.ZodObject<{
    id: z.ZodString;
    witnessRefs: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>>;
}, z.core.$strict>;
export declare const preconditionCoverageObligationSchema: z.ZodObject<{
    id: z.ZodString;
    witnessRefs: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>>;
    unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{
        unproven: z.ZodLiteral<"missing-expected">;
        observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        locator: z.ZodString;
        setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
        witness: z.ZodOptional<z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>>;
        artifact: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            contentHash: z.ZodString;
            mediaType: z.ZodString;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"missing-observed">;
        expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        locator: z.ZodString;
        observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
        setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
        witness: z.ZodOptional<z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>>;
        artifact: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            contentHash: z.ZodString;
            mediaType: z.ZodString;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"missing-setup">;
        expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        locator: z.ZodString;
        observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
        setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
        witness: z.ZodOptional<z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>>;
        artifact: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            contentHash: z.ZodString;
            mediaType: z.ZodString;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"missing-locator">;
        expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        witness: z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>;
        artifact: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            contentHash: z.ZodString;
            mediaType: z.ZodString;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"missing-witness">;
        expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        locator: z.ZodString;
        observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
        setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
        artifact: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            contentHash: z.ZodString;
            mediaType: z.ZodString;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"missing-artifact">;
        expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        locator: z.ZodString;
        observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        witness: z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"missing-expected-and-observed">;
        locator: z.ZodString;
        setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
        witness: z.ZodOptional<z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>>;
        artifact: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            contentHash: z.ZodString;
            mediaType: z.ZodString;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"missing-setup-and-locator">;
        expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        witness: z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>;
        artifact: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            contentHash: z.ZodString;
            mediaType: z.ZodString;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"missing-locator-and-witness">;
        expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        artifact: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            contentHash: z.ZodString;
            mediaType: z.ZodString;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"missing-witness-and-artifact">;
        expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        locator: z.ZodString;
        observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
    }, z.core.$strict>, z.ZodObject<{
        unproven: z.ZodLiteral<"unrecognized-precondition-gap">;
        failedPrecondition: z.ZodString;
        observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        locator: z.ZodOptional<z.ZodString>;
        setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
        witness: z.ZodOptional<z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>>;
        artifact: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            contentHash: z.ZodString;
            mediaType: z.ZodString;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>], "unproven">;
}, z.core.$strict>;
export declare const activationInteractionCoverageKindSchema: z.ZodEnum<{
    "unknown-command": "unknown-command";
    "unsupported-activation": "unsupported-activation";
}>;
export declare const terminalInteractionCoverageKindSchema: z.ZodEnum<{
    "unknown-terminal-state": "unknown-terminal-state";
    "unknown-idempotency": "unknown-idempotency";
}>;
export declare const terminalInteractionCoverageEvidenceSchema: z.ZodObject<{
    kind: z.ZodEnum<{
        "unknown-terminal-state": "unknown-terminal-state";
        "unknown-idempotency": "unknown-idempotency";
    }>;
    phase: z.ZodLiteral<"terminal">;
    obligations: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        witnessRefs: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>;
export declare const activationInteractionCoverageEvidenceSchema: z.ZodObject<{
    kind: z.ZodEnum<{
        "unknown-command": "unknown-command";
        "unsupported-activation": "unsupported-activation";
    }>;
    phase: z.ZodLiteral<"activation">;
    obligations: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        witnessRefs: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>;
export declare const preconditionInteractionCoverageEvidenceSchema: z.ZodObject<{
    kind: z.ZodLiteral<"unproven-precondition">;
    phase: z.ZodLiteral<"precondition">;
    obligations: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        witnessRefs: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
        }, z.core.$strict>>;
        unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{
            unproven: z.ZodLiteral<"missing-expected">;
            observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            locator: z.ZodString;
            setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
            witness: z.ZodOptional<z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>>;
            artifact: z.ZodOptional<z.ZodObject<{
                relativePath: z.ZodString;
                contentHash: z.ZodString;
                mediaType: z.ZodString;
                dimensions: z.ZodOptional<z.ZodObject<{
                    width: z.ZodNumber;
                    height: z.ZodNumber;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"missing-observed">;
            expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            locator: z.ZodString;
            observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
            setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
            witness: z.ZodOptional<z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>>;
            artifact: z.ZodOptional<z.ZodObject<{
                relativePath: z.ZodString;
                contentHash: z.ZodString;
                mediaType: z.ZodString;
                dimensions: z.ZodOptional<z.ZodObject<{
                    width: z.ZodNumber;
                    height: z.ZodNumber;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"missing-setup">;
            expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            locator: z.ZodString;
            observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
            setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
            witness: z.ZodOptional<z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>>;
            artifact: z.ZodOptional<z.ZodObject<{
                relativePath: z.ZodString;
                contentHash: z.ZodString;
                mediaType: z.ZodString;
                dimensions: z.ZodOptional<z.ZodObject<{
                    width: z.ZodNumber;
                    height: z.ZodNumber;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"missing-locator">;
            expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            witness: z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>;
            artifact: z.ZodOptional<z.ZodObject<{
                relativePath: z.ZodString;
                contentHash: z.ZodString;
                mediaType: z.ZodString;
                dimensions: z.ZodOptional<z.ZodObject<{
                    width: z.ZodNumber;
                    height: z.ZodNumber;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"missing-witness">;
            expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            locator: z.ZodString;
            observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
            setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
            artifact: z.ZodOptional<z.ZodObject<{
                relativePath: z.ZodString;
                contentHash: z.ZodString;
                mediaType: z.ZodString;
                dimensions: z.ZodOptional<z.ZodObject<{
                    width: z.ZodNumber;
                    height: z.ZodNumber;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"missing-artifact">;
            expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            locator: z.ZodString;
            observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            witness: z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"missing-expected-and-observed">;
            locator: z.ZodString;
            setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
            witness: z.ZodOptional<z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>>;
            artifact: z.ZodOptional<z.ZodObject<{
                relativePath: z.ZodString;
                contentHash: z.ZodString;
                mediaType: z.ZodString;
                dimensions: z.ZodOptional<z.ZodObject<{
                    width: z.ZodNumber;
                    height: z.ZodNumber;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"missing-setup-and-locator">;
            expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            witness: z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>;
            artifact: z.ZodOptional<z.ZodObject<{
                relativePath: z.ZodString;
                contentHash: z.ZodString;
                mediaType: z.ZodString;
                dimensions: z.ZodOptional<z.ZodObject<{
                    width: z.ZodNumber;
                    height: z.ZodNumber;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"missing-locator-and-witness">;
            expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            artifact: z.ZodOptional<z.ZodObject<{
                relativePath: z.ZodString;
                contentHash: z.ZodString;
                mediaType: z.ZodString;
                dimensions: z.ZodOptional<z.ZodObject<{
                    width: z.ZodNumber;
                    height: z.ZodNumber;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"missing-witness-and-artifact">;
            expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            locator: z.ZodString;
            observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
        }, z.core.$strict>, z.ZodObject<{
            unproven: z.ZodLiteral<"unrecognized-precondition-gap">;
            failedPrecondition: z.ZodString;
            observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            locator: z.ZodOptional<z.ZodString>;
            setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
            witness: z.ZodOptional<z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>>;
            artifact: z.ZodOptional<z.ZodObject<{
                relativePath: z.ZodString;
                contentHash: z.ZodString;
                mediaType: z.ZodString;
                dimensions: z.ZodOptional<z.ZodObject<{
                    width: z.ZodNumber;
                    height: z.ZodNumber;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>], "unproven">;
    }, z.core.$strict>>;
}, z.core.$strict>;
export declare const interactionCoverageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    gapKind: z.ZodEnum<{
        "unknown-command": "unknown-command";
        "unsupported-activation": "unsupported-activation";
    }>;
    phase: z.ZodLiteral<"activation">;
    evidence: z.ZodObject<{
        kind: z.ZodEnum<{
            "unknown-command": "unknown-command";
            "unsupported-activation": "unsupported-activation";
        }>;
        phase: z.ZodLiteral<"activation">;
        obligations: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            witnessRefs: z.ZodArray<z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>;
    control: z.ZodObject<{
        accessibleName: z.ZodString;
        locator: z.ZodString;
    }, z.core.$strict>;
}, z.core.$strict>, z.ZodObject<{
    gapKind: z.ZodEnum<{
        "unknown-terminal-state": "unknown-terminal-state";
        "unknown-idempotency": "unknown-idempotency";
    }>;
    phase: z.ZodLiteral<"terminal">;
    evidence: z.ZodObject<{
        kind: z.ZodEnum<{
            "unknown-terminal-state": "unknown-terminal-state";
            "unknown-idempotency": "unknown-idempotency";
        }>;
        phase: z.ZodLiteral<"terminal">;
        obligations: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            witnessRefs: z.ZodArray<z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>;
    control: z.ZodObject<{
        accessibleName: z.ZodString;
        locator: z.ZodString;
    }, z.core.$strict>;
}, z.core.$strict>, z.ZodObject<{
    gapKind: z.ZodLiteral<"unproven-precondition">;
    phase: z.ZodLiteral<"precondition">;
    evidence: z.ZodObject<{
        kind: z.ZodLiteral<"unproven-precondition">;
        phase: z.ZodLiteral<"precondition">;
        obligations: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            witnessRefs: z.ZodArray<z.ZodObject<{
                id: z.ZodString;
            }, z.core.$strict>>;
            unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{
                unproven: z.ZodLiteral<"missing-expected">;
                observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                locator: z.ZodString;
                setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                witness: z.ZodOptional<z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>>;
                artifact: z.ZodOptional<z.ZodObject<{
                    relativePath: z.ZodString;
                    contentHash: z.ZodString;
                    mediaType: z.ZodString;
                    dimensions: z.ZodOptional<z.ZodObject<{
                        width: z.ZodNumber;
                        height: z.ZodNumber;
                    }, z.core.$strict>>;
                }, z.core.$strict>>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"missing-observed">;
                expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                locator: z.ZodString;
                observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                witness: z.ZodOptional<z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>>;
                artifact: z.ZodOptional<z.ZodObject<{
                    relativePath: z.ZodString;
                    contentHash: z.ZodString;
                    mediaType: z.ZodString;
                    dimensions: z.ZodOptional<z.ZodObject<{
                        width: z.ZodNumber;
                        height: z.ZodNumber;
                    }, z.core.$strict>>;
                }, z.core.$strict>>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"missing-setup">;
                expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                locator: z.ZodString;
                observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                witness: z.ZodOptional<z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>>;
                artifact: z.ZodOptional<z.ZodObject<{
                    relativePath: z.ZodString;
                    contentHash: z.ZodString;
                    mediaType: z.ZodString;
                    dimensions: z.ZodOptional<z.ZodObject<{
                        width: z.ZodNumber;
                        height: z.ZodNumber;
                    }, z.core.$strict>>;
                }, z.core.$strict>>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"missing-locator">;
                expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                witness: z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>;
                artifact: z.ZodOptional<z.ZodObject<{
                    relativePath: z.ZodString;
                    contentHash: z.ZodString;
                    mediaType: z.ZodString;
                    dimensions: z.ZodOptional<z.ZodObject<{
                        width: z.ZodNumber;
                        height: z.ZodNumber;
                    }, z.core.$strict>>;
                }, z.core.$strict>>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"missing-witness">;
                expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                locator: z.ZodString;
                observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                artifact: z.ZodOptional<z.ZodObject<{
                    relativePath: z.ZodString;
                    contentHash: z.ZodString;
                    mediaType: z.ZodString;
                    dimensions: z.ZodOptional<z.ZodObject<{
                        width: z.ZodNumber;
                        height: z.ZodNumber;
                    }, z.core.$strict>>;
                }, z.core.$strict>>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"missing-artifact">;
                expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                locator: z.ZodString;
                observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                witness: z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"missing-expected-and-observed">;
                locator: z.ZodString;
                setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                witness: z.ZodOptional<z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>>;
                artifact: z.ZodOptional<z.ZodObject<{
                    relativePath: z.ZodString;
                    contentHash: z.ZodString;
                    mediaType: z.ZodString;
                    dimensions: z.ZodOptional<z.ZodObject<{
                        width: z.ZodNumber;
                        height: z.ZodNumber;
                    }, z.core.$strict>>;
                }, z.core.$strict>>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"missing-setup-and-locator">;
                expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                witness: z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>;
                artifact: z.ZodOptional<z.ZodObject<{
                    relativePath: z.ZodString;
                    contentHash: z.ZodString;
                    mediaType: z.ZodString;
                    dimensions: z.ZodOptional<z.ZodObject<{
                        width: z.ZodNumber;
                        height: z.ZodNumber;
                    }, z.core.$strict>>;
                }, z.core.$strict>>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"missing-locator-and-witness">;
                expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                artifact: z.ZodOptional<z.ZodObject<{
                    relativePath: z.ZodString;
                    contentHash: z.ZodString;
                    mediaType: z.ZodString;
                    dimensions: z.ZodOptional<z.ZodObject<{
                        width: z.ZodNumber;
                        height: z.ZodNumber;
                    }, z.core.$strict>>;
                }, z.core.$strict>>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"missing-witness-and-artifact">;
                expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                locator: z.ZodString;
                observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
            }, z.core.$strict>, z.ZodObject<{
                unproven: z.ZodLiteral<"unrecognized-precondition-gap">;
                failedPrecondition: z.ZodString;
                observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                locator: z.ZodOptional<z.ZodString>;
                setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                witness: z.ZodOptional<z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>>;
                artifact: z.ZodOptional<z.ZodObject<{
                    relativePath: z.ZodString;
                    contentHash: z.ZodString;
                    mediaType: z.ZodString;
                    dimensions: z.ZodOptional<z.ZodObject<{
                        width: z.ZodNumber;
                        height: z.ZodNumber;
                    }, z.core.$strict>>;
                }, z.core.$strict>>;
            }, z.core.$strict>], "unproven">;
        }, z.core.$strict>>;
    }, z.core.$strict>;
    control: z.ZodOptional<z.ZodObject<{
        accessibleName: z.ZodString;
        locator: z.ZodString;
    }, z.core.$strict>>;
}, z.core.$strict>], "phase">;
export type InteractionCoverageWitnessRef = z.infer<typeof interactionCoverageWitnessRefSchema>;
export type InteractionCoverageObligation = z.infer<typeof interactionCoverageObligationSchema>;
export type PreconditionObligationEvidence = z.infer<typeof preconditionObligationEvidenceSchema>;
export type PreconditionCoverageObligation = z.infer<typeof preconditionCoverageObligationSchema>;
export type ActivationInteractionCoverageKind = z.infer<typeof activationInteractionCoverageKindSchema>;
export type TerminalInteractionCoverageKind = z.infer<typeof terminalInteractionCoverageKindSchema>;
export type TerminalInteractionCoverageEvidence = z.infer<typeof terminalInteractionCoverageEvidenceSchema>;
export type ActivationInteractionCoverageEvidence = z.infer<typeof activationInteractionCoverageEvidenceSchema>;
export type PreconditionInteractionCoverageEvidence = z.infer<typeof preconditionInteractionCoverageEvidenceSchema>;
export type InteractionCoverageSerialization = z.infer<typeof interactionCoverageSchema>;
export declare const coverageOutcomeSchema: z.ZodObject<{
    id: z.ZodString;
    creationSource: z.ZodObject<{
        runId: z.ZodString;
        component: z.ZodEnum<{
            orchestrator: "orchestrator";
            detector: "detector";
            classifier: "classifier";
            store: "store";
            migration: "migration";
            import: "import";
            manual: "manual";
        }>;
        componentId: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>;
    schemaVersion: z.ZodLiteral<"coverage-outcome/v1">;
    status: z.ZodLiteral<"coverage-incomplete">;
    scope: z.ZodObject<{
        id: z.ZodString;
        detectorId: z.ZodOptional<z.ZodString>;
        surfaceId: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>;
    context: z.ZodType<import("./context.js").ExecutionContext, unknown, z.core.$ZodTypeInternals<import("./context.js").ExecutionContext, unknown>>;
    reason: z.ZodEnum<{
        "empty-selection": "empty-selection";
        "unproven-precondition": "unproven-precondition";
        "inert-perturbation": "inert-perturbation";
        "failed-known-bad": "failed-known-bad";
        "unsupported-capability": "unsupported-capability";
        "unreachable-target": "unreachable-target";
        "missing-artifact": "missing-artifact";
    }>;
    witnessRefs: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        artifactRef: z.ZodOptional<z.ZodObject<{
            relativePath: z.ZodString;
            mediaType: z.ZodString;
            contentHash: z.ZodString;
            redactionState: z.ZodEnum<{
                none: "none";
                partial: "partial";
                full: "full";
            }>;
            dimensions: z.ZodOptional<z.ZodObject<{
                width: z.ZodNumber;
                height: z.ZodNumber;
            }, z.core.$strict>>;
            sourceRunId: z.ZodString;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
    capabilityProfileRef: z.ZodOptional<z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>>;
    interaction: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
        gapKind: z.ZodEnum<{
            "unknown-command": "unknown-command";
            "unsupported-activation": "unsupported-activation";
        }>;
        phase: z.ZodLiteral<"activation">;
        evidence: z.ZodObject<{
            kind: z.ZodEnum<{
                "unknown-command": "unknown-command";
                "unsupported-activation": "unsupported-activation";
            }>;
            phase: z.ZodLiteral<"activation">;
            obligations: z.ZodArray<z.ZodObject<{
                id: z.ZodString;
                witnessRefs: z.ZodArray<z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>;
        control: z.ZodObject<{
            accessibleName: z.ZodString;
            locator: z.ZodString;
        }, z.core.$strict>;
    }, z.core.$strict>, z.ZodObject<{
        gapKind: z.ZodEnum<{
            "unknown-terminal-state": "unknown-terminal-state";
            "unknown-idempotency": "unknown-idempotency";
        }>;
        phase: z.ZodLiteral<"terminal">;
        evidence: z.ZodObject<{
            kind: z.ZodEnum<{
                "unknown-terminal-state": "unknown-terminal-state";
                "unknown-idempotency": "unknown-idempotency";
            }>;
            phase: z.ZodLiteral<"terminal">;
            obligations: z.ZodArray<z.ZodObject<{
                id: z.ZodString;
                witnessRefs: z.ZodArray<z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>>;
            }, z.core.$strict>>;
        }, z.core.$strict>;
        control: z.ZodObject<{
            accessibleName: z.ZodString;
            locator: z.ZodString;
        }, z.core.$strict>;
    }, z.core.$strict>, z.ZodObject<{
        gapKind: z.ZodLiteral<"unproven-precondition">;
        phase: z.ZodLiteral<"precondition">;
        evidence: z.ZodObject<{
            kind: z.ZodLiteral<"unproven-precondition">;
            phase: z.ZodLiteral<"precondition">;
            obligations: z.ZodArray<z.ZodObject<{
                id: z.ZodString;
                witnessRefs: z.ZodArray<z.ZodObject<{
                    id: z.ZodString;
                }, z.core.$strict>>;
                unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-expected">;
                    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    locator: z.ZodString;
                    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                    witness: z.ZodOptional<z.ZodObject<{
                        id: z.ZodString;
                    }, z.core.$strict>>;
                    artifact: z.ZodOptional<z.ZodObject<{
                        relativePath: z.ZodString;
                        contentHash: z.ZodString;
                        mediaType: z.ZodString;
                        dimensions: z.ZodOptional<z.ZodObject<{
                            width: z.ZodNumber;
                            height: z.ZodNumber;
                        }, z.core.$strict>>;
                    }, z.core.$strict>>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-observed">;
                    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    locator: z.ZodString;
                    observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                    witness: z.ZodOptional<z.ZodObject<{
                        id: z.ZodString;
                    }, z.core.$strict>>;
                    artifact: z.ZodOptional<z.ZodObject<{
                        relativePath: z.ZodString;
                        contentHash: z.ZodString;
                        mediaType: z.ZodString;
                        dimensions: z.ZodOptional<z.ZodObject<{
                            width: z.ZodNumber;
                            height: z.ZodNumber;
                        }, z.core.$strict>>;
                    }, z.core.$strict>>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-setup">;
                    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    locator: z.ZodString;
                    observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                    witness: z.ZodOptional<z.ZodObject<{
                        id: z.ZodString;
                    }, z.core.$strict>>;
                    artifact: z.ZodOptional<z.ZodObject<{
                        relativePath: z.ZodString;
                        contentHash: z.ZodString;
                        mediaType: z.ZodString;
                        dimensions: z.ZodOptional<z.ZodObject<{
                            width: z.ZodNumber;
                            height: z.ZodNumber;
                        }, z.core.$strict>>;
                    }, z.core.$strict>>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-locator">;
                    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    witness: z.ZodObject<{
                        id: z.ZodString;
                    }, z.core.$strict>;
                    artifact: z.ZodOptional<z.ZodObject<{
                        relativePath: z.ZodString;
                        contentHash: z.ZodString;
                        mediaType: z.ZodString;
                        dimensions: z.ZodOptional<z.ZodObject<{
                            width: z.ZodNumber;
                            height: z.ZodNumber;
                        }, z.core.$strict>>;
                    }, z.core.$strict>>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-witness">;
                    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    locator: z.ZodString;
                    observed: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                    artifact: z.ZodOptional<z.ZodObject<{
                        relativePath: z.ZodString;
                        contentHash: z.ZodString;
                        mediaType: z.ZodString;
                        dimensions: z.ZodOptional<z.ZodObject<{
                            width: z.ZodNumber;
                            height: z.ZodNumber;
                        }, z.core.$strict>>;
                    }, z.core.$strict>>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-artifact">;
                    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    locator: z.ZodString;
                    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    witness: z.ZodObject<{
                        id: z.ZodString;
                    }, z.core.$strict>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-expected-and-observed">;
                    locator: z.ZodString;
                    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                    witness: z.ZodOptional<z.ZodObject<{
                        id: z.ZodString;
                    }, z.core.$strict>>;
                    artifact: z.ZodOptional<z.ZodObject<{
                        relativePath: z.ZodString;
                        contentHash: z.ZodString;
                        mediaType: z.ZodString;
                        dimensions: z.ZodOptional<z.ZodObject<{
                            width: z.ZodNumber;
                            height: z.ZodNumber;
                        }, z.core.$strict>>;
                    }, z.core.$strict>>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-setup-and-locator">;
                    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    witness: z.ZodObject<{
                        id: z.ZodString;
                    }, z.core.$strict>;
                    artifact: z.ZodOptional<z.ZodObject<{
                        relativePath: z.ZodString;
                        contentHash: z.ZodString;
                        mediaType: z.ZodString;
                        dimensions: z.ZodOptional<z.ZodObject<{
                            width: z.ZodNumber;
                            height: z.ZodNumber;
                        }, z.core.$strict>>;
                    }, z.core.$strict>>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-locator-and-witness">;
                    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    artifact: z.ZodOptional<z.ZodObject<{
                        relativePath: z.ZodString;
                        contentHash: z.ZodString;
                        mediaType: z.ZodString;
                        dimensions: z.ZodOptional<z.ZodObject<{
                            width: z.ZodNumber;
                            height: z.ZodNumber;
                        }, z.core.$strict>>;
                    }, z.core.$strict>>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"missing-witness-and-artifact">;
                    expected: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    locator: z.ZodString;
                    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    setup: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                }, z.core.$strict>, z.ZodObject<{
                    unproven: z.ZodLiteral<"unrecognized-precondition-gap">;
                    failedPrecondition: z.ZodString;
                    observed: z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>;
                    locator: z.ZodOptional<z.ZodString>;
                    setup: z.ZodOptional<z.ZodType<JsonObservation, unknown, z.core.$ZodTypeInternals<JsonObservation, unknown>>>;
                    witness: z.ZodOptional<z.ZodObject<{
                        id: z.ZodString;
                    }, z.core.$strict>>;
                    artifact: z.ZodOptional<z.ZodObject<{
                        relativePath: z.ZodString;
                        contentHash: z.ZodString;
                        mediaType: z.ZodString;
                        dimensions: z.ZodOptional<z.ZodObject<{
                            width: z.ZodNumber;
                            height: z.ZodNumber;
                        }, z.core.$strict>>;
                    }, z.core.$strict>>;
                }, z.core.$strict>], "unproven">;
            }, z.core.$strict>>;
        }, z.core.$strict>;
        control: z.ZodOptional<z.ZodObject<{
            accessibleName: z.ZodString;
            locator: z.ZodString;
        }, z.core.$strict>>;
    }, z.core.$strict>], "phase">>;
    runId: z.ZodString;
}, z.core.$strict>;
export type CoverageOutcome = z.infer<typeof coverageOutcomeSchema>;
export declare const coverageOutcomeCodec: RecordCodec<CoverageOutcome>;
//# sourceMappingURL=coverage.d.ts.map