/**
 * Semantic BTR fields covered by HMAC.
 *
 * The envelope is not a wire DTO. It carries domain meaning and leaves
 * canonical byte production to the boundary codec adapter.
 */
import BoundaryTransitionProvenance, { type PatchEntry } from './BoundaryTransitionProvenance.ts';
type BtrSigningEnvelopeInput = {
    readonly version: number;
    readonly h_in: string;
    readonly h_out: string;
    readonly U_0: Uint8Array;
    readonly P: BoundaryTransitionProvenance | readonly PatchEntry[];
    readonly t: string;
};
export default class BtrSigningEnvelope {
    #private;
    readonly version: number;
    readonly h_in: string;
    readonly h_out: string;
    readonly t: string;
    constructor(input: BtrSigningEnvelopeInput);
    get U_0(): Uint8Array;
    get P(): readonly PatchEntry[];
    get provenance(): BoundaryTransitionProvenance;
}
export { BtrSigningEnvelope };
export type { BtrSigningEnvelopeInput };
