import { CheckpointBasisFact } from './CheckpointBasisFactBase.ts';
import type { CheckpointBasisFactShardFamily, CheckpointBasisFactTransport } from './CheckpointBasisFactTypes.ts';
export declare class CheckpointProvenanceFact extends CheckpointBasisFact {
    readonly kind: "provenance";
    readonly target: string;
    readonly patchSha: string;
    readonly writerId: string;
    readonly lamport: number;
    constructor(options: {
        readonly target: string;
        readonly patchSha: string;
        readonly writerId: string;
        readonly lamport: number;
    });
    shardFamily(): CheckpointBasisFactShardFamily;
    shardPath(): string;
    sortKey(): string;
    toTransport(): CheckpointBasisFactTransport;
}
