/**
 * Boundary Transition Record.
 *
 * Tamper-evident provenance package binding initial state, provenance
 * payload, and output state hash. Implements the Boundary Transition
 * Records from Paper III (Computational Holography).
 *
 * A BTR binds (h_in, h_out, U_0, P, t, kappa):
 * - h_in: hash of input state
 * - h_out: hash of output state (after replay)
 * - U_0: initial state snapshot (serialized)
 * - P: provenance payload
 * - t: timestamp
 * - kappa: authentication tag (HMAC)
 *
 * @module domain/services/provenance/BTR
 * @see Paper III, Section 4
 */
import BtrSigningEnvelope from './BtrSigningEnvelope.ts';
import type { BoundaryTransitionProvenance, PatchEntry } from './BoundaryTransitionProvenance.ts';
declare const BTR_VERSION = 1;
declare const REQUIRED_FIELDS: readonly ["version", "h_in", "h_out", "U_0", "P", "t", "kappa"];
type BTRFields = {
    readonly version: number;
    readonly h_in: string;
    readonly h_out: string;
    readonly U_0: Uint8Array;
    readonly P: BoundaryTransitionProvenance | readonly PatchEntry[];
    readonly t: string;
    readonly kappa: string;
};
declare class BoundaryTransitionRecord {
    #private;
    readonly kappa: string;
    constructor(fields: BTRFields);
    get version(): number;
    get h_in(): string;
    get h_out(): string;
    get U_0(): Uint8Array;
    get P(): readonly PatchEntry[];
    get t(): string;
    get envelope(): BtrSigningEnvelope;
    get provenance(): BoundaryTransitionProvenance;
}
declare class VerificationResult {
    readonly valid: boolean;
    readonly reason: string | undefined;
    constructor(valid: boolean, reason?: string);
}
declare function findMissingField(candidate: object): string | null;
declare function validateBTRStructure(btr: BoundaryTransitionRecord): string | null;
declare const BTR: typeof BoundaryTransitionRecord;
export { BoundaryTransitionRecord, BTR, VerificationResult, BTR_VERSION, REQUIRED_FIELDS, validateBTRStructure, findMissingField, };
export default BoundaryTransitionRecord;
export type { BTRFields };
