export declare const NATIVE_CHECK_RECEIPT_SCHEMA: "comet.native.check-receipt.v1";
export declare const NATIVE_CHECK_RECEIPT_HASH_TAG = "comet.native.check-receipt.v1";
export declare const NATIVE_CHECK_POLICY: "scoped-text-safety";
export declare const NATIVE_CHECK_POLICY_VERSION: 1;
export declare const NATIVE_CHECK_LIMITS: Readonly<{
    readonly maxFiles: 256;
    readonly maxFileBytes: number;
    readonly maxTotalBytes: number;
    readonly maxIssues: 128;
}>;
export declare const NATIVE_CHECKER_HASH: string;
export type NativeCheckReceiptStatus = 'passed' | 'failed';
export type NativeCheckIssueKind = 'conflict-marker' | 'trailing-whitespace' | 'space-before-tab' | 'scope-mismatch' | 'unsafe-file' | 'binary-skipped' | 'scan-limit';
export type NativeCheckReceiptStaleReason = 'contract-before-does-not-match-scope' | 'implementation-before-does-not-match-scope' | 'contract-changed-during-check' | 'implementation-changed-during-check' | 'contract-after-does-not-match-scope' | 'implementation-after-does-not-match-scope';
export interface NativeCheckIssue {
    path: string;
    line: number;
    kind: NativeCheckIssueKind;
}
export interface NativeCheckBatchCounts {
    filesSelected: number;
    filesScanned: number;
    binaryFilesSkipped: number;
    bytesScanned: number;
    issueCount: number;
    recordedIssueCount: number;
}
export interface NativeCheckReceipt {
    schema: typeof NATIVE_CHECK_RECEIPT_SCHEMA;
    change: string;
    sourceRevision: number;
    checker: {
        policy: typeof NATIVE_CHECK_POLICY;
        version: typeof NATIVE_CHECK_POLICY_VERSION;
        hash: string;
        limits: typeof NATIVE_CHECK_LIMITS;
    };
    inputHash: string;
    status: NativeCheckReceiptStatus;
    startedAt: string;
    endedAt: string;
    contract: {
        expectedHash: string;
        beforeHash: string;
        afterHash: string;
    };
    implementation: {
        scopeHash: string;
        expectedSnapshotHash: string;
        beforeSnapshotHash: string;
        afterSnapshotHash: string;
    };
    counts: {
        filesSelected: number;
        filesScanned: number;
        binaryFilesSkipped: number;
        bytesScanned: number;
        issueCount: number;
        recordedIssueCount: number;
        batches?: NativeCheckBatchCounts[];
    };
    issues: NativeCheckIssue[];
    issuesTruncated: boolean;
    stale: boolean;
    staleReasons: NativeCheckReceiptStaleReason[];
    receiptHash: string;
}
export type NativeCheckReceiptBuildInput = Omit<NativeCheckReceipt, 'schema' | 'checker' | 'inputHash' | 'receiptHash'>;
/** Parse a persisted receipt and recompute all policy and content-bound identities. */
export declare function parseNativeCheckReceipt(value: unknown): NativeCheckReceipt;
export declare function buildNativeCheckReceipt(input: NativeCheckReceiptBuildInput): NativeCheckReceipt;
//# sourceMappingURL=native-check-receipt-model.d.ts.map