import type { NativeDeclaredArtifact } from './native-verification-scope.js';
export declare const NATIVE_VERIFICATION_RECEIPT_SCHEMA: "comet.native.verification-receipt.v3";
export type NativeVerificationReceiptKind = 'automated-check' | 'static-inspection' | 'manual-evidence';
export type NativeVerificationReceiptStatus = 'passed' | 'failed' | 'skipped' | 'blocked';
export interface NativeVerificationReceiptBindings {
    change: string;
    sourceRevision: number;
    contractHash: string;
    scopeHash: string;
    snapshotHash: string;
    artifactHash: string;
}
export interface NativeAutomatedCheckEvidence {
    executable: string;
    args: string[];
    cwd: string;
    exitCode: number;
    signal: string | null;
    timedOut: boolean;
    timeoutMs: number;
    startedAt: string;
    endedAt: string;
    worktree: {
        provider: 'git' | 'none';
        root: string;
        beforeCommit: string | null;
        afterCommit: string | null;
    };
    afterFence: {
        snapshotHash: string;
        scopeHash: string;
        matched: boolean;
    };
    outputHash: string;
    outputSummary: string;
    outputTruncated: boolean;
}
export interface NativeStaticInspectionEvidence {
    subjects: string[];
    rule: string;
    resultSummary: string;
    checkReceiptRef: string;
    checkReceiptHash: string;
}
export interface NativeManualEvidence {
    steps: string[];
    observations: string[];
}
type NativeVerificationReceiptEvidenceByKind = {
    'automated-check': NativeAutomatedCheckEvidence;
    'static-inspection': NativeStaticInspectionEvidence;
    'manual-evidence': NativeManualEvidence;
};
export type NativeVerificationReceipt = {
    [K in NativeVerificationReceiptKind]: {
        schema: typeof NATIVE_VERIFICATION_RECEIPT_SCHEMA;
        kind: K;
        role: 'required-check' | 'acceptance-evidence';
        status: NativeVerificationReceiptStatus;
        bindings: NativeVerificationReceiptBindings;
        acceptanceIds: string[];
        actor: string;
        issuedAt: string;
        evidence: NativeVerificationReceiptEvidenceByKind[K];
        receiptHash: string;
    };
}[NativeVerificationReceiptKind];
export type NativeVerificationReceiptInput = {
    [K in NativeVerificationReceiptKind]: Omit<Extract<NativeVerificationReceipt, {
        kind: K;
    }>, 'schema' | 'receiptHash'>;
}[NativeVerificationReceiptKind];
export declare function buildNativeVerificationReceipt(input: NativeVerificationReceiptInput): NativeVerificationReceipt;
export declare function parseNativeVerificationReceipt(value: unknown): NativeVerificationReceipt;
export declare function nativeArtifactBindingHash(declaredArtifacts: readonly NativeDeclaredArtifact[]): string;
export declare function nativeVerificationReceiptRef(hashValue: string): string;
export declare function nativeFailedCheckId(receipt: NativeVerificationReceipt): string;
export {};
//# sourceMappingURL=native-verification-receipt.d.ts.map